[發明專利]一種可解釋的離散事件系統的故障診斷系統及方法在審
| 申請號： | 202310525533.0 | 申請日： | 2023-05-10 |
| 公開（公告）號： | CN116561690A | 公開（公告）日： | 2023-08-08 |
| 發明（設計）人： | 鄧偉林;姜程;邱道文 | 申請（專利權）人： | 廣東金融學院 |
| 主分類號： | G06F18/2433 | 分類號： | G06F18/2433;G06N5/02 |
| 代理公司： | 深圳市朝聞專利代理事務所(普通合伙) 44454 | 代理人： | 黎路 |
| 地址： | 510000 *** | 國省代碼： | 廣東;44 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 可解釋 離散 事件 系統 故障診斷 方法 | ||
1.一種可解釋的離散事件系統的故障診斷系統，其特征在于，包括離線構造模塊和在線診斷模塊，其中，
所述離線構造模塊，被構造成用于通過系統離線模式，根據系統已有的歷史運行記錄，融合領域專家知識，構造可解釋的故障診斷器；
所述在線診斷模塊，被構造成用于對系統的實時運行記錄進行動態觀測，并將觀測序列與系統故障的解釋進行匹配，從而得到系統的故障診斷結果。
2.一種可解釋的離散事件系統的故障診斷方法，其特征在于，包括以下步驟：
S10、依據已有的系統運行日志，通過離線模式構造故障診斷器；
S20、根據步驟S10中構建的故障診斷器，對系統故障進行在線故障診斷。
3.如權利要求2所述的一種可解釋的離散事件系統的故障診斷方法，其特征在于，所述步驟S10具體包括以下步驟：
S11、對已有的系統歷史運行日志進行預處理，包括日志的采集、清洗、歸一化、符號化及標注等，最后得到帶標簽的系統運行序列集；
S12、領域專家提供系統各類故障行為的可能故障模式，比如動作失序、動作死鎖、動作互斥、動作饑餓、違反安全性及違反活性等；
S13、針對步驟S12中得到的每一類故障行為的可能模式，定制其對應的有限線性時態邏輯公式模板。
4.如權利要求3所述的一種可解釋的離散事件系統的故障診斷系統及方法，其特征在于，所述步驟S10還包括以下步驟：
S14、針對每一類系統故障，以步驟S11中得到的標準系統運行序列集為學習樣本，從S13步驟中的FLTL公式模板中搜索得到其故障解釋。如果專家無法提供故障模式或者從公式模板中無法搜索到與學習樣本相符的故障解釋，則從所有合法FLTL公式中搜索故障解釋。
5.如權利要求2所述的一種可解釋的離散事件系統的故障診斷系統及方法，其特征在于，所述步驟S20還包括以下步驟：
S21、對系統的運行進行動態觀測，得到系統的實時運行記錄；
S22、對步驟S21中的系統實時運行記錄進行數據清洗和符號化操作，得到無標簽的系統實時運行序列；
S23、依次檢查系統實時運行序列對每一類系統故障的FLTL公式的可滿足性；收集滿足的FLTL公式對應的系統故障類型集合，將系統故障診斷標注為該故障類型集。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于廣東金融學院，未經廣東金融學院許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/202310525533.0/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：顯示設備及顯示控制方法
- 下一篇：一種增加橫向放置散熱器的間接空冷系統
