基于模型的诊断问题分解及其算法

对诊断问题的分解进行了研究 ,给出了基于模型诊断问题分解的判定定理 ,刻画了利用系统观测值和参量假定例化值分解诊断问题 ,提出了有条件可分解诊断问题的概念 ,进一步刻画了基于模型的诊断问题分解 ,对如何利用参量假定例化值分解诊断问题给出了最可能优先算法 ,并对该算法的正确性、完备性及复杂性进行了证明 .