论文标题
有效的基于模型的诊断
Efficient Model Based Diagnosis
论文作者
论文摘要
在本文中，描述了基于模型的诊断过程，其组件在其输入和输出之间具有因果关系的系统。在此诊断过程中，首先确定了一组对可能破裂的组件的关注。其次，对于每个焦点，可以确定焦点内最有用的探测点。诊断过程的这两个步骤的最差时间为$ {\ cal o}（n^2）$，其中$ n $是组件的数量。但是，如果组件的连通性较低，则诊断过程显示线性时间复杂性。还显示了如何将所描述的诊断过程应用于包含循环的动态系统和系统。在诊断动态系统时，可以选择在检测中间故障或通过假设非及时性提高诊断精度之间进行选择。
In this paper an efficient model based diagnostic process is described for systems whose components possess a causal relation between their inputs and their outputs. In this diagnostic process, firstly, a set of focuses on likely broken components is determined. Secondly, for each focus the most informative probing point within the focus can be determined. Both these steps of the diagnostic process have a worst case time complexity of ${\cal O}(n^2)$ where $n$ is the number of components. If the connectivity of the components is low, however, the diagnostic process shows a linear time complexity. It is also shown how the diagnostic process described can be applied in dynamic systems and systems containing loops. When diagnosing dynamic systems it is possible to choose between detecting intermitting faults or to improve the diagnostic precision by assuming non-intermittency.
