%0 Journal Article
%T 一种高阶离散事件系统的诊断方法
%A 欧阳丹彤
%A 迟晋进
%A 王晓宇
%A 赵相福
%A 孟祥宇
%J 吉林大学学报(工学版)
%P 562-568
%D 2015
%X 为了保证诊断结果的正确性及唯一性，提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中，构建了可同时用于可诊断性判定的诊断机，对每个状态编译故障行为，所以不需在每次重构系统行为后遍历全部模型进行故障判断，并且在不影响诊断结果的前提下，根据约束条件对诊断机状态之间的转移进行限制，减少不必要节点的产生。
%U http://xuebao.jlu.edu.cn/gxb/CN/Y2015/V45/I2/562