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

在審

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

1.一種智能仿真模型的語義描述與一致性檢查方法，其特征在于，包括以下步驟：

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

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

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

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

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，通過XSD+XSTL方式檢查輸入的智能模型PMML描述文檔是否符合PMML描述規(guī)范。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，步驟S10還包括：對(duì)符合PMML描述規(guī)范的智能模型PMML描述文檔進(jìn)行語義驗(yàn)證，通過擴(kuò)展樣式表語言轉(zhuǎn)換工具將模型轉(zhuǎn)換成其他格式，檢查各部分描述的一致性。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述對(duì)智能仿真模型框架進(jìn)行語義標(biāo)注包括：

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

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述智能仿真模型的語義一致性檢查包括：智能模型與智能模型之間的接口是否匹配、智能模型輸出部署是否符合所述智能仿真模型接口約束。

6.根據(jù)權(quán)利要求4所述的方法，其特征在于，所述約束包括：接口匹配關(guān)系、接口連接關(guān)系、包含關(guān)系和數(shù)據(jù)關(guān)系。

7.根據(jù)權(quán)利要求4所述的方法，其特征在于，采用推理機(jī)Racer來實(shí)現(xiàn)智能仿真模型的語義一致性檢查，若語義一致，則實(shí)現(xiàn)模型連接，若語義有沖突，則在用戶界面進(jìn)行顯示所述沖突語義信息。