计算机软件与理论(081202)

《计算机软件与理论(081202)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、宁夏大学攻读硕士学位研究生培养方案计算机软件与理论（081202）一、学科简介计算机软件与理论专业涉及计算机科学与技术的基本理论和方法，强调计算、算法、软件、设计等概念，主要的领域包括计算理论、算法与复杂性、系统软件、软件自动化、程序设计语言、软件设计与理论、数据库系统、软件工程与软件复用技术、计算机网络技术、并行处理技术、高性能计算、智能软件、信息安全理论与方法、信息系统工程等。该学科的研究方向主要有：软件方法学、信息系统工程、并行处理与高性能计算、计算机网络与普适计算和数据库技术与应用等。以培养高素质的创新型科学研究与

2、工程技术人才为目的。教学科研工作中，兼顾理论研究与工程技术实践，着力建设重基础、宽口径的特色专业，以校企联合为手段，为科学研究和信息技术产业输送高层次的计算机专门人才。在科学研究和应用技术方面跟踪国内外前沿方向，形成基础研究与应用技术研究结合、产学研结合的特色。通过委托、横向合作等方式将科研成果转化为计算机应用产品，为政府、企事业等单位的公共信息平台建设进行研发，涉及信息系统集成、Web技术、信息安全、智能控制、图形图像处理、新农村及制造业信息化、远程教育、软件项目管理等众多应用领域。计算机软件与理论专业是我院重点发展，进

3、步较快的专业。目前，有教授7人，副教授11人，近年来承担国家自然科学基金项目3项、省部级项目8项，参与国家“863项目”3项，主持国家科技支撑项目子课题2项；在国际学术刊物、国内重要期刊和国际会议发表学术论文130余篇，SCI/EI/ISTP检索20余篇。学科带头人和学术骨干平均年龄约40岁，在各自的研究领域取得了丰厚的科研成果。二、培养目标培养目标应根据国家对学位获得者的基本要求，结合本学科专业的特点，阐明对本学科专业硕士学位获得者在德、智、体等方面的要求。宁夏大学攻读硕士学位研究生培养方案1.较好地掌握马列主义、毛泽东

4、思想和邓小平理论，拥护党的基本路线，树立正确的世界观、人生观和价值观，遵纪守法，具有较强的事业心和责任感，具有良好的道德品质和学术修养，愿为社会主义现代化建设事业服务。2.硕士研究生在本学科内掌握坚实的基础理论和系统的专业知识，具有从事科学研究工作、软件系统开发、教学工作或独立担负专门技术工作的能力。硕士研究生的知识结构应达到能够读懂本专业学术论文；具有计算机软件和理论方面的研究能力，掌握软件设计和开发技能；应具有参加完整科研过程的科研能力。3.掌握一门外国语，硕士研究生应能运用该门外国语比较熟练地阅读本专业外文资料。4.

5、身心健康。三、培养方式硕士研究生培养方式灵活多样，充分发挥导师指导硕士研究生的主导作用，建立和完善有利于发挥学术群体作用的培养机制。四、学习年限硕士研究生的学习年限一般为3年，最长不得超过5年（含休学等中断学习的时间），优秀硕士研究生提前完成课程学习和学位论文者，可申请提前答辩和提前毕业，获得硕士学位。五、研究方向1.软件方法学以软件方法为研究对象，涉及指导软件设计的原理和原则，以及基于这些原理、原则的方法和技术。中心问题是如何正确、高效地设计软件。研究目的是寻求科学方法的指导，使软件开发过程“科学化”，将软件开发活动置于

6、坚实的理论基础之上。软件工程需要软件方法学为依据和指导；软件方法学依赖于软件工程环境及工具来发挥实际效用。软件方法学从性质上可分为形式方法（formalmethod）和非形式方法。形式方法需要健全的数学基础（如：集合论、数理逻辑、抽象代数、范畴论等），将软件和软件开发活动作为数学来重新发现，以避免系统中的歧义性、不一致性和不完备性，寻找规范的“求解过程”来正确、高效地设计软件。2.信息系统工程宁夏大学攻读硕士学位研究生培养方案以计算机科学与技术和管理科学与工程为支撑，研究Web信息技术、信息系统建模、企业建模、信息系统集成

7、与开发、供应链信息系统、决策支持模型及管理模式、数据挖掘技术及应用。2.并行处理与高性能计算本研究方向主要研究并行计算的理论、算法、技术、方法和工具，包括：串行程序并行化、并行程序设计方法；集群计算技术、多核并行技术、图像并行处理、符号计算的并行化以及并行处理在应用系统中的软件设计与实现等。3.计算机网络与普适计算本研究方向以理论研究与应用开发相结合，新技术探索与多技术集成相交融为研究特色，对计算机网络和普适计算理论与相关应用技术进行研究。主要在网络体系结构与网络安全、网络监测与管理、下一代网络建设及应用、大型网络环境下的

8、软件开发、3S技术、分布式系统、网格计算应用、普适计算和无线网络等方面，针对不同领域的需求，开展多技术集成应用研究与新技术探索。4.数据库技术与应用主要研究：Web中非规范知识的获取问题，以各种非规范化的、非结构化的信息，如文本信息、图像信息为研究对象，使之成为结构化的数据信息，同时为Web用户提供个性