張晟歌 程乃平 倪淑燕
摘 ?要: 利用載波相位觀測值可以大大提高導(dǎo)航定位精度,但整周模糊度的存在會嚴(yán)重影響結(jié)果的準(zhǔn)確性。為了解決整周模糊度對載波相位觀測值的影響,對LAMBDA算法求解整周模糊度的過程進(jìn)行分析和設(shè)計,提出利用協(xié)方差分解來降低模糊度組數(shù)之間相關(guān)性的算法,設(shè)計相應(yīng)的Matlab仿真驗證系統(tǒng)并進(jìn)行仿真。比較分析不同分解算法下的搜索域的大小以及修正解的準(zhǔn)確性。結(jié)果表明,下三角分解算法的整周模糊度解算算法在搜索域大小上比上三角分解算法大,且解算速度較快,能運(yùn)用于后續(xù)的姿態(tài)解算。
關(guān)鍵詞: 整周模糊度算法; Z變換; 協(xié)方差矩陣分解; LAMBDA算法; Matlab仿真; 仿真分析
中圖分類號: TN911.5?34 ? ? ? ? ? ? ? ? ? ? ? ?文獻(xiàn)標(biāo)識碼: A ? ? ? ? ? ? ? ? ? ? ? ?文章編號: 1004?373X(2019)15?0131?03
Simulation of integer ambiguity resolution algorithm based on GNSS system
ZHANG Shengge, CHENG Naiping, NI Shuyan
(Department of Optoelectronic Equipment, Space Engineering University, Beijing 101400, China)
Abstract: The use of carrier phase observations can greatly improve navigation positioning accuracy, but the presence of integer ambiguities can seriously affect the accuracy of the results. In order to eliminate the influence of the integer ambiguity on the carrier phase observations, the process of solving the whole?period fuzzy of the LAMBDA algorithm is analyzed and designed in this paper. An algorithm that uses covariance decomposition to reduce the correlation between the numbers of ambiguity groups is proposed. The corresponding Matlab simulation verification system was designed and simulated. The size of the search domain of different decomposition algorithms and the accuracy of the correcting solution are compared and analyzed. The results show that the integer ambiguity resolution algorithm of the lower triangular decomposition algorithm is larger than the upper triangular decomposition algorithm in the size of the search domain, and its solution speed is faster and can be used in subsequent pose calculation.
Keywords: integer ambiguity algorithm; Z transform; covariance matrix factorization; LAMBDA algorithm; Matlab simulation; simulation analysis
0 ?引 ?言
目前整周模糊度解算算法[1]是應(yīng)用最廣泛且解算成功率及效率很高的一種方法,是Teunissen教授在1993年提出的LAMBDA(The Least?squares Ambiguity Decorrelation Adjustment,最小二乘去相關(guān)模糊度搜索)算法[2]。其主要思想是基于最小二乘方法的搜索方法。通過對基于最小二乘搜索法中出現(xiàn)的協(xié)方差矩陣進(jìn)行處理,降低模糊度相關(guān)性,以此來提高搜索的效率。
本文進(jìn)行了整周模糊度搜索的主要算法相應(yīng)的Matlab仿真,比較了LAMBDA算法在不同協(xié)方差分解方式下整周模糊度搜索域即搜索性能,可以為整周模糊度解算方案的選擇提供參考依據(jù)。
1 ?最小二乘搜索
載波相位觀測模型[3]如式(1)所示:
整數(shù)最小二乘估計算法解算算法通常分為兩步:
1) 忽略[a]的整數(shù)約束,利用一般最小二乘法估計出[a]與[b]的浮點(diǎn)解[a],[b]及其協(xié)方差矩陣:
2) 利用浮點(diǎn)解搜索使目標(biāo)函數(shù)最小的整數(shù)作為整周模糊度固定解[a],搜索方式為:
在進(jìn)行搜索求解時,搜索空間表示為:
式(7)是一個以[a]為中心的[n]維超橢球體,[χ2]與[Q-1a]分別控制其大小和形狀。其中,假設(shè)各個模糊度之間互不相關(guān),[Qa]為對角陣,此時搜索域所表示的橢球退化為球體。只需對[a]就近取整即為固定解[a]。但在動態(tài)定位或快速定位的應(yīng)用中, 較短的觀測時間及雙差觀測模式使得各模糊度間高度相關(guān),[Qa]遠(yuǎn)非對角陣,此時搜索橢球被拉的很長。搜索過程異常復(fù)雜。
2 ?LAMBDA算法
LAMBDA算法主要采用Z變換的降相關(guān)處理方法來降低整周模糊度之間的線性關(guān)系。LAMBDA算法還利用矩陣分解原理將搜索過程中整周模糊度浮點(diǎn)的協(xié)方差進(jìn)行分解以此來使Z變換后搜索過程中的協(xié)方差矩陣[QZ]盡量的對角化,以此來降低搜索的難度。
2.1 ?算法基本原理
由于在利用最小二乘法進(jìn)行整周模糊度解算過程中,各模糊度間高度相關(guān)所導(dǎo)致的搜索橢圓過于狹長,不利于整周模糊度的解算。為了提高搜索效率,將整周模糊度未知量進(jìn)行相應(yīng)變換來降低相關(guān)性,使搜索橢圓更接近球體。其基本原理如下:
尋找一個[Z]矩陣滿足:[Z]中所有元素為整數(shù);det([Z])=[±]1;可逆的整數(shù)變換,即變換前后參數(shù)的整數(shù)特性保持不變。變換后參數(shù)的協(xié)因數(shù)陣盡量接近對角陣。
搜索使目標(biāo)函數(shù)達(dá)到最小的[z],作為變換后的模糊度的固定解[z]反變換得到原始模糊度的固定解。
LAMBDA算法所使用的Z變換主要有:迭代算法、聯(lián)合去相關(guān)算法、高斯Z變換。
根據(jù)式(7),式(9)可以描述出搜索空間是一個[n]維的超橢球體,[χ2]與[Q-1a]分別控制其大小和形狀。為了解決由于[Qa],[Qz]中元素相關(guān)性較高所導(dǎo)致的搜索橢圓被拉得過長的問題。將協(xié)方差[Qz]進(jìn)行一定的處理,將其分解成一個固定的組合。使分解后的搜索方程的協(xié)方差盡量逼近對角陣,降低整周模糊度搜索的難度。
2.2 ?協(xié)方差分解算法
協(xié)方差分解方式主要分為上三角分解[5]([UD])與下三角分解[6]([LDLT]),這兩類都是將對稱正定矩陣分解成單位三角矩陣與對角線矩陣之間的組合乘積。以此對協(xié)方差矩陣去相關(guān)化,降低搜索的難度。
協(xié)方差分解算法的主要步驟是通過已知的協(xié)方差矩陣先計算出對應(yīng)的對角線矩陣。通過對角線矩陣,將協(xié)方差矩陣分為兩個部分,分別為上三角部分和下三角部分,再獲得單位三角矩陣。
3 ?仿真分析
為了進(jìn)行整周模糊度解算仿真實驗,利用式(10)中的方式構(gòu)造整周模糊度浮點(diǎn)解及協(xié)方差矩陣:
設(shè)置最大[n=15],整周模糊度備選解的個數(shù)為3。
對協(xié)方差分解的兩種方式以及后續(xù)的整周模糊度解算進(jìn)行仿真,結(jié)果如圖1所示。并記錄算法的運(yùn)行時間以及搜索域的大小,見表1。
通過圖1和表1可以看出,下三角分解算法的整周模糊度解算算法在搜索域大小上比上三角分解算法大,且解算速度相對較快,可以用于將來的研究。
4 ?結(jié) ?語
協(xié)方差分解是LAMBDA算法中重要的一步,是算法中核心的一個部分。文章較為細(xì)致地闡述了在解算過程中對角線矩陣形成的兩種不同的分解算法的基本實現(xiàn)過程,并設(shè)計了Matlab仿真實驗。經(jīng)過驗證,發(fā)現(xiàn)將協(xié)方差陣的對角線元素作為分解后對角陣元素的分解方式,能有效地提高整周模糊度解算的精確度以及降低搜索過程的范圍以及時間。但是,隨著整周模糊度位數(shù)的不斷增加,在解算過程中出現(xiàn)計算量過大的問題。需要進(jìn)一步的研究來提高高維模糊度解算速率問題。
參考文獻(xiàn)
[1] COUNSELMAN C C, GOUREVITCH S A. Miniature interfe?rometer terminals for earth surveying: ambiguity and multipath with global positioning system [J]. IEEE transactions on geo?science & remote sensing, 1981, 19(4): 244?252.
[2] TEUNISSEN P J G. Least?squares estimation of the integer GPS ambiguities [C]// General Meeting of the International Association of Geodesy. Beijing: [s.n.], 1993: 1?16.
[3] 李建文,郝金明,李軍正,等.GPS/GLONASS載波相位測量模糊度解算方法[J].測繪科學(xué)技術(shù)學(xué)報,2004,21(3):163?165.
LI Jianwen, HAO Jinming, LI Junzheng, et al. Ambiguity solution methods in gps/glonass carrier phase measurement [J]. Journal of institute of surveying and mapping, 2004, 21(3): 163?165.
[4] 王冰.基于GNSS的實時姿態(tài)確定算法研究[D].鄭州:解放軍信息工程大學(xué),2013.
WANG Bing. Research on real?time attitude determination algorithms utilizing global navigationsatellite system [D]. Zhengzhou: The PLA Information Engineering University, 2013.
[5] 劉朝功.三種整周模糊度搜索方法對比[J].北京測繪,2015(2):50?54.
LIU Chaogong. The comparison of three methods in search of ambiguity [J]. Beijing surveying and mapping, 2015(2): 50?54.
[6] 宋福成.GNSS整周模糊度估計方法研究[D].北京:中國礦業(yè)大學(xué),2016.
SONG Fucheng. Research on GNSS integer ambiguity estimation methods [D]. Beijing: China University of Mining and Technology, 2016.
[7] RIZOS C, HAN S W. A new method for constructing multi?satellite ambiguity combinations for lmproved ambiguity resolution [C]// Proceedings of the 8th International Technical Meeting of the Satellite Division of the Institute of Navigation. Palm Springs: Institute of Navigation, 1995: 1145?1153.
[8] GREWAL M S, ANDREWS A P. Kalman filtering: theory and practice using matlab [M]. NJ: Prentice Hall, 2001.
[9] TEUNISSEN P J G. The least?squares ambiguity decorrelation adjustment: a method for fast GPS integer ambiguity estimation [J]. Journal of geodesy, 1995, 70(1): 65?82.
[10] 趙蓓,王飛雪,孫廣富,等.LAMBDA整周模糊度解算方法中的整數(shù)Z變換算法[J].彈箭與制導(dǎo)學(xué)報, 2008,28(3):254?257.
ZHAO Bei, WANG Feixue, SUN Guangfu, et al. Analysis of integer Z?transformation in the LAMBDA method [J]. Journal of projectiles, rockets, missiles and guidance, 2008, 28(3): 254?257.