设计验证器窗格:参数和变量
参数说明
指定控制方式的选项金宝app®设计验证器™在分析模型时使用参数配置。
参数配置
在下拉菜单中从这些选项中指定参数配置:
设置
默认值:没有一个
命令行信息
参数:DVParameterConfiguration |
| 类型:枚举 |
值:“没有”|“汽车”|“DetermineFromGeneratedCode”|“UseParameterTable”|“UseParameterConfigFile” |
默认值:“没有” |
另请参阅
启用
依赖
该按钮通过设置使能参数配置来使用参数表．
禁用
依赖
该按钮通过设置使能参数配置来使用参数表．
清晰的
依赖
该按钮通过设置使能参数配置来使用参数表．
模型高亮显示
依赖
该按钮通过设置使能参数配置来使用参数表．
使用
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
的使用列指定是否在当前参数配置中使用该行的命名参数和指定约束。
设置
默认值:从
-
在
-
在当前参数配置中使用此参数及其指定的约束。
-
从
-
不要在当前参数配置中使用此参数及其指定的约束。
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
的名字
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
的的名字列显示参数的名称。
设置
默认值:空
提示
要将模型参数加载到参数表中，请单击表底部的在模型中查找．如果可能，软件会自动为每个参数生成约束值。
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
约束
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
的约束列包含参数的指定值范围。
设置
默认值:空
提示
若要自动生成参数约束，请单击“参数表”底部的在模型中查找．
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
价值
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
的价值列包含基本工作空间中参数的值。如果参数是在链接到模型的Simulink数据字典中定义的，则金宝app价值列包含数据字典中参数的值。
设置
默认值:空
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
最小值
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
对于类型的参数金宝app仿真软件。参数的最小值最小值列包含参数的指定最小值。
设置
默认值:空
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
马克斯
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
对于类型的参数金宝app仿真软件。参数使用指定的最大值马克斯列包含参数的指定最大值。
设置
默认值:空
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
模型元素
在参数表中，每行表示一个参数，在期间可以将其约束为指定值金宝appSimulink设计验证器分析。
的模型元素列显示使用参数的模型元素的路径。
设置
默认值:空
依赖
此列通过设置启用参数配置来使用参数表．
另请参阅
发现参数
该软件搜索您的模型中可以配置的参数，并将它们加载到参数表．如果您的模型使用配置参考，金宝appSimulink设计验证器不支持搜索参数时使金宝app用在模型中查找按钮。有关更多信息，请参见多个型号共享配置．
依赖
该按钮通过设置使能参数配置来使用参数表．
进口
将参数添加到参数表从存储在文件中的列表中。
依赖
该按钮通过设置使能参数配置来使用参数表．
出口
控件中的当前参数参数表到一个文件。
依赖
该按钮通过设置使能参数配置来使用参数表．
参数配置文件
指定一个MATLAB®函数定义模型的参数配置。
设置
默认值:sldv_params_template.m
默认文件，
sldv_params_template.m，是一个可以编辑和保存的模板。模板中的注释解释了用于指定参数配置的语法。单击浏览按钮选择现有的MATLAB文件。
单击编辑按钮在编辑器中打开指定的MATLAB文件。
依赖
通过设置使能参数配置来使用参数表．
命令行信息
参数:DVParametersConfigFileName |
| 类型:字符数组 |
| 值:任何有效的MATLAB文件 |
默认值:“sldv_params_template.m” |
另请参阅
浏览…
浏览到参数配置文件。
依赖
启用此按钮开启参数配置．禁用此按钮使用参数表．
编辑……
编辑当前参数配置文件。
依赖
启用此按钮开启参数配置．禁用此按钮使用参数表．
分析所有启动变量
指定来分析包含的模型变体块中变体激活时间参数是启动．
设置
默认值:在
-
在
-
金宝appSimulink设计验证器分析包含变体块。变体激活时间参数设置为
启动． -
从
-
金宝appSimulink设计验证器只分析活动的变体块与变体激活时间参数设置为
启动．
命令行信息
参数:DVAnalyzeAllStartupVariants |
| 类型:字符数组 |
值:“上”|“关闭” |
默认值:“上” |
另请参阅
发射变型经理…
启动变量管理器以查看或定义变量控制参数的约束。金宝appSimulink设计验证器在分析期间应用这些约束。
另请参阅
您也可以从以下列表中选择一个网站: