期刊文章详细信息
基于时序逻辑的故障预测
Temporal Logic and Fault Prediction
文献类型：期刊文章
机构地区：[1]上海铁道大学计算机科学与技术系
年 份：1998
卷 号：19
期 号：12
起止页码：65-69
语 种：中文
收录情况：CAS、IC、普通刊
摘 要：提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。以网络故障预测问题为例说明这种方法的有效性和合理性。
关 键 词：时序逻辑 命题演算 形式系统 故障预测
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
