检查基本逻辑和数值运算

检查 ID：mathworks.jmaab.na_0002

规范：na_0002：基本逻辑和数值运算的适当使用

检查逻辑模块和数值模块的数据类型，并在数据类型不适用于运算时进行标识。

逻辑模块的数据类型应为布尔型。逻辑模块包括：

数值模块的数据类型应为非布尔型。数值模块包括：

此检查需要 Simulink^® Check™ 许可证。

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID（一个或多个）。

作为参考，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：

要自定义此检查的分析中包含的模块和封装，请使用模型顾问配置编辑器。

规范子 ID	条件	建议的操作
na_0002_a：检查用于数值运算的模块的输入数据类型。	数值运算模块的数据类型为布尔型。	请考虑对数值运算模块使用非布尔输入。
na_0002_b：检查用于逻辑运算的模块的输入数据类型。	逻辑运算模块的数据类型不是布尔型。	请考虑对逻辑运算模块使用布尔输入。