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

Інформація × Реєстраційний номер 0494U001154, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 05-10-1994 Статус Запланована Назва роботи Применение теоретико-графового аппарата для решения некоторых задач булевой алгебры Здобувач Аль-Саид Халиль Халед, Керівник Волков А.А. Опонент Асельдеров З.М. Опонент Донец Г.А. Опис Объект исследования: Булевы функции. Цель исследования: Разработка эффективных алгоритмов решения некоторых задач булевой алгебры. Методы исследования и аппаратура: Аппарат теории графов. Теоретические результаты и новизна: Разработаны новые алгоритмы решения задач минимизации и распознавания изоморфизма булевых функций. Практические результаты и новизна: Результаты могут быть использованы в радиоэлектронике, органической химии и машинной графике. Предмет и степень внедрения: Оптимизационные и тестирующие программы для цифровых устройств. Эффективность внедрения: Исследование, оптимизация и синтез цифровых устройств. Сфера (область) использования: Радиоэлектроника и органическая химия. Дата реєстрації 1994-10-05 Додано в НРАТ 2020-05-17 Закрити