Опарин Геннадий Анатольевич, Богданова Вера Геннадьевна, Пашинин Антон Алексеевич

Институт динамики систем и теории управления им. В.М. Матросова СО РАН

В основе предлагаемой технологии лежат методы, модели, программные средства и инструментарий автоматизации решения задач качественного исследования двоичных динамических систем на основе метода булевых ограничений в микросервисной вычислительной инфраструктуре. Суть метода состоит в сведении рассматриваемых задач к решению SAT или 2QBF задач путем построения булевой модели динамического свойства. Программное обеспечение включает средства построения булевых моделей и проверки их выполнимости. В рамках нашей технологии эти программные средства реализованы в виде пакета прикладных микросервисов. Запуском микросервиса управляют устанавливаемые в узлах вычислительной инфраструктуры программные агенты, создаваемые на основе разработанной ранее инструментальной платформы HPCSOMAS-MSC. Целью настоящего исследования является расширение HPCSOMAS-MSC средствами автоматизации подготовки вычислительных узлов распределенной среды для развертывания пакета прикладных микросервисов и специализированными агентами, ориентированными на структуру булевой модели, для обеспечения двухуровневого управления параллельными вычислениями при проверке ее выполнимости. На верхнем уровне подзадачи, полученные путем расщепления булевой модели, распределяются по узлам нижнего уровня, подвергаются углубленному расщеплению и решаются параллельно, как независимые. Вычислительные эксперименты для проведения качественного исследования двоичных динамических систем с большой размерностью вектора состояния показали эффективность предложенной технологии. Широта использования таких систем в качестве моделей объектов при проведении исследований в разнообразных предметных областях обусловливает практическую значимость предложенной технологии.

двоичные динамические системы, качественный анализ, метод булевых ограничений, микросервис