【作者】 张颖瑶； 耿英三； 邓永庆； 张国钢；

【Author】 (Xi’an JiaoTong University,710049,Xi’an) Zhang Ymgyao Geng Yingsan Deng Yongqing Zhang Guogang

【机构】 西安交通大学；

【摘要】 继电线路的可测性设计和功能验证,在电力系统的安全可靠性运行中起着重要的作用,用逻辑分析的方法对控制电路进行功能验证是一种全新的思路。本文提出了一种用深度优先搜索电路中所有回路构造电路逻辑表达式的方法,并将抽取出的逻辑表达式用二叉树进行存储。该方法能够快速准确地抽取出复杂控制线路的逻辑表达式,并快速地计算出逻辑表达式的值。更多还原

【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)is introduced based on that all of the circuit loops had been searched. Finally,the logical formula has been stored by binary tree.更多还原