Как аналитические работы области значений

Анализ модели с анализом области значений

Модель, которую вы хотите анализировать, должна быть совместима с анализом области значений. Если ваша модель не совместима, или замена неподдерживаемые блоки, или разделите модель так, чтобы можно было анализировать части модели, которые совместимы. Для получения дополнительной информации смотрите Совместимость Модели с Анализом Области значений.

Программное обеспечение Fixed-Point Designer™ выполняет статический анализ области значений вашей модели, чтобы получить минимальные и максимальные значения области значений для сигналов в модели. Программное обеспечение анализирует поведение модели и вычисляет значения, которые могут произойти в процессе моделирования для каждого блока Outport. Область значений этих значений называется derived range.

Программное обеспечение статически анализирует области значений отдельных расчетов в основанном на модели на:

  • Указанные диапазоны проекта, известные как значения design minimum and maximum, например, минимальные и максимальные значения, заданные для:

    • Inport и блоки Outport

    • Блокируйте выходные параметры

    • Введите, выведите, и локальные данные, используемые в блоках Stateflow Chart и MATLAB Function

    • Объекты данных Simulink® (Simulink.Signal и Simulink.Parameter объекты

  • Входные параметры

  • Семантика каждого вычисления в блоках

Если модель содержит объекты, которые анализ не может поддержать, если это возможно, программное обеспечение использует автоматическое блокирование.

Анализ области значений пытается сузить выведенную область значений при помощи всех указанных диапазонов проекта в модели. Чем больше информации области значений проекта вы указываете, тем более вероятно анализ области значений должен успешно выполниться. Когда программное обеспечение выполняет анализ, оно выводит новую информацию об области значений для модели. Программное обеспечение затем пытается использовать эту новую информацию, вместе с заданными областями, вывести области значений для остающихся объектов в модели.

Для моделей, которые содержат операции с плавающей точкой, анализ области значений может сообщить об области значений, которая немного больше, чем ожидалось. Это различие происходит из-за погрешностей округления, потому что программное обеспечение аппроксимирует числа с плавающей запятой рациональными числами бесконечной точности для анализа и затем преобразует в плавающую точку для создания отчетов.

Следующая таблица подводит итог, как анализ выводит информацию об области значений и обеспечивает ссылки на примеры.

Когда...Как аналитические работыПримеры

Вы задаете минимум проекта и максимальные данные для блока выход.

Выведенная область значений в блоке выход основана на этих заданных значениях и на следующих значениях для блоков, соединенных с его вводами и выводами:

  • Заданные минимальные и максимальные значения

  • Полученные минимальные и максимальные значения

Выведите области значений Используя области значений проекта

Параметр на блоке имеет начальные условия и область значений проекта.

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

Выведите области значений Используя начальные условия блока

Модель содержит параметр с заданной областью, и класс памяти параметра установлен в Автоматический.

Анализ не учитывает диапазон, указанный для параметра. Вместо этого это использует значение параметров.

Выведите области значений для Simulink. Объекты параметра

Модель содержит параметр с заданной областью, и класс памяти параметра не установлен в Автоматический.

Анализ учитывает диапазон, указанный для параметра, и игнорирует значение.

Выведите области значений для Simulink. Объекты параметра

Модель содержит недостаточную информацию об области значений проекта.

Анализ не может определить выведенные области значений. Укажите больше информации области значений проекта и повторно выполните анализ.

Диагностируйте анализ области значений системных объектов

Результаты анализа области значений могут зависеть от блока отсортированный порядок, который определяет порядок, в котором программное обеспечение анализирует блоки. Для получения дополнительной информации смотрите Управление и Отображение Порядок выполнения (Simulink).

Модель содержит конфликтную информацию об области значений проекта.

Анализ не может определить полученное минимальное или полученное максимальное значение для объекта. Fixed-Point Tool генерирует ошибку. Чтобы зафиксировать эту ошибку, исследуйте диапазоны проекта, указанные в модели, чтобы идентифицировать противоречивые спецификации проекта. Измените их, чтобы сделать их сопоставимыми.

Фиксация конфликтов области значений проекта

Автоматическое блокирование

Что такое Автоматическое Блокирование?

Автоматическое блокирование состоит в том, когда программное обеспечение рассматривает только интерфейс неподдерживаемых объектов в модели, не их фактическое поведение. Автоматическое блокирование позволяет вам анализировать модель, которая содержит объекты, которые не поддерживает программное обеспечение Fixed-Point Designer. Однако, если какой-либо неподдерживаемый элемент модели влияет на результаты деривации, анализ может достигнуть только частичных результатов.

Как автоматические блокирующие работы

С автоматическим блокированием, когда анализ области значений прибывает в неподдерживаемый блок, программное обеспечение игнорирует ("тупики") тот блок. Анализ игнорирует поведение блока. В результате блок выход может принять любое значение.

Программное обеспечение не может “заблокировать” все блоки Simulink, такие как блок Integrator. Смотрите блоки, отмеченные “не stubbable” в блоках Simulink, Поддержанных для Анализа Области значений.

Совместимость модели с анализом области значений

Чтобы проверить, что ваша модель совместима с анализом области значений, см.:

Как вывести области значений

  1. Проверьте, что ваша модель совместима с анализом области значений.

  2. В Simulink, открытом ваша модель и настроенный это для использования с Fixed-Point Tool. Для получения дополнительной информации смотрите Настроенный Модель.

  3. От вкладки Simulink Apps выберите Fixed-Point Tool.

  4. В Fixed-Point Tool, под System Under Design (SUD), выбирают систему или подсистему интереса.

  5. Под Режимом Набора Области значений выберите области значений Derived как метод набора области значений. Это конфигурирует модель, чтобы собраться, области значений с помощью идеализировали типы данных с плавающей точкой.

  6. В разделе Collect Ranges панели инструментов выберите Derived Ranges как метод набора области значений. Эта кнопка конфигурирует модель, чтобы собраться, области значений с помощью идеализировали типы данных с плавающей точкой.

    По умолчанию инструмент собирает области значений с помощью информации проекта от системы в соответствии с проектом. Для получения дополнительной информации смотрите, Выводят Области значений на Уровне Подсистемы.

  7. Нажмите Prepare, чтобы иметь Fixed-Point Tool проверяют систему в соответствии с проектом для совместимости с процессом преобразования и сообщают о любых проблемах, найденных в модели.

    Fixed-Point Tool:

    • Проверяет модель по инструкциям фиксированной точки.

    • Идентифицирует неподдерживаемые блоки.

    • Идентифицирует блоки, которые должны спроектировать информацию об области значений.

  8. Нажмите кнопку Collect Ranges, чтобы запустить анализ.

    Анализ пытается вывести информацию об области значений для объектов в выбранной системе в соответствии с проектом. Ваши следующие шаги зависят от результатов анализа.

    Результаты анализаПоведение Fixed-Point ToolСледующие шагиДля получения дополнительной информации

    Успешно выводит данные об области значений для модели.

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

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

    Выведите области значений Используя области значений проекта

    Сбои, потому что модель содержит блоки, которые не поддерживает программное обеспечение.

    Генерирует ошибку и предоставляет информацию о неподдерживаемых блоках.

    Чтобы зафиксировать ошибку, рассмотрите информацию о сообщении об ошибке и замените неподдерживаемые блоки.

    Совместимость модели с анализом области значений

    Не может вывести данные об области значений, потому что модель содержит конфликтную информацию об области значений проекта.

    Генерирует ошибку.

    Чтобы зафиксировать эту ошибку, исследуйте диапазоны проекта, указанные в модели, чтобы идентифицировать противоречивые спецификации проекта. Измените области значений проекта, чтобы сделать их сопоставимыми.

    Фиксация конфликтов области значений проекта

    Не может вывести данные об области значений для объекта, потому что существует недостаточная информация области значений проекта, указанная на модели.

    Подсвечивает результаты для объекта.

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

    Диагностируйте анализ области значений системных объектов