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

14 сентября 2018
319
Предметная область
Отрасли по ОКВЭД
Страна, регион, город Российская Федерация, Иркутская область, Иркутск
Отличия от конкурентов
Вид документа об охране ИС программа для ЭВМ
Номер документа ИС 201761980
Дата регистрации документа ИС 2017-09-07
Необходимые инвестиции для внедрения договорная
Сроки внедрения
Стоимость предоставления технологии договорная
Наличие экспертного заключения Нет

Польза для потенциального потребителя

Программа предназначена для параллельного решения ресурсоемких задач булевой выполнимости большой размерности на вычислительных кластерах с SMP-узлами и ориентирована на применение при проведении вычислительных экспериментов в различных предметных областях, где в процессе исследований возникают дискретные модели в виде систем булевых уравнений. Программа представляет собой масштабируемое MPI-приложение на языке С . Главный процесс приложения организует динамическую очередь подзадач, получаемых в результате декомпозиции исходной булевой модели методом расщепления. В дочернем процессе может выполняться как многопоточное, так и однопоточное приложение. Программа реализована на основе метода полного поиска и использует параллелизм по данным. Пользователю предоставляется возможность выбора эвристики расщепления, глубины расщепления и базового решателя, запускаемого в дочернем процессе.