[發明專利]一種智能樓宇系統中的規則驗證方法及系統

有效

• 申請號: 201410081701.2
• 申請日: 2014-03-06
• 公開（公告）號: CN103870562B
• 公開（公告）日: 2017-04-19
• 發明（設計）人: 孫巖;王若思;羅紅
• 申請（專利權）人: 北京郵電大學
• 主分類號: G06F17/30
• 分類號: G06F17/30;G06F17/50
• 代理公司: 北京派特恩知識產權代理有限公司11270
• 代理人: 張穎玲,王黎延

1.一種智能樓宇系統中的規則驗證方法，其特征在于，所述方法包括：對新建規則進行新建規則驗證，確定存在潛在沖突時，獲得所述潛在沖突的解決方案；

確定所述新建規則的執行條件滿足時，對所述新建規則進行執行規則驗證，確定存在設備沖突和/或環境沖突時，獲得相應的解決方案；

其中，所述對新建規則進行新建規則驗證包括：將所述新建規則輸入規則庫并發送新建規則驗證請求，利用控制區域信息樹，通過掃描形式化規則的字段內容將所述新建規則與其他有地理關聯的規則逐條比對，完成設備沖突檢測。

2.根據權利要求1所述方法，其特征在于，所述確定存在潛在沖突之后，獲得所述潛在沖突的解決方案之前，該方法還包括：對所述新建規則進行沖突概率計算，并發送包含沖突信息的沖突解決方案請求。

3.根據權利要求1所述方法，其特征在于，所述獲得所述潛在沖突的解決方案包括：分析沖突規則中的服務Service和用戶User，并將所述Service和User映射到沖突處理表中，獲得所述潛在沖突的解決方案。

4.根據權利要求1所述方法，其特征在于，對所述新建規則進行執行規則驗證之前，該方法還包括：將所述新建規則輸入運行規則庫并發送執行規則驗證請求。

5.根據權利要求1所述方法，其特征在于，所述對所述新建規則進行執行規則驗證，確定存在所述設備沖突和/或環境沖突時，獲得相應的解決方案包括：先對所述新建規則進行設備沖突驗證，確定存在設備沖突時，讀取所述新建規則相應字段中的解決方案，確定選擇所述新建規則后，對所述新建規則進行環境沖突檢測，確定存在環境沖突時，分析沖突規則中的Service和User，并將所述Service和User映射到沖突處理表中，獲得所述環境沖突的解決方案，并依據所述環境沖突的解決方案，選擇規則執行。

6.根據權利要求2所述方法，其特征在于，對所述規則進行沖突概率計算 包括：從知識庫中提取與所述規則相匹配的知識，然后利用沖突概率計算公式進行沖突概率的計算；其中，當環境參數唯一時，所述沖突概率計算公式為：

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

e_i為給定兩規則R1和R2中e₁，e₂，e₃，…，e_i，…e_n中的第i個環境參數。

7.一種智能樓宇系統中的規則驗證系統，其特征在于，所述系統包括：新建規則驗證模塊、沖突處理模塊、規則執行模塊、執行規則驗證模塊和新建規則輸入模塊；其中，

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

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

所述規則執行模塊，用于確定所述新建規則的執行條件是否滿足；

所述執行規則驗證模塊，用于在確定所述新建規則的執行條件滿足時，對所述新建規則進行執行規則驗證，確定存在設備沖突時，讀取所述設備沖突的解決方案，確定存在環境沖突時，發送所述環境沖突解決方案請求給沖突處理模塊；

所述新建規則輸入模塊，用于將所述新建規則輸入規則庫以及發送新建規則請求給新建規則驗證模塊；

其中，所述對新建規則進行新建規則驗證包括：利用控制區域信息樹，通過掃描形式化規則的字段內容，將所述新建規則與規則庫中其他有地理關聯的規則逐條比對，完成設備沖突檢測。

8.根據權利要求7所述系統，其特征在于，所述系統還包括：知識庫、規 則庫、沖突處理策略庫和運行規則庫；其中，

所述知識庫，用于存儲與所述規則相匹配的知識以及環境參量的正常值范圍及分布；

所述規則庫，用于存儲所述系統中的所有規則；

所述沖突處理策略庫，用于存儲沖突處理策略；

所述運行規則庫，用于存儲等待執行以及正在執行的規則。

9.根據權利要求7所述系統，其特征在于，所述沖突處理模塊還用于將環境沖突解決方案發送給規則執行模塊；

所述新建規則驗證模塊，還用于對所述新建規則進行沖突概率計算，并發送包含沖突信息的沖突解決方案請求給沖突處理模塊；

所述規則執行模塊，還用于確定所述新建規則的執行條件滿足時，將所述新建規則輸入運行規則庫并發送執行規則驗證請求給執行規則驗證模塊，以及接收沖突處理模塊發送的環境沖突解決方案，并依據所述解決方案選擇規則執行。