基于模型故障诊断中的冲突求解

NSSC OpenIR > 其他部室

	基于模型故障诊断中的冲突求解
Alternative Title	Computing conflict sets for model-based diagnosis
	代树武; 孙辉先; 北京8701信箱
Department	空间技术系统研究室
Source Publication	控制理论与应用
	2003
Volume	20 Issue:4 Pages: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

File name:	2003204630.pdf
Format:	Adobe PDF

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院国家空间科学中心机构知识库