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

2.1原理图设计的步骤 2.2绘制原理图前的必要准备 2.3放置元件 2.4绘制原理图 2.5绘制原理图的方法总结 2.6原理图文件的管理

6－1 系统校正设计基础 6－2 串联校正 6－3 串联校正的理论设计方法 6－4 反馈校正 6－5 复合校正

• 实时任务约束模型 – 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． 基准不重合误差 工件的定位基准与设计基准不重合时产生的加工误差称为基准不符误差，用 ΔB 表示。 基准不重合误差的大小等于定位基准与设计基准之间的尺寸公差。即： ΔB ＝δ L

第一节墙体的类型及设计要求 一、墙体类型 (一)按墙体的位置分类 内墙———位于建筑物内部的墙,分隔 外墙位于建筑物外部的墙,围护 纵墙——沿建筑物长轴方向布置的墙 横墙———垂直于建筑物长轴方向的墙 山墙横向外墙 檐墙纵向外墙

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

三维图形 三维设计展现了建筑模型在三维空 间中的真实形状,表达了设计思想,验 证了布局的合理性、建筑体量关系和建 筑空间的尺度感。 三维图形绘制主要分三部分:三维 模型的创建、三维模型的观察和三维模 型的效果表达