Мучнистые машины являются конечными автоматами, в которых переходы происходят на фронтах синхроимпульса. В Мучнистых графиках выход является функцией входа и состояния. На каждом временном шаге, Мучнистый график просыпается, оценивает его вход, и затем переходы к новой настройке активных состояний, также названных ее следующим состоянием. График вычисляет свой выход, когда он переходит к следующему состоянию. Мучнистая семантика поддерживается только в графиках Stateflow® в моделях Simulink®.
Убеждаться, которые выводят, - функция входа и состояния, Мучнистая машина состояний осуществляет их семантика:
Выходные параметры не зависят от следующего состояния.
График вычисляет выходные параметры только в переходах, не в состояниях.
График периодически просыпается на основе системных часов.
График обеспечивает одну основу времени для входа и часов (см., Вычисляют Выход и состояние при помощи Одной Основы Времени).
Чтобы соответствовать Мучнистому определению конечного автомата, гарантируйте, что каждый раз существует изменение на входном порте, график вычисляет выходные параметры.
Можно вычислить выходные параметры только в действиях условия внешних и внутренних переходов. Общий стиль моделирования для Мучнистых машин к тестовым воздействиям в условиях, и вычислите выходные параметры в связанном действии.
Вы не можете использовать состояния активности или действия перехода в Мучнистых графиках. Это ограничение осуществляет Мучнистую семантику:
Препятствование тому, чтобы график вычислил выход, не рассматривая изменений на входном порте.
Обеспечение, которые выводят, зависит от текущего состояния а не следующего состояния.
В Мучнистых графиках применяются эти ограничения данных:
Ограничьте Порожденные Машиной Данные. Порожденные машиной данные являются данными, которые вы задаете для машины Stateflow. Машина Stateflow является высшим уровнем иерархии Stateflow. Когда вы задаете данные на этом уровне, каждый график в машине может считать и изменить данные. Чтобы гарантировать, что Мучнистые графики не получают доступ к данным, которые могут быть изменены непредсказуемо вне графика, не используйте порожденные машиной данные.
Не Задавайте Память Хранилища данных. Вы не можете задать память хранилища данных (DSM) в Мучнистых графиках, потому что объекты, внешние к графику, могут изменить DSM. Диаграмма Stateflow использует память хранилища данных, чтобы осуществлять обмен данными с моделью Simulink. Память хранилища данных действует как глобальные данные. В иерархии Simulink, которая содержит график, другие блоки и модели могут изменить DSM. Мучнистые графики не должны получать доступ к данным, которые могут измениться непредсказуемо.
Ограничьте использование событий в Мучнистых графиках:
Допустимое использование:
Используйте входные события, чтобы инициировать график.
Используйте основанную на событии временную логику, чтобы охранять переходы.
Изменение в значении временного логического условия ведет себя как событие, которое Мучнистый график планирует внутренне. На каждом временном шаге количестве меток деления, прежде чем выполняется временное событие, зависит только от состояния графика. Для получения дополнительной информации смотрите Временные Логические операторы.
В Мучнистых графиках основное событие для временных логических операторов должно быть предопределенным событием, таким как tick (см. неявные События на основе данных и состояний).
Недопустимое использование:
Вы не можете широковещательно передать событие никакого типа.
Вы не можете использовать локальные события, чтобы охранять переходы. Локальные события нарушают Мучнистую семантику, потому что они не детерминированы и могут произойти, в то время как график вычисляет свои выходные параметры.
Вы не можете использовать неявные события, такие как chg(data_name), en(state_name), или ex(state_name).
Можно использовать одну основу времени в часах и ввести, как определено решателем Simulink. Решатель Simulink устанавливает тактовую частоту быть достаточно быстрой, чтобы получить входные изменения. В результате Мучнистый график обычно вычисляет выходные параметры и состояния изменений в том же временном шаге. Для получения дополнительной информации смотрите, Сравнивают Решатели (Simulink).