Состояния 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')
Открытый Нож Модели и добавляет control logic
Диаграмма Stateflow в топливной подсистеме контроллера скорости как начальная точка Ножа Модели.
Подсветите фрагменты модели, которые являются восходящими из 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”.
Нож модели обновляется, чтобы подсветить только те фрагменты модели, которые активны во время временных интервалов в который 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).