[논문 리뷰] Mixed integer programming for the resolution of GPS carrier phase ambiguities

Peiliang Xu, M. Elizabeth Cannon외 1명|arXiv (Cornell University)|2010. 10. 06.

GNSS positioning and interference참고 문헌 13인용 수 24

한 줄 요약

이 논문은 고정밀 GPS 위치 측정 및 항법에서 발생하는 정수 위상 불확실성 해결을 위해 두 가지 혼합 정수 프로그래밍 접근법을 제안한다: 단일 단계 비정확한 방법(최소 대각선 피벗을 사용한 가우스 소거법을 활용하여 단순 반올림을 개선)과 정확한 방법(문제를 0-1 선형 정수 프로그래밍으로 재구성). 주요 기여는 비정규화 변환을 통한 상관관계 제거의 체계적 정의 및 IUGG1995 회의에서 처음으로 제시된 정렬된 QR MIMO 디커더.

ABSTRACT

This arXiv upload is to clarify that the now well-known sorted QR MIMO decoder was first presented in the 1995 IUGG General Assembly. We clearly go much further in the sense that we directly incorporated reduction into this one step, non-exact suboptimal integer solution. Except for these first few lines up to this point, this paper is an unaltered version of the paper presented at the IUGG1995 Assembly in Boulder. Ambiguity resolution of GPS carrier phase observables is crucial in high precision geodetic positioning and navigation applications. It consists of two aspects: estimating the integer ambiguities in the mixed integer observation model and examining whether they are sufficiently accurate to be fixed as known nonrandom integers. We shall discuss the first point in this paper from the point of view of integer programming. A one-step nonexact approach is proposed by employing minimum diagonal pivoting Gaussian decompositions, which may be thought of as an improvement of the simple rounding-off method, since the weights and correlations of the floating-estimated ambiguities are fully taken into account. The second approach is to reformulate the mixed integer least squares problem into the standard 0-1 linear integer programming model, which can then be solved by using, for instance, the practically robust and efficient simplex algorithm for linear integer programming. It is exact, if proper bounds for the ambiguities are given. Theoretical results on decorrelation by unimodular transformation are given in the form of a theorem.

연구 동기 및 목표

• 고정밀 GPS 위치 측정 및 항법에서 발생하는 정수 위상 불확실성 해결이라는 핵심 과제를 해결하기 위해.
• 유동 추정 불확실성의 전체 가중치 및 상관관계 정보를 통합함으로써 히وري스틱 반올림 방법을 초월하기 위해.
• 적절한 경계 조건이 제공될 경우, 0-1 선형 정수 프로그래밍으로 재구성함으로써 이론적으로 타당한 정확한 해법을 제공하기 위해.
• 테우니센의 작업을 확장하여 불확실성 간 상관관계를 제거하는 유니모듈라 변환의 수학적 기초를 마련하기 위해.
• 불확실성 해결을 위한 비반복적, 단일 단계의 새로운 접근법으로 정렬된 QR MIMO 디커더를 제시하기 위해.

제안 방법

• 이론적 증명에 기반해 이러한 변환이 존재한다는 것을 바탕으로, 정수 유니모듈라 변환을 적용하여 유동 추정 불확실성을 상관관계 없애기 위해.
• 변환된 불확실성 공분산 행렬에 최소 대각선 피벗을 사용한 가우스 소거법을 적용하여, 가중치가 높고 상관관계가 낮은 불확실성을 우선순위에 두기 위해.
• 직접 변환된 실수값 불확실성을 반올림하는 단일 단계 비정확한 방법을 제안하며, 대각선 가중치 선택을 통해 잘못된 선택에 대한 처벌을 부과함.
• 정수 최소 제곱 문제를 변환 행렬과 목적 함수를 사용하여 0-1 이차 정수 프로그래밍 모델로 재구성함.
• 이차 항 $ b_i b_j $ 를 대체하기 위해 이진 변수를 도입하여 0-1 이차 프로그래밍을 표준 0-1 선형 정수 프로그래밍 모델로 선형화함.
• 최종 0-1 선형 정수 프로그래밍 문제를 표준 알고리즘을 사용하여 해결함으로써, 적절한 경계 조건이 제공될 경우 정확성을 보장함.

실험 결과

연구 질문

• RQ1 가중치 및 불확실성 간 상관관계를 고려한 단일 단계 비정확한 방법이 GPS 불확실성 해결에서 단순 반올림보다 우월한가?
• RQ2 유니모듈라 변환을 통해 불확실성 간 상관관계를 어느 정도 제거할 수 있으며, 정수 최소 제곱 추정의 정확도는 얼마나 향상되는가?
• RQ3 적절한 경계 조건이 제공될 경우 혼합 정수 최소 제곱 문제를 정확히 0-1 선형 정수 프로그래밍 문제로 재구성할 수 있는가?
• RQ4 제안된 최소 대각선 피벗 전략은 반복적 탐색 방법과 비교해 계산 효율성 및 해의 품질 측면에서 어떻게 비교되는가?
• RQ5 GPS 불확실성 해결 맥락에서 상관관계를 제거하는 유니모듈라 변환의 존재에 대한 이론적 근거는 무엇인가?

주요 결과

• 최소 대각선 피벗을 사용한 단일 단계 비정확한 방법은 반복 없이도 가중치 및 상관관계 정보를 완전히 통합함으로써 단순 반올림을 초월함.
• 이론적 증명을 통해 유동 추정 불확실성을 상관관계 없애는 유니모듈라 변환이 존재한다는 것을 확인함으로써, 테우니센의 1994년 연구를 확장함.
• 0-1 선형 정수 프로그래밍으로의 재구성은 적절한 경계 조건이 제공될 경우 불확실성 해결 문제의 정확한 해를 가능하게 함.
• 0-1 선형 프로그래밍 모델의 목적 함수는 변환 후 잔차 제곱합을 최소화하는 것과 동일하며, 상수항은 생략됨.
• 선형화 기법은 성공적으로 이차항 $ b_i b_j $ 를 이진 변수 $ v_k $ 로 대체하여 문제를 표준 0-1 정수 프로그래밍 형태로 유지함.
• 논문은 정렬된 QR MIMO 디커더가 IUGG1995 회의에서 처음으로 제시되었음을 규명하였으며, 이는 GPS 불확실성 해결 분야에서 기초적인 순간임.