欧阳丹彤　李江娜　耿雪娜

摘要：为了提高可诊断离散事件系统故障的在线诊断效率，本文从判定故障发生的可观测事件的角度，提出了故障极小观测序列方法。文中选取有限状态自动机对离散事件系统进行建模。首先，在离线状态下，建立系统的故障模型，以排除对于判定系统故障无关的路径。然后，根据故障模型进一步建立判定系统故障的极小观测序列模型。当离散事件系统在线诊断时，仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对。若能找到满足该模型的任何一条路径，则说明路径终止状态上故障标签对应的系统故障发生；否则，说明系统无故障发生。文中对可诊断离散事件系统进行实验对比，通过故障的极小观测序列模型能尽快判定有无故障发生，以及发生了哪些故障。该模型能有效地缩小系统在线诊断的时间，提高系统在线诊断的效率。

关键词：离散事件系统；故障模型；极小观测序列模型；故障诊断

中图分类号：TP301 文献标识码：A

近些年来，基于模型诊断方法成为人工智能领域比较热门的研究课题。基于模型诊断方法具有设备独立性，易于更新和维护。因而，不少领域使用基于模型诊断方法对离散事件系统进行诊断研究，比如大型通信网络故障诊断、配电站故障诊断、航天器故障诊断、汽车故障诊断、软件测试等。基于模型诊断中诊断相关的极小化研究增强了诊断的精细程度。……