Main Content

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

逻辑运算

如果您有一个包含逻辑与算术运算的 Simulink®模型,请考虑仅分析逻辑运算。

Simulink Design Verifier™ 软件不支持浮点数的非线性算术,例如乘法或除法,除非乘法操作数或除数之一是常数。

为了简化包含整数或浮点数的模型,软件将模型计算映射到布尔变量的表达式中。例如,软件可能将一个八位数表示为一组八个布尔值,每个数字一个。它可能将两个八位整数的逐位 OR 运算表示为八个单独的逻辑 OR 运算。

将一种数据类型的问题映射到布尔变量是复杂的,并且当软件执行这种映射时,这种复杂性会增加。与处理具有大整数或浮点信号的模型相比,该软件处理以逻辑信号为主的模型的效率更高。

注意

Simulink Design Verifier 软件可以在浮点输入值通过线性不等式(例如 x < y 或 a > 0)影响设计时处理浮点输入。

此外,输入的复杂性可能由某些强制类型转换操作造成。例如,将 double 转换为 int8 在某些情况下会引入非线性。