an algorithm for diagnosing system with structured description

ISCAS OpenIR

	an algorithm for diagnosing system with structured description
	Luan SM; Dai GZ
	2003
会议名称	International Conference on Computational Science and Its Applications (ICCSA 2003)
页码	695-704
会议日期	MAY 18-21,
会议地点	MONTREAL, CANADA
收录类别	sci ; istp
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS
ISSN	0302-9743
ISBN	3-540-40161-X
部门归属	Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China.
摘要	The model-based approach to diagnosis is one of the important approach to the system diagnosis, and the main problem for the approach is that how to generate the diagnoses. In this paper, an algorithm for computing all minimal conflicts using
主办者	CERCA, IBM Canada, IBM, United States, Heuchera Technol, Pallas, Queens Univ Belfast, SHARCNET, Soc Ind & Appl Math, Springer Verlag
语种	英语
WOS记录号	WOS:000184327300076
引用统计
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13240
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Luan SM,Dai GZ. an algorithm for diagnosing system with structured description[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS,2003:695-704.