269_1

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