增量诊断相关论文
在离散事件系统环境下,研究基于模型诊断问题。主要包括离线过程中的可诊断性判定及诊断编译;在线诊断方法及诊断确认以及在不同条件......
提出一种基于动态路标的启发式方法,改进因候选诊断存在而导致的诊断回溯问题.通过离线标记和在线的动态路标,在候选诊断路径集合......