Абстрактный синтез автоматов
Принципы и порядок проектирования автомата управления, алгоритм его функционирования. Формальное описание функционирования автомата в виде графа переходов и набора булевых функций. Абстрактный синтез автомата Мура и анализ полученных результатов.
Подобные документы
Представление булевых функций в совершенной дизъюнктивной нормальной форме. Многоступенчатое склеивание. Минимизация булевых функций. Карта Карно-Вейча для четырех переменных. Метод Квайна и Мак-Класки. Диаграммы Вейча, метод неопределенных коэффициентов.
курсовая работа, добавлен 22.06.2011Использование поисковых систем в Internet для рекламных целей. Структура и порядок функционирования рекламного блока. Формальное описание алгоритма подбора параметров критерия показа. Постановки задачи оптимизации системы показов рекламных объявлений.
диссертация, добавлен 28.12.2016Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Множина як деякий набір об’єктів, які не повторюються і називаються елементами, існуючі теорії та концепції. Графи та головні дії над ними. Рекурентні булеві функції, теорія кінцевих автоматів. Задача аналізу кінцевого автомата з пам’яттю, її рішення.
методичка, добавлен 06.03.2014Машина Тьюринга — абстрактный исполнитель, предназначенный для формализации понятия алгоритма. Описание и устройство машины: основные свойства, продуктивность; тезис Черча. Машина Тьюринга и алгоритмически неразрешимые функции. Проблема остановки машины.
курсовая работа, добавлен 18.02.2014Применение вариантов эвристических алгоритмов. Недетерминированный конечный автомат. Варианты минимизации недетерминированных конечных автоматов и используемые эвристики. Алгоритм кластеризации ситуаций. Инициализация списка подзадач одним элементом.
статья, добавлен 14.07.2016- 32. Булевы функции
Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.
курсовая работа, добавлен 05.12.2012 Рассмотрение нового подхода к синтезу систем модального управления типовыми линейными объектами с распределенными параметрами, описываемым одномерным параболическим уравнением, учитывающего фиксированный характер распределения управляющих воздействий.
статья, добавлен 28.01.2020- 34. Алгебра множеств
Основное правило комбинаторики. Теория булевых функций, булева алгебра характеристических векторов и высказываний. Определение и способ задания булевых функций. Дизъюнктивные и конъюнктивные нормальные формы. Эйлеровы графы, сети, пути в орграфах.
курс лекций, добавлен 18.03.2010 Связь корреляционно-иммунных булевых функций с кодами и ортогональными массивами. Линейные и квазилинейные переменные. Оптимизация неравенства Зигенталера для каждой отдельной переменной. Теорема для регулярных функций типа теоремы Симона-Вегенера.
научная работа, добавлен 15.09.2012Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Алгебраическая иммунность как основное свойство булевых функций, характеризующих способность шифра противостоять алгебраическим атакам. Использование системы компьютерной алгебры Sage для автоматизации процессов нахождения числовых характеристик функции.
статья, добавлен 02.04.2019Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010Оптимальные эквиваленты произведения сумм - метод отражения максимальной предельной оценки в виде объективного критерия эффективности автоматического контроля адаптивного диапазона. Сущность метода индукции на численных примерах итерационного анализа.
статья, добавлен 15.07.2018Порядок и принципы построения алгоритма, основанного на взаимодействиях параллельно работающих компонентов. Представление параллельных алгоритмов, реализованное в виде дуальных графов или матрично-предикатном виде. Преимущества подобного представления.
статья, добавлен 30.07.2017Описание алгоритма Ванга-Ландау для подсчета плотности состояний уровней энергии. Построение алгоритма Ванга-Ландау с матрицами перехода функций f=1/t и анализ погрешностей. Пример аналитического решения матрицы переходов для одномерной модели Изинга.
дипломная работа, добавлен 30.08.2016Интегрирование линейного дифференциального уравнения с помощью степенных рядов, метод неопределенного коэффициента. Синтез управления не более, чем с одним переключением в управляемой системе второго порядка. Малые возмущения системы линейных уравнений.
курсовая работа, добавлен 08.06.2014Общая математическая модель функционирования системы физической защиты объектов на основе теории множеств. Использование композиции соответствий и метода анализа иерархий. Описание нечетких соответствий. Анализ композиции нечетких гиперграфов модели.
статья, добавлен 11.01.2020- 44. Свойства функций
Характеристики алгебраических функций: монотонность, непрерывность, четность, выпуклость, ограниченность, наибольшее и наименьшее значение. Алгоритм описания свойств функций. Рассмотрение, графическое представление и описание свойств некоторых функций.
презентация, добавлен 17.12.2014 Формальное определение случайной функции как семейства случайных переменных. Характерный вид реализаций различных классов случайных функций. Типы случайных последовательностей. Модели скалярных и точечных процессов. Пространственно-временные поля.
реферат, добавлен 11.01.2020Основные определения графа, способы его задания. Представление сетей радиосвязи графами. Алгоритм выделения компонент сильной связности. Кратчайшие остовы и пути в нагруженном графе. Алгоритмы построения паросочетаний графов. Особенности раскраски графа.
учебное пособие, добавлен 15.10.2016Правила раскраски графа, приписывание цветов его вершинам с условием, что никакие смежные вершины не получают одинакового цвета. Алгоритм приближенного решения задачи определения хроматического числа и построения минимальной раскраски произвольного графа.
курсовая работа, добавлен 28.05.2019Основные понятия и определение графа. Степень вершины графа. Особенности и свойства подграфа, пути, цепи и цикла. Характеристика связных графов. Анализ теоремы об оценке числа рёбер несвязного графа. Сущность понятий "дерево графа" и "лес графа".
методичка, добавлен 15.10.2016Рассмотрение синтеза схем с помощью генетических алгоритмов, в основе которых лежит принцип биологической эволюции и естественного отбора. Генетический алгоритм – эвристический алгоритм поиска, используемый для решения задач оптимизации и моделирования.
статья, добавлен 26.04.2019- 50. Метод ломаных
Методика поиска точки глобального минимума на отрезке, где функция удовлетворяет условию Липшица на этом отрезке. Описание алгоритма метода ломаных и анализ полученных результатов. Свойства соответствующего семейства. Вычисление константы Липшица.
контрольная работа, добавлен 04.06.2015