Задайте опции, которые управляют тем, как Simulink® Design Verifier™ использует строения параметров при анализе моделей.
Укажите, использует ли программное обеспечение строения параметров при анализе модели. Выберите эту опцию, чтобы считать параметры переменными в анализе Simulink Design Verifier.
Чтобы задать области значений значений или ограничения для параметров:
Используйте файл строения параметра. Введите имя файла в Parameter configuration file.
Используйте таблицу параметров. Выберите Use parameter table.
По умолчанию: Off
НаПрограмма Simulink Design Verifier использует указанные строения параметров при анализе модели.
ПрочьПрограмма Simulink Design Verifier не использует строений параметров при анализе модели.
Этот параметр включает Parameter configuration file.
Параметр: DVParameters |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Включите Таблицу параметров, чтобы задать области значений значений или ограничения для параметров.
По умолчанию: Off
НаИспользуйте Таблицу параметров, чтобы задать параметры как переменные для анализа Simulink Design Verifier.
ПрочьНе используйте Таблицу параметров, чтобы задать параметры как переменные для анализа Simulink Design Verifier.
Когда Enable parameter configuration также выбран, этот параметр включает Таблицу параметров.
Этот параметр отключает Parameter configuration file.
Параметр: DVParametersUseConfig |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'off' |
Задайте MATLAB® функция, которая определяет строения параметров для модели.
По умолчанию: sldv_params_template.m
Файл по умолчанию, sldv_params_template.m, является шаблоном, который можно отредактировать и сохранить. Комментарии в шаблоне объясняют синтаксис, который вы используете для задания строений параметра.
Нажмите кнопку Browse, чтобы выбрать существующий файл MATLAB.
Нажмите кнопку Edit, чтобы открыть указанный файл MATLAB в редакторе.
Этот параметр включен по Enable parameter configuration. Этот параметр отключен по Use parameter table.
Параметр: DVParametersConfigFileName |
| Тип: символьный массив |
| Значение: любой допустимый файл MATLAB |
По умолчанию: 'sldv_params_template.m' |
Перейдите к файлу строения параметра.
Эта кнопка включена по Enable parameter configuration. Эта кнопка отключена по Use parameter table.
Отредактируйте текущий файл строения параметра.
Эта кнопка включена по Enable parameter configuration. Эта кнопка отключена по Use parameter table.
При выборе 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.
Столбец Use определяет, использовать ли именованный параметр этой строки и заданное ограничение в текущем строении параметра.
По умолчанию: Off
НаИспользуйте этот параметр и его заданное ограничение в текущем строении параметра.
ПрочьНе используйте этот параметр и заданное им ограничение в текущем строении параметра.
Когда 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.
В Model Element столбце отображается путь к элементам модели, где используется параметр.
По умолчанию: пустой
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец активируется.
Программное обеспечение ищет в вашей модели параметры, которые можно сконфигурировать и загрузить в Parameter Table. Если ваша модель использует ссылку на строение, Simulink Design Verifier не поддерживает поиск параметров при использовании кнопки Find in Model. Для получения дополнительной информации см. Раздел «Совместное использование строения с несколькими моделями».
При выборе Enable parameter configuration и Use parameter table эта кнопка активируется.
Добавляет параметры к Parameter Table из списка, хранящегося в файле.
При выборе Enable parameter configuration и Use parameter table эта кнопка активируется.
Экспорт текущих параметров в Parameter Table в файл.
При выборе Enable parameter configuration и Use parameter table эта кнопка активируется.
