Режим переопределения типов данных можно использовать для временного переключения типов данных в модели. Эта возможность позволяет поддерживать одну модель, но моделировать модель с использованием нескольких типов данных и проверять числовое поведение для каждого типа. Например, если вы реализуете алгоритм, используя типы данных с двойной точностью, и хотите проверить, подходит ли алгоритм также для использования с одной точностью, вы можете применить переопределение типа данных к типам данных с плавающей запятой, чтобы заменить все двойники одиночными, не оказывая постоянного влияния на любые другие типы данных в вашей модели.
Чтобы применить переопределение типа данных, необходимо указать тип данных, который требуется применить, и тип данных, который требуется заменить.
Переопределение типа данных можно задать следующим способом. В этом примере все типы данных с плавающей запятой изменяются на одиночные.
Например:
set_param(gcs, 'DataTypeOverride', 'Single',... 'DataTypeOverrideAppliesTo','Floating-point');
Дополнительные сведения о параметрах переопределения типа данных см. в разделе Переопределение типа данных элемента управления.
В этом примере используется ex_single_validation модель, чтобы показать, как можно использовать переопределение типа данных. Это доказывает, что алгоритм, реализующий типы данных с двойной точностью, также подходит для встраиваемого использования с одной точностью.
Исходные данные In2 и In3 представляют собой входные данные двойной точности для блоков Сумма (Sum) и Произведение (Product).
Выходы блоков Sum и Product являются входами данных в блок Multiport Switch.
Вход In1 - управляющий вход в блок многопортового коммутатора. Значение этого управляющего входа определяет, какой из других его входов, сумма In2 и In3 или продукт In2 и In3, переходит к выходному порту. Поскольку In1 является контрольным входом, его тип данных int8.
Блок реляционного оператора сравнивает выходные данные блока мультипортового коммутатора с 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 типы данных, но не влияет на целочисленные или логические типы данных.
Выполнить проверку помощника по модели
В модели на вкладке Моделирование (Modeling) щелкните Помощник по модели (Model Advisor).
В диалоговом окне «Выбор системы» нажмите кнопку «ОК».
Откроется Помощник по модели (Model Advisor).
В помощнике по модели разверните узел «По задаче» и в разделе «Моделирование систем с одной точностью» установите флажок «Определить сомнительные операции для строгой проверки конструкции с одной точностью».
В правой области щелкните Выполнить эту проверку.
Проверка проходит, указывая, что этот алгоритм подходит для использования с одной точностью. Чтобы обеспечить отсутствие типов данных с двойной точностью в создаваемом коде, перед созданием кода для встроенного использования с одной точностью используйте конвертер с одной точностью. Дополнительные сведения см. в разделе Начало работы с преобразователем с одной точностью (конструктор фиксированных точек).
Для определения блоков Simulink ®, поддерживающих единую точность, в командной строке введитеshowblockdatatypetable. Чтобы найти в модели блоки, не поддерживающие одиночную точность, используйте функцию проверки Model Advisor Определить сомнительные операции для проектирования со строгой одинарной точностью.
Simulink.AliasType | Simulink.NumericType