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

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

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

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

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

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

    • Inport и Outport блоки

    • Блочные выходы

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

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

  • Исходные данные

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

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

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

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

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

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

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

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

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

  • Выведенные минимальное и максимальное значения

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

Вывод Областей значений с использованием Проекта Областей значений

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Автоматическое заглушение

Что такое автоматическое заглушение?

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

Как автоматически заглушаться Работами

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

Программное обеспечение не может «заглушить» все блоки Simulink, такие как блок Integrator. Смотрите блоки, отмеченные как «не упрямые» в блоках Simulink, поддерживаемых для анализа области значений.

Моделирование совместимости с анализом областей значений

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

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

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

  2. В Simulink откройте модель и настройте ее для использования с помощью Fixed-Point Tool. Для получения дополнительной информации см. Раздел «Настройка модели».

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

  4. В Fixed-Point Tool, под New, выберите Iterative Fixed-Point Conversion рабочий процесс.

  5. В разделе System Under Design (SUD) выберите систему или подсистему, представляющую интерес.

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

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

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

    Далее Fixed-Point Tool:

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

    • Определяет неподдерживаемые блоки.

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

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

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

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

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

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

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

    Вывод Областей значений с использованием Проекта Областей значений

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

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

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

    Моделирование совместимости с анализом областей значений

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

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

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

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

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

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

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

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