Неличные данные

Программное обеспечение Simulink® Design Verifier™ не поддерживает неличные данные (например, NaN и Inf) и связанные операции.

Во время анализа программное обеспечение обрабатывает неличные операции можно следующим образом:

  • В блоке Relational Operator:

    • Если параметром Relational operator является isFinite, вывод всегда равняется 1.

    • Если параметром Relational operator является isNan или isInf, вывод всегда 0.

  • В блоке MATLAB function:

    • Для функции isFinite вывод всегда равняется 1.

    • Для isNan и функций isInf, вывод всегда 0.