系统分析与集成
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
专业名称：系统分析与集成
课程编号：B0112010711003 课程名称：非线性控制系统理论与应用
课程英文名称：Nonlinear Control-System Theory and Application
学分: 3 周学时总学时：54
课程性质：博士学位专业课适用专业：系统理论、系统分析与集成
教学内容及基本要求:
教学内容：
1. 反馈系统分析（包括绝对稳定性，小增益定理，描写函数方法）
2. 反馈线性化（包括输入-状态线性化，输入-输出线性化，状态反馈控制）、
3. 微分几何方法（包括微分几何工具，输入-输出线性化，输入-状态线性化
4. Lyapunov设计方法
5. Backstepping方法
6. 滑模控制
7. 自适应控制。
基本要求：要求掌握解决问题的思想方法和技巧。
考核方式及要求：笔试。
学习本课程的前期课程要求：线性系统
教材及主要参考书目、文献与资料：
1. Hassan K. Khalil：《Nonlinear System (Second edition)》。
填写人：陈树中教授审核人：顾国庆教授
课程编号：B0112010711004 课程名称：分布计算与分布式系统
课程英文名称：Systems and Architecture of Distributed Databases
学分: 3 周学时总学时：54
课程性质：博士学位专业课
适用专业：系统理论、系统分析与集成
教学内容及基本要求:
教学内容：本课程主要讨论分布式数据库系统的原理，技术和系统结构。在第一部分，介绍DBMS的主要成分。第二部分介绍经典的分布数据库系统理论和系统。第三部分主要讨论Internet/Intranet时代的分布数据库理论和系统。
基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。
考核方式及要求：考试。
学习本课程的前期课程要求：数据库系统基础，计算机网络基础
教材及主要参考书目、文献与资料：
1.周龙骧等：《分布式数据库管理系统实现技术》，科学出版社，1998。
2.Ceri, S.，Pelagatti, G.：《Distributed Database-Principles and
Systems》, McGraw-Hill Book Company, 1984。
3.Bernstein, P.A. et al ：《Concurrency Control and Recovery in Database
Systems》, Addison-Wesley, 1987。
4.M. Tamer Ozsu, Patrick Valduriez：《Principles of Distributed Database
Systems》, 清华大学出版社。
填写人：顾君忠教授审核人：杨宗源教授
课程编号：B0112010711007课程名称：规划理论与方法
课程英文名称：Programming Theory and Its Methods
学分: 3 周学时总学时：54
课程性质：博士学位专业课
适用专业：系统理论、系统分析与集成
教学内容及基本要求:
教学内容：线性规划、整数规划、非线性规划、网络分析和优化、排队论基
础、存储论和决策论基础。
考核方式及要求：开卷笔试。
学习本课程的前期课程要求：高等数学，线性代数。
教材及主要参考书目、文献与资料：
1.顾基发等：《运筹学》，清华大学出版社。
2.刘家壮、王建方：《网络最优化》，华中工学院出版社。
3.Donald Gross, Carl M. Harris：《Fundamentals of Queueing Theory》。
4.朱自强、王龙德：《运筹学基础教程》，成都科技大学出版社。
5.Distributed Database System, 清华出版社；《分布数据库技术》，科学出版社；
6.《分布数据库理论及应用》，国防工业出版社。
填写人：顾国庆教授审核人：杨宗源教授
课程编号：B0112010711021 课程名称：协同技术
课程英文名称：Computer Supported Cooperative Work
学分: 3 周学时总学时：54
课程性质：博士学位专业课
适用专业：系统理论、系统分析与集成
教学内容及基本要求:
教学内容：本课程讨论计算机支持的协同工作（CSCW），从CSCW的基本原理，支持技术（分布计算技术、工作流技术、多媒体会议系统、数据库支持技术等）、和应用（如协同写作、协同决策支持、e-Learning，e-Commerce，e-Government）等方面介绍计算机支持的协同工作。
基本要求：学生在理解讲课内容的基础上，阅读大量相关论文，从而对基本知识有深入理解和对前沿技术有全面的了解。
考核方式及要求：考试。
学习本课程的前期课程要求：无。
教材及主要参考书目、文献与资料：
1.顾君忠：《计算机支持的协同工作导论》，清华大学出版社
2.史美林：《计算机支持的协同工作》，电子工业出版社
填写人：顾君忠教授审核人：杨宗源教授
课程编号：B0112010711023 课程名称：形式语义学理论
课程英文名称：Formal Semantics
学分: 2 周学时总学时：36
课程性质：博士学位选修课适用专业：系统理论、系统分析与集成
教学内容及基本要求:
教学内容：
1.操作语义；