避免对无符号整数使用一元负号：MAB建模规范jc_0451

MAB建模规范jc_0451规定，在Stateflow环境中，不得对无符号整数使用一元负号运算符。主要原因在于，该运算不会产生预期的负数；由于无符号整数无法表示负值，运算结果反而会是一个较大的正数。

此外，该运算的结果可能因运行环境而异，从而引发非预期行为以及难以排查的缺陷。因此，最佳实践是完全避免此类操作。鉴于定位此类缺陷通常非常耗时，MES Model Examiner (MXAM)能够标记违反该规范的情况，帮助您满足合规要求。