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

被引：27

作者：

李占山

姜云飞

王涛

机构：

[1] 吉林大学计算机科学与技术学院,中山大学计算机软件研究所,长春工业大学图书馆长春吉林大学符号计算与知识工程教育部重点实验室长春,广州,长春

来源：

计算机学报 | 2003年 / 09期

关键词：

可分解诊断问题; 有条件可分解诊断问题; 判定; 判定扩充; 分解;

D O I：

暂无

中图分类号：

TP277 [监视、报警、故障诊断系统];

学科分类号：

140102 [集成电路设计与设计自动化];

摘要：

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

引用

页码：1171 / 1176

页数：6