一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)的制作方法
【專利摘要】本發(fā)明公開了一種智能樓宇系統(tǒng)中的規(guī)則驗證方法，對新建規(guī)則進行新建規(guī)則驗證，確定存在潛在沖突時，獲得所述潛在沖突的解決方案；確定所述新建規(guī)則的執(zhí)行條件滿足時，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在設(shè)備沖突和/或環(huán)境沖突時，獲得相應(yīng)的解決方案。本發(fā)明還公開了一種智能樓宇系統(tǒng)中的規(guī)則驗證系統(tǒng)。
【專利說明】一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及無線感知反應(yīng)網(wǎng)絡(luò)技術(shù)，尤其涉及一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)。
【背景技術(shù)】
[0002]基于無線感知反應(yīng)網(wǎng)絡(luò)的智能樓宇系統(tǒng)，最主要的特征在于智能樓宇系統(tǒng)的智能化，通過在建筑物內(nèi)搭建一個通信鏈路，對整個建筑物的信息進行傳輸和處理。其中，信息處理涵蓋了整個樓宇的智能管理，通過對設(shè)備、環(huán)境等一系列相關(guān)信息的自動化控制和管理，以實現(xiàn)建筑物智能化管理的目的，使樓宇內(nèi)的資源利用達到最佳的狀態(tài)。
[0003]智能樓宇系統(tǒng)中，為了靈活面對商業(yè)變化，引入了規(guī)則引擎技術(shù)，將控制邏輯以服務(wù)規(guī)則的方式存貯在本地規(guī)則庫中，從而將商業(yè)邏輯從程序代碼中分離，用戶通過添加、更改服務(wù)規(guī)則實現(xiàn)各種按需的控制功能。
[0004]隨著系統(tǒng)的擴大、用戶的增多、以及用戶需求的不確定性，使得事件量與規(guī)則庫的容量不斷擴張，規(guī)則系統(tǒng)會面臨規(guī)則內(nèi)容冗余甚至沖突等問題，影響規(guī)則系統(tǒng)運行效率，甚至導致規(guī)則系統(tǒng)操作異常。因此，在搭建規(guī)則系統(tǒng)時，必須要加入規(guī)則驗證機制來維持規(guī)則系統(tǒng)的正常有效運行。
[0005]現(xiàn)有的規(guī)則驗證主要是針對專家系統(tǒng)的沖突檢測機制，在規(guī)則添加時驗證規(guī)則或者在規(guī)則執(zhí)行時驗證規(guī)則，不夠全面，同時用布爾表達方式來表達沖突的存在，不夠靈活，無法表現(xiàn)出實際使用中沖突真正發(fā)生的可能性大小，因為如果兩條規(guī)則間雖然存在邏輯沖突，但是沖突發(fā)生的環(huán)境在實際中很少滿足，那么，這兩條規(guī)則實際導致系統(tǒng)出錯的概率也會很低。

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

[0006]有鑒于此，本發(fā)明實施例期望提供一種智能樓宇系統(tǒng)中的規(guī)則驗證方法及系統(tǒng)，能增強規(guī)則驗證的靈活性與可靠性，提高系統(tǒng)執(zhí)行的效率。
[0007]為達到上述目的，本發(fā)明的技術(shù)方案是這樣實現(xiàn)的:
[0008]本發(fā)明實施例提供了一種智能樓宇系統(tǒng)中的規(guī)則驗證方法，所述方法包括:對新建規(guī)則進行新建規(guī)則驗證，確定存在潛在沖突時，獲得所述潛在沖突的解決方案；
[0009]確定所述新建規(guī)則的執(zhí)行條件滿足時，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在設(shè)備沖突和/或環(huán)境沖突時，獲得相應(yīng)的解決方案。
[0010]上述方案中，所述對新建規(guī)則進行新建規(guī)則驗證包括:將所述新建規(guī)則輸入規(guī)則庫并發(fā)送新建規(guī)則驗證請求，利用控制區(qū)域信息樹，通過掃描形式化規(guī)則的字段內(nèi)容將所述新建規(guī)則與其他有地理關(guān)聯(lián)的規(guī)則逐條比對，完成設(shè)備沖突檢測。
[0011]上述方案中，所述確定存在潛在沖突之后，獲得所述潛在沖突的解決方案之前，該方法還包括:對所述新建規(guī)則進行沖突概率計算，并發(fā)送包含沖突信息的沖突解決方案請求。[0012]上述方案中，所述獲得所述潛在沖突的解決方案包括:分析沖突規(guī)則中的服務(wù)Service和用戶User,并將所述Service和User映射到?jīng)_突處理表中，獲得所述潛在沖突的解決方案。
[0013]上述方案中，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證之前，該方法還包括:將所述新建規(guī)則輸入運行規(guī)則庫并發(fā)送執(zhí)行規(guī)則驗證請求。
[0014]上述方案中，所述對所述新建規(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í)行。
[0015]上述方案中，對所述規(guī)則進行沖突概率計算包括:從知識庫中提取與所述規(guī)則相匹配的知識，然后利用沖突概率計算公式進行沖突概率的計算；其中，當環(huán)境參數(shù)唯一時，所述沖突概率計算公式為:
[0016]
【權(quán)利要求】
1.一種智能樓宇系統(tǒng)中的規(guī)則驗證方法，其特征在于，所述方法包括:對新建規(guī)則進行新建規(guī)則驗證，確定存在潛在沖突時，獲得所述潛在沖突的解決方案； 確定所述新建規(guī)則的執(zhí)行條件滿足時，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在設(shè)備沖突和/或環(huán)境沖突時，獲得相應(yīng)的解決方案。
2.根據(jù)權(quán)利要求1所述方法，其特征在于，所述對新建規(guī)則進行新建規(guī)則驗證包括:將所述新建規(guī)則輸入規(guī)則庫并發(fā)送新建規(guī)則驗證請求，利用控制區(qū)域信息樹，通過掃描形式化規(guī)則的字段內(nèi)容將所述新建規(guī)則與其他有地理關(guān)聯(lián)的規(guī)則逐條比對，完成設(shè)備沖突檢測。
3.根據(jù)權(quán)利要求1所述方法，其特征在于，所述確定存在潛在沖突之后，獲得所述潛在沖突的解決方案之前，該方法還包括:對所述新建規(guī)則進行沖突概率計算，并發(fā)送包含沖突信息的沖突解決方案請求。
4.根據(jù)權(quán)利要求1所述方法，其特征在于，所述獲得所述潛在沖突的解決方案包括:分析沖突規(guī)則中的服務(wù)Service和用戶User,并將所述Service和User映射到?jīng)_突處理表中，獲得所述潛在沖突的解決方案。
5.根據(jù)權(quán)利要求1所述方法，其特征在于，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證之前，該方法還包括:將所述新建規(guī)則輸入運行規(guī)則庫并發(fā)送執(zhí)行規(guī)則驗證請求。
6.根據(jù)權(quán)利要求1所述方法，其特征在于，所述對所述新建規(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í)行。
7.根據(jù)權(quán)利要求3所述方 法，其特征在于，對所述規(guī)則進行沖突概率計算包括:從知識庫中提取與所述規(guī)則相匹配的知識，然后利用沖突概率計算公式進行沖突概率的計算；其中，當環(huán)境參數(shù)唯一時，所述沖突概率計算公式為:


= f./:(.'.)<*，


Αφ e為環(huán)境參數(shù)，X為環(huán)境參數(shù)變量，Z爐為兩規(guī)則中參數(shù)e取值范圍的交集,當環(huán)境參數(shù)有多個時，所述沖突概率計算公式為: cd^=，

V /=1 ei為給定兩規(guī)則Rl和R2中e1; e2, e3,…，ei;…en中的第i個環(huán)境參數(shù)。
8.一種智能樓宇系統(tǒng)中的規(guī)則驗證系統(tǒng)，其特征在于，所述系統(tǒng)包括:新建規(guī)則驗證模塊、沖突處理模塊、規(guī)則執(zhí)行模塊和執(zhí)行規(guī)則驗證模塊；其中， 所述新建規(guī)則驗證模塊，用于對新建規(guī)則進行新建規(guī)則驗證，并判斷是否存在潛在沖關(guān); 所述沖突處理模塊，用于在確定存在潛在沖突時，獲得所述潛在沖突的解決方案，以及在確定存在環(huán)境沖突時，獲得所 述環(huán)境沖突的解決方案；所述規(guī)則執(zhí)行模塊，用于確定所述新建規(guī)則的執(zhí)行條件是否滿足； 所述執(zhí)行規(guī)則驗證模塊，用于在確定所述新建規(guī)則的執(zhí)行條件滿足時，對所述新建規(guī)則進行執(zhí)行規(guī)則驗證，確定存在設(shè)備沖突時，讀取所述設(shè)備沖突的解決方案，確定存在環(huán)境沖突時，發(fā)送所述環(huán)境沖突解決方案請求給沖突處理模塊。
9.根據(jù)權(quán)利要求8所述系統(tǒng)，其特征在于，所述系統(tǒng)還包括:新建規(guī)則輸入模塊、知識庫、規(guī)則庫、沖突處理策略庫和運行規(guī)則庫；其中， 所述新建規(guī)則輸入模塊，用于將所述新建規(guī)則輸入規(guī)則庫以及發(fā)送新建規(guī)則請求給新建規(guī)則驗證模塊； 所述知識庫，用于存儲與所述規(guī)則相匹配的知識以及環(huán)境參量的正常值范圍及分布； 所述規(guī)則庫，用于存儲所述系統(tǒng)中的所有規(guī)則； 所述沖突處理策略庫，用于存儲沖突處理策略； 所述運行規(guī)則庫，用于存儲等待執(zhí)行以及正在執(zhí)行的規(guī)則。
10.根據(jù)權(quán)利要求8所述系統(tǒng)，其特征在于，所述沖突處理模塊還用于將環(huán)境沖突解決方案發(fā)送給規(guī)則執(zhí)行模塊； 所述新建規(guī)則驗證模塊，還用于對所述新建規(guī)則進行沖突概率計算，并發(fā)送包含沖突信息的沖突解決方案請求給沖突處理模塊； 所述規(guī)則執(zhí)行模塊，還用于確定所述新建規(guī)則的執(zhí)行條件滿足時，將所述新建規(guī)則輸入運行規(guī)則庫并發(fā)送執(zhí)行規(guī)則驗證請求給執(zhí)行規(guī)則驗證模塊，以及接收沖突處理模塊發(fā)送的環(huán)境沖突解決方案，并依據(jù)所述解決方案選擇規(guī)則執(zhí)行。
【文檔編號】G06F17/30GK103870562SQ201410081701
【公開日】2014年6月18日 申請日期:2014年3月6日 優(yōu)先權(quán)日:2014年3月6日
【發(fā)明者】孫巖, 王若思, 羅紅 申請人:北京郵電大學