Конечные автоматы
Описание абстрактных, структурных и частичных конечных автоматов. Работа синхронных конечных автоматов, содержащих различные типы триггеров, определение сигналов их возбуждения. Пример канонического метода структурного синтеза. Схема дверного замка.
Подобные документы
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
курсовая работа, добавлен 20.08.2010Основная идея метода конечных элементов. Пространство конечных элементов. Простейший пример пространства. Однородные граничные условия и функции. Построение базисов в пространствах. Свойства базисных функций. Коэффициенты системы Ритца–Галеркина.
лекция, добавлен 30.10.2013Неразрешимые конечные группы с нильпотентными добавлениями к несверхразрешимым подгруппам. Нормальные подгруппы конечных-обособленных груп. Факторизуемые группы с разрешимыми факторами нечетных индексов. Произведения 2-разложимых групп специальных видов.
курсовая работа, добавлен 26.09.2009Понятие и виды бинарной алгебраической операции. Определения, примеры и общие свойства -перестановочных подгрупп. Характеристика и методика решения конечных групп с заданными -перестановочными подгруппами. Доказательство p-разрешимости конечных групп.
курсовая работа, добавлен 22.09.2009Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа, добавлен 26.03.2012Изучение строения групп по заданным свойствам системы их подгрупп как направлениt в теории конечных групп. Обзор конечных групп с плотной системой F-субнормальных подгрупп в случаях, когда F - произвольная S-замкнутая формация p-нильпотентных групп.
курсовая работа, добавлен 07.03.2010Свойства примитивных конечных разрешимых произведений N-разложимых групп. Условия факторизуемости проекторов конечных разрешимых произведений N-разложимых групп для случая. Порядок определения приложений полученных результатов для классических формаций.
дипломная работа, добавлен 14.12.2009Определение и основные свойства конечных групп с условием плотности для F-субнормальных подгрупп. Общие свойства, использующиеся для изучения строения конечных групп с плотной системой F-субнормальных подгрупп. Особенности развития теории формаций.
курсовая работа, добавлен 02.03.2010Интерполяционная схема Эйткина. Связь конечных разностей и производных. Распространение ошибки исходных данных при вычислении конечные разности. Свойства разделенной разности. Интерполяционная формула Ньютона для не равноотстоящих узлов. Полином Лагранжа.
лекция, добавлен 06.03.2009Конечные группы со сверхразрешимыми подгруппами четного и непримарного индекса. Неразрешимые группы с заданными подгруппами непримарного индекса. Классификация и строение конечных минимальных несверхразрешимых групп. Доказательство теорем и лемм.
курсовая работа, добавлен 18.09.2009Расчет стационарного теплового поля в двумерной пластине. Вычислительные методы для инженеров. Применение метода конечных элементов. Триангуляция. Метод конечных элементов.
курсовая работа, добавлен 31.10.2002Изучение конструкции и простейших свойств конечных полей, степень расширения поля разложения. Определение и свойства фундаментальной группы топологического пространства. Способ построения клеточного комплекса путем последовательного приклеивания клеток.
контрольная работа, добавлен 26.12.2010В работе представлено описание не п-разложимых w-насыщенных формаций с п-разложимой максимальной w-насыщенной подформацией. Исследование структурного строения и классификации частично насыщенных формаций конечных групп. Методы абстрактной теории.
курсовая работа, добавлен 21.12.2009Основные понятия размерности упорядоченных множеств. Определение размерности упорядоченного множества. Свойства размерности конечных упорядоченных множеств. Порядковая структура и элементы алгебраической теории решёток.
дипломная работа, добавлен 08.08.2007Группа как непустое множество с бинарной алгебраической операцией, ее свойства и требования. Представления унитарными матрицами и полная приводимость представлений конечных групп. Доказательство основных теорем. Соотношения ортогональности для характеров.
курсовая работа, добавлен 22.09.2009Соотношения между операторами дифференцирования и конечных разностей. Разностная аппроксимация дифференциальных уравнений. Интерполяционные рекуррентные формулы, метод Эйлера. Интерполяция конечными разностями "назад". Рекуррентные формулы Адамса.
реферат, добавлен 08.08.2009- 17. Конечные поля
Конструкции и свойства конечных полей. Понятие степени расширения, определенность поля разложения, примитивного элемента, строение конечной мультипликативной подгруппы поля. Составление программы, которая позволяет проверить функцию на примитивность.
курсовая работа, добавлен 18.12.2011 Характеристика и определение общих свойств слабо нормальных подгрупп и их конечных групп. Доказательство новых критериев принадлежности группы насыщенной формации. Критерии разрешимости и метанильпотентности групп в терминах слабо нормальных подгрупп.
курсовая работа, добавлен 02.03.2010Проблема получения описания строения w-насыщенных формаций конечных групп, имеющих заданную решетку подформаций. Некоторые сведения и варианты решения проблемы описания w-насыщенных формаций Hw-дефекта, не превосходящего 2, для произвольной формации.
курсовая работа, добавлен 21.12.2009Место теории конечных групп в алгебре. Формация как класс групп, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. Локальный метод Гашюца и его развитие. Свойства частично насыщенных формаций с заданной структурой подформаций.
дипломная работа, добавлен 02.02.2010Решение линейной краевой задачи методом конечных разностей. Сопоставление различных вариантов развития процесса с применением анализа графиков, построенных на базе полученных данных. Графическое обобщение нескольких вариантов развития процесса.
лабораторная работа, добавлен 15.11.2010Строение конечных групп по заданным свойствам их обобщенно субнормальных подгрупп. Использование методов абстрактной теории групп и теории формаций конечных групп. Субнормальные и обобщенно субнормальные подгруппы и их свойства. Обобщение теоремы Хоукса.
дипломная работа, добавлен 20.12.2009Характеристика и изучение замкнутости класса всех конечных сверхразрешимых групп относительно подгрупп, фактор-групп и прямых произведений. Исследование свойств подгрупп конечной сверхразрешимой группы. Обзор свойств сверхразхрешимых групп в виде лемм.
курсовая работа, добавлен 06.06.2012Описание метода сведения краевой задачи к задаче Коши. Решение системы из двух уравнений с четырьмя неизвестными. Метод Рунге-Кутта. Расчет максимальной погрешности и выполнение проверки точности. Метод конечных разностей. Описание полученных результатов.
курсовая работа, добавлен 10.07.2012Суть метода пространственной дискретизации. Основные способы замены производной первого порядка. Алгоритм метода конечных разностей. Разбиение математической модели конструкции на непересекающиеся элементы простой геометрии. Матрица контуров и сечений.
презентация, добавлен 27.10.2013