Байесовский подход к проектированию вещественных переменных в булевы в методе простой итерации, примененном к задаче выполнимости булевых формул
Модификация непрерывного метода поиска глобального минимума вещественного функционала, ассоциированного с задачей выполнимости булевых формул. Проектирование вещественных переменных в булевы. Метод простой итерации. Тестирование байесовского подхода.
Подобные документы
Исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Разработка решателей, учитывающих особенности исследуемых аппаратных платформ. Рассмотрение применения графических ускорителей.
статья, добавлен 11.07.2018Аспекты автоматической генерации верификационных наборов тестовых процедур. Разработка алгоритма нахождения тестовых наборов посредством трансляции программ в логические выражения и их преобразования для решения задачи выполнимости булевых формул.
статья, добавлен 11.01.2018Приведение системы к итерационному виду с помощью элементарных преобразований. Решение системы методом простой итерации и методом Зейделя. Сравнительный анализ метода Зейделя и метода простых итераций. Проверка решения задания в программе MS Excel.
лабораторная работа, добавлен 14.04.2024Оценка погрешности, вычисление дифференцируемой функции нескольких переменных. Метод Гаусса (метод исключения неизвестных) и его характеристика. Метод простой итерации с высокой точностью. Поиск корней уравнения методом простых итераций и Ньютона.
контрольная работа, добавлен 19.01.2016Зависимость целевой функции от многих переменных в большинстве реальных задач оптимизации, представляющих интерес. Специальные способы целенаправленного поиска минимума функции. Использование метода градиентного спуска, текст программы на языке Pascal.
курсовая работа, добавлен 30.11.2010Поиск существенных переменных булевых функций, а также их проверка на монотонность и линейность. Обобщение задачи о кратчайшем покрытии булевой матрицы. Примеры, в которых задачи теории булевых функций решаются с помощью линейного программирования.
статья, добавлен 12.05.2018Нахождение алгебраической иммунности криптографических булевых функций и булевых отображений, задающих S-блок шифра Baby-Rijndael в системе компьютерной алгебры Sage. Определение базисных векторов пространства решений, редуцированного базиса Гребнера.
статья, добавлен 21.12.2019Использование программы Excel для решения нелинейных уравнений. Отделение корней, алгоритм метода хорд. Уточнение корней методами касательных (Ньютона) и простой итерации. Команда подбор параметра для решения задач поиска определенного целевого значения.
курсовая работа, добавлен 06.11.2017Продуктивность модели Леонтьева. Построение неотрицательного решения в модели Леонтьева методом простой итерации. Обоснование программного обеспечения. Разработка алгоритма решения балансовой модели методом итерации. Примеры использования программы.
дипломная работа, добавлен 26.07.2018Создание базы данных переменных ввода-вывода. Перевод в двоичную систему и проверка средствами IsaGraf. Создание схемы управления автоматом на языке FBD с помощью булевых элементов. Создание и привязка переменных ввода-вывода к платам ввода-вывода.
курсовая работа, добавлен 18.10.2017- 11. Анализ и преобразование последовательных программ с целью устранения индуктивных переменных циклов
Механизм анализа и преобразования последовательных программ с целью устранения индуктивных переменных циклов, мешающих эффективному распараллеливанию. Изменение значения переменной индукции на каждой итерации цикла. Тривиальное преобразование цикла.
статья, добавлен 28.10.2018 Блок-схема алгоритма поиска корня уравнения f(x)=0 методом деления отрезка пополам, методом хорд и простой итерации, методом Ньютона. Алгоритм нахождения корня. Разложение полинома по схеме Горнера. Начальное приближение корня нелинейного уравнения.
дипломная работа, добавлен 15.03.2012Выполнение решения системы алгебраических уравнений вручную в редакторе Microsoft Excel, математическом пакете MathCAD. Реализация алгоритма решения на языке VBA. Вычислительная схема метода простой итерации. Результат решения нелинейных систем уравнений.
курсовая работа, добавлен 15.12.2019Разработка программы решений системы линейных уравнений методом итераций с предварительной оценкой числа необходимых шагов по заданной точности. Метод простой итерации. Перечень идентификаторов программы. Процедура проверки системы на сходимость.
курсовая работа, добавлен 13.10.2017Применение графического метода, использующего карты Карно для минимизации булевых функций относительно небольшого числа переменной. Построение таблицы истинности функции, особенности образования импликант разных рангов. Нахождение тупиковых форм.
реферат, добавлен 07.03.2013Практическое исключение стационарных точек, не удовлетворяющих условию неотрицательности множителей Лагранжа. Определение условного глобального минимума. Модификация метода наилучшей случайной пробы. Листинг метода случайного поиска с направляющей сферой.
курсовая работа, добавлен 30.01.2019Модифицированный метод Хука-Дживиса (при наличии ограничений) как один из методов прямого поиска для определения минимума функций и переменных. Блок-схемы данного метода и единичного исследования, текст программы. Анализ результатов работы программы.
реферат, добавлен 30.10.2010Структура языка паскаль. Составление схемы алгоритма и программы для построения графика временной функции, работающей как в машинном, так и в реальном времени. Методы бисекций, простой итерации, Ньютона, Горнера, Гаусса. Разработка основной программы.
курсовая работа, добавлен 24.03.2018Механизмы нелинейного программирования, численные методы решения задач без ограничений (координатный, наискорейший спуск, метод оврагов, сопряженного направления, случайного поиска). Выбор инструментальных средств программирования компьютерных технологий.
курсовая работа, добавлен 16.06.2016- 20. Выполнение программы простой структуры. Вычисление выражений с использованием стандартных функций
Определение типов данных переменных. Вычисление разности, содержащей переменную "х" и функции "cos" и "arcsin". Вычисление значения выражения, используя различные вещественные типы данных (float и double). Выполнение программы простой структуры.
лабораторная работа, добавлен 20.01.2017 Изучение фундаментальных проблем в современном программировании с ограничениями. Характеристика способов выполнимости линейных диофантовых ограничений в виде уравнений. Анализ процесса распознавания изображений, построения линейных мозаик, криптографии.
статья, добавлен 25.03.2016NP-полнота задачи о выполнимости булевой формулы. Решение задачи за полиномиальное время на недетерминированной машине Тьюринга. Определение набора значений переменных. Трансформация задачи о клике в задачу о вершинном покрытии и о гамильтоновом цикле.
презентация, добавлен 28.01.2015Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013Разработка программы для построения графика временной функции в машинном и в реальном времени. Методы решения нелинейного уравнения: бисекции, хорд, простой итерации и Ньютона. Нахождение корней квадратного уравнения с применением алгоритма Горнера.
курсовая работа, добавлен 16.02.2016Обзор методологии решения задач выполнимостей аппаратной реализации в системах автоматизированного проектирования и искусственного интеллекта. Построение алгоритма локального стохастического поиска. Разработка конфигурирования программного средства.
статья, добавлен 02.09.2013