Computer Applied Technology
(081203)
● 培养方案
(一)培养目标和要求
本方案培养计算机应用技术领域的各类开发、研究、应用人才。
毕业生适应的工作有:高等院校计算机科学与技术的教师和研究人员;中小型控制系统的设计实施;复杂、大型控制系统的应用,企业级MIS/ERP建设;基于Internet/Intranet的多媒体应用程序开发;数字通讯领域各类应用;大中型企业及涉外企业IT部门工作人员。
本专业要求学生在思想道德方面做到:
1、具有坚定的政治方向,热爱社会主义祖国,拥护中国共产党的领导和社会主义制度,努力学习马克思主义、毛泽东思想和邓小平理论;具有探索创新精神,锐意进取,能踏实工作;具有奉献精神,能全心全意为人民服务,为社会主义现代化事业服务。
2、专业培养方面要求获得如下知识与能力:
(1) 掌握本学科的基础理论和相关学科的基础知识,有较强的自学能力,及时跟踪学科发展动态。
(2) 项目组织综合能力和团队工作精神,一定的公关能力及和谐的人际关系。
(3) 强烈的责任心和敬业精神。
(4) 广泛获取各类相关知识,对技术发展具有敏感性。
(5) 有扎实的英语基础知识,能流利阅读专业文献,有较好的听说写译综合技能。
(二)研究方向
1、 智能化仪表和自动控制系统 Intelligence Instrument & Control System
2、 多媒体与网络技术 Multi-Media and Network Technology
3、 软件可靠性设计 Software Reliability Design
4、 模糊技术与神经网络 Fuzzy Technology & Nerve Network
(三)学制
三年
(四)课程设置
1、必修课程:
(1)学位公共课:
科学社会主义理论与实践Theory and Practice of Scientific Socialism
自然辩证法 Dialectics of Nature
第一外国语 First Foreign Language
(2)学位基础课:
高等工程数学 Advanced Engineering Mathematics
计算机系统结构 Advanced Computer Architecture
高级软件结构Advanced Software Engineering
高级算法设计与分析Advanced Arithmetic Design & Analysis
数据库技术 Database Technology
(3)学位专业课:
智能化仪表及控制系统方向:
1、计算机控制系统 Computer Control System
2、智能化仪器仪表设计 Design of Intelligent Instrument
多媒体与网络技术方向:
1、多媒体技术 Multi-Medium Technology
2、计算机网络 Computer Networks
软件可靠性设计方向:
1、程序设计方法学 Programming Methodology
2、数据库技术 Database Technology
模糊技术与神经网络方向:
1、计算机控制系统Computer Control System
2、模糊技术与神经网络Fuzzy Technology & Nerve Network
2、选修课程:
(1)指定选修课
专业外语 Specialized Foreign Language
专题讲座 Lectures on Special Topics
(2)任选课
人工智能专家系统Artificial Intelligence and Expert System
数字图象处理 Digital Image Processing
网络与多媒体开发 Development of Network and Multi-Medium
高级算法设计与分析 Advanced Arithmetic Design & Analysis
现代信号处理Advanced Signal Processing
宽代信号处理与ATM网 Wideband Service networks & ATM
Networks
软件可靠性与安全性 Reliability and Safety of Computer
高级软件工程 Advanced Software Engineering
数据库技术 Database Technology
计算机控制系统 Computer Control System
智能化仪器仪表的设计 Design of Intelligent Instruments and
Devices
多媒体技术 Multi-Medium Technology
计算机网络 Computer Networks
程序设计方法学 Programming Methodilogy
模糊技术与神经网络Fuzzy Technology & Nerve Network
第二外语(日语)Japanese
汇编语言程序设计 Assembling Language Programming
编译原理 Compilation Principle
数据库原理 Database Princple
4、专业实践
(五)教学和培养方式
学位基础课以课堂教学为主,可以采用讨论式和报告式开展教学。
学位专业课除了采用课堂教学方式外,还可以用参加课题、共同研究等方式进行教学。专业课可以请校外专家教授任教或承担部分教学内容的授课,也可以到兄弟院校听课。
选修课参照学位基础课和学位专业课的方式进行教学。学位基础课和学位专业课的教学应有课外阅读和作业布置及考核。
为了拓宽学生的视野,促进学生主动关心和了解学科的进展,要求学生在学期间听取三次以上的学术讲座并写出讲座笔记或心得。
本专业这定期地开展学术讨论会,要求学生参加三次以上的学术讨论会,并且在讨论会上作一次以上的学术报告,写出报告提纲和报告内容。
(六)成绩考核
1、课程考核
可采用开卷、闭卷、撰写专题论文的方式进行;成绩可以百分制计,也可以分优(90分-100分)、良(80分-89分)、中(70分-79分)、及格(60分-69分)、不及格五等;必修课及格标准为“中”,选修课及格标准为“及格”;学位课程三分之二以上达到优良者,方可参加学位论文答辩。
2、作品集考核
研究生必须制作一个反映本人学习与研究中最高水平成果的作品集,于最后一个学期学位论文答辩前呈交导师组,接受考核。作品集应包括如下内容:
(1)研究生期间学业情况
(2)毕业后职业目标的概述
(3)个人专业简历(及证明人)
(4)发表的论文等
(5)设计制作的软件,或参与开发的项目文件
3、科研成果考核
研究生在学习期间必须至少在国内外专业刊物或学术会议上发表5000字左右论文一篇,或有一项校级以上的课题通过鉴定,或完成导师课题中的某一项子课题,否则不能授予学位。
(七)学位论文撰写
1、学生应在导师指导下,选择本学科理论或应用研究的课题,独立完成硕士学位论文。论文的选题和内容应具有一定的理论价值或应用价值,有一定的创意和前沿性。本专业鼓励学生选择有重要应用价值的课题。
2、学生应在第四学期完成论文选题的文献研究,并通过文献综述与开题报告确定论文选题,经导师同意后填写硕士学位论文工作计划,报院系批准。
3、开题报告获得通过,论文工作计划得到批准;课程学习结束,学位课程优良成绩占三分之二以上,教育实习获得通过者,方可进入论文的写作阶段。
4、论文的正文一般不少于三万字,外文摘要2000字符,中文摘要800字。
5、论文的封面、中外文提要、正文、附录和参考文献的编排,都必须符合国际通行的学术论文规范,所有的注码必须注明:①国别(或时代)、②作者(或译者)、③书刊名称、④卷次(章节)、⑤页码、⑥出版社、⑦出版时地。
6、论文行距应比较宽松,用4号字或小四号字。
(八)论文答辩与学位授予
1、论文答辩
(1)学位论文由作者本人提交答辩委员会,由答辩秘书分送答辩委员。
(2)硕士学位论文答辩前须聘请2位(或以上)具有副教授(或以上)职称的专家评阅。
(3)答辩委员会由4-5名与选题有关的教授(或研究员)、副教授(或副研究员)组成。答辩委员会推举一名答辩主席,答辩人的导师和副导师不能担任答辩主席。答辩后由答辩委员会投票表决,答辩主席在答辩决议书上签字。
2、学位授予
论文在获三分之二(或以上)答辩委员通过后,答辩委员会可建议授予答辩人所申请的学位。
● 教学大纲
☆ 高等工程数学
(一)教学目的和要求
通过本课程的学习使研究生掌握矩阵分析和随机过程的基本理论及其应用。要求掌握矩分解的基本理论和方法,熟悉线性变换的矩阵表示,了解矩阵函数的性质和应用;掌握随机过程的基本概念,熟悉几种重要的随机过程及其应用,了解各态历经性与谱分解。
(二)基本教学内容
第一部分 矩阵分析
第一章 线性空间与线性变换
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.5 Wiener过程
2.6 Possion过程
第三章 二阶矩过程的均方微积分
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 高阶循环平稳过程的循环累积量与循环谱
(三)主要参考资料
《
随机过程》,毛用才、胡奇英,西安电子科技大学出版社1998年版。
《
高等代数》,北京大学数学系编,人民教育出版社1978年版。
《
线性代数》,蒋尔雄等,人民教育出版社1979年版。
Papoulis A. Prlbability, Random Variables,and Stochastic Processes, 2nd ed, New York: McGraw-Hill, 1984
《
实变函数论》,江泽坚、吴智泉,人民教育出版社1961年版。
(四)任课教师:迟洪钦、周素琴
(五)总时数:72学时
(六)考核方式:开卷或闭卷
☆ 计算机系统结构
(一)教学目的和要求
本课程要求学生掌握计算机系统结构的基本概念、基本原理、基本结构和基本分析方法。重点是计算机系统结构的分类:流水线结构;RISC和CISC;多机系统的内联网络;多处理系统;多计算机系统;并行处理、并行计算的算法;非Von Neumann计算结构等方面。课程在包含基本原理、基本理论的同时,也包含了计算机系统结构的最新发展情况。为研究生进一步研究计算机系统结构打下理论基础。
(二)基本教学内容
第一章 计算机系统结构分类
1、计算机发展的历史和现状
2、计算机系统结构分类学
3、性能参数
第二章 Von Neumann计算机结构
1、控制部件
2、指令集设计
3、算术逻辑部件
4、存储系统设计——交叉存储、关联存储、Cache存储、虚拟存储
5、中断管理
第三章 流水线
1、问题的提出
2、指令流水线
3、算术流水线
4、流水线控制——静态控制和动态控制
5、流水线的发展
第四章 RISC和CISC
1、基本概念
2、RISC和SISC的比较
3、实例
第五章 内连网络
1、网络的拓扑结构
2、静态结构
3、动态结构
4、内连网络设计要素
第六章 多处理和多计算机系统
1、多处理系统
2、多计算机系统
3、它们的比较
4、多处理机多计算机系统
第七章 并行程序设计和并行算法
1、并行程序设计模型
多处理机上的并行程序设计
多计算机上的并行程序设计
2、并行计算和并行算法结构
3、数据并行性算法
4、实例
5、DNS-域名系统
第八章 数据流和脉动阵列计算机结构
1、概论
2、数据流计算机结构
3、脉动阵列计算机结构
第九章 计算机系统结构的未来
1、神经网络计算机
2、多值逻辑
3、模糊逻辑
(三)主要参考资料
《
计算机系统结构》,李学干、苏东庄,西安电子科技大学出版社1995年版。
(四)任课教师:张世正
(五)总时数:72学时
(六)考核方式:课堂定时开卷考试
☆ 数据库技术
(一)教学目的和要求
本课程在一般数据库理论的基础上重点阐述关系型数据库的原理及其设计实现方法;介绍以面向对象数据库为代表的新型数据库发展动态。要求学生通过本课程的学习,能够具备关系型数据库的应用设计开发能力;能够建立Client/Server结构的应用系统;了解以面向对象为代表的新型数据库系统的趋势,为以后从事专题研究打下基础。
(二)基本教学内容
第一部分 数据库理论
1、数据库原理概述
数据库技术与数据管理
数据模型
数据库系统结构
数据的物理组织
2、关系数据库
关系数据库的基本概念
E-R模型
SQL语言
完整性约束
事务处理
查询优化及数据库安全性
数据库设计
几种关系型数据库比较
3、面向对象数据库
面向对象的系统原理
面向对象的系统建模
类和继承
基于对象的并行操作、恢复和分布
面向对象的数据库实现
4、新型数据库系统
分布式数据库系统
并行数据库设计
嵌入式实时数据库
数据仓库技术
第二部分 数据库技术应用
5、Client/Server技术
概述
客户机/服务器计划
数据库服务器
数据库服务器应用举例
增强型C/S处理
6、一个ERP系统的分析
第三部分 课程设计
(三)主要参考资料
(四)任课教师:吴海涛
(五)总时数:72学时
(六)考核方式:课程考试与论文或课程设计考核相结合
☆ 人工智能与专家系统
(一)教学目的和要求
人工智能是计算机领域中的一个热门学科。智能计算机是世界各国科学家正积极从事的研究项目,尽管近年来取得了可喜的进展,但使计算机具有人类的智能仍是一个遥远的目标。
开设本课程的目的是使学生对人工智能的原理,应用和当前的现状有一个一般的了解,提起学生对人工智能的兴趣,并能将人工智能的原理和方法应用于其他研究领域。
由于人工智能涉及面广,且和计算机科学以外的其他多种学科交叉,要求学生全面地、深入地了解人工智能显然是不合理的。但作为计算机专业的研究生应该对人工智能有一个一般的了解。对于人工智能的基础:知识的表示和机器学习有较多的认识。此外,学生应掌握至少一种用于人工智能开发的语言工具,如LISP或PROLOG。
(二)基本教学内容
第一章 绪论
介绍人工智能的发展史和现状
第二章 知识表示方法
人类知识在计算机中的表示方法,知识库的构成
第三章 一般搜索原理
求解问题过程中的搜索策略,从盲目搜索到启发式搜索
第四章 高级求解技术
规则演绎,不确定性推理和非单调推理
第五章 专家系统
介绍几种基于产生式的专家系统和新一代专家系统
第六章 机器学习
机器学习的概念和策略,特别介绍了基于神经网络的机器学习
第七章 机器人规划
即自动规划系统,使用计算机的智能以求解现实世界问题
第八章 机器视觉
图象理解,图形识别,三维视觉系统
第九章 自然语言理解
自然语言的理解和自动生成,机器翻译
第十章 智能控制
智能控制的理论与特点,几种控制方式,包括模糊控制和神经控制
第十一章 人工智能程序设计
介绍LISP语言PROLOG语言和关系数据库,以及人工智能专用开发工具
第十二章 人工智能的争论与展望
不同观点间的争论,人工智能对人类的影响,以及人工智能的前景
(三)主要参考资料
“The handbook of Artificial Intelligence”by Avron Barr and others, Published by Addison-Wesley publishing Company,1989
“Directory of Artificial Intelligence” by Dennis Mercadal, published by Van Nostrand Renihold, 1990
《
LISP程序设计》,P. H. Winston, 黄昌宁译,清华大学出版社1988年版。
(四)任课教师:张辅群
(五)总时数:80学时
(六)考核方式:建议采用论文形式,题目可以自选。可以介绍国内外人工智能的发展动态,或对具体争论的理论提出自己的看法,也可以编制一个涉及人工智能的程序。
☆ 计算机控制系统
(一)教学目的和要求
本硕士点的一个研究方向是自动控制系统有智能化仪表。本课程设置的目的,是通过本课程的教学,让研究生能掌握计算机控制系统方面的理论知识,了解控制系统的组成、发展与应用。同时通过实践,掌握计算机控制系统的分析和设计技能,为今后从事自动控制系统研制、生产和应用打下坚实的基础。因此要求研究生学习本课程时,不仅要学理论,还要通过阅读论文、实验、参与系统应用等实践,写出课程设计、工作总结、论文等。
(二)基本教学内容
第一章 绪论
1.1 计算机控制系统概述
1.2 计算机控制系统分类
1.3 计算机控制系统的发展概况
1.4 计算机控制系统的特点
第二章 计算机控制理论基础
2.1 信号采样系统
2.2 信号保持原则
2.3 Z变换理论
2.4 S平面到Z平面的变换
2.5 计算机控制系统的数学描述方法
第三章 计算机控制系统的分析
3.1 计算机控制系统的稳定性
3.2 计算机控制系统的动态过程
3.3 计算机控制系统的稳态误差
3.4 计算机控制系统的跟轨迹分析法
3.5 计算机控制系统的频率特性分析
3.6 计算机控制系统的状态空间分析
第四章 计算机控制系统的设计
4.1 数字PID控制设计及参数整定
4.2 最小拍无差控制系统设计
4.3 Dahlin算法
第五章 过程控制系统
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 神经网络
(三)主要参考资料
(四)任课教师:张功镀、董建萍
(五)总时数:72学时(周学时4)
(六)考核方式:笔试;课程实践及设计成绩;论文或学习总结
☆ 智能化仪表原理与设计
(一)教学目的和要求
从大型计算机的诞生日起就与自动化仪表紧密联系在一起,引起了自动化仪表的巨大变革,日趋智能化、系统化、小型化和多功能化。通过本课程的教学,学生了解和掌握将微型计算机应用于智能仪表的工作原理和设计方法,并了解当前自动化仪表设计中有关通信与网络应用的新发展。
(二)基本教学内容
第一章 智能化仪表设计概述
第二章 主机电路——仪表硬件电路设计之一(增加多处理结构)
第三章 过程输入输出通道——仪表硬件电路设计之二
第四章 人-机接口电路——仪表硬件电路设计之三
第五章 通信接口电路——仪表硬件电路设计之四(增加工控现场总线介绍与分析)
第六章 智能化仪表硬件电路的抗干扰
第七章 监控程序——仪表功能的软件实现之一
第八章 测量算法——仪表功能的软件实现之二
第九章 控制算法——仪表功能的软件实现之三(增加软件组态和应用)
第十章 智能仪表设计实例
课程实践内容:分工、合作做一个智能化仪表的总体设计、功能设计与软件设计。
(三)主要参考资料
《
当代测试技术》,钱难能主编,华东华工学院出版社1987年版。
《
过程控制仪表》,曹润生、黄祯地、周泽魁编著,浙江大学出版社1987年版。
(四)任课教师:倪长凤、邱松长
(五)总时数:72学时
(六)考核方式:笔试;课程实践及设计成绩;论文或学习总结文章
☆ 多媒体技术
(一)教学目的和要求
本课程要求研究生了解多媒体计算机技术和多媒体通信的发展历史和应用情况,学习多媒体技术研究的基本方法,强调数据流和多媒体数据传输的多媒体网络应用特点,掌握各种媒体的基本概念和处理技术,学习多媒体数据压缩的基本原理和算法思想,学习多媒体操作和网络通信系统中资源管理的基本原理,学习多媒体用户界面的设计要点和多媒体程序设计概念等。
本课程以理论学习为主,使研究生掌握较深的理论基础和较丰富的知识面。同时要求研究生利用课外时间尽可能地操作、使用各种多媒体应用软件,加深体会,为多媒体开发和应用打好基础,创造一个更高的起点。
(二)基本教学内容
第一章 引言
1、多媒体技术发展与分支情况
2、多媒体技术研究的总结构
第二章 多媒体的媒体和数据流
1、媒体的概念
2、多媒体系统的主要特性
3、多媒体技术
4、传统的数据流特性
5、连续媒体的数据流特性
6、信息单元
第三章 声音和音频
1、声音的基本概念
2、音乐
3、语音
第四章 图像和图形
1、图像和图形的基本概念
2、计算机图像处理
第五章 视频和动画
1、基本概念
2、视频和电视
3、计算机动画
第六章 数据压缩
1、存储空间和压缩编码的需要
2、源编码、熵编码和混合编码
3、若干基本压缩技术
4、JPEG
5、H.261(px64)
6、MPEG
7、DVI
第七章 光存储媒体
1、历史和基本技术
2、CD-DA数字音频光盘
3、CD-ROM只读光盘存储器
4、CD-ROM/XA扩展结构
5、CD-ROM的进一步发展
6、可写式光盘和磁光盘
第八章 计算机技术
1、通信结构
2、多媒体工作站
第九章 多媒体操作系统
1、多媒体实时操作系统
2、资源管理
3、过程管理
4、文件系统
5、系统结构
第十章 网络系统
1、层、协议和服务
2、网络
3、局域网
4、城市网
5、广域网
第十一章 多媒体通信系统
1、应用子系统
2、传输系统
3、服务质量和资源管理
第十二章 数据库系统
1、多媒体数据库管理系统
2、数据分析
3、数据结构
4、对数据的操作
5、数据库模型的集成
第十三章 文档、超文本和MHEG
1、文档
2、超文本和超媒体
3、SGML文档结构
4、ODA文档结构
5、MHEG
第十四章 用户界面
1、通用的设计要点
2、通过视频音频的扩展
3、用户界面中的视频
4、用户界面中的音频
5、用户友好性主要目标
第十五章 媒体同步
1、同步的概念
2、媒体展示的需求
3、多媒体同步的参考模型
4、同步规范
5、情形研究
第十六章 程序设计概念
1、系统软件
2、软件工具
3、高级编程语言
4、面向对象的设计方法
第十七章 多媒体应用
第十八章 多媒体发展方向
(三)主要参考资料
(四)任课教师:陈海强
(五)总时数:72学时
(六)考核方式:开卷和论文相结合
☆ 高级软件工程
(一)教学目的和要求
本课程要求学生在掌握传统软件工程理论的基础上,能够运用面向对象的系统分析与设计方法建立中小型应用系统,在整个软件开发过程对软件质量进行控制;了解CASE在软件开发中的应用,掌握至少一种CASE工具。
(二)基本教学内容
第一章 传统软件工程回顾
可行性设计
需求分析
系统设计
编码
系统测试
实现及维护
第二章 面向对象的系统分析与设计
对象分析及建模
设计方法学
面向对象的实现
应用举例
第三章 CASE工具与应用
计算机辅助软件工程工具
数据库在CASE中的应用
Design Patterns
Power Design
第四章 软件质量与质量保证
软件质量保证
软件工程标准化和软件文档
软件件行业国际标准介绍——ISO9000及CMM
第五章 课程设计
(三)主要参考资料
(四)任课教师:吴海涛
(五)总时数:54学时
(六)考核方式:课程设计或论文形式
☆ 程序设计方法学
(一)教学目的和要求
本课程的目的是要求学生掌握程序设计方法的概念、结构、描述方法、设计技术和设计工具,学习程序结构分析方法和程序正确性证明、设计策略等内容,介绍程序设计方法进几年来的发展概况。
(二)基本教学内容
第一章 程序与程序设计的概念
第二章 程序结构分析
第三章 程序的功效
第四章 程序设计工具
第五章 程序功能描述
第六章 程序的正确性证明
第七章 程序设计的基本策略
第八章 程序的设计技术
第九章 程序的形式推导
(三)主要参考资料
(四)任课教师:高建华
(五)总时数: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.1 JELINK1-MORANDA模型
5.2 几何递减模型
5.3 S-W模型
5.4 SHOOMAN模型
5.5 MUSA执行时间模型
5.6 G-O非齐次Poisson过程模型
5.7 Littlewood 贝叶斯排错模型
5.8 Nelson 模型
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.2 HALSTEAD 复杂性度量法
8.3 THAYER 复杂性度量
8.4 图论复杂性度量
8.5 软件的可靠性分配
第九章 软件的质量保证
9.1 软件的质量保证计划
9.2 软件质量保证(QA)机构
9.3 美国软件质量保证的若干做法和经验
9.4 日立公司软件质量评估(SQE)系统
(三)主要参考资料
G.J.Myers, Software Reliability:Principles and Practices ,John Wiley & Sons, New York, 1989
(四)任课教师:高建华
(五)总时数:54学时
(六)考核方式:开卷或论文形式
● 培养计划表
|
院(系、
所) |
理工信息学院 |
学 科、
专 业 |
计算机应用技术 |
|
研 究
方 向 |
1. 智能化仪表和自动控制系统 2. 多媒体与网络技术
3. 软件可靠性设计 4. 模糊技术与神经网络 |
|
课程类别 |
课 程
名 称 |
学
分 |
周学时 |
总
学
时 |
各学期教学周时数 |
任 课
教 师 |
考核方式 |
|
一 |
二 |
三 |
四 |
五 |
六 |
|
必
修
课
程 |
学
位
公
共
课 |
第一外国语 |
6 |
6 |
216 |
6 |
6 |
|
|
|
|
|
考试 |
|
政治理论课 |
自然辩证法(理)/哲学(文) |
2 |
3 |
54 |
3 |
|
|
|
|
|
|
考试 |
|
科学社会主义的理论与实践 |
2 |
3 |
54 |
|
3 |
|
|
|
|
|
考试 |
|
计算机应用(文) |
2 |
3 |
54 |
|
|
3 |
|
|
|
|
考试 |
|
学
位
基
础
课 |
高等工程数学 |
4 |
4 |
72 |
4 |
|
|
|
|
|
迟洪钦 |
考试 |
|
计算机系统结构 |
4 |
4 |
72 |
4 |
|
|
|
|
|
张世正 |
考试 |
|
高级软件工程 |
4 |
4 |
72 |
|
4 |
|
|
|
|
吴海涛 |
考试 |
|
高级算法设计与分析 |
4 |
4 |
72 |
|
4 |
|
|
|
|
胡金初 |
考试 |
|
学
位
专
业
课 |
计算机控制系统 |
4 |
|
|
|
4 |
|
|
|
|
张功镀 |
考试 |
|
智能仪器仪表设计 |
4 |
4 |
72 |
|
|
4 |
|
|
|
倪成凤 |
考试 |
|
多媒体技术 |
4 |
4 |
72 |
|
|
4 |
|
|
|
胡金初 |
考试 |
|
计算机网络 |
4 |
4 |
72 |
|
|
|
|
|
|
俞时权 |
考试 |
|
数据库技术 |
4 |
4 |
72 |
|
|
|
|
|
|
吴海涛 |
考试 |
|
程序设计方法学 |
4 |
4 |
72 |
|
|
|
|
|
|
高建华 |
考试 |
|
模糊技术与神经网络 |
4 |
4 |
72 |
|
|
|
|
|
|
项是伍 |
考试 |
|
专 业 外 语 |
2 |
2 |
36 |
|
|
2 |
|
|
|
|
考试 |
|
专题讲座(含讨论班) |
2 |
|
|
|
|
|
|
|
|
|
考查 |
|
选
修
课
程 |
人工智能与专家系统 |
3 |
3 |
54 |
|
|
3 |
|
|
|
张辅群 |
考查 |
|
数字智能与专家系统 |
3 |
3 |
54 |
|
|
3 |
|
|
|
张文龙 |
考查 |
|
网络与多媒体开发 |
3 |
3 |
54 |
|
|
|
3 |
|
|
陈海强 |
考查 |
|
高级算法设计与分析 |
3 |
3 |
54 |
|
|
|
3 |
|
|
胡金初 |
考查 |
|
现代信号处理 |
3 |
3 |
54 |
|
|
3 |
|
|
|
李 莉 |
考查 |
|
宽带业务网与ATM网 |
3 |
3 |
54 |
|
|
|
3 |
|
|
俞时权 |
考查 |
|
软件可靠性与安全性 |
3 |
3 |
54 |
|
|
|
3 |
|
|
高建华 |
考查 |
|
其他
培养
环节
名称 |
|
2 |
2 |
36 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
√ |
|
|
|
评审 |
|
论文写作与答辩 |
|
|
|
|
|
|
|
√ |
√ |
|
答辩 |
|
同等学力者补修课程 |
汇编语言程序设计 |
3 |
3 |
54 |
3 |
|
|
|
|
|
|
考试 |
|
编译原理 |
3 |
3 |
54 |
|
3 |
|
|
|
|
|
考试 |
|
数据库原理 |
3 |
3 |
54 |
|
|
3 |
|
|
|
|
考试 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://www.kaoyantj.com考研共济网