计算机软件与理论专业硕士学位研究生培养方案.doc

计算机软件与理论专业硕士学位研究生培养方案

28
2020年4月19日
文档仅供参考，不当之处，请联系改正。

计算机软件与理论专业硕士学位研究生培养方案
（081202）

一、培养目标
培养适应国家和地方经济与社会发展需要的高层次的计算机软件与理论领域专门人才。适合高校、科研院所等部门的工作，具体要求如下：
1. 树立爱国主义和集体主义精神，具有良好的道德品质和强烈的事业心，立志为祖国的建设和发展服务。
2. 在计算机软件与理论学科上，掌握坚实的基础知识和系统的专业知识。
3. 具备相应的从事科学研究的能力，包括：
1) 具有动态跟踪国内、外相关领域研究现状与发展趋势的能力；
2) 具备独立撰写中、英文科技文章的能力；
3) 具备较好的中、英文学术交流的能力；
4) 具有良好的科研协作精神。
4. 具有健康的体魄和较强的心理素质。

二、研究方向
1．智能规划与规划识别
2．软件理论与工程
3．计算机网络
4．嵌入式计算机系统

三、修业年限
基本学制为3年。允许研究生提前毕业（不超过一年），提前毕业应具备的基本条件：
总学分不少于32学分，并至少在SCI(E)刊物公开发表与学位论文研究内容相关的学术文章1篇，第一署名单位为东北师范大学计算机学院，且导师为第1或通讯作者。

四、毕业学分和授予的学位
研究生培养实行学分制，总学分不少于32学分，其中学科基础课、专业主干课和专业方向课的学分不少于20学分。
毕业授予理学硕士学位。

五、 培养方式
研究生培养采取导师负责与集体培养相结合的方式，导师是研究生培养的第一责任人，每个研究生导师组由3～5人组成，配合导师，充分发挥集体培养优势。

六、课程学习
1．课程设置与学分要求
　　计算机软件与理论专业硕士研究生课程设置
课程
类别
课程编码
课程名称
开课
学期
学
时
学
分
备注
公共
基础课

马克思主义理论
秋季
60
3

基础外国语
春季
秋季
80
4
4门课程中选择2门
学科
基础课

人工智能
秋季
42
2
至少选择3门不少于6学分的课程（必修）

计算机网络体系结构
秋季
42
2

分布式系统
秋季
42
2

面向对象分析与设计
秋季
42
2

矩阵与多元统计分析
秋季
42
2
专业
主干课

知识工程
春季
42
2
必选课（每门2学分）

Windows 操作系统
春季
42
2

可计算性和计算复杂性
春季
42
2

发
展
方
向
课
专业方向课

形式语言与自动机
春季
42
2
至少选择3门不少于6学分的课程 （可用学科基础学分课替代）

分布式数据库
春季
42
2

软件重用技术
春季
42
2

模式识别
春季
42
2

并行计算
春季
42
2

嵌入式系统
春季
42
2

智能规划与规划识别
春季
42
2

数据挖掘
春季
42
2

非经典逻辑
春季
42
2
公选课、跨专业课
自愿选择研究生院列出的公选课、跨专业课课程一门, 2学分。
2． 教学方式
研究生教学形式采用灵活多样的形式，提倡采用教师主讲结合研讨班、专题式、启发式等多种教学方式，使课堂讲授、交流研讨、案例分析等有机结合，加强对研究生创新能力的培养。
3．考核方式
学科基础课、专业主干课均采用闭卷考试；专业方向课可采用闭卷或课程论文的形式考试。

七、必修环节（2学分）
1. 学术活动(10次以上) 1学分
研究生必须参加学校、学院组织的学术活动，并向导师提交学术活动汇报。
2. 文献阅读 1学分
文献阅读以讨论班的形式进行，主要是学生报告，导师组成员现场指导。要阅读的内容必须是与即将要做的论文密切相连的系列内容，由导师组和研究生本人商量后制定。要求每位硕士生必须在第2学期期末之前至少提交二份书面文献阅读报告。
3. 补修课程
同等学力或跨学科的研究生，必须在导师指导下确定2-3门本学科的本科生主干课程作为补修课程。补修课程不列入培养方案，但要列入研究生个人培养计划，只记成绩，不计学分。

八、学位论文
学位论文是为了培养研究生独立思考、勇于创新的精神和从事科学研究或担负专门技术工作的能力。研究生应在导师指导下独立完成学位论文工作。学位论文包括研究计划、开题报告、中期检查和学位论文四个环节，完成全部环节计3学分。具体要求如下：
研究计划，硕士生应在导师指导下，尽早初拟论文选题范围，并在入学后三个月内制定研究计划，提交各培养单位备案；开题报告时间定于11月初（第3学期），主要从选题、文献、论文结构、可行性几方面进行检查；中期检查时间定于10月中旬（第5学期），主要考察论文进展情况。
在毕业论文答辩前两周由学院组成论文实验程序检查组，进行论文相关实验及程序的检查。实验、程序要完整无误，无抄袭行为，实验数据可靠准确，运行结果与毕业论文一致。
我院原则上要求研究生答辩前应公开发表学术论文。要求：至少在答辩前发表一篇与本研究方向相关的期刊源级别的文章（导师为第一作者或通讯作者，且除导师外，本人为第一作者）。
学位论文答辩在第6学期末进行。研究生答辩应按照《东北师范大学学位授予工作细则》中的有关要求进行。
论文答辩未经过者，应修改论文，并再次申请答辩，两次答辩的时间间隔不得少于半年。

九、实践活动
研究生都要参加学院组织的教学实践活动，为低年级本科生讲授习题、批改作业等。由主讲教师负责对研究生参加教学实践情况进行考查，并鼓励研究生参与各类应用开发项目，在实践中锻炼、提高。

十、本专业必读的经典文献
1. 人工智能导论，林尧瑞，马少平，出版日期：1989年5月第1版
2. 人工智能手册，第二卷，[美]A.巴尔 E.A.费根鲍姆，出版日期：1988年4月第1版
3. Wiliam Stallings, High-speed network,1999
Distributed Systems, George Coulouris etc.，772,
4. SOFTWARE ENGINEERING A PRACTITIONER’S APPROCH, ROGER S.PRESSMAN,McGraw Hill
5．实用多元统计分析,方开泰编著，华东师范大学出版社，1989年9月
6. 人工智能与知识工程, 陈世福,南京大学出版社, 1997
7. Programming Windows, Charles Petzold, MICROSOFT PRESS
8. Intorduction to the theory of Computation, Michael Sipser, PWS Publishing
S. Barry Cooper, Computability Theory, Chapman & Hall/CRC

计算机学院计算机软件与理论专业课程内容简介

-------------------- 人工智能 --------------------

课程编号：12702020 课程类别：学科基础课
课程名称：人工智能　　　　　 英文译名：Artificial Intelligence
学 时：42　 　学 分： 2
开课学期：秋季　 教学方式：课堂讲授
考核方式：笔试　　　　　　　　　　适用学科：计算机软件与理论
内容简介：
人工智能(Artificial Intelligence，简记为AI)是当前科学技术发展中的一门前沿学科。它是在计算机科学、控制论、信息论、神经心理学、哲学、语言学等多种学科研究的基础上发展起来的。人工智能是研究生专业的主要的基础课程，主要内容包括：人工智能的数学基础、知识与知识表示、经典逻辑推理、不确定与非单调推理、搜索策略、专家系统、机器学习、模式识别、智能决策支持系统。
参考书目（文献）：
1. 人工智能原理，石纯一，黄昌宁等，出版日期：1993年10月第1版
2. 人工智能及其应用，蔡自兴，出版日期：1996年5月第2版
3. 人工智能导论，林尧瑞，马少平，出版日期：1989年5月第1版
4. 人工智能手册，第二卷，[美]A.巴尔 E.A.费根鲍姆，出版日期：1988年4月第1版
5. 人工智能与知识工程, 田盛丰, 黄厚宽，出版日期：1999年8月第1版
6. 人工智能原理及其实现,黄国兴等，出版日期：1993年8月第1版

-------------------- 计算机网络体系结构 --------------------

课程编号：12702020 　　课程类别：学科基础课
课程名称：计算机网络体系结构　　　英文译名：Architectures of Computer Networks
学 时：42　 　 　　　学 分：2
开课学期：秋季　 　　　教学方式：课堂讲授
考核方式：笔试 　　　　　　　　　 适用学科：计算机软件与理论
内容简介：
本课程主要介绍计算机网络体系结构的基本知识和基础理论。内容有ATM；多协议标记交换MPLS；主动网络；移动和Ad Hoc网络；光网络及应用层网络。初步掌握对高等计算机网络的一般研究与设计方法。
参考书目（文献）：
1. Wiliam Stallings, High-speed network,1999
2. 徐恪等编著，高等计算机网络，机械工业出版社，

-------------------- 分布式系统 --------------------

课程编号：12702020 　　　　 课程类别：学科基础课
课程名称：分布式系统　 英文译名： Distributed Systems
学 时： 42　 　学 分： 2
开课学期：秋季　 　教学方式：课堂讲授
考核方式：笔试　　　　　　　 　　 适用学科：计算机软件与理论
内容简介：
分布式系统(Distributed Systems)是计算机专业研究生的基础课程之一。它是计算机科学中许多分支、课程必要的基础。分布式系统涉及相对广泛的内容，主要内容包括：分布式系统的概念和特点、分布式系统模型、分布式算法、中间件、分布式系统的基础设施、分布式数据共享。
参考书目（文献）：
Distributed Systems, George Coulouris etc.，772,

-------------------- 面向对象分析与设计 --------------------

课程编号：12702020 课程类别：学科基础课
课程名称：面向对象分析与设计 英文译名：Oriented–Object Analysis and Design
学 时：42 　　　学 分：2
开课学期：秋季　 　教学方式：课堂讲授
考核方式：笔试　　　　　　　　　 适用学科：计算机软件与理论　
内容简介：
首先介绍软件工程学的基本概念，然后引入面向对象方法学，包括：OOA、OOD、OOP，最后详细讲解UML和当前常见的CASE工具，目的在于使研究生掌握系统开发的基本方法。
参考书目（文献）：
1. SOFTWARE ENGINEERING A PRACTITIONER’S APPROCH, ROGER S.PRESSMAN,McGraw Hill
2. UML Programming Guide, 蒋惠编著,北京希望电子出版社
3. Object Programming with UML，刘润东编著，北京希望电子出版社

-------------------- 矩阵与多元统计分析 --------------------

课程编号：12702020 　　　 课程类别：学科基础课
课程名称：矩阵与多元统计分析　　英文译名：Matrix and Multivariate Statistical Analysis
学 时：42 学 分：2
开课学期：秋季　 教学方式：课堂讲授
考核方式：笔试　　　　　　　　　适用学科：计算机软件与理论　　
内容简介：
多元统计分析是在数理统计学的基础上迅速发展起来的一门学科，又简称多元分析。它的应用范围广泛，无论是自然科学还是社会科学，无论开发研究还是预测和决策，都能够举出很多富有成效的实例。主要内容包括：多元分析概述、矩阵代数与随机向量、多元正态分布、多元线性回归、主成分、因子分析与对协方差矩阵结构的推断、典型相关分析法、聚类分析、距离方法与多维标度变换。
参考书目（文献）：
1. 多元统计分析, 于秀林，任雪松编著，中国统计出版社，1999年8月
2．实用多元统计分析,方开泰编著，华东师范大学出版社，1989年9月
3．多元统计分析与软件SAS, 朱道元等编，东南大学出版社，1999年8月
4．多元统计分析, 何晓群编著，第1版，中国人民大学出版社, 4
5．实用多元统计分析, 王学仁, 王松桂著，上海科技出版社，1990
6．SAS系统与基础统计分析，高惠璇等编译，北京大学出版社，1995

-------------------- 知识工程 -------------------

课程编号： 　　 课程类别：专业主干课
课程名称：知识工程　　　　　 　 英文译名：Knowledge Engineering
学 时：42 　　 学 分：2
开课学期：春季 　教学方式：课堂讲授
考核方式：笔试　　　　　　　　 　适用学科：计算机软件与理论　
内容简介：
主要内容包括知识工程与知识处理技术的有关理论知识、网络计算模式与环境下知识处理问题的研究与实现技术、知识的系统化管理与组织、知识处理技术、解结果的综合机制、知识查询与处理语言、处理结果的可视化和可操作化、知识处理系统的实现、机器学习与知识获取更新。
参考书目（文献）：
1. 人工智能与知识工程, 陈世福,南京大学出版社, 1997
2. 知识工程和知识管理, Guus Schreiger,机械工业出版社,

-------------------- Windows操作系统 --------------------

课程编号： 　　　　 课程类别：专业主干课
课程名称：Windows操作系统　　　 英文译名：Windows Operating System
学 时：42 　学 分：2
开课学期：春季 　教学方式：课堂讲授
考核方式：笔试　　　　　　　　 　适用学科：计算机软件与理论　
内容简介：
首先介绍操作系统的基本概念，然后引入Windows操作系统，包括：体系结构、进程与处理器、存储、文件、I/O和网络，最后详细讲解如何利用Microsoft Visual Studio VC++.Net系统开发工具进行系统及应用软件开发，目的在于使研究生具备基于Windows操作系统平台的系统开发能力。
参考书目（文献）：
1. Oprating Systems Design and Implementation, Andrew S.Tranenbaum, Albert S.Woodhull, PRENTICE HALL
2. Programming Windows, Charles Petzold, MICROSOFT PRESS

-------------------- 可计算性和计算复杂性 --------------------

课程编号： 课程类别：专业主干课
课程名称：可计算性和计算复杂性 英文译名：Computability and Computational Complexity
学 时：42 学 分：2
开课学期：春季 　教学方式：课堂讲授
考核方式：笔试　　　　　　 　 　适用学科：计算机软件与理论
内容简介：
可计算性和计算复杂性理论和计算机有密切关系，解决什么是能计算的，什么不能计算的（即可计算性理论），有多困难解决（即计算复杂性理论），以及采用什么计算模型的理论，是现代密码协议、计算机设计和许多应用领域的基础。可计算性理论起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。计算复杂性理论研究计算问题时所需的资源，和可计算性理论不同，可计算性理论的重心在於问题能否解決，不论需要多少資源。
参考书目（文献）：
1. Intorduction to the theory of Computation, Michael Sipser, PWS Publishing
S. Barry Cooper, Computability Theory, Chapman & Hall/CRC
2. Elements of the Theory of Computation, Harry R.Lewis, Christos H.Papadimitriou, Prentice Hall/Pearson

-------------------- 形式语言与自动机 --------------------

课程编号： 课程类别：专业方向课
课程名称：形式语言与自动机 英文译名：Formal Languages and Automata
学 时：42 　 学 分：2
开课学期：春季　 　教学方式：课堂讲授
考核方式：考查　　　　　　　　　 适用学科：计算机软件与理论
内容简介：
理论计算机科学是一门处于迅速发展中的学科，它对计算机硬件工程和软件工程的发展都有重要影响。形式语言与自动机理论是理论计算机科学的基础，因此很多高校都把它作为学位课为计算机系各个专业的硕士研究生开这门课。本课主要讲授形式语言与自动机理论的基本概念和基本理论。其中主要有：有穷状态系统，有穷自动机，正规表示式，自动机的转移图，有穷自动机与正规集合的等价性，自动机的应用，正规集合的封闭性，正规集合的判定以及有穷自动机的最小化等。
参考书目（文献）：
1. 自动机理论、语言和计算导引, J.E. 霍普克罗夫特，J.D.厄尔曼，科学出版社，1996
2. Introduction to Automata Theory, Languages, and Computation, John E.Hopcroft Rajeev Motwani Jeffrey D.Ullman, 清华大学出版社， 6月

-------------------- 分布式数据库 -------------------

课程编号： 　　　　 课程类别：专业方向课
课程名称：分布式数据库　　　　　　英文译名：Distributed Database Systems
学 时：42　 　学 分：2
开课学期：春季 　教学方式：课堂讲授
考核方式：考查　　　　　　　　　 适用学科：计算机软件与理论　
内容简介：
分布式数据库系统(Distributed Database Systems)是计算机专业研究生的选修课程，主要内容包括：分布式数据库系统的概念和体系结构、分布式数据库设计、分布式查询分解与数据定位、分布式查询优化、分布式事务处理、分布式并发控制、分布式DBMS的可靠性。
参考书目（文献）：
Principles of Distributed Database Systems, M. Tamer Ozsu etc., 666, 1999

-------------------- 软件重用技术 -------------------

课程编号： 课程类别：专业方向课
课程名称：软件重用技术　 英文译名：Software reuse techniques
学 时：42 　　　学 分：2　
开课学期：春季 　教学方式：课堂讲授　
考核方式：考查　　　　　　　　 　适用学科：计算机软件与理论　　
内容简介：
首先介绍软件复用的基本概念，然后引入组件式程序设计，包括：组件与面向对象程序设计、接口与实现类，最后详细讲解如何利用Microsoft Component Object Model(COM)、Microsoft Distributed Component Object Model(DCOM)，目的在于使研究生具备开发基于Windows操作系统平台的分布式软件的能力。
参考书目（文献）：
1. Dale Rogerson Inside Distributed COM, Microsoft Press
2. Dale Rogerson Inside OLE, Microsoft Press

-------------------- 模式识别 -------------------

课程编号： 　　　　 课程类别：专业方向课
课程名称：模式识别　　　　　　 英文译名：Pattern Recognition
学 时：42　 　　　学 分：2　
开课学期：春季 　教学方式：课堂讲授
考核方式：考查　　　　　　　　　 适用学科：计算机软件与理论　
内容简介：
模式识别(Pattern Recognition，简记为PA)是六十年代迅速发展起来的一门学科。它所研究的理论和方法在众多科学和技术领域中得到了广泛的重视，推动了人工智能系统的发展，二十多年来，取得了大量研究成果，在很多领域得到了成功的应用。模式识别是研究生专业的主要的选修课程，主要内容包括：模式识别的概念、系统、关于模式识别方法的一些问题、贝叶斯决策理论、概率密度函数的估计、线性判别函数、非线性判别函数、近邻法、经验风险最小化和有序风险最小化方法、特征的选择与提取、基于K-L展开式的特征提取、非监督学习方法。
参考书目（文献）：
1. 计算机模式识别技术，李介谷,蔡国廉等，上海交通大学出版社, 出版日期：1986年2月第1版
2. 结构模式识别，[美]T.帕夫利迪斯，上海科学技术文献出版社, 出版日期：1981年7月第1版
3. 句法模式识别，[美]R.C.G.onzalez, M.G.Thomason，清华大学出版社, 出版日期：1984年7月第1版
4. 模式识别导论，沈清,汤霖，国防科技大学出版社, 出版日期：1991年5月第1版

-------------------- 并行计算 -------------------

课程编号： 　　　　 课程类别：专业方向课
课程名称：并行计算　　　　　　　 英文译名：Parallel Computing
学 时：42　 　学 分：2　
开课学期：春季 　教学方式：课堂讲授
考核方式：考查　　　　　　　　　　适用学科：计算机软件与理论　
内容简介：
并行计算(Parallel Computing)是计算机科学界的研究热点之一，并对国民经济的发展起着重要的推动作用，有着重大的实际应用意义。课程内容主要包括：并行计算的硬件基础，当代并行计算机系统及其结构模型，并行计算的性能评测；并行算法的一般设计策略、基本设计技术和一般设计过程；矩阵运算、稠密与稀疏线性方程组的求解和快速傅里叶变换；并行程序的设计原理与方法以及并行程序设计环境与工具。
参考书目（文献）：
1. 并行程序设计, Baeey Wilkinson, Michael Allen等，出版日期： 1月第1版
2. 并行计算机体系结构，陈国良, 吴俊敏, 章锋, 出版日期： 9月第2版
3. 并行算法的设计与分析，陈国良，出版日期：1994年第1版Baeey Wilkinson, Michael Allen

-------------------- 嵌入式系统 -------------------

课程编号： 　　　 课程类别：专业方向课
课程名称：嵌入式系统　　　　　　　英文译名：Embedded Computer System
学 时：42 　　　学 分：2　　
开课学期：春季 教学方式：课堂讲授　
考核方式：考查　　　　　　　　　　适用学科：计算机软件与理论　　
内容简介：
本课程讲述嵌入式系统的硬件与软件特征，重点剖析嵌入式操作系统Windows CE和嵌入式Linux系统，并对当前的嵌入式处理器进行归类和分析。针对嵌入式操作系统的特点，讲授其定制、裁剪、内核编译及其优化过程、串、并口通信、网卡通信以及对外围设备的驱动程序、嵌入式软件的开发模式与开发流程，包括代码编写、编译、调试、测试和烧写技术等。主要目的在于使研究生具备基于嵌入式系统的应用开发能力。
参考书目（文献）：
1．嵌入式Linux设计与应用，邹思轶，清华大学出版社，
2．在嵌入式系统中使用C++编程语言，姜桥译，航空精密制造技术，1997年
3．32位嵌入式系统编程，(美)Rick Grehan等编著，许汝峰译, 中国电力出版社，
4．Windows CE.NET系统分析及实验教程，陈向群等编著，机械工业出版社，

-------------------- 智能规划与规化识别 -------------------

课程编号：　　　　　 课程类别：专业方向课
课程名称：智能规划与规化识别　　 英文译名：Intelligence Planning and Plan Recognition
学 时：42　 　学 分：2　
开课学期：春季 　教学方式：课堂讲授
考核方式：考查　　　　　　　　 　 适用学科：计算机软件与理论　
内容简介：
智能规划是人工智能研究领域中比较活跃的一个分支。本课程主要讲授智能规划的基本概念与基本理论，主要包括：规划与有效规划，基于规划图分析的快速规划方法与规划器Graphplan，图规划框架下的概率规划与规划器Pgraphplan,决策理论与决策规划，可能性理论与可能规划，智能规划与约束满足问题，规划领域描述语言PDDL等。规划识别是人工智能研究领域中比较活跃的一个分支。本课程主要讲授规划识别的基本概念与基本理论。主要包括：规划识别与目标识别，规划识别的形式理论及其实现，基于目标图分析的目标识别，基于回归图分析的规划识别方法，基于知识图的规划识别算法，基于限定理论的规划识别算法等。
参考书目（文献）：
1. PDDL 与自动机，谷文祥，姜贵栋，徐丽，蔡敦波，李杨，蔡增玉，任斐，张新梅，刘科成，李晓峰 智能规划, 东北师范大学计算机学院研究生教材， 8月，长春
2. 规划识别理论与应用，谷文祥，殷明浩等, 东北师范大学计算机学院研究生教材， 3月，长春
3. 刘宝碇，赵瑞清，王刚，不确定规划及应用，清华大学出版社， 8月，北京
4. A Formal Theory of Plan Recognition and its Implementation,Henry A.Kautz, Published in Reasoning ,1991,CA

-------------------- 数据挖掘 -------------------

课程编号： 课程类别：专业方向课
课程名称：数据挖掘　　　　　　　 英文译名：Data Mining
学 时：42　　 　学 分：2　
开课学期：春季 　教学方式：课堂讲授　
考核方式：考查　　　　　　　　　　适用学科：计算机软件与理论　　　
内容简介：
首先介绍数据挖掘的概念，数据挖掘系统的基本结构，数据挖掘系统的分类及当前的最新进展。其中包括：OLAP和数据仓库，数据预处理，概念描述，关联规则和预测等。本课程目的在于使研究生具有数据挖掘的知识和基本方法以及关于数据挖掘的科研能力。
参考书目（文献）：
Advances in Data Mining, Petra Perner, Springer-Verlag New York, Inc

-------------------- 非经典逻辑 -------------------

课程编号：　　　 课程类别：专业方向课
课程名称：非经典逻辑　　　　　　 英文译名：Non-classical Logic
学 时：42　 　学 分：2
开课学期：春季 　教学方式：课堂讲授
考核方式：考查　　　　　　　　　 适用学科：计算机软件与理论　　
内容简介：
本课程的第一部分是非经典逻辑的基本概念与基本理论。主要包括模糊逻辑，模糊命题与模糊演算，模糊逻辑公式的化简与模糊逻辑的演绎推理，模糊群，R-模糊群，T-模糊群，TLPF-群。本课程的第二部分是模糊计算机系统。主要有模糊计算机的总体结构，FD转换器，知识包与特征基，思维处理器以及模糊计算机的应用等。
参考书目（文献）：
1. 模糊系统理论与模糊计算机机，汪培庄，李洪兴，科学出版社，1996年
2. 知识表示的数学理论，汪培庄，李洪兴，天津科技出版社，1994年

计算机学院
8月26日