Модификация метода построения тестов для конечных автоматов относительно неразделимости

Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.

Подобные документы

  • Дифференциальное уравнение первого порядка, разрешенное относительно производной. Применение рекуррентного соотношения. Техника применения метода Эйлера для численного решения уравнения первого порядка. Численные методы, пригодные для решения задачи Коши.

    реферат, добавлен 24.08.2015

  • Характеристика понятий "порядок", "хаос" и особенностей их применения в точных науках: математике, физике. Исследование взаимосвязи упорядоченных и хаотических явлений и методы формулировки (содержательно и математически строго) правил относительно них.

    реферат, добавлен 29.11.2010

  • Приведение уравнений к специальному виду. Устойчивость относительно переменных с одним нулевым и парой чисто мнимых корней в частном случае. Критический случай двух нулевых корней, одного нулевого и пары чисто мнимых корней, двух пар чисто мнимых корней.

    дипломная работа, добавлен 13.07.2015

  • Общие сведения об элементарных функциях. Схема исследования функции и построения ее графика. Линейная, степенная, показательная, логарифмическая и тригонометрические функции. Простейшие преобразования графиков: параллельный перенос, деформация, отражение.

    курсовая работа, добавлен 16.10.2011

  • Порядок и принципы составления дифференциального уравнения, методика нахождения неизвестных значений. Замена исходного дифференциального уравнения на систему n-линейных уравнений относительно n-неизвестных. Формирование и решение системы уравнений.

    задача, добавлен 20.09.2013

  • Алгоритм построения минимального остовного дерева. Последовательность выполнения алгоритма Прима, его содержание и назначение. Процедура рисования графа. Порядок составления и тестирования программы, ее интерфейс, реализация и правила эксплуатации.

    курсовая работа, добавлен 30.04.2011

  • Исследование сущности и сфер применения метода итераций. Нелинейные уравнения. Разработка вычислительный алгоритм метода итераций. Геометрический смысл. Составление программы решения систем нелинейных уравнений методом итераций в среде Turbo Pascal.

    реферат, добавлен 11.04.2014

  • Сущность графического метода нахождения оптимального значения целевой функции. Особенности и этапы симплексного метода решения задачи линейного программирования, понятие базисных и небазисных переменных, сравнение численных значений результатов.

    задача, добавлен 21.08.2010

  • Знакомство с особенностями построения математических моделей задач линейного программирования. Характеристика проблем составления математической модели двойственной задачи, обзор дополнительных переменных. Рассмотрение основанных функций новых переменных.

    задача, добавлен 01.06.2016

  • Обзор и характеристика различных методов построения сечений многогранников, определение их сильных и слабых сторон. Метод вспомогательных сечений как универсальный способ построения сечений многогранников. Примеры решения задач по теме исследования.

    презентация, добавлен 19.01.2014

  • Расчет стационарного теплового поля в двумерной пластине. Вычислительные методы для инженеров. Применение метода конечных элементов. Триангуляция. Метод конечных элементов.

    курсовая работа, добавлен 31.10.2002

  • Понятие интерполяций функций и их роль в вычислительной математике. Рассмотрение метода интерполяции кубическими сплайнами, составление алгоритма и программного модуля. Описание тестовых примеров. Достоинства и недостатки метода сплайн-интерполяции.

    курсовая работа, добавлен 08.06.2013

  • Сущность метода системосовокупностей как одного из распространенных и универсальных методов решения неравенств любого типа. Обобщение метода интервалов на тригонометрической окружности. Эффективность и наглядность графического метода решения задач.

    методичка, добавлен 14.03.2011

  • Численное решение дифференциальных уравнений с помощью многошагового метода прогноза и коррекции Милна. Суммарная ошибка метода Милна. Применение метода Рунге-Кутта для нахождения первых значений начального отрезка. Абсолютная погрешность значения.

    контрольная работа, добавлен 27.02.2013

  • Вероятностное обоснование метода наименьших квадратов как наилучшей оценки. Прямая и обратная регрессии. Общая линейная модель. Многофакторные модели. Доверительные интервалы для оценок метода наименьших квадратов. Определение минимума невязки.

    реферат, добавлен 19.08.2015

  • История открытия магических квадратов; элементарные принципы их построения. Линейный метод построения магических квадратов порядка n. Описание методов Москопула, альфила и Баше. Особенности построения магических квадратов четного и нечетного порядков.

    курсовая работа, добавлен 24.07.2014

  • Основные этапы построения модели парения птиц в воздухе, ее качественное исследование на устойчивость при отсутствии и наличии силы сопротивления воздуха. Нахождение траектории полета птицы (на примере планера) при отсутствии сопротивления воздуха.

    курсовая работа, добавлен 31.10.2016

  • Общие аксиомы конструктивной геометрии. Аксиомы математических инструментов. Постановка задачи на построение, методика решения задач. Особенности методик построения: одним циркулем, одной линейкой, двусторонней линейкой, построения с помощью прямого угла.

    курс лекций, добавлен 18.12.2009

  • Математические модели явлений или процессов. Сходимость метода простой итерации. Апостериорная оценка погрешности. Метод вращений линейных систем. Контроль точности и приближенного решения в рамках прямого метода. Метод релаксации и метод Гаусса.

    курсовая работа, добавлен 13.04.2011

  • Исследование способа вычисления кратных интегралов методом Монте-Карло. Общая схема метода Монте-Карло, вычисление определенных и кратных интегралов. Разработка программы, выполняющей задачи вычисления значений некоторых примеров кратных интегралов.

    курсовая работа, добавлен 12.10.2009

  • Предмет, методы и понятия математической статистики, ее взаимосвязь с теорией вероятности. Основные понятия выборочного метода. Характеристика эмпирической функции распределения. Понятие гистограммы, принцип ее построения. Выборочное распределение.

    учебное пособие, добавлен 24.04.2009

  • Динамическая модель как теоретическая конструкция, описывающая изменение состояний объекта. Характеристика основных подходов к построению: оптимизационный, описательный. Рассмотрение способов построения математических моделей дискретных объектов.

    контрольная работа, добавлен 31.01.2013

  • Создание программы на языке матрично-ориентированной системы Mat LAB. Особенности математической интерпретации метода. Оценка влияния величины шага интегрирования и начальных значений на качество и точность вычислений. Анализ полученных результатов.

    курсовая работа, добавлен 27.04.2011

  • Основные понятия теории течения жидкости. Создание математической модели распределения температурного поля в вязкой жидкости. Разработка цифровой модели изменения поля температуры в зависимости от: теплопроводности жидкости и металла, граничных условий.

    дипломная работа, добавлен 03.07.2014

  • Особенности использования метода секущих плоскостей для создания проекции и разветки пересечения поверхностей фигур. Порядок построения изометрии взаимного пересечения поверхностей фигур. Характеристика процесса создания фигуры с вырезом, опоры и стойки.

    реферат, добавлен 27.07.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.