上海师范大学硕士点培养方案计算机软件与理论1Word格式文档下载.docx

上海师范大学硕士点培养方案计算机软件与理论1Word格式文档下载.docx

《上海师范大学硕士点培养方案计算机软件与理论1Word格式文档下载.docx》由会员分享，可在线阅读，更多相关《上海师范大学硕士点培养方案计算机软件与理论1Word格式文档下载.docx（56页珍藏版）》请在冰豆网上搜索。

系统集成技术，虚拟现实系统中包括大量的感知信息和模型，系统集成技术包括信息同步技术、模型标定技术、数据转换技术、识别和合成技术。

郭善良副教授。

（三）学制

三年（特殊情况下可以适当延长或缩短）

（四）课程设置与学分要求

1、必修课程：

（1）学位公共课程：

　　科学社会主义理论与实践TheoryandPracticeofScientificSocialism（2学分）

自然辩证法DialecticsofNature（2学分）

第一外国语FirstForeignLanguage（2学分）

（2）学位基础课：

（每门课程3学分）

　高等工程数学AdvancedEngineeringMathematics

　计算机系统结构ComputerArchitecture

　计算机网络ComputerNetwork

　程序设计方法学ProgrammingMethodology

（3）学位专业课：

（除专业外语外，每门课程3学分）

计算机算法ComputerAlgorithm

高级软件工程AdvancedSoftwareEngineering

数据库技术DatabaseTechnology

人工智能与专家系统ArtificialIntelligenceandExpertSystem

多媒体技术MuiltmediaTechnology

专业外语SpecializedForeignLanguage（2学分）

【注】专业外语为必选课程。

每个学生根据不同研究方向还需选择其他两门或两门以上的课程。

2、选修课程：

（1）公共选修课

英语口语（2学分）

计算机基础（2学分）

（2）专业选修课（每门课程2学分）

计算机图形学ComputerGraphics

遗传算法GeneticsAlgorithm

软件可靠性与安全性ReliabilityandSafetyofSoftware

计算机安全ComputerSecurity

数字图象处理DigitalImageProcessing

模式识别PatternRecogntion

数字信号处理DigitalSignalProcessing

计算机网络性能与仿真NetworkPerformanceAnalysisandSimulation

WebService原理WebServicePrinciple

【注】每个学生根据不同研究方向需选择两门或两门以上的课程。

（3）讨论班与论文选读（是否开课由导师决定）

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

离散数学DiscreteMathematics（3学分）

计算机网络ComputerNetwork（3学分）

数据结构DataStructure（3学分）

【注】学生可根据导师安排选修其他相关学科的课程，并按专业选修课计算学分。

（五）培养方式与考核方式

学位基础课和学位专业课以教师讲授为主，少数内容可以在教师指导下由学生轮流报告。

专业选修课采用教师讲授与学生报告相结合的方法，以学生报告为主，逐步减少教师的讲授内容。

从二年级开始，根据各研究方向，学生在导师指导下查阅和报告有关文献，开展专题讨论，在此基础上形成毕业论文题目，并围绕该题目进行研究，最后完成毕业论文，进一步提高学生科研能力和创新意识。

课程考核分考试与考查两种方式，可采用笔试/口试、闭卷/开卷、撰写论文、完成项目等形式进行。

必修课程原则上都要进行笔试。

研究生课程的成绩由平时成绩和期末考试成绩综合评定。

考试成绩采用百分制记录，也可以分优（90分-100分）、良（80分-89分）、中（70分-79分）、及格（60分-69分）、不及格五等；

考查成绩以合格、不合格记。

撰写论文，以优、良、中、及格、不及格五级计算成绩。

（六）学位论文撰写与答辩

1、研究生在撰写论文之前，必须经过认真的调查研究，阅读大量的文献资料，了解本人主攻方向的历史和现状，在此基础上酝酿学位论文选题。

2、第四学期末，在导师指导下确定选题，写出开题报告，并经教研室有关专家论证。

开题报告需包含：

论题；

论文的基本构思或大纲；

论题的学术意义和现实意义；

已阅读过的和准备阅读的资料；

疑点和难点等。

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

3、第四学期末至第六学期初，研究生根据选题撰写学位论文。

4、论文送审与答辩

（1）论文送审，硕士学位论文至少校内外各1位具有副教授及以上职称专家评阅：

如果参加盲检，论文还需各聘请1名校内与校外专家评阅；

否则，只需请1名校内专家评阅（由学位点安排）。

第六学期中期（3月中旬-4月初）经导师同意由研究生登陆指定网站查看自己是否参加盲审。

（2）盲审结束后无异议则进入答辩阶段（每年的5月下旬进行）。

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

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

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

5、学位授予

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

（七）教学大纲

☆高等工程数学

（一）教学目的和要求

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

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

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

（二）基本教学内容

第一部分矩阵分析

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

§

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.6Poisson过程

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

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非平稳过程的Wigner-Ville时频谱分析

7.3循环平稳过程

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

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

（三）主要参考资料

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

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

《工程随机过程》，彭秀艳，哈尔滨工程大学出版社，2000年。

《应用随机过程》，钱敏平，龚光鲁，北京大学出版社，1998年。

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

（四）任课教师：

迟洪钦

（五）总时数：

72学时

（六）考核方式：

考试

☆计算机系统结构

本课程要求学生掌握计算机系统结构的基本概念、基本原理、基本结构和基本分析方法。

重点是计算机系统结构的分类：

流水线结构；

RISC和CISC；

多机系统的内联网络；

多处理系统；

多计算机系统；

并行处理、并行计算的算法；

非VonNeumann计算结构等方面。

课程在包含基本原理、基本理论的同时，也包含了计算机系统结构的最新发展情况。

为研究生进一步研究计算机系统结构打下理论基础。

第一章计算机系统结构分类

1.1计算机发展的历史和现状

1.2计算机系统结构分类学

1.3性能参数

第二章VonNeumann计算机结构

2.1控制部件

2.2指令集设计

2.3算术逻辑部件

2.4存储系统设计——交叉存储、关联存储、Cache存储、虚拟存储

2.5中断管理

第三章流水线

3.1问题的提出

3.2指令流水线

3.3算术流水线

3.4流水线控制——静态控制和动态控制

3.5流水线的发展

第四章RISC和CISC

4.1基本概念

4.2RISC和SISC的比较

4.3实例

第五章内连网络

5.1网络的拓扑结构

5.2静态结构

5.3动态结构

5.4内连网络设计要素

第六章多处理和多计算机系统

6.1多处理系统

6.2多计算机系统

6.3它们的比较

6.4多处理机多计算机系统

第七章并行程序设计和并行算法

7.1并行程序设计模型

7.2多处理机上的并行程序设计

7.3多计算机上的并行程序设计

7.4并行计算和并行算法结构

7.5数据并行性算法

7.6实例

7.7DNS-域名系统

第八章数据流和脉动阵列计算机结构

8.1概论

8.2数据流计算机结构

8.3脉动阵列计算机结构

8.4计算机系统结构的未来

8.5神经网络计算机

8.6多值逻辑

8.7模糊逻辑

《ConputerArchitecture——SingleandParallelSystems》，MehdiR.Zargham，PrenticeHall，1996年。

《计算机系统结构》，李学干、苏东庄，西安电子科技大学出版社，1995年。

《计算机系统结构》，郑纬民等，清华大学出版社，1992年。

赵梗明

☆计算机网络

本课程是计算机应用技术研究生的必修课，它可以使学生能系统地掌握计算机网络的工作原理，体系结构、分层协议，网络互连，网络新技术基础知识。

学习本课程要求学生应具有计算机组织结构，操作系统和数据通信基础知识。

第一章引论

1.1网络的发展过程

1.2网络的分类

1.3若干术语与概念

1.4国内外网络的发展现状

第二章物理层

2.1基本概念

2.2信道极限客量

2.3传输媒体

2.4模拟传输和数字传输

第三章数据链路层

3.1基本概念

3.2停止等待协议

3.3连续ARQ协议

3.4面向比特的控制规程

3.5面向字节的控制规程

第四章信息共享技术

4.1概念

4.2多道接入技术--轮询

4.3随机接入技术：

ALOHA

4.4随机接入技术CSMA和CSMA/CD

第五章局域网

5.1概述

5.2局域网参考核型

5.3ISO802.3：

CSMA/CD4

5.4ISO802.4：

TokenBus

5.5ISO802.5：

TokenRing

5.6局域网的新发展

5.7局域网的控制

第六章网络层

6.1网络层的提供的服务

6.2路由选择

6.3流量控制

6.4X.25建议书

第七章网络互连

7.1概述

7.2OSI的网络层标组

7.3Internet的互连网协议IP

7.4几种常用的互连网选路协议

第八章运输层

8.1OSI运输层协议

8.2TCP/IP体系中的运输层：

TCPUDP

第九章高层协议

9.1会活层

9.2表示层

9.3应用层

9.4TCP/IP体系的应用层

第十章网络新技术和安全

10.1网络管理

10.2综合业务数字网ISDN

10.3宽带综合业务数字网B-ISDN

10.4城域网MAN

10.5数据加密

10.6网络环境下的威胁和安全措施

《ComputerNetworks》AndrewS.Tanendaum著，FourthEdition,PrenticeHallInternational,Inc.2005.清华大学出版社，2005年。

《计算机网络》，胡金初，高等教育出版社，2006年。

《ComputerNetworksandInternet》，DouglasE.Comer，PrenticeHall，2005年。

胡金初

☆程序设计方法学

本课程的目的是要求学生掌握程序设计方法的概念、结构、描述方法、设计技术和设计工具，学习程序结构分析方法和程序正确性证明、设计策略等内容，介绍程序设计方法进几年来的发展概况。

第一章程序设计方法学简介

1.1程序设计方法学的产生

1.2结构程序设计及其讨论的一些主要问题

第二章结构化程序

2.1什么是结构化程序

2.2结构化定理

2.3一些新的控制结构

第三章模块化程序设计

3.1MODULA-2语言中的模块化结构

3.2ADA语言中的程序包

第四章面向对象的程序设计方法

4.1什么是面向对象的程序设计

4.2应用框架

4.3设计模式

4.4浅谈面向对象设计语言

第五章程序正确性证明

5.2不变式断言法

5.3子目标断言法

5.4公理化方法

5.5良序集方法

5.6计数器方法

第六章结构化程序的正确性证明

6.1正确性定理

6.2证明程序正确性的代数方法

6.3产生循环不变式的一种方法

第七章递归程序及其正确性证明

7.1迭代与递归

7.2递归程序的一种模型

7.3递归程序的正确性证明

第八章程序的形式推导技术

8.1谓词变换器及其性质

8.2面向目标的程序推导

8.3循环不变式的推导技术

第九章程序变换技术

9.1程序变换的基本思想和基本规则

9.2程序生成阶段

9.3程序改进阶段（I）

9.4程序改进阶段（Ⅱ）

9.5程序改进阶段（Ⅲ）

9.6程序变换研究中的若干问题

第十章大型程序设计方法学基础

10.1抽象数据类型的代数规范

10.2抽象数据类型的形式化基础

10.3形式规范的应用

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

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

高建华

☆计算机算法

计算机算法是计算机科学的核心课程，设计一个好的程序必须要有合理的数据组织和高效的算法，在有限资源的环境下，如何设计出有效的算法，这正是计算机科学领域里算法设计所研究的内容。

本课程以算法设计和分析为重点，同时也适当地介绍计算机算法的表示和证明，为程序的设计和证明打下坚实的基础。

第一章BasicConceptsinAlgorithmicAnalysis

1.1Introduction

1.2HistoricalBackground

1.3BinarySearch

1.4MergingTwoSortedLists

1.5SelectinnSort

1.6InsertionSort

1.7Bottom-UpMergeSorting

1.8TimeComplexity

1.9SpaceComplexity

1.10OptimalAlgorithms

1.11HowtoBstimatetheRunningTimeofanAlgorithm

1.12Worstcaseandaveragecaseanalysis

1.13InputSiseandProblemInstance

第二章MathematicalPreliminaries

2.1Sots,ReationsandAnnctions

2.2ProofMehods

2.3Logarithms

2.4FloorandCeilingTunctions

2.5FactorialandBinomialCoefficients

2.6ThePigeonholePrinciple

2.7Summations

2.8RecurrenceRelations

第三章DataStructures

3.1Introdction

3.2LinkedLists

3.3Graphs

3.4Trees

3.5RootedTrees

3.6BinaryTrees

第四章HeapsandtheDisjointSetsDataStructure

4.1Introducti