图书介绍
信息物理系统应用与原理PDF|Epub|txt|kindle电子书版本网盘下载
- （印度）拉杰·拉杰库马尔，（美）迪奥尼西奥·德·尼茨，马克·克莱恩著；李士宁，张羽，李志刚等译 著
- 出版社： 北京：机械工业出版社
- ISBN：9787111598107
- 出版时间：2018
- 标注页数：224页
- 文件大小：58MB
- 文件页数：242页
- 主题词：控制系统
PDF下载
下载说明
信息物理系统应用与原理PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一部分 CPS应用领域2
第1章 医疗CPS2
1.1 引言2
1.2 系统描述与操作场景3
1.2.1 虚拟医疗设备4
1.2.2 临床场景4
1.3 关键设计驱动与质量属性5
1.3.1 发展趋势5
1.3.2 质量属性以及MCPS领域的挑战7
1.3.3 MCPS的高可信度开发8
1.3.4 按需医疗设备及其安全保障12
1.3.5 智能报警以及医疗决策支持系统16
1.3.6 闭环系统19
1.3.7 安全案例23
1.4 从业者的影响28
1.4.1 MCPS开发者角度28
1.4.2 MCPS管理者角度29
1.4.3 MCPS用户角度29
1.4.4 患者角度29
1.4.5 MCPS监管机构角度30
1.5 总结与挑战30
参考文献31
第2章 能源CPS37
2.1 引言37
2.2 系统描述与操作场景38
2.3 关键设计驱动与质量属性39
2.3.1 关键系统原则40
2.3.2 架构1的性能目标43
2.3.3 未来的方向46
2.4 可持续性SEES的网络范例47
2.4.1 在SEES中基于物理的CPS组合49
2.4.2 在SEES中基于DyMonDS的CPS标准50
2.4.3 交互变量自动建模与控制56
2.5 从业者的影响57
2.5.1 性能目标的IT演化57
2.5.2 分布式优化58
2.6 总结与挑战58
参考文献60
第3章 基于无线传感器网络的CPS63
3.1 引言63
3.2 系统描述与操作场景63
3.2.1 媒介访问控制65
3.2.2 路由66
3.2.3 节点定位67
3.2.4 时钟同步68
3.2.5 电源管理69
3.3 关键驱动设计与质量属性70
3.3.1 物理感知70
3.3.2 实时感知70
3.3.3 运行时验证感知71
3.3.4 安全感知72
3.4 从业者的影响74
3.5 总结与挑战75
参考文献76
第二部分 CPS基础理论82
第4章 CPS的符号化合成82
4.1 引言82
4.2 基础技术82
4.2.1 预备知识83
4.2.2 问题定义83
4.2.3 合成问题的解决89
4.2.4 符号模型构建91
4.3 高级技术94
4.3.1 构建符号模型95
4.3.2 连续时间控制器96
4.3.3 软件工具97
4.4 总结与挑战97
参考文献98
第5章 反馈控制系统中的软件和平台问题102
5.1 引言102
5.2 基础技术103
5.2.1 控制器定时103
5.2.2 资源效率控制设计104
5.3 高级技术105
5.3.1 减少计算时间105
5.3.2 降低采样频率106
5.3.3 基于事件的控制106
5.3.4 控制器的软件结构107
5.3.5 计算资源共享108
5.3.6 反馈控制系统的分析与仿真109
5.4 总结与挑战118
参考文献118
第6章 混合系统的逻辑正确性120
6.1 引言120
6.2 基础技术121
6.2.1 离散验证121
6.3 高级技术134
6.3.1 实时验证134
6.3.2 混合验证138
6.4 总结与挑战141
参考文献141
第7章 CPS的安全144
7.1 引言144
7.2 基础技术145
7.2.1 网络安全需求145
7.2.2 攻击模型146
7.2.3 应对策略148
7.3 高级技术150
7.3.1 系统理论150
7.4 总结与挑战155
参考文献156
第8章 分布式CPS的同步158
8.1 引言158
8.1.1 CPS的挑战159
8.1.2 一种降低同步复杂度的技术159
8.2 基础技术160
8.2.1 软件工程160
8.2.2 分布式一致性算法160
8.2.3 同步锁步执行162
8.2.4 时间触发架构162
8.2.5 相关技术163
8.3 高级技术164
8.3.1 物理异步、逻辑同步系统164
8.4 总结与挑战172
参考文献173
第9章 CPS的实时调度177
9.1 引言177
9.2 基础技术178
9.2.1 固定时间参数的调度178
9.2.2 内存效应184
9.3 高级技术184
9.3.1 多处理器／多核调度184
9.3.2 适应可变性和不确定性193
9.3.3 其他资源的管理196
9.3.4 间歇任务调度199
9.4 总结与挑战200
参考文献201
第10章 CPS模型集成205
10.1 引言205
10.2 基础技术206
10.2.1 因果关系206
10.2.2 时间语义域207
10.2.3 计算过程的交互模型208
10.2.4 CPS DSML建模语言的语义208
10.3 高级技术209
10.3.1 ForSpec语言209
10.3.2 CyPhyML系统建模语言的语法211
10.3.3 语义的形式化213
10.3.4 形式化的语言集成216
10.4 总结与挑战221
参考文献221