ИСТИНА

В 2016 г. проведено исследование существующих алгоритмов синтеза обратимых схем без дополнительных входов. Разработаны новый алгоритм синтеза обратимых схем и реализующий его программный модуль. С помощью созданного программного модуля были получены (синтезированы описания) обратимые схемы, имеющие характеристики, существенно превосходящие характеристики известных аналогов. Исследовались вопросы применения теории групп подстановок для синтеза схем из обратимых логических элементов. В ходе исследований получены нижние границы для сложности и глубины схем из обратимых логических элементов при наличии и отсутствии дополнительной памяти. Подготовлен обзор современного состояния теории схем из обратимых логических элементов. Исследовано влияние наличия дополнительной памяти на сложность обратимых схем. Получены результаты по реализации арифметических операций схемами из обратимых логических элементов. Разработаны методы дискретной оптимизации, применительно к теме проекта. Получены модели данных для представления функций алгебры логики и схем логических элементов. Предложены трёхдольными формальные модели представления данных на основе реляционной информации, содержащие не более трёх единиц анализа (объекты, маркеры, категории). Это позволило разработать оригинальные методы преобразования исходной информации к установленному моделью виду, причём достигается компромисс между сложностью модели и вычислительной эффективностью метода перехода к ней.