摘要
对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程。
In this paper, the general procedure of model based diagnosis on general causal theory is formalized. The direct relationship between it and the prime implicants/implicates is demonstrated. Therefore, this theoretical result can be linked with implementation. Furthermore, it is pointed out that this result has generality. It can not only compute model based diagnoses when only partial fault behavioral modes of components are known, but also can compute model based diagnoses when all fault behavioral modes of each component are known. Furthermore, both the formalizations of the procedures of kernel consistency based diagnosis and kernel abductive diagnosis on general causal theory are only special cases of the formalization in this paper.
出处
《吉林大学自然科学学报》
CAS
CSCD
2000年第4期32-36,共5页
Acta Scientiarum Naturalium Universitatis Jilinensis
基金
高等学校重点实验室访问学者基金
高等学校骨干教师资助计划项目基金
国家自然科学基金! (批准号 :6990 3 0 0 5)
中国博士后科学
关键词
基于模型
简单因果理论
广义因果理论
诊断
model based diagnosis
simple causal theory
general causal theory
prime implicant/implicate
