论文部分内容阅读
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法．动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为．给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时，给出了故障诊断器的构造算法．该故障诊断器通过实时地观察系统的行为完成故障诊断．以例子对算法进行了说明．
基于动态描述逻辑的网构软件系统故障诊断
【摘 要】
：
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法．动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为．给出了算法使用动态描述逻辑的可满足性检测来测试离
【机 构】
：
中国科学院计算技术研究所智能信息处理重点实验室,中国科学院研究生院
【出 处】
：
软件学报
【发表日期】
：
2010年2期
【基金项目】
：
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（国家高技术研究发展计划（8
其他文献
教育部提出的以阅读为主转变到以听说为主的英语教学改革思路,为英语口语课教学指明了方向.本文通过自己的教学实践,着重分析了提高学生的口语表达能力的方法和途径.
本文在网络技术的基础上,面对纷繁复杂的各种终端控制系统,给维护和使用带来了很大的困难。本文就我校实际,提出可行的简单易用的方案,最后以EPSON7800为例介绍了网络投影机
延迟容忍移动无线传感器网络(delay tolerant mobile sensor network,简称DTMSN)用于广泛数据收集.与传统的传感器网络不同,DTMSN具有节点移动性、间歇连通性并且能够容忍适当的延迟,因此传统传感器网络的数据收集算法不能适用.提出了一种基于相对距离感知的动态数据传输策略RDAD(relative distance-aware data delivery sche
超团模式是一种新型的关联模式，这种模式所包含的项目相互间具有很高的亲密度．超团模式中某个项目在事务中的出现很强地暗示了模式中其他项目也会相应地出现．极大超团模式是一组
设计并实现了一种按需预取算法，采用更为宽松的顺序性判决条件，并以页面和页面缓存的状态作为可靠的决策依据．它可以发现淹没在随机读中的顺序访问并进行有效的预读，支持对单个文