[發(fā)明專利]一種智能仿真模型的語義描述與一致性檢查方法

在審

• 申請?zhí)枺?/td>: 202111629378.4
• 申請日: 2021-12-28
• 公開（公告）號(hào): CN114510931A
• 公開（公告）日: 2022-05-17
• 發(fā)明（設(shè)計(jì)）人: 張連怡;張晗;卿杜政;楊凱;張承龍;趙迪;梁志勇;謝寶娣;李亞雯
• 申請（專利權(quán)）人: 北京仿真中心;中國人民解放軍63921部隊(duì)
• 主分類號(hào): G06F40/279
• 分類號(hào): G06F40/279;G06F40/30;G06F40/216
• 代理公司: 北京正理專利代理有限公司 11257
• 代理人: 付生輝

本發(fā)明的一個(gè)實(shí)施例公開了一種智能仿真模型的語義描述與一致性檢查方法，包括以下步驟：S10：檢查輸入的智能模型PMML描述文檔，若所述智能模型PMML描述文檔符合PMML描述規(guī)范，則進(jìn)行S30，若不符合PMML描述規(guī)范則重新輸入所述智能模型PMML描述文檔；S30：以描述邏輯對所述智能模型的約束進(jìn)行描述，形成智能模型約束描述文檔；S50：對智能仿真模型框架進(jìn)行語義標(biāo)注，形成智能仿真模型接口約束文檔；S70：根據(jù)所述智能模型約束描述文檔與所述智能仿真模型接口約束文檔內(nèi)容進(jìn)行智能仿真模型的語義一致性檢查。

技術(shù)領(lǐng)域

本發(fā)明涉及智能仿真模型領(lǐng)域。更具體地，涉及一種智能仿真模型的語義描述與一致性檢查方法。

背景技術(shù)

當(dāng)前仿真系統(tǒng)越來越復(fù)雜，仿真模型之間的連接交互關(guān)系逐步增多，檢查仿真模型與模型之間的連接是否正確變得越來越困難。常規(guī)的仿真模型與模型之間的檢查是基于類型系統(tǒng)實(shí)現(xiàn)的，通過接口之間的數(shù)據(jù)類型是否匹配判斷連接的正確性。當(dāng)前除了數(shù)據(jù)類型的匹配檢查之外，更重要的是檢查模型接口數(shù)據(jù)語義是否匹配。比如單位含義的混淆，一個(gè)單位是米，另一個(gè)單位是千米。當(dāng)前已經(jīng)有一些研究工作對復(fù)雜系統(tǒng)的模型單位、錯(cuò)位、含義、連接許可等進(jìn)行檢查。

當(dāng)前基于本體的領(lǐng)域描述語言方法可以一致嚴(yán)格的描述各種領(lǐng)域約束問題，建立模型與模型之間領(lǐng)域語義的有效映射，實(shí)現(xiàn)語義的一致性檢查。現(xiàn)有的基于描述邏輯的方法對復(fù)雜仿真系統(tǒng)模型組件進(jìn)行標(biāo)注和檢查。使用概念格元素、描述邏輯表示領(lǐng)域語義，則可基于描述邏輯確定格中元素是否滿足約束邏輯規(guī)則，是否可互連互通互操作，并能保證互連互通互操作規(guī)則的一致性。

基于服務(wù)化的仿真試驗(yàn)環(huán)境中，各種智能算法、軟件、平臺(tái)經(jīng)過注冊、封裝和發(fā)布后，通過遠(yuǎn)程過程調(diào)用、發(fā)布/訂閱等方式集成進(jìn)仿真模型中，容易出現(xiàn)集成的智能軟件、平臺(tái)、算法與仿真模型調(diào)用框架之間接口不匹配、連接不許可等沖突問題。當(dāng)前已經(jīng)有一些基于描述邏輯的復(fù)雜仿真系統(tǒng)模型語義一致檢查研究工作，但是還有沒有對應(yīng)集成進(jìn)仿真模型框架的智能平臺(tái)、軟件和算法進(jìn)行語義標(biāo)注和檢查的工作。

發(fā)明內(nèi)容

本發(fā)明的目的在于提供一種智能仿真模型的語義描述與一致性檢查方法，實(shí)現(xiàn)智能仿真模型沖突檢測和語義一致性檢查。

為達(dá)到上述目的，本發(fā)明采用下述技術(shù)方案：

本發(fā)明提供一種智能仿真模型的語義描述與一致性檢查方法，包括以下步驟：

S10：檢查輸入的智能模型PMML描述文檔，若所述智能模型PMML描述文檔符合PMML描述規(guī)范，則進(jìn)行S30，若不符合PMML描述規(guī)范則重新輸入所述智能模型PMML描述文檔；

S30：以描述邏輯對所述智能模型的約束進(jìn)行描述，形成智能模型約束描述文檔；

S50：對智能仿真模型框架進(jìn)行語義標(biāo)注，形成智能仿真模型接口約束文檔；

S70：根據(jù)所述智能模型約束描述文檔與所述智能仿真模型接口約束文檔內(nèi)容進(jìn)行智能仿真模型的語義一致性檢查。

在一個(gè)具體示例中，通過XSD+XSTL方式驗(yàn)證輸入的智能模型PMML描述文檔是否符合PMML描述規(guī)范。

在一個(gè)具體示例中，步驟S10還包括：對符合PMML描述規(guī)范的智能模型PMML描述文檔進(jìn)行語義驗(yàn)證，通過擴(kuò)展樣式表語言轉(zhuǎn)換工具將模型轉(zhuǎn)換成其他格式，檢查各部分描述的一致性。

在一個(gè)具體示例中，所述對智能仿真模型框架進(jìn)行語義標(biāo)注包括：

采用OWL DL方式對所述智能仿真模型接口約束進(jìn)行描述。

在一個(gè)具體示例中，所述智能仿真模型的語義一致性檢查包括：智能模型與智能模型之間的接口是否匹配、智能模型輸出部署是否符合所述智能仿真模型接口約束。

在一個(gè)具體示例中，所述約束包括：接口匹配關(guān)系、接口連接關(guān)系、包含關(guān)系和數(shù)據(jù)關(guān)系。