Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
Подобные документы
Разработка имитационной модели и эффективных вычислительных процедур, реализованных в виде программного комплекса, обеспечивающего поиск рациональных решений при управлении предприятием в результате решения многокритериальной оптимизационной задачи.
диссертация, добавлен 28.12.2016Математические основы решения задачи коммивояжера: основные понятия теории графов, формулировка, некоторые свойства решений задач. Постановка задачи коммивояжера как задачи на графе. Метод ветвей и границ. Разработка и описание алгоритма работы программы.
курсовая работа, добавлен 07.06.2014Язык как средство обучения программированию. Разработка и реализация на языках высокого уровня алгоритмов решения задачи. Развитые средства диагностики и редактирования кода. Описание алгоритмов и приёмов разработки программ обработки двумерных массивов.
курсовая работа, добавлен 07.02.2024Знакомство с особенностями решения задач линейного программирования в табличном редакторе Microsoft Excel. Общая характеристика инструкции по использованию Microsoft Excel для решения транспортной задачи. Анализ формул, описывающих ограничения модели.
контрольная работа, добавлен 29.01.2020Особенности организационных процессов фирмы. Характеристика применения вычислительной техники, программных и периферийных компонентов на предприятии. Анализ алгоритма решения задачи. Принципы работы с базой данных, операционной системой и ее файлами.
отчет по практике, добавлен 11.02.2015- 81. Проблемы и перспективы применения суперкомпьютерной техники в управлении информационными процессами
В статье анализируются проблемы эффективности применения суперкомпьютерных вычислительных комплексов, создаваемых на многоядерных микропроцессорных платформах. Предлагается концепция построения нового класса эволюционно-технологических моделей анализа.
статья, добавлен 27.11.2018 Решение математической модели методом Гомори, экономический анализ полученного оптимального решения. Порядок решения транспортной задачи методом потенциалов. Определение оптимальности решения методом потенциалов. Задача нелинейного программирования.
контрольная работа, добавлен 10.03.2012Построение автоматизированной системы, осуществляющей агрегацию мероприятий и событий из различных внешних систем. Анализ применимости методов машинного обучения для решения вышеперечисленных проблем. Решение задачи классификации мероприятий по категории.
дипломная работа, добавлен 04.07.2018Сущность и основные задачи линейного программирования, история становления и развития данной сферы. Методы решения задач: симплекс, геометрический. Общая схема построения двойственной и транспортной задачи, анализ и оценка их оптимального решения.
курсовая работа, добавлен 26.05.2015Системы линейных уравнений с произвольным числом уравнений и неизвестных. Математические и алгоритмические основы решения задачи. Метод Гаусса для решения СЛАУ. Обращение матрицы, функциональные модели и блок-схемы решения задачи, программная реализация.
курсовая работа, добавлен 18.01.2010Алгоритм и характеристики программы решения задачи на языке Pascal, и ее результаты. Особенности решение задачи средствами Microsoft Excel: перечень исходных данных и итоги по строкам и столбцам, расчёты по заданию и диаграмма по расчетным данным.
курсовая работа, добавлен 25.03.2014Особенности возникновения задачи о случайной встрече при анализе многих физико-химических и социальных процессов. Исследование трехмерного случая задачи о встрече и обобщение полученного решения для произвольного числа участников случайной встречи.
статья, добавлен 01.02.2019Модели теории расписаний и алгоритмы нахождения оптимального решения для различных видов дискретных систем. Возможности поиска решения задачи за полиномиальное время и рассмотрении частных случаев, для которых существуют полиномиальные алгоритмы решения.
статья, добавлен 14.10.2018Анализ влияния решения олимпиадных задач на процесс формирования логического мышления на примере разбора олимпиадной задачи по программированию. Анализ способов решения задачи. Определение способов оптимизации решения задачи по программированию.
статья, добавлен 03.03.2018Рассмотрение подхода к автоматической кластеризации и классификации объектов по данным обучающей выборки с применением современных инструментальных средств. Известные методы решения задачи кластеризации. Выбор инструментальных средств решения задачи.
статья, добавлен 27.02.2019Описание применения программного обеспечения оператора наземного пункта для диагностики системы автоматического управления морского подвижного объекта, основанного на применении нейросетей для решения задач мониторинга и контроля состояния механизмов.
статья, добавлен 29.06.2017Исследование приемов коррекции и уточнения решения обратной задачи, полученного градиентным обучением входных сигналов нейросети-классификатора. Получение дополнительной информации и определение степени доверия к выданному нейросетью начальному решению.
статья, добавлен 08.02.2013Общие сведения о пакетах, помогающих решать задачи линейной алгебры. Характеристика пакета Linalg, его главные функции и принципы применения. Аналитическая геометрия на плоскости, построение графиков функций. Порядок решения систем линейных уравнений.
курсовая работа, добавлен 28.01.2014Технология решения задач на компьютере: сбор информации, формулировка условия; анализ и исследование модели. Разработка алгоритма: выбор метода проектирования и формы записи; программирование; уточнение способов организации данных, тестовые расчеты.
презентация, добавлен 09.04.2012Математические основы решения задачи линейного программирования графическим способом. Математический аппарат и геометрическая интерпретация задачи. Этапы решения графического метода задач линейного программирования. Описание работы и текст программы.
курсовая работа, добавлен 23.11.2010Алгоритмы решения общей задачи линейного программирования. Создание алгоритма вычисления задач в среде ООП Delphi 7. Разработка программного продукта для решения задачи на нахождение максимальной прибыли от продажи радиаторов при помощи симплекс-метода.
реферат, добавлен 12.12.2011Анализ проектируемой системы и разработка аппаратных средств микропроцессорной системы. Блок центрального процессора, модуль памяти и интерфейса. Постановка и формулировка задачи инициализации интерфейсного модуля. Разработка программы на языке Ассемблер.
курсовая работа, добавлен 22.10.2012Назначение баз данных, их использование. Предпосылки для создания системы, подсистемы или задачи. Обоснование выбора комплекса технических средств, используемых для решения задачи. Информационное обеспечение, разработка входных, выходных документов.
курсовая работа, добавлен 19.05.2014Определение потребности в ресурсах для производства компьютерных столов и разработка плана выпуска продукции, позволяющего получить наибольшую прибыль. Разработка алгоритма и решения задачи средствами линейного программирования графическим методом.
презентация, добавлен 11.10.2017Раскрытие понятия графа и изучение истории его теории. Описание задач коммивояжера, рассмотрение способов их решения математическим и программным методом. Особенности создания приложения для решения задачи. Обзор последовательности тестирования программы.
курсовая работа, добавлен 14.01.2016