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

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