新書推薦:
![出去一趟,还是家里舒服](http://103.6.6.69/upload/mall/productImages/y24/8/9787521766288.jpg)
《
出去一趟,还是家里舒服
》
售價:HK$
56.4
![阿根廷史:从昔日辉煌到现代迷思](http://103.6.6.66/upload/mall/productImages/24/26/9787547322512.jpg)
《
阿根廷史:从昔日辉煌到现代迷思
》
售價:HK$
112.7
![神话学理论](http://103.6.6.66/upload/mall/productImages/24/28/9787100222150.jpg)
《
神话学理论
》
售價:HK$
98.9
![返璞归真:考古纠错的中国史](http://103.6.6.66/upload/mall/productImages/24/27/9787519916794.jpg)
《
返璞归真:考古纠错的中国史
》
售價:HK$
101.2
![制造不平等:英国社会的分化与冲突](http://103.6.6.66/upload/mall/productImages/24/27/9787500883258.jpg)
《
制造不平等:英国社会的分化与冲突
》
售價:HK$
52.9
![桌面屠夫合集(全2册)](http://103.6.6.66/upload/mall/productImages/24/28/9787213114878.jpg)
《
桌面屠夫合集(全2册)
》
售價:HK$
271.4
![南宋吉州的士大夫与宗族、地域社会](http://103.6.6.66/upload/mall/productImages/24/27/9787540376512.jpg)
《
南宋吉州的士大夫与宗族、地域社会
》
售價:HK$
112.7
![岩波新书:西班牙史10讲](http://103.6.6.66/upload/mall/productImages/24/27/9787500884576.jpg)
《
岩波新书:西班牙史10讲
》
售價:HK$
89.7
|
內容簡介: |
本书呈现了国际相关研究团队在支持赛博物理系统多范式建模(MPM4CPS)方面的研究成果,书中内容源于领先行业的实践经验以及研究性文献,聚焦该领域最先进的研究方法和实践案例,涵盖MPM4CPS研究团队创建的理论基础、形式化方法、工具以及相应教育资源和案例。读者将从本书中了解赛博物理系统(CPS)设计和运用的关键问题以及解决方案,并可从必需的软件工具的介绍中得到有关模型建立、分析和管理的有益指导。
读者将从书中学习到有关基于模型的系统工程(MBSE)中全面应用建模与仿真技术的基本理论以及研究方向。本书可作为系统工程、自主系统等学科的研究生教材,使学生系统地学习关于多范式建模本体框架的最新理论,并通过案例研究领悟相应的工程实践中的建模方法和分析流程。
|
關於作者: |
Bedir Tekinerdogan是荷兰瓦赫宁根大学信息技术组的正教授和主席。他在荷兰特文特大学获得MSc学位(1994年)和计算机科学博士学位(2000年)。从2003年到2008年,他在特文特大学担任教职员,之后加入了比尔肯特大学,直到2015年。他在软件工程研究和教育方面拥有超过20年的经验。他的主要研究领域包括智能软件密集型系统工程。特别是,他专注于和感兴趣的领域包括软件架构设计、软件产品线工程、模型驱动开发、并行计算、云计算和系统工程。他参与了数十个国家和国际研究和咨询项目,与各种大型软件公司合作,担任首席研究员和领先的软件/系统架构师。他开发并教授了15门不同的学术软件工程课程,并向荷兰、德国和土耳其的50多家公司提供软件工程课程。
孙智孝是我国无人系统领域的著名专家,享受国务院特殊津贴,荣获全国五一劳动奖章、中国青年五四奖章集体等荣誉,荣获各级科技成果奖励数十项,取得授权和受理专利百余件,发表SCI、EI等论文十余篇,出版多部无人系统相关著作。
|
目錄:
|
第1章引言1
1.1目标1
1.2本书概要2
1.2.1第一部分——本体框架3
1.2.2第二部分——方法和工具3
1.2.3第三部分——案例研究4
1.3致谢5
第一部分本体框架
第2章赛博物理系统多范式建模的本体基础9
2.1概述9
2.2本体开发方法10
2.2.1建模模式11
2.2.2领域分析流程12
2.3建模语言与建模工具14
2.3.1特征建模和FeatureIDE14
2.3.2网络本体语言(OWL)和Protégé14
2.3.3特征建模与OWL的集成16
2.4本体架构16
2.5共享本体18
2.5.1语言领域概念(LinguisticDC)18
2.5.2工作流领域概念(WorkflowDC)20
2.5.3项目管理领域概念(ProjectManagementDC)22
2.5.4架构领域概念(ArchitectureDC)24
2.5.5范式领域概念(ParadigmDC)26
2.6示例介绍28
2.6.1基于合集的赛博物理系统29
2.6.2HPI赛博物理系统实验室33
2.7总结3
参考文献37
第3章基于特征的赛博物理系统本体41
3.1概述41
3.2赛博物理系统的元模型42
3.3赛博物理系统的特征模型43
3.3.1顶层特征图43
3.3.2CPS的构成元素44
3.3.3非功能性需求47
3.3.4应用领域52
3.3.5学科52
3.4CPS的架构52
3.5示例53
3.5.1基于合集的赛博物理系统53
3.5.2HPI赛博物理系统实验室56
3.6总结58
参考文献58
第4章支持多范式建模的本体60
4.1概述60
4.2最先进的本体61
4.2.1核心建模概念61
4.2.2多形式化建模方法63
4.2.3模型管理方法65
4.3MPM本体72
4.3.1核心建模概念74
4.3.2微模型尺度(Micromodelling scale)74
4.3.3巨模型尺度(Megamodelling scale)75
4.4示例80
4.4.1基于合集的赛博物理系统80
4.4.2HPI赛博物理系统实验室(CPSLab)87
4.4.3仿真阶段89
4.5总结103
参考文献104
第5章支持赛博物理系统的多范式建模的集成本体114
5.1概述114
5.2最先进的技术115
5.2.1视角115
5.2.2基于模型的开发流程建模117
5.2.3建模范式118
5.3本体119
5.3.1视角119
5.3.2基于模型的工作流120
5.3.3建模范式121
5.4示例123
5.4.1基于合集的赛博物理系统(EBCPS)123
5.4.2HPI赛博物理系统实验室126
5.4.3建模范式132
5.5总结134
参考文献135
第二部分方法和工具
第6章通过双半球模型驱动方法支持赛博物理系统的组合139
6.1概述139
6.2赛博物理系统的组件140
6.3系统组合背景环境下的赛博物理系统142
6.4双半球模型驱动方法144
6.5双半球模型驱动方法用于解决组合问题147
6.6总结150
致谢151
参考文献151
第7章赛博物理生产系统原型开发中的多范式建模和协同仿真156
7.1概述156
7.2案例研究描述157
7.3技术159
7.3.1INTOCPS技术160
7.3.2初始模型161
7.3.3VDMRT/Overture的离散事件优先策略161
7.4方法论162
7.5子系统的建模163
子系统模型164
7.6验证和确认167
7.6.1同构阶段的实验167
7.6.2与物理系统相关的同构仿真分析172
7.6.3异构阶段的实验172
7.7总结174
7.7.1两个阶段的开发174
7.7.2关于方法论上的见解175
致谢176
参考文献176
第8章使用SEA_ML 开发基于智能体的赛博物理系统179
8.1概述179
8.2背景180
8.3相关工作1
8.4SEA_ML 183
8.4.1抽象句法183
8.4.2图形化具体句法184
8.4.3转换186
8.5使用SEA_ML 的基于智能体CPS的建模和开发186
8.6多智能体垃圾收集CPS的开发190
8.6.1系统设计190
8.6.2系统开发192
8.6.3演示证明194
8.7总结197
致谢198
参考文献198
第9章CREST——用于混合CPS建模的DSML203
9.1概述203
9.2混合的形式化方法204
9.2.1定时和混合自动机工具206
9.2.2离散形式化的混合扩展206
9.3使用CREST开展领域特定的混合建模207
9.3.1CREST句法208
9.3.2CREST语义212
9.3.3验证215
9.4实现216
9.5讨论218
9.6总结219
参考文献219
第三部分案例研究
第10章应用MPM方法开发基于物联网和无线传感器网络的CPS——智能火灾
探测案例研究227
10.1概述227
10.2需求获取228
10.3系统设计231
10.3.1架构设计231
10.3.2详细设计232
10.4建模和仿真236
10.5实现238
10.5.1硬件设置238
10.5.2软件开发239
10.5.3日志管理器241
10.5.4测试和验证242
10.6FTG PM框架下的多范式开发流程243
10.6.1形式化转换图形(FTG)246
10.6.2流程模型(PM)246
10.7总结247
10.8文献和进一步阅读248
致谢248
参考文献248
第11章开发面向行业的跨领域的赛博物理系统学习规划252
11.1概述252
11.2相关工作254
11.3白俄罗斯和乌克兰的就业市场现状256
11.3.1白俄罗斯就业市场的需要256
11.3.2乌克兰劳动力市场的需要257
11.4COST行动对欧洲 CPS 课程的投入258
11.5识别行业的需要259
11.5.1关于CPS课程研究的方法259
11.5.2白俄罗斯研究机构调查分析260
11.5.3乌克兰企业调查分析261
11.5.4研究机构调查结果263
11.6白俄罗斯和乌克兰大学CPS课程的COST调查结果的验证263
11.7讨论与结论265
致谢266
参考文献266
附录缩略语表273
|
內容試閱:
|
序者序
当今世界我们所面对的工程化系统正在加剧地变得更加复杂,其中最为重要的特征就是不断呈现着由物理、软件和网络等多个方面的集成,真正复杂的、多学科的和工程化的系统多属于赛博物理系统(简称CPS)的范畴。因此,构思、开发和建造这样的系统是一项卓越的系统工程的努力,不仅具有技术考量及物理约束的挑战性,而且会涉及诸如通信、控制、计算以及人机交互协同等带来的影响。随着CPS设计和运用现实需求的不断增加,依赖以往在单个领域的工程学科(机械、电气、网络或软件)拥有的知识和技能已无法提供完整的解决方案。在当今的系统工程领域,我们迫切需要寻求并建立一种统一的理论以及系统化的设计方法、技术和工具。
在此,针对CPS固有的跨学科的本质特征,结合当前系统工程面向基于模型的转型方向,将建模、仿真和分析(MS&A)作为开发赛博物理系统的关键使能。为支持在所有研究领域之间建立沟通的公共背景知识,通过研究相关建模语言中的模型规范、转换及其语义技术,综合分析多个学科相关的不同的建模技术,旨在寻求最为合理的建模形式,在最为合适的抽象层级之上清晰地明确系统的各个组成部分以及各个层面的建模方式,由此多范式建模(MPM)应运而生,今天学术界和工程界普遍将MPM当作未来应对CPS设计和应用挑战的有效路径。
关于本体框架
本体在系统所处的背景环境中捕捉与问题空间和解决方案相关的一般性知识。在此将背景环境表示为我们所认识世界的高层实体(类型和领域)的分类学的层级树,从而概括和抽象,用来指导我们对事物进行分类。从最高到最低层级的所有实体都可作为概念出现,而低层级的实体(概念和实例)将继承其高层实体的一般特性并同时拥有各自独特的特性。本体框架成为我们选择用来构建本体模型的结构、功能和内容的定义,就像关系数据库或面向对象编程语言那样,而无需从头开始创建自己的本体框架。
本书首先翔实地进行有关本体框架的描述并定义本体框架的建模方法和工具,通过提供共享本体、CPS本体(领域本体)和 MPM 本体(方法本体)之间的跨领域概念来详细阐述和集成这些本体,并利用基于模型的开发流程、元模型(如megamodel)支持的视角以及对应的形式化概念,引导在更广泛的背景环境中,探索并获得关于支持赛博物理系统多范式建模(MPM4CPS)应用的正确方向和实际方法。
关于方法及其工具
正是由于赛博物理系统的异构性,因此需要一种适应多学科组件的灵活并通用的建模方法,以应对和管控系统组合的复杂性。双半球模型驱动(简称2HMD)方法成功应用于各种领域的建模以及软件设计,其中模型最为突出的特征就是既适用于人的理解又支持模型的自动转换。将2HMD方法与CPS的建模方法相结合,为我们提供了一个组合和分析系统组件的机会,从而在理想的和实际的系统之间发现和弥补差别。进而,在离散事件优先(DEfirst)的方法论的指导下,使用离散事件(DE)形式化方法来识别各类不同模型之间的合理的通信接口和交互协议,构造系统最初的、抽象的概念模型;之后使用协同仿真(cosimulation)技术逐步增加协同模型(comodel)的细节,逐渐用更详细的模型取代上述的概念模型,前者如满足物理现象的连续时间(CT)的模型。
书中具体介绍了使用特定领域的建模语言来开发基于智能体(Agentbaesd)的 CPS 方法,并研究在各类执行平台上实现这些系统。此时,系统将基于状态转换的离散事件与基于变量的连续求解相融合,运用混合系统建模的表达能力支持高度复杂系统的定义,由此赛博物理系统可在错综复杂的背景环境中得以建模,并利用一个易学的图形化界面在Python工具的支持下,实现CPS模型的高效建模、仿真和验证。
关于案例研究
赛博物理系统由不同的硬件、软件、计算和通信组件所组成,在设计和开发中重点考虑通信、传感器与物理组件的有效组合。书中案例重点描述使用 MPM 方法设计和开发基于物联网的CPS,其中涵盖系统在无线传感器网络(WSN)节点、物联网(IoT)元素跨平台之间的通信,传感器和作动器之间物理世界与系统使用者的交互控制以及传感器、边缘(Edge)及网关的嵌入式组件。复杂系统的开发既要考虑其结构又要考虑其行为,在CPS开发流程的不同阶段,如需求分析、设计、建模和仿真以及实现,MPM方法在流程模型中提供系统开发的数据流和控制流,并应用形式化转换图和流程模型 (FTG PM)技术,旨在通过发现关键的转换来提升CPS及其开发的能力。
本书还介绍了欧洲一些领先的大学在硕士和博士课程上创立MPM4CPS基础理论和研究的成果,为应对CPS开发中跨领域专业共识知识体系的挑战,弥合CPS领域研究人员、工程师培训与高校教育之间的隔阂,详细阐明并给出相关学科的发展路线图。
阅读和翻译本书的过程,就好像一次启航重新认知未来系统基本特征和新型系统工程范式的旅程,作者不仅为我们呈现了未来赛博物理系统运用的宏大全景和探索路径,而且所涉及的大量相关文献又为我们设立了研究和实践的路标。愿与各位读者同行,祝在学习的路途中愉快、充实!
译者
2023年6月
|
|