Модификация метода построения тестов для конечных автоматов относительно неразделимости
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
Подобные документы
Определение понятия модели, необходимость их применения в науке и повседневной жизни. Характеристика методов материального и идеального моделирования. Классификация математических моделей (детерминированные, стохастические), этапы процесса их построения.
реферат, добавлен 20.08.2015Примеры неравенств, доказываемых техникой одномонотонных последовательностей. Обоснование данного метода для случая с произвольным числом переменных. Доказательство неравенств с минимальным числом переменных. Сравнение метода с доказательством Коши.
реферат, добавлен 05.02.2011- 103. Геометрия
Начальные геометрические сведения и формирования представлений учеников о понятиях точки, прямой, отрезка, треугольника, параллельных прямых, их расположение относительно друг друга. Задачи на вычисление геометрических величин и изображение фигур.
презентация, добавлен 15.09.2010 Сущность и содержание, основные понятия и критерии теории графов. Понятие и общее представление о задаче коммивояжера. Описание метода ветвей и границ, практическое применение. Пример использования данного метода ветвей для решения задачи коммивояжера.
контрольная работа, добавлен 07.06.2011Методы решения систем линейных уравнений. Метод Якоби в матричной записи. Достоинство итерационного метода верхних релаксаций, вычислительные погрешности. Метод блочной релаксации. Разбор метода релаксаций в системах линейных уравнений на примере.
курсовая работа, добавлен 27.04.2011Изучение численно-аналитического метода решения краевых задач математической физики на примере неоднородной задачи Дирихле для уравнения Лапласа. Численная реализация вычислительного метода и вычислительного эксперимента, особенности их оформления.
практическая работа, добавлен 28.01.2014- 107. Исследование функций
Локальные экстремумы функции. Теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа. Достаточные условия экстремума функции. Исследование функций на выпуклость и вогнутость. Точка перегиба. Асимптоты графика функции. Схема построения графика.
курс лекций, добавлен 27.05.2010 - 108. Перебор с возвратом
Особенности построения вектора А, удовлетворяющего заданному множеству условий и ограничений, если даны величины упорядоченных множеств. Характеристика алгоритма перебора вектора А и оценка его временной сложности. Анализ графического изображения вектора.
курсовая работа, добавлен 11.03.2010 - 109. Теория надежности
Расчет показателей надежности невосстанавливаемой системы с постоянными во времени интенсивностями отказов элементов в Марковских процессах. Поиск вероятности безотказной работы системы методом разложения структуры относительно базового элемента.
контрольная работа, добавлен 15.01.2014 Основные положения теории инверсии. Определение инверсии-симметрии относительно окружности. Неподвижные точки и окружность инверсии. Образы прямых и окружностей при обобщенной инверсии. Свойства обобщенной инверсии.
дипломная работа, добавлен 08.08.2007Решение уравнения гармонического осциллятора при помощи разложения в ряд Тейлора. Применение метода индуцированной алгебры. Решение уравнения гармонического осциллятора при помощи метода индуцированной алгебры. Сравнение работоспособности методов решений.
курсовая работа, добавлен 24.05.2012Математическое обоснование алгоритма вычисления интеграла. Принцип работы метода Монте–Карло. Применение данного метода для вычисления n–мерного интеграла. Алгоритм расчета интеграла. Генератор псевдослучайных чисел применительно к методу Монте–Карло.
курсовая работа, добавлен 12.05.2009Назначение, состав и структура математического обеспечения в автоматизированных системах, формализация и моделирование управленческих решений, этапы разработки. Модели и алгоритмы обработки информации. Характеристика метода исследования операции.
презентация, добавлен 07.05.2011Понятие и специфические черты системы линейных алгебраических уравнений. Механизм и этапы решения системы линейных алгебраических уравнений. Сущность метода исключения Гаусса, примеры решения СЛАУ данным методом. Преимущества и недостатки метода Гаусса.
контрольная работа, добавлен 13.12.2010- 115. Аксиоматика Вейля
Аксиомы линейного векторного пространства. Произведение любого вектора на число 0. Аксиомы размерности, доказательство теоремы. Дистрибутивность скалярного произведения векторов относительно сложения векторов. Требования, предъявляемые к системе аксиом.
реферат, добавлен 28.03.2014 Изучение строения групп по заданным свойствам системы их подгрупп как направлениt в теории конечных групп. Обзор конечных групп с плотной системой F-субнормальных подгрупп в случаях, когда F - произвольная S-замкнутая формация p-нильпотентных групп.
курсовая работа, добавлен 07.03.2010Понятие, истоки, систематизация и развитие теории групп. Множество как совокупность объектов, рассматриваемых как единое целое. Нильпотентные группы - непустые множества, замкнутые относительно бинарной алгебраической операции, их свойства и признаки.
курсовая работа, добавлен 27.03.2011Разработка и анализ топологической модели электронной схемы для полного диапазона частот. Определение передаточной схемной функции методом эквивалентных схем в матричной форме, а также методом сигнальных графов, используя сигнальный граф Мэзона.
контрольная работа, добавлен 11.04.2016Группа, как совокупность преобразований, замкнутая относительно их композиции. Изучение нильпотентных групп, их простейших свойств и признаков. Особенности доказывания теорем Силова, Лагранжа, Виланда. Подгруппа Фраттини конечной группы нильпотентна.
курсовая работа, добавлен 10.04.2011Тела Платона, характеристика пяти правильных многогранников, их место в системе гармоничного устройства мира И. Кеплера. Агроритм построения треугольника средствами Mathcad. Формирование матрицы вершины координат додекаэдра, график поверхности.
курсовая работа, добавлен 19.12.2010Теоретико-числовая база построения СОК. Теорема о делении с остатком. Алгоритм Евклида. Китайская теорема об остатках и её роль в представлении чисел в СОК. Модели модулярного представления и параллельной обработки информации. Модульные операции.
дипломная работа, добавлен 24.02.2010- 122. Действия с матрицами
Определение, свойства, виды и историческое происхождение матриц. Расчет определителя третьего порядка. Правило Саррюса для треугольников. Алгоритм построения и единственность обратной матрицы. Исследование линейных отображений векторных пространств.
контрольная работа, добавлен 12.12.2013 Знакомство с уравнениями линейной регрессии, рассмотрение распространенных способов решения. Общая характеристика метода наименьших квадратов. Особенности оценки статистической значимости парной линейной регрессии. Анализ транспонированной матрицы.
контрольная работа, добавлен 05.04.2015Рассмотрение и анализ основных свойств показательной функции: решение задач, способы построения графиков. Понятие и примеры применения гиперболических функций, их роль в различных приложениях математики. Способы нахождения области определения функции.
контрольная работа, добавлен 01.11.2012Формации как классы групп, замкнутые относительно фактор-групп и подпрямых произведений, методика их произведения. Операции на классах групп, приводящие к формациям. Виды простейших свойств локальной формации всех групп с нильпотентным компонентом.
курсовая работа, добавлен 20.09.2009