基于时序逻辑的故障预测

被引：4

作者：

曹立明

施润身

机构：

[1] 上海铁道大学计算机科学与技术系

来源：

上海铁道大学学报 | 1998年 / 12期

关键词：

时序逻辑，命题演算，形式系统，故障预测;

D O I：

暂无

中图分类号：

TP306.3, [];

学科分类号：

摘要：

提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。以网络故障预测问题为例说明这种方法的有效性和合理性。

引用

收藏

页码：69 / 73

页数：5

相关论文

共 2 条

[1] 知识工程原理.[M].曹立明等编著;.中国矿业大学出版社.1995,
[2] 计算机科学中的逻辑学.[M].王元元编著;.科学出版社.1989,