GPS时间系统的校准原理分析