郑州大学研究生培养方案.docx
《郑州大学研究生培养方案.docx》由会员分享，可在线阅读，更多相关《郑州大学研究生培养方案.docx（57页珍藏版）》请在冰豆网上搜索。
郑州大学研究生培养方案
计算机科学与技术一级学科学术型硕士研究生培养方案
1.学科名称、代码：
计算机科学与技术、0812
2.专业与学科简介
“计算机科学与技术”学科的前身是创建于1972年的郑州大学计算技术专业,是河南省最早的计算机专业，其二级学科计算机软件与理论于1992年被国家教育部批准为硕士学位授权点，是1994-1996年度和1997-1999年度河南省重点学科，并在2000年被确定为2001-2003年度河南省第一层次重点学科，2003年再次确定为2004-2006年度河南省第一层次重点建设学科，2003年另一个二级学科计算机应用技术被确定为河南省重点学科，2006年获得计算机科学与技术一级硕士授权点和计算机软件与理论博士授权点，2008年确定计算机科学与技术为河南省一级重点学科。
经过四十年的建设和积累，该学科已具有较好的硬件条件和学术积淀，形成了一支教学经验丰富，科研实力较强，职称结构、学历结构和年龄结构比较合理的研究队伍。
3.培养目标
本专业研究生必须认真学习掌握毛泽东思想、邓小平理论、“三个代表”重要思想和科学发展观，热爱祖国，品行端正，身心健康，具有自由创新精神，追求真理，献身科学教育事业的敬业精神和科学道德。
本专业以培养能在国民经济建设、科学技术发展和社会进步中发挥积极作用的开创型、复合型高层次软件与理论型专门人才为目标。
要求学生宽口径掌握坚实的基础理论和系统的专业知识并能了解计算机科学与技术的最新成果和发展方向，掌握本学科的现代先进实验方法和技能，熟练掌握一门外国语，能独立从事本专业领域的科学研究或独立承担专门技术的能力，具有较强的创新能力和实践能力，有严谨求实的科学态度和学风。
能胜任计算机科学与技术的教学、科研、软件系统开发等工作，达到《中华人民共和国学位条例》规定的硕士学位学术水平。
4.修业年限
学术学位硕士研究生的基本学制为3年，申请学位最长年限为4年，即自研究生入学之日起到校学位委员会讨论通过其学位论文的时间为4年。
5.专业研究方向
本学科包含三个二级学科方向：
01计算机软件与理论
这个学科方向主要从事软件理论、智能信息处理、数据挖掘、机器学习与智能系统、分布式智能计算、信息安全、自然语言处理和移动计算等领域的研究。
02计算机应用技术
这个学科方向主要从事下一代互联网技术与应用、云计算环境下的多媒体信息处理技术、图形图像处理与计算机辅助设计、电子商务与电子政务、嵌入式系统设计、网格计算与分布式系统、虚拟现实、数据加密技术与网络安全以及与计算机应用技术相关的其他领域的研究。
03计算机系统结构
这个学科方向主要从事并行计算、多核处理技术、高性能计算、嵌入式系统等领域的技术研究。
6.课程设置
计算机科学与技术学术型学位硕士研究生培养计划
表1：
计算机科学与技术学术型硕士研究生课程设置
类别
课程编号
课程与培养环节
名称
学时
学分
开课学期
学
位
课
（26学分）
公共必修课
995100202
中国特色社会主义理论与实践研究
36
2
1
995100104
英语
72
4
1,2
公共基础
课
995300303
数理统计与随机过程
48
3
1
专
业
基
础
课
175550103
计算理论（Theoryofcomputation）
48
3
1
175550203
组合数学（Combinatorialmathematics）
48
3
1
175550303
高级人工智能（Advancedartificialintelligence）
48
3
1
175550403
高级软件工程（Advancedsoftwareengineering）
48
3
2
175550503
高级计算机网络（Advancedcomputernetwork）
48
3
1
必选（非学位课）
175550602
计算机科学与技术（全英）（ComputerScienceandTechnology）
36
2
2
公共选修课（1学分）
995200101
自然辩证法概论（理工医科）
32
1
1
175655102
面向对象分析与设计（Objectorientedanalysisanddesign）
32
2
2
175655202
数据仓库与数据挖掘（Datawarehouseanddatamining）
32
2
2
175655302
高级计算机系统结构（Advancedcomputersystemarchitecture）
32
2
2
175655402
形式语言与自动机（formallanguageandAutomata）
32
2
2
175655502
形式语义学（Formalsemantics）
32
2
2
175655602
数据库设计与应用（Designandapplicationofdatabase）
32
2
2
175655702
Petri网理论（PetrinetworkTheory）
32
2
2
175655802
访问控制技术（Accesscontroltechnology）
32
2
2
175655902
嵌入式系统（Embeddedsystem）
32
2
2
175656002
网络安全技术（Networksecuritytechnology）
32
2
2
175656102
数字图像处理（Digitalimageprocessing）
32
2
2
175656202
多媒体技术（Multimediatechnology）
32
2
2
175656302
高性能计算（Highperformancecomputing）
32
2
2
175656402
密码学（Cryptography）
32
2
2
175656502
并行计算（Parallelcomputing）
32
2
2
175656602
网格计算与云计算（GridcomputingAndCloudcomputing）
32
2
2
175656702
自然语言处理（Naturallanguageprocessing）
32
2
2
175656802
信息检索（Informationretrieval）
32
2
2
175656902
计算机逻辑学（Computerlogic）
32
2
2
175657002
人工神经网络（Artificialneuralnetwork）
32
2
2
175657102
高级计算机图形学（Advancedcomputergraphics）
32
2
2
学术/实践
995400201
学术报告（Academicreport）
1
1,2,3,4,5,6
995400101
教学实践（Teachingpractice）
1
2,3
论文
995400302
开题报告（Openingreport）
2
3
995400402
中期考核（Mid-termexamination）
4
995499912
硕士论文（Master'sthesis）
2
4,5,6
995400502
预答辩（preliminarydefense）
2
6
硕士论文毕业答辩（graduationdefenseofMaster'sthesis）
12
6
7.攻读学位的学分要求
课程设置实行学分制。
本专业硕士研究生必须修满最低学分数为35学分，其中必修课不低于24学分，选修课不低于8学分。
即①公共学位课3门，9学分；②专业学位课5-6门，不低于15学分；③专业选修课的学分不低于8学分；④培养环节中参加研究生学术论坛或听学术报告1学分，进行实践训练1学分，其他不计入学分。
此外，在第一年培养计划内，鼓励学生在导师的指导下，跨学科、系选修其它课程，多选修本系的其它相关课程。
表2：
具体学分分布表
硕
士
学
位
课
程
学
分
公共必修课
6学分
≥35学分
公共选修课
1学分
公共基础课
3学分
专业基础课
17学分
专业选修课
≥8学分
论
文
学
分
开题报告
2学分
18学分
中期考核
2学分
预答辩
2学分
学位论文
12学分
其
它
学术活动
1
2学分
实践环节
1
说明：
同等学历必须补修该专业本科主干课程4～5门，考试及格，不计学分。
跨学科硕士研究生至少选修该专业本科主干课程3～4门，考试及格，不计学分。
8.学位论文
硕士研究生课题研究时间不少于1年，论文要求字数不少于3万字，硕士学位论文对所研究的课题应当有新见解。
在学期间发表学术论文按照《郑州大学研究生在学期间发表论文的基本要求》执行。
研究生修满培养计划内所有学分，并通过论文答辩，则准予毕业；经院系学位评定分委员会审核，报校学位评定委员会讨论通过后授予学位。
学位授予按照《郑州大学学位授予工作实施细则》及学位管理相关文件执行。
9.培养方式与方法
研究生培养方式应灵活多样，充分发挥导师指导研究生的主导作用，建立和完善有利于发挥学术群体作用的培养机制。
强调在培养过程中发挥研究生的主动性和自觉性，更多地采用启发式、研讨式的互动教学方式。
研究生必须参加学术讲座、学术报告、讨论班、社会实践和社会调查，并获得相应的学分。
加强研究生的自学能力、动手能力、表达能力和写作能力的训练和培养。
附件一：
计算机科学与技术学术型学位硕士研究生培养计划
序号
课程代码
课程名称
学时
学分
必修或选修
课程类型
是否学位课
1
995100202
中国特色社会主义理论与实践研究
TheoryandpracticeofsocialismwithChinesecharacteristics
36
2
必修
公共必修课
是
2
995900104
英语（硕士）
EnglishforGraduatedStudent
72
4
必修
公共必修课
是
3
995200101
自然辩证法概论
18
1
选修
公共选修课
否
4
995400201
学术活动（硕士）
1
必修
学术活动
否
5
995400101
实践环节（硕士）
1
必修
实践环节
否
6
995400302
开题报告（硕士）
2
必修
培养过程
否
7
995400402
中期考核（硕士）
2
必修
培养过程
否
8
995400502
预答辩（硕士）
2
必修
培养过程
否
9
995499912
硕士论文
12
必修
培养过程
否
10
995300303
数理统计与随机过程
48
3
必修
公共基础课
是
11
175500602
计算机科学与技术（全英语）
ComputerScience&Technology
36
2
必修
专业基础课
否
12
175500103
计算理论
Theoryofcomputation
48
3
必修
专业基础课
是
13
175500203
组合数学
Combinatorialmathematics
48
3
必修
专业基础课
是
14
175550303
高级人工智能
Advancedartificialintelligence
48
3
必修
专业基础课
是
15
175550403
高级软件工程
Advancedsoftwareengineering
48
3
必修
专业基础课
是
16
175550503
高级计算机网络
Advancedcomputernetwork
48
3
必修
专业基础课
是
17
175655102
面向对象分析与设计
Objectorientedanalysisanddesign
32
2
选修
专业选修课
否
18
175655202
数据仓库与数据挖掘
Datawarehouseanddatamining
32
2
选修
专业选修课
否
19
175655302
高级计算机系统结构Advancedcomputersystemarchitecture
32
2
选修
专业选修课
否
20
175655402
形式语言与自动机
formallanguageandAutomata
32
2
选修
专业选修课
否
21
175655502
形式语义学
Formalsemantics
32
2
选修
专业选修课
否
22
175655602
数据库设计与应用
Designandapplicationofdatabase
32
2
选修
专业选修课
否
23
175655702
Petri网理论
PetrinetworkTheory
32
2
选修
专业选修课
否
24
175655802
访问控制技术
Accesscontroltechnology
32
2
选修
专业选修课
否
25
175655902
嵌入式系统
Embeddedsystem
32
2
选修
专业选修课
否
26
175656002
网络安全技术
Networksecuritytechnology
32
2
选修
专业选修课
否
27
175656102
数字图像处理
Digitalimageprocessing
32
2
选修
专业选修课
否
28
175656202
多媒体技术
Multimediatechnology
32
2
选修
专业选修课
否
29
175656302
高性能计算
Highperformancecomputing
32
2
选修
专业选修课
否
30
175656402
密码学
Cryptography
32
2
选修
专业选修课
否
31
175656502
并行计算
Parallelcomputing
32
2
选修
专业选修课
否
32
175656602
网格计算与云计算
GridcomputingAndCloudcomputing
32
2
选修
专业选修课
否
33
175656702
自然语言处理
Naturallanguageprocessing
32
2
选修
专业选修课
否
34
175656802
信息检索
Informationretrieval
32
2
选修
专业选修课
否
35
175656902
计算机逻辑学
Computerlogic
32
2
选修
专业选修课
否
36
175657002
人工神经网络
Artificialneuralnetwork
32
2
选修
专业选修课
否
37
175657102
高级计算机图形学
Advancedcomputergraphics
32
2
选修
专业选修课
否
附件二：
计算机科学与技术学术型硕士研究生教学大纲
计算机科学与技术（全英语）
课程名称
计算机科学与技术（全英语）
英文名称
Computerscienceandtechnology
课程代码
175500602
所属院系
信息工程学院
学时
36
学分
2
课程类型
专业基础课
开课学期
第一学年第二学期
授课方式
讲授
考核方式
开卷考试
任课教师
石磊、牛常勇、郑志蕴、徐明亮
课程简介
本课程是采用计算机科学与技术前沿系列讲座方式，主要内容为计算机科学与技术学科的前沿技术、热点研究方向的国内外研究现状、涉及的关键技术、以及最新的发展趋势等，涉及的前沿技术和研究方向有：
几何计算、虚拟现实、图形真实感、信息智能、统计机器学习、知识工程、计算智能、数字媒体、电子商务与电子服务、数据库、网络技术、机器人等。
学生将选择一项前沿技术，收集大量相关的国内外文献资料，通过阅读与分析，撰写文献综述，并组织多次讨论班进行学术讨论。
教学大纲
一、教学目标与要求
通过本课程的学习使学生对计算机科学与技术的前沿领域有所了解，并能根据自己的兴趣需要选择自己喜欢的研究方向。
二、课程内容与学时分配
本课程主要是针对计算机科学与技术专业的硕士生开设的一门专业前沿课程，总学时为36学时，涉及的前沿技术和研究方向有：
几何计算、虚拟现实、图形真实感、信息智能、统计机器学习、知识工程、计算智能、数字媒体、电子商务与电子服务、数据库、网络技术、机器人等。
考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。
三、实验及实践性环节（注：
此项没有的不填）
四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）
1.无教材
五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）
1.王伟.计算机科学前沿技术，清华大学出版社，2012
2.刘艺肖成海马小会毛倩倩.计算机科学概论，人民邮电出版社，2011
计算理论
课程名称
计算理论
英文名称
Theoryofcomputation
课程代码
175500103
所属院系
信息工程学院
学时
48
学分
3
课程类型
专业基础课
开课学期
第一学年第一学期
授课方式
讲授
考核方式
闭卷考试
任课教师
周清雷
课程简介
本课程是介绍渗透在计算机科学中的这些基本思想、模型和结果，它们都是该领域的基本范例，它们有很多理由是值得学习的。
首先，现代计算机科学中的很多东西直接或间接地以它们为基础。
其次，这些思想和模型是漂亮、有力的，是数学建模的杰出例子，是有长久价值的。
讨论了计算机科学中的纯粹、引人注目并且普遍存在的基本内容，介绍构成基本计算范例的基本概念、模型、技巧、结果，阐述当今计算机科学家用于建模、讨论和预测算法与计算的思想概念与数学知识。
全书共分10章，内容包括数学基础、正则语言、上下文无关语言、可计算枚举语言、非可计算枚举语言、算法可解性、计算复杂性等内容。
教学大纲
一、教学目标与要求
通过本课程的学习使学生对计算机科学与技术理论方面的方法、模型等计算方法有所了解，并能根据需要设计出有较高质量的算法。
二、课程内容与学时分配
本课程主要是针对计算机科学与技术专业的硕士生开设的一门理论课程，总学时为48学时，其主要内容包括形式语言与自动机、Turing机的可计算性与递归函数，计算复杂性以及数理逻辑的相关内容。
考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。
三、实验及实践性环节（注：
此项没有的不填）
四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）
1.唐常杰翻译.计算理论导引（第2版），机械工业出版社，2006
五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）
2.张立昂刘田翻译.计算理论基础，清华大学出版社，2006
2.张立昂.可计算性与计算复杂性，北京大学出版社，2011
组合数学
课程名称
组合数学
英文名称
Combinatorialmathematics
课程代码
175500203
所属院系
信息工程学院
学时
48
学分
3
课程类型
专业基础课
开课学期
第一学年第一学期
授课方式
讲授
考核方式
闭卷考试
任课教师
徐江峰、周文俊
课程简介
本课程为数学系研究生和计算机科学与技术等有关学科研究生的基础理论课。
离散数学是计算机科学的理论基础，组合数学是离散数学的一个重要组成部分。
本课程以组合计数为主，介绍基本计数方法、容斥原理、递推关系、生成函数和Polya计数定理等。
此外还涉及到组合数学的存在性和构造性问题，如：
鸽巢原理、相异代表系与组合设计等。
通过本课程的学习，希望学生初步掌握组合数学的基本概念、方法和技巧。
为进一步学习组合数学和计算机专业基础课程打下坚实的数学基础。
培养学生的抽象思维与逻辑推理能力。
课程侧重于组合数学的概念和思想，包括鸽巢原理、计数技术、排列组合、Polya计数法、二项式系数、容斥原理、生成函数和递推关系以及组合结构（匹配、实验设计、图）等，深入浅出地表达了作者对该领域全面和深刻的理解，介绍了历史上源于数学游戏和娱乐的大量实例，其中对Polya计数、Burnside定理等的完美处理使得不熟悉群论的学生也能够读懂。
除包含第3版中的内容外，本版又进行了更新，增加了莫比乌斯反演（作为容斥原理的推广）、格路径、Schroder数等内容。
教学大纲
一、教学目标与要求
通过本课程的学习使学生对组合数学的理论方法、模型和思想等有所了解，并能根据需要将组合数学的基本理论和方法应用到计算机的各个领域中。
二、课程内容与学时分配
本课程主要是针对计算机科学与技术专业的硕士生开设的一门理论课程，总学时为48学时，具体内容包括鸽笼原理，二项式系数，进出原理，生成函数，特别计数序列，组合设计，POLA计数原理。
考试有闭卷考试和课程论文两部分组成，其中闭卷部分占70%，主要考查这门课程所涉及的基本理论、原理和经典的结论；而课程论文占30%，要求大家去跟踪目前这一领域中的新思想、新方法。
三、实验及实践性环节（注：
此项没有的不填）
四、教材（序号，编著者姓名，教材名称，出版社，版次，出版日期）
1.冯舜玺,罗平,裴伟东翻译.组合数学（第4版），机械工业出版社，2005
五、主要参考书（序号，编著者姓名，教材名称，出版社，版次，出版日期）
1.冯速等翻译.组合数学，机械工业出版社，2012
2.卢开澄.组合数学，清华大学出版社，2005
高级人工智能
课程名称
高级人工智能
英文名称
Advancedartificialintelligence
课程代码
175550303
所属院系
信息工程学院
学时
48
学分
3
课程类型
专业基础课
开课学期
第一学年第一学期
授课方式
讲授
考核方式
闭卷考试
任课教师
柴玉梅
课程简介
高级人工智能课程面向计算机科学专业的硕士研究生。
人工智能是计算机科学的一个分支，是一门研究机器智能的学科，即用人工的方法和技术，研制智能机器或智能系统来
升级会员 