乖Z)奁弗 别 Il员性投不罕很 VO1.25 NO.2 2017年04月 Journal of Chinese Inertial Technology Apr.2017 文章编号:1005—6734(2017)02.0216-05 doi:10.13695 ̄.cnki.12-1222/o3.2017.02.014 基于最小搜索超椭球的GNSS模糊度固定及检验方法 吴泽民 ,边少锋 (1.海军工程大学导航工程系,武汉430033;2.中国人民解放军91919部队,黄冈438000) 摘要:为进一步简化GNSS模糊度解算流程,降低计算复杂度,重点提高LAMBDA算法的搜索效率, 对模糊度解算作出以下改进:1)模糊度检验采用后验概率检验方法,并对其目标函数进行适当简化; 2)把简化后的目标函数嵌入模糊度搜索过程,省去了单独的模糊度检验步骤;3)推导了模糊度空间 最小搜索超椭球,把搜索区域限制在该超椭球中,缩小了搜索范围,从而大大降低了搜索复杂度。用 三组实测数据实验比较了新方法和传统的LAMBDA方法,结果显示新方法搜索复杂度降低普遍在 30%左右,最高可接近60%。理论推导和实验结果均证明了新方法的高效性。 关键词:GNSS;LAMBDA;后验概率检验;搜索效率 中图分类号:P228 文献标志码:A GNSS ambiguity resolution and validation based on minimum search hyper-ellipsoid WU Ze.min I-.BIAN Shao—feng (1.Department ofNavigation Engineering,Naval University ofEngineering,Wuhan 430033,China; 2.Unit 9 1 9 1 9 of PLA,Huanggang 43 8000,China) Abstract:In order to simplify the calculation process of GNSS ambiguiy tresolution,degrade its complexity, and improve the search eficifency of the LAMBDA algorithm,the following aspects of the ambiguiy tresolution is modiifed:(1)posterior probabiliy tvalidation method is adopted in ambiguiy tvalidation,and its objective function is simpliifed;(2)this simpliifed objective function is embedded into the ambiguiyt search procedure,thus the independent step for testing the ambiguiy resoltution is eliminated;(3)the minimum search hyper-ellipsoid in he ambitguiy stpace is derived,and the searching area is restricted to within this hyper-ellipsoid,thus the search region is reduced,and corresponding complexiy its signiifcantly decreased. Three groups of real observed data are used to compare the traditional LAMBDA method with the new method,and the results show that the computational complexiy of tthe new method is reduced by 30%, sometimes even by 60%,compared with that of the traditional one.Theoretical derivation and experimental results veriy fthe high eficifency of he tnew method. Key words:GNSS;LAMBDA;posterior probabiliy tvalidation;search eficifency 利用GNSS载波相位观测量进行精密定位,可以 度解算有了一套标准的流程…,但仍留下了若干难题 获得厘米甚至毫米级别的定位精度,广泛应用于大地 测量与导航的各个领域。GNSS精密定位的核心技术 是载波相位的模糊度解算,这也是近几十年GNSS领 域的研究热点之一。 需要解决,其中两个关键问题是模糊度空间搜索的复 杂度和模糊度检验。模糊度搜索复杂度随模糊度维数 增长呈指数增加,如何尽量减少其复杂度一直是学界 很关注的问题[2~1。模糊度检验曾被视为一个远未解决 的开放问题,缺乏统一的检验标 jJ。Wu和Bian[6J 从Teunissen教授提出LAMBDA算法以来,模糊 24;修回日期:2017.03.26 收稿日期: 2016—12—基金项目: 国家自然科学基金项目(41504029,41631072) mail:wzm_hust@sina.tom 作者简介: 吴泽民(1988一),男,博士、工程师,从事卫星导航研究。E—联系人: 边少锋(1961一),男,教授,博士生导师。E—mail:sfbian@sina.com 第2期 吴泽民等:基于最小搜索超椭球的GNSS模糊度固定及检验方法 .217. 提出了后验概率检验,并证明所有检验方法中,后验 概率检验在相同的误警率下具有最小的漏警率,是理 论上的最优检验方法[6】。本文旨在降低模糊度解算的 复杂度,通过把后验概率检验进行适当简化,嵌入模 P(a。= I(a, a))≥c (5) 式中:P(Z lr1)是 在给定条件r/下的条件概率;c 糊度搜索中,简化模糊度解算的步骤・9同时提出一种 模糊度空间内最小超椭球的搜索方法,降低模糊度搜 Bayes统计方法,具体推导过程可见文献[6]。模糊度 索的复杂度,提高解算效率。 1 GNSS模糊度解算步骤 exp GNSS精密定位数学模型可以表述为如下混合整 : {-l[ a-a[ ̄ a} 数模型: E( ):Aa+Bb,D(y)=Q (1) 式中: (・)和D(・)分别表示取期望和方差;Y是载波 相位与伪码观测向量;a是未知的整周模糊度向量; b是未知的实参数向量,包括基线向量和未完全模型 化的电离层、对流层和多径误差等;A和 是联系 未知参数和观测量之间的设计矩阵;( 是观测向量 Y的协方差矩阵。GNSS模糊度解算可以归结为三个步 骤【 。第一步,进行标准的加权最小二乘估计,得到 未知参数a和b的实数解a和b,及其协方差矩阵: [ ex p{-l []a-a网[ ̄} eXp第二步,把模糊度实数解西映射为整数解: {一 西一 l }+eXp{一 一口 l } =F(3) (3) 式中: 为n维整数向量,称为模糊度整数解。函数 F: Z ,是一种n维实数空间映射到n维整数 空间的估计方法,其中LAMBDA算法中采用的整数 3基于最小超椭球的模糊度搜索算法 最小二乘(ILS)估计被证明能最大化模糊度估计的成 为降低搜索复杂度,在模糊度搜索之前还应进行 功率,在此意义下是最优估计[ ,但由于其依赖n维 降相关变换,而把搜索算法用在降相关后的模糊度空 整数空间的搜索,计算复杂度很高[ 。 。为简化本文符号系统,把降相关后的模糊度协 模糊度解算的第三步是对所求模糊度整数解进行 方差矩阵以及模糊度向量实数解仍记为 和a,则 假设检验,验证结果的可靠性: 搜索空间可表示为 H0:a0= V.s Hl:a0≠ (4) min:F(z)=(a一口) Q (a—a)≤ (8) 式中:H。和H 分别为零假设和备择假设;a。是模 糊度向量的真值。若通过检验,则接受所求的模糊度 式(8)表达的搜索空间为一个n维空间的超椭球。 整数解,反之则拒绝。wu和Bian[ 提出后验概率检 的值决定了超椭球的大小,故 的设定对于搜索的 验方法,并证明了后验概率检验在相同的误警率下具 复杂度起决定性的作用。现阶段,最高效也是最广泛 有最小的漏警率,是理论上的最优检验方法。 使用的方法 Chang等【 o]采用的在搜索过程中动态缩小 的方法,此方法也被LAMBDA算法吸收【加]。由于 2后验概率检验及其简化 需要进行模糊度验证的缘故,搜索算法至少需要保留 模糊度后验概率检验是利用模糊度整数解后验概 两个整数解(即距离模糊度实数解最近和次近的整数 率的大小来确定是否接受这个解的方法,用数学语言 向量)作为候选值,故搜索结束时 值最终被缩 描述为 小为ll 。 中国惯性技术学报 第25卷 厂———— ——————一一在模糊度解算中,搜索次近向量a 的唯一用途 是模糊检验。如果完成模糊度检验可以不需要模糊度 次近向量,则模糊度搜索范围还可进一步缩小,使搜 索复杂度进一步降低。考察若模糊度整数解成功通过 、 V/ ( 一∑( 厂aj)。 )≤ ≤ ,=l 丐 (14) 后验概率检验,a,需满足的条件,对后验概率检验 的简化表达式(7)进行适当变形得: 13-al 。g[专] 由式(9)知,当且仅当次近整数向量a,满足式 (9),才能通过后验概率检验。式(9)存在未知向量 ,为去除 ,利用模糊度的Bootstrapping解对式(9) 适当放缩。Bootstrapping方法是一种流行的整数估计 方法,它不需要搜索,但求得的解是模糊度整数向量 次优解【钔,即Bootstrapping解到模糊度实数解的距离 不小于ILS解。记模糊度的Bootstrapping解为 ,有 Ila- ≥ (10) 依据式(9)和(10),设定 大小为 ,, 、 = 2logI击】 …) 在良好的降相关条件下,Bootstrapping解有很大 概率与ILS解相同[11-12】,即式(1O)有很大概率取等 号,因此可以保证式(11)的放缩大小是适当的。所以 式(11)可近似认为是基于后验概率检验所需要的最小 超椭球。在搜索开始时设定 如式(11),并在搜索过 程中保持不变。在GNSS模糊度解算中,能够通过后 验概率检验的历元是人们所关心的有效历元,在这些 历元中,式(11)所设定的 通常远小于I-aIl 。 而在实际定位解算中往往大部分历元是有效历元,故 本文设置的模糊度搜索区域,远小于LAMBDA方法 设定的区域,需要搜索的格点数大大减少。 搜索范围设定后,即可进行搜索。先对协方差矩 阵作Cholesky分解 = ,并令a=a+L- (Zt-a), 则有: 西 =a 一∑ ( 厂aj) (12) j=l 式中, 为£的元素。则搜索空间用西的元素表示为 + +..-+ ≤ z(13) 1 a2 a 式中,di是D的元素。搜索从模糊度向量的第一个 元素a 开始,采用分层搜索方法,每个元素为一层, 层层向下搜索,则每个模糊度元素的搜索窗口为[4] 对每一层的搜索窗口,依据整数点与 ,欧氏距离, 从搜索窗口的中心向两端做折线式“z”字形搜索【l。】。若 所有层搜索结束后,在此范围内无第二个整数向量,则 不等式(9)成立,直接接受 。若有第二个整数向 量 ,且 -a,lL≥ 一 ,则不等式(9)不成立, 拒绝整数解;若 _a r <Ila- ,则把 和 分别代人式(9)中代替a 和 ,若不等式成立,接受 a ,反之拒绝整数解。 4实验 搜索格点数是搜索复杂度的权威的衡量指标[4】, 所以本实验通过比较LAMBDA算法和本文提出的新 搜索算法的搜索格点数目来比较它们的搜索复杂度。 实验基于香港CORS网的测观测数据组成的三组基 线,基线长度分别为5 km、l0km和20km。三组基 线的观测信息如表1所示。在这三条基线中,利用所 观测的双频载波相位与伪码观测数据,进行逐个历元 独立模糊度固定实验。测距码和载波相位观测量的标 准差分别设置为0-3m和0.003ITI。实验中,对每个历 元的模糊度实数解向量在模糊度空间中搜索,以求得 整数解,记录下每个历元搜索格点数目。 表1 三组观测数据信息表 Tab.1 Information of three sets of observation data 三组基线实验过程中的PDOP值与模糊度维数变 化情况分别如图1(a)、图2(a)和图3(a)所示,可见实 验过程中卫星的几何结构良好;三组实验中模糊度维 数都在20维以下,分别为:5km基线8-20维,10km基 线8~18维,20 km基线8~18维。三组实验中 LAMBDA方法和新方法的每个历元搜索格点数分别 记录在图l(b)、图2(b)和图3(b)中,三图的纵坐标均 为指数。由此三图可以看出,新方法的搜索格点数普 遍小于LAMBDA方法,且新方法不同历元搜索格点 第2期 吴泽民等:基于最小搜索超椭球的GNSS模糊度固定及检验方法 一219 数多少的差异 t't ̄t-t:LAMBDA方法小,表明新方法计算 维数卡II同的历 合 ,求¨:此维数的 均搜索}各点 数,分别列于表2 表4。I叮以行f【j, i4<ltq维数 复杂度的稳定性优f LAMBDA方法。埘J:某些历元, 新,J‘法搜索格点数毖全比LAMBDA办法小一个数髓 中新搜索力 法搜索1千}点数均人大小于LAMBDA力 法, 搜索复杂度降低 遍存30%/,(4'/,最高叮接近60%。 级。为了便十定 分析, =t组实验r 别把模糊度 6 4 1 七 “ 凸_ o 口 型 凸_ 襄 2 10 0 5 0 50 100 5O 200 250 历儿数 1(a)5 km基线PDOP值和模糊度维数 Fig 1(a)PDOP and ambiguity dimension in 5 km base1 ine data 1O 18 8 16 6 整 o 0 D Q- 4 12 10 2 8 0 0 50 10O 15O 200 儿数 I 2(a)10km基线PDOP值和模糊度维数 Fig.2(a)PDOP and ambiguity dimension in 10km baseIine data 6 5 0 QI o o IX. 2 10 0 b 0 5O o0 150 2OO 25O f 『j儿数 l刮3(a)20 km基线PDOP 和I模糊J!{=维数 Fig.3(a)PDOP and ambiguity dimension in 20 km baseline data 1O ■_LAMBDA 10 餐 1_ 10 10 0 50 100 150 20o 250 历 数 刳1(b) 5 km基线LAMBDA订法币¨新方法搜索格点数 0 v。 Fig.1(b) Search nods ofLAMBDA and flew method i11 5 km baseline data ■_LAMBDA 。_: 篷 《 0 5O 1o0 15O 200 历儿数 I刳2(b) 10km攀线LAMBDA,J‘汰和1新力‘汰搜索饼点数 Fig.2(b)Search nods ofLAMBDA and new method in l0km baseline data 10 之 芝 10 O 5O 10O 150 200 儿数 3(b)20km基线LAMBDA,J’法嗣l新方法搜索f}}点数 Fig.3(b)Search nods of LAMBDA and new method in 20 kin baseline data ..220.. 中国惯性技术学报 第25卷 表2 5 km基线实验新方法和LMABDA方法在 不同模糊度维数下搜索格点数比较 Tab・2 Search nods in different ambiguity dimensions of 5 km baseline data by LAMBDA and new method 表3 10 km基线实验新方法和LMABDA方法在不 同模糊度维数下搜索格点数比较 Tab・3 Search nods in diferent ambiguiyt dimensions of 10 km baseline data by LAMBDA and new method 表4 20 km基线实验新方法和LMABDA方法在不 同模糊度维数下搜索格点数比较 Tab.4 Search nods in different ambiguity dimensions of 20 km baseline data by LAMBDA and new method 5结论 LAMBDA算法因其最高的模糊度解算成功率, 得到了广泛应用。在其标准的GNSS模糊度解算流程 中,需要经过三个步骤:最小二乘估计、模糊度整数 估计和模糊度检验。算法的关键和难点在后两个步骤。 本文把模糊度后验概率检验目标函数适当简化,嵌入 模糊度搜索过程,把模糊度解算简化为两个步骤。同 时,由设定的后验概率门限,推导了需要搜索的模糊 度空间最小超椭球,进而从搜索开始就把搜索区域就 设定为最小,并一直保持到搜索结束,大幅度降低了 搜索的复杂度,从而提高了算法的执行效率。值得注 意的是,本文方法并未改变LAMBDA算法的目标函 数,因此在提高效率的同时,解算成功率保持不变。 参考文献(References): [1]Teunissen J P G The least—squares ambiguity decorrela. tion adjustment:a method for fast GPS integer ambiguiyt estimation[J].Journal ofGeodes ̄1995.70:65.82. [2】 邓健,王胜利,陈润静.GNSS网络实时动态模糊度解 算病态性解决策略[J].中国惯性技术学报,2016, 24(1):14-19. Deng Jian,Wang Sheng-li,Chen Run-jing.Resolving strategies for ill-posed equation in ambiguity resolution of GNSS network rea1.time kinematics[J].Journal of Chinese Inertial Technology,2016,24(1):14—19. [3] Verhagen S,Li B,Teunissen P J G Ps.LAMBDA:Ambi. guity success rate evaluation software for interfero. metric applications[J].Computers&Geosciences,2013, 54:361.376. [4]Xu P’Chi C,Liu J.Integer estimation methods for GPS ambiguiyt resolution:an applications oriented review and improvement[J].Survey Review,2012:59(324):59-7t. [5】 Verhagen S.Integer ambiugiyt validation:an open prob— lem?[J].GPS Solutions,2004,8(1):36-43. [6] Wu Z,Bian S.GNSS integer ambiugiyt validation based on posterior probabiliyt[J].Journal of Geodesy,2015, 89(10):961・977. [7】 伍劭实,赵修斌,庞春雷,等.北斗双频组合动对动高 精度相对定位新算法[J】_中国惯性技术学报,2016, 24(6):758-762. Wu Shao.shi,Zhao Xiu.bin,Pang Chun.1ei,et a1.New method for BeidoU dua1.frequency kinematic.to.kine. matic relative positioning[J].Journal of Chinese Inertial Technology,2016,24(6):758—762. 【8] Jazaeri S,Amiir-Simkooei A,Shafiif M A.On lattice reduction algorithms for solving weighted integer least squares problems:comparative study[J].GPS Solutions, 2014.18:105-114. [9]Xu E Parallel Cholesky.based reduction ofr the weighted integer least squares problem[J].J Geod,2012,86:35—52. [10]Chang X,Yang X,Zhou MLAMBDA:A modiifed LAMBDA method ofr integer least・squares estimation[J]. Journal ofGeodesy,2005,79(9):552—565. [11]Chang X W Wen J,Xie X.Effects ofthe LLL reduction on the success probability of the Babai point and on the complexiyt of sphere decoding[J].IEEE Trnasactions on Information Theory,2012,59(8):4915—4926. [12】Wu Ming-kui,He Jun,Wang Hong—chen.Reliable single epoch ambiguiyt resolution for precise aaitude determi・ nmion using BeiDou triple-frequency observations[J].Jour- nal of Chinese Inertial Technology,20 1 6,24(5):624-632.