###
DOI:
Journal of Software:2010.21(2):248-260

基于动态描述逻辑的网构软件系统故障诊断
王竹晓,杨鲲,史忠植
(中国科学院 计算技术研究所 智能信息处理重点实验室,北京 100190;中国科学院 研究生院,北京 100049)
Failure Diagnosis of Internetware Systems Using Dynamic Description Logic
WANG Zhu-Xiao,YANG Kun,SHI Zhong-Zhi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 6919   Download 5551
Received:June 16, 2009    Revised:December 07, 2009
> 中文摘要: 提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.
Abstract:This paper proposes a way to analyze diagnosed systems using dynamic description logic. Syntax and semantics of dynamic description logic are suitable to describe both the normal and the failed behavior of the system. Then, it gives algorithms to test diagnosability of discrete-event systems by using dynamic description logic satisfiability-checking and for the construction of a diagnoser, which performs diagnostics using on-line observations of the system behavior. Throughout the paper, examples are given for illustration.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60775035 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z132 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant Nos.2003CB317004, 2007CB311004 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAC08B06 (国家科技支撑计划) Supported by the National Natural Science Foundation of China under Grant No.60775035 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z132 (国家高技术研究发展计划(863)); the National Basic Research Program of China under Grant Nos.2003CB317004, 2007CB311004 (国家重点基础研究发展计划(973)); the National Key Technology R&D Program of China under Grant No.2006BAC08B06 (国家科技支撑计划)
Foundation items:
Reference text:

王竹晓,杨鲲,史忠植.基于动态描述逻辑的网构软件系统故障诊断.软件学报,2010,21(2):248-260

WANG Zhu-Xiao,YANG Kun,SHI Zhong-Zhi.Failure Diagnosis of Internetware Systems Using Dynamic Description Logic.Journal of Software,2010,21(2):248-260