Search academic texts

Information × Registration Number 0494U001154, Candidate dissertation Status к.ф.-м.н. Date 05-10-1994 popup.evolution o Title Author Аль-Саид Халиль Халед, popup.head Волков А.А. popup.opponent Асельдеров З.М. popup.opponent Донец Г.А. Description Объект исследования: Булевы функции. Цель исследования: Разработка эффективных алгоритмов решения некоторых задач булевой алгебры. Методы исследования и аппаратура: Аппарат теории графов. Теоретические результаты и новизна: Разработаны новые алгоритмы решения задач минимизации и распознавания изоморфизма булевых функций. Практические результаты и новизна: Результаты могут быть использованы в радиоэлектронике, органической химии и машинной графике. Предмет и степень внедрения: Оптимизационные и тестирующие программы для цифровых устройств. Эффективность внедрения: Исследование, оптимизация и синтез цифровых устройств. Сфера (область) использования: Радиоэлектроника и органическая химия. Registration Date 1994-10-05 popup.nrat_date 2020-05-17 Close