[發明專利]一種閉鎖邏輯自動驗證方法無效
| 申請號： | 200910021774.1 | 申請日： | 2009-03-31 |
| 公開（公告）號： | CN101520647A | 公開（公告）日： | 2009-09-02 |
| 發明（設計）人： | 吳寧;閆相國;潘克非;王子南 | 申請（專利權）人： | 西安交大辰方科技有限公司 |
| 主分類號： | G05B19/04 | 分類號： | G05B19/04;H02B1/24 |
| 代理公司： | 西安智大知識產權代理事務所 | 代理人： | 弋才富 |
| 地址： | 710075陜西省西安市*** | 國省代碼： | 陜西;61 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 閉鎖 邏輯 自動 驗證 方法 | ||
1.一種閉鎖邏輯自動驗證方法，其特征在于，包括以下步驟：1)根據一次系統圖，構建能表達系統電氣拓撲的數據鏈表并確定操作任務；2)選擇擬操作設備并分析操作設備類型，若為斷路設備轉步驟3，若為隔離設備轉步驟4，若為接地設備轉步驟5，其它則結束驗證過程；3)根據操作設備當前狀態，以斷路設備閉鎖邏輯基本規則為基礎驗證閉鎖邏輯，輸出驗證結果并結束驗證過程；4)根據操作設備當前狀態和操作任務類型，以隔離設備閉鎖邏輯基本規則為基礎驗證閉鎖邏輯，輸出驗證結果并結束驗證過程；5)根據操作設備當前狀態，以接地設備閉鎖邏輯基本規則為基礎驗證閉鎖邏輯，輸出驗證結果并結束驗證過程。
2.根據權利要求1所述的一種閉鎖邏輯自動驗證方法，其特征在于，用數據鏈表表示一次系統圖的電氣拓撲關系，針對操作任務，根據一次系統圖數據鏈表，動態生成與操作任務關聯的支線數據鏈表。
3.根據權利要求1所述的一種閉鎖邏輯自動驗證方法，其特征在于，斷路設備閉鎖邏輯基本規則表述如下：
①斷開斷路設備的閉鎖邏輯規則：如果負載側有其它斷路設備未斷開，則違反閉鎖邏輯；
②閉合斷路設備的閉鎖邏輯規則：如果周圍接地設備未斷開，則違反閉鎖邏輯；如果有關聯隔離設備未合上，則違反閉鎖邏輯；如果供電側有其它斷路設備未合上，則違反閉鎖邏輯。
4.根據權利要求1或3所述的一種閉鎖邏輯自動驗證方法，其特征在于，對于斷路設備定義斷路設備閉鎖邏輯基本規則，以操作任務關聯的支線數據鏈表為基礎，分別對擬操作斷路設備的兩個端點構建兩個臨時端點鏈表，根據擬操作設備的操作狀態和斷路設備閉鎖邏輯基本規則進行閉鎖?邏輯驗證。
5.根據權利要求1所述的一種閉鎖邏輯自動驗證方法，其特征在于，隔離設備閉鎖邏輯基本規則表述如下：
①斷開隔離設備并且操作任務是停電：如果線路未停電，則違反閉鎖邏輯；如果負載側有其它隔離設備未斷開，則違反閉鎖邏輯；
②斷開隔離設備并且操作任務是倒母、倒旁：如果不存在其它環路供電線路，則違反閉鎖邏輯；
③閉合隔離設備并且操作任務是送電：如果有接地設備未斷開，則違反閉鎖邏輯；如果閉合此隔離設備后負載側帶電，則違反閉鎖邏輯；如果負載側隔離設備已合上，則違反閉鎖邏輯；
④閉合隔離設備并且操作任務是倒母、倒旁：如果不存在其它環路供電線路，則違反閉鎖邏輯；如果關聯母線、旁母未運行，則違反閉鎖邏輯。
6.根據權利要求1或5所述的一種閉鎖邏輯自動驗證方法，其特征在于，對于隔離設備定義隔離設備閉鎖邏輯基本規則，以操作任務關聯的支線數據鏈表為基礎，分別對擬操作隔離設備的兩個端點構建兩個臨時端點鏈表，根據擬操作設備的操作狀態、任務類型和隔離設備閉鎖邏輯基本規則進行閉鎖邏輯驗證。
7.根據權利要求1所述的一種閉鎖邏輯自動驗證方法，其特征在于，接地設備閉鎖邏輯基本規則表述如下：
①拆除接地設備：可直接操作，無閉鎖邏輯要求；
②閉合接地設備：如果周圍有設備未斷開，則違反閉鎖邏輯。?
8.根據權利要求1或2所述的一種閉鎖邏輯自動驗證方法，其特征在于，對于接地設備定義接地設備閉鎖邏輯基本規則，以操作任務關聯的支線數據鏈表為基礎，對擬操作接地設備的非接地端點構建臨時端點鏈表，根據擬操作設備的操作狀態和接地設備閉鎖邏輯基本規則進行閉鎖邏輯驗證。?
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于西安交大辰方科技有限公司，未經西安交大辰方科技有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/200910021774.1/1.html，轉載請聲明來源鉆瓜專利網。
