"计算机软件与理论"专业是"计算机科学与技术"所属

《"计算机软件与理论"专业是"计算机科学与技术"所属》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、“计算机软件与理论”专业是“计算机科学与技术”所属的二级学科，是为培养计算机科学创新的基础力量和软件研发的高级技术人才而设立的。软件作为计算机科学与技术的关键部分，为计算机硬件提供支持其运作的系统软件环境，同时又为计算机应用提供强有力的技术支持。近几年的快速发展，软件已成为具有高附加值和高技术的新兴产业。本专业为适应计算机科学与技术的发展需要，设立了计算模型与算法、仿真软件及面向对象的软件开发技术、并行分布计算理论及软件、先进编译技术和嵌入式操作系统等多个研究方向。硕士生进入本专业后将在基础理论和专业知识上得到更深入扎实的培养和提高，在应用实践和独立科研工作能力得到严格充分

2、的锻炼和提高，并培养成为德智体全面发展的国家和社会迫切需要的高级人才，毕业后将走上教育，科研和信息产业等各条战线上发挥其聪明才智。本专业近三年来承担了国际合作项目、国家自然科学基金（杰出、重点、面上）项目、国家重点基础研究发展（973）计划、国家高技术研究（863）计划、国家重点科技攻关项目以及上海市重大、重点研究项目等20余项。在《IEEETRANS.onRA》、《IEEETrans.onFuzzySyst》、《Int.J.ofComp.Syst.Sci.&Eng.》、《Int.J.ofComp.Math.》和《中国科学》等刊物上发表学术论文100余篇，出版著作和教材数本

3、，获得省部级科技进步奖和自然科学奖多项。本专业具有稳定的、分布合理的学术梯队，共有教师15人，其中教授5人，副教授7人。 一、           培养目标为适应我国社会主义现代化建设的需要，培养又红又专的德、智、体全面发展的高级专业人才，要求研究生做到：1．较好地掌握马列主义、毛泽东思想的基本原理，逐步树立无产阶级世界观，坚持四项基本原则，热爱祖国、遵纪守法、品德良好、学风严谨、具有较强的事业心和献身精神，积极为社会主义现代化建设服务。2．掌握计算机软件与理论专业领域的坚实的基础理论和系统的专门知识；具有从事科学研究、教学工作和独立担负专门技术工作的能力；能用一门外国语熟

4、练阅读本专业的外文专刊，撰写论文摘要，以及进行简单的会话。3．坚持体育锻炼，具有健康的体魄。 二、           研究方向本专业设立研究方向：1．软件设计的形式化技术与工程2．网格计算理论及软件3．多媒体技术及软件4．软件测试与容错计算5．智能信息处理技术 三、           学制及学习年限硕博连读生学制4.5年，课程学习不多于2年，论文工作不少于2.5年。博士生学制为3年，课程学习不多于1年，论文工作不少于2年。博士生的学习年限最长不超过5年。对于确认为有可能成为优秀学位论文的研究生，论文工作演唱的时间及期待与另行处理。对部分提前完成培养计划、学位论文符合申请

5、答辩要求的研究生，经过规定的审批程序可以提前答辩、毕业并申请学位。 四、           学分要求博士生总学分不少于20学分，其中学位可不少于5门13学分，非学位课不少于2门4学分，必修环节3学分。硕博连读士生总学分不少于44学分，其中学位可不少于23学分，非学位课不少于15学分，必修环节6学分。 五、 课程设置和课程教学1.博士研究生课程设置课程类别课程中文名称课程英文名称学时学分开课季节学位课现代科技革命与马克思主义High-techMarxism502秋、春第一外国语（）FirstForeignLanguage()1443秋、春算法及其复杂性理论Algorithm

6、&ComplexityTheory543秋、春多媒体通信技术（多媒体技术与软件）MultimediaCommunicationTechnology543秋、春并发理论（软件设计的形式化技术与工程）ConcurrentTheory543秋、春网格计算（网格计算理论及软件）GridComputing543秋、春软件可靠性与软件测试（软件测试与容错计算）SoftwareReliability&SoftwareTesting543秋、春数据仓库与数据挖掘（智能信息处理技术）DataWarehouse&DataMining543秋、春非学位课第二外国语（）SecondForeignL

7、anguage()1082春构件化软件设计技术ComponentDesignTechnology543秋、春离散事件动态系统理论及其应用TheoryofDiscreteEventDynamicSystemsanditsApplications543秋、春新一代互联网技术FuturegenerationNetworkingTechnology543秋、春人因故障及人的可靠性HumanInitiatedFailure&HumanReliability543秋、春软计算SoftComaputing543秋、春计算机图形学