检查饱和模块的使用

检查 ID：mathworks.jmaab.jc_0628

规范：jc_0628：饱和模块的使用

描述

此检查用于标识：

  • 带有任何类型转移操作的 Saturation 或 Saturation Dynamic 模块。该检查比较编译后的输入和输出数据类型是否匹配，或检查输出数据类型是否设置为继承: 与输入相同和继承: 与第二个输入相同，分别对应 Saturation 和 Saturation Dynamic 模块。

  • 上限未设置为小于输出数据类型的最大值（intmax、realmax），以及下限未设置为大于输出数据类型的最小值（intmin、-realmax）。

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

检查参数化

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

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

  • NA-MAAB - a

  • JMAAB - a

结果和建议的操作

条件建议的操作
输入和输出数据类型不同。将输出数据类型设置为继承: 与输入相同和继承: 与第二个输入相同，分别对应 Saturation 和 Saturation Dynamic 模块。
模块的上限值和下限值未设置为符合规范的值。

请执行以下操作之一：

  • 将输出数据类型的上限设置为小于最大值。

  • 将输出数据类型的下限设置为大于最小值。

功能和限制

  • 对库模型运行。

  • 可以分析封装子系统中的内容。默认情况下，输入参数 Look under masks 设置为 graphical。

  • 可以分析库链接模块的内容。默认情况下，输入参数 Follow links 设置为 on。

  • 允许排除模块和图。