Состояния Stateflow® и переходы могут быть активными, неактивными, или спящий во время симуляции модели. Можно использовать Образцовый Нож, чтобы ограничить выделение модели только подсвечивать временные интервалы, в которых определенные состояния Stateflow (Stateflow) и Переходы (Stateflow) активны. Поэтому вы можете совершенствовать свою сферу интересов только к тем фрагментам вашей модели, которые влияют на симуляцию модели во время операции выбранных состояний и переходов. Можно также ограничить выделение модели к пересечению временных интервалов двух или больше состояний или переходов.
Выделение активных временных интервалов состояния Stateflow или перехода
Основанные на действии ограничения квантования времени и факторы
Модель slslicer_fuelsys_activity_slicing содержит отказоустойчивую топливную систему управления. В этом примере вы используете основанное на действии квантование времени, чтобы совершенствовать образцовую подсветку только к тем временным интервалам, в которых определенные состояния и переходы активны. Необходимо быть знакомы с тем, как Подсветить Функциональные Зависимости при помощи Образцового Ножа.
Добавьте папку в качестве примера в путь поиска файлов.
addpath(fullfile(docroot,'toolbox','simulink','examples'))
Откройте модель slslicer_fuelsys_activity_slicing.
open_system('slslicer_fuelsys_activity_slicing')Открытый Образцовый Нож и добавляет диаграмму Stateflow control logic в топливной подсистеме контроллера скорости как Образцовая отправная точка Ножа.
Подсветите фрагменты модели, которые являются восходящими из диаграммы Stateflow control logic.
Моделируйте модель в ограниченном окне времени симуляции (максимальные 20 секунд), чтобы подсветить только области модели в восходящем направлении отправной точки и активный во время окна времени интереса.
Чтобы открыть Образцового менеджера по Срезу, из меню Simulink®, выбирают Analysis > Model Slicer.
Перейдите к диаграмме Stateflow control logic в подсистеме 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”.
Образцовый Нож обновляется, чтобы подсветить только те фрагменты модели, которые активны во время временных интервалов, в которых состояние warmup активно.
Образцовый менеджер по Срезу также обновляется, чтобы показать временной интервал, в котором состояние warmup активно:
Фактическое время симуляции: 0.01 к 3,86 секундам: 1 активный интервал
Подсветка показывает normal переходу fail в состоянии Pressure, показывая, что отказ давления произошел во время временного интервала, в котором состояние Warmup было активно.
Очистите любые ограничения временного интервала от Образцового менеджера по Срезу.
Ограничьте образцовую подсветку только к тем временным интервалам, в которых O2> состояние fail активно.
Образцовый Нож обновляется, чтобы подсветить только те фрагменты модели, которые активны во время временных интервалов, в которых O2> состояние fail активно. Образцовый менеджер по Срезу также обновляется, чтобы показать временной интервал, в котором O2> состояние fail активно:
Фактическое время симуляции: 4.83 к 20 секундам: 1 активный интервал
Чтобы ограничить выделение к временному интервалу, в котором O2> состояние fail активно и normal к переходу fail происходит для графика Throttle, щелкните правой кнопкой по normal к переходу fail и добавьте его как ограничение. Образцовый Нож обновляется, чтобы подсветить только те фрагменты модели, которые активны во время пересечения временных интервалов, в которых O2> состояние fail активно, и normal к переходу fail происходит для графика Throttle.
Образцовый менеджер по Срезу также обновляется, чтобы показать временной интервал, в котором O2> состояние fail активно, и normal к переходу fail происходит для графика Throttle:
Фактическое время симуляции: 13.87 к 13,87 секундам: 1 активный интервал
Для ограничений и факторов основанного на действии квантования времени, смотрите Образцовые Факторы Ножа и Ограничения.
Для получения дополнительной информации о состоянии Stateflow и действии перехода, смотрите Семантику Симуляции Графика (Stateflow), Типы Выполнения Графика (Stateflow) и Синтаксис для состояний и Переходов (Stateflow).