本書系統(tǒng)地介紹了面向工業(yè)軟件的數(shù)字工程(DE)與基于模型的系統(tǒng)工程(MBSE)的理論體系、方法論、核心技術(shù)和工程應(yīng)用,討論了 SysML 建模工具的實現(xiàn)技術(shù),內(nèi)容涵蓋需求模型開發(fā)、MBSE 工具開發(fā)、執(zhí)行模型與行為仿真、規(guī)則定義與自動語法校驗等多個方面,詳細(xì)闡釋了支撐 MBSE 的關(guān)鍵技術(shù),通過理論描述與工程案例的結(jié)合,幫助讀者全面掌握 DE 和 MBSE 的知識體系,并獲得參考與啟發(fā)。
作者簡介
于永斌 博士,電子科技大學(xué)信息與軟件工程學(xué)院副教授,公安部信息安全等級保護(hù)高級測評師,四川省經(jīng)濟(jì)和信息化廳、科技廳、省人防辦、省市場監(jiān)督管理局大數(shù)據(jù)與人工智能專家,四川省大數(shù)據(jù)中心大數(shù)據(jù)標(biāo)準(zhǔn)化技術(shù)委員會委員。2013年9月-2014年9月,國家公派訪問密西根大學(xué)安娜堡分校(University of Michigan,Ann Arbor),2016年9月-2017年4月,訪問加州大學(xué)圣塔巴巴拉分校(University of California, Santa Barbara),獲得"四川省海外高層次留學(xué)人才”。2016年,獲電子科技大學(xué)第八屆教學(xué)成果二等獎;2018年,獲西藏自治區(qū)科學(xué)技術(shù)獎一等獎。2018年5月-2020年1月,選派到四川省經(jīng)濟(jì)和信息化廳大數(shù)據(jù)產(chǎn)業(yè)推進(jìn)處,任職副處長。主持/參研國家自然科學(xué)基金8項、國家重點研發(fā)2項、裝發(fā)預(yù)研1項、中國博士后科學(xué)基金1項、國家實驗室基金1項、四川省(人工智能)重點研發(fā)1項和多項橫向項目?,F(xiàn)在主持科技部科技創(chuàng)新2030——"新一代人工智能”重大項目、工信部人工智能創(chuàng)新任務(wù)揭榜掛帥項目、國家自然科學(xué)基金面上項目、四川省人工智能重點研發(fā)項目。主要研究方向為大數(shù)據(jù)、人工智能、非線性電路與系統(tǒng)、超大規(guī)模集成電路的版圖設(shè)計、現(xiàn)代控制理論及其應(yīng)用等。近幾年擔(dān)任多個學(xué)術(shù)刊物(如IEEE Transactions on Neural Networks and Learning Systems、Neural Networks、Neurocomputing等)的審稿人與國際學(xué)術(shù)會議的Co-chair,在國內(nèi)外學(xué)術(shù)刊物發(fā)表論文127篇,其中SCI檢索87篇;獲軟件著作權(quán)12項,授權(quán)國家發(fā)明專利18項,出版5部著作。