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.
提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。
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.
提出采用时序逻辑系统描述故障的概念，推演故障的性质和相互关系，对故障进行分类，并预测将要发生的故障。
应用推荐