• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

§1—1 发动机设计的一般过程 §1—2 内燃机选型 §1—3 发动机主要参数选择 §1—4 发动机现代设计理论与方法 §1—5 发动机新技术的发展

硅晶体结构与微观力学 微尺度效应 MEMS设计的基本问题 MEMS设计的具体方法

8.1 液压系统的设计步骤 8.2 液压系统设计实例 8.3 液压系统的安装、使用和维护

§10-1 齿轮传动概述 §10-2 齿轮传动的失效形式及设计准则 §10-3 齿轮的材料及其选择原则 §10-4 齿轮传动的计算载荷 §10-5 标准直齿圆柱齿轮传动的强度计算 §10-6 齿轮传动设计参数、许用应力与精度选择 §10-7 标准斜齿圆柱齿轮传动的强度计算 §10-8 标准锥齿轮传动的强度计算 §10-9 齿轮的结构设计 §10-10 齿轮传动的润滑

§8-1 带传动概述 §8-2 带传动的工作情况分析 §8-3 Ｖ带传动的设计计算 §8-4 Ｖ带轮结构设计 §8-5 带传动的张紧装置 §8-6 带传动设计实例

概述 型材概念 型材分类 ·型材生产方法及设备 一生产方法 生产设备 ·型材生产工艺分析(轧制) 一生产工艺概念 一生产工艺流程 型钢轧机生产能力分析

建筑结构的荷载及设计方法 二、建筑结构的荷载 三、建筑结构的设计方法 一、建筑结构的分类 钢筋和混凝土的力学性能 一、钢筋和混凝土的共同工作 二、钢筋 三、混凝土 四、钢筋与混凝土的粘结 钢筋混凝土受弯构件 一、梁、板的构造 二、受弯构件正截面承载力计算 三、受弯构件斜截面承载力计算 四、受弯构件裂缝宽度和挠度的计算 钢筋混凝土受压、受扭构件 一、受压构件 二、受扭构件

7.1控制系统的工程设计方法 7.2控制系统可靠性技术 7.3控制系统的工程设计与实现 7.5控制系统集成式设计与实现范例 7.4控制系统经济式设计与实现范例