Можно использовать Таблицу параметров (Parameter Table), чтобы управлять ограничениями на параметрах модели для анализа. Если вы помещаете ограничение на параметр в модели, во время анализа этот параметр принимает только заданное вами значение ограничения или значения. Группа ограничений параметров в той же модели также называется parameter configuration. Можно хранить группы ограничений параметров в MATLAB® файл кода, называемый файлом строения параметра. Для получения дополнительной информации о конфигурировании параметров для Simulink® Проектируйте Verifier™, см., Задайте значения ограничений для параметров.
Чтобы включить строение параметра, на вкладке Design Verifier, в разделе Prepare, в раскрывающемся меню для настроек режима, нажмите Settings. В диалоговом окне Параметры конфигурации на панели Design Verifier > Parameters выберите Enable parameter configuration.
Используя Таблицу параметров, можно экспортировать значения ограничений параметров в файл кода MATLAB. Если позже вы хотите использовать то же строение параметра в другом анализе, можно импортировать ваши ранее указанные значения ограничения параметра из файла кода MATLAB.
Чтобы экспортировать значения ограничений параметров в файл:
На вкладке Design Verifier, в разделе Prepare, в раскрывающемся меню настроек режима нажмите Settings. В диалоговом окне Параметров конфигурации выберите Design Verifier > Parameters.
Таблица параметров показывает заданные значения ограничений для параметров в вашей модели, как на следующем примере снимка экрана.
Нажмите Export to File.
Файл строения параметра сохраняет текущие строения параметров в .m файл с заданным именем. Параметры, у которых не установлен флажок Use, появляются как комментируемые линии в файле строения параметра.
В примере, показанном на предыдущем шаге, файл строения параметра содержит следующий код:
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, в разделе Prepare, в раскрывающемся меню настроек режима нажмите Settings. В диалоговом окне Параметров конфигурации выберите Design Verifier > Parameters.
Нажмите Add from File. Выберите файл строения параметра.
Таблица параметров загружает ограничения заданного параметра из кода, исключая комментарии кода, из файла. Если вы задаете ограничение для параметра и затем загружаете файл строения параметра, содержащий спецификацию ограничения для того же параметра, ограничение, заданное в файле, перезаписывает ранее существовавшее ограничение в таблице.
Simulink Design Verifier предоставляет пример файла строения параметра для модели примера sldvdemo_param_identification:
matlabroot/toolbox/sldv/sldvdemos/sldvdemo_param_ident_config.m
