学科代码:0835
一、学科简介
本学科2011年获得全国首批软件工程博士硕士学位一级学科授予权,建有软件系统工程省部级重点实验室,首批国家示范性软件学院,教育部质量工程特色专业建设点、国家级教学团队和人才培养模式创新试验区等。本学科在可信软件理论与技术、动态智能化软件工程技术、航天与医疗领域软件工程、嵌入式视觉领域软件工程等方面具有鲜明的特色和优势。组建了由省部级人才入选者和多位学科、学术带头人所组成的高水平研究队伍。建成有可信软件计算、动态环境软件工程、嵌入式软件系统等多个实验室,拥有工作站和高性能服务器,近五年项目经费超亿元。毕业生分布在政府、国内外知名高校、研究院所和知名企业等。
二、培养定位与目标
以立德树人为根本任务,培养热爱祖国,遵纪守法,具有社会责任感和历史使命感,具有良好思想品德和学术素养,恪守学术道德,能独立解决实际问题的学术研究和高层次领军人才。掌握软件工程学科坚实的基础理论、系统的专业知识和实践操作技能,具有批判性、创新意识和独立从事科学研究工作能力。掌握一门外国语,能够熟练阅读本专业的外文资料,具备专业写作能力和学术交流能力。身心健康,具有承担本学科各项专业工作的良好体魄。
三、学位标准
学术型博士应掌握坚实的软件工程基础理论、软件工程技术和特定领域的软件系统开发方法,具有从事本学科和相关学科领域的科学研究或独立担负专门技术工作的能力。完成课程学分、科研或教学实践和学位论文工作。按照《新浦京集团350Vp关于加强博士学位论文质量监控的相关规定》、《新浦京集团350Vp博士学位授予工作的实施细则》和《新浦京集团350Vp博士研究生申请学位研究成果基本要求》执行。
四、培养方向
1.可信软件理论与技术:研究软件在实现既定目标的过程中,行为及结果的正确性、可靠性、安全性、时效性、完整性、可用性、可预测性、生存性和可控性的基础理论与技术。培养学生掌握软件的形式化建模方法,开发方法,验证技术,测试理论与方法。
2.动态智能化软件工程技术:研究动态软件体系结构、智能化软件开发方法、软件在线演化与自适应、语义理解与分析技术、智能交互系统、机器人系统和智能信息处理等关键技术,解决复杂动态环境中软件系统的工程化和智能化问题。培养学生掌握软件体系结构建模、智能化软件开发、语义知识管理和智能化软件系统综合设计技术。
3.航天与医疗领域软件工程: 研究航天与医疗领域共性软件技术,包括张量并行计算、基于GPU与FPGA的计算加速、基于RDMA与DPDK的通信加速、机器学习系统的开发与测试技术、可靠性与安全性测试技术等等。解决定位、导航与授时(PNT)系统、软件化、智能化雷达系统、数字与智能医疗系统以及工业视觉等领域关键问题,培养学生掌握航天与医疗领域软件系统开发中实时数据处理架构设计、分布并行处理实现技术、机器视觉等工程化方法与技术。
4.嵌入式领域软件工程:研究下一代视觉智能软件系统及移动嵌入式计算平台的设计理论、方法、关键技术及典型应用,培养学生在嵌入式系统平台的智能化、可移植、低功耗的软硬件系统设计方面的能力。培养学生掌握移动嵌入式计算平台设计理论与方法、计算机视觉理论与方法、大数据可视化与可视分析技术、深度学习技术。
五、培养方式
1、实行导师负责制。新生入学后由导师为其制定培养计划,导师负责全面培养工作。培养计划主要包括:(1)课程学习计划。按照课程学习要求修够相应学分;(2)科研实践。科学研究是研究生培养的重要组成部分,是培养学生独立工作能力和创新能力的主要途径,是提高研究生培养质量的关键环节;(3)学位论文。在科研实践基础上,在导师指导下安排论文进度与内容,并进行相应的中期考核。
2、采用课程+论文的培养模式。学生入学一年后完成课程的学习,并在导师的指导下,着手准备毕业论文的选课和开题工作。应不迟于第五学期末完成选题报告,经博士生指导小组评议通过后进入学位论文的实施阶段。
六、学制与修业年限
直接攻读博士研究生学制为5年,最长学习年限为7年。
七、课程设置与学分要求
直博生总学分不少于36学分,其中学位课额定学分不少于20学分。学位课由公共课(4学分),专业基础课(12学分)和专业课(4学分)组成。详细课程设置请查看附表。
1.公共基础课(4学分)
A.政治理论课,2学分
B.外语课,2学分
2.专业基础课(12学分)
D.数学类基础课,6学分
E.专业基础课,6学分
3.专业课(学位课),4学分
4.学术前沿课,2学分
5.论文写作,1学分
6.人文素养课,1学分
7.实验类课程,1学分
8.必修环节(3学分)
综合考试,1学分
学术活动,1学分
教学实践/社会实践,1学分
八、必修环节
1.综合考试
综合考试为博士生课程学习之后,在开题之前对博士生的思想政治素质、学习工作态度、学科基础理论和专业知识等掌握情况、研究能力和研究潜力进行综合考评。通过者,获得1学分,准予继续进行博士论文研究工作。具体规定参见《新浦京集团350Vp博士生综合考试实施办法》。
2.学术活动
要求每位博士在学期间出国参加国际会议至少一次,且参加各类学术报告不少于10次,其中口头报告不少于3次(在国内外学术会议上),并完成一份综述报告。达到要求者获得1学分。
3.教学实践、社会实践
博士研究生须在教学实践和社会实践中选择一项作为实践环节,通过考核者获得1学分,详情见《新浦京集团350Vp研究生实践环节实施细则》。
教学实践是培养博士研究生综合素质的重要途径,博士生教学实践工作量为32学时,形式可为给本科生讲课、组织专题讨论、辅导实验和辅导硕士研究生课程等。教学完成后,学生须填写《教学实践学分认定表》,经导师和学院审核后,上报研究生院备案,各学院做好监督与管理工作。
社会实践可通过学术服务、挂职锻炼、社会调研及其它各类校内外公益服务活动的形式完成,要求累计不少于一个月。社会实践完成后,学生须填写《博士研究生社会实践总结报告》,经导师和学院审核后,上报研究生院备案,各学院做好监督与管理工作。
九、学位论文
1.选题与开题
博士研究生学位论文应结合导师的科研任务开展,选题应为本学科前沿,有理论意义和实际意义。博士研究生应在第三学期末之前进行学位论文开题报告。开题报告的内容包括:选题来源与选题意义,与选题相关的国内外研究现状,主要研究内容,拟采取的研究方法、技术路线、实验方案、以及可行性分析,预期成果和工作进度安排等。
2.论文中期检查
博士研究生在完成学位论文开题报告后的一年内,必须进行学位论文中期检查。中期考核的内容包括:总结学位论文工作进展情况,阐明所取得的阶段性成果,对阶段性工作中与开题报告内容不相符的部分须进行说明,以及对下一步的工作计划和研究内容进行阐述。
3.预答辩
学位论文预答辩是博士研究生完成既定论文工作,学位论文定稿之前的重要环节,对进一步完善学位论文内容和提高学位论文质量具有重要的作用。学生应在学部或学院规定的时间点提出学位论文预答辩申请,具体实施办法请参照《新浦京集团350Vp关于加强研究生学位论文质量监控的相关规定》。
4.学位论文答辩
学位论文答辩是对博士研究生科学研究工作和学位论文水平的全面考核,是申请和授予博士学位的重要程序。申请学位论文答辩的条件及有关要求见《新浦京集团350Vp博士学位授予工作的实施细则》。
5.学位授予
博士研究生按要求完成培养方案中规定的所有环节,修完培养计划中所有课程,学分达标,成绩合格,并通过学位论文答辩,经学院学位评定分委员会和学校学位评定委员会审议通过,授予博士学位。
论文工作中学位论文选题、开题、撰写、答辩以及授位标准等具体要求,按照《新浦京集团350Vp关于加强研究生学位论文质量监控的相关规定》和《新浦京集团350Vp博士学位授予工作的实施细则》执行。
附表.课程设置
课程 类别 |
课程中文名称 |
学时 |
学分 |
考核方式 |
开课学期 |
开课单位 |
备注 |
学 位 课 |
公共 基础课 |
政治 |
中国马克思主义 与当代 |
36 |
2 |
考试 |
全年 |
马克思主义学院 |
必修 |
英语 |
学术交流英语 |
64 |
2 |
考试 |
全年 |
外国语学院 |
专业基础课 |
数 学 课 |
最优化方法 |
48 |
3 |
考试 |
全年 |
数学与统计学院 |
选 四 门 |
数值泛函与小波理论 |
48 |
3 |
考试 |
全年 |
数学与统计学院 |
矩阵论 |
48 |
3 |
考试 |
全年 |
电子工程学院 |
随机过程 |
48 |
3 |
考试 |
全年 |
数学与统计学院 |
组合数学 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
学科基础课 |
计算机科学使用的数理逻辑 |
48 |
3 |
考试 |
春季 |
新浦京集团350Vp |
统计检验理论 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
程序的形式语义与验证 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
大数据优化建模及优化算法 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
智能优化算法研究进展及相关理论(英文课程) |
32 |
2 |
考试 |
春季 |
新浦京集团350Vp |
最优化理论与方法 |
32 |
2 |
考试 |
春季 |
新浦京集团350Vp |
形式语言与自动机 |
46 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
专业课 |
机器学习(英文课程) |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
≥4学分 |
先进人工智能 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
并行与分布式计算 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
计算智能 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
语义计算 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
软件体系结构 |
48 |
3 |
考查 |
春季 |
新浦京集团350Vp |
嵌入式视觉技术 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
复杂网络基础及应用 |
32 |
2 |
考试 |
春季 |
新浦京集团350Vp |
算法分析与设计 |
48 |
3 |
考试 |
春季 |
新浦京集团350Vp |
图像处理的数学基础 |
32 |
2 |
考试 |
秋季 |
新浦京集团350Vp |
软件工程方法导论 |
48 |
3 |
考试 |
秋季 |
新浦京集团350Vp |
软件测试与质量保证 |
48 |
3 |
考试 |
春季 |
新浦京集团350Vp |
非学位课 |
学术前沿课程 |
人工智能医学应用进展 |
16 |
1 |
考查 |
秋季 |
新浦京集团350Vp |
选2学分 |
计算机科学与技术新进展 |
32 |
2 |
考查 |
全年 |
新浦京集团350Vp |
信息隐藏技术与实践 |
16 |
1 |
考查 |
春季 |
新浦京集团350Vp |
论文写作 |
学术规范与论文写作 |
16 |
1 |
考查 |
全年 |
研究生院 |
必修 |
人文 素养课 |
科学精神与人文精神专题 |
16 |
1 |
考查 |
秋季 |
人文学院 |
选1学分 |
科学道德与学风 |
20 |
1 |
网考 |
全年 |
电子工程学院 |
实验类 课程 |
计算机网络工程与实验 |
48 |
3 |
考查 |
秋季 |
新浦京集团350Vp |
选1学分 |
数据分析原理与实验 |
16 |
1 |
考查 |
春季 |
新浦京集团350Vp |
操作系统内核设计实践 |
16 |
1 |
考查 |
春季 |
新浦京集团350Vp |
任选课 |
机器视觉 |
32 |
2 |
考试 |
春季 |
新浦京集团350Vp |
|
医疗图像信息与处理 |
36 |
2 |
考查 |
秋季 |
新浦京集团350Vp |
数据处理与价值发现 |
32 |
2 |
考试 |
秋季 |
新浦京集团350Vp |
图的挖掘技术及应用 |
32 |
2 |
考试 |
春季 |
新浦京集团350Vp |
Web开发模式 |
32 |
2 |
考查 |
秋季 |
新浦京集团350Vp |
复杂软件系统的分析、设计与实现 |
32 |
2 |
考查 |
秋季 |
新浦京集团350Vp |
服务计算与大数据 |
32 |
2 |
考试 |
秋季 |
新浦京集团350Vp |
互联网与网络(英文课程) |
32 |
2 |
考查 |
秋季 |
新浦京集团350Vp |
必修环节 |
学术活动 |
|
1 |
考查 |
全年 |
研究生院 |
必 修 |
选 3 学 分 |
综合考试 |
|
1 |
考查 |
全年 |
研究生院 |
教学实践 |
|
1 |
考查 |
全年 |
研究生院 |
二 选 一 |
社会实践 |
|
1 |
考查 |
全年 |
研究生院 |
培养方案修订专家组组长签字:
学院公章:
年 月 日