使用模型切片器工具简化模型以实现对复杂模型的针对性分析
您可以通过重点关注模型中感兴趣的区域,简化大型复杂模型的仿真、调试和形式分析。使用模型切片器突出显示模型的一部分后,可以生成简化的独立模型。简化的模型包含突出显示部分中的模块和依存关系路径。基于仿真、调试和形式分析将更改应用于简化的独立模型,然后将这些更改应用回原始模型。
示例模型
sldemo_mdlref_basic
包含模型sldemo_mdlref_counter
的三个实例。要打开该模型,请在 MATLAB® 命令提示符下,输入:openExample('sldemo_mdlref_basic');
要打开模型切片器管理器,请在 App 选项卡的“模型验证、确认和测试”部分中,点击模型切片器。
在模型切片管理器中,点击箭头以展开切片器配置列表。
设置以下切片属性:
名称:
Slice1
颜色: (品红)
信号传播:上游
模型切片器还可以突出显示模型中模块的下游或双向构造,具体取决于您要跟踪的信号传播的方向。
添加
CounterC
作为起点。在该模型中,右键点击CounterC
,然后选择模型切片器 > 添加为起点。模型切片器现在会突出显示影响
CounterC
的上游构造。在模型切片管理器中,点击生成切片。
在选择要写入的文件对话框中,选择保存位置并输入模型名称。简化的独立模型包含突出显示的模型项目。
要从该模型中去除高亮显示,请关闭模型切片管理器。
现在,您可以分析简化的独立模型,并将所有更改应用于源模型。