Stateflow® состояния и переходы могут быть активными, неактивными или спать во время симуляции модели. Можно использовать Model Slicer, чтобы ограничить подсветку модели, чтобы только подсветить временные интервалы, в которых активны определенные состояния Stateflow (Stateflow) и Переходы (Stateflow). Поэтому вы можете уточнить интересующую вас область только для тех фрагментов вашей модели, которые влияют на симуляцию модели во время работы выбранных состояний и переходов. Можно также ограничить подсветку модели пересечением временных интервалов двух или более состояний или переходов.
Подсветка активных временных интервалов состояния Stateflow или перехода
Основанные на деятельности ограничения и факторы по сокращению времени
The slslicer_fuelsys_activity_slicing модель содержит отказоустойчивую систему управления топливом. В этом руководстве вы используете основанное на действии временное разрезание, чтобы уточнить подсветку модели только к тем временным интервалам, в которых активны определенные состояния и переходы. Вы должны ознакомиться с тем, как подсветить функциональные зависимости при помощи Model Slicer.
Добавьте папку с примером в путь поиска файлов.
addpath(fullfile(docroot,'toolbox','simulink','examples'))
Откройте slslicer_fuelsys_activity_slicing модель.
open_system('slslicer_fuelsys_activity_slicing')Откройте Model Slicer и добавьте control logic Диаграмма Stateflow в подсистеме контроллера расхода топлива в качестве начальной точки Model Slicer.
Выделите фрагменты модели, которые находятся в восходящем направлении control logic Диаграмма Stateflow.
Симулируйте модель в ограниченном временном окне симуляции (максимум 20 секунд), чтобы подсветить только области модели в восходящем направлении от начальной точки и активные в течение интересующего временного окна.
На вкладке Apps, в разделе Model Verification, Validation, and Test галереи, нажмите Model Slicer.
Перейдите к control logic Диаграмма Stateflow в fuel rate controller подсистема.
open_system('slslicer_fuelsys_activity_slicing/fuel rate controller/control logic')Чтобы ограничить подсветку модели только теми временными интервалами, в которых Fueling_Mode > Running > Low_Emissions > Warmup активно, щелкните правой кнопкой мыши Warmup Состоянием и выберите Model Slicer > Constrain to active time intervals for “Warmup”.
Model Slicer обновляется, чтобы подсветить только те фрагменты модели, которые активны в течение временных интервалов, в которых warmup состояние активно.
Model Slice Manager также обновляется, чтобы показать временной интервал, в котором warmup состояние активно:
Фактическое время симуляции: от 0.01 до 3.86 секунд: 1 активный интервал
Подсветка показывает normal на fail переход в Pressure состояние, показывающее, что отказ давления произошел в течение временного интервала, в котором Warmup состояние было активным.
Снимите все ограничения временного интервала в Диспетчере срезов модели.
Ограничьте подсветку модели только теми временными интервалами, в которых O2 > fail состояние активно.
Model Slicer обновляется, чтобы подсветить только те фрагменты модели, которые активны в течение временных интервалов, в которых O2 > fail состояние активно. Model Slice Manager также обновляется, чтобы показать временной интервал, в котором O2 > fail состояние активно:
Фактическое время симуляции: от 4,83 до 20 секунд: 1 активный интервал
Чтобы ограничить подсветку временным интервалом, в котором O2 > fail состояние активно, и normal на fail переход происходит для Throttle щелкните правой кнопкой мыши по normal на fail переход и добавить его как ограничение. Slicer модели обновляется, чтобы подсветить только те фрагменты модели, которые активны во время пересечения временных интервалов, в которых O2 > fail состояние активно и normal на fail переход происходит для Throttle график.
Model Slice Manager также обновляется, чтобы показать временной интервал, в котором O2 > fail состояние активно, и normal на fail переход происходит для Throttle график:
Фактическое время симуляции: от 13.87 до 13.87 секунд: 1 активный интервал
Для ограничений и факторов основанного на активности сокращения времени, смотрите Факторы и Ограничения Model Slicer.
Для получения дополнительной информации о состоянии Stateflow и переходной деятельности, смотрите Семантика симуляции графика (Stateflow), Типы выполнения графика (Stateflow) и Синтаксис для состояний и переходов (Stateflow).