| 引用本文: | 代树武,孙辉先.基于模型故障诊断中的冲突求解[J].控制理论与应用,2003,20(4):630~632.[点击复制] |
| DAI Shu-wu,SUN Hui-xian.Computing conflict sets for model-based diagnosis[J].Control Theory and Technology,2003,20(4):630~632.[点击复制] |
|
| 基于模型故障诊断中的冲突求解 |
| Computing conflict sets for model-based diagnosis |
| 摘要点击 2196 全文点击 1219 投稿时间：2001-12-12 修订日期：2002-07-01 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 10.7641/j.issn.1000-8152.2003.4.034 |
| 2003,20(4):630-632 |
| 中文关键词 故障诊断 模型 冲突集 |
| 英文关键词 diagnosis model conflict sets |
| 基金项目 |
|
| 中文摘要 |
| 基于模型的故障诊断是一种重要的诊断方法, 但它的计算量较大. 在Reiter算法的基础上, 论证了每次求解冲突集时, 每个元件的模型知识仅需调用一次. 同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程, 有效减少了调用元件模型的次数. |
| 英文摘要 |
| Model-based diagnosis was computationally expensive because it often used component models in reasoning process. 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. |
|
|
|
|
|