Модификация метода построения тестов для конечных автоматов относительно неразделимости
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
Подобные документы
Задачи для обыкновенных дифференциальных уравнений. Квадратурные формулы. Теоретические основы метода сеток для решения задачи Коши. Погрешность аппроксимации, устойчивость, основная теорема метода сеток. Схема предиктор-корректор 2-го порядка.
реферат, добавлен 07.12.2013Анализ особенностей разработки вычислительной программы. Общая характеристика метода простых итераций. Знакомство с основными способами решения нелинейного алгебраического уравнения. Рассмотрение этапов решения уравнения методом половинного деления.
лабораторная работа, добавлен 28.06.2013Использование теоретико-числового и алгебраического метода доказательства, с наглядной геометрической верификацией, который был изобретен П. Ферма. Верификация метода бесконечных (неопределенных) спусков, который применяется для доказательства теоремы.
научная работа, добавлен 11.01.2008Методика и основные этапы построения треугольника по двум сторонам и медиане, проведенной к одной из них. Математическое и графическое изображение решения данного задания. Исследование условий для решения задачи и определение условия ее нерешаемости.
презентация, добавлен 11.01.2011Ознакомление с принципами параллельного переноса, растяжения и сжатия функции y=f(x) вдоль осей Ох и Оу. Рассмотрение правил симметрического отображения функции относительно осей координат. Особенности сложения и умножения ординат точек графиков.
презентация, добавлен 16.12.2011Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
реферат, добавлен 04.03.2011Изучение конструкции и простейших свойств конечных полей, степень расширения поля разложения. Определение и свойства фундаментальной группы топологического пространства. Способ построения клеточного комплекса путем последовательного приклеивания клеток.
контрольная работа, добавлен 26.12.2010История возникновения дифференциальных исчислений. Изучение особенностей дифференциального уравнения I порядка. Описание соотношения, связывающего функцию и ее производные. Рассмотрение метода изоклин. Построение интегральных кривых методом изоклин.
курсовая работа, добавлен 17.02.2016Возникновение и развитие теории групп. Проблема интегрирования дифференциальных уравнений. Алгебраические конструкции в теории автоматов. Появление понятия перестановок. Группы и классификация голограмм. Применение теории групп в квантовой механике.
реферат, добавлен 08.02.2013Тождества, используемые для системы Жигалкина. Многочлен Жигалкина функции одной, двух и трех переменных. Содержание теоремы. Практический пример преобразования многочлена с помощью метода цепочки и неопределенных коэффициентов. Закон полного поглощения.
контрольная работа, добавлен 06.08.2013Определение исследования операция как применения научного метода комплексными научными коллективами для решения задач, связанных с управлением организованными (человеко-машинными) системами с целью получения решений. Анализ отличительных особенностей ИСО.
реферат, добавлен 27.06.2011Сравнение методов простой итерации и Ньютона для решения систем нелинейных уравнений по числу итераций, времени сходимости в зависимости от выбора начального приближения к решению и допустимой ошибки. Описание программного обеспечения и тестовых задач.
курсовая работа, добавлен 26.02.2011Решение задачи глобальной оптимизации. Базовый метод эволюционной стратегии: операции мутации, скрещивания и селекции. Определение параметров управления пробного вектора с помощью самоадаптивного метода. Применение метода C-центроидов, его схема.
реферат, добавлен 17.01.2014Расчеты с помощью метода наименьшего квадрата для определения мольной теплоёмкости. Составление с помощью метода программирования системы нелинейных уравнений. Получение в среде Mathcad уравнения, максимально приближенного к экспериментальным данным.
лабораторная работа, добавлен 17.06.2014- 65. Линейная алгебра
Ознакомление с основами метода Гаусса при решении систем линейных уравнений. Определение понятия ранга матрицы. Исследование систем линейных уравнений; особенности однородных систем. Рассмотрение примера решения данной задачи в матрической форме.
презентация, добавлен 14.11.2014 - 66. Логика на словах
Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа, добавлен 26.03.2012 Суть задачи коммивояжера, ее применение. Общая характеристика методов ее решения: метод полного перебора, "жадные" методы, генетические алгоритмы и их обобщения. Особенности метода ветвей и границ и определение наиболее оптимального решения задачи.
курсовая работа, добавлен 18.06.2011Остовное дерево связного неориентированного графа. Алгоритм создания остовного дерева, его нахождение. Сущность и главные особенности алгоритма Крускала. Порядок построения алгоритма Прима, вершина наименьшего веса. Промежуточная структура данных.
презентация, добавлен 16.09.2013Способы построения интерполяционных многочленов Лагранжа, основные этапы. Интерполирование функций многочленами Ньютона, способы построения графика. Постановка задачи аппроксимации функции одной переменной, предпосылки повышения точности расчетов.
презентация, добавлен 18.04.2013Принципы и этапы построения математической модели движения неуправляемого двухколесного велосипеда. Условия устойчивого движения. Вопрос гироскопической стабилизации движения. Модель движения велосипеда с гиростабилизатором в системе Matlab (simulink).
статья, добавлен 30.10.2015- 71. Приближенные методы решения краевых задач, для дифференциальных уравнений с частными производными
Использование метода конечных разностей для решения краевой задачи уравнений с частными производными эллиптического типа. Графическое определение распространения тепла методом конечно-разностных аппроксимаций производных с применением пакета Mathlab.
курсовая работа, добавлен 06.07.2011 Топологическое определение гомотопии. Смысл, преимущества и недостатки гомотопного метода анализа. Уравнения деформации нулевого и старшего порядка. Особенности теоремы сходимости и значение трех фундаментальных правил, полиномиальное выражение.
доклад, добавлен 13.08.2011Общая характеристика распространенных проблем поиска величины максимального потока в сети при помощи алгоритма Форда-Фалкерсона. Знакомство с задачами по дискретной математике. Рассмотрение особенностей и этапов постройки дерева кратчайших расстояний.
контрольная работа, добавлен 09.03.2015- 74. Метод хорд
Приближенные решения кубических уравнений. Работы Диофанта, Ферма и Ньютона. Интерационный метод нахождения корня уравнения. Геометрическое и алгебраическое описания метода хорд. Погрешность приближенного решения. Линейная скорость сходимости метода.
презентация, добавлен 17.01.2011 Процесс выбора или построения модели для исследования определенных свойств оригинала в определенных условиях. Стадии процесса моделирования. Математические модели и их виды. Адекватность математических моделей. Рассогласование между оригиналом и моделью.
контрольная работа, добавлен 09.10.2016