- •© Иркутский государственный университет
- •Сокращения
- •Введение
- •Глава 1 базовые понятия и конструкции систем управления дискретной автоматики
- •1.1. Переменные и функции алгебры логики
- •1.2. Двоичные коды переменных
- •Запишем аналитическое выражение для y1 в виде логической суммы (дизъюнкции) конъюнкций тех переменных, которые определяют единичное значение булевой функции:
- •1.3. Логические функции одной и двух переменных
- •1.4. Одноразрядный сумматор двух переменных
- •1.5. Дешифратор и шифратор двоичного позиционного кода
- •1.6. Цифровой и аналоговый мультиплексоры
- •1.7. Основные понятия минимизации булевых функций
- •1.8. Структурный синтез самодиагностируемых обратимых функциональных преобразователей информации
- •1.9. Дискретные преобразователи информации
- •Глава 2 системы управления дискретной автоматики
- •2.1. Операционные автоматы
- •2.2. Базовые модели систем управления
- •Окончание рис. 32
- •Системная модель преобразования информации
- •Расширение двухблоковой модели системы
- •2.3. Организация связей в информационно-управляющих системах
- •2.4. Проектирование преобразователей информации
- •2.5. Операторные схемы алгоритмов систем управления
- •Глава 3 конечные автоматы систем управления
- •3.1. Абстрактный синтез автоматов
- •3.2. Структурный синтез автоматов
- •3.2.1. Организация памяти автоматов
- •3.3. Структурная схема автомата Мура
- •3.4. Функциональная реализация автоматов управления
- •3.4.1. Функциональная подсистема автомата
- •3.4.2. Адресная подсистема автомата
- •3.4.3. Реализация автоматов управления на программируемых логических интегральных схемах
- •3.5. Синтез быстродействующих автоматов
- •Глава 4 системы автоматов управления
- •4.1. Декомпозиция автоматов
- •4.2. Автоматы с объединенными операторами
- •4.3. Синтез многорежимных автоматов
- •4.3.1. Многопрограммные формирователи временных интервалов
- •4.3.2. Режим реализации нескольких последовательностей временных интервалов (от 8 до 64)
- •Режим реализации
- •4.4. Синтез автоматов по декомпозированной схеме алгоритма
- •4.5. Управление взаимосвязанными процессами
- •Глава 5 сложные автоматы систем реального времени
- •5.1. Структурная организация сложных автоматов
- •5.2. Контроль автоматов управления в системах реального времени
- •5.3. Моделирование автоматов управления
- •5.4. Управление спецпроцессором функционального контроля пзу
- •5.5. Система управления коммутаций сигналов
- •Основная литература
- •Дополнительная литература
Глава 4 системы автоматов управления
В системах управления реализуется обычно не один, а несколько алгоритмов управления. Это не значит, что для каждого алгоритма будет создаваться свой автомат. Существуют способы создания комплексных систем управления. Одним из таких способов является так называемый метод композиции автоматов, т.е. создания единого автомата для всех алгоритмов. Причем процедура композиции может осуществляться на алгоритмическом уровне, т.е. сразу создается комплексный алгоритм, по которому по общим правилам проектируется МПА. Второй путь композиции осуществляется на «автоматном» уровне, т.е. сначала получают графы автоматов, а затем создают комплексный граф переходов. Существует и противоположная операция – декомпозиция, т.е. деление сложного алгоритма или графа переходов на части по заданному критерию. Таким критерием может быть, например, максимальное число состояний в декомпозицируемых частях автомата.
4.1. Декомпозиция автоматов
Реальный МПА выполняет законченную функцию управления операционным устройством (управление движением, контролем, декодированием и др.) даже при 10–15 состояниях. Для управления объектами, состоящими из нескольких устройств, используются более сложные автоматы.
В ряде случаев сложные автоматы можно разделить (декомпозировать) на несколько взаимодействующих автоматов. И если число состояний в МПА1, МПА2, МПАЗ определяется показателями степени числа 2, равными ml, m2, m3, то общее число состояний трех взаимодействующих автоматов составит
.
Если М1 = М2 = МЗ = 3, то М = 512, т.е. три взаимодействующих автомата по 8 состояний каждый эквивалентны одному сложному автомату с 512 состояниями. При m = 4, M = 212 = 4096.
Выделение счетчика в качестве памяти МПА – это и есть один из вариантов декомпозиции автоматов. Другим вариантом является система формирования синхросигналов в полисинхронном автомате, т.е. в автомате, использующем несколько сигналов синхронизации с разными периодами следования во времени.
В этом случае система подключения в нужное время синхротактов с другим периодом следования является самостоятельным автоматом.
Декомпозиция автоматов основана на разложении графа переходов автомата в частичное декартово произведение более простых графов [7].
Рассмотрим
граф переходов автомата Мура, состояния
которого соответствуют выходным
сигналам. Для автоматов графы переходов
– 2-инцидентные графы, т.к. из любой
вершины возможны лишь две исходящие
дуги (по условию αi
и условию
).
Поэтому целесообразно декомпозировать
граф G
на два подграфа Gb
и Gd
в соответствии с проекциями графа G
на перпендикулярные оси B
и D
(рис. 71). Проекция на ось В
соответствует автомату на счетчике или
на регистре сдвига с обратными связями.
Проекция на ось D
– специальный автомат, но в нем небольшое
число состояний, следовательно,
он окажется простым при реализации как
схем F1
и F2,
так и блока памяти с унитарным кодированием.
Для
пояснения принципа
Рис. 71
Рис. 72. Алгоритм управления
декомпозиции сигналы переходов в графе рис. 71 не обозначены, т.к. они не имеют принципиального значения для уяснения существа дела.
Предлагаемый
метод декомпозиции за счет «проекции»
на две оси осуществим лишь тогда, когда
в ГСА после каждой функциональной
вершины (
)
возможен переход только к двум другим
и
по условию
или
,
т.е. нет переходов через несколько
логических условий, как в ГСА рис. 72.
Однако в этом случае для такой декомпозиции
алгоритм может быть преобразован за
счет введения после некоторых
или
пустых операторов.
