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

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

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

 

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

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

Министерство образования и науки Российской Федерации Российская академия наук (РАН) Сибирское отделение Российской академии наук (СО РАН) Отделение нанотехнологий и информационных технологий РАН (ОНИТ РАН) Иркутский научный центр СО РАН (ИНЦ СО РАН) Иркутский государственный университет (ИГУ) Иркутский национальный исследовательский технический университет (ИрНИТУ) Российский научный фонд Российский фонд фундаментальных исследований Институт систем энергетики им. Л.А. Мелентьева (ИСЭМ СО РАН) Наука в Сибири Наука Приангарья Агенство научный новостей Байкальский экологический водный форум