计算机软件与理论专业培养方案

计算机软件与理论

ComputerSoftwareandTheory

(081202)

•培养方案

（一）培养目标和要求

1、培养德智体全面发展的计算机软件与理论方向高层次专门人才和高校有关专业的师

资。

2、通过进一步学习马列主义、毛泽东思想和邓小平理论，逐步形成无产阶级世界观，

热爱社会主义祖国，毕业后为祖国的建设贡献力量。

3、培养具有较强理论基础和设计、开发软件能力的软件和理论人才，以满足软件开发、

技术管理、科学研究和高等教育等多层次的社会需要。

4、较为熟练地掌握•门外语，能阅读本专业的外文资料

5、有健康的体魄和良好的心理素质。

（二）研究方向

I、不确定程序理论及应用TheoriesandApplicationsofUncertainProgramming

2、虚拟现实VirtualReality

3、信息系统与数据库InformationSystemandDatabase

4、软件可靠性设计理论与方法TheoriesandMethodsonReliableProgramming

5、遗传算法HereditaryAlgorithms

（三）学制

全日制硕士研究生学制为三年；半脱产在职研究生经申请批准其学习年限可延长半年

至一年。

（四）课程设置

1、必修课程：

（1）学位公共课：

科学社会主义理论与实践TheoryandPracticeofScientific

Socialism

自然辩证法DialecticsofNature

第一外国语FirstForeignLanguage

（2）学位基础课：

数理逻辑基础ElementsofMathematicalLogic

形式语言与自动机FormalLanguageandAutoma：a

程序设计方法学ProgrammingMethodology

（3）学位专业课：

高级算法设计与分析AdvancedAlgorithmDesignandAnalysis

高级软件工程AdvancedSoftwareEngineering

数据库技术DatabaseTechnology

专业外语SpecializedForeignLanguage

专题讲座LecturesonSpecialTopic

2、选修课程：

高级计算机系统结构AdvancedComputerArchitecture

并行理论与通信ConcurrencyTheoryandCommunication

论域理论DomainTheory

计算机图形学ComputerGraphics

计算机网络ComputerNetwork

人工智能ArtificialIntelligence

遗传算法GeneticsAlgorithm

软件可靠性与安全性SoftwareReliabilityandSafety

形式语义学FormalSemantics

高等工程数学AdvancedEngineeringMathematics

3、同等学力或跨专业报考者补修课程：

离散数学DiscreteMathematics

数据结构与程序设计DataStnicturesandProgramming

4、实习

5、社会实践活动

（五）教学和培养方式

教学采用教师主讲与学生讨论等形式，引导学生积极主动学好基础理论课，为以后的学

习和实践打下理论基础。组织、鼓励学生积极参加科学研究、软件开发等科研工作。

（六）成绩考核

采用闭卷、开卷或者撰写专题论文以及程序设计等方式进行；成绩可以按百分制计，也

可以分优（90分-100分）、良（80分-89分）、中（70分-79分）、及格（60分-69分）、不及

格五等；必修课及格标准为“中”，选修课及格标准为“及格”。

（七）学位论文撰写

1、第四学期末，在导师指导下确定选题。

2、论文的选题和内容应具有一定理论价值和应用价值，有一定的创意和前沿性。

3、正文一般不少于三万字，外文摘要2（X）0字符，中文摘要800字。

4、论文的封面、中外文提要、正文、附录和参考文献的编排，都必须符合国际通行的

学术论文规范，所有的注码必须注明：①国别（或时代）、②作者（或译者）、③书刊名称、

④卷次（章节）、⑤页码、⑥出版社、⑦出版时地；否则不能参加答辩。

5、为方便审读，论文行距应较宽松，用4号字或小四号字。

（A）论文答辩与学位授予

1、论文答辩

（1）学位论文由作者本人提交答辩委员会，由答辩秘书分送答辩委员。

（2）硕士学位论文答辩前须聘请2位（或以上）具有副教授（或以上）职称的专家评

阅。

（3）答辩委员会由4-5名与选题有关的教授（或研究员）、副教授（或副研究员）组成。

答辩委员会推举•名答辩主席，答辩人的导师和副导师不能担任答辩主席。答辩后由答辩委

员会投票表决，答辩主席在答辩决议书上签字。

2、学位授予

论文在获三分之二（或以上）答辩委员通过后，答辩委员会可建议授予答辩人所申请的

学位。

•教学大纲

☆数理逻辑基础

（一）教学目的和要求

使学生掌握数理逻辑的命题逻辑、一阶逻辑、模态逻辑的演算、语义以及可靠性和完备

性等数理逻辑的基本理论、基本方法和重要结论，为以后的学习和研究打下基础。

（二）基本教学内容

第一部分：形式命题演算。介绍经典命题逻辑的形式演算和语义，以及它们的可

靠性和完备性定理。

第二部分：形式谓词演算。讨论一阶语言的语法和语义，介绍一阶形式系统的完

备性定理和相容性定理。

第三部分：构造性逻辑。介绍证明的构造性、形式推演、语义以及可靠性与完备性。

第四部分：模态逻辑。介绍模态命题逻辑和模态一阶逻辑的形式演算、语义、可靠

性与完备性。

（三）主要参考资料

《面向计算机科学的数理逻辑》，陆钟万，科学出版社1998年。

《计算机科学中的逻辑学》，王元元，科学出版社1989年。

（四）任课教师：陈仪香

（五）总时数：80学时

（六）考核方式：闭卷考试

☆形式语言与自动机

（一）教学目的和要求

本课程的目的是通过对形式语言与有限自动机的学习，掌握计算的基本模型，为更好理

解和掌握计算机科学的基础理论打下基础。

（二）基本教学内容

本课程可分成三个部分

第一部分：有限自动机与图灵机。主要学习确定有限自动机、非确定有限自动机、

下推自动机以及图灵机，掌握图灵机的计算模型。

第二部分：形式语言。主要学习正规语言及上下文无关语言，讨论这些语言与自

动机的关系。

第三部分:计算的半确定性与复杂性。主要介绍图灵机的不可解性或半确定性问题。

介绍图灵机计算的灾杂性以及NP问题。

（三）主要参考资料

《ElementsoftheTheoryofComputation（计算机理论基础）》,HarryR.Lewis等，清华大

学出版社（影印版）1999年版。

（四）任课教师：陈仪香

（五）总时数：80学时

（六）考核方式：闭卷考试

☆程序设计方法学

（一）教学目的和要求

本课程的目的是要求学生掌握程序设计方法的概念、结构、描述方法、设计技术和设计

工具，学习程序结构分析方法和程序正确性证明、设计策略等内容，介绍程序设计方法进几

年来的发展概况。

（二）基本教学内容

1.程序与程序设计的概念

2.程序结构分析

3.程序的功效

4.程序设计工具

5.程序功能描述

6.程序的正确性证明

7.程存设计的基本策略

8.程序的设计技术

9.程序的形式推导

（三）主要参考资料

《程序设计的方法学教程》，张辛儿，南京大学出版社1992年版。

《程序设计的方法学》，仲萃豪等，北京科学技术出版社1985年版。

（四）任课教师：高建华

（五）总时数：80学时

（六）考核方式：闭卷考试

☆高级算法设计与分析

（一）教学目的和要求

设计有效算法，分析算法的复杂性，判断若干算法的优劣，以及最佳算法的证明，以及

算法复杂性的NP理论。

（二）基本教学内容

本课程的主要内容包括：对于一个给定的问题，如何设计它的有效算法，在同一问

题的若干算法中，如何来判断它们的优劣。对于一个给定的算法，如何来分析它的有效

性。并对最佳算法及其证明作介绍。

在设计技术中，介绍分织法、贪心法、动态规划法、四溯法、分枝限界法。并介绍

NP安全问题，以及并行算法。

（三）主要参考资料

^TheArtofComputerProgramming^Knuth,第二、三卷。

《计算机算法导引》，卢开澄，清华大学。

（四）任课教师：胡金初

（五）总时数：80学时

（六）考核方式：笔试

☆高级软件工程

（一）教学目的和要求

本课程要求学生在掌握传统软件工程理论的基础上,能够运用面向对象的系统分析与设

计方法建立中小型应用系统，在整个软件开发过程对软件质最进行控制；了解CASE在软

件开发中的应用，掌握至少一种CASE工具。

（二）基本教学内容

1.传统软件工程回顾：可行性研究、需求分析、系统设计、编码、系统测试、实现及

维护

2.面向对象的系统分析与设计：对象分析及建模、设计方法学、面向对象的实现、应

用举例

3.CASE工具与应用：计算机辅助软件工程工具、数据库在CASE中的应用、Design

Patterns>PowerDesign

4.软件质量与质量保证：软件质量保证、软件工程标准化和软件文档、软件件行业国

际标准介绍。

（三）主要参考资料

《软件工程一一实践者的研究方法》，郑人杰编，Rogers.Pressman,机械工业出版社。

《软件工程（高级）》，郑人杰主编，清华大学出版社。

（四）任课教师：吴海涛

（五）总时数：80学时

（六）考核方式：笔试、课程设计

☆高级计算机系统结构

（一）教学目的和要求

本课程是研究生的一门基础课，从传统的计算机系统结构开始逐步深入到平行结构及算

法、及讨论计算机系统结构的发展方向，为今后专业课学习打下基础。

（二）基本教学内容

1.冯•诺依曼计算机系统结构

2.流水线

3.Rise和Cisc

4.内连网络

5.并行处理机和并行计算机

6.并行计算机和并行算法

7.数据计算机几脉匆阵列计算机

8.未来计算机系统结构

（三）主要参考资料

^ComputerArchitectureSingle&ParallelSystem》，MehdiR.Zaraham.

《计算机系统结构》，李学干等，西安电子科技大学出版社。

（四）任课教师：张世正

（五）总时数：80学时

（六）考核方式：书面开卷（外文书）

☆并行理论与通信

（一）教学目的和要求

通过本课程的学习，使学生掌握通信与并行计算的基本理论，为以后的研究打下基础。

（二）基本教学内容

第一部分：基木理论。介绍通信与并行计算的基本理论。为以后的研究打下基础。

第二部分：模拟与等价。介绍各种互模拟与等价，以及它们之间的关系。

第三部分：演算与逻辑。介绍交换算子与规范逻辑的关系和性质。

（三）主要参考资料

^CommunicationandConcurrency^,R.Milner,PrenticeHall出版社1989年版。

《计算机语言的形式语义》，陆汝铃，科学出版社1992年版。

（四）任课教师：噂育熙陈仪香

（五）总时数：80学时

（六）考核方式：考试

☆论域理论

（一）教学目的和要求

掌握论域理论的基本原理、基本方法和重要结论，为今后的学习和研究打下基础。

（二）基本教学内容

第一部分：格论。介绍格论的最基本概念，如：格、完备格、布尔格、模格等。

第二部分：Domain理论。介绍Domain理论的基本概念和基本方法，以及哥域理论,

介绍信息系统理论。

第三部分：范畴理论。介绍范畴论的基本概念和方法，以及•些重要结论。

（三）主要参考资料

<IntroductiontoLatticeandOrder,B.A.Davey等人,剑桥大学出版社1990年版。

《计算机科学中的范畴论》，陈意云，中国科技大学出版社1992年版。

《计算机语言的稳定论域理论》，陈仪香。

（四）任课教师：陈仪香

（五）总时数：8（）学时

（六）考核方式：论文

☆计算机图形学

（一）教学目的和要求

通过本课程的学习，使学生在计算机图形学与计算可视化方面打下扎实的基础，掌握C

语言图形程序设计以及Madab程序设计，曲线、曲面等图形算法等的基本理论、基本设计

方法为以后的图形设计做好准备。

（二）基本教学内容

第一部分C语言图形程序设计、Mallab程序设计。

第二部分曲线、曲面及图形生成算法。

第三部分图形变换与图象处理

（三）主要参考资料

《计算机图形学》（第三版），孙家广，清华大学出版社1998年版。

《计算机图形学》，金迅赞，浙江大学出版社1988年版。

《精通Matlab5》，张宜华，清华大学出版社1998年版。

（四）任课教师：陈操宇、王立联

（五）总时数：80学时

（六）考核方式：图形设计

☆计算机网络

（一）教学目的和要求

在本科学习的计算机网络基础上，对各类标准的比较及深化；重点是基于TCP/IP的

Internet/intranet的分析；网络管理系统的思想。

（二）基本教学内容

1.计算机网络体系结构一ISO的OSI、CCTT、TCP/IP等各类标准的比较。

2.网卡的具体结构例--实现物理层和数据链路的逻辑电路及编程，子CPU、SI0和

DMA的设计一一RS-232-C,HDLC的初始化编程.

3.总线型局域网的检测标准--质量技术监督局试行方案

4.网络层及路由器、网际互连--协议转换器、X；5、IP、桥接器的比较。

5.TCP/IP协议几例:SNMP简易网络管理协议、DAPRAINTERNET网关，Internet标准

子网过程、ICP网际控制板之协议等。

6.几个计算机网络系统的实际应用及设计。

（三）主要参考资料

《ComputerNetworks》第三版，A.S.Tanenbaum,清华大学出版社。

《计算机网络TCP/IP的设计与标准》，俞时权、杨明，海洋出版社。

（四）任课教师：俞时权

（五）总时数：80学时

（六）考核方式：论文（力求正式发表）

☆遗传算法

（一）教学目的和要求

通过本课程的学习，使研究生对遗传算法的基本原理及其应用有较全面的了解，对遗传

算法的局限性和潜力也有所了解。要求掌握遗传算法的基本理论。掌握遗传程序设计的方法,

了解遗传算法与其他自适应搜索方法的区别；为在这方面开展研究打下良好的基础。

（二）基本教学内容

1.遗传算法的发展

2.遗传算法的数学理论

3.解连续优化问题的遗传算法

4.用遗传算法设计神经网络

5.遗传算法在组合优化中的应用

6.遗传程序设计与程序设计自动化

7.遗传算法与其它自适应搜索方法的比较

（三）主要参考资料

《遗传算法》，刘勇等，（北京）科学出版社1998年版。

（AdaptationinNaturalandArtificialSystems》,Holland,J.H.,AnnArbor:TheUniversity

ofMichiganPress,1975.

（四）任课教师：迟洪钦

（五）总时数：36或54学时

（六）考核方式：开卷

☆软件可靠性与安全性

（一）教学目的和要求

软件可靠性与安全性是当代的科技的前沿课题之一。本课程系统地介绍国内外软件可靠

性与安全性的主要研究成果。内容包括软件可靠性的基本理论、可靠性设计、可靠软件的测

试、软件的可靠性预计及其可靠性增长分析、软件的可靠性分配、软件的可靠性与安全性分

析、软件的质量保证等内容。

（二）基本教学内容

第一章结论

1.1软件可靠性的重要性

1.2软件可靠性的发展史

第二章软件质量及可靠性的基本概念

2.1软件及软件工程

2.2软件的质量

2.3软件可靠性的基本概念

2.4软件错误有软件失效

2.5软件可靠性模型

第三章可靠软件的设计

3.1基本策略

3.2需求分析

3.3概要设计和详细设计

3.4查错设计

3.5改错设计

3.6容错设计

第四章软件测试

4.1软件测试

4.2结构测试

4.3功能测试

4.4软件排错

第五章软件的可靠性预计模型

5.1JELINK1-M0RANDA模型

5.2几何递减模型

5.3S7模型

5.4SHOOMAN模型

5.5MUSA执行时间模型

5.6G-0非齐次Poisson过程模型

5.7Littlewood贝叶斯排错模型

5.8Nelson模型

5.9错误植入模型

5.10非线性回归预计法

第六章软件与硬-软件复合系统结构模型

6.1系统结构分解

6.2串行系统结构模型

6.3并行系统结构模型

6.4分布式系统及冗余系统

6.5硬-软件复合系统结构预计分析

第七章软件系统安全性分析

7.1概述

7.2软件系统安全性分析项目

7.3软件安全性设计准则

7.4软件失效模式、效应及危害度分析法

7.5软件故障树分析法

7.6软件潜藏分析法

第八章程序的更杂性与可靠性分配

8.1概述

8.2HALSTEAD复杂性度量法

8.3THAYER复杂性度量

8.4图论复杂性度量

8.5软件的可靠性分配

第九章软件的质量保证

9.1软件的质量保证计划

9.2软件质量保证（QA）机构

9.3美国软件质量保证的若干做法和经验

9.4日立公司软件质量评估（SQE）系统

（三）主要参考资料

《软件的可靠性与安全性》，黄锡兹，科学出版社1992年版。

（四）任课教师：高建华

（五）总时数：54学时

（六）考核方式：开卷或闭卷

☆形式语义学

（一）教学目的和要求

通过本课程的学习，使学生在计算机语言的形式语义学方面打下扎实的基础，掌握形式

语义学的基本理论、基本方法和重要结论，以及国内外最新研究动态、热点，为以后的研究

做好准备。

（二）基本教学内容

第一部分指称语义。介绍指称语义的基础：如论域的构造与连续映射、泛函不动

点、入演算等。介绍程序设计语言的几种指称语义：存储语义、环境语义、命令语义等。

介绍指称语义的一些例子。

第二部分操作语义。介绍程序的结构化操作语义与属性文法，以及施用表达式的

机器计算。

第三部分公理语义。介绍Hoare公理系统、Dijkstra的最弱前置条件、Martir-Lof

类型论。

第四部分并发程序设计语言的语义。介绍并发系统、并发程序设计语言、以及通

讯顺序进程，介绍并发程序设计语言的指称语义、公理语义，通讯顺序进程的操作语义。

（三）主要参考资料

《形式语义学及形式说明》，屈延文，科学出版社1998年版。

《计算机语言的形式语义》，陆汝铃，科学出版社1992年版。

（四）任课教师：陈仪香

（五）总时数：80学时

（六）考核方式：考试（开卷或闭卷）

☆高等工程数学

（一）教学目的和要求

通过本课程的学习使研究生掌握矩阵分析和随机过程的基本理论及其应用。要求掌握矩

分解的基本理论和方法，熟悉线性变换的矩阵表示，了解矩阵函数的性质和应用；掌握随机

过程的基本概念，熟悉几种重要的随机过程及其应用，了解各态历经性与谱分解。

（二）基本教学内容

第一部分矩阵分析

第一章线性空间与线性变换

1.1线性空间的概念

1.2基变换与坐标变换

1.3子空间与维数定理

1.4线性空间的同构

1.5线性变换的概念

1.6线性变换的矩降表示

1.7不变子空间

第二章内积空间

2.1内积空间的概念

2.2正交基及子空间的正交关系

2.3内积空间的同构

2.4正交变换

2.5子空间的距离与最小二乘法

2.6复内积空间

2.7正规矩阵

2.8二次型

第三章矩阵的标准形与若干分解形式

3.1矩阵的相似对角形

3.2矩阵的约当标准形

3.3哈密顿-开莱定理及矩阵的最小多项式

3.4多项式矩阵与史密斯标准形

3.5多项式矩阵的互质性与既约性

3.6有理分式矩阵的标准形及其仿分式分解

3.7系统的传递函数矩阵

3.8舒尔定理及矩陇的分解

3.9矩阵的奇异值分解

第四章矩阵函数及其应用

4.1向量范数

4.2矩阵范数

4.3向量和矩阵的极限

4.4矩阵暴级数

4.5矩阵函数

4.6矩阵的微分与积分

4.7常用矩阵函数的性质

4.8矩阵函数在微分方程组中的应用

4.9线性系统的能控性与能观预测性

第五章特征值的估计与广义逆矩阵

5.1特征值的界的估计

5.2圆盘定理

5.3谱半径的估计

5.4广义逆矩阵与线性方程组的解

5.5广义逆矩阵A+

第六章勒贝格积分简介

6.1集合及其基数

6.2测度理论

6.3可测函数

6.4勒贝格积分

第二部分随机过程

第一章概率论补充知识

1.1概率空间

1.2随机变量

1.3特征函数

1.4多元正态分布

1.5随机变量序列的收敛性

1.6随机变量函数的分布

1.7条件数学期望

第二章随机过程的基本概念

2.1随机过程的定义

2.2随机过程的分布及其数字特征

2.3复随机过程

2.4几种重要的随机过程类型

2.5Wiener过程

2.6Possion过程

第三章二阶矩过程的均方微积分

3.1随机变量序列的均方极限

3.2随机过程的均方连续

3.3随机过程的均方导数

3.4随机过程的均方积分

3.5均方随机微分过程

3.6正态过程的均方微积分

第四章平稳过程

4.1平稳过程的定义

4.2平稳过程相关函数的性质

4.3平稳过程的功率谱密度

4.4线性过程中的平衡过程

4.5平稳过程的谱分解

4.6平稳过程的各态历经性

第五章马尔可夫过程

5.1马尔可夫过程的定义

5.2马氏链的转移概率

5.3马氏链的状态分类

5.4转移概率的极限与平稳分布

5.5连续时间马氏过程的转移概率

5.6马氏过程的遍历性和平稳分布

5.7应用举例

第六章更新过程与马尔可夫更新过程

6.1更新过程的定义

6.2更新方程与极限定理

6.3剩余寿命与现时寿命

6.4延迟与终止过程

6.5马尔可夫更新过程的定义

6.6状态分类与极限概率

6.7马尔可夫更新方程

6.8再生过程与报酬过程

6.9广义半马氏过程简介

第七章非平稳随机过程

7.1随机过程的高阶统计量的定义和性质

7.2非平稳过程的Higner-Ville时频谱分析

7.3循环平稳过程

7.4二阶循环平稳过程的循环相关函数与循环谱

7.5高阶循环平稳过程的循环累积量与循环谱

（三）主要参考资料

《矩阵分析引论》，罗家洪，华南理工大学出版社1992年版。

《随机过程》，毛用才、胡奇英，西安电子科技大学出版社1998年版。

《高等代数》，北京大学数学系编，人民教育出版社1978年版。

《线性代数》，蒋尔雄等，人民教育出版社1979年版。

《随机信号分析》朱华等，北京理工大学出版社1990年版。

PapoulisA.Prlbability,RandomVariables,andStochasticProcesses,2"ed.New

York:McGraw-Hill,1984

《实变函数论》，江泽坚、吴智泉，人民教育出版社1961年版。

（四）任课教师：迟洪钦、周素琴

（五）总时数：72学时

（六）考核方式：开卷或闭卷

•培养计划表

院（系、数学科学学院学科、

计算机软件与理论

所）理工信息学院专业

研究1.不确定程序理论及应用2.虚拟现实3.信息系统与数据库

方向4.软件可靠性理论与方法5.遗传算法

学周总各学期教学周时数

课程课程任课考核

学学

类别名称一二三四五六教师方式

分时时

必学

第一外国语6621666考试

位政自然辩证法

23543考试

治（理）/哲学（文）

公理科学科会主

论义的理论与23543考试

修共课实践

计算机应用（文）23543考试

课

学

数理逻辑基础44804陈仪香考试

位

基形式语言与自动

44804陈仪香考试

课础机

课

程序设计方法学44804高建华考试

高级算法设计与