Спецификация Входных диапазонов в sldvData Полях

Когда вы анализируете модель, Simulink^® Design Verifier™ генерирует файл данных, когда он завершает свой анализ. Файлом данных является MAT-файл, который содержит sldvData структура. sldvData структура хранит все данные, которые программное обеспечение собирает и производит во время анализа. Можно использовать файл данных, чтобы настроить собственный анализ или сгенерировать пользовательский отчет.

Если ваша модель содержит заданные минимальные и максимальные значения на входных портах, sldvData структура содержит информацию о тех значениях. Например, после анализа ex_minmax_on_inports модель в Задает Входные диапазоны для Inport блоков, файл данных содержит следующие значения:

Для блока Input1:

sldvData.Constraints.DesignMinMax(1).value{1}.low

ans =

     1

sldvData.Constraints.DesignMinMax(1).value{1}.high

ans =

     5

Для блока Input2:

sldvData.Constraints.DesignMinMax(2).value{1}.low

ans =

    -1

sldvData.Constraints.DesignMinMax(2).value{1}.high

ans =

     1

Документация Simulink Design Verifier

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.