广义因果理论上基于模型诊断过程的形式化

摘要：

对广义因果理论上基于模型诊断的一般过程进行形式化, 对它与本原蕴涵/蕴涵式的直接关系进行论证, 从而将理论结果与实现联系起来. 表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断, 还能够计算已知每个部件的各种故障行为方式下基于模型的诊断;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例.

关键词：基于模型的诊断、简单因果理论、广义因果理论、本原蕴涵/蕴涵式

分类号：TP31(计算技术、计算机技术)

资助基金：高校重点实验室基金;高等院校骨干教师基金;中国科学院资助项目69903005;中国博士后科学基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-36