基于时序逻辑的故障预测

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