提出了一种基于值传递的系统模型,重新定义了诊断,并给出了快速找到一个极小诊断的算法.在此基础上,提出了独立于系统输入输出的值传递路径的概念,实现了值传递诊断过程的抽象,并根据等价路径对系统值传递路径空间进行约简.以约简的值传递路径空间为基础,给出了一种故障诊断算法,在一定条件下多项式时间结束.
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.