7 Синтез управляющих автоматов. — 3-е изд., пе-рераб. и доп.—М.: Энергоатомиздат, 1989.—328 с.: ил.
ISBN 5-283-01494-0
Изложены методы синтеза дискретных автоматов и систем на основе наиболее распространенных формализованных языков. Особое внимание уделено процессам управления как исходных условий для задания алгоритмов функционирования управляющих автоматов. Рассмотрены разновидности процессов управления и принципы их реализации на основе различных моделей автоматов и сетей. По сравнению с изданием 1978 г. материал обновлен за счет результатов, полученных на основе сетей Петри, Е-сетей, секвенций и др.
Для инженерно-технических работников, занимающихся разработкой дискретных управляющих устройств и систем.
ПРЕДИСЛОВИЕ
Третье издание книги готовилось в условиях развития новых тенденций в прикладной теории автоматов, вызванных широким распространением управляющих систем, построенных на основе устройств вычислительной техники.
Теория автоматов, позволяющая облегчить и ускорить процесс создания автомата, намного уменьшить вероятность ошибки в его конструкции и т. п., зарождалась в тот период развития техники, когда основным принципом реализации автоматов был аппаратурный. Поэтому в теории автоматов основное внимание уделялось методам синтеза структуры автоматов в том или ином элементном базисе. Использование в качестве управляющих устройств (УУ) ЭВМ, в частности микроЭВМ и микропроцессоров (МП), привело к тому, что наряду с аппаратурной широкое распространение получила и программная реализация алгоритма функционирования УУ. В последнее время все чаще появляются работы, в которых развиваются методы синтеза программно-аппаратурной реализации УУ, когда одна часть алгоритма функционирования УУ реализуется программно, а вторая — аппаратурно. Кроме того, создание схем со сверхбольшой степенью интеграции (СБИС) позволило практически осуществить идею однородных сред, на,«базе которых возможно создание аппаратурной реализации алгоритма функционирования УУ, а значит, и обеспечение максимального быстродействия УУ с возможностью изменения его структуры (перенастройки, перепрограммирования). Заметим при этом, что с появлением СБИС стало возможным создание однородных (матричных) сред, ячейками которых служат микропроцессоры.
Авторы попытались учесть эти тенденции развития теории автоматов и ее практического применения при создании УУ и систем в современном базисе, однако основное внимание сосредоточили на базисных положениях ставшей уже практически классической теории автоматов и изложили их с учетом результатов, полученных после выхода в свет второго издания. В книге приведено понятие процесса управления, в частности параллельного процесса, как основополагающего понятия современной теории автоматов. При этом процесс управления рассматривается в качестве исходного условия для задания алгоритма функционирования управляющего автомата. Прин-
ОГЛАВЛЕНИЕ
Предисловие..........•....... з
Введение........•'...'......! 5
ЧАСТЬ ПЕРВАЯ. ПРОЦЕССЫ УПРАВЛЕНИЯ
Глава 1. Задание условий работы автомата в виде процесса управления ................. 16
1.1. Понятие о технологическом и управляющем процессах ... 16
1.2.' Разновидности процессов........... 19
1.3. Конкуренция процессов и этапы формирования управляющего
алгоритма................ 23
Глава 2. Описание и преобразование управляющих процессов ... 25
2.1. Сети Петри и их модификация......... 25
2.2. Управляющие процессы и их формализованное описание . . 32
2.3. Обобщенная сеть Петри для описания неавтономного управляющего процесса............. . . 43
2.4. Получение правильного управляющего процесса . . . . 48
2.4.1. Граф достижимых маркировок сети Петри .... 48
2.4.2. Влияние структуры процесса на наличие тупиковых состояний .................. 50
2.4.3. Тупиковые состояния, вызываемые разделением функциональных ресурсов......'....... 54
Глава 3. Управляющие алгоритмы и языки их описания ... 59
3.1. Последовательный управляющий алгоритм и его свойства . . 59
3.1.1. Логические схемы алгоритмов........ 60
3.1.2. Матричные схемы алгоритмов и их связь с логическими схемами. Понятие о граф-схемах......... 64
3.2. Преобразование логических схем алгоритмов..... 67
3.2.1. Минимизация числа логических -условий •..... 67
3.2.2. Учет распределения сдвигов при минимизации ЛСА . . 71
3.3. Объединение ЛСА............ 75
3.4. Описание параллельных управляющих алгоритмов .... 84
3.5. Переход от правильного управляющего процесса к управляющему алгоритму............... 88
Глава 4. Реализация управляющего алгоритма ....... 97
4.1. Принципы реализации параллельного управляющего алгоритма 97
4.2. Многопрограммное управление......... 107
4.3. Преобразование управляющего алгоритма при его реализации
в многопрограммном УА............. П2
4.4. Программно-аппаратурная реализация управляющего алгоритма 117
ЧАСТЬ ВТОРАЯ. МЕТОДЫ СИНТЕЗА УПРАВЛЯЮЩИХ АВТОМАТОВ
Глава 5. Модели управляющих автоматов и языки их описания . . 120
5.1. Классы и модели автоматов.......... 120
5.2. Автоматные языки . .........'. .127
5.2.1. Таблицы переходов........... 129
5.2.2. Матрицы переходов........... 134
5.3. Импульсный автомат............ 135
5.3.1. Определение модели импульсного автомата .... 139
5.3.2. Модифицированные таблицы переходов ..... 143
327
5.4. Микропрограммный автомат.......... 147
5.5. Задание микропрограммных автоматов логическими схемами алгоритмов ....... !.,..,,,. 151
5.6. Особенности записи ЛСА при асинхронном режиме работы управляющего автомата ........... 157
5.7. Понятие об алгоритмическом автомате....... 161
5.8. Особенности задания алгоритма функционирования автоматизированной системы управления.......... 1Q2
5.9. Этапы синтеза автоматов........... 169
Глава 6. Минимизация числа внутренних состояний конечных автоматов................. 174
6.1. Задачи минимизации числа внутренних состояний .... 174
6.2. Минимизация числа внутренних состояний асинхронного автомата .................. 177
6.3. Метод минимизации числа внутренних состояний недоопределенных асинхронных автоматов ......... 191
6.4. Минимизация числа внутренних состояний синхронных автоматов 197
6.5. Особенность минимизации числа внутренних состояний микропрограммного автомата............. 205
Глава 7. Кодирование автомата и его канонические уравнения . . 205
7.1.. Основные задачи кодирования конечного автомата .... 205
7.2. Устранение критических состязаний элементов памяти при наибольшем быстродействии автомата . ,...... . 214
7.3. Получение канонических уравнений асинхронного автомата 224 Глава 8. Упрощение логической схемы автомата на этапе кодирования 236
8.1. Кодирование внутренних состояний автомата с учетом просто-
ты его структуры . . '............ 236
8.2. Обеспечение устойчивой работы автомата с одновременным •• упрощением его структуры............ ' 246
8.3. Кодирование внутренних состояний с преобразованием таблицы переходов автомата............. 257
Глава 9. Синтез микропрограммного автомата....... 269
9.1. Переход от формализованного описания к структурной схеме автомата................ 269
9.2. Формирование микрокоманд по ЛСА....... ,276^
9.3. Формирование микрокоманд для параллельного алгоритма . . 287
9.4. Кодирование внутренних состояний микропрограммного автомата................ ^
Глава 10. Блочный синтез управляющих автоматов..... ^|*
10.1. Общие положения............ ^'*
10.2. Метод декомпозиции алгоритмического автомата .... 315 Список литературы...........• 320
Цена: 150руб.
