基于模型诊断的研究进展

摘要：

通过对诊断对象模型、主要诊断方法和聚焦策略的分析和阐述,系统地总结和综述了近年来基于模型诊断的主要研究内容和方法,介绍和比较了3组诊断对象模型,即定性与定量模型、静态与动态模型、确定与概率模型,并针对近几年的研究热点,重点阐述了分布式系统和2类动态系统--时间驱动型系统和事件驱动型系统的相应诊断方法,同时分析了基于优先序的策略、基于删剪条件的策略、基于层次的策略和基于分治的策略这4类聚焦策略,最后对今后的主要研究方向进行了总结和展望.

关键词：基于模型诊断(MBD)、反绎诊断、分布式诊断、离散事件系统、聚焦策略

所属期刊栏目：19

分类号：TP3;TH1

资助基金：863计划2007AA01Z132;973计划2003CB317004,2007CB311004;国家自然科学基金90604017,60775035,60435010;国家科技支撑计划2006BAC08B06

在线出版日期：2009-06-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：543-550