Модификация метода построения тестов для конечных автоматов относительно неразделимости
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
Подобные документы
Дифференциальное уравнение первого порядка, разрешенное относительно производной. Применение рекуррентного соотношения. Техника применения метода Эйлера для численного решения уравнения первого порядка. Численные методы, пригодные для решения задачи Коши.
реферат, добавлен 24.08.2015- 27. Порядок и хаос
Характеристика понятий "порядок", "хаос" и особенностей их применения в точных науках: математике, физике. Исследование взаимосвязи упорядоченных и хаотических явлений и методы формулировки (содержательно и математически строго) правил относительно них.
реферат, добавлен 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- 39. Метод Милна
Численное решение дифференциальных уравнений с помощью многошагового метода прогноза и коррекции Милна. Суммарная ошибка метода Милна. Применение метода Рунге-Кутта для нахождения первых значений начального отрезка. Абсолютная погрешность значения.
контрольная работа, добавлен 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