主要内容 6.1软件开发活动 6.2识别类和对象 6.3静态类成员 6.4类间关系 6.5接口 6.8方法重载 6.6枚举型类6.9测试 6.7方法设计 6.10GUI设计 6.11布局管理器 6.12边框 6.13容器层次结构

• 飞机设计要求的基本内容 • 飞机设计规范和适航性条例 • 飞机的总体技术指标 • 评价飞机设计方案准则

❖安全操作系统的设计原理 ❖安全操作系统的设计 ❖安全操作系统的开发 ❖安全操作系统关键技术的实现

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – 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

一、概述 机械产品设计除了应满足产品使用性能外, 还应满足制造工艺的要求,否则就有可能影响 产品生产效率和产品成本,严重时甚至无法生 产。一个结构工艺性低劣的产品,在激烈竞争 的市场经济环境中是站不住脚的。一个好的产 品设计师必须同时是一个好的工艺师

根据《冲压模具设计与制造》课程的基本要求为促进理论与实践相结合,加强学生 实践技能和能力的训练,本课程共开设有实验课、冷冲模设计与制造实训两类实践教学 节

◼ 数据库设计概述（了解） ◼ 数据库设计的全过程（领会） ◼ ER模型 （综合应用） ◼ ER模型到关系模型的转换（综合应用） ◼ ER模型实例分析 （理解） ◼ ER模型的扩充 （理解） ◼ 小结

例:图1所示冲裁件,材料为A3,厚度为2m,大批量生产。试制定工件冲压工 艺规程、设计其模具、编制模具零件的加工工艺规程

概而言之,面向对象的设计(OOD)就是运用面向对象 方法进行系统设计;但不同时期有不同内容及特点