11.4 公式检测与错误值分析