Использование преобразований для сравнения моделей на эквивалентность
Доказательство разрешимости отношений эквивалентности вычислительных моделей. Детерминированные конечные автоматы Рабина и Скотта. Новый подход при построении алгоритмов разрешения отношений эквивалентности. Однородные логические графы в математике.
Подобные документы
Основные определения булевой функции, понятие их истинности, эквивалентности. Получение простых импликант формул с малым числом переменных с использованием карт Карно. Множество булевых функций, заданное в базисе Жегалкина. Кванторы и логика предикатов.
курс лекций, добавлен 07.09.2014Определение круга применения томографических систем с коническим пучком возможностью выбора эффективного алгоритма трехмерной реконструкции, обеспечивающего высокое качество результирующего изображения. Проведение исследования точных формул обращения.
статья, добавлен 29.01.2019Теория игр как раздел математики, предметом которого является изучение математических моделей принятия оптимальных решений в условиях конфликта, ее основные понятия и утверждения. Методы решения игры: Брауна-Робинсона, монотонный итеративный алгоритм.
контрольная работа, добавлен 10.05.2017- 104. Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
курсовая работа, добавлен 15.09.2017 Анализ понятий обобщения, абстрагирования и конкретизации в естественных науках. Формирование понятия "квадрат" на раннем этапе обучения детей. Примеры образования классов эквивалентности. Значение абстракции отождествления в геометрических расчетах.
контрольная работа, добавлен 15.09.2014- 106. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 - 107. Нелинейная регрессия
Принцип минимизации суммы квадратов отклонений. Численные методы поиска регрессионных коэффициентов для нелинеаризуемых задач. Проблема сравнения качества альтернативных регрессионных моделей. Нормировка значений зависимых переменных по методу Зарембки.
презентация, добавлен 18.01.2015 Основы моделирования, классификации моделей. Анализ результатов натурных и вычислительных экспериментов. Классические и поисковые методы генерации и использования псевдослучайных чисел. Имитационное и статистическое моделирование, метод Монте-Карло.
дипломная работа, добавлен 13.10.2015Особенности применения аппарата теории четких отношений. Методы анализа данных, основанные на теории нечетких отношений. Характеристика операций над бинарными их разновидностями. Специфика описания их объединения и пересечения, основные свойства.
реферат, добавлен 17.07.2013Семантические сети как аппарат представления, история их разработок и эволюции. Алгебраические свойства отношений, порожденные атрибутами событий. Типы отношений по их алгебраическим свойствам, их отличительные характеристики и оценка результатов.
статья, добавлен 16.01.2018Исходная постановка задачи: исследование одного класса карточных игр для одного или более игроков. Построение классов эквивалентности. Результаты для игры с двумя игроками. Количество правильных игр. Преобразования конечных двоичных последовательностей.
контрольная работа, добавлен 07.09.2009- 112. Алгоритм Сугено
Этапы алгоритма Мамдани. Использование аппарата нечеткой логики для задач аппроксимации. Логический контроллер Сугено как универсальный аппроксиматор в условиях сравнения различных алгоритмов. Теоретическое обоснование алгоритма Сугэно в этом качестве.
реферат, добавлен 17.07.2013 Изучение методов обработки информации при помощи Mathcad, алгоритмов написания программ и способов отображения информации. Описание интерфейсаMathcad, однородные цепи Маркова. Переходные вероятности между состояниями. Матрица переходных вероятностей.
курсовая работа, добавлен 02.11.2019- 114. О задаче с операторами М. Сайго на характеристиках для вырождающегося гиперболического уравнения
Исследование нелокальной задачи для вырождающегося уравнения гиперболического типа в характеристической области, условия которой содержат обобщенные операторы дробного интегродифференцирования на характеристиках. Доказательство однозначной разрешимости.
статья, добавлен 31.05.2013 "Грубое" ранжирование как разбиение элементов конечного множества на классы равноценных элементов и их линейное упорядочение. Принципы недоминируемости Неймана-Моргенштерна. Решение задач формирования классов эквивалентности и их линейного упорядочения.
статья, добавлен 29.06.2017Понятие и классификация математических моделей, принципы и этапы их создания, предъявляемые требования. Прямая и обратная задачи математического моделирования, используемые компьютерные системы. Возможности современного квантово-механического ПО.
дипломная работа, добавлен 15.10.2013Анализ аналитического определения обобщенного скалярного произведения векторов в данном n-мерном (векторном) пространстве. Изучение эквивалентности аналитического и аксиоматического определения скалярного произведения и всех рассматриваемых пространств.
дипломная работа, добавлен 10.04.2015Представление рациональных чисел конечными цепными дробями. Исследование основных свойств подходящих дробей. Изучение метода приближенного решения с помощью цепных дробей дифференциальных уравнений. Характеристика значения цепных дробей в математике.
контрольная работа, добавлен 27.05.2013Вещественное число порядка как класс эквивалентности, если между элементами этих множеств можно установить взаимно однозначное соответствие. Построение вещественных чисел исходя из рациональных чисел согласно теории немецкого ученого Георга Кантора.
статья, добавлен 29.03.2019Асимптотическое решение краевой задачи, моделирующей перенос ионов соли в камере обессоливания электродиализного аппарата. Условие разрешимости следующего приближения в области пространственного заряда для однозначной разрешимости текущего приближения.
статья, добавлен 13.05.2017Изложение основ классической теории сводимости задач и геометрического подхода к изучению их сложности. Изучение комбинаторно-геометрических свойств задач и геометрической интерпретации алгоритмов. Исследование свойств конусного разбиения пространства.
диссертация, добавлен 28.12.2013Исследование нелокальной задачи, краевые условия которой существенно зависят от изменения коэффициента уравнения при младшей производной. Доказательство однозначной разрешимости поставленной задачи. Частное решение модифицированного уравнения Бесселя.
статья, добавлен 31.05.2013Характеристика процедуры создания моделей инженерных шероховатых поверхностей на основе фрактального представления без потери точности оценок параметров контактного взаимодействия. Описание данных моделей и профилей уравнением Вейерштрасса-Мандельброта.
статья, добавлен 27.05.2018- 124. Группы и их графы
Понятие, свойства алгебраических операций. Изоморфизм групп, подгруппы. Смежные классы, фактор-группы, гомоморфизм и циклические группы. Определение графов, изоморфизм. Графы специального вида, деревья, циклы и планарность. Группы подстановок и тетраэдра.
курсовая работа, добавлен 29.06.2014 Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.
учебное пособие, добавлен 13.01.2015