定积分计算过程