一种可解释的离散事件系统的故障诊断系统及方法技术方案

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

【技术实现步骤摘要】
一种可解释的离散事件系统的故障诊断系统及方法


[0001]本专利技术涉及离散事件系统的故障诊断领域，具体而言，涉及一种可解释的离散事件系统的故障诊断系统及方法。

技术介绍

[0002]离散事件系统(Discrete Event Systems，以下简称DES)是一类状态离散且状态的演化由不定时发生的事件驱动的动态系统。DES是一类非常常见的系统，柔性制造系统、计算机软件系统、通信系统、智能交通系统等都可以用DES来建模。随着新一代信息技术的发展，新型DES的规模越来越大，系统结构也越来越复杂；这使得DES在其运行过程中难免会出现由于硬件故障、软件故障、系统本身设计缺陷等原因而导致的系统错误。如何快速及准确地诊断出系统的各类故障，保护系统的功能安全，是当前面临的一个重要挑战。系统故障诊断包括两大基本任务：1.对出现故障的系统给出准确的故障类型诊断；2.对系统故障做出解释和说明，为进一步的系统故障恢复和系统改进提供决策支持。
[0003]现有的DES的系统故障诊断技术主要分为以下两类：1.基于模型的故障诊断(Model Based Diagnosis，简称MBD)；2.基于数据的故障诊断(Data Based Diagnosis，简称DBD)。
[0004]MBD诊断技术的基本原理是：首先建立系统的完备模型，即完整刻画了系统正常行为和异常行为的系统模型，然后结合系统模型和系统观测映射构造系统的MBD诊断器。MBD诊断技术的优点是：只要系统是可诊断的(diagnosable)，MBD诊断器可以确保在一定时延内准确地诊断出系统的故障。MBD诊断技术的缺点主要是：MBD诊断器的构造依赖于系统的完备模型，然而在实际应用场景中，要得到系统的完备模型是非常困难的；这在一定的程度上限制了MBD诊断技术在实际系统中的广泛应用。
[0005]为了解决该问题，人们又提出了DBD诊断技术。DBD诊断技术的基本原理是：把DES的系统故障诊断问题归结为分类问题，以系统运行记录为学习样本，通过机器学习等人工智能方法得到DBD诊断器。DBD诊断技术不再依赖系统的完备模型，只需要足够多的系统的历史运行记录即可。由于在很多实际应用场景中，相比于系统的完备模型，系统的运行记录往往更加容易得到；因此DBD诊断技术可广泛地应用于实际系统中。
[0006]现有的DBD诊断技术较好地完成了故障诊断中的第一个基本任务，即对出现故障的系统可给出准确的故障类型诊断。然而综合国内外文献发现，现有的大部分DBD诊断技术只能对系统故障类型做出定性的诊断，没有提供系统故障的解释和说明，从而难以为后期的系统故障恢复及系统改进提供决策支持。另外，注意到C.J.Christopher等人在IEEE CDC 2015国际会议上发表的论文《Formulating Event
‑
Based Critical Observations in Diagnostic Problems》中，提出了一种基于关键观察(Critical Observations)的DES的故障诊断技术，文中所提的“关键观察”本质上是一种特殊形式的系统故障解释。在此之后，Jiang Cheng等人也在CDCC 2019会议上的发表了论文《Fault Diagnosis in Unknown Discrete Event Systems via Critical Tree》，采用了基于关键树的DES的故障诊断技
术，大幅提高了关键观察的搜索速度及故障诊断准确率，从而改进了C.J.Christopher等人工作。尽管C.J.Christopher等人及Jiang Cheng等人在前期做了DES的可解释的故障诊断的初步研究和探索，但是由于关键观察只是一种考虑事件序关系的故障解释，因此很难用关键观察来刻画某些复杂的故障模式。
[0007]为了克服现有的DES的故障诊断技术的缺点，完善现有的故障诊断技术，本专利技术提出一种DES的可解释的故障诊断系统及方法。

技术实现思路

[0008]基于此，为了克服现有的DES的故障诊断技术的缺点，本方法采用有限线性时态逻辑公式(Finite Linear Temporal Logic，简称FLTL)来充当故障解释。FLTL公式支持常见的故障模式，可以更深入刻画系统故障的本质，从而更好地完成故障诊断的两大基本任务，即在为系统故障提供准确诊断的同时，也进一步地提供可解释的系统故障分析，为系统故障恢复及系统改进提供决策支持，其具体技术方案如下：
[0009]一种可解释的离散事件系统的故障诊断系统，包括离线构造模块和在线诊断模块，其中，
[0010]所述离线构造模块，被构造成用于通过系统离线模式，根据系统已有的历史运行记录，融合领域专家知识，构造可解释的故障诊断器；
[0011]所述在线诊断模块，被构造成用于对系统的实时运行记录进行动态观测，并将观测序列与系统故障的解释进行匹配，从而得到系统的故障诊断结果。
[0012]一种可解释的离散事件系统的故障诊断方法，包括以下步骤：
[0013]S10、依据已有的系统运行日志，通过离线模式构造故障诊断器；S20、根据步骤S10中构建的故障诊断器，对系统故障进行在线故障诊断。
[0014]进一步的，所述步骤S10具体包括以下步骤：
[0015]S11、对已有的系统历史运行日志进行预处理，包括日志的采集、清洗、归一化、符号化及标注等，最后得到带标签的系统运行序列集；
[0016]S12、领域专家提供系统各类故障行为的可能故障模式，比如动作失序、动作死锁、动作互斥、动作饥饿、违反安全性及违反活性等；
[0017]S13、针对步骤S12中得到的每一类故障行为的可能模式，定制其对应的有限线性时态逻辑公式模板。
[0018]进一步的，所述步骤S10还包括以下步骤：
[0019]S14、针对每一类系统故障，以步骤S11中得到的标准系统运行序列集为学习样本，从S13步骤中的FLTL公式模板中搜索得到其故障解释。如果专家无法提供故障模式或者从公式模板中无法搜索到与学习样本相符的故障解释，则从所有合法FLTL公式中搜索故障解释。
[0020]进一步的，所述步骤S20还包括以下步骤：
[0021]S21、对系统的运行进行动态观测，得到系统的实时运行记录；
[0022]S22、对步骤S21中的系统实时运行记录进行数据清洗和符号化操作，得到无标签的系统实时运行序列；
[0023]S23、依次检查系统实时运行序列对每一类系统故障的FLTL公式的可满足性；收集
满足的FLTL公式对应的系统故障类型集合，将系统故障诊断标注为该故障类型集。
[0024]技术效果：
[0025]1、采用了离线构造故障诊断器和在线故障诊断相结合的计算模式。这种计算模式将诊断系统的大部分计算通过离线模式完成，从而使得在线故障诊断所需的计算量大幅减小，可以保证故障诊断实时性的要求。
[0026]2、融合领域专家知识，根据领域专本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种可解释的离散事件系统的故障诊断系统，其特征在于，包括离线构造模块和在线诊断模块，其中，所述离线构造模块，被构造成用于通过系统离线模式，根据系统已有的历史运行记录，融合领域专家知识，构造可解释的故障诊断器；所述在线诊断模块，被构造成用于对系统的实时运行记录进行动态观测，并将观测序列与系统故障的解释进行匹配，从而得到系统的故障诊断结果。2.一种可解释的离散事件系统的故障诊断方法，其特征在于，包括以下步骤：S10、依据已有的系统运行日志，通过离线模式构造故障诊断器；S20、根据步骤S10中构建的故障诊断器，对系统故障进行在线故障诊断。3.如权利要求2所述的一种可解释的离散事件系统的故障诊断方法，其特征在于，所述步骤S10具体包括以下步骤：S11、对已有的系统历史运行日志进行预处理，包括日志的采集、清洗、归一化、符号化及标注等，最后得到带标签的系统运行序列集；S12、领域专家提供系统各类故障行为的可能故障模式，比如动作失序、动作死锁、动作互斥、动作饥饿、违反安全性及违反活性...

【专利技术属性】
技术研发人员：邓伟林，姜程，邱道文，
申请(专利权)人：广东金融学院，
类型：发明
国别省市：