共 2 条
广义因果理论上基于模型诊断过程的形式化
被引：2
作者：
欧阳丹彤
欧阳继红
孙吉贵
机构：
[1] 吉林大学计算机科学系!长春
来源：
基金：
高等学校骨干教师资助计划;
关键词：
基于模型的诊断;
简单因果理论;
广义因果理论;
本原蕴涵/蕴涵式;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例
引用
收藏
页码：32 / 36
页数：5
相关论文