Модификация метода построения тестов для конечных автоматов относительно неразделимости
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
Подобные документы
Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа, добавлен 28.05.2015Операторы преобразования переменных, классы, способы построения и особенности структурных моделей систем управления. Линейные и нелинейные модели и характеристики систем управления, модели вход-выход, построение их временных и частотных характеристик.
учебное пособие, добавлен 23.12.2009Аналитическое и компьютерное исследования уравнения и модели Ван-дер-Поля. Сущность и особенности применения методов Эйлера и Рунге-Кутта 4 порядка. Сравнение точности метода Эйлера и Рунге-Кутта на одном графике, рисуя фазовые траектории из 1 точки.
курсовая работа, добавлен 06.10.2012Описание метода сведения краевой задачи к задаче Коши. Решение системы из двух уравнений с четырьмя неизвестными. Метод Рунге-Кутта. Расчет максимальной погрешности и выполнение проверки точности. Метод конечных разностей. Описание полученных результатов.
курсовая работа, добавлен 10.07.2012Постановка задачи прогнозирования количества отказов радиоэлектронного оборудования на следующий год в аэропорту. График общей тенденции отказов. Использование метода временных рядов. Выделение тренда, применение метода скользящих средних значений.
курсовая работа, добавлен 19.12.2009Трансцендентное уравнение: понятие и характеристика. Метод половинного деления (дихотомии), его сущность. Применение метода простой итерации для решения уравнения. Геометрический смысл метода Ньютона. Уравнение хорды и касательной, проходящей через точку.
курсовая работа, добавлен 28.06.2013Описание общих принципов метода сеток, его применение к решению параболических уравнений. Исследование разрешимости получаемой системы разностных уравнений. Разработка программы для численного решения поставленной задачи, выполнение тестовых расчетов.
курсовая работа, добавлен 12.10.2009Решения интегральных уравнений на полубесконечном промежутке с ядром, зависящим от разности аргументов с помощью метода Винера-Хопфа. Решение задач в случае бесконечного и полубесконечного промежутка. Применение метода Винера-Хопфа к уравнению Лапласа.
реферат, добавлен 18.05.2010Синтез вариационного исчисления и метода функций Ляпунова в основе принципа динамического программирования. Метод знакопостоянных функций Ляпунова в решении задач о стабилизации и синтезе управления для нелинейной и автономной управляемых систем.
курсовая работа, добавлен 17.06.2011Методы решения систем линейных алгебраических уравнений, их характеристика и отличительные черты, особенности и сферы применения. Структура метода ортогонализации и метода сопряженных градиентов, их разновидности и условия, этапы практической реализации.
курсовая работа, добавлен 01.10.2009Основные теоремы дифференциального исчисления: Ферма, Ролля, Коши, Лагранжа и их доказательство. Локальные экстремумы функции, исследование ее на выпуклость и вогнутость, понятие точки перегиба. Асимптоты и общая схема построения графика функции.
реферат, добавлен 12.06.2010Сущность и характеристика метода покоординатного спуска (метод Гаусса-Зейделя). Геометрическая интерпретация метода покоординатного спуска для целевой функции z=(x,y). Блок-схема и алгоритм для написания программы для оптимизации методом Хука-Дживса.
контрольная работа, добавлен 26.12.2012Исследование теоретического материала, касающегося задач, решаемых ограниченными средствами. Сущность и содержание теоремы Штейнера – Понселе. Задачи школьного курса геометрии, решаемые циркулем и линейкой, их исследование и методика разрешения.
курсовая работа, добавлен 04.11.2015- 89. Симплекс-метод
Форма для ввода целевой функции и ограничений. Характеристика симплекс-метода. Процесс решения задачи линейного программирования. Математическое описание алгоритма симплекс-метода. Решение задачи ручным способом. Описание схемы алгоритма программы.
контрольная работа, добавлен 06.04.2012 Роль математики в современном мире. Основные этапы развития математики. Аксиоматический метод построения научной теории. Начала Евклида как образец аксиоматического построения научной теории. История создания неевклидовой геометрии. Стили мышления.
реферат, добавлен 08.02.2009Свойства примитивных конечных разрешимых произведений N-разложимых групп. Условия факторизуемости проекторов конечных разрешимых произведений N-разложимых групп для случая. Порядок определения приложений полученных результатов для классических формаций.
дипломная работа, добавлен 14.12.2009Задачи нахождения собственных значений и соответствующих им собственных векторов. Математическое обоснование метода итераций. Алгоритм метода Леверрье-Фаддеева, численное решение оценки собственных значений матриц. Листинг программы на языке "Pascal".
курсовая работа, добавлен 05.11.2014Методы нахождения минимума функций градиентным методом наискорейшего спуска. Моделирование метода и нахождение минимума функции двух переменных с помощью ЭВМ. Алгоритм программы, отражение в ней этапов метода на языке программирования Borland Delphi 7.
лабораторная работа, добавлен 26.04.2014Характеристика уравнений с разделяющимися переменными. Сущность метода Бернулли и метода Лагранжа, задачи Коша. Решение линейных уравнений n-го порядка. Фундаментальная система решений - набор линейно независимых решений однородной системы уравнений.
контрольная работа, добавлен 28.02.2011Формула для начала счета методом прогонки С.К. Годунова. Метод дополнительных краевых условий. Второй вариант метода переноса краевых условий в произвольную точку интервала интегрирования. Метод переноса в произвольную точку интервала интегрирования.
методичка, добавлен 13.07.2010М- и (М-1)-последовательности на основе произведения многочленов. Результаты по синтезу модели: структурная схема, методика построения по алгоритму Хемминга и по корреляционному моменту, аффинному преобразованию для заданного множества векторов.
контрольная работа, добавлен 24.07.2013Классификация методов кластеризации и их характеристика. Метод горной кластеризации в Matlab. Возможная область применения кластеризации в различных предметных областях. Математическое описание метода. Пример использования метода на реальных данных.
реферат, добавлен 28.10.2010Приведение уравнений к специальному виду. Устойчивость переменных с одним нулевым и парой чисто мнимых корней в частном случае. Критический случай двух пар чисто мнимых корней. Уменьшение числа рассматриваемых переменных в относительной устойчивости.
курсовая работа, добавлен 25.07.2015Общая схема методов спуска. Метод покоординатного спуска. Минимизация целевой функции по выбранным переменным. Алгоритм метода Гаусса-Зейделя. Понятие градиента функции. Суть метода наискорейшего спуска. Программа решения задачи дискретной оптимизации.
курсовая работа, добавлен 30.04.2011Параллельные методы решения систем линейных уравнений с ленточными матрицами. Метод "встречной прогонки". Реализация метода циклической редукции. Применение метода Гаусса к системам с пятидиагональной матрицей. Результаты численного эксперимента.
курсовая работа, добавлен 21.10.2013