NSSC OpenIR  > 其他部室
Alternative TitleComputing conflict sets for model-based diagnosis
代树武; 孙辉先; 北京8701信箱
Source Publication控制理论与应用
Keyword模型故障诊断 冲突求解 Reiter算法 专家系统 知识获取
Other AbstractModel-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 ByCSCD
Funding Project中国科学院空间科学与应用研究中心
Citation statistics
Cited Times:7[CSCD]   [CSCD Record]
Document Type期刊论文
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:
File Name/Size DocType Version Access License
2003204630.pdf(240KB) 开放获取CC BY-NC-SAApplication Full Text
Related Services
Recommend this item
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[代树武]'s Articles
[孙辉先]'s Articles
[北京8701信箱]'s Articles
Baidu academic
Similar articles in Baidu academic
[代树武]'s Articles
[孙辉先]'s Articles
[北京8701信箱]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[代树武]'s Articles
[孙辉先]'s Articles
[北京8701信箱]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.