刻画基于模型的中心诊断

• 作者: 姜云飞 欧阳丹彤
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于模型的诊断 基于模型的中心诊断 本原蕴含/蕴含式
• 年，卷（期）: 1999,（1）
• 页码范围: 74-77
• 页数: 4页
• 分类号: TP18
• 字数: 4397字
• 语种: 中文

摘要

虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(assumption-based truth maintenance system)这类算法联系起来.进一步指出,对基于一致性中心诊断的刻画仅仅是文中所给出的刻画的一个特殊情形.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学计算机科学系	108	781	15.0	23.0
2	姜云飞	中山大学计算机软件所	84	1013	18.0	28.0