机械制造技术基础 第一章绪论 第二章切削过程及其控制 第三章机械制造中的加工方法及装备 第四章机床夹具设计 第五章机械加工质量及其控制 第六章工艺规程设计

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

一、组合逻辑电路 二、组合逻辑电路分析 三、组合逻辑电路设计 四、常用中规模组合逻辑电路 五、组合逻辑电路的竞争冒险

课程性质：是理论性和实践性都很强的专业技术基础课。 研究对象：机械中的常用机构及一般工作条件下和常用 参数范围内的通用零部件。 研究内容：研究常用机构及通用零部件工作原理、结构 特点、基本设计理论、设计计算方法和选用及维护方法

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

本章主要介绍菜单设计器的使用方法,并 列举实例来具体说明;对使用“快捷菜单设计 器”创建快捷菜单也作了简单描述;最后介绍 如何在项目中添加菜单系统

第一节旅行社管理信息系统概述 第二节旅行社管理信息系统的信息流程 第三节旅行社管理信息系统的总体设计 第四节旅行社管理信息系统功能设计

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