摘要
提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。以网络故障预测问题为例说明这种方法的有效性和合理性。
The temporal logic system is proposed to describe the concepts of faults,inter the attributes of faults with their correlation and classes,and predict what faults will happen.At last,network fault prediction problem is used as an example to specify the effectiveness and reasonableness of this process.
关键词
时序逻辑
命题演算
形式系统
故障预测
temporal logic,propositional calculus,formal system,fault prediction
