Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
Подобные документы
Определение содержания понятия автоматизированного рабочего места, анализ схемы и примеры практического применения АРМ. Характеристика аппаратных средств АРМ: процессор, память, устройства ввода, вывода информации и перспективные направления их развития.
дипломная работа, добавлен 10.02.2011Подходы к разработке программно-аппаратных комплексов защиты, на базе алгоритмов, относящихся к классу нераскрываемых шифров. Особенности алгоритма, косвенного шифрования реализованого внутри устройства на базе процессоров цифровой обработки сигналов.
статья, добавлен 27.07.2016Сравнительная характеристика аппаратных средств персональных электровычислительных машин. Конструктивные особенности и параметрические характеристики материнских плат, оперативной и кеш памяти, жестких дисков, видеоконтроллеров, накопителей и приводов.
курсовая работа, добавлен 20.01.2011Построение одноиндексной математической модели задачи линейного программирования. Ее решение графическим методом, использование математического аппарата для решения. Применение симплекс-метода для решения задачи, его приемы и методы в программировании.
контрольная работа, добавлен 24.04.2009Постановка задачи линейного программирования и её решение средствами Excel. Рассмотрение алгоритма решения задачи целочисленного программирования и транспортной задачи. Приведение решения матричной игры к решению задачи линейного программирования.
учебное пособие, добавлен 02.04.2014Решение задачи о выполнении перевозки грузов по нескольким регионам на языке программирования Паскаль. Особенности составления алгоритма решения задачи в текстовом процессоре MS Word. Решение задачи средствами MS Excel и пакета расчётов MathCAD.
контрольная работа, добавлен 10.04.2013Исследование методов решения сложных задач роста популяции и мутации средствами языка программирования высокого уровня Borland Pascal. Особенности операции скрещивания в генетическом алгоритме. Описание и обоснование выбранного варианта решения.
курсовая работа, добавлен 26.05.2015Разработка и внедрение программного модуля системы автоматизации учета заявок на обслуживание аппаратных средств в отделе АСУ АО "ЕЭК". Алгоритм работы создаваемой системы, порядок развертывания, программная реализация. Расчет экономической эффективности.
дипломная работа, добавлен 13.12.2013Разработка программы для создания информационной системы анализа успеваемости студентов. Пример ее выполнения. Математические и алгоритмические основы решения задачи. Программная реализация ее решения. Функциональные модели и блок-схемы решения задачи.
курсовая работа, добавлен 20.01.2010Математическая генетика: ее история. Основные понятия генетического алгоритма, его этапы, область применения. Поиск численного решения целевой функции с использованием генетического алгоритма: постановка задачи, реализация решения задачи на С++.
курсовая работа, добавлен 22.05.2017Создание математической модели, изложение видов и методов решения общей задачи линейного программирования. Алгоритмы и этапы применения симплекс метода. Использование программы msimplex (язык программирования Delphi). Решение задачи в среде Excel.
курсовая работа, добавлен 08.06.2013Разработка и исследование численного метода решения задачи оптимального управления. Исследование метода сетевого оператора для решения задачи многокритериального структурно-параметрического синтеза системы управления спуском космического аппарата.
автореферат, добавлен 31.07.2018Способы решения задачи линейного программирования графическим методом. Максимальное и минимальное значение целевой функции при заданных ограничениях. Алгоритм симплекс-метода решения задачи линейного программирования, критерии оптимальности решения.
контрольная работа, добавлен 04.02.2013Приближенные методы решения взвешенной задачи о минимальном покрытии множества. Реализация жадного алгоритма и алгоритма Бар-Иегуды-Эвена, сравнение их временной сложности. Применение результатов, полученных с их помощью в других подходах решения задачи.
дипломная работа, добавлен 17.07.2020Метод стеганографического скрытия данных в аппаратных контейнерах с LUT-ориентированной архитектурой. Разработка процедуры, состоящей в инвертировании значений текущего обрабатываемого блока LUT и выполнении распространения инверсии на входы блоков LUT.
статья, добавлен 23.02.2016- 66. Электронный офис
Понятие и состав электронного офиса в маркетинге. Методы организации программно-аппаратных средств в электронном офисе, организационные формы его использования на предприятиях различного типа. Использование информационной среды для решения задач.
реферат, добавлен 07.01.2013 Задача о назначениях как частный случай классической транспортной задачи, ее теоретические основы и методики решения. Анализ Венгерского метода решения задачи о назначениях, оценка его эффективности и оптимальности, этапы. Разработка программного кода.
курсовая работа, добавлен 15.05.2013Постановка классической задачи о рюкзаке. Основные способы решения задачи комбинаторной оптимизации. Выбор алгоритма решения задач и определение его сложности. Построение математической модели решения задач. Описание процедур и функций программ.
курсовая работа, добавлен 08.12.2014Модификация классических методов решения задач многокритериальной оптимизации под особенности транспортной задачи. Составление программного комплекса в среде Visual Studio на языке программирования С# для решения многокритериальной транспортной задачи.
статья, добавлен 27.02.2018- 70. Системы GRM - новая идеология в управлении предприятиями, эксплуатирующими инженерные коммуникации
Использование стандартных программно-аппаратных решений GRM-систем, допускающих индивидуальное настраивание с потребностями конкретных заказчиков. Готовые решения, имеющие широкое распространение, как исходная платформа и условие для интеграции приложений
статья, добавлен 28.02.2017 Рассмотрение теории решения творческих задач. Изучение основных понятия и определений системы комплексной программы алгоритмизации. Классификация противоречий, логика и структура решения изобретательских задач. Пример решения задачи подводное крыло.
реферат, добавлен 21.03.2015Формулирование задачи линейного программирования в общем виде. Особенности использования симплекс-метода в решении задач оптимизации. Назначение и возможности надстройки Excel "Поиск решения". Нахождение оптимального решения с помощью "Поиска решения".
отчет по практике, добавлен 16.12.2014Система шифрования Эль Гамаля. Взаимно простые числа. Математические и алгоритмические основы решения задачи. Использование алгоритма Эль Гамаля для формирования электронной подписи или для шифрования данных. Функциональные модели решения задачи.
курсовая работа, добавлен 20.01.2010Применение переборных алгоритмов в рамках задачи оптимизации транспортной логистики. Задачи применения генетических алгоритмов. Особенности работы операторов скрещивания. Способы решения проблемы перекрестного скрещивания в задаче коммивояжера.
доклад, добавлен 28.04.2014Математические основы решения задачи коммивояжера: основные понятия теории графов, формулировка, некоторые свойства решений задач. Постановка задачи коммивояжера как задачи на графе. Метод ветвей и границ. Разработка и описание алгоритма работы программы.
курсовая работа, добавлен 07.06.2014