Academic Journal
УПРАВЛЕНИЕ КОНВЕЙЕРНО-ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КАЧЕСТВЕННОГО ИССЛЕДОВАНИЯ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МЕТОДА БУЛЕВЫХ ОГРАНИЧЕНИЙ: DEVELOPMENT OF SELF-ORGANIZING MULTIAGENT SYSTEM FOR DECENTRALIZED CONTROL BY DISTRIBUTED SOLUTION OF APPLIED PROBLEMS
| Title: | УПРАВЛЕНИЕ КОНВЕЙЕРНО-ПАРАЛЛЕЛЬНЫМИ ВЫЧИСЛЕНИЯМИ ПРИ РЕШЕНИИ ЗАДАЧ КАЧЕСТВЕННОГО ИССЛЕДОВАНИЯ ДВОИЧНЫХ ДИНАМИЧЕСКИХ СИСТЕМ НА ОСНОВЕ МЕТОДА БУЛЕВЫХ ОГРАНИЧЕНИЙ: DEVELOPMENT OF SELF-ORGANIZING MULTIAGENT SYSTEM FOR DECENTRALIZED CONTROL BY DISTRIBUTED SOLUTION OF APPLIED PROBLEMS |
|---|---|
| Source: | Информационные и математические технологии в науке и управлении. |
| Publisher Information: | Melentiev Energy Systems Institute, 2019. |
| Publication Year: | 2019 |
| Subject Terms: | микросервис, двоичные динамические системы, управление вычислениями, пакет прикладных микросервисов, конвейер |
| Description: | Рассматриваются средства управления вычислениями в пакете прикладных микросервисов, ориентированном на применение при решении задач качественного исследования двоичных динамических систем на основе метода булевых ограничений. Вычислительная модель предметной области и архитектура агента обеспечивают возможность проведения многовариантных, параллельных и конвейернопараллельных вычислений на выделенных ресурсах. Предложенный подход демонстрируется на примере анализа структуры пространства состояний сдвигового регистра. |
| Document Type: | Article |
| Language: | Russian |
| ISSN: | 2413-0133 |
| DOI: | 10.25729/2413-0133-2019-3-07 |
| Accession Number: | edsair.doi...........945a3957d7e741cfe618f87fc1d175c2 |
| Database: | OpenAIRE |
Be the first to leave a comment!