图书介绍

信息物理融合系统（cps）原理PDF|Epub|txt|kindle电子书版本网盘下载

信息物理融合系统（cps）原理
  • （美）拉吉夫·阿卢尔（Rajeev Alur）著 著
  • 出版社： 北京：机械工业出版社
  • ISBN：9787111559047
  • 出版时间：2017
  • 标注页数：284页
  • 文件大小：51MB
  • 文件页数：294页
  • 主题词：异构网络－研究

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：e400612eaaacae2894092570f836e03d

下载说明

信息物理融合系统（cps）原理PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章 简介1

1.1什么是信息物理融合系统1

1.2信息物理融合系统的主要特征1

1.3研究主题概述3

1.4课程组织指南5

第2章 同步模型8

2.1反应式构件8

2.1.1变量、值和表达式8

2.1.2输入、输出和状态9

2.1.3初始化9

2.1.4更新10

2.1.5执行11

2.1.6扩展状态机12

2.2构件属性13

2.2.1有限状态构件13

2.2.2复合构件14

2.2.3事件触发构件14

2.2.4非确定性构件16

2.2.5输入使能构件17

2.2.6任务图和等待依赖关系18

2.3构件构成22

2.3.1方框图22

2.3.2输入/输出变量重命名23

2.3.3并行组合23

2.3.4输出隐藏29

2.4同步设计30

2.4.1同步电路30

2.4.2巡航控制系统33

2.4.3同步网络36

参考文献说明38

第3章 安全性需求40

3.1安全性规约40

3.1.1迁移系统的不变量40

3.1.2需求在系统设计中的作用43

3.1.3安全监控器46

3.2验证不变量48

3.2.1证明不变量48

3.2.2不变量的自动验证52

3.2.3基于模拟的分析54

3.3枚举搜索55

3.4符号搜索60

3.4.1符号迁移系统60

3.4.2符号广度优先搜索63

3.4.3约简有序二叉判定图67

参考文献说明75

第4章 异步模型77

4.1异步进程77

4.1.1状态、输入和输出77

4.1.2输入、输出和内部动作78

4.1.3执行80

4.1.4扩展的状态机82

4.1.5进程操作83

4.1.6安全性需求87

4.2异步设计原语88

4.2.1阻塞同步与非阻塞同步88

4.2.2死锁88

4.2.3共享存储器90

4.2.4公平性假设95

4.3异步协调协议100

4.3.1领导选举100

4.3.2可靠传输103

4.3.3等待无关共识105

参考文献说明110

第5章 活性需求111

5.1时序逻辑111

5.1.1线性时序逻辑111

5.1.2 LTL规约116

5.1.3异步进程的LTL规约118

5.1.4超越LTL121

5.2模型检查122

5.2.1 Buchi自动机123

5.2.2从LTL到Buchi自动机126

5.2.3嵌套深度优先搜索130

5.2.4符号重复性检查132

5.3活性证明136

5.3.1 eventuality属性136

5.3.2条件response属性137

参考文献说明140

第6章 动态系统142

6.1连续时间模型142

6.1.1连续变化的输入和输出142

6.1.2扰动模型148

6.1.3构件构成148

6.1.4稳定性149

6.2线性系统151

6.2.1线性度152

6.2.2线性微分方程的解154

6.2.3稳定性159

6.3控制器设计161

6.3.1开环控制器与反馈控制器162

6.3.2稳定化控制器162

6.3.3 PID控制器165

6.4分析技术170

6.4.1数值模拟170

6.4.2栅栏函数172

参考文献说明176

第7章 时间模型177

7.1时间进程177

7.1.1基于时间的电灯开关177

7.1.2有界延迟的缓冲器178

7.1.3多个时钟179

7.1.4形式化模型180

7.1.5时间进程组合182

7.1.6不完全时钟的建模184

7.2基于时间的协议184

7.2.1基于时间的分布式协调184

7.2.2音频控制协议186

7.2.3双腔植入式心脏起搏器190

7.3时间自动机194

7.3.1时间自动机的模型194

7.3.2区域等价195

7.3.3基于矩阵表示的符号分析201

参考文献说明207

第8章 实时调度208

8.1调度概念208

8.1.1调度器架构208

8.1.2周期作业模型209

8.1.3可调度性211

8.1.4其他的作业模型215

8.2 EDF调度216

8.2.1周期作业模型的EDF217

8.2.2 EDF的最优性219

8.2.3基于利用率的可调度性测试220

8.3固定优先级调度223

8.3.1单调截止期策略和单调速率策略223

8.3.2单调截止期策略的最优性225

8.3.3单调速率策略的可调度性测试229

参考文献说明234

第9章 混成系统235

9.1混成动态模型235

9.1.1混成进程235

9.1.2进程组合239

9.1.3奇诺行为241

9.1.4稳定性243

9.2混成系统设计244

9.2.1自动驾驶车辆244

9.2.2多机器人协调的障碍规避246

9.2.3多跳控制网络251

9.3线性混成自动机256

9.3.1追赶游戏例子256

9.3.2形式化模型258

9.3.3符号可达性分析260

参考文献说明266

参考文献267

索引274

热门推荐