Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
При низкой оригинальности работы "Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости", Вы можете повысить уникальность этой работы до 80-100%
Представленные результаты дают понятие об алгоритмах, применимых для решения задачи выполнимости булевых формул с использованием многоядерных аппаратных ускорителей, а также о группах задач, относящихся к задаче выполнимости булевых формул, для которых использование многоядерных ускорителей обосновано. Сначала алгоритм упрощает формулу, назначая значения некоторым переменным таким образом, что если часть проблема выполнима, то выполнима вся формула. К этому классу относятся сопроцессоры для решения определенных классов задач, например, криптографические ускорители, карты физического моделирования, ИИ-ускорители (для эффективного ускорения решения задач обучения искусственных нейронных сетей, распознавания образов, машинного обучения). Такие ускорители имеют архитектуру, разработанную специально для решения определенных классов задач и малоприменимую для решения других; Такие ускорители имеют архитектуру, пригодную для решения широкого класса задач, решаемых с использованием центрального процессора, но имеющих потенциал для ускорения за счет одновременного использования большого количества вычислительных ядер.
Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность своей работы
