培养方案

学科代码：0835

一、 学科简介

软件工程是以计算机科学理论和技术以及工程管理原则和方法等为基础，研究软件开发、运行和维护的系统性、规范化的方法和技术。我校是2011年获得全国首批软件工程博士学位一级学科授予权的单位之一。本学科建有软件系统工程信息产业部重点实验室，全国首批betway必威西汉姆联官网，教育部质量工程第二类高等学校特色专业建设点、教学团队和人才培养模式创新试验区等。本学科重点围绕软件工程理论、软件工程技术、可信软件理论与方法、数据挖掘与语义计算、移动与分布式计算等领域展开研究。通过人才培养和高水平优秀人才引进，组建了由省部级人才入选者和多位学科、学术带头人所组成的高水平研究队伍，已形成一个以年轻学者为主体，老中青结合、结构合理、团结和谐的教学研究团队。建成有软件服务工程、可信软件、动态环境软件工程、嵌入式软件系统等多个实验室。在软件工程理论与技术、复杂网络数据建模与分析、数据与知识工程、移动计算与分布式计算等方面具有鲜明的特色和优势。

二、 培养目标

培养适应国家建设需要的，具有学术创新能力和国际视野的德、智、体全面发展的高层次创新型专门人才。具体要求如下：

1、培养热爱祖国，遵纪守法，崇尚科学，恪守学术道德，具有追求真理的敬业精神和创新精神，具有较强社会责任感的社会主义建设者。

2、掌握本学科坚实宽广的基础理论和系统深入的专门知识；能够把握国际前沿、独立从事科学研究或专门技术工作，勇于开拓，能在科学或专门技术取得创造性成果；

3、掌握一门外国语，能够熟练阅读本专业的外文资料，具备专业写作能力和学术交流能力。

4、身心健康，具有承担本学科各项专业工作的良好体魄和素养。

三、 培养方向

本学科主要培养方向如下：

1. 计算理论与技术：研究计算的一般性质的数学理论，通过建立计算的数学模型精确区分哪些是可计算的，哪些是不可计算的。培养学生掌握可计算性理论，形式语言与自动机理论、计算复杂性理论，以及算法设计与分析技术。

2. 软件开发理论与技术：研究软件开发各个阶段涉及到的理论与方法，包括需求获取，模型建立，模型演化以及代码生成等阶段。培养学生掌握软件开发的基本过程，掌握其中的关键理论和方法。

3. 数据与知识工程：研究如何通过知识的驱动和繁衍对工程问题和任务提供最佳解决方案的计算机集成处理技术。培养学生掌握数据表示、数据模型以及知识表达、知识推理、知识管理等理论和方法。

4. 移动与网络计算：研究传感器网络的覆盖问题、链路通信质量测量和预测，非对称链路层服务，应用相关多模态介质访问协议，负载均衡及能量有效路由协议，路由洞问题，以及传感器网络跨层设计技术。

5. 云计算与虚拟化：研究如果通过虚拟化的云计算方式将各种IT资源以服务的方式通过互联网交付给用户。培养学生掌握虚拟化以及云架构的基础理论和关键技术。

四、 培养方式

采用全日制培养方式。实行以科研为主导的导师或导师组负责制。采用“课程学习+学位论文”两阶段培养过程。导师或导师组负责研究生培养计划制定、学位论文开题、中期检查、论文撰写和学位申请等方面的指导工作。导师或导师组全面负责研究生的培养质量。

五、 学制与学分

1、学制：全日制博士研究生学制为三至四年。必要时可申请延长学习年限，最长学习时间不得超过六年（含休学）。博士生课程学习的时间一般为半年至一年，其余时间用于学位论文工作。博士生申请提前或延期毕业，需经导师同意，学院主管领导审核，研究生院批准，具体办法按《betway必威西汉姆联官网博士学位授予工作的实施细则》执行。

2、学分：博士生课程学习实行学分制。在学期间需修读额定学分不少于19学分。学分课程由学位课、任选课及综合测评三部分组成。其中学位课包括公共课、专业基础课及专业课，要求修满13学分；综合测评由学术活动、综合考试、开题报告和教学实践组成。

学术活动：要求听取学术报告或做学术报告不少于10次。

综合考试：综合考试为博士生课程学习之后，学位论文开始之前进行的一次考试，是博士生培养过程中的一个重要环节。综合考试应在第三学期末完成，一般不予推迟，具体规定参见《betway必威西汉姆联官网博士生综合考试实施办法》。

开题报告：具体要求参见本培养方案第七部分论文工作中相关内容。

教学实践：博士生教学实践工作量为32学时，形式可为给本科生讲课、组织专题讨论、辅导实验和辅导硕士研究生课程等。

六、 课程设置

课程 类别		课程编号	课程中文名称	学时	学分	考核方式	开课学期		开课单位		备注
学 位 课	公共课	G00FL0020	学术交流英语	32	1	考查	秋季		外国语学院		选二门
		G00FL0021	科技英语阅读与写作	32	1	考试	秋季		外国语学院
		G00FL0022	高级听说	32	1	考试	秋季		外国语学院
		G00HA0010	马克思主义与当代	36	2	考查	全年		人文学院		必修
		G00HA0011	科学道德与学风建设	4	0	考查	秋季		人文学院
	专业基础课	X19CS0001	最优化理论与方法	48	3	考试	春季		计算机学院		至少选一门
		X19CS0002	统计检验理论	48	3	考试	秋季		计算机学院
		X19CS0003	图论	48	3	考试	秋季		计算机学院
		X19CS0004	程序的形式语义与验证	48	3	考试	春季		计算机学院
		X19CS0005	形式语言与自动机	48	3	考试	春季		计算机学院
	专业课	X19CS0100	机器学习	48	3	考试	秋季		计算机学院		至少选二门
		X19CS0101	复杂网络基础与应用	48	3	考试	春季		计算机学院
		X19CS0103	并行与分布式计算	48	3	考试	秋季		计算机学院
		X19CS0106	信息安全理论与技术	48	3	考试	秋季		计算机学院
		X19CS0109	图的挖掘技术及应用	32	2	考试	春季		计算机学院
任 选 课		G00FL0200	日语（二外）	120	2	考试	学年		外国语学院		至少 选2学分
		G00FL0201	俄语（二外）	120	2	考试	学年		外国语学院
		G00FL0202	德语（二外）	120	2	考试	学年		外国语学院
		G00FL0203	法语（二外）	120	2	考试	学年		外国语学院
		G00HA0012	马克思主义经典著作选读	36	2	考查	全年		人文学院
		X19CS0200	计算机科学与技术新进展	36	2	考查	春季		计算机学院
		X19CS0104	计算生物信息学	48	3	考查	秋季		计算机学院
		X19CS0107	模糊系统理论与应用	48	3	考试	春季		计算机学院
		X19CS0105	计算智能	48	3	考试	秋季		计算机学院
		X19CS0110	动态系统与混沌导论	48	3	考试	春季		计算机学院
		X19CS0201	视觉计算理论与算法	40	2	考查	秋季		计算机学院
		X19CS0116	服务计算与大数据	48	3	考试	秋季		计算机学院
		X19CS0202	Petri网原理及应用	40	2	考查	秋季		计算机学院
		G00MS0032	数值泛函与小波理论	48	3	考试	全年		数学与统计学院
		可在全校博士课中选修
综 合 测 评		G00GS0001	学术活动		1	考查		全年		研究生院	必修
		G00GS0002	综合考试		1	考查		全年		研究生院
		G00GS0003	开题报告		1	考查		全年		研究生院
		G00GS0004	教学实践		1	考查		全年		研究生院