|
Информация о статье
2016 г., Том 21, № 3, с.5-17
Бычков И.В., Опарин Г.А., Богданова В.Г., Горский С.А., Пашинин А.А.
Мультиагентная технология автоматизации параллельного решения булевых уравнений в распределенной вычислительной среде
Рассмотрены архитектура, функциональные возможности и технология применения инструментального комплекса РЕБУС 2.0, ориентированного на использование в фундаментальных и прикладных исследованиях при решении задач с помощью высокопроизводительных вычислений в разнообразных областях знаний, где естественным образом возникают дискретные модели в виде систем булевых уравнений (ограничений).
[полный текст]
Ключевые слова: булевы уравнения и ограничения, комбинаторные задачи, булева выполнимость
Библиографическая ссылка:
Бычков И.В., Опарин Г.А., Богданова В.Г., Горский С.А., Пашинин А.А. Мультиагентная технология автоматизации параллельного решения булевых уравнений в распределенной вычислительной среде // Вычислительные технологии. 2016. Т. 21. № 3. С. 5-17
|
|
|
|
