摘要
虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(asumption-basedtruthmaintenancesystem)这类算法联系起来.进一步指出。
出处
《软件学报》
EI
CSCD
北大核心
1999年第1期74-77,共4页
Journal of Software
基金
国家自然科学基金
国家教委博士点基金