Білаль, Аль-ЗабіКерницький, А. Б.Ткаченко, С. П.2010-05-182010-05-182007Білаль Аль-Забі Встановлення існування необхідних умов еквівалентності схем / Білаль Аль-Забі, А. Б. Керницький, С. П. Ткаченко // Вісник Національного університету "Львівська політехніка". – 2007. – № 591 : Комп'ютерні системи проектування. Теорія і практика. – С. 87–90. – Бібліографія: 5 назв.https://ena.lpnu.ua/handle/ntb/3426Розглянуті можливі шляхи встановлення існування необхідних умов еквівалентності схем РЕА під час розв’язання задач верифікації і функціональної декомпозиції схем. У першому випадку необхідно реалізувати класифікатор схемних елементів. Інший варіант розв’язання задачі – реалізація класифікатора схемних ланцюгів. Some possible ways to determine scheme equivalence necessary conditions have been considered. Scheme equivalence is to be checked while solving the problems of verification or functional decomposition of schemes. In the first case, a scheme element classifier is to be realized. Another solution variant applies net classifier.uaнеобхідні умовиеквівалентність схемсхеми РЕАреалізація класифікатора схемних ланцюгівArticle