• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

先导化合物的发现 (Discovery of Lead compound) 新药开发的基本途径与方法 之 药物分子设计(Mo1ecu1a《drug design)是指通过科学的构思和理 性的策略,构建具有预期药理活性 的新化学实体(new《chemica1 entities)的分子操作

§0.1 混凝土结构的基本概念 §0.2 混凝土结构的应用与发展概况 §0.3 混凝土结构设计原理课程的特点的学习

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

一、连杆机构及其传动特点 二、平面四杆机构的类型和应用 三、平面四杆机构的基本知识 四、平面四杆机构的设计

正确认识系统设计的基本原则掌握简单任 务分析的一般流程,尝试自己制定方案; 对所举应用实例能消化理解,对部分模块能独立编程实现

 线性相位FIR数字滤波器的特性  窗函数设计法（时间窗口法）  频率取样法  IIR与FIR数字滤器的 较比

无论是组合电路,还是时序电路,其电路设计的宗 旨是一样的:在达到功能要求的前提下,使电路最稳定、 最简单。 时序逻辑电路的设计思路是:针对某一给定逻辑要 求,选择几个逻辑状态(越少越好)来描述它,再用某 种类型的触发器来实现这一逻辑功能

6.1 PLC控制系统设计的基本原则与内容 6.2 PLC的选择 6.3 PLC与输入输出设备的连接 6.4 减少I/O点数的措施 6.5 提高PLC控制系统可靠性的措施 6.6 PLC在开关量控制系统中的应用 6.7 PLC在模拟量闭环控制中的应用 6.8 PLC控制系统的维护和故障诊断