計(jì)算機(jī)軟件與理論

ComputerSoftwareandTheory

(081202)

?培養(yǎng)方案

（一）培養(yǎng)目標(biāo)和要求

1、培養(yǎng)德智體全面發(fā)展的計(jì)算機(jī)軟件與理論方向高層次專門人才和高校有關(guān)專業(yè)的師

資。

2、通過進(jìn)一步學(xué)習(xí)馬列主義、毛澤東思想和鄧小平理論，逐步形成無產(chǎn)階級(jí)世界觀，

熱愛社會(huì)主義祖國，畢業(yè)后為祖國的建設(shè)貢獻(xiàn)力量。

3、培養(yǎng)具有較強(qiáng)理論基礎(chǔ)和設(shè)計(jì)、開發(fā)軟件能力的軟件和理論人才，以滿足軟件開發(fā)、

技術(shù)管理、科學(xué)研究和高等教育等多層次的社會(huì)需要。

4、較為熟練地掌握?門外語，能閱讀本專業(yè)的外文資料

5、有健康的體魄和良好的心理素質(zhì)。

（二）研究方向

I、不確定程序理論及應(yīng)用TheoriesandApplicationsofUncertainProgramming

2、虛擬現(xiàn)實(shí)VirtualReality

3、信息系統(tǒng)與數(shù)據(jù)庫InformationSystemandDatabase

4、軟件可靠性設(shè)計(jì)理論與方法TheoriesandMethodsonReliableProgramming

5、遺傳算法HereditaryAlgorithms

（三）學(xué)制

全日制碩士研究生學(xué)制為三年；半脫產(chǎn)在職研究生經(jīng)申請批準(zhǔn)其學(xué)習(xí)年限可延長半年

至一年。

（四）課程設(shè)置

1、必修課程：

（1）學(xué)位公共課：

科學(xué)社會(huì)主義理論與實(shí)踐TheoryandPracticeofScientific

Socialism

自然辯證法DialecticsofNature

第一外國語FirstForeignLanguage

（2）學(xué)位基礎(chǔ)課：

數(shù)理邏輯基礎(chǔ)ElementsofMathematicalLogic

形式語言與自動(dòng)機(jī)FormalLanguageandAutoma：a

程序設(shè)計(jì)方法學(xué)ProgrammingMethodology

（3）學(xué)位專業(yè)課：

高級(jí)算法設(shè)計(jì)與分析AdvancedAlgorithmDesignandAnalysis

高級(jí)軟件工程AdvancedSoftwareEngineering

數(shù)據(jù)庫技術(shù)DatabaseTechnology

專業(yè)外語SpecializedForeignLanguage

專題講座LecturesonSpecialTopic

2、選修課程：

高級(jí)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)AdvancedComputerArchitecture

并行理論與通信ConcurrencyTheoryandCommunication

論域理論DomainTheory

計(jì)算機(jī)圖形學(xué)ComputerGraphics

計(jì)算機(jī)網(wǎng)絡(luò)ComputerNetwork

人工智能ArtificialIntelligence

遺傳算法GeneticsAlgorithm

軟件可靠性與安全性SoftwareReliabilityandSafety

形式語義學(xué)FormalSemantics

高等工程數(shù)學(xué)AdvancedEngineeringMathematics

3、同等學(xué)力或跨專業(yè)報(bào)考者補(bǔ)修課程：

離散數(shù)學(xué)DiscreteMathematics

數(shù)據(jù)結(jié)構(gòu)與程序設(shè)計(jì)DataStnicturesandProgramming

4、實(shí)習(xí)

5、社會(huì)實(shí)踐活動(dòng)

（五）教學(xué)和培養(yǎng)方式

教學(xué)采用教師主講與學(xué)生討論等形式，引導(dǎo)學(xué)生積極主動(dòng)學(xué)好基礎(chǔ)理論課，為以后的學(xué)

習(xí)和實(shí)踐打下理論基礎(chǔ)。組織、鼓勵(lì)學(xué)生積極參加科學(xué)研究、軟件開發(fā)等科研工作。

（六）成績考核

采用閉卷、開卷或者撰寫專題論文以及程序設(shè)計(jì)等方式進(jìn)行；成績可以按百分制計(jì)，也

可以分優(yōu)（90分-100分）、良（80分-89分）、中（70分-79分）、及格（60分-69分）、不及

格五等；必修課及格標(biāo)準(zhǔn)為“中”，選修課及格標(biāo)準(zhǔn)為“及格”。

（七）學(xué)位論文撰寫

1、第四學(xué)期末，在導(dǎo)師指導(dǎo)下確定選題。

2、論文的選題和內(nèi)容應(yīng)具有一定理論價(jià)值和應(yīng)用價(jià)值，有一定的創(chuàng)意和前沿性。

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

4、論文的封面、中外文提要、正文、附錄和參考文獻(xiàn)的編排，都必須符合國際通行的

學(xué)術(shù)論文規(guī)范，所有的注碼必須注明：①國別（或時(shí)代）、②作者（或譯者）、③書刊名稱、

④卷次（章節(jié)）、⑤頁碼、⑥出版社、⑦出版時(shí)地；否則不能參加答辯。

5、為方便審讀，論文行距應(yīng)較寬松，用4號(hào)字或小四號(hào)字。

（A）論文答辯與學(xué)位授予

1、論文答辯

（1）學(xué)位論文由作者本人提交答辯委員會(huì)，由答辯秘書分送答辯委員。

（2）碩士學(xué)位論文答辯前須聘請2位（或以上）具有副教授（或以上）職稱的專家評(píng)

閱。

（3）答辯委員會(huì)由4-5名與選題有關(guān)的教授（或研究員）、副教授（或副研究員）組成。

答辯委員會(huì)推舉?名答辯主席，答辯人的導(dǎo)師和副導(dǎo)師不能擔(dān)任答辯主席。答辯后由答辯委

員會(huì)投票表決，答辯主席在答辯決議書上簽字。

2、學(xué)位授予

論文在獲三分之二（或以上）答辯委員通過后，答辯委員會(huì)可建議授予答辯人所申請的

學(xué)位。

?教學(xué)大綱

☆數(shù)理邏輯基礎(chǔ)

（一）教學(xué)目的和要求

使學(xué)生掌握數(shù)理邏輯的命題邏輯、一階邏輯、模態(tài)邏輯的演算、語義以及可靠性和完備

性等數(shù)理邏輯的基本理論、基本方法和重要結(jié)論，為以后的學(xué)習(xí)和研究打下基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

第一部分：形式命題演算。介紹經(jīng)典命題邏輯的形式演算和語義，以及它們的可

靠性和完備性定理。

第二部分：形式謂詞演算。討論一階語言的語法和語義，介紹一階形式系統(tǒng)的完

備性定理和相容性定理。

第三部分：構(gòu)造性邏輯。介紹證明的構(gòu)造性、形式推演、語義以及可靠性與完備性。

第四部分：模態(tài)邏輯。介紹模態(tài)命題邏輯和模態(tài)一階邏輯的形式演算、語義、可靠

性與完備性。

（三）主要參考資料

《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》，陸鐘萬，科學(xué)出版社1998年。

《計(jì)算機(jī)科學(xué)中的邏輯學(xué)》，王元元，科學(xué)出版社1989年。

（四）任課教師：陳儀香

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：閉卷考試

☆形式語言與自動(dòng)機(jī)

（一）教學(xué)目的和要求

本課程的目的是通過對(duì)形式語言與有限自動(dòng)機(jī)的學(xué)習(xí)，掌握計(jì)算的基本模型，為更好理

解和掌握計(jì)算機(jī)科學(xué)的基礎(chǔ)理論打下基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

本課程可分成三個(gè)部分

第一部分：有限自動(dòng)機(jī)與圖靈機(jī)。主要學(xué)習(xí)確定有限自動(dòng)機(jī)、非確定有限自動(dòng)機(jī)、

下推自動(dòng)機(jī)以及圖靈機(jī)，掌握圖靈機(jī)的計(jì)算模型。

第二部分：形式語言。主要學(xué)習(xí)正規(guī)語言及上下文無關(guān)語言，討論這些語言與自

動(dòng)機(jī)的關(guān)系。

第三部分:計(jì)算的半確定性與復(fù)雜性。主要介紹圖靈機(jī)的不可解性或半確定性問題。

介紹圖靈機(jī)計(jì)算的災(zāi)雜性以及NP問題。

（三）主要參考資料

《ElementsoftheTheoryofComputation（計(jì)算機(jī)理論基礎(chǔ)）》,HarryR.Lewis等，清華大

學(xué)出版社（影印版）1999年版。

（四）任課教師：陳儀香

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：閉卷考試

☆程序設(shè)計(jì)方法學(xué)

（一）教學(xué)目的和要求

本課程的目的是要求學(xué)生掌握程序設(shè)計(jì)方法的概念、結(jié)構(gòu)、描述方法、設(shè)計(jì)技術(shù)和設(shè)計(jì)

工具，學(xué)習(xí)程序結(jié)構(gòu)分析方法和程序正確性證明、設(shè)計(jì)策略等內(nèi)容，介紹程序設(shè)計(jì)方法進(jìn)幾

年來的發(fā)展概況。

（二）基本教學(xué)內(nèi)容

1.程序與程序設(shè)計(jì)的概念

2.程序結(jié)構(gòu)分析

3.程序的功效

4.程序設(shè)計(jì)工具

5.程序功能描述

6.程序的正確性證明

7.程存設(shè)計(jì)的基本策略

8.程序的設(shè)計(jì)技術(shù)

9.程序的形式推導(dǎo)

（三）主要參考資料

《程序設(shè)計(jì)的方法學(xué)教程》，張辛兒，南京大學(xué)出版社1992年版。

《程序設(shè)計(jì)的方法學(xué)》，仲萃豪等，北京科學(xué)技術(shù)出版社1985年版。

（四）任課教師：高建華

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：閉卷考試

☆高級(jí)算法設(shè)計(jì)與分析

（一）教學(xué)目的和要求

設(shè)計(jì)有效算法，分析算法的復(fù)雜性，判斷若干算法的優(yōu)劣，以及最佳算法的證明，以及

算法復(fù)雜性的NP理論。

（二）基本教學(xué)內(nèi)容

本課程的主要內(nèi)容包括：對(duì)于一個(gè)給定的問題，如何設(shè)計(jì)它的有效算法，在同一問

題的若干算法中，如何來判斷它們的優(yōu)劣。對(duì)于一個(gè)給定的算法，如何來分析它的有效

性。并對(duì)最佳算法及其證明作介紹。

在設(shè)計(jì)技術(shù)中，介紹分織法、貪心法、動(dòng)態(tài)規(guī)劃法、四溯法、分枝限界法。并介紹

NP安全問題，以及并行算法。

（三）主要參考資料

^TheArtofComputerProgramming^Knuth,第二、三卷。

《計(jì)算機(jī)算法導(dǎo)引》，盧開澄，清華大學(xué)。

（四）任課教師：胡金初

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：筆試

☆高級(jí)軟件工程

（一）教學(xué)目的和要求

本課程要求學(xué)生在掌握傳統(tǒng)軟件工程理論的基礎(chǔ)上,能夠運(yùn)用面向?qū)ο蟮南到y(tǒng)分析與設(shè)

計(jì)方法建立中小型應(yīng)用系統(tǒng)，在整個(gè)軟件開發(fā)過程對(duì)軟件質(zhì)最進(jìn)行控制；了解CASE在軟

件開發(fā)中的應(yīng)用，掌握至少一種CASE工具。

（二）基本教學(xué)內(nèi)容

1.傳統(tǒng)軟件工程回顧：可行性研究、需求分析、系統(tǒng)設(shè)計(jì)、編碼、系統(tǒng)測試、實(shí)現(xiàn)及

維護(hù)

2.面向?qū)ο蟮南到y(tǒng)分析與設(shè)計(jì)：對(duì)象分析及建模、設(shè)計(jì)方法學(xué)、面向?qū)ο蟮膶?shí)現(xiàn)、應(yīng)

用舉例

3.CASE工具與應(yīng)用：計(jì)算機(jī)輔助軟件工程工具、數(shù)據(jù)庫在CASE中的應(yīng)用、Design

Patterns>PowerDesign

4.軟件質(zhì)量與質(zhì)量保證：軟件質(zhì)量保證、軟件工程標(biāo)準(zhǔn)化和軟件文檔、軟件件行業(yè)國

際標(biāo)準(zhǔn)介紹。

（三）主要參考資料

《軟件工程一一實(shí)踐者的研究方法》，鄭人杰編，Rogers.Pressman,機(jī)械工業(yè)出版社。

《軟件工程（高級(jí)）》，鄭人杰主編，清華大學(xué)出版社。

（四）任課教師：吳海濤

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：筆試、課程設(shè)計(jì)

☆高級(jí)計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)

（一）教學(xué)目的和要求

本課程是研究生的一門基礎(chǔ)課，從傳統(tǒng)的計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)開始逐步深入到平行結(jié)構(gòu)及算

法、及討論計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)的發(fā)展方向，為今后專業(yè)課學(xué)習(xí)打下基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

1.馮?諾依曼計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)

2.流水線

3.Rise和Cisc

4.內(nèi)連網(wǎng)絡(luò)

5.并行處理機(jī)和并行計(jì)算機(jī)

6.并行計(jì)算機(jī)和并行算法

7.數(shù)據(jù)計(jì)算機(jī)幾脈匆陣列計(jì)算機(jī)

8.未來計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)

（三）主要參考資料

^ComputerArchitectureSingle&ParallelSystem》，MehdiR.Zaraham.

《計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)》，李學(xué)干等，西安電子科技大學(xué)出版社。

（四）任課教師：張世正

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：書面開卷（外文書）

☆并行理論與通信

（一）教學(xué)目的和要求

通過本課程的學(xué)習(xí)，使學(xué)生掌握通信與并行計(jì)算的基本理論，為以后的研究打下基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

第一部分：基木理論。介紹通信與并行計(jì)算的基本理論。為以后的研究打下基礎(chǔ)。

第二部分：模擬與等價(jià)。介紹各種互模擬與等價(jià)，以及它們之間的關(guān)系。

第三部分：演算與邏輯。介紹交換算子與規(guī)范邏輯的關(guān)系和性質(zhì)。

（三）主要參考資料

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

《計(jì)算機(jī)語言的形式語義》，陸汝鈴，科學(xué)出版社1992年版。

（四）任課教師：噂育熙陳儀香

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：考試

☆論域理論

（一）教學(xué)目的和要求

掌握論域理論的基本原理、基本方法和重要結(jié)論，為今后的學(xué)習(xí)和研究打下基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

第一部分：格論。介紹格論的最基本概念，如：格、完備格、布爾格、模格等。

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

介紹信息系統(tǒng)理論。

第三部分：范疇理論。介紹范疇論的基本概念和方法，以及?些重要結(jié)論。

（三）主要參考資料

<IntroductiontoLatticeandOrder,B.A.Davey等人,劍橋大學(xué)出版社1990年版。

《計(jì)算機(jī)科學(xué)中的范疇論》，陳意云，中國科技大學(xué)出版社1992年版。

《計(jì)算機(jī)語言的穩(wěn)定論域理論》，陳儀香。

（四）任課教師：陳儀香

（五）總時(shí)數(shù)：8（）學(xué)時(shí)

（六）考核方式：論文

☆計(jì)算機(jī)圖形學(xué)

（一）教學(xué)目的和要求

通過本課程的學(xué)習(xí)，使學(xué)生在計(jì)算機(jī)圖形學(xué)與計(jì)算可視化方面打下扎實(shí)的基礎(chǔ)，掌握C

語言圖形程序設(shè)計(jì)以及Madab程序設(shè)計(jì)，曲線、曲面等圖形算法等的基本理論、基本設(shè)計(jì)

方法為以后的圖形設(shè)計(jì)做好準(zhǔn)備。

（二）基本教學(xué)內(nèi)容

第一部分C語言圖形程序設(shè)計(jì)、Mallab程序設(shè)計(jì)。

第二部分曲線、曲面及圖形生成算法。

第三部分圖形變換與圖象處理

（三）主要參考資料

《計(jì)算機(jī)圖形學(xué)》（第三版），孫家廣，清華大學(xué)出版社1998年版。

《計(jì)算機(jī)圖形學(xué)》，金迅贊，浙江大學(xué)出版社1988年版。

《精通Matlab5》，張宜華，清華大學(xué)出版社1998年版。

（四）任課教師：陳操宇、王立聯(lián)

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：圖形設(shè)計(jì)

☆計(jì)算機(jī)網(wǎng)絡(luò)

（一）教學(xué)目的和要求

在本科學(xué)習(xí)的計(jì)算機(jī)網(wǎng)絡(luò)基礎(chǔ)上，對(duì)各類標(biāo)準(zhǔn)的比較及深化；重點(diǎn)是基于TCP/IP的

Internet/intranet的分析；網(wǎng)絡(luò)管理系統(tǒng)的思想。

（二）基本教學(xué)內(nèi)容

1.計(jì)算機(jī)網(wǎng)絡(luò)體系結(jié)構(gòu)一ISO的OSI、CCTT、TCP/IP等各類標(biāo)準(zhǔn)的比較。

2.網(wǎng)卡的具體結(jié)構(gòu)例--實(shí)現(xiàn)物理層和數(shù)據(jù)鏈路的邏輯電路及編程，子CPU、SI0和

DMA的設(shè)計(jì)一一RS-232-C,HDLC的初始化編程.

3.總線型局域網(wǎng)的檢測標(biāo)準(zhǔn)--質(zhì)量技術(shù)監(jiān)督局試行方案

4.網(wǎng)絡(luò)層及路由器、網(wǎng)際互連--協(xié)議轉(zhuǎn)換器、X；5、IP、橋接器的比較。

5.TCP/IP協(xié)議幾例:SNMP簡易網(wǎng)絡(luò)管理協(xié)議、DAPRAINTERNET網(wǎng)關(guān)，Internet標(biāo)準(zhǔn)

子網(wǎng)過程、ICP網(wǎng)際控制板之協(xié)議等。

6.幾個(gè)計(jì)算機(jī)網(wǎng)絡(luò)系統(tǒng)的實(shí)際應(yīng)用及設(shè)計(jì)。

（三）主要參考資料

《ComputerNetworks》第三版，A.S.Tanenbaum,清華大學(xué)出版社。

《計(jì)算機(jī)網(wǎng)絡(luò)TCP/IP的設(shè)計(jì)與標(biāo)準(zhǔn)》，俞時(shí)權(quán)、楊明，海洋出版社。

（四）任課教師：俞時(shí)權(quán)

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：論文（力求正式發(fā)表）

☆遺傳算法

（一）教學(xué)目的和要求

通過本課程的學(xué)習(xí)，使研究生對(duì)遺傳算法的基本原理及其應(yīng)用有較全面的了解，對(duì)遺傳

算法的局限性和潛力也有所了解。要求掌握遺傳算法的基本理論。掌握遺傳程序設(shè)計(jì)的方法,

了解遺傳算法與其他自適應(yīng)搜索方法的區(qū)別；為在這方面開展研究打下良好的基礎(chǔ)。

（二）基本教學(xué)內(nèi)容

1.遺傳算法的發(fā)展

2.遺傳算法的數(shù)學(xué)理論

3.解連續(xù)優(yōu)化問題的遺傳算法

4.用遺傳算法設(shè)計(jì)神經(jīng)網(wǎng)絡(luò)

5.遺傳算法在組合優(yōu)化中的應(yīng)用

6.遺傳程序設(shè)計(jì)與程序設(shè)計(jì)自動(dòng)化

7.遺傳算法與其它自適應(yīng)搜索方法的比較

（三）主要參考資料

《遺傳算法》，劉勇等，（北京）科學(xué)出版社1998年版。

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

ofMichiganPress,1975.

（四）任課教師：遲洪欽

（五）總時(shí)數(shù)：36或54學(xué)時(shí)

（六）考核方式：開卷

☆軟件可靠性與安全性

（一）教學(xué)目的和要求

軟件可靠性與安全性是當(dāng)代的科技的前沿課題之一。本課程系統(tǒng)地介紹國內(nèi)外軟件可靠

性與安全性的主要研究成果。內(nèi)容包括軟件可靠性的基本理論、可靠性設(shè)計(jì)、可靠軟件的測

試、軟件的可靠性預(yù)計(jì)及其可靠性增長分析、軟件的可靠性分配、軟件的可靠性與安全性分

析、軟件的質(zhì)量保證等內(nèi)容。

（二）基本教學(xué)內(nèi)容

第一章結(jié)論

1.1軟件可靠性的重要性

1.2軟件可靠性的發(fā)展史

第二章軟件質(zhì)量及可靠性的基本概念

2.1軟件及軟件工程

2.2軟件的質(zhì)量

2.3軟件可靠性的基本概念

2.4軟件錯(cuò)誤有軟件失效

2.5軟件可靠性模型

第三章可靠軟件的設(shè)計(jì)

3.1基本策略

3.2需求分析

3.3概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)

3.4查錯(cuò)設(shè)計(jì)

3.5改錯(cuò)設(shè)計(jì)

3.6容錯(cuò)設(shè)計(jì)

第四章軟件測試

4.1軟件測試

4.2結(jié)構(gòu)測試

4.3功能測試

4.4軟件排錯(cuò)

第五章軟件的可靠性預(yù)計(jì)模型

5.1JELINK1-M0RANDA模型

5.2幾何遞減模型

5.3S7模型

5.4SHOOMAN模型

5.5MUSA執(zhí)行時(shí)間模型

5.6G-0非齊次Poisson過程模型

5.7Littlewood貝葉斯排錯(cuò)模型

5.8Nelson模型

5.9錯(cuò)誤植入模型

5.10非線性回歸預(yù)計(jì)法

第六章軟件與硬-軟件復(fù)合系統(tǒng)結(jié)構(gòu)模型

6.1系統(tǒng)結(jié)構(gòu)分解

6.2串行系統(tǒng)結(jié)構(gòu)模型

6.3并行系統(tǒng)結(jié)構(gòu)模型

6.4分布式系統(tǒng)及冗余系統(tǒng)

6.5硬-軟件復(fù)合系統(tǒng)結(jié)構(gòu)預(yù)計(jì)分析

第七章軟件系統(tǒng)安全性分析

7.1概述

7.2軟件系統(tǒng)安全性分析項(xiàng)目

7.3軟件安全性設(shè)計(jì)準(zhǔn)則

7.4軟件失效模式、效應(yīng)及危害度分析法

7.5軟件故障樹分析法

7.6軟件潛藏分析法

第八章程序的更雜性與可靠性分配

8.1概述

8.2HALSTEAD復(fù)雜性度量法

8.3THAYER復(fù)雜性度量

8.4圖論復(fù)雜性度量

8.5軟件的可靠性分配

第九章軟件的質(zhì)量保證

9.1軟件的質(zhì)量保證計(jì)劃

9.2軟件質(zhì)量保證（QA）機(jī)構(gòu)

9.3美國軟件質(zhì)量保證的若干做法和經(jīng)驗(yàn)

9.4日立公司軟件質(zhì)量評(píng)估（SQE）系統(tǒng)

（三）主要參考資料

《軟件的可靠性與安全性》，黃錫茲，科學(xué)出版社1992年版。

（四）任課教師：高建華

（五）總時(shí)數(shù)：54學(xué)時(shí)

（六）考核方式：開卷或閉卷

☆形式語義學(xué)

（一）教學(xué)目的和要求

通過本課程的學(xué)習(xí)，使學(xué)生在計(jì)算機(jī)語言的形式語義學(xué)方面打下扎實(shí)的基礎(chǔ)，掌握形式

語義學(xué)的基本理論、基本方法和重要結(jié)論，以及國內(nèi)外最新研究動(dòng)態(tài)、熱點(diǎn)，為以后的研究

做好準(zhǔn)備。

（二）基本教學(xué)內(nèi)容

第一部分指稱語義。介紹指稱語義的基礎(chǔ)：如論域的構(gòu)造與連續(xù)映射、泛函不動(dòng)

點(diǎn)、入演算等。介紹程序設(shè)計(jì)語言的幾種指稱語義：存儲(chǔ)語義、環(huán)境語義、命令語義等。

介紹指稱語義的一些例子。

第二部分操作語義。介紹程序的結(jié)構(gòu)化操作語義與屬性文法，以及施用表達(dá)式的

機(jī)器計(jì)算。

第三部分公理語義。介紹Hoare公理系統(tǒng)、Dijkstra的最弱前置條件、Martir-Lof

類型論。

第四部分并發(fā)程序設(shè)計(jì)語言的語義。介紹并發(fā)系統(tǒng)、并發(fā)程序設(shè)計(jì)語言、以及通

訊順序進(jìn)程，介紹并發(fā)程序設(shè)計(jì)語言的指稱語義、公理語義，通訊順序進(jìn)程的操作語義。

（三）主要參考資料

《形式語義學(xué)及形式說明》，屈延文，科學(xué)出版社1998年版。

《計(jì)算機(jī)語言的形式語義》，陸汝鈴，科學(xué)出版社1992年版。

（四）任課教師：陳儀香

（五）總時(shí)數(shù)：80學(xué)時(shí)

（六）考核方式：考試（開卷或閉卷）

☆高等工程數(shù)學(xué)

（一）教學(xué)目的和要求

通過本課程的學(xué)習(xí)使研究生掌握矩陣分析和隨機(jī)過程的基本理論及其應(yīng)用。要求掌握矩

分解的基本理論和方法，熟悉線性變換的矩陣表示，了解矩陣函數(shù)的性質(zhì)和應(yīng)用；掌握隨機(jī)

過程的基本概念，熟悉幾種重要的隨機(jī)過程及其應(yīng)用，了解各態(tài)歷經(jīng)性與譜分解。

（二）基本教學(xué)內(nèi)容

第一部分矩陣分析

第一章線性空間與線性變換

1.1線性空間的概念

1.2基變換與坐標(biāo)變換

1.3子空間與維數(shù)定理

1.4線性空間的同構(gòu)

1.5線性變換的概念

1.6線性變換的矩降表示

1.7不變子空間

第二章內(nèi)積空間

2.1內(nèi)積空間的概念

2.2正交基及子空間的正交關(guān)系

2.3內(nèi)積空間的同構(gòu)

2.4正交變換

2.5子空間的距離與最小二乘法

2.6復(fù)內(nèi)積空間

2.7正規(guī)矩陣

2.8二次型

第三章矩陣的標(biāo)準(zhǔn)形與若干分解形式

3.1矩陣的相似對(duì)角形

3.2矩陣的約當(dāng)標(biāo)準(zhǔn)形

3.3哈密頓-開萊定理及矩陣的最小多項(xiàng)式

3.4多項(xiàng)式矩陣與史密斯標(biāo)準(zhǔn)形

3.5多項(xiàng)式矩陣的互質(zhì)性與既約性

3.6有理分式矩陣的標(biāo)準(zhǔn)形及其仿分式分解

3.7系統(tǒng)的傳遞函數(shù)矩陣

3.8舒爾定理及矩隴的分解

3.9矩陣的奇異值分解

第四章矩陣函數(shù)及其應(yīng)用

4.1向量范數(shù)

4.2矩陣范數(shù)

4.3向量和矩陣的極限

4.4矩陣暴級(jí)數(shù)

4.5矩陣函數(shù)

4.6矩陣的微分與積分

4.7常用矩陣函數(shù)的性質(zhì)

4.8矩陣函數(shù)在微分方程組中的應(yīng)用

4.9線性系統(tǒng)的能控性與能觀預(yù)測性

第五章特征值的估計(jì)與廣義逆矩陣

5.1特征值的界的估計(jì)

5.2圓盤定理

5.3譜半徑的估計(jì)

5.4廣義逆矩陣與線性方程組的解

5.5廣義逆矩陣A+

第六章勒貝格積分簡介

6.1集合及其基數(shù)

6.2測度理論

6.3可測函數(shù)

6.4勒貝格積分

第二部分隨機(jī)過程

第一章概率論補(bǔ)充知識(shí)

1.1概率空間

1.2隨機(jī)變量

1.3特征函數(shù)

1.4多元正態(tài)分布

1.5隨機(jī)變量序列的收斂性

1.6隨機(jī)變量函數(shù)的分布

1.7條件數(shù)學(xué)期望

第二章隨機(jī)過程的基本概念

2.1隨機(jī)過程的定義

2.2隨機(jī)過程的分布及其數(shù)字特征

2.3復(fù)隨機(jī)過程

2.4幾種重要的隨機(jī)過程類型

2.5Wiener過程

2.6Possion過程

第三章二階矩過程的均方微積分

3.1隨機(jī)變量序列的均方極限

3.2隨機(jī)過程的均方連續(xù)

3.3隨機(jī)過程的均方導(dǎo)數(shù)

3.4隨機(jī)過程的均方積分

3.5均方隨機(jī)微分過程

3.6正態(tài)過程的均方微積分

第四章平穩(wěn)過程

4.1平穩(wěn)過程的定義

4.2平穩(wěn)過程相關(guān)函數(shù)的性質(zhì)

4.3平穩(wěn)過程的功率譜密度

4.4線性過程中的平衡過程

4.5平穩(wěn)過程的譜分解

4.6平穩(wěn)過程的各態(tài)歷經(jīng)性

第五章馬爾可夫過程

5.1馬爾可夫過程的定義

5.2馬氏鏈的轉(zhuǎn)移概率

5.3馬氏鏈的狀態(tài)分類

5.4轉(zhuǎn)移概率的極限與平穩(wěn)分布

5.5連續(xù)時(shí)間馬氏過程的轉(zhuǎn)移概率

5.6馬氏過程的遍歷性和平穩(wěn)分布

5.7應(yīng)用舉例

第六章更新過程與馬爾可夫更新過程

6.1更新過程的定義

6.2更新方程與極限定理

6.3剩余壽命與現(xiàn)時(shí)壽命

6.4延遲與終止過程

6.5馬爾可夫更新過程的定義

6.6狀態(tài)分類與極限概率

6.7馬爾可夫更新方程

6.8再生過程與報(bào)酬過程

6.9廣義半馬氏過程簡介

第七章非平穩(wěn)隨機(jī)過程

7.1隨機(jī)過程的高階統(tǒng)計(jì)量的定義和性質(zhì)

7.2非平穩(wěn)過程的Higner-Ville時(shí)頻譜分析

7.3循環(huán)平穩(wěn)過程

7.4二階循環(huán)平穩(wěn)過程的循環(huán)相關(guān)函數(shù)與循環(huán)譜

7.5高階循環(huán)平穩(wěn)過程的循環(huán)累積量與循環(huán)譜

（三）主要參考資料

《矩陣分析引論》，羅家洪，華南理工大學(xué)出版社1992年版。

《隨機(jī)過程》，毛用才、胡奇英，西安電子科技大學(xué)出版社1998年版。

《高等代數(shù)》，北京大學(xué)數(shù)學(xué)系編，人民教育出版社1978年版。

《線性代數(shù)》，蔣爾雄等，人民教育出版社1979年版。

《隨機(jī)信號(hào)分析》朱華等，北京理工大學(xué)出版社1990年版。

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

York:McGraw-Hill,1984

《實(shí)變函數(shù)論》，江澤堅(jiān)、吳智泉，人民教育出版社1961年版。

（四）任課教師：遲洪欽、周素琴

（五）總時(shí)數(shù)：72學(xué)時(shí)

（六）考核方式：開卷或閉卷

?培養(yǎng)計(jì)劃表

院（系、數(shù)學(xué)科學(xué)學(xué)院學(xué)科、

計(jì)算機(jī)軟件與理論

所）理工信息學(xué)院專業(yè)

研究1.不確定程序理論及應(yīng)用2.虛擬現(xiàn)實(shí)3.信息系統(tǒng)與數(shù)據(jù)庫

方向4.軟件可靠性理論與方法5.遺傳算法

學(xué)周總各學(xué)期教學(xué)周時(shí)數(shù)

課程課程任課考核

學(xué)學(xué)

類別名稱一二三四五六教師方式

分時(shí)時(shí)

必學(xué)

第一外國語6621666考試

位政自然辯證法

23543考試

治（理）/哲學(xué)（文）

公理科學(xué)科會(huì)主

論義的理論與23543考試

修共課實(shí)踐

計(jì)算機(jī)應(yīng)用（文）23543考試

課

學(xué)

數(shù)理邏輯基礎(chǔ)44804陳儀香考試

位

基形式語言與自動(dòng)

44804陳儀香考試

課礎(chǔ)機(jī)

課

程序設(shè)計(jì)方法學(xué)44804高建華考試

高級(jí)算法設(shè)計(jì)與