2023 г., Том 28, № 1, с.48-60

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