Пропустить навигацию.
Главная

Программный комплекс для преобразования алгоритмов вычисления дискретных функций в выражения исчисления высказываний

Разработаны новые методы преобразования алгоритмов вычисления дискретных функций в выражения исчисления высказываний, использующие проблемно-ориентированный язык для исходного представления алгоритмов. В отличие от известных результатов по булевому моделированию, в которых методики построения булевых уравнений существенным образом зависят от особенностей предметной области, данный подход предоставляет единый способ описания широкого класса дискретных систем булевыми уравнениями. На основе предложенного подхода разработан и реализован программный комплекс Transalg, предназначенный для преобразования процедурных описаний дискретных функций в системы булевых уравнений. Комплекс Transalg был применен к исследованию ряда криптографических функций и дискретно-автоматных отображений, моделирующих динамику генных сетей.

 

Рис. 5. Архитектура программного комплекса Transalg

Авторы результата: к.т.н. А.А. Семенов, к.т.н. И.В. Отпущенников.