离散事件系统故障的极小观测序列?

• 作者: 李江娜 欧阳丹彤 耿雪娜
• 来源期刊: 湖南大学学报（自然科学版）
• 关键词: 离散事件系统 故障模型 极小观测序列模型 故障诊断
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 【计算机科学】
• 页码范围: 147-152
• 页数: 6页
• 分类号: TP301
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学计算机科学与技术学院	108	781	15.0	23.0
5	耿雪娜	吉林大学计算机科学与技术学院	4	16	3.0	4.0
9	李江娜	吉林大学计算机科学与技术学院	1	2	1.0	1.0