计算机系统设计文库下载_中国高校课件下载中心

文档格式：PDF　文档大小：609.76KB　文档页数：69

西安电子科技大学：《微机原理与系统设计》课程教学课件（讲稿）第4章汇编语言指令与程序设计 4.2 数据运算指令与程序设计

文档格式：PDF　文档大小：575.69KB　文档页数：25

西安电子科技大学：《微机原理与系统设计》课程教学课件（讲稿）第4章汇编语言指令与程序设计 4.4 分支程序设计

文档格式：PDF　文档大小：1.21MB　文档页数：44

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

文档格式：PDF　文档大小：1.89MB　文档页数：62

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

文档格式：PDF　文档大小：4.82MB　文档页数：78

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

文档格式：DOC　文档大小：597KB　文档页数：5

14.3微型计算机控制位置随动系统设计

文档格式：PPT　文档大小：226KB　文档页数：7

吉林大学：《计算机控制技术》课程教学资源（PPT课件讲稿）第八章计算机控制系统设计 8.1 计算机控制系统的设计步骤

文档格式：PPS　文档大小：133KB　文档页数：19

10.1 应用系统设计概要 10.2 微机应用系统设计实例 10.3 抗干扰技术

文档格式：PDF　文档大小：4.25MB　文档页数：80

• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向：CPS • 热点应用示例 – 汽车电子

文档格式：PPT　文档大小：291KB　文档页数：22

第10章单片机应用系统设计与开发 10.1单片机应用系统的开发过程 10.2应用系统开发工具 10.3单片机应用系统举例 10.4单片机应用系统抗干扰技术