Микросервис-ориентированный параллельный решатель проверки выполнимости булевых ограничений MSCSAT
двоичные динамические системы качественный анализ параллельный решатель мультиагентное управление микросервис
Программа MSCSAT предназначена для параллельного решения задач булевой выполнимости в микросервисной вычислительной среде и ориентирована на применение при решении задач качественного анализа нелинейных двоичных динамических систем, функционирование которых рассматривается на конечном интервале времени, на основе метода булевых ограничений. Согласно этому методу, математическая модель исследуемого динамического свойства учитывает как спецификацию свойства, так и уравнения динамики конкретного объекта. Модель строится в виде дизъюнктивной нормальной формы специального вида, включающей бинарные и p-арные конъюнкты, в которых p много больше двух.
Программа MSCSAT представляет собой распределенный сервис-ориентированной решатель с мультиагентным управлением. Отличительная особенность MSСSAT заключается в его предметной ориентации на структуру двоичной динамической системы и применении специализированного алгоритма двухуровневой схемы распараллеливания. Агенты первого уровня выполняют построение и первоначальное расщепление исходной булевой модели, агенты второго – углубленное расщепление и проверку выполнимости полученных подмоделей. Предложенная схема существенно сокращает перебор вариантов, отбрасывая на каждом уровне несовместимые кортежи означенных булевых переменных, получаемые при расщеплении. Два уровня распараллеливания уменьшают накладные расходы при формировании и распределении подзадач.
Программа MSCSAT предназначена для использования в различных областях науки и техники, в которых модели исследуемых объектов представлены в виде нелинейных управляемых двоичных динамических систем.
Игорь
Бычков
Вячеславович
Директор
Доктор технических наук
Академик
A-6623-2014
56308077400
62875
0000-0002-1765-0769
РОССИЯ
Игорь
Бычков
Вячеславович
Директор
РОССИЯ
50.41.25
Прикладное программное обеспечение
27.41.41
Алгоритмы решения задач вычислительной и дискретной математики
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Антон
Пашинин
Алексеевич
Разработка архитектуры и алгоритмов программы, реализация программного кода, тестирование.
РОССИЯ
Вера
Богданова
Геннадьевна
Постановка задачи, разработка математического и алгоритмического обеспечения.
РОССИЯ
МИНОБРНАУКИ РОССИИ
МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
1187746579690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные казенные учреждения
ИДСТУ СО РАН
Федеральное государственное бюджетное учреждение науки Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук)
1023801757000
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения