Структурный анализ многоленточных автоматов
Разработка метода, нацеленного на распознавание эквивалентности детерминированных многоленточных автоматов путем эквивалентных преобразований их структуры. Описание циклов, полученных трансформацией автомата. Применимость трансформационного метода.
Подобные документы
Сущность метода Монте-Карло и моделирование случайных величин. Оценка погрешности метода Монте-Карло. Минимальные системные требования и описание программы для вычисления определённых интегралов методом Монте-Карло. Примера решения контрольной задачи.
курсовая работа, добавлен 23.11.2015Возникновение и сущность математического метода Фурье. Характеристика разновидностей преобразования Фурье: непрерывного и дискретного, прямого и обратного, быстрого и оконного. Анализ свойств преобразования Фурье, сфер его применения и значения.
курсовая работа, добавлен 18.01.2016Разработка методов анализа данных, предназначенных для решения конкретных прикладных задач. Изучение влияния на свойства статистических процедур анализа данных тех или иных отклонений от исходных предположений. Примеры применения метода Монте-Карло.
статья, добавлен 22.05.2017Основные разделы исчисления высказываний: понятие выводимости, естественного вывода, отношения эквивалентности. Использование аксиоматического метода в построении математических теорий. Полное изложение исчисления высказываний. Понятие выводимости.
методичка, добавлен 31.05.2012Описание соотношения эквивалентности и толерантности на примере различных типов низших растений (водорослей). Рассмотрение классов толерантности. Определения классов эквивалентности. Графическое представление решения задачи с помощью кругов Эйлера.
курсовая работа, добавлен 23.08.2014Образующие элементы колец и полей инвариантов коприсоединенных представлений борелевских и максимальных унипотентных подгрупп в простых группах Ли. Особенности и условия применения метода редукции сферических функций, анализ полученных результатов.
статья, добавлен 31.05.2013Решение систем линейных алгебраических уравнений как одна из основных задач вычислительной линейной алгебры, рассмотрение основных способов. Общая характеристика метода Гаусса. Анализ схемы единственного деления. Знакомство с особенностями метода Зейделя.
курсовая работа, добавлен 18.10.2013Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015Рассмотрение графического метода решения систем линейных неравенств. Решение задач с использованием симплекс-метода. Рассмотрение процесса заполнения симплекс-таблицы. Характеристика сущности метода искусственного базиса и принципа двойственности.
контрольная работа, добавлен 10.10.2014Разработка рекуррентного алгоритма, позволяющего получать сильно состоятельные оценки параметров многомерных по входу линейных динамических систем при наличии помех наблюдения во входных и выходных сигналах. Оценка эффективности предложенного метода.
статья, добавлен 31.08.2018Описание обоснование метода устойчивого оценивания, использующего процедуру обратноквадратичного взвешивания наблюдений, вытекающей из неравенства Чебышева. Устойчивость алгоритма устойчивого оценивания, использующего вычисление весов наблюдений.
статья, добавлен 26.04.2019Алгоритм обобщения итерационно-интерполяционного метода (ИИМ) для решения трехмерного волнового уравнения. Постановка задачи и метод построения разностной схемы. Устойчивость схемы ИИМ по начальным данным. Сходимость и примеры применения метода.
статья, добавлен 04.05.2016Особенности применения метода дополнительного аргумента к решению характеристической системы. Оценка доказательства эквивалентности систем. Изучение доказательства существования решения задачи Коши. Дискретизация исходной задачи и её решение итерациями.
дипломная работа, добавлен 21.10.2017Рассмотрена модель клеточных автоматов (Нагеля-Шрекенберга), в которую было внесено дополнение, учитывающее наличие недоступных для проезда участков дорог. Необходимость в модификации алгоритма смены полосы. Модель реализована средствами языка Python.
статья, добавлен 18.04.2022Разработка математического метода моделирования полимерных композиционных материалов при помощи функционалов качества кинетических процессов. Признаки формирования структуры термореактивного вяжущего. Процессы формирования модифицированного полимера.
статья, добавлен 12.08.2020Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Основной анализ построения алгоритма метода Гомори. Использование симплексной концепции при решении заданий. Особенность способа построения правильного отсечения без учета условия целочисленности. Характеристика решения задач линейного программирования.
доклад, добавлен 08.06.2015Изучение проблемы раннего распознавания несчастных случаев. Характеристика существующих методов распознавания аварий по нарушениям в эксплуатации. Характеристика особенностей расширения метода за счет построения математической ситуационной модели.
статья, добавлен 22.08.2020Общая характеристика теоремы Больцеана-Коши. Знакомство с особенностями метода равномерного поиска и метода бисекции. Анализ основных проблем поиска интервалов, содержащих корень, с заданной степенью точности. Рассмотрение способов локализации отрезков.
лабораторная работа, добавлен 02.10.2013Анализ устойчивости метода типа Розенброка 3 порядка для систем дифференциальных уравнений с квадратичной правой частью. Коэффициенты, при которых численная схема является устойчивой. Использование результатов расчетов на реакции диметилкарбоната.
статья, добавлен 29.06.2018Рассмотрение метода Дайсона в общем виде. Главная особенность использования троичной системы счисления. Характеристика алгоритма решения для случая. Обоснование оптимальности метода Дайсона. Основной анализ определения фальшивой монеты и ее типа.
презентация, добавлен 18.02.2020История применения графического метода для решения задач. Рассмотрение различных типов задач, методом решения которых может являться график. Основные приемы решения задач с помощью графического метода. Преимущества и недостатки графического метода.
реферат, добавлен 12.07.2020Сравнение метода имитационного моделирования и метода статистической линеаризации. Анализ статистических свойств стохастической модели квазистационарного неизотермического режима транспорта природного газа на линейном участке магистрального газопровода.
статья, добавлен 07.12.2016Освоение решения типовой задачи оптимизации поисковым методом. Анализ и модификация метода решения реальной задачи оптимизации на основе конкретной научной публикации. Процесс исследования и минимизация функции. Блок-схема поискового метода Хука-Дживса.
курсовая работа, добавлен 20.11.2011Прямой ход метода Гаусса - процесс приведения системы к треугольному виду. Методы решения систем линейных уравнений. Анализ преобразований: перемена местами двух любых уравнений; умножение обеих частей уравнения на произвольное число, отличное от нуля.
контрольная работа, добавлен 18.12.2009