主要内容

模型切片器的注意事项和限制

使用模型切片器时,请考虑这些行为和限制:

模型编译

当您打开Model Slice Manager时,模型被编译。为了避免编译错误,在打开Model Slice Manager之前,请确保模型是可编译的。

模型突出显示和模型编辑

切片突出显示活动时,无法编辑模型。您可以切换到模型编辑模式并保留亮点。切换回切片模式时,将重新计算切片配置并更新突出显示。

独立切片模型一代

切片模型生成需要一个或多个起点来突出显示您的模型。不支持切片模型生成:金宝app

  • 向前传播(包括双向)依赖性

  • 约束

  • 排除点

切片模型生成需要在MATLAB中一个可写的工作文件夹®

切片模型考虑因素

当您从模型突出显示生成切片模型时,简化模型可以更改模拟行为或防止切片模型编译。例如:

  • 模型简化可以改变切片模型相对于原始模型的排序执行顺序,从而影响切片模型的仿真行为。

  • 如果您生成一个包含总线的切片模型,但不生成该总线的源信号,则切片模型可能包含未解析的总线元素。

  • 如果您生成一个切片模型,该模型内联掩码块内容的子集,请确保子系统内容解析到掩码参数。如果不能解析内容和掩码,则可能无法编译切片模型。

  • 如果源模型使用总线信号,请确保正确初始化切片模型信号。在创建切片型号之前,请考虑在源模型中考虑总线信号的显式副本。例如,您可以包含一个信号转换块的输出选项设置为信号副本

  • 对于求解步骤尺寸设置为汽车,s金宝appimulink.®基于模型中的块来计算部分的最大时间步骤。如果切片模型删除影响时间步长确定的块,则切片模型的时间步长可以与源模型不同。时间步长可能导致模拟差异。考虑将步骤尺寸明确到源模型中计算的相同值。

端口属性方面的考虑

您可以使用Model Slicer在模型简化期间删除的块来确定已编译的属性,例如继承的样本时间、信号维度和数据类型。模型切片器可以在模型简化期间更改切片的模型端口属性,以解决未指定的模型端口属性。如果模型切片器不能解决这些不一致,你可以解决一些模型端口属性的不一致:

  • 显式指定源模型中的属性而不是依赖于传播规则。

  • 包括在切片模型中,该块负责源模型中的属性传播。在将模型切片之前,将这些块添加为源模型突出显示的其他起点。

  • 没有将负责模型端口属性的模型块内联到切片模型中。有关可以内联到切片模型中的模型项的更多信息,请参见内联内容选项

由于Simulink处理模型引用的方式金宝app,您不能同时编译两个模型,其中包含模型引用的同一模型。生成切片模型时,模型切片器进入锁定切片器(用于属性检查)如果这些条件为真:

  • 父模型包含引用的模型。

  • 父模型突出显示的部分包含引用的模型。

  • 由于以下之一,引用的模型在切片模型中没有内向。

    • 您选择不在内联模型块内联内容选项窗格的模型Slicer选项

    • 模型切片器不能内联引用的模型。有关modelslicer不能内联的模型项的更多信息,请参见内联内容选项

要继续炼制父模型的突出显示部分,必须首先激活切片突出显示模式

模拟时间窗注意事项

根据您的模型的步长和输入的仿真时间窗口的开始时间和停止时间,模型切片器可能会更改实际模拟开始时间和停止时间。

  • 如果输入落在模型求解器的时间步骤之间的停止或开始时间,则模型切片器使用停止或开始时间与您输入的值之前的时间步匹配。有关Simulink中的步骤大小的更多信息,请参阅金宝app解决比较

  • 模拟时间窗口的停止时间不能大于总的模拟时间。

基于仿真的切片模型简化

当您使用模拟时间窗口对模型进行切片时,可以在创建简化的独立模型时替换源模型中的一些块,如开关块、逻辑运算符块等。例如,一个总是通过一个输入的开关块被移除,并且主动输入直接连接到输出目的地。未使用的输入信号也从独立模型中删除。

该表描述了模型切片器在模型简化期间可以替换的块。

源模型中的块 简化

转变

多端口切换

如果只有一个输入端口是有源的,则开关被连接有源输入到块输出的信号所取代。

启用子系统或型号

如果始终启用子系统或模型,请删除控制输入并转换为标准子系统或模型。

如果永不启用子系统,则替换具有由初始条件定义的常数值的子系统。

触发子系统或模型

如果始终触发子系统或模型,请删除触发输入并转换为标准子系统或模型。

如果从未触发了子系统,则用初始条件定义的常量值替换子系统。

启用和触发的子系统或模型

如果始终执行子系统,则转换为标准子系统或模型

如果未执行子系统,请用初始条件定义的常量值替换子系统。

合并

如果只有一个输入端口处于活动状态,则通过将主动输入连接到块输出的信号替换合并。

如果

如果采取行动

如果只有一个动作子系统处于活动状态,则转换为标准子系统或模型并删除IF块。

切换案例

切换案例措施

如果只有一个动作子系统处于活动状态,则转换为标准子系统或模型并删除交换盒块。

逻辑运算符

当块总是输出true或者总是输出false时,用常量替换。

如果输入信号始终为真或始终为假,则用常数替换输入信号。

不支持的起点金宝app

模型切片器不支持这些模型项作为起始点:金宝app

  • 虚拟块,而不是子系统轮廓尺寸外港

  • 非子系统的虚拟块的输出信号

模型切片器支持限制金宝app金宝app软件功能

模型Slicer不支持这些功能:金宝app

  • 数组的公交车

  • 分析金宝app仿真软件测试™测试线束

  • 包含Simscape™物理建模块的模型

  • 包含代数循环的模型

  • 从源模型中加载初始状态以生成切片模型,例如数据导入/导出条目。在切片模型配置参数中为切片模型显式定义初始状态。

  • 具有多个速率的子系统和引用模型的组件切片。

  • 基于组件的函数调用的切片生成触发子系统和模型块。

模型切片器仿真步进器的限制金宝app

当使用模型切片器与仿真步进,切片高亮后的一步后退可能不限于一个单一的步骤。突出显示可以受仿真步进选项>存储的后台之间的间隔.有关更多信息,请参阅存储的后台之间的间隔

模型切片器支持限制金宝app金宝app

表列出了Simulink块的模型Slicer支持限制。金宝app金宝app

局限性

对于每个子系统堵塞

对于每个子系统的块忽略模拟影响。因此,应用模拟时间窗口将与不使用模拟时间窗口的依赖性分析返回相同的依赖关系分析结果。

函数调用者堵塞

模型切片器不支持金宝app函数调用者块。

Matlab功能堵塞

模型切片器假设任何输出依赖于上游方向的所有输入,任何输入影响下游方向的所有输出。

合并堵塞

如果您使用模拟时间窗口生成一个切片,合并如果仅锻炼单个路径,则在独立模型中删除块。

模型堵塞

模型切片器无法解析由全局数据存储内存生成的数据依赖项模型块与模拟模式设置加速器

模型Slicer不支持函数调用根级金宝app轮廓尺寸块。有关更多信息,请参阅出口函数模型

模型切片器不会在参考中分析内容来自第三方的参考保护型号.当您对包含受保护模型引用的模型进行切片时,模型切片器将在切片的模型中包含整个模型引用。

可重置的子系统堵塞

模型切片器不支持金宝app可重置的子系统块。

S函数堵塞

模型切片器假设任何输出依赖于上游方向的所有输入,任何输入影响下游方向的所有输出。

模型切片器不会确定由此产生的依赖项S函数阻止访问模型信息依赖于模拟时间窗口。

州读者堵塞

模型切片器不支持金宝app州读者块。

国家的作家堵塞

模型切片器不支持金宝app国家的作家块。

观察者堵塞 模型切片器不支持金宝app观察者块。

模型切片器支持限制金宝app州流程

  • 当您突出显示包含statflow的模型时®图表或状态转换表,模型切片器假定来自的输出图表块或者状态转换表块取决于所有输入图表块或者状态转换表堵塞。

  • 当您使用状态流图或状态转换表对模型进行切片时,model Slicer并不会简化图表或表。图表或表被完整地包含在切片模型中。

  • 如果你不定义一个模拟时间窗口当在状态溢图或状态转换表中突出显示功能依赖项时,Model Slicer会假定图表或表的所有元素都处于活动状态。模型Slicer突出显示此类图表和表的全部内容。

  • 当您突出显示在状态溢图或状态转换表中的功能依赖项进行定义的模拟时间窗口时,Model Slicer仅突出显示影响所选起点的状态和转换。相反,模型Slicer突出显示您指定的时间窗口中处于活动的元素。

  • 模型切片器不会在其他州流图表中确定emotefl图形功能和函数调用之间的依赖关系。

  • 在某些情况下,在所选时间窗口期间未激活的图形功能及其内容可能会突出显示。

  • 在某些情况下进入由于事件而被抢先的状态可能仍然突出。例如,在输入父状态后,事件操作可以退出状态和抢占进入子状态。在这种情况下,模型切片器将突出显示进入子状态。

  • 模型切片器不支持:金宝app

    • MATLAB功能块

    • 金宝appSimulink函数

    • 真相表

    • ModeFlow中的机器级数据或事件。

基于活动的时间切片考虑因素州流程

正如“执行的子变电站的决策覆盖范围”所测量的,状态活动是指期间/退出行动:

  • 进入一个国家不构成活动。

  • 状态或转换的活动时间间隔包括输入所选状态退出和后续状态的时刻。

  • 间接退出状态或过渡不会构成活动。例如,如果是一个状态C退出,因为它的父母P.退出,状态c不被视为有效。

有关StateFlow图表的决策覆盖范围的更多信息,请参阅StateFlow图表的决策覆盖范围(金宝appSimulink覆盖率)

当你通过使用基于活动的时间切片来突出显示活动时间间隔,您可以仅选择状态和转换为活动约束。您无法选择这些状态溢对象作为约束:

  • 并行状态

  • 没有条件的过渡,例如未接收决策覆盖的未标记过渡

  • 在图书馆链接图表中的状态或转换

  • 没有兄弟姐妹的xor状态。例如,如果是一个状态P.只有一个孩子的国家C时,不能选择状态C作为活动约束,因为州P.没有接收执行的子变电站的决策覆盖范围

也可以看看

|