买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉广东金融学院申请的专利一种可解释的离散事件系统的故障诊断系统及方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116561690B 。

龙图腾网通过国家知识产权局官网在2026-05-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310525533.0，技术领域涉及：G06F18/2433；该发明授权一种可解释的离散事件系统的故障诊断系统及方法是由邓伟林;姜程;邱道文设计研发完成，并于2023-05-10向国家知识产权局提交的专利申请。

本一种可解释的离散事件系统的故障诊断系统及方法在说明书摘要公布了：本发明提供了一种可解释的离散事件系统的故障诊断系统及方法，采用了离线构造故障诊断器和在线故障诊断相结合的计算模式，同时融合领域专家知识，根据领域专家给出的系统故障的可能模式，定制有限线性时态逻辑公式模板，以系统的历史运行日志为样本，将故障诊断问题编码为可满足性问题，借助SAT求解技术，得到系统的各类故障行为的解释：FLTL公式。这些FLTL公式一方面可组成在线故障诊断器，另一方面亦提供了系统故障的解释和分析，可为后期的系统故障恢复及系统改进提供决策支持；从而解决了现有的DES故障诊断技术难以提供可解释的故障诊断的缺陷。

本发明授权一种可解释的离散事件系统的故障诊断系统及方法在权利要求书中公布了：1.一种可解释的离散事件系统的故障诊断方法，其特征在于，包括可解释的离散事件系统的故障诊断系统，所述故障诊断系统包括离线构造模块和在线诊断模块，其中， 所述离线构造模块，被构造成用于通过系统离线模式，根据系统已有的历史运行记录，融合领域专家知识，构造可解释的故障诊断器； 所述在线诊断模块，被构造成用于对系统的实时运行记录进行动态观测，并将观测序列与系统故障的解释进行匹配，从而得到系统的故障诊断结果； 通过所述故障诊断系统实施以下步骤： S10、依据已有的系统运行日志，通过离线模式构造故障诊断器； S11、对已有的系统历史运行日志进行预处理，包括日志的采集、清洗、归一化、符号化及标注； S12、领域专家提供系统各类故障行为的可能故障模式，包括动作失序、动作死锁、动作互斥、动作饥饿、违反安全性及违反活性； S13、针对步骤S12中得到的每一类故障行为的可能模式，定制其对应的有限线性时态逻辑公式模板； S14、针对每一类系统故障，以步骤S11中得到的标准系统运行序列集为学习样本，从S13步骤中的FLTL公式模板中搜索得到其故障解释； 对于第类故障，将标准日志分为以下两个子集： ； ； 则步骤S14的基本任务是：对于任意一个故障类型r，找到一个故障解释：FLTL公式，使得 ； ； S20、根据步骤S10中构建的故障诊断器，对系统故障进行在线故障诊断； S21、对系统的运行进行动态观测，得到系统的实时运行记录； S22、对步骤S21中的系统实时运行记录进行数据清洗和符号化操作，得到无标签的系统实时运行序列； S23、依次检查系统实时运行序列对每一类系统故障的FLTL公式的可满足性；收集满足的FLTL公式对应的系统故障类型集合，将系统故障诊断标注为该故障类型集； 首先，在步骤S21中对系统的运行进行动态观测，得到系统的实时运行记录；然后，在步骤S22中，对步骤S21中的系统实时运行记录进行数据清洗和符号化，经过上两个步骤，将得到无标签的系统实时运行序列： ； 在步骤S23中，依次检查系统实时运行序列l对每一类系统故障的FLTL公式集的可满足性；收集满足的FLTL公式对应的系统故障类型集合，将系统故障诊断标注为该故障类型集；具体来说，系统实时运行记录的故障诊断为： 。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人广东金融学院，其通讯地址为：510000 广东省广州市天河区沙河龙眼洞；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。