- ISBN:9787030669902
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:178
- 出版时间:2020-12-01
- 条形码:9787030669902 ; 978-7-03-066990-2
内容简介
信息物理融合系统作为一种新型复杂信息系统,涉及多种计算模型的集成和协同工作,面临设计方法不统一、计算模型多样化、重用性差、复杂性高、难以验证等问题,使得开发较复杂系统的工作变得十分困难,甚至无法进行;或因为系统需求的不断变化或小组成员的流动导致项目失败,其协同设计是一个亟待解决的难题。针对异构环境下信息物理融合系统的协同设计,本书提出了一种结构化、可描述行为的开放性普适组件模型,用统一方法进行建模,引入可扩展描述方法,对各类组件用统一语法进行系统描述,并提出了多级开放组件模型的协同验证方法,确保模型真实地反映设计者的建模意图,尽早检测出可能会导致建模失败的设计错误。 本书适合从事信息物理融合系统建模与验证研究的科技工作者、从事物联网应用系统开发的设计者和工程师,以及计算机科学与技术专业研究生和本科生阅读。
目录
前言
第1章 信息物理融合系统概述 1
1.1 信息物理融合系统基本概念 1
1.1.1 定义 1
1.1.2 特性 2
1.1.3 相关术语 3
1.2 CPS应用领域 7
1.2.1 智能电网系统 7
1.2.2 智能交通系统 8
1.2.3 航空航天电子系统 9
1.2.4 智慧医疗系统 10
1.2.5 智能家电系统 12
1.2.6 环境监测 13
1.2.7 智能建筑 13
1.3 CPS体系结构和相关技术 13
1.3.1 CPS体系结构 13
1.3.2 CPS相关技术 18
1.4 CPS设计方法学研究 34
1.4.1 CPS设计中存在的问题 34
1.4.2 国外研究情况 36
1.4.3 国内研究情况 37
1.4.4 基于UML的建模与验证 37
1.4.5 基于Petri网的建模与验证 39
1.4.6 基于自动机的建模与验证 39
参考文献 40
第2章 CPS建模方法与工具 44
2.1 CPS建模方法概述 44
2.1.1 基于函数及方程的CPS建模方法 44
2.1.2 面向对象与面向角色的CPS建模方法 45
2.1.3 基于组件的CPS建模方法 46
2.1.4 分层与协同的CPS建模方法 46
2.2 PtolemyⅡ46
2.2.1 PtolemyⅡ简介 46
2.2.2 PtolemyⅡ建模环境 48
2.2.3 PtolemyⅡ特点 49
2.3 Modelica 50
2.3.1 Modelica简介 50
2.3.2 Modelica建模环境 52
2.3.3 Modelica特点 54
2.4 Simulink 55
2.4.1 Simulink简介 55
2.4.2 Simulink建模环境 55
2.4.3 Simulink特点 65
2.5 LabVIEW 65
2.5.1 LabVIEW简介 65
2.5.2 LabVIEW建模环境 67
2.5.3 LabVIEW特点 75
2.6 Multisim 75
2.6.1 Multisim简介 75
2.6.2 Multisim建模环境 76
2.6.3 Multisim特点 80
2.7 Acumen 81
2.7.1 Acumen简介 81
2.7.2 Acumen建模环境 82
2.7.3 Acumen特点 83
2.8 其他建模工具 83
2.8.1 Afra 83
2.8.2 Hydla 85
2.8.3 HyST 85
参考文献 86
第3章 CPS组件协同建模 89
3.1 CPS建模框架 89
3.1.1 CPS空间模型 89
3.1.2 CPS组件层次框架 89
3.2 CPS异元组件 92
3.2.1 基本概念 92
3.2.2 CPS组件能力与功能 93
3.2.3 CPS组件类型 94
3.2.4 CPS组件的异元性 96
3.3 CPS组件建模 96
3.3.1 CPS组件基本结构 96
3.3.2 CPS结构模型 98
3.3.3 CPS行为模型 100
3.4 组件演算 101
3.4.1 组合演算 102
3.4.2 分解演算 103
3.5 开放性组件建模方法模型实例 104
参考文献 106
第4章 CPS异元组件模型可扩展一致描述方法 107
4.1 CPS一致描述问题 107
4.2 XML描述方法 107
4.3 异元组件的XML描述规范 108
4.3.1 组件XML描述语法 108
4.3.2 组件结构描述规范 109
4.3.3 组件行为描述规范 111
4.4 异元组件的XML描述规范 113
参考文献 118
第5章 CPS异元组件模型协同验证方法 119
5.1 CPS协同验证技术 119
5.2 组件的有效性验证 120
5.2.1 组件的完整性验证 120
5.2.2 组件的稳定性验证 123
5.3 组件原型的功能仿真 123
5.3.1 函数组件的功能仿真 123
5.3.2 有限状态机组件的功能仿真 124
5.3.3 复合组件的功能仿真 124
5.4 组件的综合和仿真 126
5.4.1 组件的综合 126
5.4.2 组件的仿真 128
5.5 FPGA在线验证 135
5.5.1 FPGA简介 135
5.5.2 FPGA在线验证 135
第6章 CPS建模与验证平台 138
6.1 XModel简介 138
6.2 XModel系统分析 138
6.2.1 系统开发工具及运行环境 138
6.2.2 系统组成及功能 139
6.3 XModel系统设计 140
6.3.1 前端框架设计 140
6.3.2 组件XML解析器设计 144
6.3.3 XModel组件库设计 152
6.4 XModel系统实施 155
6.4.1 组件模型构建 155
6.4.2 组件模型编译 159
6.4.3 组件模型仿真 159
参考文献 161
第7章 医疗信息物理融合系统 162
7.1 基于XModel平台的MCPS组件模型构建 162
7.2 仿真方案设计 166
7.3 仿真结果分析与验证 168
-
结核病感染控制与护理
¥33.0¥60.0 -
宽窄巷二期 2020年“8+”联合毕业设计作品/高等学校建筑类专业设计作品选集
¥96.0¥128.0 -
绿色奥运改变生活
¥37.4¥68.0 -
新汉语水平考试真题集HSK(三级)-2012版-内附光盘一张
¥43.2¥60.0 -
我的世界·冒险故事图画书(第四辑)21·怪物大战
¥18.2¥26.0 -
任务型初级汉语教学:从理论到实践
¥27.3¥39.0 -
调色师手册 色彩风格宝典
¥71.4¥129.8 -
信息安全积极防御技术
¥35.3¥49.0 -
谢谢你
¥14.4¥32.0 -
剖析ISO运用中的“大误解”:将管理体系作为最强工具的思维变革
¥46.8¥60.0
-
Photoshop图像处理标准培训教程
¥23.8¥68.0 -
写给小白的Python入门实战课
¥16.0¥50.0 -
Excel 实战应用大全
¥15.9¥49.8 -
多功能智能机器小车的开发与研制
¥17.9¥56.0 -
APP INVENTOR少儿趣味编程动手做
¥18.9¥59.0 -
翻转世界-互联网思维与新技术如何改变未来
¥16.0¥49.9 -
信息技术
¥19.4¥45.0 -
ABAQUS 6.14超级学习手册
¥78.5¥109.0 -
物联网关键技术及其数据处理研究
¥25.7¥59.8 -
Java编程思想{英文版·第四版}
¥72.3¥99.0 -
Word/Excel/PPT高效商务办公从入门到精通
¥15.4¥48.0 -
由浅入深学习SAP财务
¥67.3¥118.0 -
有限与无限的游戏:一个哲学家眼中的竞技世界
¥36.0¥68.0 -
机器学习导论
¥47.4¥79.0 -
Photoshop CS图像处理技术
¥19.8¥36.0 -
PYTORCH深度学习指南:编程基础 卷I
¥74.3¥99.0 -
智能图像处理技术及应用研究
¥35.8¥65.0 -
你好!PYTHON
¥74.9¥99.9 -
系统集成项目管理工程师考试大纲(
¥12.9¥15.0 -
PYTHON GUI设计TKINTER 菜鸟编程(增强版)
¥71.3¥99.0