Укажите параметры, управляющие тем, как Simulink ® Design Verifier™ использует конфигурации параметров при анализе моделей.
Укажите, использует ли программное обеспечение конфигурации параметров при анализе модели. Выберите этот параметр, чтобы рассматривать параметры как переменные в анализе Simulink Design Verifier.
Чтобы задать диапазоны значений или ограничения для параметров, выполните следующие действия.
Используйте файл конфигурации параметров. Введите имя файла в файле конфигурации параметров.
Используйте таблицу параметров. Выберите Использовать таблицу параметров.
По умолчанию: Откл.
НаПрограмма Simulink Design Verifier использует указанные конфигурации параметров при анализе модели.
ПрочьПрограмма Simulink Design Verifier не использует конфигурации параметров при анализе модели.
Этот параметр включает файл конфигурации параметров.
Параметр: DVParameters |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
В таблице параметров можно задать диапазоны значений или ограничения для параметров.
По умолчанию: Откл.
НаТаблица параметров используется для определения параметров в качестве переменных для анализа Simulink Design Verifier.
ПрочьНе используйте таблицу параметров для определения параметров в качестве переменных для анализа Simulink Design Verifier.
Если также выбрана опция Enable parameter configuration, этот параметр активизирует таблицу параметров.
Этот параметр отключает файл конфигурации параметров.
Параметр: DVParametersUseConfig |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Укажите функцию MATLAB ®, определяющую конфигурации параметров для модели.
По умолчанию: sldv_params_template.m
Файл по умолчанию, sldv_params_template.m, является шаблоном, который можно редактировать и сохранять. Комментарии в шаблоне описывают синтаксис, используемый для задания конфигураций параметров.
Нажмите кнопку «Обзор» для выбора существующего файла MATLAB.
Нажмите кнопку Править (Edit), чтобы открыть указанный файл MATLAB в редакторе.
Этот параметр активируется с помощью Enable parameter configuration. Этот параметр отключен таблицей Use parameter.
Параметр: DVParametersConfigFileName |
| Тип: символьный массив |
| Значение: любой допустимый файл MATLAB |
По умолчанию: 'sldv_params_template.m' |
Перейдите к файлу конфигурации параметров.
Эта кнопка активируется с помощью Enable parameter configuration. Эта кнопка отключена таблицей Use parameter.
Отредактируйте текущий файл конфигурации параметров.
Эта кнопка активируется с помощью Enable parameter configuration. Эта кнопка отключена таблицей Use parameter.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
Столбец Использовать указывает, следует ли использовать именованный параметр этой строки и указанное ограничение в текущей конфигурации параметров.
По умолчанию: Откл.
НаИспользуйте этот параметр и указанное ограничение в текущей конфигурации параметров.
ПрочьНе используйте этот параметр и его указанное ограничение в текущей конфигурации параметров.
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
В столбце Наименование (Name) отображается имя параметра.
По умолчанию: пусто
Чтобы загрузить параметры модели в таблицу параметров, в нижней части таблицы щелкните Найти в модели (Find in Model). По возможности программа автоматически генерирует значения ограничений для каждого параметра.
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
Столбец Ограничение (Constraint) содержит указанный диапазон значений параметра.
По умолчанию: пусто
Чтобы автоматически создать ограничения параметров, в нижней части таблицы параметров щелкните Найти в модели (Find in Model).
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
Столбец Значение (Value) содержит значение параметра в базовой рабочей области. Если параметр определен в словаре данных Simulink, связанном с моделью, столбец Значение (Value) содержит значение параметра в словаре данных.
По умолчанию: пусто
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
Для параметров типа Simulink.Parameter при заданном минимальном значении столбец Мин (Min) содержит указанное минимальное значение параметра.
По умолчанию: пусто
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
Для параметров типа Simulink.Parameter при заданном максимальном значении столбец Max содержит указанное максимальное значение параметра.
По умолчанию: пусто
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
В таблице параметров каждая строка представляет параметр, который может быть ограничен указанными значениями во время анализа Simulink Design Verifier.
В столбце «Элемент модели» отображается путь к элементам модели, в которых используется параметр.
По умолчанию: пусто
Если выбраны опции Enable parameter configuration и Use parameter table, этот столбец будет включен.
Программа ищет в модели параметры, которые можно настроить, и загружает их в таблицу параметров. Если модель использует ссылку на конфигурацию, Simulink Design Verifier не поддерживает поиск параметров при использовании кнопки Найти в модели (Find in Model). Дополнительные сведения см. в разделе Совместное использование конфигурации с несколькими моделями.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
Добавляет параметры в таблицу параметров из списка, хранящегося в файле.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.
Экспорт текущих параметров из таблицы параметров в файл.
Если выбраны опции Enable parameter configuration и Use parameter table, эта кнопка активируется.