出版社：Ivan Kozhedub Kharkiv National Air Force University
摘要：The article deals with approaches to logic synthesis multistage relay protection devices,analyzes several known methods to define algorithms for discrete devices. Concluded that the most appropriate language formalization of multistage devices is the language of logic algorithms. Is proposed for the formalization of the description of discrete devices,relay protection using the concepts of addition operators and logical conditions the concept of the symbol of choice.
其他摘要：В статті розглядаються особливості логічного синтезу багатотактних пристроїв релейного захисту,аналізуються відомі способи завдання алгоритмів роботи дискретних пристроїв. Встановлено,що найбільш доцільною мовою формалізації роботи багатотактних пристроїв
关键词：relay protection;discrete device;the logical scheme of the algorithm;logic circuit requirements
其他关键词：релейний захист;дискретний пристрій;логічна схема алгоритму;логічна схема вимог
