Байесовский подход к проектированию вещественных переменных в булевы в методе простой итерации, примененном к задаче выполнимости булевых формул
Модификация непрерывного метода поиска глобального минимума вещественного функционала, ассоциированного с задачей выполнимости булевых формул. Проектирование вещественных переменных в булевы. Метод простой итерации. Тестирование байесовского подхода.
Подобные документы
Ознакомление с методами поиска экстремума нелинейной выпуклой функции нескольких переменных и решение таких задач с помощью ЭВМ. Листинг программы поиска экстремума нелинейной функции. Рассмотрение выполнения программы на примере конкретной функции.
лабораторная работа, добавлен 05.06.2016Сущность объектно-ориентированного программирования. Управляющие структуры языка Visual Basic for Application. Создание приложения, сравнивающего два вещественных числа, и приложения, сравнивающего три вещественных числа и находящего наибольшее из них.
контрольная работа, добавлен 20.02.2018Метод Гаусса: последовательный, параллельный алгоритм. Прямой, обратный ход. Главная функция программы main. Метод сопряженных градиентов, итерации при решении системы линейных уравнений второго порядка. Коммуникационная сложность параллельных вычислений.
учебное пособие, добавлен 17.09.2013Работа с подтипом приложений, доступных для создания в Visual Studio 2010 - Приложение Silverlight. Создание приложения Silverlight. Модификация приложения Sl: первые шаги и полноэкранный режим, простой проигрыватель MP3-файлов, работа с анимацией.
лабораторная работа, добавлен 11.04.2017Частный случай транспортной задачи с фиксированными доплатами. Линеаризация целевой функции. Модификация метода Балинского. Проведение последовательного сокращения размерности исходной задачи за счёт исключения строк либо столбцов матрицы перевозок.
статья, добавлен 29.07.2017Изучение машинно-ориентированного подхода к анализу возможности возникновения автоколебаний в нелинейных системах автоматического управления. Применение положительных вещественных корней в управленческом процессе на основе метода гармонического баланса.
статья, добавлен 29.08.2016Программа для создания текстового файла, зашифровки текста и расшифровки. Требования к программным и аппаратным средствам. Выбор языка и среды программирования. Описание алгоритмов, программы, переменных. Тестирование работоспособности программы.
курсовая работа, добавлен 12.11.2013Порядок расшифровывания криптограммы, зашифрованной шифром простой замены. Шифрование/расшифровка текстов CHANGE с помощью циклического сдвига символов и открытого ключа. Сохранение и интерфейс полученной криптограммы. Результат работы программы.
лабораторная работа, добавлен 27.12.2015Структура размещения учебного материала и тестовых заданий дистанционных образовательных технологий Moodle и Stellus. Простой программный код, позволяющий автоматизировать процесс создания гиперссылок из текста вопросов теста на главы учебного материала.
статья, добавлен 07.03.2019Целочисленное линейное программирование: понятие и задачи. Изучение процедуры перебора всех целочисленных допустимых решений. Использование метода ветвей и границ. Анализ опыта решения практических задач, значений базисных и небазисных переменных.
реферат, добавлен 15.04.2013Методы передачи данных в компьютерных сетях. Построение гистограмм и графиков, круговых и линейчатых, поверхностных и точечных, пузырьковых диаграмм в редакторе Excel. Ввод математических формул в документ, запуск редактора формул Microsoft Equation 3.0.
контрольная работа, добавлен 13.01.2013- 62. Русская логика
Основные положения алгебры логики. Минимизация определённых булевых функций. Построение преобразователя двоичного кода в двоично-десятичный. Метод решения логических уравнений, основанный на применении алгоритма "Волга". Законы импликативных выражений.
курс лекций, добавлен 08.02.2018 Аналіз існуючих засобів формалізації у вигляді булевих формул. Ознайомлення з процесом розробки програмної системи моделювання, включаючи структурну, алгоритмічну організацію та інформаційну технологію. Розгляд верифікації отриманих результатів.
автореферат, добавлен 22.06.2014Предложение оригинального подхода к оцениванию качества программного обеспечения на основе экспертной оценки. Вычисление итогового показателя качества каждого программного продукта по линейной шкале и проведение анализа оценочных критериев. Раша оценка.
статья, добавлен 28.11.2016Исследование и сопоставление различных модификаций метода наискорейшего спуска. Освоение пакета программ MathCad 7.0. Знакомство с символьными преобразованиями и построение различных видов трехмерных графиков. Формула, определяющая функцию Розенброка.
лабораторная работа, добавлен 27.04.2015Пакет символьной математики MathCAD в инженерных расчетах. Совокупность средств графической оболочки MathCAD. Редактор формул. Особенности работы программы при выполнении вычислений. Текстовый и графический редактор. Форматирование формул и текста.
контрольная работа, добавлен 09.06.2013Метод итерации при приближенном вычислении алгебраических и трансцендентных уравнений. Решение системы уравнений методом Крамера. Вычисление определенного интеграла по формуле прямоугольников. Блок-схема процедуры myiter, mykramer; описание интерфейса.
курсовая работа, добавлен 27.02.2015Минимизация функции нескольких переменных. Метод градиентного спуска и его модификации. Метод покоординатного спуска. Идея и алгоритм метода Давидона-Флетчера-Пауэлла. Блок-схема основной программы и ее процедур. Пример решения задач исследуемым методом.
курсовая работа, добавлен 16.05.2010Определение пределов изменения коэффициентов при небазисных переменных в выражении целевой функции. Построение системы неравенств, описывающей оптимальную область изменений коэффициентов при базисных переменных. Оптимальное решение двойственной задачи.
контрольная работа, добавлен 28.09.2017Особенности расчета переменных режимов тепловой электрической станции. Применение методики испытаний и разработка нормативно-технической документации энергоблоков. Характеристика метода компьютерного моделирования тепловой схемы электрической станции.
контрольная работа, добавлен 21.10.2012Понятие транспортной задачи, ее значение для рационализации поставок промышленной и сельскохозяйственной продукции и оптимизации грузопотоков. Формальный признак транспортной задачи; вырожденность, алгоритм метода потенциалов. Схема отдельной итерации.
курсовая работа, добавлен 12.01.2014Особенности редактора формул MS Word. Панель инструментов программы, методы ввода формул и текста, изменение шрифтов. Построение таблицы значений и графиков функции с заданным шагом в процессоре Excel. Решение уравнения с использованием подбора параметра.
курсовая работа, добавлен 15.01.2016Рассмотрение исходных таблиц поведения автомата. Характеристика графа автомата. Особенности кодирования данных. Построение системы булевых функций для JK-триггеров. Основные принципы построения функции выхода. Реализация логической схемы автомата в EWB.
реферат, добавлен 26.05.2015Переміщення та копіювання формул в табличному процесорі Excel. Відносні й абсолютні посилання. Обчислення формул і повідомлення про помилки. Введення параметрів функції в діалоговому вікні. Вимоги до користувачів персональним комп’ютером з охорони праці.
курсовая работа, добавлен 19.09.2014Эталонная модель Всемирного форума по интернету вещей. Анализ центров обработки данных и облачных вычислений. Исследование подходов к разработке распределенных алгоритмов обучения. Методы машинного обучения. Изучение наивного байесовского классификатора.
дипломная работа, добавлен 07.12.2019