Проект Панели верификатора: параметры
Обзор панели параметров
Задайте опции, которые управляют тем, как 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 выбраны, этот столбец активируется.
См. также
Min
В таблице параметров каждая строка представляет параметр, который может быть ограничен заданными значениями во время анализа Simulink Design Verifier.
Для параметров типа Simulink.Parameter при заданном минимальном значении столбец Min содержит заданное минимальное значение для параметра.
Настройки
По умолчанию: пустой
Зависимость
Когда Enable parameter configuration и Use parameter table выбраны, этот столбец активируется.
См. также
Max
В таблице параметров каждая строка представляет параметр, который может быть ограничен заданными значениями во время анализа 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 эта кнопка активируется.