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

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

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

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

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

Например:

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

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

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

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

О модели

Входные параметры In2 и In3 входные параметры с двойной точностью с блоками Product и Sum.
Выходные параметры Sum и блоков Product являются вводами данных с блоком Multiport Switch.
Вход In1 вход управления с блоком Multiport Switch. Значение этого входа управления определяет который из его других входных параметров, суммы In2 и In3 или продукт In2 и In3, передачи в выходной порт. Поскольку In1 вход управления, его типом данных является int8.
Блок Relational Operator сравнивает выход блока Multiport Switch к In4, и выходные параметры булев сигнал.

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

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

Откройте ex_single_validation модель. В командной строке MATLAB^®, введите:
```
addpath(fullfile(docroot,'toolbox','simulink','examples'))
ex_single_validation
```

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

В командной строке замените типы данных с плавающей точкой в модели с одиночными играми
```
set_param(gcs, 'DataTypeOverride', 'Single',...
 'DataTypeOverrideAppliesTo','Floating-point');
```
В модели, на вкладке Modeling, нажимают Update Model.
Переопределение типа данных заменяет все с плавающей точкой (double) типы данных в модели с single типы данных, но не влияет на целочисленные типы данных или булевы типы данных.

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

Из модели, на вкладке Modeling, нажимают Model Advisor.
В Системном диалоговом окне Селектора нажмите OK.
Model Advisor открывается.
В Model Advisor расширьте узел By Task и, под Modeling Single-Precision Systems, выберите проверку Identify questionable operations for strict single-precision design.
На правой панели нажмите Run This Check.
Проверка передает указание, что этот алгоритм подходит для использования с одинарной точностью. Чтобы гарантировать, что никакие типы данных с двойной точностью не остаются в сгенерированном коде, используйте Конвертер С одинарной точностью прежде, чем сгенерировать код для встроенного использования с одинарной точностью. Для получения дополнительной информации смотрите Начало работы с Single Precision Converter (Fixed-Point Designer).

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

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

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