Stateflow®在模型仿真期间,状态和转换可以处于活动状态,非活动状态或睡眠状态。您可以使用Model Slicer来约束模型突出显示,仅突出显示某些状态流的时间间隔州(Stateflow)和转换(Stateflow)是活跃的。因此,您可以将您感兴趣的领域细化到仅对模型中在选定状态和转换操作期间影响模型模拟的那些部分。您还可以将模型高亮约束为两个或多个状态或转换的时间间隔的交集。
的slslicer_fuelsys_activity_slicing
模型包含一个容错燃料控制系统。在本教程中,您将使用基于活动的时间切片来细化模型高亮显示,使其只显示某些状态和转换处于活动状态的时间间隔。你一定很熟悉如何去做突出函数依赖通过使用模型切片机。
将示例文件夹添加到搜索路径。
目录(fullfile (docroot,“工具箱”,“模型”,“示例”金宝app))
打开slslicer_fuelsys_activity_slicing
模型。
open_system(“slslicer_fuelsys_activity_slicing”)
打开模型切片器并添加控制逻辑
燃料速率控制器子系统中的状态流图作为模型切片机起点。
突出显示上游模型的部分控制逻辑
Stateflow图表。
在受限制的仿真时间窗口(最大20秒)内模拟模型,只突出显示在起始点上游的模型区域,并在感兴趣的时间窗口内活动。
在应用程序选项卡,在模型验证,验证和测试画廊,点击模型切片机.
导航到控制逻辑
中的状态流程图燃料消耗率控制器
子系统。
Open_system (' slslicer_fuelsys_activity_slice /燃料速率控制器/控制逻辑')
将模型的突出显示限制为仅在这些时间间隔内fueliend_mode.>运行>Low_Emissions>热身状态为活动,右键单击热身
国家和选择模型切片机>限制为“harmup”的活动时间间隔.
更新模型切片机仅突出显示在时间间隔内活动的模型的那些部分。暖身
状态是活跃。
模型切片管理器也被更新以显示暖身
状态是积极的:
实际模拟时间:0.01到3.86秒:1个活动间隔
高亮显示了正常的
来失败
过渡的压力
状态,表明在该时间间隔内发生了压力故障热身
活跃状态。
从模型切片管理器中清除任何时间间隔限制。
将模型的突出显示限制为仅在O2.>失败状态是活跃。
更新模型切片机仅突出显示在时间间隔内活动的模型的那些部分。O2.>失败状态是活跃。模型切片管理器也被更新以显示O2.>失败状态是积极的:
实际模拟时间:4.83到20秒:1活动间隔
将高亮显示限制为O2.>失败状态为活动状态正常的
来失败
过渡发生了节气门
图,右键单击正常的
来失败
转换并将其作为约束添加。模型切片器被更新以只突出显示在模型的时间间隔交叉期间活动的那些部分O2.>失败状态为活动状态正常的
来失败
过渡发生了节气门
图表。
模型切片管理器也被更新以显示O2.>失败状态为活动状态正常的
来失败
过渡发生了节气门
图:
实际模拟时间:13.87到13.87秒:1活动间隔
有关基于活动的时间切片的限制和注意事项,请参阅模型切片机的考虑和限制.
有关statflow状态和转换活动的更多信息,请参见图仿真语义(Stateflow),图表执行类型(Stateflow), 和状态和转换的语法(Stateflow).