Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
Подобные документы
- 26. Разработка параллельного алгоритма нахождения оптимального решения транспортной задачи на кластере
Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Экспериментальные данные, полученные при выполнении параллельных алгоритмов нахождения решения транспортной задачи на кластере. Подходы к распараллеливанию методов решения задачи.
статья, добавлен 28.05.2017 Выбор наиболее эффективного метода и решение задачи. Разработка алгоритма и программы для решения задачи в общем виде. Применение программа "TabSimMethod". Решение задачи табличным симплекс-методом. Создание, ввод формул и форматирование таблиц.
курсовая работа, добавлен 26.12.2014Рассмотрение особенностей задач о назначении. Описание алгоритма классической транспортной задачи. Изучение правил применения венгерского метода решения. Составление структуры программы. Тестирование программы при нормальных и экстремальных условиях.
курсовая работа, добавлен 18.01.2016Общий подход к реализации масштабируемых проектов ПЛИС, особенности алгоритма IDEA в контексте задачи масштабирования. Использование IP-ядра в условиях различных аппаратных ресурсов. Целесообразность последовательной генерации подключей для дешифрования.
статья, добавлен 28.02.2016Разработка программы для характеристики взаиморасположения элементов матрицы. Строгая математическая постановка задачи, описание метода и алгоритм решения. Структура разработанного приложения. Распечатка форм и таблиц значений свойств, результаты решения.
курсовая работа, добавлен 10.06.2014Изучение технологической цепочки решения задачи на компьютере. Процесс сбора информации и формулировки условия задачи. Использование языка блок-схемы, значение отладки и тестирования программы. Моделирование движения тела, брошенного вертикально вверх.
презентация, добавлен 06.04.2018Изучение методов составления опорного плана и дальнейшей оптимизации перевозок. Рассмотрение примера решения транспортной задачи методом потенциалов. Создание программы, реализующей решение задачи на языке Object Pascal в среде программирования Delphi.
курсовая работа, добавлен 19.10.2014Алгоритмы для решения задачи бинарной классификации. Подготовка данных для создания модели. Разработка предиктивной модели для прогнозирования возможности продажи дополнительных услуг телекоммуникационного оператора с целью решения маркетинговых задач.
дипломная работа, добавлен 27.08.2018Рассматривается возможность снижения логистических затрат на транспортировку посредством решения задачи коммивояжера. Предлагается алгоритм решения задачи с использованием основной вычислительной мощности надстройки программы "Решатель" OpenOffice Calc.
статья, добавлен 28.07.2017Решение задачи интерполяции и аппроксимации функции. Способы решения дифференциального уравнения. Методы обработки звуковых и графических файлов. Особенности решения системы линейных уравнений методом Гаусса. Разложение сигнала в комплексный ряд Фурье.
курсовая работа, добавлен 21.02.2019Понятие, области применения и особенности транспортной задачи. Математическая постановка и алгоритм решения транспортной задачи связанной с перевозкой срочных грузов, с помощью метода опорного решения, метода северо-западного угла и по критерию времени.
реферат, добавлен 30.01.2015Разработка схемы нахождения оптимального плана параллельного решения задачи на ВС заданного типа. Рассмотрение алгоритма получения множества нитей для каждого варианта решения задачи. Определение исходных данных. Описание разработанной программы.
курсовая работа, добавлен 23.11.2015Исследование и характеристика особенностей транспортной задачи, которая является частным случаем задачи линейного программирования. Ознакомление с математической моделью транспортной задачи. Рассмотрение преимуществ метода северо-западного угла.
дипломная работа, добавлен 24.04.2016Сущность метода динамического линейного программирования. Особенности решения задач с использованием возможностей табличного процессора MS Excel. Принцип работы и функции файловой среды, характеристика решения двойственной задачи с применением формул.
курсовая работа, добавлен 20.06.2015Постановка задачи линейного программирования и методы ее решения. Применение графического метода решения задачи линейного программирования (ЛП) на практике: экономическая постановка задачи, решение задачи ЛП средствами программного продукта Gsimplex.
курсовая работа, добавлен 16.10.2014Процесс нахождения минимума функции на заданном интервале методом дихотомии. Функциональное назначение и описание логической структуры программы для решения математической задачи численными методами. Условия применения, пример и текст программы.
курсовая работа, добавлен 20.09.2017Рассмотрение особенностей подготовки табличного процессора Excel к решению задачи. Изучение алгоритма решения линейной задачи методами оптимизации пакета Excel с помощью надстройки "Поиск решения". Разработка базы данных в среде Microsoft Access.
контрольная работа, добавлен 19.05.2014Оценка эффективности применения метода model checking и инструмента Spin с верификацией протоколов когерентности памяти для поиска ошибок в устройствах. Проверка выполнимости характеристик системы. Верификация протокола когерентности "Эльбрус-2S".
статья, добавлен 27.11.2018Технология и методика применения системно-когнитивного анализа и его инструментария – системы "Эйдос" для решения задачи о назначениях рюкзаков. Прогнозирование степени полезности грузов для разных моделей рюкзаков путем решения задачи распознавания.
статья, добавлен 26.04.2017- 45. Автоматизация решения экономической задачи с использованием языка программирования высокого уровня
Разработка автоматизированного приложения для решения транспортной задачи. Разработка плана перевозок грузов из пунктов отправления в пункты потребления с минимальными затратами. Определение оптимального количества поставок товаров при неизменном спросе.
статья, добавлен 09.04.2019 Функциональное назначение программного комплекса решения математической задачи численными методами. Разработка программы в языковой среде Visual Basic. Процесс решения методом Гаусса системы линейных уравнений, записанной в виде матрицы коэффициентов.
отчет по практике, добавлен 23.09.2017Описание проблемы оптимизации массовой обработки структурированных больших данных. Подход для решения проблемы повышения эффективности массовой обработки данных, основанный на промежуточных моделях данных. Проектирование программно-аппаратных комплексов.
статья, добавлен 24.06.2017Рассмотрение математической постановки и компьютерной реализации известной экономической задачи о коммивояжере. Разработка оригинального алгоритма решения задачи, обеспечивающий получение оптимального маршрута с минимальными экономическими затратами.
статья, добавлен 27.12.2018- 49. Сущность вирусов
Определение цели вируса - нарушения работы программно-аппаратных комплексов: удаления файлов, приведения в негодность аппаратных комплексов компьютера. Характеристика особенностей загрузочных и файловых вирусов. Исследование механизма распространения.
реферат, добавлен 24.02.2016 - 50. TPM и IMA/EVM против программно-аппаратных средств защиты информации от несанкционированного доступа
Использование принципа пошагового контроля целостности для гарантированной защиты данных от несанкционированного доступа. Применение аппаратных модулей доверенной загрузки на IBM-совместимых средствах вычислительной техники архитектуры x86/x86-64.
статья, добавлен 03.05.2019