Абстрактный синтез автоматов
Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
Подобные документы
Понятие математической модели, ее основные свойства. Описание методов аппроксимации, применяемых для построения регрессионных математических моделей. Обзор основных функций системы MathCad. Алгоритмический анализ задачи и описание функционирования.
курсовая работа, добавлен 09.12.2013Знакомство с особенностями проектирования автономных многомерных систем автоматического управления. Общая характеристика теории синтеза автономных многомерных цифровых систем управления, основанной на структурном представлении обратных операторов.
статья, добавлен 28.01.2020Рассмотрение задачи обеспечения инвариантности выходных переменных линейных динамических систем к внешним, неизмеряемым возмущениям в предположении, что условия согласования не выполнены. Синтез локальных обратных связей в классе разрывных функций.
статья, добавлен 02.11.2018Таблица типовых динамических звеньев, принципы ее формирования и порядок проведения необходимых расчетов. Анализ и синтез полученной системы. Метод последовательного программирования. Этапы составления характеристического уравнения замкнутой системы.
контрольная работа, добавлен 07.04.2012Построение модели транспортной сети в виде графа, с множеством вершин, соответствующих узлам сети, и множеством ребер – участкам дорог. Оптимальный алгоритм выделения наибольших максимальных цепей по заданному критерию и оценка по остальным критериям.
статья, добавлен 26.05.2017Поведение функций трудоемкости количественно-зависимых алгоритмов в реальных интервалах значений мощности множества исходных данных. Использование аппарата интервального анализа для сравнения функций, реализованного в виде программы на языке С++.
лабораторная работа, добавлен 02.04.2015Задача оптимизации систем управления транспортными потоками. Описание функционирования системы управления конфликтными потоками требований в классе алгоритмов с упреждением в случайной среде. Определение конфликтности и потоков насыщения системы.
курсовая работа, добавлен 12.04.2009Образующие элементы колец и полей инвариантов коприсоединенных представлений борелевских и максимальных унипотентных подгрупп в простых группах Ли. Особенности и условия применения метода редукции сферических функций, анализ полученных результатов.
статья, добавлен 31.05.2013- 59. Алгоритмы путей
Нахождение по заданной матрице весов графа величины минимального пути по алгоритму Дейкстры, величины максимального пути. Нахождение минимального пути по алгоритму Беллмана-Мура между вершинами. Определение максимального потока по заданной матрице.
контрольная работа, добавлен 06.04.2020 Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017- 61. Раскраска графов
Графы как наборы точек (вершин), некоторые из которых объявляются смежными (соседними), их классификация и разновидности. Понятие и закономерности раскраски вершин графа. Алгоритм неявного перебора, его этапы. Принципы и правила распределения ресурсов.
доклад, добавлен 29.12.2014 Использование дерева решения, которое позволяет представить структуру рассматриваемых альтернатив и специфику воздействий связей внешней среды в виде графа, который не имеет циклов. Исследование набора вершин и дуг, а также циклов в данном графе.
статья, добавлен 17.08.2018Сущность и функции графа. Связь между помеченными и непомеченными графами. Связность любой пары вершин графа простой цепью. Компонента графа. Метрические характеристики графа. Теорема Д. Кенига. Ориентированный, неориентированный помеченный граф (орграф).
презентация, добавлен 15.09.2017- 64. Двойной интеграл
Сущность и геометрический смысл двойного интеграла. Понятие и принципы построения цилиндрического бруса, порядок и этапы вычисления его фактического объема. Методика и основные этапы определения внутреннего интеграла и анализ полученных результатов.
практическая работа, добавлен 18.10.2013 Анализ алгоритма проектирования подкрепленной композитной пластины, не требующего применения методов нелинейного математического программирования. Учет ограничения на общую и местную формы потери устойчивости при построении математической модели.
статья, добавлен 26.04.2019Методы математического моделирования и современные информационные технологии в сфере мониторинга пожарной обстановки. Управление тушением лесного пожара с использованием метода обратных задач динамики. Синтез алгоритмов управления в виде обратных связей.
статья, добавлен 11.06.2018Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Подходы к определению алгоритма и их эквивалентность. Основные понятия булевых функций, декартово произведение и степень произвольного множества. Теорема о совершенной ДНФ. Виды логических и формальных исчислений. Характеристика предикат и квантор.
контрольная работа, добавлен 22.02.2010Расчет вероятностей безотказной работы зерноперерабатывающей системы. Эффективность и надежность функционирования сложных организационных систем. Изучение математической теории надежности. Способы взаимного расположения машин в технологической линии.
статья, добавлен 11.03.2018Возможности применения к многозначным функциям понятий и результатов, полученных для однозначных функций. Определение значения радикала при непрерывном движении точки по окружности в положительном направлении. Определения порядка точки разветвления.
реферат, добавлен 30.11.2014Исследование алгоритмов поиска в ориентированных графах, их применение в программах для транспортных и коммуникационных сетей. Способы представления ориентированных графов в виде различных матриц, графически и другими способами с практическими примерами.
курсовая работа, добавлен 23.04.2011Основные понятия о теории графа. Матрица смежности неориентированного графа с вершинами. Матрица инциденций неориентированного графа с вершинами и ребрами. Линейный однонаправленный список для задания множества вершин. Фундаментальные циклы графа.
реферат, добавлен 27.03.2011Совокупность абстрактных объектов, в которой представлены правила оперирования множеством символов в синтаксической трактовке. Правила, применяемые к формулам. Классическая классификация формальных грамматик. Моделирование сложных ветвящихся процессов.
реферат, добавлен 06.11.2011Анализ линейной непрерывной системы автоматического управления. Передаточные функции элементов. Формулировка критерия Гурвица. Характеристическое уравнение заданной системы. Анализ показателей качества переходных процессов при моделировании на ЭВМ.
контрольная работа, добавлен 26.01.2016Керована динамічна система з розподіленими параметрами. Отримання точних оптимальних керувань у формі зворотного зв'язку (синтезу) для задач керування розподіленими системами з обмеженнями на керування та побудова на наближених усереднених керувань.
автореферат, добавлен 26.07.2014