123,123

內(nèi)容簡(jiǎn)介

　　信息物理融合系統(tǒng)作為一種新型復(fù)雜信息系統(tǒng)，涉及多種計(jì)算模型的集成和協(xié)同工作，面臨設(shè)計(jì)方法不統(tǒng)一、計(jì)算模型多樣化、重用性差、復(fù)雜性高、難以驗(yàn)證等問(wèn)題，使得開(kāi)發(fā)較復(fù)雜系統(tǒng)的工作變得十分困難，甚至無(wú)法進(jìn)行；或因?yàn)橄到y(tǒng)需求的不斷變化或小組成員的流動(dòng)導(dǎo)致項(xiàng)目失敗，其協(xié)同設(shè)計(jì)是一個(gè)亟待解決的難題。針對(duì)異構(gòu)環(huán)境下信息物理融合系統(tǒng)的協(xié)同設(shè)計(jì)，《信息物理融合系統(tǒng)協(xié)同設(shè)計(jì)方法》提出了一種結(jié)構(gòu)化、可描述行為的開(kāi)放性普適組件模型，用統(tǒng)一方法進(jìn)行建模，引入可擴(kuò)展描述方法，對(duì)各類(lèi)組件用統(tǒng)一語(yǔ)法進(jìn)行系統(tǒng)描述，并提出了多級(jí)開(kāi)放組件模型的協(xié)同驗(yàn)證方法，確保模型真實(shí)地反映設(shè)計(jì)者的建模意圖，盡早檢測(cè)出可能會(huì)導(dǎo)致建模失敗的設(shè)計(jì)錯(cuò)誤。

作者簡(jiǎn)介

暫缺《信息物理融合系統(tǒng)協(xié)同設(shè)計(jì)方法》作者簡(jiǎn)介

圖書(shū)目錄

目錄
前言
第1章信息物理融合系統(tǒng)概述 1
1.1 信息物理融合系統(tǒng)基本概念 1
1.1.1 定義 1
1.1.2 特性 2
1.1.3 相關(guān)術(shù)語(yǔ) 3
1.2 CPS應(yīng)用領(lǐng)域 7
1.2.1 智能電網(wǎng)系統(tǒng) 7
1.2.2 智能交通系統(tǒng) 8
1.2.3 航空航天電子系統(tǒng) 9
1.2.4 智慧醫(yī)療系統(tǒng) 10
1.2.5 智能家電系統(tǒng) 12
1.2.6 環(huán)境監(jiān)測(cè) 13
1.2.7 智能建筑 13
1.3 CPS體系結(jié)構(gòu)和相關(guān)技術(shù) 13
1.3.1 CPS體系結(jié)構(gòu) 13
1.3.2 CPS相關(guān)技術(shù) 18
1.4 CPS設(shè)計(jì)方法學(xué)研究 34
1.4.1 CPS設(shè)計(jì)中存在的問(wèn)題 34
1.4.2 國(guó)外研究情況 36
1.4.3 國(guó)內(nèi)研究情況 37
1.4.4 基于UML的建模與驗(yàn)證 37
1.4.5 基于Petri網(wǎng)的建模與驗(yàn)證 39
1.4.6 基于自動(dòng)機(jī)的建模與驗(yàn)證 39
參考文獻(xiàn) 40
第2章 CPS建模方法與工具 44
2.1 CPS建模方法概述 44
2.1.1 基于函數(shù)及方程的CPS建模方法 44
2.1.2 面向?qū)ο笈c面向角色的CPS建模方法 45
2.1.3 基于組件的CPS建模方法 46
2.1.4 分層與協(xié)同的CPS建模方法 46
2.2 PtolemyⅡ46
2.2.1 PtolemyⅡ簡(jiǎn)介 46
2.2.2 PtolemyⅡ建模環(huán)境 48
2.2.3 PtolemyⅡ特點(diǎn) 49
2.3 Modelica 50
2.3.1 Modelica簡(jiǎn)介 50
2.3.2 Modelica建模環(huán)境 52
2.3.3 Modelica特點(diǎn) 54
2.4 Simulink 55
2.4.1 Simulink簡(jiǎn)介 55
2.4.2 Simulink建模環(huán)境 55
2.4.3 Simulink特點(diǎn) 65
2.5 LabVIEW 65
2.5.1 LabVIEW簡(jiǎn)介 65
2.5.2 LabVIEW建模環(huán)境 67
2.5.3 LabVIEW特點(diǎn) 75
2.6 Multisim 75
2.6.1 Multisim簡(jiǎn)介 75
2.6.2 Multisim建模環(huán)境 76
2.6.3 Multisim特點(diǎn) 80
2.7 Acumen 81
2.7.1 Acumen簡(jiǎn)介 81
2.7.2 Acumen建模環(huán)境 82
2.7.3 Acumen特點(diǎn) 83
2.8 其他建模工具 83
2.8.1 Afra 83
2.8.2 Hydla 85
2.8.3 HyST 85
參考文獻(xiàn) 86
第3章 CPS組件協(xié)同建模 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組件類(lèi)型 94
3.2.4 CPS組件的異元性 96
3.3 CPS組件建模 96
3.3.1 CPS組件基本結(jié)構(gòu) 96
3.3.2 CPS結(jié)構(gòu)模型 98
3.3.3 CPS行為模型 100
3.4 組件演算 101
3.4.1 組合演算 102
3.4.2 分解演算 103
3.5 開(kāi)放性組件建模方法模型實(shí)例 104
參考文獻(xiàn) 106
第4章 CPS異元組件模型可擴(kuò)展一致描述方法 107
4.1 CPS一致描述問(wèn)題 107
4.2 XML描述方法 107
4.3 異元組件的XML描述規(guī)范 108
4.3.1 組件XML描述語(yǔ)法 108
4.3.2 組件結(jié)構(gòu)描述規(guī)范 109
4.3.3 組件行為描述規(guī)范 111
4.4 異元組件的XML描述規(guī)范 113
參考文獻(xiàn) 118
第5章 CPS異元組件模型協(xié)同驗(yàn)證方法 119
5.1 CPS協(xié)同驗(yàn)證技術(shù) 119
5.2 組件的有效性驗(yàn)證 120
5.2.1 組件的完整性驗(yàn)證 120
5.2.2 組件的穩(wěn)定性驗(yàn)證 123
5.3 組件原型的功能仿真 123
5.3.1 函數(shù)組件的功能仿真 123
5.3.2 有限狀態(tài)機(jī)組件的功能仿真 124
5.3.3 復(fù)合組件的功能仿真 124
5.4 組件的綜合和仿真 126
5.4.1 組件的綜合 126
5.4.2 組件的仿真 128
5.5 FPGA在線驗(yàn)證 135
5.5.1 FPGA簡(jiǎn)介 135
5.5.2 FPGA在線驗(yàn)證 135
第6章 CPS建模與驗(yàn)證平臺(tái) 138
6.1 XModel簡(jiǎn)介 138
6.2 XModel系統(tǒng)分析 138
6.2.1 系統(tǒng)開(kāi)發(fā)工具及運(yùn)行環(huán)境 138
6.2.2 系統(tǒng)組成及功能 139
6.3 XModel系統(tǒng)設(shè)計(jì) 140
6.3.1 前端框架設(shè)計(jì) 140
6.3.2 組件XML解析器設(shè)計(jì) 144
6.3.3 XModel組件庫(kù)設(shè)計(jì) 152
6.4 XModel系統(tǒng)實(shí)施 155
6.4.1 組件模型構(gòu)建 155
6.4.2 組件模型編譯 159
6.4.3 組件模型仿真 159
參考文獻(xiàn) 161
第7章醫(yī)療信息物理融合系統(tǒng) 162
7.1 基于XModel平臺(tái)的MCPS組件模型構(gòu)建 162
7.2 仿真方案設(shè)計(jì) 166
7.3 仿真結(jié)果分析與驗(yàn)證 168