- Артикул:00-01100639
- Автор: Лазарев В. Г., Пийль Е.И.
- ISBN: 5-283-01494-0
- Тираж: 5750 экз.
- Обложка: Твердая обложка
- Издательство: Энергоатомиздат (все книги издательства)
- Город: Москва
- Страниц: 328
- Формат: 60х88 1/16
- Год: 1989
- Вес: 544 г
Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей автоматов и сетей. По сравнению с изданием 1978 г. материал обновлен за счет результатов, полученных на основе сетей Петри, Е-сетей, секвенций и др.
Для инженерно-технических работников, занимающихся разработкой дискретных управляющих устройств и систем.
Содержание
Предисловие
Введение
Часть первая. Процессы управления
Глава 1. Задание условий работы автомата в виде процесса управления
1.1. Понятие о технологическом и управляющем процессах
1.2. Разновидности процессов
1.3. Конкуренция процессов и этапы формирования управляющего алгоритма
Глава 2. Описание и преобразование управляющих процессов
2.1. Сети Петри и их модификация
2.2. Управляющие процессы и их формализованное описание
2.3. Обобщенная сеть Петри для описания неавтономного управляющего процесса
2.4. Получение правильного управляющего процесса
2.4.1. Граф достижимых маркировок сети Петри
2.4.2. Влияние структуры процесса на наличие тупиковых состояний
2.4.3. Тупиковые состояния, вызываемые разделением функциональных ресурсов
Глава 3. Управляющие алгоритмы и языки их описания
3.1. Последовательный управляющий алгоритм и его свойства
3.1.1. Логические схемы алгоритмов
3.1.2. Матричные схемы алгоритмов и их связь с логическими схемами. Понятие о граф-схемах
3.2. Преобразование логических схем алгоритмов
3.2.1. Минимизация числа логических условий
3.2.2. Учет распределения сдвигов при минимизации ЛСА
3.3. Объединение ЛСА
3.4. Описание параллельных управляющих алгоритмов
3.5. Переход от правильного управляющего процесса к управляющему алгоритму
Глава 4. Реализация управляющего алгоритма
4.1. Принципы реализации параллельного управляющего алгоритма
4.2. Многопрограммное управление
4.3. Преобразование управляющего алгоритма при его реализации в многопрограммном УА
4.4. Программно-аппаратурная реализация управляющего алгоритма
Часть вторая. Методы синтеза управляющих автоматов
Глава 5. Модели управляющих автоматов и языки их описания
5.1. Классы и модели автоматов
5.2. Автоматные языки
5.2.1. Таблицы переходов
5.2.2. Матрицы переходов
5.3. Импульсный автомат
5.3.1. Определение модели импульсного автомата
5.3.2. Модифицированные таблицы переходов
54. Микропрограммный автомат
5.5. Задание микропрограммных автоматов логическими схемами алгоритмов
5.6. Особенности записи ЛСА при асинхронном режиме работы управляющего автомата
5.7. Понятие об алгоритмическом автомате
5.8. Особенности задания алгоритма функционирования автоматизированной системы управления
5.9. Этапы синтеза автоматов
Глава 6. Минимизация числа внутренних состояний конечных автоматов
6.1. Задачи минимизации числа внутренних состояний
6.2. Минимизация числа внутренних состояний асинхронного автомата
6.3. Метод минимизации числа внутренних состояний недоопределенных асинхронных автоматов
6.4. Минимизация числа внутренних состояний синхронных автоматов
6.5. Особенность минимизации числа внутренних состояний микропрограммного автомата
Глава 7. Кодирование автомата и его канонические уравнения
7.1. Основные задачи кодирования конечного автомата
7.2. Устранение критических состязаний «элементов памяти при наибольшем быстродействии автомата
7.3. Получение канонических уравнений асинхронного автомата
Глава 8. Упрощение логической схемы автомата на этапе кодирования
8.1. Кодирование внутренних состояний автомата с учетом простоты его структуры
8.2. Обеспечение устойчивой работы автомата с одновременным упрощением его структуры
8.3. Кодирование внутренних состояний с преобразованием таблицы переходов автомата
Глава 9. Синтез микропрограммного автомата
9.1. Переход от формализованного описания к структурной схеме автомата
9.2. Формирование микрокоманд по ЛСА
9.3. Формирование микрокоманд для параллельного алгоритма
9.4. Кодирование внутренних состояний микропрограммного автомата
Глава 10. Блочный синтез управляющих автоматов
10.1. Общие положения
10.2. Метод декомпозиции алгоритмического автомата
Список литературы
Артикул 00204639