《基於MDA的複雜系統生成式仿真建模方法研究》是依託中國人民解放軍國防科技大學,由雷永林擔任項目負責人的面上項目。
基本介紹
- 中文名:基於MDA的複雜系統生成式仿真建模方法研究
- 項目類別:面上項目
- 項目負責人:雷永林
- 依託單位:中國人民解放軍國防科技大學
中文摘要,結題摘要,
中文摘要
複雜系統仿真迫切需要能夠同時支持多領域分別獨立針對性建模和全系統統一集成仿真的方法。當前的主流方法是高層體系結構(HLA),而HLA僅能解決統一仿真的問題。本項目擬遵循軟體領域的生成式建模思想,綜合利用其兩大流派:模型驅動架構(MDA)和模型集成計算(MIC)的相關先進技術和規範,面向仿真研究設計複雜系統生成式仿真建模方法論,圍繞其中的多領域仿真模型公共表示、多建模形式體系的映射與變換以及領域建模工具的自動生成三大關鍵問題展開研究。通過在仿真模型可移植性標準(SMP2)的基礎上構建多領域仿真模型公共表示規範,基於模型變換技術集成各種仿真建模形式體系以增強SMP2的行為建模能力,利用元建模技術實現領域仿真建模工具的自動生成,進而通過領域模型到行為建模形式體系的模型變換來實現領域建模語言的形式化語義錨定,從而實現領域可執行仿真模型的自動生成,最終實現複雜系統多領域生成式仿真建模與統一仿真。
結題摘要
複雜系統仿真迫切需要能夠同時支持多領域分別獨立針對性建模和全系統統一集成仿真的方法。本項目遵循軟體領域的生成式建模思想,綜合利用其兩大流派:模型驅動架構(MDA)和模型集成計算(MIC)的相關先進技術和規範,面向仿真研究設計複雜系統生成式仿真建模方法論,圍繞其中的多領域仿真模型公共表示、多建模形式體系的映射與變換以及領域建模工具的自動生成三大關鍵問題展開研究。取得了以下具有創新性的成果:1、提出了基於模型驅動架構(MDA)的複雜系統生成式仿真建模方法該方法包括基於SMP2的生成式仿真建模方法,多形式體系使能的複雜系統生成式建模方法和領域特定仿真建模方法三個方面,分別給出了方法的參考框架。2、基於SMP2搭建了生成式仿真模型的公共表示規範深入研究了大型複雜仿真套用系統對仿真模型規範的表示需求,系統梳理了傳統的各類仿真模型規範,總結了各類規範在滿足複雜系統仿真模型表示需求上存在的不足,提出了基於SMP2的生成式仿真模型公共表示規範,指出了其優越性,並實現了SMP2規範的模型開發與仿真運行環境。3、研究了DEVS和Statecharts向SMP2的映射和模型變換技術以DEVS和Statecharts兩種形式體系為例,研究了建模形式體系向SMP2模型規範轉換的相關方法、框架、模型和技術,說明了SMP2作為生成式建模規範的有效性。4、基於GME和SMP2構建了面向領域的複雜系統生成式仿真建模一體化環境基於GME和SMP2構建了面向領域的複雜系統生成式仿真建模一體化環境,其中基於GME環境實現形式體系建模工具,基於GReAT和BON技術實現形式體系模型到SMP2/C++模型的自動生成,進而在基於SMP2的Sim2000仿真環境中運行。5、以武器裝備效能仿真為典型套用領域進行了生成式建模示範研究結合武器裝備效能仿真領域的實際特點,搭建了物理域-認知域二分的武器裝備效能仿真的可組合模型框架,並分別在物理域和認知域進行了基於形式體系的生成式建模實驗驗證,結果充分證明了本項目所提方法的可行性和有效性。