[發明專利]一種暖通空調控制策略自動預檢驗方法有效
| 申請號： | 202010795234.5 | 申請日： | 2020-08-10 |
| 公開（公告）號： | CN112214865B | 公開（公告）日： | 2022-07-08 |
| 發明（設計）人： | 田喆;蘭博;李正潔;甄成 | 申請（專利權）人： | 天津大學 |
| 主分類號： | G06F30/20 | 分類號： | G06F30/20 |
| 代理公司： | 天津市三利專利商標代理有限公司 12107 | 代理人： | 韓新城 |
| 地址： | 300072*** | 國省代碼： | 天津;12 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 暖通 空調 控制 策略 自動 預檢 驗方 | ||
1.一種暖通空調控制策略自動預檢驗方法，其特征在于，包括步驟：
S1.基于圖論將暖通空調系統中的各類設備抽象為有向圖中的節點，將暖通空調系統中具體的管路連接關系轉化為明確的邊，節點間的弧表示設備之間的連接關系，進而形成完整的有向圖，以直觀地表述暖通空調系統內部的拓撲連接關系以及信息交互的情況；
S2.對暖通空調系統控制策略進行數學描述，借鑒三元組的概念對控制策略進行表示，存儲于計算機中；
S3.對暖通空調控制系統仿真中產生的控制策略矛盾進行分類梳理；
S4.基于所述控制策略矛盾分類，利用自洽性檢驗判定規則，對暖通空調控制系統的控制策略矛盾類型進行自動檢驗。
2.根據權利要求1所述暖通空調控制策略自動預檢驗方法，其特征在于，根據矛盾來源不同，控制策略矛盾先分為不同控制策略之間的邏輯問題和每一條控制策略中的控制參數問題，然后從中推導出具體的子矛盾，從而形成所述控制策略矛盾。
3.根據權利要求2所述暖通空調控制策略自動預檢驗方法，其特征在于，所述具體的子矛盾分為邏輯問題以及參數問題，所述邏輯問題包括多管理者沖突，控制變量匹配沖突以及內在約束沖突：所述參數問題包括參數物理關系、參數連接關系以及參數閾值范圍。
4.根據權利要求3所述暖通空調控制策略自動預檢驗方法，其特征在于，所述的控制策略的三元組采用m×3階的矩陣D進行存儲，每一行為一個三元組，m行用于表示包含m條控制策略的三元組，其表示形式如下式：
式中，si∈S′，表示控制對象的控制變量；ti∈T′，表示被控對象的被控變量；fi∈F，表示某一條控制策略；m為控制策略總數。
5.根據權利要求4所述暖通空調控制策略自動預檢驗方法，其特征在于，
對第i條控制策略的檢驗結果分為兩種情況，表示如下：
式中，J表示當檢驗第x類矛盾Px時，用right(fi,Px)表示邏輯正確，conflict(fi,Px)表示邏輯存在沖突。
6.根據權利要求1所述暖通空調控制策略自動預檢驗方法，其特征在于，對于包含n個設備的有向圖,通過建立n×n階的鄰接矩陣，將所述的有向圖中的信息存儲于計算機中。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于天津大學，未經天津大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202010795234.5/1.html，轉載請聲明來源鉆瓜專利網。
