基于动态描述逻辑的网构软件系统故障诊断

• 作者: 史忠植 杨鲲 王竹晓
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 故障诊断 网构软件 动态描述逻辑 可信软件 离散事件系统
• 年，卷（期）: 2010,（2）
• 页码范围: 248-260
• 页数: 13页
• 分类号: TP311
• 字数: 13082字
• 语种: 中文

摘要

提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算法进行了说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	史忠植		16	557	10.0	16.0