[發(fā)明專利]一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)

有效

• 申請?zhí)枺?/td>: 201410081701.2
• 申請日: 2014-03-06
• 公開（公告）號: CN103870562B
• 公開（公告）日: 2017-04-19
• 發(fā)明（設(shè)計）人: 孫巖;王若思;羅紅
• 申請（專利權(quán)）人: 北京郵電大學(xué)
• 主分類號: G06F17/30
• 分類號: G06F17/30;G06F17/50
• 代理公司: 北京派特恩知識產(chǎn)權(quán)代理有限公司11270
• 代理人: 張穎玲,王黎延

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

本發(fā)明涉及無線感知反應(yīng)網(wǎng)絡(luò)技術(shù)，尤其涉及一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)。

背景技術(shù)

基于無線感知反應(yīng)網(wǎng)絡(luò)的智能樓宇系統(tǒng)，最主要的特征在于智能樓宇系統(tǒng)的智能化，通過在建筑物內(nèi)搭建一個通信鏈路，對整個建筑物的信息進行傳輸和處理。其中，信息處理涵蓋了整個樓宇的智能管理，通過對設(shè)備、環(huán)境等一系列相關(guān)信息的自動化控制和管理，以實現(xiàn)建筑物智能化管理的目的，使樓宇內(nèi)的資源利用達到最佳的狀態(tài)。

智能樓宇系統(tǒng)中，為了靈活面對商業(yè)變化，引入了規(guī)則引擎技術(shù)，將控制邏輯以服務(wù)規(guī)則的方式存貯在本地規(guī)則庫中，從而將商業(yè)邏輯從程序代碼中分離，用戶通過添加、更改服務(wù)規(guī)則實現(xiàn)各種按需的控制功能。

隨著系統(tǒng)的擴大、用戶的增多、以及用戶需求的不確定性，使得事件量與規(guī)則庫的容量不斷擴張，規(guī)則系統(tǒng)會面臨規(guī)則內(nèi)容冗余甚至沖突等問題，影響規(guī)則系統(tǒng)運行效率，甚至導(dǎo)致規(guī)則系統(tǒng)操作異常。因此，在搭建規(guī)則系統(tǒng)時，必須要加入規(guī)則驗證機制來維持規(guī)則系統(tǒng)的正常有效運行。

現(xiàn)有的規(guī)則驗證主要是針對專家系統(tǒng)的沖突檢測機制，在規(guī)則添加時驗證規(guī)則或者在規(guī)則執(zhí)行時驗證規(guī)則，不夠全面，同時用布爾表達方式來表達沖突的存在，不夠靈活，無法表現(xiàn)出實際使用中沖突真正發(fā)生的可能性大小，因為如果兩條規(guī)則間雖然存在邏輯沖突，但是沖突發(fā)生的環(huán)境在實際中很少滿足，那么，這兩條規(guī)則實際導(dǎo)致系統(tǒng)出錯的概率也會很低。

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

有鑒于此，本發(fā)明實施例期望提供一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)，能增強規(guī)則驗證的靈活性與可靠性，提高系統(tǒng)執(zhí)行的效率。

為達到上述目的，本發(fā)明的技術(shù)方案是這樣實現(xiàn)的：

本發(fā)明實施例提供了一種智能樓宇系統(tǒng)中的規(guī)則驗證方法，所述方法包括：對新建規(guī)則進行新建規(guī)則驗證，確定存在潛在沖突時，獲得所述潛在沖突的解決方案；

確定所述新建規(guī)則的執(zhí)行條件滿足時，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在設(shè)備沖突和/或環(huán)境沖突時，獲得相應(yīng)的解決方案。

上述方案中，所述對新建規(guī)則進行新建規(guī)則驗證包括：將所述新建規(guī)則輸入規(guī)則庫并發(fā)送新建規(guī)則驗證請求，利用控制區(qū)域信息樹，通過掃描形式化規(guī)則的字段內(nèi)容將所述新建規(guī)則與其他有地理關(guān)聯(lián)的規(guī)則逐條比對，完成設(shè)備沖突檢測。

上述方案中，所述確定存在潛在沖突之后，獲得所述潛在沖突的解決方案之前，該方法還包括：對所述新建規(guī)則進行沖突概率計算，并發(fā)送包含沖突信息的沖突解決方案請求。

上述方案中，所述獲得所述潛在沖突的解決方案包括：分析沖突規(guī)則中的服務(wù)Service和用戶User，并將所述Service和User映射到?jīng)_突處理表中，獲得所述潛在沖突的解決方案。

上述方案中，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證之前，該方法還包括：將所述新建規(guī)則輸入運行規(guī)則庫并發(fā)送執(zhí)行規(guī)則驗證請求。

上述方案中，所述對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在所述設(shè)備沖突和/或環(huán)境沖突時，獲得相應(yīng)的解決方案包括：先對所述新建規(guī)則進行設(shè)備沖突驗證，確定存在設(shè)備沖突時，讀取所述新建規(guī)則相應(yīng)字段中的解決方案，確定選擇所述新建規(guī)則后，對所述新建規(guī)則進行環(huán)境沖突檢測，確定存在環(huán)境沖突時，分析沖突規(guī)則中的Service和User，并將所述Service和User映射到?jīng)_突處理表中，獲得所述環(huán)境沖突的解決方案，并依據(jù)所述環(huán)境沖突的解決方案，選擇規(guī)則執(zhí)行。

上述方案中，對所述規(guī)則進行沖突概率計算包括：從知識庫中提取與所述規(guī)則相匹配的知識，然后利用沖突概率計算公式進行沖突概率的計算；其中，當環(huán)境參數(shù)唯一時，所述沖突概率計算公式為：

e為環(huán)境參數(shù)，x為環(huán)境參數(shù)變量，為兩規(guī)則中參數(shù)e取值范圍的交集，當環(huán)境參數(shù)有多個時，所述沖突概率計算公式為：

e_i為給定兩規(guī)則R1和R2中e₁，e₂，e₃，…，e_i，…e_n中的第i個環(huán)境參數(shù)。

本發(fā)明實施例還提供了一種智能樓宇系統(tǒng)中的規(guī)則驗證系統(tǒng)，所述系統(tǒng)包括：新建規(guī)則驗證模塊、沖突處理模塊、規(guī)則執(zhí)行模塊和執(zhí)行規(guī)則驗證模塊；其中，

所述新建規(guī)則驗證模塊，用于對新建規(guī)則進行新建規(guī)則驗證，并判斷是否存在潛在沖突；

所述沖突處理模塊，用于在確定存在潛在沖突時，獲得所述潛在沖突的解決方案，以及在確定存在環(huán)境沖突時，獲得所述環(huán)境沖突的解決方案；