Пошук академічних текстів

Інформація × Реєстраційний номер 0504U000647, Докторська дисертація На здобуття д.т.н. Дата захисту 01-12-2004 Статус Запланована Назва роботи Теоретико-множинні оптимізаційні методи логікового синтезу комбінаційних мереж Здобувач Рицар Богдан Євгенович, Керівник Мандзій Богдан Андрійович Опонент Кривий Сергій Лук'янович Опонент Іваськів Юрій Лукич Опонент Тимченко Олександр Володимирович Опис На єдиному теоретико-множинному підході розроблено нові оптимізаційні методи логікового синтезу комбінаційних мереж - мінімізації, декомпозиції булових функцій та їх систем та кодування підфункцій для задач функційної декомпозиції, а також метод виявлення неістотних змінних, виявлення симетрії і розпізнання її типів у булових функціях. На методі розчеплення кон'юнктермів розроблено програму SPLIT. Узагальнено класифікацію функційних декомпозицій та уточнено класифікацію типів симетрії булових функцій. Дата реєстрації 2004-12-01 Додано в НРАТ 2020-04-04 Закрити