本書系統(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 的知識體系,并獲得參考與啟發(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é)成果二等獎(jiǎng);2018年,獲西藏自治區(qū)科學(xué)技術(shù)獎(jiǎng)一等獎(jiǎng)。2018年5月-2020年1月,選派到四川省經(jīng)濟(jì)和信息化廳大數(shù)據(jù)產(chǎn)業(yè)推進(jìn)處,任職副處長。主持/參研國家自然科學(xué)基金8項(xiàng)、國家重點(diǎn)研發(fā)2項(xiàng)、裝發(fā)預(yù)研1項(xiàng)、中國博士后科學(xué)基金1項(xiàng)、國家實(shí)驗(yàn)室基金1項(xiàng)、四川?。ㄈ斯ぶ悄埽┲攸c(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ù)會議的Co-chair,在國內(nèi)外學(xué)術(shù)刊物發(fā)表論文127篇,其中SCI檢索87篇;獲軟件著作權(quán)12項(xiàng),授權(quán)國家發(fā)明專利18項(xiàng),出版5部著作。