Комп'ютерні системи проектування теорія і практика. – 2007. – №591

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/3174

Вісник Національного університету "Львівська політехніка"

У віснику розглянуто питання теорії і практики моделювання складних об`єктів процесів і систем, а також розробки та використання програмно-технічних засобів автоматизованого проектування. Для наукових працівників, інженерів, аспірантів і студентів старших курсів, а також спеціалістів-розробників і користувачів комп`ютерних систем проектування.

Вісник Національного університету "Львівська політехніка" : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет "Львівська політехніка. – Львів : Видавництво Національного університету “Львівська політехніка”, 2007. – № 591 : Комп'ютерні системи проектування. Теорія і практика / відповідальний редактор М. В. Лобур. – 132 с. : іл.

Browse

Author: search.filters.author.Білаль, Аль-ЗабіSubject: search.filters.subject.схеми РЕА

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Встановлення існування необхідних умов еквівалентності схем
    (Видавництво Національного університету “Львівська політехніка”, 2007) Білаль, Аль-Забі; Керницький, А. Б.; Ткаченко, С. П.
    Розглянуті можливі шляхи встановлення існування необхідних умов еквівалентності схем РЕА під час розв’язання задач верифікації і функціональної декомпозиції схем. У першому випадку необхідно реалізувати класифікатор схемних елементів. Інший варіант розв’язання задачі – реалізація класифікатора схемних ланцюгів. 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.