13.1.2.1 차분 측위(Differential Positioning)의 수학적 모델링

GNSS 기반 정밀 반송파 측위 시스템이 지니는 거대한 오차의 본질적인 물리 특성은, 그 치명적인 오차 요인들이 대부분 ’지구의 불투명한 기체 대기’와 ’우주 궤도의 위성 시계 편향’이라는 거시적이고 전역적인 물리 환경 공간에 공통으로 강하게 종속되어 있다는 점이다. 즉, 동일한 작전 지역 바운더리 내에 위치한 두 대의 수신기(지상 고정 베이스와 상공의 비행 콥터)가 동일한 우주 위성을 비스듬히 함께 올려다볼 때, 두 수신기는 거의 완벽히 동일한 물리적 두께의 전리층과 대류권 매질 렌즈를 관통한 전파 빔을 수신하게 된다.
이러한 거대 오차들의 ‘공간적 상관성(Spatial Correlation)’ 이자 태생적 교집합이야말로, RTK 시스템 알고리즘이 도저히 불가능해 보이는 밀리미터 단위의 극초정밀도를 쥐어 짜낼 수 있는 가장 결정적이고 우아한 물리적 돌파구 단서가 된다.

만약 로버(Rover) 에이전트 수신기가 자체적인 칼만 필터(EKF)의 이노베이션 루프만으로 이 거대한 우주 통신 오차들을 무식하게 하나하나 개별 항으로 찢어 추정하려 든다면, 추정기 내부 상태 행렬 시스템의 자유도(Degree of Freedom)와 미지수 볼륨이 통제 불가 수준으로 폭증하여 위치 해(Position Solution)가 끝없이 우주 밖으로 수렴하지 못하고 발산(Divergence)해 버릴 것이다.

이 거대한 맹점을 가장 수학적으로 우아하게 척살 우회 해결하기 위해, PX4-Autopilot 관제 생태계 및 고정밀 수신기 펌웨어는 고립된 기하학적 참거리를 미련하게 직접 구하려 애쓰는 대신, 네트워크 텔레메트리로 연결된 기준국(Base)과 이동국(Rover) 양단 간의 거대 관측치 행렬들을 무자비하게 서로 ‘빼기 연산(수학적 차감, Difference)’ 해버림으로써 공통 오차 집합을 수학 수식 보드 위에서 완전히 붕괴 소거하는 위대한 대수학적 파이프라인, 즉 차분 측위(Differential Positioning) 기법을 최우선 코어로 채택 매핑한다.

본 절에서는 이 폭력적이고 아름다운 차분 측위의 철학적 대원칙과 계층적 수학적 작동 모델 뼈대를 개괄한다.

1. 차분(Difference) 선형 연산의 논리적 당위성과 목적

차분 측위 매트릭스의 심장에 깔린 기본 철학은 매우 단순하면서도 그 기동이 파괴적이다.
“우리가 신의 영역에 속한 대기 오차의 참값 스칼라를 정확히 알 수 없다면, 그 오차 자체를 아예 양변 방정식 밖으로 통째로 지워 버리자.”

GNSS 수신기의 원시 텔레메트리 관측치(의사거리 $P$ 및 반송파 위상 $\Phi$ ) 방정식에는 척결해야 할 다음과 같은 4개의 거대한 불확실성 열역학 더미가 끈적하게 섞여 있다.

$d_{ion}$ (전리층 지연 가속 오차): 지역 공간적 상관성이 매우 극도로 높다. (통상 기저선 Baseline $10\sim20km$ 이내 돔에서 99% 동일 벡터 취급 가능)
$d_{trop}$ (대류권 지연 굴절 오차): 두 수신기의 고도(Altitude) 차이가 극단적으로 크지 않다면 매우 균일하고 유사하다.
$dt_s$ (위성 하드웨어 원자 시계 오차): 우주의 위성 트랜스폰더 하드웨어 내부의 원천적 클럭 타이밍 오류이므로, 지금 이 순간 지구상의 이걸 쳐다보는 모든 수신기에 100% 한 치 오차 없이 완벽히 동일하게 스칼라로 작용한다.
$dt_u$ (수신기 하드웨어 쿼츠 시계 오차): 각 엣지 수신기의 값싼 저가형 보드 수정 발진기(Oscillator) 결함 오차로 인해 발생하며, 단일 수신기가 현재 수신 중인 다채널 모든 위성 관측치 텐서에 공통 스칼라로 획일되게 묻어 작용한다.

만약 두 대의 수신기(Base와 Rover)가 각기 관측한 이 거대한 수식 다발을 동일한 GPS 타임 동기화 억양 하에 무선으로 실시간 교환할 수 있다면(이것이 곧 RTCM 메시지이다), 단순 뺄셈 텐서 조합이라는 직관적인 선형 결합(Linear Combination) 행렬 연산만으로 위 4가지 거대 오차를 한순간에 흔적도 없이 삭제(Cancel-out) 증발시킬 수 있는 기적이 일어난다.

2. 교차 차감 연산의 3단계 계층 구조 모델링

PX4 내비게이션 추정기(ECL) 등 최신 융합 측위 엔진 코어는 이 날카로운 매스 뺄셈의 대상을 누구로 타겟팅할 것인가에 따라, 차분 연산 궤적을 다음과 같이 3단계의 연쇄적인 수학적 행렬망 체인으로 계층화하여 무자비하게 전개 파고든다.

단일 차분 (Single Difference, SD) 행렬:
‘동일한 GPS 위성( $i$ )’ 한 개를 타겟으로 바라보는 ‘두 대의 수신기 단말(Base-Rover)’ 간의 관측 방정식 뭉치를 서로 뺀다.
이 1차 타격 연산은 우주 공간에서 내리꽂히는 막강한 위성 시계 절대 오차( $dt_s$ ) 벡터를 도화선 즉각적으로 추정치 $0$ 으로 수학적 융괴시켜 버리며, 덤으로 공통 기저선 돔 내부의 거대 대기 굴절 오차( $d_{ion}, d_{trop}$ ) 텐서를 기적처럼 99% 깎아내어 소멸시킨다.
이중 차분 (Double Difference, DD) 행렬:
위의 1차 SD 타격 연산 결과를 뼈대 바탕으로, 동일한 두 대의 수신기(Base-Rover) 망 묶음이 동시에 바라보고 있는 ‘우주의 두 대의 위성( $i$ 와 $j$ )’ 간의 SD 관측치 파편을 한 번 더 공간 교차 차감시켜 박살 낸다.
이 2차 연산 콤보의 가장 위대하고 절대적인 달성 목표는, 각각의 로버와 베이스 기판 내부에 고질적으로 잔존하여 끝까지 애를 처먹이던 수신기 자체의 쓰레기 같은 하드웨어 쿼츠 시계 오차 편향( $dt_{u,base}, dt_{u,rover}$ )마저 이중 차감의 양변 밖 스칼라로 완벽히 통째 도려내어 증발 영구 삭제하는 데 그 찬란한 목적이 있다.
삼중 차분 (Triple Difference, TD) 행렬:
공간이 끝났다면 이제 시간이다. 시계열 상의 시간축(Time Epoch) 흐름인 ’현재 시간( $t_2$ )’과 ‘1Hz 이전 과거 시간( $t_1$ )’ 사이의 관측된 DD 차분 관측치 텐서를 차원 이동하여 한 번 더 시간축으로 빼버린다(Time Differencing).
이는 추적 파동의 이가 빠져버린 정적 사이클 슬립(Cycle Slip) 이상치 피크를 도함수로 감별 색출해 내거나, 초수렴 단계 이전의 1차적인 동적 궤도 초기 위치 근삿값을 재빨리 가늠 타격할 때 주로 쓰이는 고급 필터링 기법 구조이다.

이 거대하고 폭력적인 3단계 뺄셈의 사슬 통로 구조 속에서, 의사거리 방정식 덩어리와 반송파 위상 방정식 텐서는 완전히 동일한 논리적 차감 메커니즘을 동일하게 강제로 따른다. 하지만, 극도로 골치 아프게도 반송파 위상의 경우 오직 우주가 남겨준 영구적인 족쇄 마법 상수인 위상 모호정수 폭탄( $N$ ) 의 잔재 찌꺼기가 차분 행렬 곳곳에 소거되지 못하고 곱연산으로 엉겨 붙어 끝까지 남게 되는 처절한 수리적 사투가 벌어진다.

바로 이어지는 증명 세부 절들에서는 이 거대한 대수망의 서막인 단일 차분(SD) 뼈대와 이중 차분(DD) 방정식 행렬망이 과연 수리적으로 어떻게 한 치의 오차와 여지없이 우아하게 전개 분해되어 증명 정규화되는지, 그 냉혹한 수식의 톱니바퀴 내부를 낱낱이 파헤쳐 타격 무력화할 것이다.