文摘
|
基于模型的故障诊断是一种重要的诊断方法,但它的计算量较大。在Reiter算法的基础上,论证了每次求解冲突集时,每个元件的模型知识仅需调用一次。同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程,有效减少了调用元件模型的次数。 |
其他语种文摘
|
Model-based diagnosis was computationally expensive because it often used component models in reasoning pro-cess. Reiter's hitting sets tree algorithm, which did not require the conflict sets to be minimal, was one of the best model-based diagnosis method. It was proved that to find a nonminimal conflict set, every component model needed to be calculated at most once. In some situations, a component-parameter matrix can be used to direct the computing of conflict sets. All these methods reduce the times of calculating component models. |
来源
|
控制理论与应用
,2003,20(4):630-632 【核心库】
|
关键词
|
故障诊断
;
模型
;
冲突集
|
地址
|
中国科学院空间科学与应用研究中心, 北京, 100080
|
语种
|
中文 |
文献类型
|
研究性论文 |
ISSN
|
1000-8152 |
学科
|
自动化技术、计算机技术 |
文献收藏号
|
CSCD:1174142
|