图书介绍
嵌入式系统导论 CPS方法PDF|Epub|txt|kindle电子书版本网盘下载
- （美）李（Edward Ashford Lee），（美）塞希阿著；李实英等译 著
- 出版社： 北京：机械工业出版社
- ISBN：9787111360216
- 出版时间：2012
- 标注页数：256页
- 文件大小：31MB
- 文件页数：271页
- 主题词：微型计算机－系统设计
PDF下载
下载说明
嵌入式系统导论 CPS方法PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 绪论1
1.1 应用1
1.2 一个实例3
1.3 设计过程4
1.3.1 建模6
1.3.2 设计6
1.3.3 分析7
1.4 小结8
第一部分 动态行为建模第2章 连续动态10
2.1 牛顿力学10
2.2 参量模型13
2.3 系统的特性15
2.3.1 因果关系系统15
2.3.2 无记忆系统16
2.3.3 线性和时不变性16
2.3.4 稳定性17
2.4 反馈控制17
2.5 小结20
练习20
第3章 离散动态22
3.1 离散系统22
3.2 状态的概念25
3.3 有限状态机25
3.3.1 转移25
3.3.2 发生响应时27
3.3.3 升级函数29
3.3.4 确定性和可接受性30
3.4 扩展状态机30
3.5 非确定性33
3.5.1 形式化模型34
3.5.2 非确定性的用途35
3.6 行为和轨迹36
3.7 小结37
练习38
第4章 混合系统41
4.1 模态模型41
4.1.1 状态机的参量模型41
4.1.2 连续输入41
4.1.3 状态精化42
4.2 混合系统的分类43
4.2.1 时间自动机43
4.2.2 高阶动态45
4.2.3 管理控制49
4.3 小结52
练习52
第5章 状态机的组合55
5.1 并发组合56
5.1.1 并列同步组合56
5.1.2 并列异步组合57
5.1.3 共享变量58
5.1.4 级联组合60
5.1.5 通用组合62
5.2 分层状态机62
5.3 小结65
练习65
第6章 并发计算模型67
6.1 模型结构67
6.2 同步响应模型69
6.2.1 反馈模型70
6.2.2 形式规范和形式不规范模型71
6.2.3 构建一个固定点72
6.3 数据流计算模型73
6.3.1 数据流原理73
6.3.2 同步数据流75
6.3.3 动态数据流78
6.3.4 结构化数据流79
6.3.5 进程网络79
6.4 实时计算模型80
6.4.1 时间触发模型81
6.4.2 离散事件系统83
6.4.3 连续时间系统84
6.5 小结86
练习86
第二部分 嵌入式系统设计第7章 嵌入式处理器90
7.1 处理器类型90
7.1.1 微控制器90
7.1.2 DSP处理器91
7.1.3 图形处理器95
7.2 并行处理95
7.2.1 并行处理与并发处理95
7.2.2 流水线97
7.2.3 指令级并行99
7.2.4 多核架构102
7.3 小结104
练习104
第8章 存储器架构106
8.1 存储技术106
8.1.1 RAM106
8.1.2 非易失性存储器107
8.2 存储器层次结构107
8.2.1 存储映射108
8.2.2 寄存器文件109
8.2.3 便签式存储器和高速缓冲存储器110
8.3 存储模型112
8.3.1 存储地址112
8.3.2 栈113
8.3.3 存储器保护单元114
8.3.4 动态存储分配114
8.3.5 C的存储模型114
8.4 小结115
练习115
第9章 输入和输出117
9.1 I/O硬件117
9.1.1 脉宽调制117
9.1.2 通用数字I/O118
9.1.3 串行接口120
9.1.4 并行接口122
9.1.5 总线123
9.2 并发环境下的顺序软件123
9.2.1 中断和异常123
9.2.2 原子性125
9.2.3 中断控制器126
9.2.4 中断建模126
9.3 模拟／数字接口129
9.3.1 数模转换和模数转换129
9.3.2 信号调节130
9.3.3 采样和走样132
9.4 小结134
练习134
第10章 多任务处理138
10.1 命令式程序139
10.2 多线程141
10.2.1 创建线程142
10.2.2 实现多线程143
10.2.3 互斥144
10.2.4 死锁146
10.2.5 存储一致性模型147
10.2.6 多线程问题148
10.3 进程和消息传递149
10.4 小结152
练习152
第11章 调度154
11.1 调度的基础知识154
11.1.1 调度决策154
11.1.2 任务模型155
11.1.3 调度程序的比较157
11.1.4 调度程序的实现157
11.2 单调速率调度158
11.3 最早时限优先160
11.4 调度和互斥163
11.4.1 优先级倒置163
11.4.2 优先级继承协议163
11.4.3 优先级上限协议164
11.5 多处理器调度166
11.6 小结168
练习169
第三部分 分析和验证第12章 不变量与时序逻辑172
12.1 不变量172
12.2 线性时序逻辑173
12.2.1 命题逻辑公式174
12.2.2 LTL公式175
12.2.3 LTL公式的应用177
12.3 小结178
练习179
第13章 等价与精化181
13.1 规格建模181
13.2 类型等价与类型精化182
13.3 语言等价与包含183
13.4 模拟187
13.4.1 模拟关系188
13.4.2 形式化模型189
13.4.3 传递性190
13.4.4 模拟关系的非唯一性190
13.4.5 模拟与语言包含191
13.5 互模拟191
13.6 小结193
练习193
第14章 可到达性分析和模型检测196
14.1 开放式与封闭式系统196
14.2 可到达性分析197
14.2.1 Gp验证197
14.2.2 显态模型检测198
14.2.3 符号化模型检测199
14.3 模型检测中的抽象201
14.4 活跃属性的模型检测203
14.4.1 属性的自动机表达203
14.4.2 寻找可接受循环205
14.5 小结206
练习207
第15章 定量分析208
15.1 关注的问题208
15.1.1 极限分析208
15.1.2 阈值分析209
15.1.3 一般情况分析209
15.2 程序图209
15.2.1 基本块210
15.2.2 控制流图210
15.2.3 函数调用210
15.3 执行时间的决定因素212
15.3.1 循环界限212
15.3.2 指数的路径空间214
15.3.3 路径的可行性214
15.3.4 存储层次215
15.4 执行时间分析的基础216
15.4.1 最优化问题的形式化216
15.4.2 逻辑流约束218
15.4.3 基本块的界限220
15.5 其他定量分析问题221
15.5.1 存储界限分析221
15.5.2 能耗和功耗分析222
15.6 小结223
练习223
第四部分 附录附录A 集合和函数226
附录B 复杂度和可计算性理论231
参考书目241