非有限数据
Simulink® Design Verifier™不支持非有限数据(例如NaN
和Inf
)及相关操作。
在分析过程中,软件按如下方式处理非有限操作:
在 Relational Operator模块中:
如果 关系运算符 参数是 isFinite,则输出始终为 1。
如果 关系运算符 参数是 isNan 或 isInf,则输出始终为 0。
在 MATLAB Function模块中:
对于
isFinite
函数,输出始终为 1。对于
isNan
和isInf
函数,输出始终为 0。