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

第一章 数据库概述 第二章 关系数据库 第三章 关系数据库标准语言SQL 第四章 关系数据库设计 第五章 数据库应用系统的设计与实现

随机数在概率算法设计中扮演着十分重要的角色。在现实计算机 上无法产生真正的随机数，因此在概率算法中使用的随机数都是 一定程度上随机的，即伪随机数

一、施工测量的目的和内容 是把设计的建筑物、构筑物的平面位置和高程，按设计 要求以一定的精度测没在地面上，作为施工的依据。并在 施工过程中进行一系列的测量工作，以衔接和指导各工序 间的施工

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

施工测量是指把图纸上设计好的建（构） 筑物位置（包括平面和高程位置）在实地 标定出来的工作，即按设计的要求将建 （构）筑物各轴线的交点、道路中线、桥 墩等点位标定在相应的地面上

第6章练习5(自顶向下的设计方法) 1.建立项目文件夹

• 实时任务约束模型 – 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 • 热点应用示例 – 汽车电子