Страница публикации

Сервис-ориентированные инструментальные средства для решения задач булевой выполнимости

Авторы: Богданова В.Г., Горский С.А., Пашинин А.А.

Журнал: Фундамент. исследования

Том:

Номер: 2-6

Год: 2015

Отчётный год: 2015

Издательство:

Местоположение издательства:

URL:

Аннотация: В статье рассматривается мультиагентный подход к параллельному решению булевых уравнений в распределенной гетерогенной вычислительной среде. Описывается мультиагентная система, управляющая этим процессом, особенностью которой является реализация агентов в виде сервисов. Мультиагентная система декомпозирует исходную задачу на подзадачи, формирует очередь заданий для подзадач, осуществляет подбор подходящего кластера, постановку в очередь заданий, запуск решателя булевых уравнений, контроль выполнения заданий, объединение полученных результатов, информирование пользователя о ходе решения. Приводится гибридный алгоритм решения булевых уравнений, использующий параллельные технологии обмена сообщениями и работы с общей памятью. Рассматриваются примеры использования мультиагентной системы для решения ряда задач булевой выполнимости, являющейся фундаментальной в математической логике и теории вычислений. Решение этих задач осуществляется путем проведения многовариантных распределенных вычислений, что позволяет существенно сократить время их решения. В качестве распределенной вычислительной среды используются вычислительные кластеры суперкомпьютерного центра коллективного пользования при ИДСТУ СО РАН. Принципы работы рассмотренного инструментария обеспечивают широкий спектр использования его функциональных возможностей для управления параллельным выполнением приложения пользователя в распределенной вычислительной среде при проведении вычислительных экспериментов в разнообразных предметных областях, где естественным образом возникают дискретные модели в виде систем булевых уравнений.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: