한국형 SBAS에 사용가능한 정지궤도 위성 Inmarsat-4 F1의 궤도력 및 시계 보정오차 무결성 분석