Обзор машин Мили и Мура

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

$X (n + 1) = f (X (n), u)$

В этом уравнении:

X(n) представляет состояние на временном шаге n.
X(n+1) представляет состояние на следующем временном шаге n+1.
u представляет входные параметры.

Состояние сохраняется от одного временного шага до следующего временного шага.

Семантика машин Мили и Мура

Машины Мили и Мура часто рассматриваются основными парадигмами промышленного стандарта для моделирования конечных автоматов. Можно создать графики, которые реализуют чистый Мучнистый или семантика Мура как подмножество семантики графика Stateflow^®. Можно использовать Мучнистый и графики Мура в симуляции и генерации кода с Embedded Coder^®, Simulink^® Coder™ и программным обеспечением HDL Coder™. Мучнистый и семантика Мура поддерживаются только в диаграммах Stateflow в моделях Simulink.

Семантика диаграмм Мили

Машины Мили являются конечными автоматами, в которых переходы происходят на фронтах синхроимпульса. Выход диаграммы Мили является функцией входных параметров и состояния:

$y = g (X, u)$

На каждом временном шаге, диаграмма Мили просыпается, оценивает ее вход, и затем переходы к новой настройке активных состояний, также названных ее следующим состоянием. График вычисляет свой выход, когда он переходит к следующему состоянию.

Убеждаться, которые выводят, - функция входа и состояния, Мучнистая машина состояний осуществляет их семантика:

Выходные параметры не зависят от следующего состояния.
График вычисляет выходные параметры только в переходах, не в состояниях.
График периодически просыпается на основе системных часов.

Мучнистые машины вычисляют свой выход на переходах. Поэтому диаграммы Мили могут вычислить свой первый выход в то время, когда путь по умолчанию для графика выполняется. Если вы включаете свойству диаграммы Execute (enter) Chart At Initialization для диаграммы Мили, этот расчет происходит в t = 0 (первый временной шаг). В противном случае это происходит в t = 1 (следующий временной шаг). Для получения дополнительной информации смотрите, Выполняются (вводят) график при инициализации.

Семантика графиков Мура

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

$y = g (X)$

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

Убеждаться, которые выводят, - функция только текущего состояния, машина состояний Мура осуществляет их семантика:

Выходные параметры не зависят от входных параметров.
Выходные параметры не зависят от предыдущих выходных параметров.
Выходные параметры не зависят от временной логики.

Машины Мура вычисляют свой выход в состояниях. Поэтому машины Мура могут вычислить выходные параметры только после того, как путь по умолчанию выполнится. До тех пор выходные параметры берут значения по умолчанию.

Создайте мучнистый и графики Мура

То, когда вы создаете диаграмму Stateflow, тип по умолчанию является гибридной моделью конечного автомата, вызвало Классический график. Классические графики комбинируют семантику Мучнистых и графиков Мура с расширенной семантикой диаграммы Stateflow.

Создать диаграмму Мили, в командной строке MATLAB^®, введите:

sfnew -Mealy

Создавать график Мура, в командной строке MATLAB, введите:

sfnew -Moore

В качестве альтернативы после добавления диаграммы Stateflow блокируются к модели Simulink, можно выбрать тип семантики для графика путем установки свойства диаграммы State Machine Type. Для получения дополнительной информации смотрите Тип Конечного автомата.

Преимущества мучнистых и графиков Мура

Мучнистый и графики Мура предлагают эти преимущества перед Классическими диаграммами Stateflow:

Можно проверить, что Мучнистые графики и графики Мура, которые вы создаете, соответствуют своим формальным определениям и семантическим правилам. Сообщения об ошибке появляются во время компиляции (не во время проектирования).
Графики Мура обеспечивают более эффективное внедрение, чем Классические графики для целей HDL и C/C++.
Можно использовать график Мура, чтобы смоделировать обратную связь. В графиках Мура входные параметры не имеют прямого сквозного соединения. Можно спроектировать цикл с обратной связью от выходного порта до входного порта, не вводя алгебраический цикл. Мучнистые и Классические графики имеют прямое сквозное соединение и производят ошибку в присутствии алгебраического цикла.

Смотрите также

sfnew

Документация