이중 차분 반송파 위상 측정치 활용 대류층 지연 오차의 수평 기울기 추정 (Estimation of Tropospheric Horizontal Gradient by Using Double-Differenced Carrier Phase Measurement)