Конечные автоматы
Описание абстрактных, структурных и частичных конечных автоматов. Работа синхронных конечных автоматов, содержащих различные типы триггеров, определение сигналов их возбуждения. Пример канонического метода структурного синтеза. Схема дверного замка.
Подобные документы
Поиск корней нелинейных САУ с помощью метода продолжения решения по параметру. Математическое описание метода. Программное обеспечение для построения графиков сходимости метода. Требования к программному обеспечению и описание логической структуры.
курсовая работа, добавлен 27.04.2011Теоретические основы решения уравнений, содержащих параметр. Анализ школьных учебников по алгебре и началам анализа. Основные виды уравнений, содержащих параметр. Основные методы решения уравнений, содержащих параметр.
дипломная работа, добавлен 08.08.2007- 53. Теория множеств
Теория множеств - одна из областей математики. Понятие, обозначение, основные элементы конечных и бесконечных множеств - совокупности или набора определенных и различимых между собой объектов, мыслимых как единое целое. Пустое и универсальное множество.
реферат, добавлен 14.12.2011 Выработка современного абстрактного понятия групп. Простейшие свойства конечных нильпотентных групп. Подгруппа Фраттини конечной группы нильпотентна. Нахождение прямого произведения нильпотентных групп. Бинарная алгебраическая операция на множестве.
курсовая работа, добавлен 21.09.2013Особенности решения обыкновенного линейного неоднородного дифференциального уравнения второго порядка с заданными граничными условиями методом конечной разности. Составление трехдиагональной матрицы. Реализация решения в программе Microsoft Office Excel.
курсовая работа, добавлен 23.12.2013Разрешимость факторизуемой группы с разложимыми факторами. Свойства конечных групп, являющихся произведением двух групп, одна из которых группа Шмидта, вторая - 2-разложимая. Произведение бипримарной и 2-разложимой групп. Доказательство теорем и лемм.
курсовая работа, добавлен 22.09.2009Нормированное пространство – одно из основных понятий функционального анализа, дифференцирование. Формула конечных приращений; связь между слабой и сильной дифференцируемостью. Абстрактные функции; интеграл; производные и дифференциалы высших порядков.
курсовая работа, добавлен 24.01.2011Теория графов как раздел дискретной математики, исследующий свойства конечных множеств с заданными отношениями между их элементами. Основные понятия теории графов. Матрицы смежности и инцидентности и их практическое применение при анализе решений.
реферат, добавлен 13.06.2011Решение задачи глобальной оптимизации. Базовый метод эволюционной стратегии: операции мутации, скрещивания и селекции. Определение параметров управления пробного вектора с помощью самоадаптивного метода. Применение метода C-центроидов, его схема.
реферат, добавлен 17.01.2014Разрешимости, сверхразрешимости и изоморфизма конечных групп. Доказательства теорем о произведении двух групп, одна из которых содержит циклическую подгруппу индекса менее или равную двум. Произведение разрешимой и циклической групп, рассмотрение лемм.
курсовая работа, добавлен 26.09.2009- 61. Теоремы Силова
Доказательство теорем Силова о конечных группах, которые представляют собой неполный вариант обратной теоремы к теореме Лагранжа и для некоторых делителей порядка группы G гарантируют существование подгрупп такого порядка. Нахождение силовских р-подгрупп.
курсовая работа, добавлен 31.03.2011 Уравнения Фредгольма и их свойства как классический пример интегральных уравнений с постоянными пределами интегрирования, их формы и степени, порядок формирования и решения. Некоторые приложения интегральных уравнений. Общая схема метода квадратур.
курсовая работа, добавлен 25.11.2011Задачи для обыкновенных дифференциальных уравнений. Квадратурные формулы. Теоретические основы метода сеток для решения задачи Коши. Погрешность аппроксимации, устойчивость, основная теорема метода сеток. Схема предиктор-корректор 2-го порядка.
реферат, добавлен 07.12.2013Порядок и принципы составления дифференциального уравнения, методика нахождения неизвестных значений. Замена исходного дифференциального уравнения на систему n-линейных уравнений относительно n-неизвестных. Формирование и решение системы уравнений.
задача, добавлен 20.09.2013Метод сеток (конечных разностей) - вид численного анализа. Расчет стержней и пластин на прочность, устойчивость и колебания. Формулы для приближенного вычисления производных от функций переменных, расчет упругих систем и разномерных краевых задач.
учебное пособие, добавлен 30.12.2011Группы и их подгруппы. Централизаторы и нормализаторы. Разрешимые, сверхразрешимые, нильпотентные и холловы группы. Прямое, полупрямое произведения и сплетение групп. Простейшие свойства классов Фиттинга. Нормальные классы Фиттинга и их произведение.
дипломная работа, добавлен 19.04.2011Основные виды линейных интегральных уравнений. Метод последовательных приближений, моментов, наименьших квадратов и коллокации. Решение интегральное уравнение методом конечных сумм и методом моментов. Ненулевые решения однородной линейной системы.
контрольная работа, добавлен 23.10.2013Основные положения теории математического моделирования. Структура математической модели. Линейные и нелинейные деформационные процессы в твердых телах. Методика исследования математической модели сваи сложной конфигурации методом конечных элементов.
курсовая работа, добавлен 21.01.2014Общая характеристика параболических дифференциальных уравнений на примере уравнения теплопроводности. Основные определения и конечно-разностные схемы. Решение дифференциальных уравнений параболического типа методом сеток или методом конечных разностей.
контрольная работа, добавлен 27.04.2011Определение связи между выходом и входом для непрерывных систем. Вычисление передаточной функции и основы структурного метода дискретной системы. Расчет передаточной функции дискретной системы с обратной связью. Передаточные функции цифровых алгоритмов.
реферат, добавлен 19.08.2009Определение МДНФ логической функции устройства различными методами (Квайна, Петрика, неопределенных коэффициентов и др.). Составление алгоритма метода минимизации функции и разработка его рабочих программ. Выполнение синтеза схемы логического устройства.
курсовая работа, добавлен 21.11.2010Изучение свойств критических групп и субнормальных подгрупп. Нахождение серии наследственных насыщенных формаций Шеметкова (минимальная не F-группа тут группа Шмидта, либо простого порядка) и Фиттинга (замкнутые относительно произведения F-подгрупп).
дипломная работа, добавлен 14.02.2010Рассмотрение методов экстремальных классов (Картер, Фишер, Хоукс), и критических групп (Семенчук). Классификация наследственных насыщенных формаций F, замкнутых относительно произведения обобщенно субнормальных F-подгрупп с взаимно простыми индексами.
курсовая работа, добавлен 14.02.2010Типы уравнений, допускающих понижение порядка. Линейное дифференциальное уравнение высшего порядка. Теоремы о свойствах частичных решений. Определитель Вронского и его применение. Использование формулы Эйлера. Нахождение корней алгебраического уравнения.
презентация, добавлен 29.03.2016Основные понятия и определения кубических уравнений, способы их решения. Формула Кардано и тригонометрическая формула Виета, сущность метода перебора. Применение формулы сокращенного умножения разности кубов. Определение корня квадратного трехчлена.
курсовая работа, добавлен 21.10.2013