发明名称 基于多星故障识别的GNSS接收机自主完整性监测方法
摘要 基于多星故障识别的GNSS接收机自主完整性监测方法,有以下步骤:a.进行自主完整性的可用性分析;b.进行单星、多星故障判断:将检测统计量与单星或多星检测门限比较,如未超过任何门限,表明当前无故障,继续监测;如超过门限,决定进入相应的故障识别步骤;c.进行单星、多星故障识别:单星时用特征偏差线法进行故障识别,多星时用假设验证法进行故障识别;d.进行排除验证:在已选卫星组合中剔除掉故障卫星,重复步骤a、步骤b;如未发现故障则表明步骤c正确,已排除故障卫星;如发现新故障则表明步骤c失败,需对具体情况进行分析:如是单星故障排除时失败,则可能是多星故障;如是多星故障排除时失败,则认为当前时刻测量数据无法完成完整性监测。
申请公布号 CN1996041A 申请公布日期 2007.07.11
申请号 CN200610165465.8 申请日期 2006.12.20
申请人 北京航空航天大学 发明人 张晓林;张强;常啸鸣;李宏伟;张展;苏琳琳;张帅
分类号 G01S5/14(2006.01);G01S1/00(2006.01);G01S5/00(2006.01) 主分类号 G01S5/14(2006.01)
代理机构 北京慧泉知识产权代理有限公司 代理人 王顺荣;唐爱华
主权项 1、基于多星故障识别的GNSS接收机自主完整性监测方法,其特征在于:它包含以下各步骤:a、进行自主完整性的可用性分析:首先,需要根据系统需求的虚警概率确定虚警概率门限值pbias,公式如下:<![CDATA[ <math><mrow><msub><mi>P</mi><mrow><mo>(</mo><mi>S</mi><mo>&lt;</mo><msup><mi>T</mi><mn>2</mn></msup><mo>)</mo></mrow></msub><mo>=</mo><msubsup><mo>&Integral;</mo><mn>0</mn><msup><mi>T</mi><mn>2</mn></msup></msubsup><mi>f</mi><msubsup><mi>&chi;</mi><mrow><mo>(</mo><mi>n</mi><mo>-</mo><mn>4</mn><mo>)</mo></mrow><mn>2</mn></msubsup><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow><mi>dx</mi><mo>=</mo><mn>1</mn><mo>-</mo><msub><mi>P</mi><mi>FA</mi></msub><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>1</mn><mo>)</mo></mrow></mrow></math>]]></maths>                        S=w<sup>T</sup>w                                        (2)<![CDATA[ <math><mrow><mi>pbias</mi><mo>=</mo><msub><mi>&sigma;</mi><mn>0</mn></msub><mo>&times;</mo><mi>T</mi><mo>/</mo><msqrt><mi>n</mi><mo>-</mo><mn>4</mn></msqrt><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中:P<sub>FA</sub>为容忍的虚警概率;σ<sub>0</sub>为伪距测量误差的方差值,一般为经验值;fχ<sub>(n-4)</sub><sup>2</sup>(χ)为自由度为n-4的χ<sup>2</sup>分布的概率密度函数;T为门限值;n为可视卫星个数;w是伪距残差向量;S为残差统计平方和;P<sub>(S<T2)</sub>为残差统计平方和小于门限值T的统计概率;式中:w=Be=ByB=I-H(H<sup>T</sup>H)<sup>-1</sup>H<sup>T</sup>H是由各卫星至用户接收机的方向余弦向量构成的线性化矩阵,e是伪距测量误差向量,y是实测伪距与估计值之差;其次,可以通过水平定位误差与检测统计量的关系来分析单星情况的可用性:导航误差矢量d、矩阵A分别为:<![CDATA[ <math><mrow><mi>d</mi><mo>=</mo><mover><mi>x</mi><mo>^</mo></mover><mo>-</mo><mi>x</mi><mo>=</mo><mrow><mo>(</mo><msup><mi>H</mi><mi>T</mi></msup><mi>H</mi><mo><msup></msup></mo></mrow><msup><mo>)</mo><mrow><mo>-</mo><mn>1</mn></mrow></msup><msup><mi>H</mi><mi>T</mi></msup><mo>*</mo><mi>e</mi><mo>=</mo><mi>A</mi><mo>*</mo><mi>e</mi><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math>]]></maths>                         A=(H<sup>T</sup>H)<sup>-1</sup>H<sup>T</sup>                            (5)水平定位误差为:<![CDATA[ <math><mrow><msub><mi>d</mi><mi>h</mi></msub><mo>=</mo><msup><mrow><mo>(</mo><msubsup><mi>d</mi><mn>1</mn><mn>2</mn></msubsup><mo>+</mo><msubsup><mi>d</mi><mn>2</mn><mn>2</mn></msubsup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></mrow></math>]]></maths><![CDATA[ <math><mrow><mo>=</mo><msup><mrow><mo>(</mo><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>A</mi><mrow><mn>1</mn><mi>k</mi></mrow></msub><msub><mi>e</mi><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>A</mi><mrow><mn>2</mn><mi>k</mi></mrow></msub><mi></mi><msub><mi>e</mi><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>6</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中,<img file="A2006101654650002C6.GIF" wi="23" he="37" />为x方向上估计值,其替代真实值;χ为x方向上的解算值;e是伪距测量误差向量,e<sub>k</sub>为e的第k个分量;H是由各卫星至用户接收机的方向余弦向量构成的线性化矩阵,H∈R<sup>n×m</sup>,其中n为可视卫星个数;当仅利用单卫星星座定位时,m=4,当利用双卫星星座定位时,m=5,依次类推;当单星故障情况下,测量误差向量e最多只有一个较大的偏差元素,假设该元素位于e的第i个分量,且为ε<sub>i</sub>,则水平定位误差可以表示为:<![CDATA[ <math><mrow><msub><mi>d</mi><mi>k</mi></msub><mo>=</mo><msup><mrow><mo>(</mo><msubsup><mi>A</mi><mrow><mn>1</mn><mi>i</mi></mrow><mn>2</mn></msubsup><mo>+</mo><msubsup><mi>A</mi><mrow><mn>2</mn><mi>i</mi></mrow><mn>2</mn></msubsup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><msub><mi>&epsiv;</mi><mi>i</mi></msub></mrow></math>]]></maths>检测统计量s为:                            s=(w<sup>T</sup>w)<sup>1/2</sup>                              (7)按公式8得到单星情况下水平定位误差与检测统计量的比值SLOPE<sub>i</sub>:<![CDATA[ <math><mrow><msub><mi>SLOPE</mi><mi>i</mi></msub><mo>=</mo><msub><mi>d</mi><mi>k</mi></msub><mo>/</mo><mi>s</mi><mo>=</mo><msup><mrow><mo>(</mo><msubsup><mi>A</mi><mrow><mn>1</mn><mi>i</mi></mrow><mn>2</mn></msubsup><mo>+</mo><msubsup><mi>A</mi><mrow><mn>2</mn><mi>i</mi></mrow><mn>2</mn></msubsup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>/</mo><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msubsup><mi>B</mi><mi>ki</mi><mn>2</mn></msubsup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>8</mn><mo>)</mo></mrow></mrow></math>]]></maths>取SLOPE<sub>i</sub>中最大值SLPOE,它与水平定位告警限值(HAL:由具体飞行阶段来决定)决定接收机单星检测门限threshold_s:                            threshold_s=HAL/SLPOE                   (9)如果threshold_s<pbias,则单星自主完整性分析不可用;反之,可用;其中,双星的可用性分析与单星的基本原理相同,区别在于不同数目卫星故障时检测门限值不同;当两颗卫星同时发生故障时,假设测量误差向量e中,较大偏差元素ε<sub>i</sub>为e的第i个元素,较大偏差元素ε<sub>j</sub>为e的第j个元素;则水平定位误差与检测统计量的比值SLOPE<sub>i,j</sub>分别为:<![CDATA[ <math><mrow><msub><mi>d</mi><mi>h</mi></msub><mo>=</mo><msup><mrow><mo>(</mo><msubsup><mi>d</mi><mn>1</mn><mn>2</mn></msubsup><mo>+</mo><msubsup><mi>d</mi><mn>2</mn><mn>2</mn></msubsup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></mrow></math>]]></maths><![CDATA[ <math><mrow><mo>=</mo><msup><mrow><mo>(</mo><msup><mrow><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>A</mi><mrow><mn>1</mn><mi>k</mi></mrow></msub><msub><mi>e</mi><mi>k</mi></msub></mrow><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msub><mi>A</mi><mrow><mn>2</mn><mi>k</mi></mrow></msub><msub><mi>e</mi><mi>k</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></mrow></math>]]></maths><![CDATA[ <math><mrow><mo>=</mo><msup><mrow><mo>(</mo><msup><mrow><mo>(</mo><msub><mrow><msub><mi>A</mi><mrow><mn>1</mn><mi>i</mi></mrow></msub><mi>&epsiv;</mi></mrow><mi>i</mi></msub><mo>+</mo><msub><mi>A</mi><mrow><mn>1</mn><mi>j</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>j</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><msup><mrow><mo>(</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>i</mi></msub><mo>+</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>j</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>j</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>10</mn><mo>)</mo></mrow></mrow></math>]]></maths><![CDATA[ <math><mrow><msub><mi>SLOPE</mi><mrow><mi>i</mi><mo>,</mo><mi>j</mi></mrow></msub><mo>=</mo><msub><mi>d</mi><mi>k</mi></msub><mo>/</mo><mi>s</mi></mrow></math>]]></maths><![CDATA[ <math><mrow><mo>=</mo><mfrac><msup><mrow><mo>(</mo><msup><mrow><mo>(</mo><msub><mi>A</mi><mrow><mn>1</mn><mi>i</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>i</mi></msub><mo>+</mo><msub><mi>A</mi><mrow><mn>1</mn><mi>j</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>j</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><msup><mrow><mo>(</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>i</mi></msub><mo>+</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>j</mi></mrow></msub><msub><mi>&epsiv;</mi><mi>j</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>B</mi><mi>ki</mi></msub><msub><mi>&epsiv;</mi><mi>i</mi></msub><mo>+</mo><msub><mi>B</mi><mi>ki</mi></msub><msub><mi>&epsiv;</mi><mi>j</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></mfrac></mrow></math>]]></maths><![CDATA[ <math><mrow><mo>=</mo><mfrac><msup><mrow><mo>(</mo><msup><mrow><mo>(</mo><msub><mi>A</mi><mrow><mn>1</mn><mi>i</mi></mrow></msub><mi>&lambda;</mi><mo>+</mo><msub><mi>A</mi><mrow><mn>1</mn><mi>j</mi></mrow></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>+</mo><msup><mrow><mo>(</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>i</mi></mrow></msub><mi>&lambda;</mi><mo>+</mo><msub><mi>A</mi><mrow><mn>2</mn><mi>j</mi></mrow></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><msup><mrow><mo>(</mo><munderover><mi>&Sigma;</mi><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mi>n</mi></munderover><msup><mrow><mo>(</mo><msub><mi>B</mi><mi>ki</mi></msub><mi>&lambda;</mi><mo>+</mo><msub><mi>B</mi><mi>kj</mi></msub><mo>)</mo></mrow><mn>2</mn></msup><mo>)</mo></mrow><mrow><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup></mfrac><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>11</mn><mo>)</mo></mrow></mrow></math>]]></maths>方程11中变量λ是ε<sub>i</sub>与ε<sub>j</sub>的比值;在n颗可见卫星中,遍历任何多颗卫星出现故障的情况,即有C<sub>n</sub><sup>2</sup>种可能情况,在C<sub>n</sub><sup>2</sup>种可能情况中,寻找最大的斜率值SLOPE<sub>max</sub>,                       SLOPE<sub>i,j|max</sub>=max(SLOPE<sub>i,j</sub>)          (12)                       SLOPE<sub>max</sub>=max(SLOPE<sub>i,j|max</sub>)           (13)根据SLOPE<sub>max</sub>值与水平定位告警限值(HAL)一起来决定接收机双星检测门限threshold_m:                       threshold_m=HAL/SLPOE<sub>max</sub>              (14)如果threshold_m<pbias,则多星自主完整性分析不可用;反之,可用;b、进行单星、多星故障判断:将检测统计量与单星或多星检测门限进行比较,如果没有超过任何门限,表明当前无故障,继续监测;如果超过门限,决定进入相应的故障识别步骤:将在步骤a中满足其可用性分析条件的单星或者双星故障检测的门限值,分别作为有效的单星或者双星故障检测的门限值;使用公式7计算得到的检测统计量s,将其分别与单、双星故障检测门限比较;若其值大于单星检测门限,则可能为单星故障也可能为双星故障;若其值仅大于双星检测门限,则仅需要进行双星故障识别;若其值小于单、双星检测门限,则不进行任何故障识别,系统判断此时所有卫星工作正常;在其用于多星故障RAIM检测中,方法相同。c、进行单星、多星故障识别:单星情况时应用特征偏差线法进行故障识别,多星情况时应用假设验证法进行故障识别;单星故障识别技术采用特征偏差线法排除故障卫星:首先对观测矩阵H进行QR分解后得到奇偶空间矩阵Q<sub>P</sub>:<![CDATA[ <math><mrow><msup><mi>Q</mi><mi>T</mi></msup><mo>=</mo><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>X</mi></msub></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>P</mi></msub></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>15</mn><mo>)</mo></mrow></mrow></math>]]></maths>其中Q<sub>X</sub>为Q<sup>T</sup>前4行,Q<sub>P</sub>为奇偶空间矩阵;奇偶空间矢量p为:                               p=Q<sub>P</sub>y                              (16)y是实测伪距与估计值之差;用公式17计算每颗卫星的特征偏差线K<sub>character_i</sub>:                                K<sub>character_i</sub>=Q<sub>P</sub>(1,i)/Q<sub>P</sub>(2,i)    (17)计算奇偶空间矢量的特征偏差斜率K<sub>P</sub>:                              K<sub>P</sub>=p<sub>1</sub>/p<sub>2</sub>                            (18)式中p<sub>1</sub>与p<sub>2</sub>是奇偶矢量p的元素,如果第i颗卫星的K<sub>character_i</sub>与K<sub>P</sub>非常接近,则第i颗卫星被识别为故障卫星;多星故障识别技术采用假设验证法排除故障卫星;若当前可见星为n颗,假设此时故障星有k颗,k∈[2,3,…,n-5],则需要对所有可能的k颗星故障进行一次遍历验证,共有C<sub>n</sub><sup>k</sup>种可能情况;假设现在验证k颗卫星f<sub>1</sub>,f<sub>2</sub>,……,f<sub>k</sub>,它们对应的伪距误差分别是x<sub>1</sub>,x<sub>2</sub>,……,x<sub>k</sub>,奇偶假设矢量new_p可以被写作:<![CDATA[ <math><mrow><mi>new</mi><mo>_</mo><mi>p</mi><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>n</mi><mo>-</mo><mi>m</mi><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>+</mo><msub><mi>x</mi><mn>2</mn></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>n</mi><mo>-</mo><mi>m</mi><mo>,</mo><msub><mi>f</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>+</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>+</mo><msub><mi>x</mi><mi>k</mi></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>n</mi><mo>-</mo><mi>m</mi><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>19</mn><mo>)</mo></mrow></mrow></math>]]></maths>new_p的前k个元素可以写作:<![CDATA[ <math><mrow><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>p</mi><mn>1</mn></msub></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>P</mi><mi>k</mi></msub></mtd></mtr></mtable></mfenced><mo>=</mo><msub><mi>x</mi><mn>1</mn></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>+</mo><msub><mi>x</mi><mn>2</mn></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>,</mo><msub><mi>f</mi><mn>2</mn></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>+</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>+</mo><msub><mi>x</mi><mi>k</mi></msub><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>20</mn><mo>)</mo></mrow></mrow></math>]]></maths>则可用公式20计算伪距误差x得:<![CDATA[ <math><mrow><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>x</mi><mn>1</mn></msub></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>x</mi><mi>k</mi></msub></mtd></mtr></mtable></mfenced><mo>=</mo><msup><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd><mtd><mo>.</mo><mo>.</mo><mo>.</mo></mtd><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mn>1</mn><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd><mtd><mo>.</mo><mo>.</mo><mo>.</mo></mtd><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>,</mo><msub><mi>f</mi><mn>1</mn></msub><mo>)</mo></mrow></mtd><mtd><mo>.</mo><mo>.</mo><mo>.</mo></mtd><mtd><msub><mi>Q</mi><mi>p</mi></msub><mrow><mo>(</mo><mi>k</mi><mo>,</mo><msub><mi>f</mi><mi>k</mi></msub><mo>)</mo></mrow></mtd></mtr></mtable></mfenced><mrow><mo>-</mo><mn>1</mn></mrow></msup><mo>&times;</mo><mfenced open='[' close=']'><mtable><mtr><mtd><msub><mi>p</mi><mn>1</mn></msub></mtd></mtr><mtr><mtd><mfenced open='' close=''><mtable><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr><mtr><mtd><mo>.</mo></mtd></mtr></mtable></mfenced></mtd></mtr><mtr><mtd><msub><mi>p</mi><mi>k</mi></msub></mtd></mtr></mtable></mfenced><mo>-</mo><mo>-</mo><mo>-</mo><mrow><mo>(</mo><mn>21</mn><mo>)</mo></mrow></mrow></math>]]></maths>得到假设的伪距误差后,将误差向量x代回公式19进行验证,如果奇偶假设矢量new_p与向量p非常接近,则卫星t<sub>1</sub>,t<sub>2</sub>,……,t<sub>k</sub>是故障卫星;d、进行排除验证:在已选卫星组合中剔除掉有故障的卫星,再次重复步骤a中的可用性分析、步骤b中的故障判断;如果没有故障被发现则表明步骤c的故障识别正确,已经排除故障卫星;如果有新的故障被发现则表明步骤c失败,此时需要针对具体情况进行分析:如果是进行单星故障排除时失败,则可能是多星故障,应进行多星故障检测;如果是进行多星故障排除时失败,则认为当前时刻测量数据无法完成完整性监测。
地址 100083北京市海淀区学院路37号北京航空航天大学电子信息工程学院