将参数约束存储在 MATLAB 代码文件中

您可以使用参数表来管理模型参数的约束以进行分析。如果对模型中的参数施加约束，则在分析期间该参数只采用您指定的约束值或值。同一模型中对参数的一组约束也称为参数配置。您可以将参数约束组存储在称为参数配置文件的 MATLAB^® 代码文件中。有关配置 Simulink^® Design Verifier™ 参数的更多信息，请参阅使用参数表。

要启用参数配置，请在 Design Verifier 选项卡的准备部分中，从模式设置下拉菜单中点击设置。在配置参数对话框的Design Verifier > 参数和变体窗格中。

将参数约束导出到文件

使用参数表，您可以将参数约束值导出到MATLAB代码文件。如果您以后想在不同的分析中使用相同的参数配置，您可以从MATLAB代码文件中导入您之前指定的参数约束值。

要将参数约束值导出到文件：

在 Design Verifier 选项卡的准备部分中，从模式设置下拉菜单中点击设置。在配置参数对话框中，选择 Design Verifier > 参数和变体 。
参数表显示模型中参数的指定约束值。
点击 导出到文件 。
参数配置文件将当前参数配置保存到具有您指定名称的.m文件中。未启用用途复选框的参数在参数配置文件中显示为注释行。
在上一步所示的示例中，参数配置文件包含以下代码：
```
function params = ex_many_params_config
params.param_01 = {0, 1};
% params.param_02 = {0, 01};
params.param_03 = {0, 1};
% params.param_04 = {0, 1};
```

从文件导入参数约束

如果您在 R2014a 之前的版本中定义了用于分析的参数配置，则可以导入相应的 MATLAB 文件并在参数表中管理这些参数。

要从 MATLAB 代码文件导入参数约束：

在 Design Verifier 选项卡的准备部分中，从模式设置下拉菜单中点击设置。在配置参数对话框中，选择 Design Verifier > 参数和变体 。
点击 Add from File 。选择参数配置文件。
参数表从文件中加载代码中指定的参数约束（不包括代码注释）。如果为某个参数指定了约束，然后加载包含该参数约束规范的参数配置文件，则该文件中指定的约束将覆盖表中预先存在的约束。

Simulink Design Verifier在此示例文件夹中提供了模型sldvdemo_param_identification的示例参数配置文件：

openExample('sldv/ParameterIdentificationExample',...
'supportingFile', 'sldvdemo_param_ident_config')