升达微积分相关的结果