Main Content

本页采用了机器翻译。点击此处可查看英文原文。

非有限数据

Simulink® Design Verifier™不支持非有限数据（例如NaN和Inf）及相关操作。

在分析过程中，软件按如下方式处理非有限操作：

  • 在 Relational Operator模块中：

    • 如果 关系运算符 参数是 isFinite，则输出始终为 1。

    • 如果 关系运算符 参数是 isNan 或 isInf，则输出始终为 0。

  • 在 MATLAB Function模块中：

    • 对于 isFinite 函数，输出始终为 1。

    • 对于 isNan 和 isInf 函数，输出始终为 0。