11.2.7 ALE计算的检查