A Logical Formula Extracting Method of Relay Circuit Based on Network Topology

ZHANG Yingyao,GENG Yingsan,ZHANG Guogang,DENG Yongqing
DOI: https://doi.org/10.3969/j.issn.1001-5531.2007.21.001
2007-01-01
Abstract:The reliability design and functional verification in relay circuit play an important role in the secure running of electrical power system.It is a new idea to functional verification to apply the logic analysis.In this paper,a method to extract the logical formula by the DFS(Depth-First-Search) was introduced based on that all of the circuit loops were searched.Finally,the logical formula was stored by binary tree.
What problem does this paper attempt to address?