论文部分内容阅读
基于模型诊断的主要思想是：根据系统的逻辑模型以及系统的输入，通过逻辑的推理理论能推导出系统在正常情况下的预期行为，如果观测到的系统实际行为与系统预期行为有差异，则说明系统存在故障．当系统故障时，可通过逻辑的推理理论来确定引发故障的元件集合．由于经典的基于模型诊断采用的是逻辑推理的手段来产生诊断集合，这导致了传统的基于模型诊断算法的效率非常低下．文中在原有模型诊断基础上，重新定义了诊断，并提出了一种用于诊断的诊断图的数据结构．在此基础上给出了一种基于诊断图分析的快速诊断算法．由于文中的诊断方法是一种过程化的