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

Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук

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

пакет прикладных микросервисов, микросервис, управление вычислениями, конвейер, двоичные динамические системы