|
關(guān)于我們
 書單推薦 新書推薦 |
面向工業(yè)軟件的數(shù)字工程與基于模型的系統(tǒng)工程 
定 價(jià)：68 元
9 7 4 8 9 7 0 1 6 2 5 1 1 讀者對(duì)象:本書適合作為工業(yè)軟件相關(guān)專業(yè)本科生和研究生的參考教材，也適合科研院所的研究人員、工業(yè)界的實(shí)踐者，以及對(duì)數(shù)字工程和系統(tǒng)工程感興趣的專業(yè)人士閱讀。 
本書系統(tǒng)地介紹了面向工業(yè)軟件的數(shù)字工程（DE）與基于模型的系統(tǒng)工程（MBSE）的理論體系、方法論、核心技術(shù)和工程應(yīng)用，討論了 SysML 建模工具的實(shí)現(xiàn)技術(shù)，內(nèi)容涵蓋需求模型開發(fā)、MBSE 工具開發(fā)、執(zhí)行模型與行為仿真、規(guī)則定義與自動(dòng)語法校驗(yàn)等多個(gè)方面，詳細(xì)闡釋了支撐 MBSE 的關(guān)鍵技術(shù)，通過理論描述與工程案例的結(jié)合，幫助讀者全面掌握 DE 和 MBSE 的知識(shí)體系，并獲得參考與啟發(fā)。
于永斌 博士，電子科技大學(xué)信息與軟件工程學(xué)院副教授，公安部信息安全等級(jí)保護(hù)高級(jí)測(cè)評(píng)師，四川省經(jīng)濟(jì)和信息化廳、科技廳、省人防辦、省市場(chǎng)監(jiān)督管理局大數(shù)據(jù)與人工智能專家，四川省大數(shù)據(jù)中心大數(shù)據(jù)標(biāo)準(zhǔn)化技術(shù)委員會(huì)委員。2013年9月-2014年9月，國家公派訪問密西根大學(xué)安娜堡分校（University of Michigan，Ann Arbor），2016年9月-2017年4月，訪問加州大學(xué)圣塔巴巴拉分校（University of California, Santa Barbara），獲得"四川省海外高層次留學(xué)人才”。2016年，獲電子科技大學(xué)第八屆教學(xué)成果二等獎(jiǎng)；2018年，獲西藏自治區(qū)科學(xué)技術(shù)獎(jiǎng)一等獎(jiǎng)。2018年5月-2020年1月，選派到四川省經(jīng)濟(jì)和信息化廳大數(shù)據(jù)產(chǎn)業(yè)推進(jìn)處，任職副處長(zhǎng)。主持/參研國家自然科學(xué)基金8項(xiàng)、國家重點(diǎn)研發(fā)2項(xiàng)、裝發(fā)預(yù)研1項(xiàng)、中國博士后科學(xué)基金1項(xiàng)、國家重點(diǎn)實(shí)驗(yàn)室基金1項(xiàng)、四川省（人工智能）重點(diǎn)研發(fā)1項(xiàng)和多項(xiàng)橫向項(xiàng)目�，F(xiàn)在主持科技部科技創(chuàng)新2030——"新一代人工智能”重大項(xiàng)目、工信部人工智能創(chuàng)新任務(wù)揭榜掛帥項(xiàng)目、國家自然科學(xué)基金面上項(xiàng)目、四川省人工智能重點(diǎn)研發(fā)項(xiàng)目。主要研究方向?yàn)榇髷?shù)據(jù)、人工智能、非線性電路與系統(tǒng)、超大規(guī)模集成電路的版圖設(shè)計(jì)、現(xiàn)代控制理論及其應(yīng)用等。近幾年擔(dān)任多個(gè)學(xué)術(shù)刊物（如IEEE Transactions on Neural Networks and Learning Systems、Neural Networks、Neurocomputing等）的審稿人與國際學(xué)術(shù)會(huì)議的Co-chair，在國內(nèi)外學(xué)術(shù)刊物發(fā)表論文127篇，其中SCI檢索87篇；獲軟件著作權(quán)12項(xiàng)，授權(quán)國家發(fā)明專利18項(xiàng)，出版5部著作。
目 錄
第 1 章 工業(yè)軟件···············································································································1 1.1 工業(yè)軟件的發(fā)展歷程··································································································1 1.1.1 工業(yè)軟件的源頭 ·······························································································1 1.1.2 工業(yè)軟件的發(fā)展動(dòng)力 ·························································································3 1.1.3 工業(yè)軟件的歷史節(jié)點(diǎn)與重要事件··········································································5 1.2 工業(yè)軟件的定義與分類·······························································································8 1.2.1 軟件與軟件定義 ·······························································································8 1.2.2 工業(yè)軟件的定義 ·······························································································9 1.2.3 工業(yè)軟件的分類 ····························································································.10 1.3 工業(yè)軟件的基石·····································································································.12 1.3.1 數(shù)學(xué)是工業(yè)軟件的理論基礎(chǔ)·············································································.12 1.3.2 物理是工業(yè)軟件的原理機(jī)理·············································································.15 1.3.3 計(jì)算機(jī)是工業(yè)軟件的先進(jìn)算力··········································································.16 1.3.4 工程學(xué)是工業(yè)軟件的工程底色··········································································.19 1.4 國外工業(yè)軟件········································································································.20 1.4.1 國外工業(yè)軟件格局 ·························································································.20 1.4.2 北美工業(yè)軟件態(tài)勢(shì) ·························································································.21 1.4.3 日歐工業(yè)軟件態(tài)勢(shì) ·························································································.22 1.4.4 國外工業(yè)軟件“卡脖子”················································································.23 1.5 國內(nèi)工業(yè)軟件········································································································.23 1.5.1 國內(nèi)工業(yè)軟件格局 ·························································································.24 1.5.2 國內(nèi)工業(yè)軟件態(tài)勢(shì) ·························································································.25 1.5.3 國內(nèi)工業(yè)軟件發(fā)展戰(zhàn)略···················································································.26 1.6 工業(yè)軟件的未來·····································································································.27 1.6.1 全球工業(yè)軟件的發(fā)展趨勢(shì)················································································.27 1.6.2 國內(nèi)工業(yè)軟件的發(fā)展重點(diǎn)················································································.28 1.6.3 工業(yè)軟件新引擎是大語言模型··········································································.28 1.6.4 工業(yè)軟件主戰(zhàn)場(chǎng)是基于模型的系統(tǒng)工程······························································.30 1.6.5 工業(yè)軟件主場(chǎng)景是數(shù)字工程·············································································.31 1.7 本章小結(jié) ··············································································································.33 1.8 本章習(xí)題 ··············································································································.33 參考文獻(xiàn)·····················································································································.33 第 2 章 數(shù)字工程············································································································.35 2.1 面向工業(yè)軟件的數(shù)字工程·························································································.35 2.1.1 數(shù)字工程的實(shí)質(zhì) ····························································································.35 2.1.2 數(shù)字工程的定義 ····························································································.35 2.1.3 數(shù)字工程的內(nèi)涵 ····························································································.35 2.2 數(shù)字工程全球發(fā)展態(tài)勢(shì)····························································································.36 2.2.1 中國的數(shù)字工程 ····························································································.36 2.2.2 歐洲的數(shù)字工程 ····························································································.38 2.2.3 美國的數(shù)字工程 ····························································································.39 2.3 數(shù)字工程的背景·····································································································.40 2.4 數(shù)字工程的目的·····································································································.41 2.5 數(shù)字工程的構(gòu)想·····································································································.41 2.6 數(shù)字工程的戰(zhàn)略·····································································································.42 2.7 數(shù)字工程的目標(biāo)和重點(diǎn)領(lǐng)域······················································································.43 2.7.1 目標(biāo) 1：正規(guī)化模型的開發(fā)、集成和使用，為企業(yè)和項(xiàng)目決策提供信息 ····················.43 2.7.2 目標(biāo) 2：提供持久且權(quán)威的真相來源··································································.44 2.7.3 目標(biāo) 3：融入技術(shù)創(chuàng)新，提升工程實(shí)踐·······························································.46 2.7.4 目標(biāo) 4：建立支持性基礎(chǔ)設(shè)施和環(huán)境，以促進(jìn)利益相關(guān)者之間的互動(dòng)、協(xié)作和溝通 ·····.47 2.7.5 目標(biāo) 5：轉(zhuǎn)變文化和勞動(dòng)力，以采用和支持整個(gè)生命周期的數(shù)字工程 ·······················.50 2.8 本章小結(jié) ··············································································································.52 2.9 本章習(xí)題 ··············································································································.52 參考文獻(xiàn)·····················································································································.52 第 3 章 基于模型的系統(tǒng)工程··························································································.53 3.1 MBSE 是數(shù)字工程的基礎(chǔ)和核心················································································.53 3.1.1 MBSE 以模型為核心載體，變革數(shù)字工程···························································.53 3.1.2 MBSE 集成融通多學(xué)科，提升數(shù)字工程······························································.53 3.1.3 MBSE 以數(shù)據(jù)驅(qū)動(dòng)模型，賦能數(shù)字工程······························································.53 3.2 MBSE 的定義與發(fā)展歷程 ·························································································.54 3.2.1 MBSE 的定義 ·······························································································.54 3.2.2 MBSE 的發(fā)展歷程 ························································································.56 3.3 MBSE 方法論 ········································································································.57 3.4 主要 MBSE 方法論 ·································································································.59 3.4.1 RePoSyD ·····································································································.59 3.4.2 OOSEM·······································································································.61 3.4.3 SA ·············································································································.63 3.4.4 ISE＆PPOOA ································································································.64 3.4.5 Vitech MBSE 方法論·······················································································.66 3.4.6 OPM···········································································································.67 3.4.7 Harmony-SE ·································································································.69 3.4.8 ARCADIA ···································································································.70 3.4.9 SYSMOD·····································································································.72 3.4.10 MagicGrid ··································································································.74 3.5 本章小結(jié) ··············································································································.75 3.6 本章習(xí)題 ··············································································································.75 參考文獻(xiàn)·····················································································································.76 第 4 章 MBSE 數(shù)據(jù)互操作性規(guī)范——流程用例和數(shù)據(jù)交換標(biāo)準(zhǔn) ·····································.77 4.1 產(chǎn)業(yè)與技術(shù)概覽·····································································································.79 4.1.1 A＆D 行業(yè)的商業(yè)現(xiàn)實(shí)·····················································································.79 4.1.2 項(xiàng)目概述、假設(shè)和共同的 MBSE 愿景 ································································.79 4.1.3 供應(yīng)商——協(xié)作、多種能力和語言 ····································································.80 4.2 MBSE 數(shù)據(jù)互操作規(guī)范 ····························································································.80 4.2.1 架構(gòu)建模選項(xiàng)及其比較···················································································.83 4.2.2 SysML 圖類型 ······························································································.83 4.2.3 ARCADIA 圖類型··························································································.84 4.3 MBSE 用例 ···········································································································.85 4.3.1 整體 MBSE 過程 ···························································································.85 4.3.2 用例 1：SoS 和將功能接口轉(zhuǎn)換為邏輯系統(tǒng)（UC1） ·············································.86 4.3.3 用例 2：定義系統(tǒng)操作場(chǎng)景（UC2） ··································································.87 4.3.4 用例 3：定義系統(tǒng)規(guī)范包（UC3） ·····································································.88 4.3.5 用例 4：預(yù)先安排驗(yàn)證和驗(yàn)證流程并共同開發(fā)行為模型（UC4）······························.90 4.3.6 用例 5：導(dǎo)出硬件/軟件功能規(guī)范（UC5） ···························································.91 4.3.7 互操作性關(guān)鍵圖類型的用例摘要·······································································.92 4.4 MBSE 互操作性解決方案評(píng)估···················································································.93 4.4.1 互操作性選項(xiàng) ·······························································································.93 4.4.2 第三方能力的探索 ·························································································.93 4.5 本章小結(jié) ··············································································································.95 4.5.1 MBSE 數(shù)據(jù)互操作性——替代方案和臨時(shí)解決方案 ···············································.96 4.5.2 MBSE 數(shù)據(jù)互操作性——觀察和問題 ·································································.96 4.5.3 前進(jìn)計(jì)劃 ·····································································································.97 4.6 本章習(xí)題 ··············································································································.98 參考文獻(xiàn)·····················································································································.98 第 5 章 系統(tǒng)建模語言·····································································································100 5.1 SysML 概述 ··········································································································100 5.2 SysML 需求建模 ····································································································102 5.2.1 概述 ···········································································································102 5.2.2 圖形元素 ·····································································································103 5.2.3 使用示例 ·····································································································105 5.3 SysML 行為建模 ····································································································108 5.3.1 活動(dòng)圖 ········································································································108 5.3.2 交互圖 ········································································································115 5.3.3 狀態(tài)機(jī)圖 ·····································································································121 5.3.4 用例圖 ········································································································124 5.4 SysML 結(jié)構(gòu)及接口建模 ···························································································128 5.4.1 塊定義圖 ·····································································································128 5.4.2 端口和流 ·····································································································142 5.5 SysML 指標(biāo)參數(shù)建模（約束塊） ···············································································155 5.6 本章小結(jié) ··············································································································158 5.7 本章習(xí)題 ··············································································································158 參考文獻(xiàn)·····················································································································158 第 6 章 SysML 建模工具開發(fā)技術(shù)··················································································160 6.1 需求模型開發(fā)技術(shù)··································································································162 6.1.1 需求變更 ·····································································································162 6.1.2 SysML 需求關(guān)系追溯 ·····················································································163 6.2 工具化開發(fā)技術(shù)·····································································································165 6.2.1 Stereotype 建模技術(shù)·······················································································165 6.2.2 鷹眼（Eagle eye） ·························································································167 6.2.3 布局布線 ·····································································································170 6.3 工具可視化特定技術(shù)·······························································································181 6.3.1 基于 QCustomPlot 的可視化 ·············································································181 6.3.2 基于 QMouseEvent 的交互操作 ·········································································183 6.4 本章小結(jié) ··············································································································184 6.5 本章習(xí)題 ··············································································································184 參考文獻(xiàn)·····················································································································184 第 7 章 SysML 行為仿真技術(shù)·························································································186 7.1 SysML 活動(dòng)圖仿真 ·································································································187 7.1.1 活動(dòng)圖仿真目的 ····························································································187 7.1.2 活動(dòng)圖仿真執(zhí)行 ····························································································188 7.2 fUML 抽象語法······································································································189 7.2.1 概述 ···········································································································189 7.2.2 語法包（Syntax Packages）··············································································191 7.2.3 通用結(jié)構(gòu)（Common Structure） ········································································193 7.2.4 值（Values） ································································································195 7.2.5 分類（Classification） ····················································································196 7.2.6 簡(jiǎn)單分類器（Simple Classifiers） ······································································200 7.2.7 結(jié)構(gòu)化分類器（StructuredClassifiers）································································202 7.2.8 包（Packages）·····························································································204 7.2.9 通用行為（Common Behavior） ········································································205 7.2.10 活動(dòng)（Activities）························································································207 7.2.11 動(dòng)作（Action） ···························································································211 7.3 fUML 執(zhí)行模型······································································································218 7.3.1 fUML 執(zhí)行模型的核心概念··············································································219 7.3.2 fUML 執(zhí)行模型的語義、結(jié)構(gòu)、慣例 ·································································219 7.3.3 fUML 執(zhí)行模型語義包····················································································221 7.4 fUML 基礎(chǔ)模型庫···································································································221 7.4.1 一般情況（General）······················································································221 7.4.2 基本類型（Primitive Types）············································································221 7.4.3 基本行為（Primitive Behaviors）·······································································222 7.4.4 通用（Common）··························································································228 7.4.5 基本輸入/輸出（Basic Input/Output） ·································································229 7.5 fUML 基本語義······································································································236 7.5.1 設(shè)計(jì)準(zhǔn)則 ·····································································································236 7.5.2 慣例 ···········································································································236 7.5.3 結(jié)構(gòu)與行為 ··································································································237 7.6 本章小結(jié) ··············································································································237 7.7 本章習(xí)題 ··············································································································238 參考文獻(xiàn)·····················································································································238 第 8 章 SysML 的規(guī)則定義及自動(dòng)語法校驗(yàn)····································································239 8.1 對(duì)象約束語言描述··································································································239 8.2 OCL 抽象語法 ·······································································································240 8.2.1 Types 包 ······································································································240 8.2.2 Expressions 包（表達(dá)式包）·············································································243 8.3 OCL 具體語法 ·······································································································248 8.4 OCL 約束與編譯 ····································································································250 8.5 本章小結(jié) ··············································································································252 8.6 本章習(xí)題 ··············································································································252 參考文獻(xiàn)·····················································································································253 第 9 章 MBSE 實(shí)踐········································································································254 9.1 基于模型的虛擬時(shí)間綜合技術(shù)···················································································254 9.1.1 MBSE 實(shí)現(xiàn)的技術(shù)挑戰(zhàn) ···················································································254 9.1.2 基于模型的虛擬時(shí)間綜合················································································255 9.2 國產(chǎn)自主的虛擬時(shí)間綜合軟件平臺(tái)·············································································255 9.2.1 軟件概述 ·····································································································255 9.2.2 設(shè)計(jì)目標(biāo) ·····································································································255 9.2.3 軟件功能 ·····································································································257 9.2.4 軟件應(yīng)用場(chǎng)景 ·······························································································262 9.3 操作實(shí)踐 ··············································································································263 9.3.1 虛擬系統(tǒng)功能架構(gòu)建�！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ�263 9.3.2 虛擬系統(tǒng)動(dòng)態(tài)行為建�！ぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁぁ�264 9.3.3 虛擬綜合分布式仿真 ······················································································265 9.3.4 虛擬仿真數(shù)據(jù)分析 ·························································································266 9.4 本章小結(jié) ··············································································································266 9.5 本章習(xí)題 ··············································································································266
你還可能感興趣
我要評(píng)論
|
