Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
Подобные документы
Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Реализация упрощенного алгоритма шинглов для сокращения времени сравнения документов на неоднородной вычислительной системе на базе многоядерных процессоров и Many Integrated Core (MIC) ускорителей. Поэтапная модификация исходной однопоточной программы.
статья, добавлен 28.07.2017Введение в модель программирования на Graphic Processor Unit. Архитектура графических адаптеров Nvidia. Характеристика модели платформы OpenCL. Возможности вершинного процессора при работе с графикой. Схематичное изображение графического адаптера.
реферат, добавлен 23.11.2015Преобразование записанной информации к универсальному формату, совместимому со всем спектром целевых платформ. Способы решения проблемы, применяемые в существующих программных продуктах и метод, основанный на определении техник и графических эффектов.
статья, добавлен 31.08.2018Изучение фундаментальных проблем в современном программировании с ограничениями. Характеристика способов выполнимости линейных диофантовых ограничений в виде уравнений. Анализ процесса распознавания изображений, построения линейных мозаик, криптографии.
статья, добавлен 25.03.2016Пошаговое решение задачи по линейному программированию в программе Excel 2007: ввод исходных данных для задачи планирования производства, результат внесения формул в ячейки, расчеты для решения задачи, процесс заполнения диалогового окна "Поиск решения".
контрольная работа, добавлен 05.06.2009Ознакомление с вербальной постановкой задачи линейного программирования. Рассмотрение и характеристика симплексного метода решения задач. Анализ решения задачи в еxcel. Исследование результатов расчета и процесса выработки управленческого решения.
курсовая работа, добавлен 11.04.2017Обзор методологии решения задач выполнимостей аппаратной реализации в системах автоматизированного проектирования и искусственного интеллекта. Построение алгоритма локального стохастического поиска. Разработка конфигурирования программного средства.
статья, добавлен 02.09.2013NP-полнота задачи о выполнимости булевой формулы. Решение задачи за полиномиальное время на недетерминированной машине Тьюринга. Определение набора значений переменных. Трансформация задачи о клике в задачу о вершинном покрытии и о гамильтоновом цикле.
презентация, добавлен 28.01.2015Обзор корпоративных информационных систем как совокупности программно-аппаратных платформ, универсальных и специализированных приложений различных разработчиков, интегрированных в информационную систему, наилучшим образом решающую задачи предприятия.
реферат, добавлен 06.05.2019Вычисление на GPU: общая характеристика и принципы работы. Графические процессоры Tesla. Платформа параллельных вычислений CUDA. Сравнение графических ускорителей Tesla, основанных на новых архитектурах Kepler и Fermi. Архитектура SMX процессоров.
реферат, добавлен 26.10.2017Статистика выпуска многоядерных процессоров для персональных компьютеров, их основные характеристики и сравнительный анализ. Функциональный возможности, производительность. Преимущества многоядерных процессоров. Мобильные многоядерные процессоры.
реферат, добавлен 13.01.2013Симплекс-метод как техника решения задач с ограничивающими факторами при помощи компьютера, позволяющая решать задачи с огромным количеством товаров и ограниченным количеством аппаратных или программных ресурсов. Алгоритм решения ЗЛП симплексным методом.
курсовая работа, добавлен 05.06.2019Решение задачи линейного программирования симплекс методом. Статистические игры. Использование критерии Вальда, Сэвиджа, Гурвица, Байеса при различных и равных вероятностях состояний природы. Составление блок-схемы для решения транспортной задачи.
контрольная работа, добавлен 26.01.2014Порядок разрешения задачи о коммивояжере методом ветвей и границ, относящимся к методам дискретной оптимизации. Разработка общей схемы решения и составление математической модели задачи. Описание программной реализации алгоритма решения данной задачи.
курсовая работа, добавлен 29.04.2009Определение задачи локальной сети организации и основных средств их решения. Рассмотрение особенностей контроля и фильтрации трафика. Характеристика логической конфигурации сети. Вычисление стоимости аппаратных средств и средств передачи локальной сети.
курсовая работа, добавлен 09.04.2019Разработка способа решения задачи поиска новых идей и проектных решений. Разработка способа решения задачи генерации идей на основе модифицированного метода гирлянд ассоциаций, его применение для решения различных классов задач веб-дизайна и статистики.
статья, добавлен 23.03.2018Рассмотрение организационно-экономической сущности задачи. Обзор особенностей входной информации. Изучение условно-постоянной информации. Определение результирующей информации. Описание алгоритма решения задачи. Исследование инструкции по решению задачи.
реферат, добавлен 07.11.2016Обзор совокупности аппаратных и программных средств, предназначенных для ввода, преобразования и вывода графических изображений с помощью компьютера. Исследование основных особенностей хранения изображения в векторных и растровых графических редакторах.
презентация, добавлен 23.05.2012Анализ математической модели задачи линейного программирования с двумя переменными и альтернативным оптимумом. Использование графического способа решения, проверка полученного результата через его сравнение с итогом другого способа решения задачи.
статья, добавлен 05.05.2019Анализ алгоритмов решения задачи коммивояжера, реализующих метод ветвей и границ и его различных эффективных модификаций. Формулирование пул матриц стоимостей. Применение задачи в логистике, в прикладном программировании, при реализации навигаторов.
дипломная работа, добавлен 30.08.2016Цель и задачи работы нахождение решения задачи о ханойских башнях. Обоснование выбора средства программирования. Требования к аппаратному и программному обеспечению. Алгоритм решения задачи. Функциональное назначение, директивы предпроцессора и константы.
курсовая работа, добавлен 16.09.2017Метод и порядок решения задачи. Разбивка процесса решения задачи на этапы. Основные признаки окончания процесса решения задачи. Общая форма записи алгоритма. Использование служебных слов для записи алгоритмов. Последовательность действий алгоритма.
презентация, добавлен 16.09.2013Применение управляющих автоматов при построении систем со сложным поведением. Предложено построение управляющего конечного автомата по заданному множеству сценариев работы и темпоральным свойствам, которые должны выполняться в результирующем автомате.
статья, добавлен 15.01.2019Рассмотрение и анализ возможностей реализации КИХ-фильтров (фильтров с конечной импульсной характеристикой) на различных аппаратных платформах – цифровых сигнальных процессорах и контроллерах. Архитектурные особенности и аппаратные ресурсы платформ.
статья, добавлен 01.03.2019