Параметры конфигурации модели: диагностика валидности данных

Категория Diagnostics > Data Validity включает параметры для обнаружения проблем, связанных с данными (сигналы, параметры и состояния). Эти вопросы включают:

  • Потеря информации из-за квантования типа данных и переполнения.

  • Потеря настраиваемости параметра в сгенерированном коде.

  • Потеря информации из-за Data Store Write и Data Store Read упорядоченного расположения блоков.

В диалоговом окне Configuration Parameters на панели Data Validity находятся следующие параметры конфигурации.

ПараметрОписание

Разрешение сигнала

Выберите как Simulink® программное обеспечение разрешает сигналы и состояния, чтобы Simulink.Signal объекты.

Деление на сингулярную матрицу

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

Недоопределенные типы данных

Выберите диагностическое действие, которое будет выполнено, если программное обеспечение Simulink не смогло вывести тип данных сигнала во время распространения типа данных.

Проверка области значений симуляции

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

Проверка усечения строк

Выберите диагностическое действие, которое будет выполнено, если строчный сигнал усечен.

Перенос при переполнении

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

НеДоопределённые размерности

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

Насыщение при переполнении

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

Вывод блока Inf или NaN

Выберите диагностическое действие, которое будет выполнено, если значение выхода блока Inf или NaN на текущем временном шаге.

префикс «rt» для идентификаторов

Выберите диагностическое действие, которое должно быть предпринято во время генерации кода, если имя объекта Simulink (имя параметра, блока или сигнала) начинается с rt.

Обнаружение понижающей передачи

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

Обнаружение переполнения

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

Обнаружение нижнего потока

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

Обнаружение потерь точности

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

Обнаружение потери настраиваемости

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

Обнаружение чтения перед записью

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

Обнаружение записи после чтения

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

Обнаружение записи после записи

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

Многозадачное хранилище данных

Выберите диагностическое действие, которое должно быть предпринято, когда одна задача считывает данные из блока Data Store Memory, в который другая задача записывает данные.

Повторяющиеся имена хранилища данных

Выберите диагностическое действие, которое должно быть выполнено, когда модель содержит несколько хранилищ данных с таким же именем. Хранилища данных могут быть определены блоками памяти хранилища данных или Simulink.Signal объекты.

Эти параметры конфигурации находятся в разделе Advanced parameters.

ПараметрОписание

Превышены границы массива

Убедитесь, что выделенная Simulink память, используемая в S-функциях, не записывает сверх назначенных границ массива при записи в его выходы, состояния или рабочие векторы.

Верификация модели, разрешающий

Включите блоки верификации модели в текущей модели либо глобально, либо локально.

Обнаружение нескольких ведущих блоков, выполняющихся в одном и том же временном шаге

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

Недоопределенное обнаружение инициализации

Выберите, как программа Simulink обрабатывает инициализацию начальных условий для условно выполненных подсистем, блоков Merge, истекшего времени подсистемы и блоков Discrete-Time Integrator.

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

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

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

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

Похожие темы