Применение методов решения задачи о выполнимости квантифицированной булевой функции для построения управляющих конечных автоматов по сценариям работы и темпоральным свойствам
Применение управляющих автоматов при построении систем со сложным поведением. Предложено построение управляющего конечного автомата по заданному множеству сценариев работы и темпоральным свойствам, которые должны выполняться в результирующем автомате.
Подобные документы
Основные понятия, определения и способы задания автоматов. Понятие стационарной и динамической среды, целесообразность их поведения. Характеристика детерминированного, вероятностного, конечного автомата. Способы задания конечных автоматов, их минимизация.
курсовая работа, добавлен 15.04.2014Детерменированный конечный автомат. Минимизация конечных автоматов. Вопросы кодирования и представления, обработки и минимизации конечного автомата. Разработка программы на языке C#, которая демонстрирует все алгоритмы обработки конечных автоматов.
курсовая работа, добавлен 17.05.2015Основы применения мультиэвристического подхода для решения задач минимизации недетерминированного конечного автомата (НКА), основанного на сочетании комбинаторных и эвристических методов оптимизации. Применение НКА для моделирования дискретных объектов.
статья, добавлен 29.06.2016Основные принципы микропрограммного управления, понятие операционного и управляющих автоматов. Сущность и функции операционных элементов. Синтез микропрограммных автоматов по граф-схеме алгоритма. Алгоритмы и структурный синтез автоматов Мили и Мура.
курсовая работа, добавлен 09.09.2010Классификация основных устройств ЭВМ по функциональному назначению. Разработка управляющего автомата с жесткой логикой на базе логических элементов и элементов памяти. Структурная схема автомата с программируемой логикой, порядок следования микрокоманд.
курсовая работа, добавлен 14.09.2011Виды автоматов и содержание соответствующей теории, общая схема и базовые модели. Класс явно-минимальных и сократимых автоматов, их сравнительное описание и функциональные особенности, эквивалентные состояния и свойства. Результат работы программы.
курсовая работа, добавлен 10.03.2018Система цифровых автоматов, их класификация. Способы задания автоматов. Применение вероятностных автоматов. Случайные величины и их распределения. Предмет теории вероятностей. Виды дискретных распределений и структура программы.
дипломная работа, добавлен 02.10.2015Разработка управляющего автомата специализированного операционного устройства. Микропрограмма как алгоритм выполнения операций, записанные в виде микроопераций и логических условий. Структурный синтез и результаты кодирования состояний автомата Мили.
курсовая работа, добавлен 20.02.2013Последовательность синтеза автоматов с памятью. Составление кодированной таблицы переходов и выходов. Построение функциональной схемы автомата и правильность ее работы. Использование графических и аналитических методов минимизации логических функций.
контрольная работа, добавлен 01.07.2015Система цифровых автоматов: основные понятия и определения, классификация, способы задания. Структурная схема конечного автомата. Основные формулы комбинаторики. Предмет теории вероятностей. Дискретные распределения. Реализация вероятностного автомата.
дипломная работа, добавлен 05.11.2015Рассмотрение исходных таблиц поведения автомата. Характеристика графа автомата. Особенности кодирования данных. Построение системы булевых функций для JK-триггеров. Основные принципы построения функции выхода. Реализация логической схемы автомата в EWB.
реферат, добавлен 26.05.2015Программная реализация алгоритма. Обработка текста с применением конечно-автоматной модели. Конечно-автоматная модель алгоритма решения задачи. Блок-схема алгоритма программы. Разработка функциональных кнопок для различных действий на языке Visual Basic.
контрольная работа, добавлен 24.03.2016Алгоритм умножения с ускорением. Разработка содержательной граф-схемы. Построение графов автоматов Мили и Мура. Получение логических выражений для функций возбуждения счетчика. Построение функциональной схемы управляющего микропрограммного автомата.
курсовая работа, добавлен 27.08.2012Анализ нового метода построения конечных автоматов, основанного на сведении этой задачи к поиску на графе и применении муравьиного алгоритма нового типа для поиска решений в этом графе. Анализ его эффективности по сравнению с генетическим алгоритмом.
статья, добавлен 15.01.2019Применение генетического программирования для генерации автоматов. Модификации эволюционных алгоритмов. Представление функции переходов автомата с помощью деревьев разбора. Определение значения функции по значениям переменных. Порождение дерева решений.
статья, добавлен 18.01.2018Сущность, способы задания и специфика работы конечного автомата. Построение и программное моделирование работы конечного распознавателя. Граф детерминированного автомата. Блок-схема работы программы. Примеры разбора строк при помощи распознавателя.
курсовая работа, добавлен 03.05.2015Разработка структурной схемы и микропрограммы операционного устройства. Интерпретация микропрограммы в графы автоматов Мили и Мура. Выбор автомата по заданному критерию, синтез устройства управления по графу. Построение временной диаграммы работы.
курсовая работа, добавлен 08.06.2014Примеры применения операций над автоматами. Методы нахождения объединения, пересечения, произведения и суммы автоматов. Составление автоматной таблицы и матрицы соединений по отображениям. Синтез комбинационного автомата, реализующего булеву формулу.
лабораторная работа, добавлен 06.02.2019Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Основные подходы к построению математических моделей процессов функционирования реальной системы. Применение схем детерминированных вероятностных автоматов для разработки методов проектирования дискретных систем. Математическое понятие Р-автомата.
контрольная работа, добавлен 08.11.2012Характеристика организации и построения CASE-средств разработки информационных управляющих систем. Процесс проектирования распределенной базы данных информационных управляющих систем. требования к реализации CASE-системы разработки управляющих систем.
статья, добавлен 19.06.2018Общая характеристика автомата для поиска подстрок, знакомство с основными возможностями и преимуществами. Особенности применения построенного автомата, предназначенного для поиска абзаца в тексте, анализ примеров. Рассмотрение методов поиска полстроки.
контрольная работа, добавлен 14.05.2013Рассмотрение общих вопросов функционирования операционных автоматов. Изучение схемы и принципов работы устройств управления с программируемой логикой. Проектирование и тестирование операционного устройства и управляющего автомата процессорного модуля.
курсовая работа, добавлен 21.06.2011Рассмотрение теоретических основ построения автоматизированных систем управления. Характеристика интегрированных систем проектирования и управления. Исследование основных системных методов проектирования информационно-управляющих систем автоматизации.
учебное пособие, добавлен 12.08.2015Анализ основных положений теории стандартизации функций выделенных управляющих систем. Формулирование исходных посылок построения современных средств информационного обмена, обоснование путей профилирования и разработка структуры решения данной проблемы.
статья, добавлен 22.08.2020