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

• 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.握钢屋盖的设计和图的绘制

5.1 状态反馈与输出反馈 5.2 闭环系统的能控性与能观性 5.3 单输入／多输出系统的极点配置 5.4 状态反馈对系统零极点的影响 5.5 输出反馈实现极点配置 5.6 全维状态观测器及其设计

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

第四章轴心受力构件 第一节概述 第二节轴心受力构件的强度与刚度 第三节实腹式轴心受压构件的整体稳定 第四节实腹式轴心受压构件的局部稳定 第五节实腹式轴心受压构件的截面设计 第六节格构式轴心受压构件

7-1引言 一、HIR DF的特点 1、DF的设计依托AF的设计,有图表可查,方便简单。 2、相位的非线性 H(Z)的频响

通过本课程的学习，学生应对混凝土 结构常见基本构件、梁板结构、单层厂房 结构、多层框架结构进行设计