计算机软件与理论(081202).doc

计算机软件与理论（081202）

一、学科简介
计算机软件与理论专业涉及计算机科学与技术的基本理论和方法，强调计算、算法、软件、设计等概念，主要的领域包括计算理论、算法与复杂性、系统软件、软件自动化、程序设计语言、软件设计与理论、数据库系统、软件工程与软件复用技术、计算机网络技术、并行处理技术、高性能计算、智能软件、信息安全理论与方法、信息系统工程等。
该学科的研究方向主要有：软件方法学、信息系统工程、并行处理与高性能计算、计算机网络与普适计算和数据库技术与应用等。以培养高素质的创新型科学研究与工程技术人才为目的。教学科研工作中，兼顾理论研究与工程技术实践，着力建设重基础、宽口径的特色专业，以校企联合为手段，为科学研究和信息技术产业输送高层次的计算机专门人才。
在科学研究和应用技术方面跟踪国内外前沿方向，形成基础研究与应用技术研究结合、产学研结合的特色。通过委托、横向合作等方式将科研成果转化为计算机应用产品，为政府、企事业等单位的公共信息平台建设进行研发，涉及信息系统集成、Web技术、信息安全、智能控制、图形图像处理、新农村及制造业信息化、远程教育、软件项目管理等众多应用领域。
计算机软件与理论专业是我院重点发展，进步较快的专业。目前，有教授7人，副教授11人，近年来承担国家自然科学基金项目3项、省部级项目8项，参与国家“863项目”3项，主持国家科技支撑项目子课题2项；在国际学术刊物、国内重要期刊和国际会议发表学术论文130余篇，SCI/EI/ISTP检索20余篇。学科带头人和学术骨干平均年龄约40岁，在各自的研究领域取得了丰厚的科研成果。
二、培养目标
培养目标应根据国家对学位获得者的基本要求，结合本学科专业的特点，阐明对本学科专业硕士学位获得者在德、智、体等方面的要求。
1. 较好地掌握马列主义、毛泽东思想和邓小平理论，拥护党的基本路线，树立正确的世界观、人生观和价值观，遵纪守法，具有较强的事业心和责任感，具有良好的道德品质和学术修养，愿为社会主义现代化建设事业服务。
2. 硕士研究生在本学科内掌握坚实的基础理论和系统的专业知识，具有从事科学研究工作、软件系统开发、教学工作或独立担负专门技术工作的能力。硕士研究生的知识结构应达到能够读懂本专业学术论文；具有计算机软件和理论方面的研究能力，掌握软件设计和开发技能；应具有参加完整科研过程的科研能力。
3. 掌握一门外国语，硕士研究生应能运用该门外国语比较熟练地阅读本专业外文资料。
4. 身心健康。
三、培养方式
硕士研究生培养方式灵活多样，充分发挥导师指导硕士研究生的主导作用，建立和完善有利于发挥学术群体作用的培养机制。
四、学习年限
硕士研究生的学习年限一般为 3 年，最长不得超过5年（含休学等中断学习的时间），优秀硕士研究生提前完成课程学习和学位论文者，可申请提前答辩和提前毕业，获得硕士学位。
五、研究方向
1. 软件方法学
以软件方法为研究对象，涉及指导软件设计的原理和原则，以及基于这些原理、原则的方法和技术。中心问题是如何正确、高效地设计软件。研究目的是寻求科学方法的指导，使软件开发过程“科学化”，将软件开发活动置于坚实的理论基础之上。软件工程需要软件方法学为依据和指导；软件方法学依赖于软件工程环境及工具来发挥实际效用。软件方法学从性质上可分为形式方法（formal method）和非形式方法。形式方法需要健全的数学基础（如：集合论、数理逻辑、抽象代数、范畴论等），将软件和软件开发活动作为数学来重新发现，以避免系统中的歧义性、不一致性和不完备性，寻找规范的“求解过程”来正确、高效地设计软件。
2. 信息系统工程
以计算机科学与技术和管理科学与工程为支撑，研究Web信息技术、信息系统建模、企业建模、信息系统集成与开发、供应链信息系统、决策支持模型及管理模式、数据挖掘技术及应用。
3. 并行处理与高性能计算
本研究方向主要研究并行计算的理论、算法、技术、方法和工具，包括：串行程序并行化、并行程序设计方法；集群计算技术、多核并行技术、图像并行处理、符号计算的并行化以及并行处理在应用系统中的软件设计与实现等。
4. 计算机网络与普适计算
本研究方向以理论研究与应用开发相结合，新技术探索与多技术集成相交融为研究特色，对计算机网络和普适计算理论与相关应用技术进行研究。主要在网络体系结构与网络安全、网络监测与管理、下一代网络建设及应用、大型网络环境下的软件开发、3S技术、分布式系统、网格计算应用、普适计算和无线网络等方面，针对不同领域的需求，开展多技术集成应用研究与新技术探索。
5. 数据库技术与应用
主要研究：Web中非规范知识的获取问题，以各种非规范化的、非结构化的信息，如文本信息、图像信息为研究对象，使之成为结构化的数据信息，同时为Web用户提供个性化检索服务。具体内容包括：文本挖掘、信息抽取、语义理解、个性化搜索和推荐等；基于Web的大型分布式数据库应用技术、数据仓库和数据挖掘技术及数据库在信息系统中的应用。
六、课程设置与学分计算
1.课程设置原则
（1）理论课设置以能读懂本专业学术论文为目的，设置本专业所必需的基础理论和基础知识课程。
（2）以能熟练运用本专业常用的实验方法、计算方法、分析方法等研究方法为目的，设置本专业必需的案例分析与强化训练课程。
2.课程设置
硕士研究生课程设置按类别分为学位课和非学位课。
3.学分计算
第一外国语17学时计1学分（136学时），其它课程 17学时计1学分，
实验课34学时计1学分，补修课不计学分。
总学分控制在40—42学分以内，其中课程学分为33—35学分（学位课课程不少于25学分），必修环节学分为4学分，创新能力3学分。
学位课课程：25学分
科学社会主义理论与实践 (34 学时 )2学分。
自然辩证法 (51学时) 3学分。
第一外国语（136学时） 8学分。
专业共同必修课共6学分。
研究方向课共6学分。
非学位课课程：8—10学分
选修课8—10学分。
跨学科、专业和以同等学力考入的硕士研究生，需补修本学科大学本科 3--4 门主干课程（不计学分）。
必修环节：4学分
（1）教学实践或专业实习2学分。
教学实践与专业实习是硕士研究生培养过程的重要环节，每位硕士研究生都必须参加，其评价材料是申请学位的必备材料之一。
教学实践可采取多种方式进行，如辅导本科生有关课程，指导实验、协助指导毕业设计（或论文）等，累计时间不少于4周。教学实践应在本学科、专业指定的教师指导下进行，完成后填写《宁夏大学研究生教学\专业实习考核表》，经指导教师及院、系审核后归入本人档案。
专业实习的目的是增强硕士研究生的专业实践知识和独立工作能力。专业实习包括进企业、进社区、下乡等方式，专业实习累计时间不少于4周。各学科专业根据本学科特点确定适当的方式。专业实习结束后，由研究生本人填写《宁夏大学研究生教学\专业实习考核表》，并由接受实习单位作出相应的书面鉴定。
各培养单位应制定切实可行的、便于有效考核的教学实践或专业实习方案。
（2）文献综述、开题报告1学分。
硕士研究生文献阅读要结合课题研究方向和具体的研究领域进行，参考文献不得少于40篇，其中外文参考文献不少于10篇，文献综述报告不少于4000汉字。
（3）学术报告1学分，在学期间，必须参加十次以上学术报告活动，每次学术报告活动结束后，硕士研究生本人应手工填写学术报告登记表。各专业可以对本硕士研究生参加学术活动做出更高的具体要求。
创新能力3学分
达到下列条件之一者可获得3学分。
（1）主持或参加研究生创新项目；
（2）公开发表专业学术论文一篇（本人署名前二位）；
（3）获得省部级以上各类学术科技竞赛奖；
（4）获得发明专利排名前三位的发明人或实用新型发明专利排名前三位发明人。
以上各项的署名单位必须为宁夏大学，否则不予认可。
4. 课程考核方式与标准
硕士研究生课程学习考核可采取多种方式。除实验、实习课可以进行考查外其它课程一律进行考试。硕士研究生学位课程考核采取考试方式，政治理论课亦可以采取课程论文方式。选修课程的考核可以由任课教师根据培养方案对课程的要求决定。
所有课程考核成绩实行百分制,学位课程及格标准为75分以上(含75分),
非学位课程及格标准为60 分以上(含60分)。
七、中期考核
硕士研究生课程学习时间为一年半，结束后进行中期考核，实行分流制。具体办法见《宁夏大学研究生中期考核办法》。
八、学位论文工作
学位论文是硕士生培养工作的重要组成部分，是对硕士生进行科学研究或承担专门技术工作的全面训练。硕士生创新能力，综合运用所学知识发现问题、分析问题和解决问题的能力在学位论文中可以集中体现。硕士生应积极参与导师承担的科研项目，注意选择有重要应用价值的课题，学位论文要有新工作和新见解。硕士生入学后在导师指导下确定研究方向，通过查阅文献、收集资料和调查研究确定研究课题，并在规定时间完成开题报告。学位论文必须在导师指导下由硕士生独立完成，要求达到概念清楚、立论正确、分析严谨、计算正确、数据可靠、文句简练、图表清晰、层次分明，能体现硕士生具有宽广的理论基础，较强的独立工作能力和优良的学风。与他人合作或在前人基础上继续进行的课题，必须在论文中应明确指出本人所做的工作。学位论文必须采用计算机编辑和输出，具体格式参照《宁夏大学学位论文格式、书写规范》。用于学位论文的实际工作时间不得少于一年。各学科专业根据本学科专业实际和培养目标等要求安排具体的学位论文工作。
九、其它学习项目安排
各学科专业可根据自身特点和学位点建设要求，对在学期间硕士研究生的科研要求给与明确规定。
对于课程学习和学位论文工作以外的其他项目安排，做出具体规定的考核办法。
十、毕业与学位授予
硕士生在学习年限内完成培养环节各项内容并取得规定学分，通过中期考核和论文答辨，符合毕业资格者，准予毕业。符合毕业条件且通过宁夏大学学位英语考试者可授予相应学位（学位英语考试由研究生院组织）。

计算机软件与理论专业专业攻读全日制硕士学位研究生课程设置及教学计划一览表
类别
课程编号
课程名称
学时
学
分
开课
学期
教学
方式
考核
方式
开课学院
学
位
课

公共必修课
X0000B00A001
科学社会主义理论与实践
34
2
1
讲授
考试
马克思主义学院
X0000B00A002
自然辩证法
51
3
2
讲授
考试
马克思主义学院
X0000B00A003
第一外国语
136
8
1、2
讲授
考试
外国语学院
专业共同必修课
X0812B02B001
运筹学
51
3
1
讲授
考试
数计学院
X0812B02B002
算法分析与设计
51
3
1
讲授
考试
数计学院
研究方向课
X0812B02C001
可计算性理论

51
3
1
讲授讨论
笔试
数计学院
X0812B02C002
形式语义学
51
3
2
讲授
笔试
数计学院
X0812B02C003
智能决策支持系统
51
3
1
讲授
笔试、报告
数计学院
X0812B02C004
信息系统分析与集成

51
3
2
讲授讨论
报告
数计学院
X0812B02C005
计算机网络理论及应用

51
3
1
讲授
笔试、报告
数计学院
X0812B02C006
Ad Hoc网络和传感器网络

51
3
1
讲授
笔试、报告
数计学院
X0812B02C007
并行计算技术

51
3
1
讲授讨论
报告
数计学院
X0812B02C008
数值并行算法

51
3
2
讲授讨论
笔试、报告
数计学院
X0812B02C009
高级数据库技术

51
3
1
讲授
笔试、报告
数计学院
X0812B02C010
数据仓库与数据挖掘

51
3
2
讲授
笔试、报告
数计学院

非
学
位
课

F0812B02D001
高等数值分析
34
2
2
讲授
考查
数计学院
F0812B02D002
专业外语
34
2
2
讲授
考查
数计学院
F0812B02D003
高等数理逻辑
34
2
1
讲授
考查
数计学院
F0812B02D004
程序设计方法学

34
2
2
讲授
考查
数计学院
F0812B02D005
程序设计语言原理

34
2
3
讲授
考查
数计学院
F0812B02D006
IT项目管理

34
2
3
讲授
考查
数计学院
F0812B02D007
Web开发技术

34
2
1
讲授
考查
数计学院
F0812B02D008
Oracle管理实务

34
2
1
讲授讨论
考查
数计学院
F0812B02D009
电子商务系统理论

34
2
2
讲授
考查
数计学院
F0812B02D010
高级软件工程

34
2
3
讲授
考查
数计学院
F0812B02D011
分布式系统

34
2
2
讲授实验
笔试
数计学院
F0812B02D012
数据挖掘技术

34
2
3
讲授实验
考查
数计学院
F0812B02D013
信息安全技术

34
2
2
讲授实验
笔试
数计学院
F0812B02D014
实用科技英语写作
34
2
2
讲授
笔试
数计学院
F0812B02D015
随机过程
34
2
2
讲授
考查
数计学院
F0812B02D016
模式识别

34
2
3
讲授讨论
考查
数计学院
F0812B02D017
计算流体力学
34
2
2
讲授
考查
数计学院
F0812B02D018
并行计算

34
2
2
讲授讨论
考查
数计学院
F0812B02D019
图形图像处理
34
2
1
讲授
考查
数计学院
F0812B02D020
管理信息系统
34
2
1
讲授
考查
数计学院
F0812B02D021
现代通信工程
34
2
2
讲授
考查
数计学院
F0812B02D022
智能信息检索
34
2
2
讲授
考查
数计学院
F0812B02D023
高级数据管理

34
2
3
讲授讨论
考查
数计学院
F0812B02D024
人工智能
34
2
3
讲授
考查
数计学院
F0812B02D025
知识工程
34
2
2
讲授
讨论
考查
数计学院
F0812B02D026
XML技术
34
2
3
讲授
考查
数计学院