内容简介
作者简介
爱德华·阿什福德·李，现任伯克利工业CPS研究中心主任，曾任加州大学伯克利分校电子工程与计算机科学系主任，现为该系Robert S.Pepper特聘教授。主要研究方向是嵌入式与实时计算系统的设计、建模和模拟。他是嵌入式系统领域的知名学者，也是CPS研究的倡导者和引领者之一。Lee教授分别于耶鲁大学、MIT及UC Berkeley获得本科、硕士及博士学位。他共有嵌入式系统：CPS方法等专着8部。他是IEEE Fellow，获IEEE杰出技术成就与领导奖、美国NSF总统青年科学家称号以及弗雷德里克·特曼工程教育奖。
本书目录
第一部分1. 墙上的影子
1.1 技术呆子 / 003
1.2 人工的与自然的 / 009
1.3 设计和发现 / 014
1.4 工程和科学 / 022
2. 发明自然法则
2.1 未知的已知 / 037
2.2 自然的模型 / 044
2.3 模型是错误的 / 056
3. 事物之模型之模型之模型
3.1 技术的分层 / 065
3.2 简化的复杂性 / 068
3.3 模型的传递性 / 074
3.4 还原论 / 080
4. 硬件快速演化
4.1 硬和软 / 085
4.2 半导体 / 088
4.3 数字开关 / 092
4.4 逻辑门 / 093
4.5 逻辑图 / 097
4.6 数字机器 / 100
5. 软件的持久力
5.1 自我支撑 / 105
5.2 指令集体系架构 / 109
5.3 编程语言 / 114
5.4 操作系统 / 127
5.5 库、语言和方言 / 129
5.6 云 / 136
6. 进化与革命
6.1 常态工程 / 141
6.2 危机与失败 / 145
6.3 危机与机遇 / 158
6.4 危机中的模型 / 162
第二部分
7. 信息
7.1 悲观主义变成乐观主义 / 175
7.2 信息处理机 / 178
7.3 度量信息 / 181
7.4 连续信息 / 190
8. 软件的局限性
8.1 通用机器? / 201
8.2 不可判定性 / 207
8.3 势 / 219
8.4 数字物理学? / 227
9. 共生关系
9.1 连续统的概念 / 239
9.2 不可能成为可能 / 244
9.3 数字灵魂? / 250
9.4 共生的伙伴关系 / 258
9.5 不完备性 / 261
10. 决定论
10.1 拉普拉斯妖 / 273
10.2 蝴蝶效应 / 285
10.3 决定论的不完备性 / 292
10.4 决定论的硬和软 / 302
11. 概率与可能性
11.1 贝叶斯学派和频率学派 / 307
11.2 再论连续统 / 322
11.3 不可能与不大可能 / 326
12. 最终的想法
12.1 二元论 / 335
12.2 障碍 / 341
12.3 自主与智能 / 350
· · · · · ·
