13.4 校核计算