В этом примере показано, как использовать машины Mealy и Moore для распознавания последовательности при обработке сигнала. Дополнительные сведения см. в разделе Обзор машин Mealy и Moore.
В этой модели две диаграммы Stateflow ® используют различный набор семантики для поиска последовательности 1,2,1,3 во входном сигнале из блока редактора сигналов (Simulink). Каждая диаграмма содержит входные данныеu и две выходные данные:
seqFound указывает, когда диаграмма находит последовательность. Значение false означает, что диаграмма по-прежнему выполняет поиск последовательности. Значение true означает, что диаграмма нашла последовательность.
status записывает статус распознавания последовательности. Это значение находится в диапазоне от 0 до 4 и указывает количество символов, обнаруженных диаграммой.
В диаграмме Мура выходные данные зависят только от текущего состояния диаграммы. Эта диаграмма вычисляет выходные значения в действиях состояния. На каждом шаге времени диаграмма выполняет действия для текущего состояния, оценивает входные данные. u, и делает переход в новое состояние.
В диаграмме Мили выходные данные зависят от текущего состояния диаграммы и входных данных. Эта диаграмма вычисляет свои выходные значения в действиях условий своих переходов. На каждом шаге времени диаграмма оценивает входные данные u, осуществляет переход в новое состояние и выполняет соответствующие действия условия.
При моделировании модели seqFound область действия показывает, что выходные данные диаграммы Мура отстают на один шаг от выходных данных диаграммы Мили. Задержка является результатом семантики Мура, в которой вывод основан на состоянии диаграммы в начале каждого временного шага, а не на текущем входе.
Katz, Bruce F. Digital Design: From Gates to Intelligent Machines, 2006.
Редактор сигналов (Simulink)