Программная библиотека для решения задачи выполнимости булевых формул при помощи реконфигурируемых вычислителей

13.01.2023

Программа предназначена для решения задачи выполнимости булевых формул при помощи реконфигурируемых вычислителей. Программа может использоваться в гетерогенных суперкомпьютерных системах, имеющих реконфигурируемые модули на базе ПЛИС Xilinx. Функциональные возможности программы: программа осуществляет поиск целевых платформ и реконфигурируемых устройств с целью решения задачи выполнимости булевых формул. На базе реконфигурируемого аппаратного ускорителя, используя стандарт OpenCL, осуществляется решение задачи выполнимости булевых формул (задачи SAT – boolean SATisfiability problem).

ГРНТИ

50.41.25 Прикладное программное обеспечение

Ключевые слова

реконфигурируемый вычислитель

задача выполнимости булевых функций

ПЛИС

Детали

НИОКТР

№ 122042900021-5

Тип РИД

Программа для ЭВМ

Сферы применения

Решение вычислительных задач в науке

Ожидается

Исполнитель

Исполнители

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "САНКТ-ПЕТЕРБУРГСКИЙ ПОЛИТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ ПЕТРА ВЕЛИКОГО"

Заказчик

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

Похожие документы

Программа для поиска эффективных декомпозиций трудных экземпляров проблемы булевой выполнимости

0.886

РИД

Программа для решения трудных экземпляров проблемы булевой выполнимости с применением метода опорных векторов

0.879

РИД

Программа для оценивания эффективности декомпозиций трудных экземпляров задачи булевой выполнимости с применением произвольных решателей и возможностью варьирования их параметров

0.877

РИД