技術(shù)特征：

1.一種基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，包括：

2.根據(jù)權(quán)利要求1所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，所述智能建筑系統(tǒng)規(guī)則模型為五元組r:＝<t,a,r,p,c>；其中：

3.根據(jù)權(quán)利要求2所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，步驟1中的利用統(tǒng)計(jì)模型檢驗(yàn)技術(shù)，計(jì)算所述智能建筑系統(tǒng)規(guī)則模型所定義的每條規(guī)則的執(zhí)行動(dòng)作可達(dá)性的步驟，包括：

4.根據(jù)權(quán)利要求3所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，所述規(guī)則執(zhí)行動(dòng)作可達(dá)性表達(dá)式為：pr[<＝time](ai)，表示第i條規(guī)則的執(zhí)行動(dòng)作在time時(shí)刻內(nèi)的執(zhí)行動(dòng)作可達(dá)性。

5.根據(jù)權(quán)利要求3所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，所述目標(biāo)統(tǒng)計(jì)模型檢驗(yàn)工具為uppaal-smc。

6.根據(jù)權(quán)利要求4所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，步驟2包括：

7.根據(jù)權(quán)利要求6所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，步驟2-1還包括：

8.根據(jù)權(quán)利要求6所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，所述預(yù)設(shè)條件為：每相鄰兩條規(guī)則中的前一條規(guī)則的執(zhí)行動(dòng)作等于后一條規(guī)則的觸發(fā)條件，且最后一條規(guī)則的執(zhí)行動(dòng)作等于第一條規(guī)則的觸發(fā)條件。

9.根據(jù)權(quán)利要求6至8任一項(xiàng)所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，步驟2-2包括：

10.根據(jù)權(quán)利要求9所述的基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，其特征在于，步驟2-3包括：

技術(shù)總結(jié)
本發(fā)明涉及智能建筑技術(shù)領(lǐng)域，具體公開一種基于統(tǒng)計(jì)模型檢驗(yàn)的智能建筑系統(tǒng)規(guī)則沖突檢測方法，該方法包括：基于價(jià)格時(shí)間自動(dòng)機(jī)網(wǎng)絡(luò)，構(gòu)建智能建筑系統(tǒng)規(guī)則模型，并利用統(tǒng)計(jì)模型檢驗(yàn)技術(shù)，計(jì)算所述智能建筑系統(tǒng)規(guī)則模型所定義的每條規(guī)則的執(zhí)行動(dòng)作可達(dá)性；基于每條規(guī)則的執(zhí)行動(dòng)作可達(dá)性，判斷智能建筑系統(tǒng)是否存在規(guī)則循環(huán)沖突、執(zhí)行動(dòng)作沖突、時(shí)空交叉沖突、條件覆蓋沖突、系統(tǒng)約束沖突、觸發(fā)條件沖突、規(guī)則覆蓋沖突或執(zhí)行結(jié)果沖突。本發(fā)明能夠有效降低智能建筑系統(tǒng)規(guī)則建模與沖突檢測的難度，并提高了智能建筑系統(tǒng)的可靠性。

技術(shù)研發(fā)人員：韓德帥,蔡艷平,馬光蓮,姜柯,李愛華,馮國彥,年夢婷
受保護(hù)的技術(shù)使用者：中國人民解放軍火箭軍工程大學(xué)
技術(shù)研發(fā)日：
技術(shù)公布日：2025/1/9