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