SoftCraft
разноликое программирование

Top.Mail.Ru

Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие

©2006 В.Е. Зюбин

Пособие в формате pdf (~940 кб)

Аннотация

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

Содержание

Введение

1. Конечный автомат
1.1. Исторические предпосылки создания модели конечного автомата
1.2. Математическая модель абстрактного автомата
1.3. Необходимые пояснения к понятию «конечный автомат»
1.4. Автоматы Мили и Мура. Способы задания автоматов

2. Специфика задач промышленной автоматизации

3. Гиперавтомат
3.1. Процесс и событийный полиморфизм
3.2. Функция-состояние. События и реакция на событие
3.3. Математическая модель гиперпроцесса (гиперавтомата)

4. Реализация гиперавтомата
4.1. Логический параллелизм
4.2.Использование процедурных языков
4.3. Языки стандарта МЭК 61131-3 и возможные альтернативы

5. Язык Рефлекс
5.1. Концептуальная основа языка Рефлекс
5.2. Тело программы. Константы. Функции. Привязка к интерфейсной аппаратуре
5.3. Процессы. Описание переменных
5.4. Описание функций-состояний процесса
5.5. Процессы. Свойства структурности и абстрактности

6. Типовые задачи промышленной автоматизации
6.1. Логическое управление
6.2. Паузы, задержки, тайм-ауты
6.3. Параллелизм
6.4. Сложные алгоритмы
6.5. Верификация и моделирование

Библиографический список включает 7 наименований