Панель верификатора проекта: Параметры

Обзор панели параметров

Задайте опции, которые управляют, как Simulink® Design Verifier™ использует настройки параметра при анализе моделей.

Включите настройку параметра

Задайте, использует ли программное обеспечение настройки параметра при анализе модели. Выберите эту опцию, чтобы обработать параметры как переменные в анализе Simulink Design Verifier.

Задавать диапазоны значений или ограничения для параметров:

  • Используйте конфигурационный файл параметра. Введите имя файла в Parameter configuration file.

  • Используйте таблицу параметров. Выберите Use parameter table.

Настройки

Значение по умолчанию: 'off'

На

Программное обеспечение Simulink Design Verifier использует заданные настройки параметра при анализе модели.

'off'

Программное обеспечение Simulink Design Verifier не использует настройки параметра при анализе модели.

Зависимость

Этот параметр включает Parameter configuration file.

Информация о командной строке

Параметр: DVParameters
Ввод: массив символов
Значение: 'on' | 'off'
Значение по умолчанию: 'off'

Смотрите также

Задайте ограничительные значения для параметров

Используйте таблицу параметров

Позвольте Таблице параметров задать диапазоны значений или ограничения для параметров.

Настройки

Значение по умолчанию: 'off'

На

Используйте Таблицу параметров, чтобы задать параметры как переменные для анализа Simulink Design Verifier.

'off'

Не используйте Таблицу параметров, чтобы задать параметры как переменные для анализа 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 выбраны, эта кнопка включена.

Clear

Зависимость

Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.

Подсветите в модели

Зависимость

Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.

Использование

В Таблице параметров каждая строка представляет параметр, который может быть ограничен к заданным значениям во время анализа Simulink Design Verifier.

Столбец Use задает, использовать ли именованный параметр этих строк и заданное ограничение в текущей настройке параметра.

Настройки

Значение по умолчанию: 'off'

На

Используйте этот параметр и его заданное ограничение в текущей настройке параметра.

'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. Для получения дополнительной информации смотрите Долю Настройка с Многоуровневыми моделями (Simulink).

Зависимость

Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.

Добавьте из файла...

Добавляют параметры к Parameter Table из списка, сохраненного в файле.

Зависимость

Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.

Экспортируйте в файл...

Экспортирует текущие параметры в Parameter Table к файлу.

Зависимость

Когда Enable parameter configuration и Use parameter table выбраны, эта кнопка включена.

Для просмотра документации необходимо авторизоваться на сайте