計算機軟件與理論專業(yè)碩士學位研究生培養(yǎng)方案

DBFQ最有效的祛斑產(chǎn)品WWW.TK508.COM漁業(yè)養(yǎng)殖WWW.ZHYUYE.COM/JISHU計算機軟件與理論專業(yè)碩士學位研究生培養(yǎng)方案（081202）一、培養(yǎng)目標培養(yǎng)適應(yīng)國家和地方經(jīng)濟與社會發(fā)展需要的高層次的計算機軟件與理論領(lǐng)域?qū)ｉT人才。適合高校、科研院所等部門的工作，具體要求如下：樹立愛國主義和集體主義精神，具有良好的道德品質(zhì)和強烈的事業(yè)心，立志為祖國的建設(shè)和發(fā)展服務(wù)。在計算機軟件與理論學科上，掌握堅實的基礎(chǔ)知識和系統(tǒng)的專業(yè)知識。具備相應(yīng)的從事科學研究的能力，包括：具有動態(tài)跟蹤國內(nèi)、外相關(guān)領(lǐng)域研究現(xiàn)狀與發(fā)展趨勢的能力；具備獨立撰寫中、英文科技文章的能力；具備較好的中、英文學術(shù)交流的能力；具有良好的科研協(xié)作精神。具有健康的體魄和較強的心理素質(zhì)。二、研究方向1．智能規(guī)劃與規(guī)劃識別2．軟件理論與工程3．計算機網(wǎng)絡(luò)4．嵌入式計算機系統(tǒng)三、修業(yè)年限基本學制為3年。允許研究生提前畢業(yè)（不超過一年），提前畢業(yè)應(yīng)具備的基本條件：總學分不少于32學分，并至少在SCI(E)刊物公開發(fā)表與學位論文研究內(nèi)容相關(guān)的學術(shù)文章1篇，第一署名單位為東北師范大學計算機學院，且導師為第1或通訊作者。四、畢業(yè)學分和授予的學位研究生培養(yǎng)實行學分制，總學分不少于32學分，其中學科基礎(chǔ)課、專業(yè)主干課和專業(yè)方向課的學分不少于20學分。畢業(yè)授予理學碩士學位。培養(yǎng)方式研究生培養(yǎng)采取導師負責與集體培養(yǎng)相結(jié)合的方式，導師是研究生培養(yǎng)的第一責任人，每個研究生導師組由3～5人組成，配合導師，充分發(fā)揮集體培養(yǎng)優(yōu)勢。六、課程學習1．課程設(shè)置與學分要求計算機軟件與理論專業(yè)碩士研究生課程設(shè)置課程類別課程編碼課程名稱開課學期學時學分備注公共基礎(chǔ)課馬克思主義理論秋季603基礎(chǔ)外國語春季秋季8044門課程中選擇2門學科基礎(chǔ)課127020202001人工智能秋季422至少選擇3門不少于6學分的課程（必修）127020202002計算機網(wǎng)絡(luò)體系結(jié)構(gòu)秋季422127020202003分布式系統(tǒng)秋季422127020202004面向?qū)ο蠓治雠c設(shè)計秋季422127020202005矩陣與多元統(tǒng)計分析秋季422專業(yè)主干課127020203001知識工程春季422必選課（每門2學分）127020203002Windows操作系統(tǒng)春季422127020203003可計算性和計算復雜性春季422參考書目（文獻）：1.人工智能原理，石純一，黃昌寧等，出版日期：1993年10月第1版2.人工智能及其應(yīng)用，蔡自興，出版日期：1996年5月第2版3.人工智能導論，林堯瑞，馬少平，出版日期：1989年5月第1版4.人工智能手冊，第二卷，[美]A.巴爾E.A.費根鮑姆，出版日期：1988年4月第1版5.人工智能與知識工程,田盛豐,黃厚寬，出版日期：1999年8月第1版6.人工智能原理及其實現(xiàn),黃國興等，出版日期：1993年8月第1版--------------------計算機網(wǎng)絡(luò)體系結(jié)構(gòu)--------------------課程編號：127020202002課程類別：學科基礎(chǔ)課課程名稱：計算機網(wǎng)絡(luò)體系結(jié)構(gòu)英文譯名：ArchitecturesofComputerNetworks學時：42 學分：2開課學期：秋季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：本課程主要介紹計算機網(wǎng)絡(luò)體系結(jié)構(gòu)的基本知識和基礎(chǔ)理論。內(nèi)容有ATM；多協(xié)議標記交換MPLS；主動網(wǎng)絡(luò)；移動和AdHoc網(wǎng)絡(luò)；光網(wǎng)絡(luò)及應(yīng)用層網(wǎng)絡(luò)。初步掌握對高等計算機網(wǎng)絡(luò)的一般研究與設(shè)計方法。參考書目（文獻）：1.WiliamStallings,High-speednetwork,19992.徐恪等編著，高等計算機網(wǎng)絡(luò)，機械工業(yè)出版社，2003--------------------分布式系統(tǒng)--------------------課程編號：127020202003課程類別：學科基礎(chǔ)課課程名稱：分布式系統(tǒng)英文譯名：DistributedSystems學時：42 學分：2開課學期：秋季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：分布式系統(tǒng)(DistributedSystems)是計算機專業(yè)研究生的基礎(chǔ)課程之一。它是計算機科學中許多分支、課程必要的基礎(chǔ)。分布式系統(tǒng)涉及相對廣泛的內(nèi)容，主要內(nèi)容包括：分布式系統(tǒng)的概念和特點、分布式系統(tǒng)模型、分布式算法、中間件、分布式系統(tǒng)的基礎(chǔ)設(shè)施、分布式數(shù)據(jù)共享。參考書目（文獻）：DistributedSystems,GeorgeCoulourisetc.，772,2001--------------------面向?qū)ο蠓治雠c設(shè)計--------------------課程編號：127020202004課程類別：學科基礎(chǔ)課課程名稱：面向?qū)ο蠓治雠c設(shè)計英文譯名：Oriented–ObjectAnalysisandDesign學時：42 學分：2開課學期：秋季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：首先介紹軟件工程學的基本概念，然后引入面向?qū)ο蠓椒▽W，包括：OOA、OOD、OOP，最后詳細講解UML和目前常見的CASE工具，目的在于使研究生掌握系統(tǒng)開發(fā)的基本方法。參考書目（文獻）：1.SOFTWAREENGINEERINGAPRACTITIONER’SAPPROCH,ROGERS.PRESSMAN,McGrawHill2.UMLProgrammingGuide,蔣惠編著,北京希望電子出版社3.ObjectProgrammingwithUML，劉潤東編著，北京希望電子出版社--------------------矩陣與多元統(tǒng)計分析--------------------課程編號：127020202005課程類別：學科基礎(chǔ)課課程名稱：矩陣與多元統(tǒng)計分析英文譯名：MatrixandMultivariateStatisticalAnalysis學時：42 學分：2開課學期：秋季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：多元統(tǒng)計分析是在數(shù)理統(tǒng)計學的基礎(chǔ)上迅速發(fā)展起來的一門學科，又簡稱多元分析。它的應(yīng)用范圍廣泛，無論是自然科學還是社會科學，無論開發(fā)研究還是預測和決策，都可以舉出很多富有成效的實例。主要內(nèi)容包括：多元分析概述、矩陣代數(shù)與隨機向量、多元正態(tài)分布、多元線性回歸、主成分、因子分析與對協(xié)方差矩陣結(jié)構(gòu)的推斷、典型相關(guān)分析法、聚類分析、距離方法與多維標度變換。參考書目（文獻）：1.多元統(tǒng)計分析,于秀林，任雪松編著，中國統(tǒng)計出版社，1999年8月2．實用多元統(tǒng)計分析,方開泰編著，華東師范大學出版社，1989年9月3．多元統(tǒng)計分析與軟件SAS,朱道元等編，東南大學出版社，1999年8月4．多元統(tǒng)計分析,何曉群編著，第1版，中國人民大學出版社,2004年45．實用多元統(tǒng)計分析,王學仁,王松桂著，上?？萍汲霭嫔?，19906．SAS系統(tǒng)與基礎(chǔ)統(tǒng)計分析，高惠璇等編譯，北京大學出版社，1995--------------------知識工程-------------------課程編號：127020203001課程類別：專業(yè)主干課課程名稱：知識工程英文譯名：KnowledgeEngineering學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：主要內(nèi)容包括知識工程與知識處理技術(shù)的有關(guān)理論知識、網(wǎng)絡(luò)計算模式與環(huán)境下知識處理問題的研究與實現(xiàn)技術(shù)、知識的系統(tǒng)化管理與組織、知識處理技術(shù)、解結(jié)果的綜合機制、知識查詢與處理語言、處理結(jié)果的可視化和可操作化、知識處理系統(tǒng)的實現(xiàn)、機器學習與知識獲取更新。參考書目（文獻）：1.人工智能與知識工程,陳世福,南京大學出版社,19972.知識工程和知識管理,GuusSchreiger,機械工業(yè)出版社,2003--------------------Windows操作系統(tǒng)--------------------課程編號：127020203002課程類別：專業(yè)主干課課程名稱：Windows操作系統(tǒng)英文譯名：WindowsOperatingSystem學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：首先介紹操作系統(tǒng)的基本概念，然后引入Windows操作系統(tǒng)，包括：體系結(jié)構(gòu)、進程與處理器、存儲、文件、I/O和網(wǎng)絡(luò)，最后詳細講解如何利用MicrosoftVisualStudioVC++.Net系統(tǒng)開發(fā)工具進行系統(tǒng)及應(yīng)用軟件開發(fā)，目的在于使研究生具備基于Windows操作系統(tǒng)平臺的系統(tǒng)開發(fā)能力。參考書目（文獻）：1.OpratingSystemsDesignandImplementation,AndrewS.Tranenbaum,AlbertS.Woodhull,PRENTICEHALL2.ProgrammingWindows,CharlesPetzold,MICROSOFTPRESS--------------------可計算性和計算復雜性--------------------課程編號：127020203003課程類別：專業(yè)主干課課程名稱：可計算性和計算復雜性英文譯名：ComputabilityandComputationalComplexity學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：筆試適用學科：計算機軟件與理論內(nèi)容簡介：可計算性和計算復雜性理論和計算機有密切關(guān)系，解決什么是能計算的，什么不能計算的（即可計算性理論），有多困難解決（即計算復雜性理論），以及采用什么計算模型的理論，是現(xiàn)代密碼協(xié)議、計算機設(shè)計和許多應(yīng)用領(lǐng)域的基礎(chǔ)?？捎嬎阈岳碚撈鹪从诳捎嬎愫瘮?shù)和圖靈度的研究。它的領(lǐng)域增長為包括一般性的可計算性和可定義性的研究。計算復雜性理論研究計算問題時所需的資源，和可計算性理論不同，可計算性理論的重心在於問題能否解決，不管需要多少資源。參考書目（文獻）：1.IntorductiontothetheoryofComputation,MichaelSipser,PWSPublishingS.BarryCooper,ComputabilityTheory,Chapman&Hall/CRC2.ElementsoftheTheoryofComputation,HarryR.Lewis,ChristosH.Papadimitriou,PrenticeHall/Pearson--------------------形式語言與自動機--------------------課程編號：127020204001課程類別：專業(yè)方向課課程名稱：形式語言與自動機英文譯名：FormalLanguagesandAutomata學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：理論計算機科學是一門處于迅速發(fā)展中的學科，它對計算機硬件工程和軟件工程的發(fā)展都有重要影響。形式語言與自動機理論是理論計算機科學的基礎(chǔ)，所以很多高校都把它作為學位課為計算機系各個專業(yè)的碩士研究生開這門課。本課主要講授形式語言與自動機理論的基本概念和基本理論。其中主要有：有窮狀態(tài)系統(tǒng)，有窮自動機，正規(guī)表達式，自動機的轉(zhuǎn)移圖，有窮自動機與正規(guī)集合的等價性，自動機的應(yīng)用，正規(guī)集合的封閉性，正規(guī)集合的判定以及有窮自動機的最小化等。參考書目（文獻）：1.自動機理論、語言和計算導引,J.E.霍普克羅夫特，J.D.厄爾曼，科學出版社，19962.IntroductiontoAutomataTheory,Languages,andComputation,JohnE.HopcroftRajeevMotwaniJeffreyD.Ullman,清華大學出版社，2002年6月--------------------分布式數(shù)據(jù)庫-------------------課程編號：127020204002課程類別：專業(yè)方向課課程名稱：分布式數(shù)據(jù)庫英文譯名：DistributedDatabaseSystems學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：分布式數(shù)據(jù)庫系統(tǒng)(DistributedDatabaseSystems)是計算機專業(yè)研究生的選修課程，主要內(nèi)容包括：分布式數(shù)據(jù)庫系統(tǒng)的概念和體系結(jié)構(gòu)、分布式數(shù)據(jù)庫設(shè)計、分布式查詢分解與數(shù)據(jù)定位、分布式查詢優(yōu)化、分布式事務(wù)處理、分布式并發(fā)控制、分布式DBMS的可靠性。參考書目（文獻）：PrinciplesofDistributedDatabaseSystems,M.TamerOzsuetc.,666,1999--------------------軟件重用技術(shù)-------------------課程編號：127020204003課程類別：專業(yè)方向課課程名稱：軟件重用技術(shù)英文譯名：Softwarereusetechniques學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：首先介紹軟件復用的基本概念，然后引入組件式程序設(shè)計，包括：組件與面向?qū)ο蟪绦蛟O(shè)計、接口與實現(xiàn)類，最后詳細講解如何利用MicrosoftComponentObjectModel(COM)、MicrosoftDistributedComponentObjectModel(DCOM)，目的在于使研究生具備開發(fā)基于Windows操作系統(tǒng)平臺的分布式軟件的能力。參考書目（文獻）：1.DaleRogersonInsideDistributedCOM,MicrosoftPress2.DaleRogersonInsideOLE,MicrosoftPress--------------------模式識別-------------------課程編號：127020204004課程類別：專業(yè)方向課課程名稱：模式識別英文譯名：PatternRecognition學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：模式識別(PatternRecognition，簡記為PA)是六十年代迅速發(fā)展起來的一門學科。它所研究的理論和方法在眾多科學和技術(shù)領(lǐng)域中得到了廣泛的重視，推動了人工智能系統(tǒng)的發(fā)展，二十多年來，取得了大量研究成果，在很多領(lǐng)域得到了成功的應(yīng)用。模式識別是研究生專業(yè)的主要的選修課程，主要內(nèi)容包括：模式識別的概念、系統(tǒng)、關(guān)于模式識別方法的一些問題、貝葉斯決策理論、概率密度函數(shù)的估計、線性判別函數(shù)、非線性判別函數(shù)、近鄰法、經(jīng)驗風險最小化和有序風險最小化方法、特征的選擇與提取、基于K-L展開式的特征提取、非監(jiān)督學習方法。參考書目（文獻）：1.計算機模式識別技術(shù)，李介谷,蔡國廉等，上海交通大學出版社,出版日期：1986年2月第1版2.結(jié)構(gòu)模式識別，[美]T.帕夫利迪斯，上?？茖W技術(shù)文獻出版社,出版日期：1981年7月第1版3.句法模式識別，[美]R.C.G.onzalez,M.G.Thomason，清華大學出版社,出版日期：1984年7月第1版4.模式識別導論，沈清,湯霖，國防科技大學出版社,出版日期：1991年5月第1版--------------------并行計算-------------------課程編號：127020204005課程類別：專業(yè)方向課課程名稱：并行計算英文譯名：ParallelComputing學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：并行計算(ParallelComputing)是計算機科學界的研究熱點之一，并對國民經(jīng)濟的發(fā)展起著重要的推動作用，有著重大的實際應(yīng)用意義。課程內(nèi)容主要包括：并行計算的硬件基礎(chǔ)，當代并行計算機系統(tǒng)及其結(jié)構(gòu)模型，并行計算的性能評測；并行算法的一般設(shè)計策略、基本設(shè)計技術(shù)和一般設(shè)計過程；矩陣運算、稠密與稀疏線性方程組的求解和快速傅里葉變換；并行程序的設(shè)計原理與方法以及并行程序設(shè)計環(huán)境與工具。參考書目（文獻）：1.并行程序設(shè)計,BaeeyWilkinson,MichaelAllen等，出版日期：2002年1月第1版2.并行計算機體系結(jié)構(gòu)，陳國良,吳俊敏,章鋒,出版日期：2002年9月第2版3.并行算法的設(shè)計與分析，陳國良，出版日期：1994年第1版BaeeyWilkinson,MichaelAllen--------------------嵌入式系統(tǒng)-------------------課程編號：127020204006課程類別：專業(yè)方向課課程名稱：嵌入式系統(tǒng)英文譯名：EmbeddedComputerSystem學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：本課程講述嵌入式系統(tǒng)的硬件與軟件特征，重點剖析嵌入式操作系統(tǒng)WindowsCE和嵌入式Linux系統(tǒng)，并對目前的嵌入式處理器進行歸類和分析。針對嵌入式操作系統(tǒng)的特點，講授其定制、裁剪、內(nèi)核編譯及其優(yōu)化過程、串、并口通信、網(wǎng)卡通信以及對外圍設(shè)備的驅(qū)動程序、嵌入式軟件的開發(fā)模式與開發(fā)流程，包括代碼編寫、編譯、調(diào)試、測試和燒寫技術(shù)等。主要目的在于使研究生具備基于嵌入式系統(tǒng)的應(yīng)用開發(fā)能力。參考書目（文獻）：1．嵌入式Linux設(shè)計與應(yīng)用，鄒思軼，清華大學出版社，2002年2．在嵌入式系統(tǒng)中使用C++編程語言，姜橋譯，航空精密制造技術(shù)，1997年3．32位嵌入式系統(tǒng)編程，(美)RickGrehan等編著，許汝峰譯,中國電力出版社，2001年4．WindowsCE.NET系統(tǒng)分析及實驗教程，陳向群等編著，機械工業(yè)出版社，2003年--------------------智能規(guī)劃與規(guī)化識別-------------------課程編號：127020204007課程類別：專業(yè)方向課課程名稱：智能規(guī)劃與規(guī)化識別英文譯名：IntelligencePlanningandPlanRecognition學時：42 學分：2開課學期：春季 教學方式：課堂講授考核方式：考查適用學科：計算機軟件與理論內(nèi)容簡介：智能規(guī)劃是人工智能研究領(lǐng)域中比較活躍的一個分支。本課程主要講授智能規(guī)劃的基本概念與基本理論，主要包括：規(guī)劃與有效規(guī)劃，基于規(guī)劃圖分析的快速規(guī)劃方法與規(guī)劃器Graphplan，圖規(guī)劃框架下的概率規(guī)劃與規(guī)劃器Pgraphplan,決策理論與決策規(guī)劃，可能性理論與可能規(guī)劃，智能規(guī)劃與約束滿足問題，規(guī)劃領(lǐng)域描述語言PDDL等。規(guī)劃識別是人工智能研究領(lǐng)域中比較活躍的一個分支。本課程主要講授規(guī)劃識別的基本概念與基本理論。主要包括：規(guī)劃識別與目標識別，規(guī)劃識別的形式理論及其實現(xiàn)，基于目標圖分析的目標識別，基于回歸圖分析的規(guī)劃識別方法，基于知識圖的規(guī)劃識別算法，基于限定理論的規(guī)劃識別算法等。參考書目（文獻）：1.PDDL與自動機，谷文祥，姜貴棟，徐麗，蔡敦波，李楊，蔡增玉，任斐，張新梅，劉科成，李曉峰智能規(guī)劃,東北師范大學計算機學院研究生教材，2003年8月，長春2.規(guī)劃識別理論與應(yīng)用，谷文祥，殷明浩等,東北師范大學計算機學院研究生教材，2004年3月，長春3.劉寶碇，趙瑞清，王剛，不確定規(guī)劃及應(yīng)用，清華大學出版社，2003年8月，北京4.AFormalTheoryofPlanRe