Knowledge management system National Space Science Center,CAS
基于模型故障诊断中的冲突求解 | |
Alternative Title | Computing conflict sets for model-based diagnosis |
代树武; 孙辉先; 北京8701信箱 | |
Department | 空间技术系统研究室 |
Source Publication | 控制理论与应用
![]() |
2003 | |
Volume | 20Issue:4Pages:630-632 |
ISSN | 1000-8152 |
Language | 中文 |
Keyword | 模型故障诊断 冲突求解 Reiter算法 专家系统 知识获取 |
Abstract | 基于模型的故障诊断是一种重要的诊断方法,但它的计算量较大.在Reiter算法的基础上,论证了每次求解冲突集时,每个元件的模型知识仅需调用一次.同时指出了在某些情况下可以利用元件参数矩阵来指导冲突的求解过程,有效减少了调用元件模型的次数. |
Other Abstract | Model-based diagnosis was computationally expensive because it often used component models in reasoning pro-~.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~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. |
Indexed By | CSCD |
Funding Project | 中国科学院空间科学与应用研究中心 |
Citation statistics |
Cited Times:7[CSCD]
[CSCD Record]
|
Document Type | 期刊论文 |
Identifier | http://ir.nssc.ac.cn/handle/122/1683 |
Collection | 其他部室 |
Corresponding Author | 北京8701信箱 |
Recommended Citation GB/T 7714 | 代树武,孙辉先,北京8701信箱. 基于模型故障诊断中的冲突求解[J]. 控制理论与应用,2003,20(4):630-632. |
APA | 代树武,孙辉先,&北京8701信箱.(2003).基于模型故障诊断中的冲突求解.控制理论与应用,20(4),630-632. |
MLA | 代树武,et al."基于模型故障诊断中的冲突求解".控制理论与应用 20.4(2003):630-632. |
Files in This Item: | Download All | |||||
File Name/Size | DocType | Version | Access | License | ||
2003204630.pdf(240KB) | 开放获取 | CC BY-NC-SA | View Download |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment