面向服務的作戰仿真模型組合建模方法*

鄭世明，史華明

(1.南京陸軍指揮學院作戰實驗中心，江蘇 南京 210045;2.總參國防動員部訓練局，北京 100100)

模型語法組合解決了模型組合的形式化問題，但是由于組合建模還依賴領域知識，例如，如何根據裝備知識確定組合模型的子模型、如何表示組合模型的子模型必須滿足的約束條件、如何根據領域知識確定組合模型的有效性以及如何表達用戶對組合模型的特殊需求等。目前的組合建模方法還不能很好地解決這些問題。因此，本文提出基于領域規則的組合建模方法，采用邏輯規則表示領域知識對組合模型的約束，建立了相應的模型組合規則和約束規則［1］。同時，將模型之間的接口匹配約束也通過邏輯規則表示，建立接口匹配規則。通過知識模板，把組合模型的接口連接數據和子模型數據轉化為事實(Fact)知識，根據模型組合規則和約束規則，借助通用的邏輯推理引擎實現對組合模型的約束檢查和接口匹配檢查。

1 組合建模需求

目前，組合建模技術能夠在一個共同的模型開發和運行環境下，通過定義一個用于組合的公共模型接口集合，在這個集合范圍內實現模型組合，而且模型選擇和組合模型有效性判定等都還需要人工參與。由功能組件構建目標模型時，即使是相同類型的功能組件也有參數化的差異。此外，在模型組合過程中，組合模型受到很多領域知識的約束，由于表示模型行為語義以及判斷行為的等價性目前尚處于理論研究階段，多數仿真系統的模型組合只能實現語法組合［2］。……