检查不正确计算结果的诊断设置

检查 ID：mathworks.jmaab.jc_0806

规范：jc_0806：检测不正确的计算结果

描述

标识用来检测不正确计算结果的数据有效性诊断设置中配置参数的状态。

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

检查参数化

此检查不包括子检查，因为 MAB 建模规范仅提供一个子 ID。

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

  • NA-MAAB - a

  • JMAAB - a

结果和建议的操作

条件建议的操作
模型配置参数除以奇异矩阵 (CheckMatrixSingularityMsg) 未设置为错误。将输入参数值设置为错误。
模型配置参数模块输出为 Inf 或 NaN (SignalInfNanChecking) 未设置为错误。将输入参数值设置为错误。
模型配置参数溢出时绕回 (IntegerOverflowMsg) 未设置为错误。将输入参数值设置为错误。
模型配置参数溢出时饱和 (IntegerSaturationMsg) 未设置为错误。将输入参数值设置为错误。

功能和限制

  • 此检查没有其他功能与限制