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

9－1 机械零件设计概论 9－2 机械零件的强度 9－3 机械零件的接触强度 9－4 机械零件的耐磨性 9－5 机械制造常用材料及其选择 9－6 公差与配合、表面粗糙度和优先数系 9－7 机械零件的工艺性及标准化

第一条根据《中华人民共和国环境保护法(试行)》及《建设项目环境保护管理办 法》等制定本规定 第二条环境保护设计必须遵循国家有关环境保护法律、法规,合理开发和充分利用各 种自然资源,严格控制环境污染,保护和改善生态环境

6－1 系统校正设计基础 6－2 串联校正 6－3 串联校正的理论设计方法 6－4 反馈校正 6－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 • 属性分析 – 正确性、性能、可靠性？

DC滤波电路中的L和交流电抗有所不同，在该L 中要通过很大的直流电流和一定的交变电流。处在直 流工作状态下的有芯电感受直流磁化的影响，极易发 生偏磁饱和，为保持电感的线性度，这类电感在制作 时磁路上要保留较大的气隙

5.1 4位加法计数器的VHDL描述 5.2不同工作方式的时序电路设计 5.3 数据对象DATA OBJECTS

• 实时任务约束模型 – 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分析)