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

第一章编组站的作业、设备及分类 第二章编组站布置图 第三章编组站车场及线路设计 第四章编组站通过能力

第一部分 测量实验与实习须知 第二部分 测量实验项目 实验一 水平角测量的基本操作方法 实验二 水平角观测 实验三 竖直角的测量 实验四 DJ2 光学经纬仪的使用 实验五 光电测距仪的使用 实验六 水准测量 实验七 四等水准测量 实验八 全站仪的使用 实验九 建筑物的定位和高程测设 实验十 道路圆曲线的测设 实验十一 建筑基线定位 第三部分 测量教学实习

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式实时系统及设计方法概述（主讲：李曦）

– 空调水系统 – 空气处理设备与空调机房 – 送风和排风系统

• 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.操作条件的确定

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第一版）04 实时系统设计（软件设计、控制系统、EA、语言）

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