%0 Journal Article
%T 不完备离散事件系统的可诊断性
%A 王晓宇？
%A 欧阳丹彤？
%A 赵相福？
%J 软件学报
%P 1373-1385
%D 2015
%R 10.13328/j.cnki.jos.004585
%X 在离散事件系统的建模过程中,由于系统行为的复杂,存在物理系统向逻辑系统映射的不完全性,因此产生了不完备模型的概念.提出在模型不完备的前提下,判断模型可诊断性的方法.提出可诊断性的在线判定方法,同时将不完备的行为加入模型,使模型完备.用经典的双树方法判断离线可诊断性,根据观测序列的时序及语言的前缀判断并处理不完备行为.提出判定不完备行为的方法,向模型中添加不完备行为,并根据不完备行为增量地在双树中判定在线可诊断性.通过在线的可诊断性判定,当前系统能够得到在有限观测内唯一判定故障发生与否的结论.该方法适用于具有离散性质的系统.
%K 不完备模型
%K 离散事件系统
%K 基于模型诊断
%K 可诊断性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4585&flag=1