对基于模型的诊断过程的形式化

• 作者: 孙吉贵 欧阳丹彤
• 来源期刊: 模式识别与人工智能
• 学科: 工学
• 关键词: 基于模型的诊断 溯因符号 本原蕴涵/蕴涵式
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 论文与报告
• 页码范围: 274-279
• 页数: 6页
• 分类号: TP18
• 字数: 6559字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6059.2002.03.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
2	欧阳丹彤	吉林大学计算机科学与技术学院	108	781	15.0	23.0