一种离散事件系统事件不完备模型的诊断方法

摘要

本发明公开了一种离散事件系统事件不完备模型的诊断方法，其目的是为了解决离散事件系统故障诊断中模型为事件不完备模型时得不到诊断结果的问题。技术方案针对离散事件系统事件不完备模型的特点，将其分为未定义转移和未定义突发事件两种类型，并在此基础上，针对上述两种类型分别发明了基于相关事件信息诊断算法和基于相关迁移状态诊断算法。结合上述两种算法，发明了一种离散事件系统事件不完备模型的诊断方法来改进现有方法中将其统一表示为模型事件不完备度而造成漏诊和误诊问题。该方法中还包括了基于观测序列改进不完备模型的算法，在诊断过程中通过向模型中添加未定义转移，并补充触发转移的未定义事件，从而使系统模型的完备性逐步得到改进。

主权项

一种离散事件系统事件不完备模型的诊断方法，其特征在于包括下述步骤：(a)首先为系统建立有限自动机模型，其中包括系统的行为、状态及由行为所触发的状态的转移，同时根据行为触发转移可到达的目标状态来构造诊断器模型。其中，诊断器的表达方式为事件对应发生该事件后由原状态可到达的转移状态，诊断器中包括状态的故障标志：非故障状态为N，故障状态为F。(b)根据诊断系统要求，需要获得系统运行时的观测序列，该观测序列是系统发生的事件的集合，该集合包括可能的可观测事件序列和不可观测序列。对于离散事件系统，系统实际的输出可对应与被观测到的系统状态，由于输出特征是离散的，因此，系统受到外界的干扰的情况是可接受的，只要干扰的程度保持在不改变输出的限定范围内即可。(c)如步骤(a)为观测序列构建有限自动机模型，采用同步策略将诊断模型与观测序列进行同步，当候选诊断结果为空时，判断其不完备类型，若属于未定义转移类型则转到步骤d，否则若属于未定义突发事件类型则转到步骤e；当候选结果不为空时继续接受新的观测序列，转到步骤b。(d)采用基于事件信息诊断算法，将事件可触发到达的状态暂时作为可到达的状态集合，通过后续观测及候选诊断结果进行推理，最后确定可能的未定义转移。(e)采用基于相关迁移状态诊断算法，首先计算观测中非未定义事件触发的转移，找到该转移集合的原状态集合，将该原状态集合作为未定义事件触发的目的状态集合，通过后续观测及候选诊断结果进行推理，最后确定未定义突发事件及可能触发的未定义转移。(f)采用基于观测序列改进系统模型的算法，将观测到未定义事件添加到原模型中，并为模型增加未定义转移。在添加未定义事件时根据其原状态和目的状态判断该事件为非故障事件或者故障事件。(g)最后诊断方法返回的结果是得到的候选诊断结果和改进的原模型。