§3-1 凸轮机构的应用和类型 §3-2 从动件的常用运动规律 §3-3 凸轮机构的压力角 §3-4 图解法设计凸轮轮廓 §3-5 解析法设计凸轮轮廓

第6章组合逻辑电路设计实例 一、桶式移位器 二、简单浮点编码器 三、双优先级编码器 四、级联比较器 五、关模比较器

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

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

5.1 概述 5.2 极点配置 5.3 线性二次型最优控制 5.4 解耦控制 5.5 状态观测器设计 5.6 包含状态观测器的状态

3.1概述 3.2组合逻辑电路分析基础 3.3组合逻辑电路设计基础 3.4几种常用的组合逻辑组件 3.5利用中规模组件设计组合

•二进制、二进制与十进制的相互转换 •逻辑代数的公式与定理、逻辑函数化简 •逻辑门电路的逻辑符号及逻辑功能 •组合电路的分析方法和设计方法 •典型组合逻辑电路的功能 10.1数字电路概述 10.2逻辑门申路 10.3逻辑函数及其化简 10.4组合逻辑电路的分析与设计 10.5组合逻辑部件

第八章安全性设计大纲 一、安全与防护 二、防止触及危险区的距离与防挤压间距 三、安全标志与警示

• 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 • 属性分析 – 正确性、性能、可靠性？