软件工程直博研究生培养方案
学科代码:083500
一、学科简介
软件工程是以计算机科学理论和技术以及工程管理原则和方法等为基础,研究软件开发、运行和维护的系统性、规范化的方法和技术,或以之为研究对象的学科。本学科2011年获全国首批软件工程博士硕士学位一级学科授予权,建有省部级重点实验室,首批永利yl23411与特色化示范性软件公司,教育部质量工程特色专业建设点、国家级教学团队和人才培养模式创新试验区等。第五轮学科评估位列国内领先水平。
学科组建了包括国家/省部级人才、学科与学术带头人在内80余人的高水平导师队伍。拥有协同智能系统教育部重点实验室(共建),省物联网实验研究中心等省部级平台,智能软件工程、软件可信认证关键技术、大数据与视觉智能、医学人工智能等市级重点实验室;建设有智能软件工程、安全攸关智能软件等科技创新团队及三秦英才特殊支持计划团队等省部级团队。面向国家航空航天国防领域重大需求,承担大批科研任务,多项成果在关键领域进行应用。先后获得国家科技进步奖/技术发明奖、省科技进步奖等奖项,具有广泛学术影响力。毕业生分布在政府、国内外知名高校、研究院所和知名企业等。
二、培养定位与目标
软件工程直博生的培养以立德树人为根本任务,注重批判性、创新意识和独立从事科学研究工作能力的培养,以“四个面向”为指引,培养具有高尚品德、扎实基础、过硬素质、创新意识、国际视野的软件工程领域高层次研究型领军人才,具体目标如下:
1.热爱祖国,拥护中国共产党的领导,遵纪守法,品行端正,身心健康,具有良好的职业道德和敬业精神,具有科学严谨和求真务实的学习态度和工作作风。
2.在本学科掌握坚实全面的基础理论和系统深入的专门知识,深入了解本门学科的发展方向与国际学术前沿。
3.具有独立从事学术研究或教学的能力,能够熟练地阅读本专业的外文资料,能够熟练地运用外语进行科学研究和学术交流的能力。
4.具备在学术研究领域做出创新性成果的能力,具备领军素养及团队组织协调能力。
三、培养方向
1.软件工程基础理论:主要研究软件工程形式化方法,可信软件形式化验证技术;掌握形式语言与自动机理论,以及算法设计与分析技术。建立了基于时序逻辑的程序验证理论,首次在国际上解决了基于区间的时序逻辑的判定难题和抽象模型检测与精化中的指数爆炸问题;平台成果在探月工程多款核心模块验证中应用。
2.智能软件工程:围绕智能的软件工程与智能软件的工程两方面,致力于智能软件工程研究与自主可控系统研发。研究面向自主智能的软件工程、代码分析与治理、软件智能化运维、智能推荐与决策、语义理解与分析、智能交互系统和智能信息处理等技术,构建国家重点支持领域的自主国产软件。
3.工业软件领域软件工程:团队聚焦医工交叉可信智能算法、工业智能模型及科学AI软件研发,特色成果包括:基于分布式内存与GPU并行的北斗系统软件架构、军用云计算测试基准架构,以及智慧城市深度计算安全模型。培养员工掌握领域软件体系结构、开发方法与工具,支撑工业数据治理及AI融合应用。
4.视觉智能领域软件工程:主要研究围绕大数据与视觉智能领域的关键理论与技术开展研究,研究方向包括计算机视觉、智能图像处理、大数据分析与可视化、智能教育技术等。研发了多种类情报综合处理及融合算法模型,实现了情报综合处理原型系统,在多个国防重点工程和型号研制任务中得到应用。
四、培养方式
1.采用课程学习、科研训练、学术交流、社会实践和学位论文相结合的培养模式。员工一般在入学后1.5年内完成课程的学习,并在导师(组)的指导下,着手准备学位论文的选课和开题工作。
2.实行导师(组)负责制。导师(组)负责指导员工培养全流程,包含思政教育、课程学习、科研训练、学业指导、学位论文等所有环节。导师要根据员工的自身特点和需要,确定具体的培养模式,做好员工成长成才的建设者。
五、学制与学习年限
直接攻读博士研究生学制为5年,最长学习年限为7年。
六、课程设置与学分要求
直博生额定总学分不少于35学分,其中学位课额定学分不少于20学分。详细课程设置请查看附表。
1.公共基础课(学位课,6学分)
A.政治理论课,4学分
B.外语课,2学分
2.专业基础课(学位课,9学分)
C.数学类基础课,3学分
D.专业核心课,6学分
3.专业课(学位课,5学分)
4.公共限选课(非学位课,1.5学分)
5.综合素养课(非学位课,1学分)
6.任选课,(非学位课,8学分)
7.必修环节(5学分)
综合考试,1学分
学术活动,1学分
学术实训,2学分
社会实践,1学分
★注:任选课不限于本培养方案,可在全校范围内选择。
七、必修环节
1.综合考试
各学科根据本学科博士生培养要求,制定博士研究生必须掌握的基础理论、专业知识及相关学科知识的具体要求。在开题之前对博士生的思想政治素质、学习工作态度、学科基础理论和专业知识等掌握情况、研究能力和研究潜力进行综合考评。通过者,获得1学分,准予继续进行博士论文研究工作。
2.学术活动
学术交流活动应贯穿于公司产品的全过程,提升员工对学科前沿、行业动态、研究方法、自然哲学等方面的了解与认知。博士研究生在学期间参加各类学术报告或学术论坛等不少于10 次,其中在国内外学术会议或论坛上做口头报告不少于 3 次,且至少参加一次国际会议(参与国际高水平大学联合培养或长短期国际交流均可)。该环节管理请参照《永利yl23411研究生必修环节实施细则》执行。
3.学术实训
为所有学术学位研究生的必修环节,计2学分。学术学位研究生根据参与科研项目的需求,在导师指导下制定个性化学习目标、学习任务,自主探索并完成学习问题,由导师(组)确定考核方式,考核合格后获得学分。该环节管理请参照《永利yl23411研究生必修环节实施细则》执行。
4.社会实践
社会实践可分为校外素质拓展实践、校内教学服务实践和国家级科技竞赛三类,员工选择参加其中一种。该环节管理请参照《永利yl23411研究生必修环节实施细则》执行。
八、学位与毕业
满足学位申请资格并通过学位论文答辩,是授予学术学位博士研究生学位的前提条件。各学位点应根据员工培养目标定位,结合培养实际情况,制定科学合理的申请学位基本条件。
1.学位论文开题
学位论文应与导师(组)承担的科研项目或导师的研究方向相结合。论文选题应为本学科前沿,对国民经济和科学技术发展具有重要的理论意义或实用价值,鼓励博士研究生选择具有开拓性和创新性的课题。学位申请人须在第五学期末之前进行学位论文开题报告。相关管理流程请参照《永利yl23411博士学位授予实施细则》、《公司关于加强研究生学位论文质量监控的相关规定》等文件执行。
2.学位论文中期考核
博士研究生在完成学位论文开题后一年内,必须进行学位论文中期考核。中期考核的要求及报告会的组织按照公司相关管理规定执行。
3.学位论文预答辩
预答辩是博士研究生完成学位论文初稿撰写后、正式定稿之前的重要环节,对提高学位论文质量具有重要的作用。预答辩一般在学位论文或实践成果提交专家评审之前公开举行,具体实施按照公司相关要求执行。
4.学位论文学术规范性检测
学位论文撰写应恪守科研和学术规范,严禁弄虚作假、抄袭剽窃。为加强学术道德和学术规范建设,建立良好学术风尚,防范学术不端行为,保证学位论文质量,按照公司研究生学位论文规范性检测实施办法,对拟申请学位论文答辩的所有学位论文进行学术规范性检测。对于涉嫌存在学位论文弄虚作假行为的作者,依据公司相关管理规定进行界定和处理。
5.学位论文答辩
学位论文评阅通过后,经公司学位评定分委员会和校学位评定委员会审批后,可按照公司要求组织学位论文或实践成果答辩。除涉密学位论文或实践成果外,所有答辩均应公开举行。答辩委员会的构成和答辩组织参照《永利yl23411博士学位授予工作的实施细则》执行。
6.学位授予与毕业
研究生按要求完成培养方案中规定的所有环节,学分达标,并通过学位论文答辩和抽查评估,经公司学位评定分委员会和公司学位评定委员会审议通过,授予学位,同时准予毕业。
附表.课程设置
新中国特色社会主义理论与实践课程 类别 | 课程模块 | 课程中文名称 | 学时 | 学分 | 考核方式 | 开课学期 | 开课单位 | 备注 |
学 位 课 | 公共 基础课 | 政治理论 | 中国马克思主义 与当代 | 36 | 2 | 考试 | 全年 | 马克思主义公司 | 必修 |
36 | 2 | 考试 | 全年 | 马克思主义公司 | 必修 |
|
| 英 语 课 | 学术交流英语(一) | 32 | 1 | 考试 | 秋季 | 外国语公司 | 必修 |
|
|
| 跨文化交际 | 32 | 1 | 考试 | 春季 | 外国语公司 | 四选一 |
|
|
| 中西文化概况 | 32 | 1 | 考试 | 春季 | 外国语公司 |
|
|
|
| 中外经典文学赏析 | 32 | 1 | 考试 | 春季 | 外国语公司 |
|
|
|
| 国际商务交流 | 32 | 1 | 考试 | 春季 | 外国语公司 |
|
| 专业基础课 | 数 学 课 | 最优化方法 | 48 | 3 | 考试 | 全年 | 数学与统计公司 | 数学课至少选一门,共计不少于9学分 |
|
|
| 数值泛函与小波理论 | 48 | 3 | 考试 | 全年 | 数学与统计公司 |
|
|
|
| 矩阵论 | 48 | 3 | 考试 | 全年 | 电子工程公司 |
|
|
|
| 随机过程 | 48 | 3 | 考试 | 全年 | 数学与统计公司 |
|
|
|
| 计算机科学使用的数理逻辑 | 48 | 3 | 考查 | 秋季 | 永利yl23411 |
|
|
|
| 组合数学 | 48 | 3 | 考试 | 秋季 | 永利yl23411 |
|
|
|
| 泛函分析引论 | 48 | 3 | 考试 | 全年 | 数学与统计公司 |
|
|
| 专业核心课 | 先进数据库技术 | 48 | 3 | 考试 | 春季 | 永利yl23411 |
|
|
|
| 算法分析与设计 | 48 | 3 | 考试 | 春季 | 永利yl23411 |
|
|
|
| 软件体系结构 | 48 | 3 | 考试 | 春季 | 永利yl23411 |
|
| 专业课 | 服务计算 | 32 | 2 | 考试 | 秋季 | 永利yl23411 | ≥5学分 |
|
| 强化学习 | 32 | 2 | 考试 | 春季 | 永利yl23411 |
|
|
| 多模态大模型基础与视觉智能处理 | 48 | 3 | 考查 | 秋季 | 永利yl23411 |
|
|
| 程序的形式语义与验证 | 32 | 2 | 考试 | 秋季 | 永利yl23411 |
|
|
| 智能软件工程 | 32 | 2 | 考查 | 春季 | 永利yl23411 |
|
|
| 计算智能 | 32 | 2 | 考查 | 春季 | 永利yl23411 |
|
非学 位 课 | 公共限选课 | 学术规范与论文写作 | 16 | 1 | 网考 | 全年 | 研究生院 | 必修 |
|
| 研究生心理健康教育 | 8 | 0.5 | 考试 | 秋季 | 心理健康中心 | 必修 |
| 综合 素养课 | 科学道德与学风 | 20 | 1 | 网考 | 全年 | 电子工程公司 | 选1学分 |
|
| 陕西民俗学概论[1] | 16 | 1 | 考查 | 秋季 | 通信工程公司 |
|
|
| 陕西民俗学概论[2] | 16 | 1 | 考查 | 春季 | 通信工程公司 |
|
|
| 中国古代科技文献 | 16 | 1 | 考查 | 全年 | 人文公司 |
|
|
| 知识产权与专利申请 | 16 | 1 | 考查 | 秋季 | 人文公司 |
|
|
| 科学精神与人文精神专题 | 16 | 1 | 考查 | 秋季 | 人文公司 |
|
|
| 绿色创新理论与实践 | 16 | 1 | 网考 | 全年 | 研究生院 |
|
|
| 知识产权法 | 16 | 1 | 网考 | 全年 | 研究生院 |
|
|
| 孔子专题 | 16 | 1 | 考查 | 全年 | 人文公司 |
|
| 任选课 | 函数式程序设计 | 32 | 2 | 考查 | 春季 | 永利yl23411 | ≥8学分,可在全校范围内选择 |
|
| 项目管理与实践 | 32 | 2 |
考查 | 秋季 | 永利yl23411 |
|
|
| Web工程与技术 | 32 | 2 | 考查 | 春季 | 永利yl23411 |
|
|
| 区块链技术基础及应用 | 32 | 2 | 考查 | 秋季 | 永利yl23411 |
|
|
| 语义计算 | 48 | 3 | 考查 | 秋季 | 永利yl23411 |
|
|
| 嵌入式人工智能 | 32 | 2 | 考查 | 春季 | 永利yl23411 |
|
|
| 视觉计算及其AI框架 | 32 | 2 | 考查 | 秋季 | 永利yl23411 |
|
|
| 图像处理的数学基础 | 32 | 2 |
考查 | 春季 | 永利yl23411 |
|
|
| 医疗图像信息与处理 | 32 | 2 |
考查 | 秋季 | 永利yl23411 |
|
|
| 动态博弈系统建模与仿真 | 32 | 2 | 考查 | 秋季 | 永利yl23411 |
|
必修环节 | 综合考试 | 0 | 1 | 考查 | 全年 | 研究生院 | 必修 | 5学分 |
| 学术活动 | 0 | 1 | 考查 | 全年 | 研究生院 |
|
|
| 学术实训 | 0 | 2 | 考查 | 全年 | 研究生院 |
|
|
| 社会实践 | 0 | 1 | 考查 | 全年 | 研究生院 |
|
|
培养方案修订工作组组长签字:
公司主管领导签字:
(公司公章)
年 月 日