Подтвердите встроенную модель с плавающей точкой

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

Примените переопределение типа данных к типам данных с плавающей точкой

Чтобы применить переопределение типа данных, необходимо задать тип данных, который вы хотите применить и тип данных, который вы хотите заменить.

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

Например:

set_param(gcs, 'DataTypeOverride', 'Single',...
 'DataTypeOverrideAppliesTo','Floating-point');

Для получения дополнительной информации о настройках переопределения типа данных смотрите Переопределение Типа данных Управления.

Подтвердите модель с одинарной точностью

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

О модели

  • Входные параметры In2 и In3 являются входными параметрами с двойной точностью к блокам продукта и Сумме.

  • Выходные параметры Суммы и блоков продукта являются вводами данных к Многопортовому блоку switch.

  • Вход In1 является входом управления к Многопортовому блоку switch. Значение этого входа управления определяет который из его других входных параметров, суммы In2 и In3 или продукта In2 и In3, передач в выходной порт. Поскольку In1 является входом управления, его типом данных является int8.

  • Блок Relational Operator сравнивает вывод Многопортового блока switch к In4 и выводит булев сигнал.

Запустите пример

Откройте модель

  1. Откройте модель ex_single_validation. В командной строке MATLAB®, введите:

    addpath(fullfile(docroot,'toolbox','simulink','examples'))
    ex_single_validation

Замените типы данных с плавающей точкой с одиночными играми

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

    set_param(gcs, 'DataTypeOverride', 'Single',...
     'DataTypeOverrideAppliesTo','Floating-point');
  2. В образцовом меню выберите Simulation> Update Diagram.

    Переопределение типа данных заменяет все с плавающей точкой (double) типы данных в модели с типами данных single, но не влияет на целочисленные типы данных или булевы типы данных.

Осуществите проверку Model Advisor

  1. Из образцового меню выберите Analysis> Model Advisor> Model Advisor.

  2. В Системном диалоговом окне Селектора нажмите OK.

    Model Advisor открывается.

  3. В Model Advisor расширьте узел By Task и, под Modeling Single-Precision Systems, выберите проверку Identify questionable operations for strict single-precision design.

  4. На правой панели нажмите Run This Check.

    Проверка передает указание, что этот алгоритм подходит для использования с одинарной точностью. Чтобы гарантировать, что никакие типы данных с двойной точностью не остаются в сгенерированном коде, используйте Конвертер С одинарной точностью прежде, чем сгенерировать код для встроенного использования с одинарной точностью. Для получения дополнительной информации смотрите Начало работы с Single Precision Converter (Fixed-Point Designer).

Блоки та одинарная точность поддержки

Чтобы идентифицировать блоки Simulink®, которые поддерживают одинарную точность в командной строке, вводят showblockdatatypetable. В модели, чтобы найти блоки, которые не поддерживают одинарную точность, использование, проверка Model Advisor Идентифицирует сомнительные операции для строгого проекта с одинарной точностью.

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

|

Похожие темы