-
题名基于扩展窗口的时序不完备诊断方法研究
- 1
-
-
作者
柴瑞亚
朱怡安
陆伟
史佳龙
-
机构
西北工业大学计算机学院
西北工业大学软件与微电子学院
-
出处
《计算机科学》
CSCD
北大核心
2015年第10期222-225,共4页
-
基金
航天支撑技术基金(2013-HT-XGD(10))
陕西省科学技术研究发展计划项目(2014K05-25)
西北工业大学研究生创业种子基金(Z2014065)资助
-
文摘
离散事件系统诊断中,由于系统复杂度较高,对系统建模时要获得系统的完备行为非常困难。传统的诊断方法往往基于模型完备的假设,在模型不完备时会出现得不到诊断解释的问题。针对模型定义不完备中的一种情况——事件顺序定义不完备,提出了一种基于扩展窗口的时序不完备诊断方法,该方法利用相关事件无序信息,在增量诊断时通过动态改变观测窗口大小,结合两个观测窗口的观测序列,在一定程度上解决了不完备的诊断问题。该方法不仅扩展了模型完备条件的约束,得到了合理的诊断结果,而且改进了观测延迟导致的观测乱序情况,扩大了模型诊断的适用范围。最后,通过算法分析和实验结果证明该诊断方法在复杂度较低的情况下能够得到合理的诊断结果。
-
关键词
离散事件系统诊断
不完备模型
-
Keywords
Discrete-event system diagnosis, Incomplete model
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
