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

• 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、采用双级压缩循环时,应优先选用单机双级压缩机。 (二)台数 1、压缩机配备台数应尽量少,但不宜少于两台; 2、压缩机总制冷量以满足生产要求为准,不考虑备用机; 3、避免“大马拉小车

第二章计算机指令集结构设计 2.1名词解释 1.堆栈型机器一—CPU中存储操作数的单元是堆栈的机器 2.累加型机器——CPU中存储操作数的单元是累加器的机器。 3.通用寄存器型机器一CPU中存储操作数的单元是通用寄存器的机器 4.CISC—一复杂指令集计算机 5.RISC—一精简指令集计算机

• 实时任务约束模型 – Assumptions about task timing, interaction • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness: deadline，worst response time，。。。 • efficiency: average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T • Timing Analysis(WCET分析)

• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向：CPS • 热点应用示例 – 汽车电子

一、剖面设计的任务 1分析建筑物的各部分高度和剖面形式 2分析建筑层数的确定 3分析建筑空间的组合和利用 4分析建筑剖面中结构和构造关系 二、建筑剖面图 应包括剖切面和投影方向可见的建筑构造、构 配件以及必要的尺寸、标高等。 平面图上的剖切符号的剖视方向宜向左、向上

第9章设计实例--网上论坛 9.1系统概述 9.2用户登录、注册、个人资料功能模块 9.3栏目信息功能模块 9.4帖子管理功能模块 9.5回复管理功能模块 9.6论坛搜索功能模块 9.7论坛管理功能模块 9.8退出系统功能模块

第13章 轮及其与轴的联接 一、轴与轮毂的联接设计要确定联接的形式、表面形状、尺寸等参数; 二、各种键联接通常用来实现轴与轮毂之间的周向固定以传递转矩,有的也能实现轴向固定和滑动