Применение теории конечных автоматов в разработке программных систем
Детерминированное поведение, однозначные результаты тестирования и простая диагностика - основные преимущества при использовании программ на основе теории конечных автоматов. Характеристика структурной модели для программной реализации автомата Мура.
Подобные документы
Подход, основанный на использовании для генерации псевдослучайных ключевых последовательностей математического аппарата. Конструкция генератора псевдослучайных ключевых последовательностей на основе клеточных автоматов и алгебраических конструкций.
статья, добавлен 30.07.2016Исследование проблемы использования адаптивных автономных сценариев в решении задач управления информационными ресурсами вычислительных систем. Разработка модели адаптивного автономного сценария с использованием фреймов и аппарата конечных автоматов.
статья, добавлен 30.05.2017Характеристика метода многокритериального программно-корректируемого управления. Суть применения генетического программирования, конечных автоматов и искусственных нейронных сетей для построения системы подчинения беспилотным летательным аппаратом.
дипломная работа, добавлен 23.02.2015Последовательность синтеза автоматов с памятью. Составление кодированной таблицы переходов и выходов. Построение функциональной схемы автомата и правильность ее работы. Использование графических и аналитических методов минимизации логических функций.
контрольная работа, добавлен 01.07.2015Основы математической логики. Особенность комбинационных схем и конечных автоматов. Характеристика одноразрядного двоичного сумматора и дешифратора. Основные типы электронных цифровых элементов памяти. Анализ параллельных и последовательных регистров.
контрольная работа, добавлен 27.06.2015Алгоритм умножения с ускорением. Разработка содержательной граф-схемы. Построение графов автоматов Мили и Мура. Получение логических выражений для функций возбуждения счетчика. Построение функциональной схемы управляющего микропрограммного автомата.
курсовая работа, добавлен 27.08.2012Разработка структурной и инфологической модели. Идентификация аппаратных и информационных ресурсов. Перечень угроз и их описание на основе стандарта ISO/IEC PDTR 13335. Политика информационной безопасности по разработке и реализации программных средств.
курсовая работа, добавлен 15.11.2009Применение генетического программирования для генерации автоматов. Модификации эволюционных алгоритмов. Представление функции переходов автомата с помощью деревьев разбора. Определение значения функции по значениям переменных. Порождение дерева решений.
статья, добавлен 18.01.2018Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Разработка управляющего автомата специализированного операционного устройства. Микропрограмма как алгоритм выполнения операций, записанные в виде микроопераций и логических условий. Структурный синтез и результаты кодирования состояний автомата Мили.
курсовая работа, добавлен 20.02.2013Приложение, вычисляющее константы в модели механического поведения резины на основе экспериментальных данных, получаемых на разрывной машине. Функциональный интерфейс приложения и основные классы, методы и функции для реализации шагов алгоритма.
статья, добавлен 26.04.2019Исследование процесса создания и результатов работы программной реализации имитационной модели образовательного процесса с автоматической генерацией тестов на основе динамических параметров. Распределение очередей заявок по обслуживающим устройствам.
статья, добавлен 04.12.2018Характеристика корпоративных информационных систем. Классификация информационных систем. Области применения и примеры реализации информационных систем. Основные понятия теории систем. Качественные и количественные модели. Основные задачи теории систем.
курс лекций, добавлен 10.02.2020Рассмотрение проблемы самоадаптации программных систем. Сравнительная классификация подходов к программной адаптации и основные способы реализации адаптивных механизмов. Особенности применения функциональных комбинаторов и аппарата комбинаторной логики.
статья, добавлен 14.02.2022Характеристика модификации и обучения клеточно-автоматной прогнозной модели. Проведение исследования модифицированной системы проектов и методов прогнозирования временных рядов с памятью на базе теории нечетких множеств и линейных клеточных автоматов.
статья, добавлен 15.05.2017Понятие однонаправленной функции и конечных автоматов. Отношение размера памяти с входной - выходной последовательностью. Возможности построение однонаправленной функции с "секретом". Оценка количества операций при криптоанализе асинхронного алгоритма.
статья, добавлен 15.09.2012Характеристика способов задания языков грамматиками, распознающими автоматами. Особенности построения модели конечного автомата, распознающего заданный язык, и разработка его программной реализации. Процедура построения детерминированного автомата.
курсовая работа, добавлен 02.12.2013Особенность создания программной библиотеки конечных полей для дальнейшего использования в качестве алгебраической структуры для ассиметричных схем шифрования на языке Java. Основная характеристика представленной UML схемы программного комплекса.
статья, добавлен 26.06.2018Дослідження основних особливостей елементного базису програмувальних логічних інтегральних схем. Створення модифікованих структур і методів синтезу автомата Мура. Характеристика алгоритму вибору моделі автомата Мура з найменшими витратами апаратури.
автореферат, добавлен 18.07.2015Рассмотрение формальных моделей распределенных систем. Обзор ресурсно-управляемой сети временных автоматов. Обоснование выбора программных и аппаратных средств. Соответствие графической визуализации текущего состояния модели ее структурному представлению.
дипломная работа, добавлен 07.03.2016Рассмотрение различных способов и методов противодействия угрозам информации. Разработка и применение модели конечных состояний Белла и Ла-Падулы и решетчатой модели Д. Деннинга. Особенности разработки и реализации мандатной модели управления доступом.
статья, добавлен 22.03.2019Разработка структурной схемы операционного устройства для сложения чисел в коде (8-4-2-1)+3, элементы микропрограммы. Блок-схема функционирования контролера. Интерпретация микропрограммы в графы автоматов Мура и Мили. Построение временных диаграмм.
курсовая работа, добавлен 12.06.2014Применение генераторов псевдослучайных чисел в сферах науки. Рассмотрение генерации случайных чисел на основе клеточного автомата, правила поведения которого определяются игрой "Жизнь". Исследование линейно-конгруэнтного метода генерации случайных чисел.
статья, добавлен 25.01.2022Изучение решения задач идентификации с использованием выражений алгебры событий и недетерминированных автоматов. Методика проектирования параллельных алгоритмов. Выбор модели программной и аппаратной реализации вычислений элементарных задач анализа.
учебное пособие, добавлен 13.01.2014