Что такое совмещённая модель автоматов

Разберёмся, что такое совмещённая модель автоматов в современной теории управляющих систем и схемотехнике. Совмещённая модель автоматов представляет собой абстрактную математическую систему, объединяющую функциональные возможности классических моделей Мили и Мура. Часть выходных сигналов в ней определяется исключительно текущим внутренним состоянием, а другая часть зависит как от состояния, так и от текущих входных воздействий. Это позволяет эффективно распределять логические функции, сокращать общее число состояний и существенно минимизировать аппаратные затраты.

$Y(t) = \lambda(S(t), X(t))$

Разбор по случаям

Примеры

Проектирование управляющего автомата. Рассмотрим синтез микропрограммного устройства управления процессором. В этой системе критичные к гонкам сигналы формируются по схеме Мура как $Y_1(t) = \lambda_1(S(t))$, обеспечивая высокое качество и стабильность работы.

Быстрые импульсы реагирования строятся по логике Мили $Y_2(t) = \lambda_2(S(t), X(t))$, что позволяет снизить задержку ответа.

В результате совмещённая модель автоматов позволяет уменьшить количество внутренних состояний с $N = 8$ до $N = 4$.

Анализ светофорного контроллера. Для интеллектуального светофорного контроллера совмещённая модель автоматов разделяет формируемые выходы на две логические группы. Основное переключение фаз движения выполняется по схеме Мура $Y_1(t) = \lambda_1(S(t))$, обеспечивая строгое соблюдение временных интервалов.

Сигналы приоритетного проезда спецтранспорта генерируются функцией Мили $Y_2(t) = \lambda_2(S(t), X(t))$ сразу при поступлении датчика $X_1$.

Это предотвращает разрастание графа переходов и заметно упрощает интегральную схему.

Частые ошибки

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

Коротко

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