检查可调模块参数是否定义为命名常量
检查 ID:mathworks.jmaab.jc_0645
规范:jc_0645:可标定参数的定义
描述
检查可调模块参数是否定义为命名常量。
作为标定目标的模块参数必须定义为命名常量。以下参数例外:
设置为 0 的初始值
设置为 1 的增量值、减量值
算术表达式
注意
字面值用于数组索引。
下表列出 Simulink® 模块及其各自支持的参数:
| 模块 | 支持的参数 |
|---|---|
| Backlash | BacklashWidth、InitialOutput |
| Bias | Bias |
| Combinatorial Logic | TruthTable |
| Constant | Value |
| Dead Zone | LowerValue、UpperValue |
| Derivative | CoefficientInTFapproximation |
| Discrete-Time Integrator | gainval、InitialCondition、UpperSaturationLimit、LowerSaturationLimit |
| Gain | Gain |
| Hit Crossing | HitCrossingOffset |
| Initial Condition (IC) | Value |
| Integrator | InitialCondition、UpperSaturationLimit、LowerSaturationLimit、AbsoluteTolerance |
| n-D Lookup Table | |
| Magnitude-Angle to Complex | ConstantPart |
| Memory | InitialCondition |
| Permute Dimensions | Order |
| Quantizer | QuantizationInterval |
| Rate Limiter | RisingSlewLimit、FallingSlewLimit、InitialCondition |
| Rate Transition | InitialCondition |
| Real-Imag to Complex | ConstantPart |
| Relay | OnSwitchValue、OffSwitchValue、OnOutputValue、OffOutputValue |
| Saturation | UpperLimit、LowerLimit |
| Sine | Amplitude、Bias、Frequency、Phase、Samples、Offset |
| State-Space | A、B、C、D、X0、AbsoluteTolerance |
| Switch | Threshold |
| Transport Delay | DelayTime、InitialOutput、BufferSize、PadeOrder |
| Unit Delay | InitialCondition |
此检查需要 Simulink Check™ 许可证。
检查参数化
此检查不包括子检查,因为 MAB 建模规范仅提供一个子 ID。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - 无建议
JMAAB - a
结果和建议的操作
| 条件 | 建议的操作 |
|---|---|
| 可调模块参数值的使用不正确。 | 将可调模块参数字面值更改为命名常量。 |
功能和限制
对库模型运行。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。
允许排除模块和图。
编辑时检查
此检查支持编辑时检查。