Использование многоядерных ускорителей для решения задачи пропозициональной выполнимости
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
Подобные документы
Рассматриваются основные задачи, требующие решения для разработки и реализации продукта или услуги, базирующейся на концепции "интернета вещей". Примеры алгоритмов и различных технологий решения этих задач. Возможные проблемы реализации этих решений.
статья, добавлен 19.12.2017Определение минимизации транспортных расходов при перевозке палок для скандинавской ходьбы. Построение математической формулировки модели. Решение задачи с помощью пакета WinQSB. Использование команды "Solve the problem" для решения даной задачи.
курсовая работа, добавлен 18.10.2017Характеристика метода Монте-Карло. Алгоритм поиска возможности решения задачи линейного программирования. Порядок обоснования выбора языка программирования. Вычисление вероятности наличия решения. Поиск зависимости от количества условий и переменных.
курсовая работа, добавлен 06.12.2013Постановка задачи создания искусственного интеллекта для решения задач человеческой деятельности. Структура прикладной онтологии. Концептуальное распознавание изображений и их частей. Выполнение на основе онтологических структур графических объектов.
статья, добавлен 09.01.2016Характеристика особенностей алгоритма решения системы линейных независимых уравнений методом Крамера. Характеристика структуры программы. Анализ основных этапов вызова и загрузки. Рассмотрение технических программных средств, используемых при вводе.
курсовая работа, добавлен 07.11.2013Анализ методов решения задачи, разработка алгоритма решения задачи. Реализация, тестирование программного средства. Проектирование и описание пользовательского интерфейса. Блок-схема алгоритма программы, рекурсивный алгоритм удаления элементов из очереди.
курсовая работа, добавлен 21.04.2022Постановка задачи квадратичного программирования функций в векторно-матричной форме, построение конечного алгоритма решения задачи и особенности его практического применения. Определение экстремальных и стационарных точек системы линейных уравнений.
курсовая работа, добавлен 04.06.2015Анализ практических ситуаций неисправностей персонального компьютера, выделение их основных видов: программных и аппаратных. Проблемы в операционной системе и программах, проблемы, вызванные воздействием вирусов. Описание аппаратных неисправностей.
статья, добавлен 05.04.2019Разработка программного продукта, способного в полной мере решить все поставленные перед руководством вуза задачи. Совокупность программных и аппаратных средств, предназначенных для хранения и управления данными и информацией, для производства вычислений.
статья, добавлен 25.05.2020Решение задачи маршрутизации транспорта с ограничениями, возникающими в реальной жизни. Разработка математической модели задачи комбинаторной оптимизации и целочисленного программирования. Построение оптимальных маршрутов доставки товаров до потребителей.
дипломная работа, добавлен 28.11.2019Изучение средств защиты от несанкционированного доступа. Суть программных, аппаратных и программно-аппаратных методов охраны информации. Основные принципы информационной безопасности. Применение нагрузочного, регрессионного и системного тестирования.
статья, добавлен 08.06.2018Характеристика причин проведения модернизации аппаратных средств. Выполнение замены некоторых элементов компьютера и увеличение мощности блока питания. Улучшение системы BIOS и элементов памяти. Установка и переконфигурация дополнительных адаптеров.
статья, добавлен 16.03.2019Понятие операционной системы (ОС) и ее функции. Классификация ОС по основным признакам. Алгоритмы управления ресурсами компьютера. Классы операционных систем по числу одновременно выполняемых задач. Особенности аппаратных платформ и ОС кластеров.
курсовая работа, добавлен 05.12.2015Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Пошаговый алгоритм решения математической модели задачи по расчету плана выпуска продукции, максимизирующего прибыль предприятия, с использованием программы Excel 2007: ввод исходных данных, ввод формул в ячейки, работа с диалоговым окном "Поиск решения".
контрольная работа, добавлен 05.06.2009Преимуществ и недостатков программно-аппаратных средств защиты. Рекомендации с результатом анализа недостатков и преимуществ различных средств защиты. Схема "объединенной" цепи внешней атаки. Оценка эффективности пакетных фильтров относительно цепи атаки.
дипломная работа, добавлен 01.12.2019Алгоритмы управления ресурсами, их особенности. Особенности аппаратных платформ, областей использования и методов построения. Сетевые операционные системы, их структура. Одноранговые сетевые операционные системы, понятие, свойства, специфика работы.
реферат, добавлен 05.02.2009Запись формул в виде операторов присваивания. Представление чисел как констант языка программирования, переобозначение при необходимости переменных. Анализ кода приложения для решения задачи на компьютере. Разработка схемы алгоритма, отладка программы.
лабораторная работа, добавлен 17.10.2021Исследование основных этапов эволюции и развития операционных систем. Обзор особенностей алгоритмов управления ресурсами, типов аппаратных платформ. Характеристика структурной организации, областей использования и методов построения операционных систем.
реферат, добавлен 02.05.2012Создание в среде Labview виртуального прибора, использующего три тумблера и три разноцветных светодиода, состояние которых удовлетворяет условию задачи. Алгоритм их включения. Иллюстрированный порядок моделирования с использованием булевых функций.
контрольная работа, добавлен 04.01.2019Анализ особенностей решения задачи линейного программирования. Разработка математическо модели задачи. Анализ значения максимальной прибыли и количества смазочного материала каждого вида. Разработка программного модуля и пользовательского интерфейса.
курсовая работа, добавлен 13.01.2016Определение суммарного выпуска продукции по каждому предприятию за полугодие. Решение задачи с помощью электронных таблиц. Разработка макроса для построения графика. Разработка и запуск интерфейса программы. Применение интерфейса для работы с таблицей.
курсовая работа, добавлен 14.11.2016Основные этапы процедуры подготовки и решения задачи на ЭВМ. Понятие и свойства алгоритма. Краткое описание сущности метода касательных (метода секущих Ньютона). Разработка программы на языке Паскаль 7.0 для решения нелинейного уравнения данным методом.
контрольная работа, добавлен 26.03.2013Алгоритм решения системы уравнений и построения Лемнискаты Бернулли методом итераций. Построение структуры программного обеспечения, выбор языка программирования Turbo Pascal для решения задачи. Описание интерфейса приложения и диалога с пользователем.
курсовая работа, добавлен 05.05.2014Общая постановка задачи линейного программирования. Задача об использовании ресурсов (задача планирования производства). Решение поставленной задачи с помощью программного пакета Excel. Анализ результатов расчетов и выработка управленческого решения.
курсовая работа, добавлен 01.02.2014