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
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: Download All
File Name/Size DocType Version Access License
2003204630.pdf(240KB) 开放获取CC BY-NC-SAView Download
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
File name: 2003204630.pdf
Format: Adobe PDF
All comments (0)
No comment.

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