exponenta event banner

Задание свойств для диаграмм потока состояний

Свойства диаграммы позволяют указать, как диаграмма Stateflow ® взаимодействует с моделью Simulink ®. Свойства диаграммы можно задать в Инспекторе свойств, Обозревателе моделей или в диалоговом окне «Свойства диаграммы».

  • Для использования инспектора свойств:

    1. Чтобы открыть инспектор свойств, на вкладке «Моделирование» выберите «Инспектор свойств».

    2. Щелкните на диаграмме.

    3. В Инспекторе свойств измените свойства диаграммы.

  • Чтобы использовать Обозреватель моделей (Model Explorer):

    1. Чтобы открыть Обозреватель моделей (Model Explorer), на вкладке Моделирование (Modeling) выберите Обозреватель моделей (Model Explorer).

    2. На панели Иерархия модели (Model Hierarchy) выберите диаграмму.

    3. На панели Диаграмма измените свойства диаграммы.

  • Чтобы использовать диалоговое окно Свойства диаграммы:

    1. Щелкните правой кнопкой мыши на диаграмме.

    2. Выберите Свойства.

    3. Измените свойства диаграммы.

Свойства диаграммы также можно задать программным путем с помощью Stateflow.Chart объекты. Дополнительные сведения о программном интерфейсе Stateflow см. в разделе Обзор API Stateflow.

Свойства диаграммы Stateflow

В можно задать следующие свойства диаграммы:

  • Основные и дополнительные разделы инспектора свойств.

  • Вкладка Общие (General) Обозревателя моделей (Model Explorer) или диалоговое окно Свойства диаграммы (Chart properties).

Имя

Имя диаграммы (только для чтения). Если щелкнуть гиперссылку на имя диаграммы, диаграмма откроется в редакторе Stateflow.

Машина

Имя подсистемы Simulink (только для чтения). Если щелкнуть гиперссылку на имя машины, откроется диалоговое окно Свойства машины (Machine properties). Это свойство недоступно в инспекторе свойств.

Язык действий

Язык действий, определяющий синтаксис действий состояния и перехода в диаграмме. Варианты включают в себя:

  • MATLAB

  • C

Значение по умолчанию: MATLAB. Дополнительные сведения см. в разделе Различия между MATLAB и C как синтаксисом языка действий.

Тип конечного автомата

Тип реализуемой семантики конечного автомата. Варианты включают в себя:

  • Classic

  • Mealy

  • Moore

Классические диаграммы предоставляют полный набор семантики Stateflow. Диаграммы Мили и Мура используют подмножество этих семантик. Значение по умолчанию: Classic. Дополнительные сведения см. в разделе Обзор машин Mealy и Moore.

Метод обновления

Метод, с помощью которого моделирование обновляет или активизирует диаграмму в модели Simulink.

НастройкаОписание
Inherited

Ввод из модели Simulink определяет, когда диаграмма пробуждается во время моделирования (по умолчанию).

При определении входных событий для диаграммы диаграмма Stateflow явно запускается сигналом на ее порту триггера, исходящим из подключенного блока Simulink. Это событие ввода триггера можно настроить на появление в ответ на сигнал Simulink. Сигнал Simulink может быть Rising, Falling, или Either (рост и падение) или в ответ на Function Call. Дополнительные сведения см. в разделе Активация диаграммы потока состояний путем отправки входных событий.

Если входные события не определены, диаграмма Stateflow неявно наследует триггеры из модели Stateflow. Эти неявные события являются дискретными или непрерывными временами выборки сигналов Stateflow, обеспечивающих входы в диаграмму. При определении входных данных диаграмма пробуждается со скоростью наиболее быстрого ввода данных. Если ввод данных для диаграммы не определен, диаграмма активизируется в соответствии с поведением выполнения родительской подсистемы.

Discrete

Модель Simulink создает неявное событие через регулярные интервалы времени для пробуждения диаграммы Stateflow со скоростью, указанной в свойстве Sample Time chart. Другие блоки в модели Simulink могут иметь разное время выборки.

ContinuousДиаграмма Stateflow обновляет свое состояние только во время основных временных шагов, хотя вычисляет выходные данные и локальные непрерывные переменные во время основных и второстепенных временных шагов. Диаграмма может регистрировать пересечения нулей, что позволяет моделям Simulink создавать образцы диаграмм Stateflow при каждом изменении состояния. Диаграмма Stateflow вычисляет производные для локальных непрерывных переменных. Дополнительные сведения см. в разделе Непрерывное моделирование времени в Stateflow.

Время выборки

Интервал времени, в течение которого диаграмма Stateflow пробуждается во время моделирования. Время выборки может быть любым ненулевым числом. Время выборки находится в тех же единицах, что и время моделирования Simulink. Другие блоки в модели Simulink могут иметь разное время выборки. Этот параметр доступен, только если для свойства диаграммы Метод обновления задано значение Discrete.

Включить обнаружение пересечения нулей

Указывает, что обнаружение пересечения нулей включено (по умолчанию). Этот параметр доступен, только если для свойства диаграммы Метод обновления задано значение Continuous. См. раздел Отключение обнаружения пересечения нулей.

Включить операции С-разрядами

Указывает, что операторы &, ^, |, и ~ выполнять побитовые операции в операторах действий (по умолчанию). Если этот флажок снят:

  • & , |, и ~ выполнять логические операции.

  • ^ выполняет силовую операцию.

Этот параметр доступен только в диаграммах, использующих C в качестве языка действий. Дополнительные сведения см. в разделе Поддерживаемые операции для данных диаграммы.

Заданное пользователем состояние/порядок выполнения перехода

Указывает, что диаграмма использует явное упорядочение параллельных состояний и переходов (по умолчанию). Определяется порядок, в котором диаграмма выполняет параллельные состояния и проверяет переходы, исходящие из источника. Этот параметр доступен только в диаграммах, использующих C в качестве языка действий. Дополнительные сведения см. в разделах Порядок выполнения для параллельных состояний и Оценка переходов.

Экспорт функций на уровне диаграммы

Расширение области функций, определенных на корневом уровне диаграммы, на другие части модели. Этот параметр позволяет блокам Simulink Caller вызывать функции Stateflow в локальной иерархии с помощью квалифицированной нотации chartName.funcityName. Дополнительные сведения см. в разделе Экспорт функций потока состояний для повторного использования.

Рассматривать экспортированные функции как глобально видимые

Позволяет блокам Stateflow и Simulink Caller по всей модели вызывать функции, экспортируемые из Stateflow, без использования квалифицированной нотации. Эта опция доступна только при выборе свойства «Экспортировать функции уровня диаграммы». Дополнительные сведения см. в разделе Экспорт функций потока состояний для повторного использования.

Использование строгой типизации данных с Simulink I/O

Позволяет диаграммам напрямую взаимодействовать с сигналами от моделей Simulink (по умолчанию). Диаграмма принимает только входные сигналы, тип данных которых соответствует типу соответствующего объекта данных Stateflow. В противном случае возникает ошибка несоответствия типов. Этот параметр доступен только в диаграммах, использующих C в качестве языка действий. Дополнительные сведения см. в разделе Сильная типизация данных с помощью Simulink Inputs and Outputs.

Примечание

Для обеспечения обратной совместимости используется свойство Использовать строгий ввод данных с диаграммой ввода-вывода Simulink. Снятие этого флажка может привести к непредсказуемым результатам и не рекомендуется.

Выполнение (ввод) диаграммы при инициализации

Указывает, что диаграмма инициализирует конфигурацию состояния в момент времени 0, а не при первом возникновении входного события. Дополнительные сведения см. в разделе Выполнение диаграммы при инициализации.

Инициализировать выходные данные при каждом пробуждении диаграммы

Указывает, что диаграмма сбрасывает свои выходные значения каждый раз, когда диаграмма пробуждается, а не только в момент времени 0. Выходные значения сбрасываются всякий раз, когда диаграмма запускается вызовом функции, краевым триггером или тайм-тиком. При установке начального значения для объекта выходных данных вывод сбрасывается до этого значения. В противном случае выходной сигнал сбрасывается на ноль. Выберите этот параметр, чтобы:

  • Убедитесь, что все выходные данные определены при каждом выполнении диаграммы.

  • Предотвращение блокировки выходов (перенос значений выходов, вычисленных в предыдущих исполнениях).

  • Обеспечьте все выходные данные диаграммы значимым начальным значением.

Дополнительные сведения см. в разделе Начальное значение.

Включить супершаговую семантику

Указывает, что диаграмма может выполнять несколько переходов в каждом временном шаге, пока не достигнет стабильного состояния. Этот параметр недоступен, если для свойства диаграммы Метод обновления задано значение Continuous. Дополнительные сведения см. в разделе Супершаговая семантика.

Максимальное количество итераций в каждом супершаге

Указывает максимальное число переходов, которые диаграмма может выполнять в каждом временном шаге. Диаграмма всегда выполняет один переход во время супершага, поэтому указанное значение N представляет максимальное количество дополнительных переходов (всего N + 1). Этот параметр доступен только при выборе свойства диаграммы Включить супершаговую семантику. Дополнительные сведения см. в разделе Максимальное количество итераций.

Поведение после слишком большого количества итераций

Определяет поведение диаграммы после достижения максимального количества переходов в шаге времени.

НастройкаОписание
ProceedВыполнение диаграммы продолжается до следующего временного шага.
Throw ErrorМоделирование прекращается, и появляется сообщение об ошибке. Этот параметр допустим только для моделирования. В сгенерированном коде выполнение диаграммы всегда продолжается.

Этот параметр доступен только при выборе свойства диаграммы Включить супершаговую семантику.

Поддержка массивов переменного размера

Указывает, что диаграмма поддерживает входные и выходные данные, изменяющиеся по размеру во время моделирования. См. раздел Объявление входов и выходов переменного размера.

Насыщение при целочисленном переполнении

Указывает, что целочисленные переполнения насыщаются в созданном коде. См. раздел Обработка переполнения целых чисел для данных диаграммы.

Создание условий препроцессора

Создает условный препроцессор в созданном коде. См. раздел Создание кода с использованием исполнительных переходов.

Состояния при включении

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

  • Held

  • Reset

См. раздел Состояния управления в диаграммах, включенных событиями ввода вызова функции.

Создание выходных данных для мониторинга

Указывает, что диаграмма создает вывод активного состояния. При включении этой опции можно выбрать один из следующих типов операций для вывода:

  • Child activity

  • Leaf state activity

См. раздел Мониторинг активности состояния через данные активного состояния.

Свойства с фиксированной точкой

Свойства фиксированной точки для диаграммы можно задать в:

  • Раздел «Свойства фиксированной точки» Инспектора свойств.

  • Вкладка «Свойства фиксированной точки» Обозревателя моделей или диалоговое окно «Свойства диаграммы».

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

Рассматривать эти унаследованные типы сигналов Simulink как fi Объекты

Определяет, будет ли диаграмма обрабатывать унаследованные сигналы с фиксированной точкой и целочисленные сигналы как сигналы с фиксированной точкой Designer™ fi объекты.

НастройкаОписание
Fixed-pointДиаграмма рассматривает все вводы с фиксированной точкой как fi объекты (по умолчанию).
Fixed-point & IntegerДиаграмма рассматривает все фиксированные и целочисленные входные данные как fi объекты.

Диаграмма MATLAB fimath

Задает свойства диаграммы по умолчанию.

НастройкаОписание
Same as MATLAB Использовать то же самое fimath свойства в качестве текущего значения по умолчанию fimath объект в MATLAB.
Specify Other

Использовать собственное значение по умолчанию fimath объект. Вы можете:

  • Построить fimath объект внутри поля редактирования.

  • Создать fimath в рабочей области MATLAB или модели и введите имя переменной в поле редактирования.

Дополнительные сведения см. в разделе Использование свойств fimath для арифметики фиксированных точек (конструктор фиксированных точек).

Дополнительные свойства

Дополнительные свойства диаграммы можно задать в:

  • Вкладка «Информация» инспектора свойств.

  • Вкладка Документация (Documentation) Обозревателя моделей (Model Explorer) или диалоговое окно Свойства диаграммы (Chart properties).

Описание

Описание диаграммы. Можно ввести краткое описание и комментарии.

Ссылка на документ

Ссылка на онлайн-документацию для диаграммы. Можно ввести URL-адрес веб-сайта или команду MATLAB, которая отображает документацию в соответствующем интерактивном формате, например HTML-файл или текст в окне команд MATLAB. Если щелкнуть гиперссылку Документ (Document), Stateflow выполнит оценку ссылки и отобразит документацию.

Свойства машины

Машина Stateflow представляет все блоки Stateflow в модели (включая все диаграммы, таблицы переходов состояний и таблицы истинности). Свойства машины можно задать в диалоговом окне Свойства машины (Machine properties).

  1. Откройте Обозреватель моделей (Model Explorer) или диалоговое окно Свойства диаграммы (Chart properties) для любой диаграммы в модели.

  2. В поле свойства Machine chart щелкните ссылку на имя компьютера.

  3. В диалоговом окне Свойства станка (Machine properties) отредактируйте свойства станка Stateflow.

Модель Simulink

Имя модели Simulink, определяющей эту машину Stateflow (только для чтения). Имя модели изменяется при сохранении модели.

Дата создания

Дата создания этой машины Stateflow (только для чтения).

Создатель

Имя пользователя, создавшего эту машину Stateflow.

Измененный

Текст комментария для записи изменений модели Simulink, которая определяет эту машину Stateflow.

Версия

Текст комментария для записи версии модели Simulink, определяющей эту машину Stateflow.

Описание

Описание машины Stateflow. Можно ввести краткое описание и комментарии.

Ссылка на документ

Ссылка на онлайн-документацию для машины Stateflow. Можно ввести URL-адрес веб-сайта или команду MATLAB, которая отображает документацию в соответствующем интерактивном формате, например HTML-файл или текст в окне команд MATLAB. Если щелкнуть гиперссылку Документ (Document), Stateflow выполнит оценку ссылки и отобразит документацию.

Связанные темы