Simulink® Design Verifier™ не поддерживает следующие функции блока MATLAB function в программном обеспечении Simulink и функций MATLAB® в программном обеспечении Stateflow®. Избегайте использования этих неподдерживаемых функций в моделях, которые вы анализируете с Simulink Design Verifier.
Не поддерживаемый | Описание |
---|---|
Комплексные числа | Программное обеспечение поддерживает только вещественные числа и не может анализировать MATLAB для функций генерации кода то использование комплексные числа. |
'characters' | Программное обеспечение не поддерживает символы, которые позволяет MATLAB для генерации кода. |
C функции | Программное обеспечение не делает обращений за поддержкой к внешним функциям C, которые позволяет MATLAB для генерации кода. |
Внешние функции | Программное обеспечение поддерживает внешние функции только, когда они не влияют на вывод функции MATLAB. |
Классы Handle | Программное обеспечение не поддерживает классы Handle в блоке MATLAB function. Программное обеспечение действительно поддерживает классы значения. |
Simulink Design Verifier обеспечивает различные уровни поддержки MATLAB для библиотечных функций генерации кода. Программное обеспечение или полностью или частично поддерживает конкретные функции. Это не поддерживает другие функции.
Если ваша модель содержит неподдерживаемые функции, можно включить автоматическое блокирование, которое рассматривает интерфейс неподдерживаемых функций, но не их поведение. Однако, если какая-либо из неподдерживаемых функций влияет на результат симуляции, анализ может достигнуть только частичных результатов. Для получения дополнительной информации об автоматическом блокировании, смотрите Несовместимости Указателя с Автоматическим Блокированием.
Чтобы достигнуть 100%-го покрытия, избегайте использования неподдерживаемых библиотечных функций MATLAB в моделях, которые вы анализируете.
В следующей таблице перечислены поддержку Simulink Design Verifier категорий библиотечных функций в генерации кода из MATLAB:
Программное обеспечение поддерживает функции в той категории, обозначенной тире (—).
Программное обеспечение не делает функций поддержки в той категории.
Программное обеспечение поддерживает функцию в той категории с ограничениями, как задано.
Для полного списка доступных функций смотрите Функции и Объекты, Поддержанные для Генерации кода C/C++ — Алфавитный список (Simulink).
Функциональная категория | Поддержите примечания | |
---|---|---|
Функции Aerospace Toolbox | Не поддерживаемый. | |
Функции арифметического оператора | Поддерживаемый со следующими ограничениями: | |
mldivide, \
| Поддержки только скалярные аргументы. | |
mpower, ^
| Поддержки только целочисленные экспоненты. | |
mrdivide, /
| Поддержки только скалярные аргументы. | |
степень.^
| Поддержки только целочисленные экспоненты. | |
Функции битовой операции | — | |
Кастинг функций | Поддерживаемый со следующими ограничениями: | |
char | Не поддерживаемый. | |
typecast | Не поддерживаемый. | |
Функции Communications Toolbox™ | Не поддерживаемый. | |
Функции комплексного числа | Не поддерживаемый. | |
Функции Computer Vision Toolbox™ | Не поддерживаемый. | |
Функции типа данных | — | |
Производные и Интегральные функции | Не поддерживаемый. | |
Дискретные математические функции | — | |
Функции обработки ошибок | Поддерживаемый со следующими ограничениями: | |
assert | Поддерживаемый, но не ведет себя как блок Proof Objective. | |
Показательные функции | Поддерживаемый со следующими ограничениями: | |
exp | Не поддерживаемый. | |
expm | Не поддерживаемый. | |
expm1 | Не поддерживаемый. | |
log | Не поддерживаемый. | |
log2 | Не поддерживаемый. | |
log10 | Не поддерживаемый. | |
log1p | Не поддерживаемый. | |
nextpow2 | Не поддерживаемый. | |
nthroot | Не поддерживаемый. | |
reallog | Не поддерживаемый. | |
realpow | Не поддерживаемый. | |
realsqrt | Не поддерживаемый. | |
sqrt | Не поддерживаемый. | |
Фильтрация и функции свертки | Поддерживаемый со следующими ограничениями: | |
detrend | Не поддерживаемый. | |
Функции Fixed-Point Designer™ | Поддерживаемый со следующими ограничениями: | |
complex | Не поддерживаемый. | |
Функции гистограммы | Не поддерживаемый. | |
Функции Image Processing Toolbox™ | Не поддерживаемый. | |
Функции ввода и вывода | — | |
Интерполяция и геометрия вычисления | Поддерживаемый со следующими ограничениями: | |
cart2pol | Не поддерживаемый. | |
cart2sph | Не поддерживаемый. | |
pol2cart | Не поддерживаемый. | |
sph2cart | Не поддерживаемый. | |
Линейная алгебра | Не поддерживаемый. | |
Функции логического оператора | — | |
Функции MATLAB Compiler™ | Не поддерживаемый. | |
Функции матриц и массивов | Поддерживаемый со следующими ограничениями: | |
angle | Не поддерживаемый. | |
cond | Не поддерживаемый. | |
det | Не поддерживаемый. | |
eig | Не поддерживаемый. | |
inv | Не поддерживаемый. | |
invhilb | Не поддерживаемый. | |
logspace | Не поддерживаемый. | |
lu | Не поддерживаемый. | |
norm | Поддерживаемый только, вызвано с помощью синтаксиса norm(A,p) где | |
normest | Не поддерживаемый. | |
pinv | Не поддерживаемый. | |
planerot | Не поддерживаемый. | |
qr | Не поддерживаемый. | |
rank | Не поддерживаемый. | |
rcond | Не поддерживаемый. | |
subspace | Не поддерживаемый. | |
Нелинейные численные методы | Не поддерживаемый. | |
Полиномиальные функции | Не поддерживаемый. | |
Функции реляционных операций | — | |
Округление и функции остатка | — | |
Функции множества | — | |
Обработка сигналов функционирует в MATLAB | Не поддерживаемый. | |
Функции Signal Processing Toolbox™ | Не поддерживаемый. | |
Специальные значения | Поддерживаемый со следующими ограничениями: | |
rand | Не поддерживаемый. | |
randn | Не поддерживаемый. | |
Специализированная математика | Не поддерживаемый. | |
Статистические функции | — | |
Строковые функции | Поддерживаемый со следующими ограничениями: | |
char | Не поддерживаемый. | |
ischar | Не поддерживаемый. | |
Тригонометрические функции | Не поддерживаемый. |