Title: | an algorithm for diagnosing system with structured description |
Author: | Luan SM
; Dai GZ
|
Conference Name: | International Conference on Computational Science and Its Applications (ICCSA 2003)
|
Conference Date: | MAY 18-21,
|
Issued Date: | 2003
|
Conference Place: | MONTREAL, CANADA
|
Publisher: | COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2003, PT 2, PROCEEDINGS
|
Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
Indexed Type: | sci
; istp
|
ISSN: | 0302-9743
|
ISBN: | 3-540-40161-X
|
Department: | Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China.
|
Sponsorship: | CERCA, IBM Canada, IBM, United States, Heuchera Technol, Pallas, Queens Univ Belfast, SHARCNET, Soc Ind & Appl Math, Springer Verlag
|
English Abstract: | 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 |
Language: | 英语
|
Citation statistics: |
|
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/13240
|
Appears in Collections: | 软件所图书馆_会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
an algorithm for diagnosing system with structured description.pdf(142KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Luan SM,Dai GZ. an algorithm for diagnosing system with structured description[C]. 见:International Conference on Computational Science and Its Applications (ICCSA 2003). MONTREAL, CANADA. MAY 18-21,.
|
|
|