计算机软件与理论.doc

北京理工大学硕士研究生培养方案 学科专业：计算机软件与理论 学科代码：081202计算机软件与理论081202（一级学科：计算机科学与技术）本学科点的科学研究与研究生培养工作涵盖理论计算机科学、软件工程、软件开发等多个领域，2003年获得博士学位授予权，经过全体教学与科研人员的共同努力，已经形成了结构合理、实力雄厚的学科梯队，在EDA及ASIC设计方法学、C3I和军用共性软件、异构数据库、算法理论、人工智能理论与软件、基于Internet的新型软件方法与技术、支持软件全工程期的CASE环境与工具等方面的多项研究工作处于国内先进行列，多项科研成果和教学成果获国家级或部级奖励，主要研究方向有：1系统软件与软件工程：主要从事嵌入式实时操作系统、数字系统自动设计理论与专用集成电路设计方法学、大型软件工程化方法、软件开发技术、软件工具与环境、软件体系结构等方面的基本理论与技术的研究工作。2数据库：主要从事异构信息源的集成、多媒体数据库、海量信息处理、数字图书馆、Web数据库、数据仓库、数据挖掘、Web挖掘、嵌入式数据库等方面的研究工作。3智能软件技术：主要研究多Agent技术、移动Agent技术、人工智能技术在软件开发中的应用，研究因特网上的数据集成、数据挖掘及知识发现的有效算法与软件系统。4软件理论：主要针对软件领域内的共性问题，从形式化、自动化和方法学等基本层面来研究软件的理论与方法。一、培养目标掌握坚实的计算机科学与技术的基础理论和系统的计算机软件与理论和有关计算机系统结构、计算机应用技术方面的专门知识，具有从事科学研究工作和独立承担专门技术工作的能力，能够胜任计算机软件与理论的教学、科研、软件系统开发等工作。二、课程设置类别课程编号课程名称课内学时学分开课学期考核方式备注学位课21-000001-01-09科学技术哲学5421、2考试21-000001-0*-09科学社会主义理论与实践3611、2考试21-000002-0*-09外语54+5421、2考试21-081202-01-01计算理论5431考试任选四门21-081203-01-01人工智能5431考试21-081202-02-01分布式数据库系统5431考试21-081202-03-01软件工程与软件自动化5431考试21-081202-04-01高级操作系统5431考试21-081202-05-01软件形式化方法与形式语义学5431考试21-081202-06-01软件体系结构5431考试21-081202-07-01ASIC设计导论5432考试类别课程编号课程名称课内学时学分开课学期考核方式备注选修课21-000003-08-07随机过程3621考查任选一门20-081203-10-01计算几何3622考查20-081203-11-01最优化理论3622考查20-081202-06-01组合数学3622考查20-081202-01-01数据库理论5432考查20-081202-02-01面向对象技术与方法5431考查20-081202-03-01高级程序设计3622考查三、必修环节1文献综述报告（1学分）：本学科硕士学位研究生的文献阅读要结合课题研究方向和具体的研究领域进行，文献参考不少于20篇。2学术活动（1学分）：在学期间至少应参加6次以上学术活动，其中本人进行正规性的学术报告1次以上。每次学术活动要有500字左右的总结报告，注明参加学术活动的时间、地点、报告人、学术报告题目，简述内容并阐明自己对相关问题的学术观点或看法。3专业外语（1学分）：使研究生了解、熟悉外语论文的写作及如何在国际会议发表论文和进行学术报告。由指导教师负责指导研究生选读和笔译相关专业外文文献，学院组织考试。4实践环节：以参与教学、科研与管理工作等形式完成。四、科学研究与学位论文1学位论文选题和开题报告：论文选题应根据当前本学科方向科学技术的发展水平和趋势进行，选题涉及基础理论的研究内容具有较高的理论价值和先进性，一般应有相应的实验数据支持；选题涉及工程应用的研究内容应具有明显的实用价值，技术上在国内具有先进性。2发表论文：应满足校学位评定委员会的要求。3学位论文：硕士学位论文应当表明作者具有从事科学研究工作的能力，论文成果具有新意。五、课程简介21-081202-01-01计算理论3（54）适用专业：计算机软件与理论，计算机应用技术，计算机系统结构先修课程：高等数学，离散数学，自动机理论内容概要：正则语言；上下文无关语言；丘奇图灵论题；可判定性；可归约性；可计算性高级专题；时间复杂性；空间复杂性；难解性；复杂性高级专题。参考文献：1. Sipser. 计算理论导论. 北京：机械工业出版社(中译,影印版)，20012. Hopcroft, Motwani, Ullman. 自动机理论、语言和计算导论. 北京：清华大学出版社(影印)，20023. Lewis,Papadimitriou. 计算理论基础. 北京：清华大学出版社(影印,中译)，199921-081202-02-01分布式数据库系统3（54）适用专业：计算机软件与理论，计算机应用技术，计算机系统结构先修课程：数据库原理内容概要：分布式数据库系统概述；分布式数据存储；分布式查询优化；分布式事务管理；分布式数据库的完整性和安全性；分布式数据库系统设计；多数据库系统技术；Web数据库技术。参考文献：1贾焰等. 分布式数据库技术M. 北京：国防工业出版社，20002郑振楣等. 分布式数据库M. 北京：科学出版社，199921-081202-03-01软件工程与软件自动化3（54）适用专业：计算机软件与理论，计算机应用技术，计算机系统结构先修课程：软件形式化方法，软件工程基础，编译原理与设计内容概要：软件工程与CASE；CASE技术与CASE工程环境；软件自动化实现途径的支撑理论与方法；软件复用技术；软件过程改进与质量管理；软件工程发展新技术。参考文献：1Roger S.Pressman. Software EngineeringA Practioners Appraach. 北京：机械工业出版社，2000 2周之英编著. 现代软件工程 新技术篇. 北京：科学出版社，20003赵晓华著. 软件开发自动化技术软件工程与CASE. 北京： 国防工业出版社，19974M.Shaw，D.Garlan. SOFTWARE ARCHITECTURE. 北京：清华大学出版社，19995徐正权著. 软件复用方法与技术. 武汉：华中理工大出版社，200021-081202-04-01高级操作系统3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:计算机操作系统，计算机网络内容概要:分布式计算机系统；分布式通信；协同处理；资源管理；进程与处理机管理；任务分配与负载平衡；分布式文件系统分布式事务与事务的并发控制；恢复与容错；面向对象的分布式操作系统的设计；分布式操作系统实例分析参考文献:1何炎祥等. 高级操作系统. 科学出版社，19992夏卫民，罗宇等. 并行操作系统原理与技术. 电子工业出版社，200221-081202-05-01软件形式化方法与形式语义学3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:程序设计语言，离散数学，软件工程基础内容概要:形式系统概述；偏函数逻辑VDM的逻辑基础；函数和运算规范；集合抽象与规范描述；结构类型与规范描述；映射抽象与规范描述；序列抽象与规范描述；面向模型的软件规范；数据精化；运算精化；操作语义学；指称语义学；公理语义学。参考文献:1Cliff B.Jones. Systematic Software Development Using VDM. Prentice Hall International Series in Computer Science，19902周巢尘. 形式语义学导论. 科学出版社21-081202-06-01软件体系结构3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:软件工程基础，面向对象的方法和技术内容概要:软件体系结构研究的目标和难点；软件体系结构的构建模式；软件体系结构的形式化描述；软件体系结构的集成开发技术；软件体系结构研究动态与展望。参考文献:1. Mary Shaw,David Garlan. Software Architecture. 北京：清华大学出版社，19982. 覃征、何坚等. 软件体系结构. 西安:西安交通大学出版社，200221-081202-07-01ASIC设计导论3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:数字电路基础，汇编语言程序设计内容概要:数字集成电路设计概论；大规模数字集成电路基础(结构与功能)；电子设计自动化（EDA）系统；常用可编程逻辑器件应用；设计实例。参考文献:1张兴，黄如，刘晓彦. 微电子学概论. 北京：北京大学出版社，20002Joh F. Wakerly. Digital Design(数字设计). 高等教育出版社，200120-081202-06-01组合数学2（36）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:离散数学，数学分析内容概要:介绍组合数学与组合算法方面的知识，包括基本计数原理；鸽巢原理；容斥原理；排列与组合的生成；递推关系和母函数；组合设计和图片中的计数问题等内容。本课程是一门训练素质的数学课程，有助于增强学生解决工程问题的能力。参考文献:1. 卢开澄组合数学北京：清华大学出版社，19912. Richard A Bruald组合学导引北京：机械工业出版社，200120-081202-01-01数据库理论3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:数据库原理内容概要:数据库基础；关系数据库；数据依赖；关系数据库范式；无环数据库模式；分布式数据库；面向对象数据库；并行数据库；多媒体数据库；工程数据库；数据仓库；Web数据库。参考文献:1周志逵. 数据库理论与新技术M，北京：北京理工大学出版社，20012A.Silberschatz. Database sysyem concepts（Third Edition）M. 北京：机械工业出版社，200020-081202-02-01面向对象技术与方法3（54）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:程序设计基础，C+语言内容概要:面向对象方法学基本原理；面向对象技术基本概念；面向对象分析、设计与实现；分布式对象技术。参考文献:1石峰. 程序设计基础. 北京:清华大学出版社，20032邵维忠. 面向对象的系统分析. 国防科技大学出版社，200020-081202-03-01高级程序设计2（36）适用专业:计算机软件与理论，计算机应用技术，计算机系统结构先修课程:数据结构，算法设计，C+语言程序设计内容概要:主要介绍COM（Component Object Model，组件对象模型）和STL（Standard Template Library，标准模板库）两个高级程序设计技术。包括：COM 基础；COM扩展和COM应用与发展；介绍了组件化程序设计思想以及多层软件结构模型；STL原理介绍与架构分析；STL现场重建；STL深度应用。通过STL的学习，掌握内存管理方法，算法、数据结构的高阶泛型编程技法。另外并结合具体的典型应用实例。参考文献:1候捷. STL源码剖析.