解释北斗卫星导航高度计算的数学论文