Информация о статье
2023 г., Том 28, № 1, с.48-60
Опарин Г.А., Богданова В.Г., Пашинин А.А.
Применение метода булевых ограничений для качественного анализа динамических свойств сингулярных булевых сетей
С использованием метода булевых ограничений решены задачи качественного исследования динамики поведения траекторий на конечном интервале времени сингулярных булевых сетей. Получены в виде булевых ограничений модели локальных динамических свойств, свойства периодичности траекторий и свойства достижимости целевого множества состояний из множества начальных состояний. В зависимости от свойств проверка булевых ограничений сводится к задаче булевой выполнимости или задаче проверки истинности квантифицированной булевой формулы. Приведен ряд примеров, на которых продемонстрирована технология качественного исследования динамических свойств в микросервисной гетерогенной вычислительной среде. Прикладные программные модули для построения булевой модели динамического свойства сингулярной булевой сети и проверки выполнимости модели реализованы в виде вычислительных микросервисов. Применение такого подхода обеспечивает независимость, воспроизводимость, автономность и масштабируемость модулей. Разработанные микросервисы расширили репозиторий пакета прикладных микросервисов для качественного исследования двоичных динамических систем. Права на запуск микросервисов делегированы управляющим агентам этого пакета, установленным в узлах распределенной среды. Разработанные средства автоматизации позволяют специалисту по автоматной динамике формулировать постановку задач на вычислительной модели предметной области в содержательных терминах
[ссылка на elibrary]
Ключевые слова: сингулярные булевы сети, качественный анализ, булевы ограничения, сервис-ориентированный решатель
doi: 10.25743/ICT.2023.28.1.006
Библиографическая ссылка: Опарин Г.А., Богданова В.Г., Пашинин А.А. Применение метода булевых ограничений для качественного анализа динамических свойств сингулярных булевых сетей // Вычислительные технологии. 2023. Т. 28. № 1. С. 48-60
|
|
|