Мультиагентная технология автоматизации параллельного решения булевых уравнений в распределенной вычислительной среде

摘要

Рассмотрены архитектура, функциональные возможности и технология применения инструментального комплекса РЕБУС 2.0, ориентированного на использование в фундаментальных и прикладных исследованиях при решении задач с помощью высокопроизводительных вычислений в разнообразных областях знаний, где естественным образом возникают дискретные модели в виде систем булевых уравнений (ограничений).