Static verification and design by contract relay on theorems that are mostly based on deterministic approach.
静态验证和契约式设计理论大部分属于确定性理论的范畴。
2
This paper proposes a new approach to the design of relay logic control circuits.
提出了一种继电器控制逻辑设计的新方法。
3
Using data fusion technique to realize fault discrimination of transmission lines, this work tried to find a new approach of adaptive relay protection and intelligent fault diagnosis on power system.