Состояния и переходы stateflow ® могут быть активными, неактивными или спящими во время моделирования модели. Можно использовать срез модели, чтобы ограничить подсвечивание модели, чтобы выделить только временные интервалы, в которых активны определенные состояния Stateflow (состояние) и переходы (состояние). Таким образом, можно уточнить область интересов только для тех частей модели, которые влияют на моделирование модели во время работы выбранных состояний и переходов. Можно также ограничить подсвечивание модели пересечением временных интервалов двух или более состояний или переходов.
Выделение активных временных интервалов состояния или перехода потока состояний
Ограничения и соображения по сокращению времени на основе операций
slslicer_fuelsys_activity_slicing модель содержит отказоустойчивую систему управления топливом. В этом учебном пособии для уточнения выделения модели с учетом только тех интервалов времени, в которых активны определенные состояния и переходы. Необходимо иметь представление о том, как подсвечивать функциональные зависимости с помощью модели Slicer.
Добавьте папку-пример в путь поиска.
addpath(fullfile(docroot,'toolbox','simulink','examples'))
Откройте окно slslicer_fuelsys_activity_slicing модель.
open_system('slslicer_fuelsys_activity_slicing')Открыть срезатель модели и добавить control logic Диаграмма статофлоу в подсистеме контроллера расхода топлива в качестве начальной точки модельного среза.
Выделите части модели, расположенные выше control logic Диаграмма статофлоу.
Моделирование модели в пределах ограниченного временного окна моделирования (максимум 20 секунд) для выделения только областей модели, расположенных выше начальной точки и активных в течение интересующего временного окна.
На вкладке «Приложения» в разделе «Проверка модели», «Проверка» и «Галерея тестов» щелкните «Срез модели».
Перейдите к control logic Диаграмма статофлоу в fuel rate controller подсистема.
open_system('slslicer_fuelsys_activity_slicing/fuel rate controller/control logic')Чтобы ограничить выделение модели только теми временными интервалами, в которых активировано состояние Fueling_Mode > Running > Low_Emissions > Warmup, щелкните правой кнопкой мыши значок Warmup и выберите Модель (Model) Срез (Slice) > Ограничить (Constrain) активными интервалами времени для «Разогрева» (Warmup).
Модель Slicer обновляется, чтобы выделить только те части модели, которые активны в течение временных интервалов, в которых warmup состояние активно.
Диспетчер фрагментов модели также обновляется, чтобы показать интервал времени, в котором warmup состояние активно:
Фактическое время моделирования от 0,01 до 3,86 секунды: 1 активный интервал
Подсветка показывает normal кому fail переход в Pressure состояние, показывающее, что сбой давления произошел в течение временного интервала, в котором Warmup состояние было активным.
Снимите все ограничения временных интервалов в Диспетчере фрагментов модели (Model Slice Manager).
Ограничение выделения модели только теми временными интервалами, в которых активно состояние O2 > fail.
Модель Slicer обновляется для выделения только тех частей модели, которые активны в течение интервалов времени, в которых активировано состояние O2 > fail. Диспетчер фрагментов модели также обновляется, чтобы показать интервал времени, в котором активировано состояние сбоя O2 >:
Фактическое время моделирования: от 4,83 до 20 секунд: 1 активный интервал
Для ограничения выделения временным интервалом, в котором активировано состояние O2 > fail, и normal кому fail происходит переход для Throttle щелкните правой кнопкой мыши на диаграмме normal кому fail и добавьте его в качестве ограничения. Модель Slicer обновляется для выделения только тех частей модели, которые активны во время пересечения временных интервалов, в которых активировано состояние O2 > fail, и normal кому fail происходит переход для Throttle диаграмма.
Диспетчер фрагментов модели также обновляется для отображения временного интервала, в котором активировано состояние отказа O2 > и normal кому fail происходит переход для Throttle диаграмма:
Фактическое время моделирования: 13,87 - 13,87 секунды: 1 активный интервал
Ограничения и соображения по квантированию времени на основе активности см. в разделе Соображения и ограничения модельного среза.
Дополнительные сведения о состоянии и активности перехода Stateflow см. в разделах Семантика моделирования диаграммы (Stateflow), Типы выполнения диаграммы (Stateflow) и Синтаксис для состояний и переходов (Stateflow).