Stateflow的®在模型模拟期间,状态和转换可以是活动的、不活动的或休眠的。您可以使用模型切片器来约束模型高亮显示,以仅高亮某些状态下的时间间隔状态(状态流)和转变(状态流)是活动的。因此,您可以将您感兴趣的区域缩小到只有选定的状态和转换的操作过程中影响模型模拟这些模型的部分。您也可以限制模型突出显示两个或两个以上国家或转换的时间间隔的交集。
该slslicer_fuelsys_activity_slicing
模型包含一个容错燃料控制系统。在本教程中,您使用基于活动的时间分片细化模型亮点,只有那些时间间隔,其中某些状态和转换是活跃。你必须熟悉如何突出显示函数依赖使用模型切片机。
将示例文件夹添加到搜索路径。
让addpath(完整文件(文档根, '工具箱',的Simulink',万博1manbetx '实施例'))
打开slslicer_fuelsys_activity_slicing
模型。
open_system( 'slslicer_fuelsys_activity_slicing')
打开模型切片机,并添加控制逻辑
燃油率控制子系统中的状态流图作为模型切片器的起始点。
突出显示是的上游模型的部分控制逻辑
Stateflow的图表。
模拟受限模拟时间窗口(最大20秒)内的模型的感兴趣的时间窗期间,突出的起始点的模型上游和活性的唯一区域。
在应用选项卡,在模型验证、验证和测试画廊,点击型号切片机。
导航到控制逻辑
在Stateflow框图燃料速率控制器
子系统。
open_system( 'slslicer_fuelsys_activity_slicing /燃料速率控制器/控制逻辑')
为了约束模型的亮点,只有那些时间间隔,其中Fueling_Mode>运行>Low_Emissions>暖身状态是活动的,右击暖身
州和选择型号切片机>将活动时间间隔限制为“预热”时间间隔。
更新模型切片器,仅突出显示在其中的时间间隔内处于活动状态的模型部分热身
状态是活动的。
模型片段管理器也更新显示时间间隔中的热身
状态是活动:
实际仿真时间:0.01〜3.86秒:1个活性间隔
高亮显示一个正常
至失败
在过渡压力
状态,显示出的时间间隔期间发生的压力故障,其中暖身
状态是活跃的。
清除任何时候从型号片段管理器间隔限制。
约束模型的亮点,只有那些时间间隔,其中O2>失败状态是活动的。
更新模型切片器,仅突出显示在其中的时间间隔内处于活动状态的模型部分O2>失败状态是活动的。模型片段管理器也更新显示时间间隔中的O2>失败状态是活动:
实际仿真时间:4.83至20秒:1个活性间隔
以限制突出显示的时间间隔,其中O2>失败状态是活动的和正常
至失败
转变发生在风门
图中,用鼠标右键单击正常
至失败
过渡并将其添加为一个约束。模型切片机被更新为亮点仅该时间间隔的交叉点期间处于激活状态的模型的那些部分,其中O2>失败状态是活动的和正常
至失败
转变发生在风门
图表。
模型片段管理器也更新显示时间间隔中的O2>失败状态是活动的和正常
至失败
转变发生在风门
图表:
实际仿真时间:13.87到13.87秒时:1个活性间隔
有关基于活动的时间切片的限制和注意事项,请参阅模型切片器的注意事项和限制。
有关Stateflow的状态和转型活动的更多信息,请参阅图表仿真语义(Stateflow),图执行的类型(状态流),并语法状态和转移(Stateflow)。