摘要
提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值传递路径空间为基础,给出了一种故障诊断算法,在一定条件下多项式时间结束.
This paper presents a system model based on value propagation and redefines the diagnosis. On the basis of above works, an algorithm for finding one minimal diagnosis is brought out. Furthermore, this paper defines the concept of value propagation route for abstracting the process of diagnosis, and reduces the route space by deleting equivalence routes. Then, an algorithm to diagnosing system based on value propagation route space is introduced, which terminates in polynomial time for some special systems.
出处
《计算机学报》
EI
CSCD
北大核心
2009年第7期1264-1279,共16页
Chinese Journal of Computers
基金
国家自然科学基金(60773201
60173039)资助~~
关键词
基于模型的诊断
值传递
过程抽象
过程重用
model-based diagnosis
value propagation
process abstraction
process reuse
