基于动态描述逻辑的网构软件系统故障诊断 |
| |
引用本文: | 王竹晓,杨鲲,史忠植.基于动态描述逻辑的网构软件系统故障诊断[J].软件学报,2010,21(2):248-260. |
| |
作者姓名: | 王竹晓 杨鲲 史忠植 |
| |
作者单位: | 1. 中国科学院,计算技术研究所,智能信息处理重点实验室,北京,100190;中国科学院,研究生院,北京,100049 2. 中国科学院,计算技术研究所,智能信息处理重点实验室,北京,100190 |
| |
基金项目: | 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 (国家科技支撑计划) |
| |
摘 要: | 提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.
|
关 键 词: | 故障诊断 网构软件 动态描述逻辑 可信软件 离散事件系统 |
收稿时间: | 2009/6/16 0:00:00 |
修稿时间: | 2009/12/7 0:00:00 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|