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

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