• 多周期设计需求：CISC采用 – 时钟周期对性能的影响 – 复用功能部件，减少硬件开销 • 多周期实现 – 数据通路，控制器（状态机，微程序）

1 操作系统的组成、服务、特征 System components OS Services System Calls & Types system programs 操作系统的特征 2 操作系统的抽象模型和体系结构 进程模型 线程模型 OS structure Virtual Machine 系统设计与实现

1、使学生了解生产工艺与建筑平面设 计的关系； 2、掌握厂房平面形式及特点； 3、能够经济合理确定厂房的柱网尺寸

1、使学生掌握建筑构图的要点； 2、了解建筑的性格特征和外部形象的美观问题； 3、掌握建筑的细部设计和建筑的总体布局； 4、了解房屋的外部形象与内部空间处理的关系

1、熟悉建筑平面的组成及其相互之间的联系； 2、掌握建筑平面的功能分析和组合方式； 3、了解建筑平面组合和结构布置的关系； 4、熟悉国家建筑设计面积定额指标和建筑防 火设计规范； 5、熟悉建筑平面与剖面、立面的关系，能够 进行民用建筑的平面的初步设计

第10章分布式文件系统 一、分布式系统的关键部分:文件系统 1、文件服务和文件服务器 2、分布式文件系统设计 3、目录服务器 4、设计分布式文件系统的关键问题 5、系统结构 6、复制性 7、分布式文件系统发展趋势 8、分布式文件系统-示例:NFS体系结构

• Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

1.了解钢屋盖的种类、截面形式和应用; 2.掌屋屋盖支撑体系的作用和布置原则 3.握钢屋盖的设计和图的绘制

5.1 状态反馈与输出反馈 5.2 闭环系统的能控性与能观性 5.3 单输入／多输出系统的极点配置 5.4 状态反馈对系统零极点的影响 5.5 输出反馈实现极点配置 5.6 全维状态观测器及其设计