发明名称 GPS定位技术中的相位整周模糊度可靠性检核方法
摘要 本发明公开了一种GPS定位技术中的相位整周模糊度可靠性检核方法,基于模糊度解的数理统计特性,依次对模糊度浮点解及整数解可靠性进行检验,首先,通过最小二乘参数估值最大变化率检验浮点解稳定性,以确保浮点解的统计特性,在此基础上采用方差验后检验法检验浮点解可靠性;其次,基于模糊度成功率检验理论,建立模糊度整数估值失败率与传统Ratio检验阈值c间的函数关系,从而利用给定的可靠性指标——模糊度整数估值失败率确定Ratio检验阈值c,解决了传统Ratio检验阈值难以确定的问题,最后,通过Ratio检验法,实现所求模糊度整数估值的可靠性检验,获得模糊度准确值。
申请公布号 CN102426375B 申请公布日期 2013.07.31
申请号 CN201110257805.0 申请日期 2011.09.02
申请人 东南大学 发明人 潘树国;王庆;单正英;邓健
分类号 G01S19/44(2010.01)I 主分类号 G01S19/44(2010.01)I
代理机构 南京天翼专利代理有限责任公司 32112 代理人 汤志武
主权项 1.一种GPS定位技术中的相位整周模糊度可靠性检核方法,其特征在于:根据模糊度解的数理统计特性,依次对模糊度浮点解可靠性及整数解可靠性进行检验;首先,针对求解模糊度浮点解中法方程病态影响参数估值的统计特性,采用最小二乘参数估值最大变化率指标检验浮点解稳定性,确保浮点解的统计特性,在此基础上采用方差验后检验法检验浮点解可靠性;然后,通过建立模糊度整数估值失败率与Ratio检验阈值间的函数关系,利用给定的可靠性指标——模糊度整数估值失败率确定Ratio检验阈值c,解决传统Ratio检验法阈值c难以确定问题;最后,通过传统Ratio检验法,实现所求模糊度整数估值的可靠性检验,获得模糊度准确值;包括如下步骤:(1)模糊度浮点解可靠性检验1)模糊度浮点解稳定性判断从最小二乘估值的最终结果,即模糊度的浮点解出发,通过估值最大变化率来度量和判断参数估计值的稳定性,相邻历元间待估参数x的估值变化率ECR,表达式为:<maths num="0001"><![CDATA[<math><mrow><msub><mi>ECR</mi><mi>i</mi></msub><mo>=</mo><mfrac><mrow><mover><mi>x</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mo>-</mo><mover><mi>x</mi><mo>^</mo></mover><mrow><mo>(</mo><mi>k</mi><mo>)</mo></mrow></mrow><mi>rate</mi></mfrac><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></math>]]></maths>式中,<img file="FDA00002908685800014.GIF" wi="310" he="56" />分别表示第k及k+1个历元参数估值,rate为观测值采样率,选取所有卫星浮点解估值中最大的ECR作为参数稳定性的指标,即ECR<sub>max</sub>=MAX(ECR<sub>i</sub>)  (2)当|ECR<sub>max</sub>|&lt;0.25周,认为所求模糊度浮点解稳定性好;2)模糊度浮点解可靠性判断在保证最小二乘估值稳定性好,即满足|ECR<sub>max</sub>|&lt;0.25周前提下,利用最小二乘估值的统计特性,通过检验验前和验后单位权方差估计的一致性,来评估浮点解的可靠性,构造统计量:<maths num="0002"><![CDATA[<math><mrow><mi>F</mi><mo>=</mo><mfrac><msubsup><mover><mi>&sigma;</mi><mo>^</mo></mover><mn>0</mn><mn>2</mn></msubsup><msubsup><mi>&sigma;</mi><mn>0</mn><mn>2</mn></msubsup></mfrac><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></math>]]></maths>式中,<img file="FDA00002908685800015.GIF" wi="63" he="62" />为验前单位权中误差,验后单位权中误差<img file="FDA00002908685800013.GIF" wi="294" he="135" />V为一般的最小二乘残差向量,f为自由度,即多余观测数,给定一显著水平α,当满足式(4)条件,认为所求的浮点解具有一定的可靠性,否则,则说明观测系统中没有考虑一些几何或物理误差的影响,所求的浮点解存在较大偏差;<maths num="0003"><![CDATA[<math><mrow><mi>F</mi><mo>=</mo><mfrac><msubsup><mover><mi>&sigma;</mi><mo>^</mo></mover><mn>0</mn><mn>2</mn></msubsup><msubsup><mi>&sigma;</mi><mn>0</mn><mn>2</mn></msubsup></mfrac><mo>&lt;</mo><msub><mi>F</mi><mi>&alpha;</mi></msub><mrow><mo>(</mo><mi>f</mi><mo>,</mo><mo>&infin;</mo><mo>)</mo></mrow><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math>]]></maths>(2)模糊度整数解可靠性检验1)建立模糊度整数估值失败率与Ratio检验阈值间的函数关系令满足Ratio检验条件的所有模糊度浮点解集合构成Ratio检验的归整区间Ω<sub>R</sub>,表示为:<img file="FDA00002908685800022.GIF" wi="1398" he="98" />式中,<img file="FDA00002908685800023.GIF" wi="40" he="58" />为模糊度浮点解估值,<img file="FDA00002908685800024.GIF" wi="222" he="69" />分别为最小和次小残差对应的模糊度固定解,<img file="FDA000029086858000215.GIF" wi="63" he="56" />为模糊度浮点解对应的协方差阵,c为限值,由于模糊度的成功率与未知模糊度的真值无关,因此,当模糊度准确值为零向量时,归整域Ω<sub>0,R</sub>为<maths num="0004"><![CDATA[<math><mrow><msub><mi>&Omega;</mi><mrow><mn>0</mn><mo>,</mo><mi>R</mi></mrow></msub><mo>=</mo><mo>{</mo><mover><mi>x</mi><mo>^</mo></mover><mo>&Element;</mo><msup><mi>R</mi><mi>n</mi></msup><mo>|</mo><msubsup><mrow><mo>|</mo><mo>|</mo><mover><mi>x</mi><mo>^</mo></mover><mo>-</mo><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>&GreaterEqual;</mo><mi>c</mi><msubsup><mrow><mo>|</mo><mo>|</mo><mover><mi>x</mi><mo>^</mo></mover><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>,</mo><mi>c</mi><mo>&GreaterEqual;</mo><mn>1</mn><mo>,</mo><mo>&ForAll;</mo><mi>t</mi><mo>&Element;</mo><msup><mi>Z</mi><mi>n</mi></msup><mo>/</mo><mo>{</mo><mn>0</mn><mo>}</mo><mo>}</mo></mrow></math>]]></maths>式中,t为次小残差对应的模糊度固定解,对Ω<sub>0,R</sub>进行如下等价变换:<maths num="0005"><![CDATA[<math><mrow><msub><mi>&Omega;</mi><mrow><mn>0</mn><mo>,</mo><mi>R</mi></mrow></msub><mo>:</mo><msubsup><mrow><mi>c</mi><mrow><mo>|</mo><mo>|</mo><mover><mi>x</mi><mo>^</mo></mover><mo>|</mo><mo>|</mo></mrow></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>&le;</mo><msubsup><mrow><mo>|</mo><mo>|</mo><mover><mi>x</mi><mo>^</mo></mover><mo>-</mo><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>,</mo><mi>c</mi><mo>&GreaterEqual;</mo><mn>1</mn><mo>,</mo><mo>&ForAll;</mo><mi>t</mi><mo>&Element;</mo><msup><mi>Z</mi><mi>n</mi></msup><mo>/</mo><mo>{</mo><mn>0</mn><mo>}</mo></mrow></math>]]></maths><maths num="0006"><![CDATA[<math><mrow><mo>&DoubleLeftRightArrow;</mo><msubsup><mrow><mo>|</mo><mo>|</mo><mrow><mo>(</mo><mi>c</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mover><mi>x</mi><mo>^</mo></mover><mo>+</mo><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>&le;</mo><mi>c</mi><msubsup><mrow><mo>|</mo><mo>|</mo><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>,</mo><mo>&ForAll;</mo><mi>t</mi><mo>&Element;</mo><msup><mi>Z</mi><mi>n</mi></msup><mo>/</mo><mo>{</mo><mn>0</mn><mo>}</mo><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>6</mn><mo>)</mo></mrow></mrow></math>]]></maths><maths num="0007"><![CDATA[<math><mrow><mo>&DoubleLeftRightArrow;</mo><msubsup><mrow><mo>|</mo><mo>|</mo><mover><mi>x</mi><mo>^</mo></mover><mo>+</mo><mfrac><mn>1</mn><mrow><mi>c</mi><mo>-</mo><mn>1</mn></mrow></mfrac><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>&le;</mo><mfrac><mi>c</mi><msup><mrow><mo>(</mo><mi>c</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mn>2</mn></msup></mfrac><msubsup><mrow><mo>|</mo><mo>|</mo><mi>t</mi><mo>|</mo><mo>|</mo></mrow><msub><mi>D</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mn>2</mn></msubsup><mo>,</mo><mo>&ForAll;</mo><mi>t</mi><mo>&Element;</mo><msup><mi>Z</mi><mi>n</mi></msup><mo>/</mo><mo>{</mo><mn>0</mn><mo>}</mo></mrow></math>]]></maths>假设模糊度向量维数为n,上式表明归整域Ω<sub>0,R</sub>是一个以<img file="FDA00002908685800029.GIF" wi="159" he="120" />为中心,大小为<img file="FDA000029086858000210.GIF" wi="189" he="136" />的n维超椭球体;则整数估值成功率P<sub>S</sub>可表示为:<maths num="0008"><![CDATA[<math><mrow><msub><mi>P</mi><mi>S</mi></msub><mo>=</mo><munder><mo>&Integral;</mo><msub><mi>&Omega;</mi><mrow><mn>0</mn><mo>,</mo><mi>R</mi></mrow></msub></munder><msub><mi>f</mi><mover><mi>x</mi><mo>^</mo></mover></msub><mrow><mo>(</mo><msub><mover><mi>x</mi><mo>^</mo></mover><mn>1</mn></msub><mo>,</mo><msub><mover><mi>x</mi><mo>^</mo></mover><mn>2</mn></msub><mo>&CenterDot;</mo><mo>&CenterDot;</mo><mo>&CenterDot;</mo><msub><mover><mi>x</mi><mo>^</mo></mover><mi>n</mi></msub><mo>)</mo></mrow><mi>d</mi><msub><mover><mi>x</mi><mo>^</mo></mover><mn>1</mn></msub><mi>d</mi><msub><mover><mi>x</mi><mo>^</mo></mover><mn>2</mn></msub><mo>&CenterDot;</mo><mo>&CenterDot;</mo><mo>&CenterDot;</mo><mi>d</mi><msub><mover><mi>x</mi><mo>^</mo></mover><mi>n</mi></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math>]]></maths>式中,<img file="FDA000029086858000212.GIF" wi="311" he="70" />为浮点解的联合概率密度函数;进一步对原始模糊度向量及其方差进行降相关的可容许整数变换:<img file="FDA000029086858000213.GIF" wi="516" he="71" />T为变换矩阵,<img file="FDA000029086858000214.GIF" wi="69" he="55" /><img file="FDA000029086858000216.GIF" wi="62" he="57" />分别为降相关变换后的模糊度浮点解及其方差,此时,即模糊度成功率可由变换后的模糊度浮点解方差及相应的归整域来确定,式(6)归整域Ω<sub>0,R</sub>可近似展开为:<img file="FDA00002908685800031.GIF" wi="1620" he="198" />式中,<img file="FDA00002908685800032.GIF" wi="65" he="74" />为矩阵<img file="FDA000029086858000315.GIF" wi="64" he="60" />对角线元素,<img file="FDA00002908685800033.GIF" wi="45" he="70" />为经整数变换后的次小方差对应整数估值,由于降相关变换后,近似认为各模糊度间相互独立,此外,各模糊度浮点解服从<img file="FDA00002908685800034.GIF" wi="278" he="73" />分布,因此模糊度成功率进一步表示为:<img file="FDA00002908685800035.GIF" wi="694" he="133" /><img file="FDA00002908685800036.GIF" wi="1429" he="129" /><img file="FDA00002908685800037.GIF" wi="1245" he="156" /><img file="FDA00002908685800038.GIF" wi="102" he="83" />为模糊度真值为零向量的正确归整域,但相对于P<sub>S</sub>中的被积函数,仍不易于积分求解,为了便于计算,构造归整域<img file="FDA00002908685800039.GIF" wi="134" he="88" /><img file="FDA000029086858000310.GIF" wi="1445" he="158" /><img file="FDA000029086858000311.GIF" wi="110" he="92" />则为当模糊度真值为零向量时对应的一个错误归整域,该归整域表达式与被积函数较为接近,通过对该归整域积分,获得该区间对应的模糊度整数估值的概率值,即失败率P<sub>f,z</sub>(i),由概率分布特性可知:正态分布的随机变量离真值越近其概率越大;由于归整域<img file="FDA000029086858000312.GIF" wi="101" he="85" />与正确归整域最为接近,因此相对其他错误归整域,其所占概率也最大;当模糊度向量维数为n时,与正确归整域最为接近的错误归整域<img file="FDA000029086858000313.GIF" wi="94" he="84" />有2<sup>n</sup>个,除这2<sup>n</sup>个错误归整域外,其他错误归整域远离正确归整域,所占概率小,这里将其忽略,而取上述2<sup>n</sup>个最为接近的错误归整域对应的整数估值概率作为模糊度真值为零向量时的失败率,即P<sub>f</sub>≈2<sup>n</sup>P<sub>f,z</sub>(i);结合模糊度成功率表达式(9)与错误归整域式(10),Ratio检验法模糊度整数估值失败率P<sub>f</sub>表达式为:<maths num="0009"><![CDATA[<math><mrow><msub><mi>P</mi><mi>f</mi></msub><mo>=</mo><mfenced open='{' close=''><mtable><mtr><mtd><msup><mn>2</mn><mi>n</mi></msup><msup><mrow><mo>(</mo><mn>2</mn><mi>&pi;</mi><mo>)</mo></mrow><mrow><mo>-</mo><mfrac><mi>n</mi><mn>2</mn></mfrac></mrow></msup><mo>&CenterDot;</mo><mfrac><msup><mrow><mn>2</mn><mi>&pi;</mi></mrow><mi>m</mi></msup><mrow><mrow><mo>(</mo><mi>m</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>!</mo></mrow></mfrac><msubsup><mo>&Integral;</mo><mn>0</mn><mi>R</mi></msubsup><msup><mi>r</mi><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></msup><msup><mi>e</mi><mrow><mo>-</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>r</mi><mn>2</mn></msup></mrow></msup><mi>dr</mi><mo>,</mo><mi>n</mi><mo>=</mo><mn>2</mn><mi>m</mi></mtd></mtr><mtr><mtd><msup><mn>2</mn><mi>n</mi></msup><msup><mrow><mo>(</mo><mn>2</mn><mi>&pi;</mi><mo>)</mo></mrow><mrow><mo>-</mo><mfrac><mi>n</mi><mn>2</mn></mfrac></mrow></msup><mo>&CenterDot;</mo><mfrac><mn>2</mn><mrow><mrow><mo>(</mo><mn>2</mn><mi>m</mi><mo>-</mo><mn>1</mn><mo>)</mo></mrow><mo>!</mo></mrow></mfrac><msup><mrow><mo>(</mo><mn>2</mn><mi>m</mi><mo>)</mo></mrow><mi>m</mi></msup><msubsup><mo>&Integral;</mo><mn>0</mn><mi>R</mi></msubsup><msup><mi>r</mi><mrow><mi>n</mi><mo>-</mo><mn>1</mn></mrow></msup><msup><mi>e</mi><mrow><mo>-</mo><mfrac><mn>1</mn><mn>2</mn></mfrac><msup><mi>r</mi><mn>2</mn></msup></mrow></msup><mi>dr</mi><mo>,</mo><mi>n</mi><mo>=</mo><mn>2</mn><mi>m</mi><mo>+</mo><mn>1</mn></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>11</mn><mo>)</mo></mrow></mrow></math>]]></maths>式中,n为模糊度向量维数,<img file="FDA00002908685800041.GIF" wi="460" he="143" />该式建立了Ratio检验法整数估计失败率与阈值c的函数关系;2)确定Ratio检验阈值c根据实际应用需求,给定模糊度可靠性指标——模糊度失败率,通过式(11)反算出Ratio检验阈值c;3)模糊度整数估值正确性检验通过传统Ratio检验,即后验方差比检验法,以模糊度固定解中次小和最小残差二次型之比作为检验量,即<img file="FDA00002908685800042.GIF" wi="1176" he="205" />当备选模糊度满足上式条件,则认为<img file="FDA00002908685800043.GIF" wi="78" he="60" />为模糊度正确整数解。
地址 211189 江苏省南京市江宁开发区东南大学路2号