利用基于活动的时间片高亮显示活动的时间间隔

Stateflow的®在模型模拟期间,状态和转换可以是活动的、不活动的或休眠的。您可以使用模型切片器来约束模型高亮显示,以仅高亮某些状态下的时间间隔状态(状态流)和转变(状态流)是活动的。因此,您可以将您感兴趣的区域缩小到只有选定的状态和转换的操作过程中影响模型模拟这些模型的部分。您也可以限制模型突出显示两个或两个以上国家或转换的时间间隔的交集。

一个突出的有效时段Stateflow的国家或过渡

slslicer_fuelsys_activity_slicing模型包含一个容错燃料控制系统。在本教程中,您使用基于活动的时间分片细化模型亮点,只有那些时间间隔,其中某些状态和转换是活跃。你必须熟悉如何突出显示函数依赖使用模型切片机。

对于感兴趣的领域创建动态切片亮点

  1. 将示例文件夹添加到搜索路径。

    让addpath(完整文件(文档根, '工具箱',的Simulink',万博1manbetx '实施例'))

  2. 打开slslicer_fuelsys_activity_slicing模型。

    open_system( 'slslicer_fuelsys_activity_slicing')

  3. 打开模型切片机,并添加控制逻辑燃油率控制子系统中的状态流图作为模型切片器的起始点。

  4. 突出显示是的上游模型的部分控制逻辑Stateflow的图表。

  5. 模拟受限模拟时间窗口(最大20秒)内的模型的感兴趣的时间窗期间,突出的起始点的模型上游和活性的唯一区域。

约束型高亮到的活动时间间隔Stateflow的

  1. 应用选项卡,在模型验证、验证和测试画廊,点击型号切片机

  2. 导航到控制逻辑在Stateflow框图燃料速率控制器子系统。

    open_system( 'slslicer_fuelsys_activity_slicing /燃料速率控制器/控制逻辑')
  3. 为了约束模型的亮点,只有那些时间间隔,其中Fueling_Mode>运行>Low_Emissions>暖身状态是活动的,右击暖身州和选择型号切片机>将活动时间间隔限制为“预热”时间间隔

    更新模型切片器,仅突出显示在其中的时间间隔内处于活动状态的模型部分热身状态是活动的。

    模型片段管理器也更新显示时间间隔中的热身状态是活动:

    实际仿真时间:0.01〜3.86秒:1个活性间隔

    高亮显示一个正常失败在过渡压力状态,显示出的时间间隔期间发生的压力故障,其中暖身状态是活跃的。

约束模型高亮到a的活动时间区间的交点Stateflow的状态和转换

  1. 清除任何时候从型号片段管理器间隔限制。

  2. 约束模型的亮点,只有那些时间间隔,其中O2>失败状态是活动的。

    更新模型切片器,仅突出显示在其中的时间间隔内处于活动状态的模型部分O2>失败状态是活动的。模型片段管理器也更新显示时间间隔中的O2>失败状态是活动:

    实际仿真时间:4.83至20秒:1个活性间隔

  3. 以限制突出显示的时间间隔,其中O2>失败状态是活动的和正常失败转变发生在风门图中,用鼠标右键单击正常失败过渡并将其添加为一个约束。模型切片机被更新为亮点仅该时间间隔的交叉点期间处于激活状态的模型的那些部分,其中O2>失败状态是活动的和正常失败转变发生在风门图表。

    模型片段管理器也更新显示时间间隔中的O2>失败状态是活动的和正常失败转变发生在风门图表:

    实际仿真时间:13.87到13.87秒时:1个活性间隔

基于活动的时间切片限制和注意事项

有关基于活动的时间切片的限制和注意事项,请参阅模型切片器的注意事项和限制

Stateflow的状态和转换活动

有关Stateflow的状态和转型活动的更多信息,请参阅图表仿真语义(Stateflow),图执行的类型(状态流),并语法状态和转移(Stateflow)。

相关的话题