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

• 作者: 孙吉贵 欧阳丹彤 欧阳继红
• 来源期刊: 吉林大学自然科学学报
• 学科: 工学
• 关键词: 基于模型的诊断 简单因果理论 广义因果理论 本原蕴涵/蕴涵式
• 年，卷（期）: 2000,（4）
• 页码范围: 32-36
• 页数: 5页
• 分类号: TP31
• 字数: 5724字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2000.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	欧阳丹彤	吉林大学计算机科学系	108	781	15.0	23.0
3	欧阳继红	吉林大学计算机科学系	34	221	6.0	13.0