Введение в теорию автоматов

Синтез и детерминизация, алгоритм минимизации автоматов–распознавателей. Машина Тьюринга как универсальный тип абстрактного преобразователя. Моделирование систем и событий с помощью сетей Петри. Методы синтеза структурных автоматов на базе триггеров.

Подобные документы

  • Сущность сортировки данных, ее особенности, оценка времени исполнения. Порядок представления множеств на компьютере, в программах и приложениях Delphi. Исследование логических функций и методы их минимизации. Моделирование работы узлов с помощью Excel.

    учебное пособие, добавлен 29.04.2009

  • Этапы развития моделирования явлений, процессов, объектов, устройств и систем. Примеры математического, имитационного и физического построения. Воспроизведение транспортных систем городов с помощью программы для визуализации транспортной схемы VISUM.

    реферат, добавлен 16.12.2010

  • Определение функциональных характеристик систем массового обслуживания (СМО) на основе имитационного моделирования; синтез СМО с заданными характеристиками. Разработка программы на языке SIMNET II; расчет процесса работы СМО; подбор требуемого параметра.

    лабораторная работа, добавлен 11.03.2011

  • Структурно-информационный анализ методов моделирования динамических систем. Математическое моделирование. Численные методы решения систем дифференциальных уравнений. Разработка структуры програмного комплекса для анализа динамики механических систем.

    дипломная работа, добавлен 14.05.2010

  • Совершенствование процессов обмена информацией между физическими и юридическими лицами в помощью сетей Internet и Intranet. История развития геоинформационных систем. Обработка кадастровой информации: анализ данных и моделирование, визуализация данных.

    реферат, добавлен 22.05.2015

  • Технологический процесс изготовления детали "вал вторичный". Разработка алгоритма системы управления гибким автоматизированным комплексом обработки детали, обеспечивающего однозначность условий формирования управляющих команд. Проектирование сети Петри.

    курсовая работа, добавлен 06.11.2013

  • Классификация аналитических моделей. Дискретные, линейные, нелинейные и непрерывные модели. Методы синтеза регуляторов. Требования к проектируемой системе управления. Оценка состояния и синтез наблюдателя. Синтез системы в пространстве состояний.

    курс лекций, добавлен 28.01.2015

  • Использование компьютерных сетей для передачи данных. Основные преимущества использования корпоративных сетей, защищенных от доступа извне физически или при помощи аппаратно программных средств сетевой защиты. Сетевой экран и алгоритмы шифрования.

    дипломная работа, добавлен 25.09.2014

  • Анализ робототехнических систем. Принципы компьютерного моделирования. Классификация компьютерных моделей по типу математической схемы. Моделирование пространства и объектов рабочей области с помощью визуальной среды Visual Simulation Environment.

    дипломная работа, добавлен 08.06.2014

  • Построение модели системы обслуживания в банке. Описание блоков Vxod, tip klienta, Vyxod. Календарь событий и дополнительные методы развития концепций. Этап проведения компьютерного эксперимента с моделью. Рассмотрение структуры файлов результатов.

    курсовая работа, добавлен 09.04.2012

  • Теоретические ведомости о концептуальном моделировании информационной базы системы комплексного анализа бизнеса и разработка механизмов ее реализации в среде открытых прикладных оболочек. Создание блок-схемы и алгоритма решения задачи на машинном языке.

    задача, добавлен 09.02.2011

  • Методы количественного и качественного оценивания систем, моделирование и разработка концептуальной модели, показатели пропускной способности, достоверности передачи данных. Интеграция систем ситуационного, имитационного и экспертного моделирования.

    курсовая работа, добавлен 24.06.2010

  • Исследование элементов на транзисторно-транзисторной логике. Логическая схема одноразрядного и полного сумматора. Оптимизация функции с помощью карты Карно. Синтез двухразрядного компаратора и проверка его работы. Моделирование преобразователей кодов.

    контрольная работа, добавлен 27.03.2016

  • Методы решения задачи синтеза системы управления динамическим объектом. Сравнительная характеристика параметрического и структурно-параметрического синтеза. Схема процесса символьной регрессии. Принцип действия метода аналитического программирования.

    дипломная работа, добавлен 23.09.2013

  • Исследование функционирования распределенного банка данных, организованного на базе двух ЭВМ на языке GPSS, анализ системы с помощью метода имитационного моделирования. Несколько вариантов оптимизации модели, критерии выбора наиболее эффективного из них.

    курсовая работа, добавлен 22.06.2011

  • Составление структурной схемы замкнутой астатической системы автоматического управления. Определение минимальной установившейся ошибки, построение области устойчивости и моделирование в программе MatLab. Компенсация действия неконтролируемых возмущений.

    курсовая работа, добавлен 15.02.2011

  • Создание компьютерных сетей с помощью сетевого оборудования и специального программного обеспечения. Назначение всех видов компьютерных сетей. Эволюция сетей. Отличия локальных сетей от глобальных. Тенденция к сближению локальных и глобальных сетей.

    презентация, добавлен 04.05.2012

  • Практические навыки моделирования структурных схем в среде SIMULINK пакета MATLAB. Построение графиков функций в декартовой системе координат. Решение систем линейных и нелинейных уравнений. Работа с блоками Sum, Algebraic Constraint, Gain, Product.

    лабораторная работа, добавлен 19.04.2009

  • Моделирование деталей привода поршневого пневматического при помощи универсального графического пакета AutoCAD: модели стандартных деталей, их твёрдотельная сборка и вид в разрезе. Графическое проектирование сборки деталей. Алгоритм создания корпуса.

    курсовая работа, добавлен 25.09.2010

  • Определение характеристик входного воздействия во временной и частотной области. Синтез системы временным и частотным методами. Переход от частотного коэффициента передачи к передаточной функции. Оценка степени подавления помех и эффективности работы.

    курсовая работа, добавлен 23.04.2013

  • Введение в Rose. Создание управляемого элемента. Варианты использования и действующие лица. Выполнение лабораторной работы. Присвоение имен вариантам использования. Создание абстрактного действующего лица. Спецификация объекта. Кооперативная диаграмма.

    учебное пособие, добавлен 09.03.2013

  • Характеристика цифровой векторной однозонной системы управления с асинхронным электроприводом и ориентацией поля ротора. Анализ широтно-импульсного преобразователя частоты. Сущность синтеза скольжения потокосцепления. Алгоритм регуляторов тока статора.

    курсовая работа, добавлен 25.03.2015

  • Сущность, понятие и назначение квантового комп’ютера; его использование для вычисления процессов квантовой природы. Физические системы, реализующие кубиты. Упрощённая схема вычисления на квантовом компьютере. Тезис Черча-Тьюринга. Алгоритм Deutsch-Josza.

    реферат, добавлен 10.11.2014

  • Общие понятия и классификация локальных систем управления. Математические модели объекта управления ЛСУ. Методы линеаризации нелинейных уравнений объектов управления. Порядок синтеза ЛСУ. Переходные процессы с помощью импульсных переходных функций.

    курс лекций, добавлен 09.03.2012

  • Процесс функционирования системы массового обслуживания (СМО) на примере конвейера по изготовлению шестерен. Моделирование СМО на ЭВМ с помощью специализированного языка моделирования систем общего назначения GPSS. Улучшение показателей эффективности СМО.

    курсовая работа, добавлен 23.06.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.