Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

一种协同二维DOA和TDOA观测量的超视距短波辐射源定位新方法

王鼎 尹洁昕 高路 张莉

王鼎, 尹洁昕, 高路, 等. 一种协同二维DOA和TDOA观测量的超视距短波辐射源定位新方法[J]. 雷达学报(中英文), 2024, 13(6): 1135–1156. doi: 10.12000/JR24136
引用本文: 王鼎, 尹洁昕, 高路, 等. 一种协同二维DOA和TDOA观测量的超视距短波辐射源定位新方法[J]. 雷达学报(中英文), 2024, 13(6): 1135–1156. doi: 10.12000/JR24136
WANG Ding, YIN Jiexin, GAO Lu, et al. A novel cooperative positioning method for over-the-horizon shortwave emitter based on two-dimensional direction-of-arrival and time-difference-of-arrival measurements[J]. Journal of Radars, 2024, 13(6): 1135–1156. doi: 10.12000/JR24136
Citation: WANG Ding, YIN Jiexin, GAO Lu, et al. A novel cooperative positioning method for over-the-horizon shortwave emitter based on two-dimensional direction-of-arrival and time-difference-of-arrival measurements[J]. Journal of Radars, 2024, 13(6): 1135–1156. doi: 10.12000/JR24136

一种协同二维DOA和TDOA观测量的超视距短波辐射源定位新方法

DOI: 10.12000/JR24136 CSTR: 32380.14.JR24136
基金项目: 国家自然科学基金(62171469, 62071029)
详细信息
    作者简介:

    王 鼎,副教授,博士生导师,主要研究方向为无线定位、阵列信号处理等

    尹洁昕,副教授,硕士生导师,主要研究方向为无线定位、阵列信号处理等

    高 路,研究员,博士生导师,主要研究方向为电子对抗、智能处理等

    张 莉,教授,硕士生导师,主要研究方向为无线定位、阵列信号处理等

    通讯作者:

    尹洁昕 Cindyin0807@163.com

  • 责任主编:郭福成 Corresponding Editor: GUO Fucheng
  • 中图分类号: TN911.7

A Novel Cooperative Positioning Method for Over-the-horizon Shortwave Emitter Based on Two-dimensional Direction-of-arrival and Time-difference-of-arrival Measurements

Funds: The National Natural Science Foundation of China (62171469, 62071029)
More Information
  • 摘要: 针对超视距远距离短波辐射源定位误差较大的问题,该文在观测站同时获得二维到达角度和到达时间差参数的场景下,提出一种协同这两种观测量的定位新方法。首先,基于单跳电离层虚高模型构建面向短波辐射源的二维到达角度和到达时间差的非线性观测方程。然后,将超视距定位几何模型与代数模型相结合,并依次将两种非线性观测方程转化为伪线性观测方程,进而提出一种无需迭代的两阶段协同定位方法。阶段1通过求解一元六次多项式的根获得目标位置向量闭式解,阶段2通过构建等式约束优化模型对阶段1的估计误差进行改良,并利用拉格朗日乘子技术得到精度更高的定位结果。最后,利用约束误差扰动理论对新提出的协同定位方法的估计性能进行理论分析,证明新方法具有渐近统计最优性,同时还利用约束误差扰动理论定量分析短波辐射源高度信息误差对定位精度产生的影响,并推导能确保地球椭圆约束产生性能增益的短波辐射源高度信息误差最大门限值。仿真实验结果验证该文新方法能够获得显著的协同增益。

     

  • 短波通信是一种中远程超视距通信方式,不会受到网络枢纽节点和有源中继的制约,具有通信覆盖范围广、开通迅速、机动灵活、抗毁性能强、网络重构便捷等优点,是国防安全领域中的重要通信手段,在某些极端情况下甚至是唯一可用的通信手段。时至今日,短波通信依然是正向通信领域中的研究热点[1],因此研究针对短波辐射源的定位技术与方法具有重要意义。

    在短波辐射源定位系统中最常使用的是多站角度交汇定位体制,该类系统需要每个观测站都安装天线阵列,并且通过阵列信号参数估计方法获得到达角度(Direction-Of-Arrival, DOA)参数,然后利用此观测信息估计目标辐射源位置坐标。时至今日,学者已经提出诸多不同类型的DOA定位方法[27],虽然这些方法的定位精度能渐近逼近克拉美罗界(Cramér-Rao Lower Bound, CRLB),但大都是面向信号视距传播场景的定位方法。众所周知,短波信号主要通过天波散射传播,因此短波辐射源定位是在超视距场景下实现的,对此现有文献中的视距DOA观测模型已不再适用。在短波超视距定位场景中,信号到达方位角可以通过一个与观测站地理坐标相关的旋转矩阵来获得[8,9],其是一种线性变换,并且旋转矩阵是已知的,并不会对方位角观测模型带来本质影响。然而,信号到达仰角与电离层虚高观测紧密相关[810],因此仰角观测模型的非线性程度会得到显著增强。文献[8,9]针对短波超视距定位场景,通过推导一元二次方程的根以及引入辅助变量的方式得到仰角伪线性观测方程,并基于此提出两种迭代型DOA定位方法,他们的估计性能均可以逼近CRLB,但都需设置迭代初始值,因此存在局部收敛和迭代发散的风险。

    另一种常用多站定位体制是时差(Time-Difference-Of-Arrival, TDOA)交汇定位,该类定位系统并不需要观测站安装天线阵列。针对视距场景下TDOA观测方程的非线性特性,现有TDOA定位方法大都将其转化为伪线性观测方程进行处理[1113]。然而,在短波超视距定位场景下,由于信号传播路径涉及电离层参数,此时TDOA观测方程具有更强的非线性特征,难以直接进行伪线性处理。近年来,短波超视距场景下的TDOA定位方法得到越来越多学者的关注。文献[14]研究短波信号TDOA估计方法,其实验结果表明,利用分布式传感器可以对2000 km远的短波信号提取TDOA参数,并具有较高精度。文献[15,16]利用准抛物线(Quasi-Parabolic, QP)电离层模型获得短波信号超视距传播的距离表达式,并基于此构建同时含有等式约束和不等式约束的非线性优化模型,针对该模型分别提出广义投影梯度下降算法、坐标下降算法等进行寻优计算。针对文献[15,16]中的定位方法易受迭代初始值影响而陷入局部最优解的问题,文献[17]提出一种与粒子群优化相结合的协作投影梯度方法,该方法能进行全局寻优,但需要更高计算复杂度。文献[18]针对天波超视距多输入多输出雷达,提出基于QP模型的到达时间(Time-Of-Arrival, TOA)定位方法,该方法将爬山算法与加权最小二乘估计相结合,通过3个计算阶段实现对短波辐射源的高精度定位。此外,文献[19]利用国际参考电离层(International Reference Ionosphere, ISI)模型,基于数值型三维射线追踪方法建立短波TDOA定位观测方程,推导相应的CRLB,并基于此进行理论性能分析。

    QP模型和ISI模型都能以射线追踪方程为基础建立短波TDOA定位观测方程,但需要一些电离层参数(包括电离层离子密度、介电常数等),在实际应用中难以准确获知,并且当电离层变化较复杂时,这些模型的定位精度极易受到影响。事实上,由于电离层时空变化特性无法精确获知,为了进行短波TDOA定位,在大多数情况下只能对电离层做近似处理。文献[20,21]提出一种能刻画信号传播距离的(单跳)电离层虚高模型,其中将电离层和地面近似为平行平面,定位观测方程相对简单,随着目标距离的增加,其定位精度会有所恶化。单跳模型可以覆盖3000 km远的通信距离,文献[22]提出一种电离层环境未知条件下的短波TDOA定位方法,该方法通过求解半正定规划模型获得短波辐射源位置参数,并且无需电离层先验信息,由于其对定位模型进行较大幅度的松弛,因此定位精度有时难以达到CRLB。文献[23]在假设短波辐射源信号到达各个观测站电离层虚高相等的条件下,提出一种基于网格选择的短波TDOA定位方法,该方法包含测试和搜索两个阶段,能扩展至电离层虚高未知的场景,获得了较优的定位精度,但需要较高的计算复杂度。

    综上所述,短波多站DOA定位和短波多站TDOA定位是短波频段最具代表性的两种多站定位体制。他们各有优势,前者在信号参数估计环节无需站间数据交互,因此受同步误差影响相对较小;后者则对远距离目标具有更高定位精度。事实上,若能融合这两种体制进行协同定位,则会带来显著的协同增益。近些年来,学者虽然提出很多DOA/TDOA协同定位方法[2426],但基本都是针对视距场景提出的,难以直接应用于短波超视距定位场景。文献[8]针对短波目标辐射源提出一种联合2D-DOA观测量和TDOA观测量的协同定位方法,取得了较高的定位精度,但该方法假设每个观测站仅能获得2D-DOA和TDOA中的一种参数。然而,利用现代阵列信号参数估计方法可以利用每个观测站的阵列天线联合估计2D-DOA和TDOA两种参数,在此基础上进行协同定位能获得更高协同增益。基于上述讨论,本文基于单跳电离层虚高模型,提出一种联合2D-DOA观测量和TDOA观测量的协同定位新方法。与文献[8]考虑的场景不同,本文假设每个观测站能联合估计信号2D-DOA/TDOA两域参数,因此需要每个观测站均安装天线阵列,减少了所需观测站个数下界。本文的主要工作和创新点包括:(1)针对短波超视距定位场景,利用多项式求根和拉格朗日乘子技术提出一种两阶段闭式解型2D-DOA/TDOA协同定位新方法,其无需迭代初始值,可有效避免局部收敛的影响;(2)利用约束误差扰动理论和正交投影矩阵的数学性质推导2D-DOA/TDOA协同定位新方法的估计均方误差理论表达式,并证明新方法的定位精度可以渐近逼近CRLB;(3)在短波辐射源高度信息误差存在下,基于约束误差扰动理论推导新方法的定位均方误差的理论表达式,并基于此提出能确保地球椭圆约束产生性能增益的短波辐射源高度信息误差的最大门限值。

    图1描绘了短波超视距定位几何模型,现在地球表面存在一个待定位的短波辐射源,其经度和纬度分别为ωoρo。根据文献[2023]中的讨论可知,短波信号进入电离层和离开电离层的两条路径可以利用(单跳)平面反射模型来表征,因此存在一个等效电离层反射平面,反射面距离地面的高度即为电离层虚高。假设有N个观测站可以同时接收该短波信号,其中第n个观测站的经度和纬度分别为ωs,nρs,n(1nN),每个观测站均安装天线阵列,利用现代阵列信号参数估计技术可以联合估计辐射源信号2D-DOA/TDOA两域参数。

    图  1  短波辐射源2D-DOA和TDOA几何模型示意图
    Figure  1.  Schematic diagram of 2D-DOA and TDOA geometric models of shortwave radiation source

    将短波信号到达第n(n1)个观测站的方位角和仰角分别记为θnβn,地面辐射源与第n个观测站在地心地固坐标系(Earth-Centered, Earth-Fixed, ECEF)下的位置向量分别如式(1)所示[27,28]

    uo=[cos(ρo)cos(ωo)cos(ρo)sin(ωo)(1e2)sin(ρo)]re1e2(sin(ρo))2,us,n=[cos(ρs,n)cos(ωs,n)cos(ρs,n)sin(ωs,n)(1e2)sin(ρs,n)]re1e2(sin(ρs,n))2(1nN) (1)

    其中,e=0.081819790992113表示地球第一偏心率;re=6378.137 km表示地球赤道半径。根据文献[8]中的讨论可知方位角θn的数学模型为

    θn=arctan(sTn,1(uous,n)sTn,2(uous,n))(1nN) (2)

    其中,Sn表示三维空间旋转矩阵,其表达式见文献[8];sn,1sn,2分别表示矩阵STn中的第1列向量和第2列向量。定义方位角向量θ=[θ1θ2θN]T,在实际中仅能得到其观测值ˆθ,相应的观测模型如式(3)所示:

    ˆθ=θ+ξθ=gθ(uo)+ξθ (3)

    其中,θ=gθ(uo)表示由式(2)定义的非线性函数;向量ξθ表示方位角观测误差,其服从零均值的高斯分布。

    另外,将信号到达第n个观测站对应的电离层虚高记为dn,根据文献[8]中的讨论可知仰角βn的数学模型为

    βn=arctan(cot(ϕn)roro+dncsc(ϕn))(1nN) (4)

    其中,ϕn=arcsin(||uous,n||2/(2ro))ro=6371.393 km表示地球平均半径。定义仰角向量β=[β1β2βN]T,在实际中仅能得到其观测值ˆβ,相应的观测模型如式(5)所示:

    ˆβ=β+ξβ=gβ(uo,d)+ξβ (5)

    其中,d=[d1d2dN]T表示电离层虚高向量;β=gβ(uo,d)表示由式(4)定义的非线性函数;向量ξβ表示仰角观测误差,其服从零均值的高斯分布。

    注释1:由式(1)可知,短波辐射源位置向量uo满足式(6)二次椭圆等式约束

    uToΩ0uo=uTodiag{1,1,11e2}uo=r2e (6)

    显然,向量uo的自由度应为2,不妨将其前面两个元素构成的向量记为ˉuo,则第3个元素可以写成关于向量ˉuo的函数,即[uo]3=±(1e2)(r2e||ˉuo||22),这意味着向量uo可以由向量ˉuo来表示。

    假设第1个观测站为主观测站,其余均为辅助观测站,将短波信号到达第n(n2)个观测站与到达主观测站的TDOA记为tn,根据文献[8]中的讨论可知TDOAtn的数学模型为

    tn=2c(anbncos(ϕn)a1b1cos(ϕ1))(2nN) (7)

    其中,c=3×105km/s表示信号传播速度;an=2r2o+2rodn+d2nbn=2ro(ro+dn)。定义TDOA向量t=[t2t3tN]T,在实际中仅能得到其观测值ˆt,相应的观测模型如式(8)所示:

    ˆt=t+ξt=gt(uo,d)+ξt (8)

    其中,t=gt(uo,d)表示由式(7)定义的非线性函数;向量ξt表示TDOA观测误差,其服从零均值的高斯分布。

    将式(3)、式(5)以及式(8)进行合并可以得到短波超视距2D-DOA/TDOA协同定位观测模型,如式(9)所示:

    ˆz=z+ξz=gz(uo,d)+ξz (9)

    其中

    {ˆz=[ˆθTˆβTˆtT]T,z=[θTβTtT]T=gz(uo,d)ξz=[ξTθξTβξTt]Tgz(uo,d)=[(gθ(uo))T(gβ(uo,d))T(gt(uo,d))T]T (10)

    其中,向量ξz表示2D-DOA/TDOA观测误差,其服从零均值的高斯分布,协方差矩阵为Σz=E[ξzξTz]

    式(9)中的短波超视距2D-DOA/TDOA协同定位观测模型与电离层虚高向量d紧密相关,实际中可以通过垂直探测、后向散射反演等技术得到其先验观测值。电离层虚高观测值与其真实值之间通常存在观测误差,因此可以将向量d的观测模型表示为

    ˆd=d+ξd (11)

    其中,向量ξd表示电离层虚高观测误差,其服从零均值的高斯分布,协方差矩阵为Σd=E[ξdξTd]。需要指出的是,尽管电离层具有实时变化性,但是在短波频段完成单次定位所需要的信号采集与参数解算仅为毫秒级时间,因此可以假设在定位计算过程中电离层虚高观测量ˆd保持不变。

    虽然文中考虑的短波超视距协同定位场景与文献[8]中的协同定位场景并不完全一致,但可以在相同框架下推导两种CRLB,他们也具有相似的形式。两者的主要区别在于文献[8]中的2D-DOA观测和TDOA观测源自不同观测站,因此协方差矩阵Σz具有块状对角结构,而本文假设每个观测站联合估计信号2D-DOA/TDOA两域参数,此时协方差矩阵Σz不再具有块状对角结构。

    实际中仅关心短波辐射源位置向量uo的CRLB矩阵,基于文献[8]中的结论可得

    CRLB(uo)=CRLBun(uo)CRLBun(uo)Ω0uo(Ω0uo)TCRLBun(uo)(Ω0uo)TCRLBun(uo)Ω0uo (12)

    其中,CRLBun(uo)表示没有等式约束条件下向量uo的CRLB矩阵,其表达式为

    CRLBun(uo)=[(Gz,u(uo,d))T[Σz+Gz,d(uo,d)Σd(Gz,d(uo,d))T]1Gz,u(uo,d)]1 (13)

    其中,Gz,u(uo,d)=gz(uo,d)/uToGz,d(uo,d)=gz(uo,d)/dT。另一方面,如果定义矩阵J(uo)=[I2(e21)¯uo/[uo]3]T,则还能得到矩阵CRLB(uo)的另一种形式,如式(14)所示:

    CRLB(uo)=J(uo)[(J(uo))T(CRLBun(uo))1J(uo)]1(J(uo))T (14)

    为了便于后续理论性能分析,这里还需要获得关于向量ˉuo的CRLB矩阵,如式(15)所示:

    CRLB(ˉuo)=[(J(uo))T(CRLBun(uo))1J(uo)]1 (15)

    结合式(14)和式(15)可得

    CRLB(uo)=J(uo)CRLB(ˉuo)(J(uo))T (16)

    相比视距场景下的2D-DOA和TDOA观测模型,在短波超视距场景下其定位观测模型的非线性程度显著增强,此时对迭代初始值也会更加敏感,因此本文提出一种闭式解型定位方法,其中包括两个计算阶段,阶段1需要将2D-DOA/TDOA非线性观测方程转化为伪线性观测方程,并通过求解一元六次多项式的根获得目标位置向量的闭式解,阶段2则通过构建等式约束优化模型对阶段1的估计误差进行改良,并且利用拉格朗日乘子技术得到精度更高的定位结果。下面描述新方法的基本原理和计算步骤。

    3.1.1   伪线性观测方程

    首先给出方位角伪线性观测方程,其可以直接由式(2)获得[8],如式(17)所示:

    Qθuo=pθ (17)

    其中

    Qθ=[[s1,1cos(θ1)s1,2sin(θ1)]T[s2,1cos(θ2)s2,2sin(θ2)]T[sN,1cos(θN)sN,2sin(θN)]T],pθ=[[s1,1cos(θ1)s1,2sin(θ1)]Tus,1[s2,1cos(θ2)s2,2sin(θ2)]Tus,2[sN,1cos(θN)sN,2sin(θN)]Tus,N] (18)

    接着推导仰角伪线性观测方程。需要指出的是,文献[8]利用一元二次方程的根获得仰角伪线性观测方程,其计算过程相对复杂,本文则从几何关系着手进行分析,可以省略一元二次方程求根环节。在图1ABC中利用正弦定理可知:

    lnsin(ϕn)=ro+dnsin(π/2+βn)sin(ϕn)=cos(βn)d2n+2rodn+r2o(sin(βn))2rosin(βn)cos(βn)ro+dn=ψn(1nN) (19)

    结合式(4)中ϕn的定义和式(19)可得

    12ro||uous,n||2=sin(ϕn)=ψn2uTs,nuo||uo||22=||us,n||224r2oψ2n(1nN) (20)

    不妨将标量||uo||22作为辅助变量,此时综合式(20)中的N个方程可以将仰角伪线性观测方程写为

    Qβ[uo||uo||22]=pβ (21)

    其中

    Qβ=[2uTs,112uTs,212uTs,N1],pβ=[||us,1||224r2oψ21||us,2||224r2oψ22||us,N||224r2oψ2N] (22)

    最后推导TDOA伪线性观测方程。文献[8]假设每个观测站仅能获得2D-DOA和TDOA中的一种观测量,由于短波超视距TDOA观测模型的高度非线性特征,难以直接对其进行伪线性化处理,需要借助中间定位结果。然而,本文假设每个观测站能联合估计信号的2D-DOA/TDOA两域参数,此时在2D-DOA观测量的协同下可以直接得到TDOA伪线性观测方程。在图1ABC中利用几何关系可知:

    a1b1cos(ϕ1)=d21+2rod1+r2o(sin(β1))2rosin(β1) (23)

    将式(23)代入式(7)中可得

    anbncos(ϕn)=ctn2+d21+2rod1+r2o(sin(β1))2rosin(β1)=τnbncos(ϕn)=anτ2nϕn2b2nuTs,nuob2n||uo||22=4r2o(anτ2n)2+b2n(||us,n||224r2o)(2nN) (24)

    仍然将标量||uo||22视为辅助变量,此时综合式(24)中的N1个方程可以将TDOA伪线性观测方程写为

    Qt[uo||uo||22]=pt (25)

    其中

    Qt=[2b22uTs,2b222b23uTs,3b232b2NuTs,Nb2N],pt=[4r2o(a2τ22)2+b22(||us,2||224r2o)4r2o(a3τ23)2+b23(||us,3||224r2o)4r2o(aNτ2N)2+b2N(||us,N||224r2o)] (26)

    为了进行短波超视距2D-DOA/TDOA协同定位,需要合并式(17)、式(21)以及式(25)得到矩阵形式为

    Q(z,d)[uo||uo||22]=Q(z,d)vo=p(z,d) (27)

    其中

    Q(z,d)=[Qθ0NQβQt],p(z,d)=[pθpβpt],vo=[uo||uo||22]

    其满足下面两个二次椭圆等式约束

    {vToΩ1vo=vToblkdiag{ Ω0,0} vo=r2e(I)vToΩ2vo+γT2vo=vTodiag{ 1,1,1,0} vo+[0001]vo=0(II) (28)

    注释2:类似于文献[8]中的分析,将z=gz(uo,d)代入式(27)中可以得到关于向量uod的恒等式,将该恒等式两边分别对向量uod求导可得

    Gz,u(uo,d)=C1zQ(z,d)vouTo,Gz,d(uo,d)=C1zCd (29)

    其中

    {Cz=Pz(z,d)[˙Qz,1(z,d)vo˙Qz,2(z,d)vo˙Qz,3N1(z,d)vo]Cd=Pd(z,d)[˙Qd,1(z,d)vo˙Qd,2(z,d)vo˙Qd,N(z,d)vo]Pz(z,d)=pz(z,d)zT,Pd(z,d)=pz(z,d)dT˙Qz,n(z,d)=Q(z,d)[z]n(1n3N1),˙Qd,n(z,d)=Q(z,d)[d]n(1nN) (30)

    式(29)对于后续定位方法的推导以及理论性能分析均能起到重要作用。

    3.1.2   估计准则

    基于式(27)可以定义如下误差向量

    e=p(ˆz,ˆd)Q(ˆz,ˆd)vo=ΔpΔQvo (31)

    其中,Δp=p(ˆz,ˆd)p(z,d), ΔQ=Q(ˆz,ˆd)Q(z,d)。运用一阶误差分析方法可知:

    ΔpPz(z,d)ξz+Pd(z,d)ξd (32)
    ΔQvo[˙Qz,1(z,d)vo˙Qz,2(z,d)vo˙Qz,3N1(z,d)vo]ξz+[˙Qd,1(z,d)vo˙Qd,2(z,d)vo˙Qd,N(z,d)vo]ξd (33)

    将式(32)和式(33)代入式(31)中可得eCzξz+Cdξd,由该式可知,伪线性观测误差向量e渐近服从零均值高斯分布,并且其协方差矩阵为

    COV(e)=CzE[ξzξTz]CTz+CdE[ξdξTd]CTd=CzΣzCTz+CdΣdCTd (34)

    与经典两步加权最小二乘定位方法类似,阶段1同样忽略了辅助变量||uo||22与向量uo之间的代数关系,仅考虑式(28)中的第1个等式约束,从而建立如下含有二次椭圆等式约束的优化模型:

    {min (35)

    由于加权矩阵{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}中涉及2D-DOA/TDOA观测误差协方差矩阵{{\boldsymbol{\varSigma }}_z} = {\bf{E}}[{{\boldsymbol{\xi }}_z}{\boldsymbol{\xi }}_z^{\text{T}}]和电离层虚高观测误差协方差矩阵{{\boldsymbol{\varSigma }}_d} = {\bf{E}}[{{\boldsymbol{\xi }}_d}{\boldsymbol{\xi }}_d^{\text{T}}],因此本文新方法需要将这两个矩阵作为先验知识。矩阵{{\boldsymbol{\varSigma }}_z}中的元素结构与估计信号2D-DOA/TDOA参数时所处理的数据相关性有关,这里参照文献[24]设置该矩阵,其中2D-DOA观测误差协方差矩阵可设为对角矩阵,TDOA观测误差协方差矩阵可设为对角线元素为1、其余元素均为0.5的非对角矩阵乘以某个标量,此外还需考虑2D-DOA观测误差与TDOA观测误差之间的相关性,因此矩阵{{\boldsymbol{\varSigma }}_z}通常并不具备块状对角结构。矩阵{{\boldsymbol{\varSigma }}_d}可以通过放置信号源并进行大量的离线观测获得,可将其设为对角矩阵。

    3.1.3   求解算法

    由于{\nabla ^2}{f_{\text{f}}}{\text{(}}{{\boldsymbol{v}}_{\text{o}}}{\text{)}} = {({\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})是正定矩阵,{{\boldsymbol{\varOmega }}_{\text{1}}}仅是半正定矩阵,根据文献[29]中的定理2.1可知,式(35)一定存在全局最优解。不妨将其全局最优解记为{{\boldsymbol{\hat v}}_{{\text{o,f}}}},利用文献[29]中的定理3.2可得

    \left\{ \begin{aligned} & \left[{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}}\right]{{{\boldsymbol{\hat v}}}_{{\text{o,f}}}} \\ & \quad = {\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) \\ & {\boldsymbol{\hat v}}_{{\text{o,f}}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{{\boldsymbol{\hat v}}}_{{\text{o,f}}}} = r_{\text{e}}^{\text{2}} \\ & {\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}} \ge {\bf{O}} \end{aligned} \right. (36)

    其中,\lambda 表示待求解的拉格朗日乘子。式(36)前面两个等式即为KKT (Karush-Kuhn-Tucker)条件。

    利用式(36)第1个等式可得

    \begin{split} {{\boldsymbol{\hat v}}_{{\text{o,f}}}} =\,& {\left[{\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}}\right]^{ - 1}}{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}\\ & \cdot{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) \end{split} (37)

    其中

    {\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) = {\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}({\boldsymbol{e}})})^{ - 1}}{\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) (38)

    将式(37)代入式(36)第2个等式可知

    \begin{split} &{\left({\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) \right)^{\text{T}}} {({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) {\left[{\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}}\right]^{ - 1}}\\ & \quad \cdot{{\boldsymbol{\varOmega }}_{\text{1}}}{\left[{\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}}\right]^{ - 1}}\\ & \quad \cdot{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) = r_{\text{e}}^{\text{2}}\\[-1pt] \end{split} (39)

    式(39)是关于\lambda 的非线性方程,下面将其转化为关于\lambda 的多项式形式,以使得\lambda 的求解问题变成一元多项式求根问题。

    首先在附录A中证明矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}可以进行如下对角化:

    \begin{split} {\left({\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{ - 1}}{{\boldsymbol{\varOmega }}_1} \;& = {{\boldsymbol{H}}_{\text{w}}}{{\boldsymbol{\varLambda }}_{\text{w}}}{\boldsymbol{H}}_{\text{w}}^{ - 1} \\ & \Leftrightarrow {\boldsymbol{H}}_{\text{w}}^{ - 1}{\left({\boldsymbol{W}} \left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{ - 1}}{{\boldsymbol{\varOmega }}_1}{{\boldsymbol{H}}_{\text{w}}} = {{\boldsymbol{\varLambda }}_{\text{w}}}\\ \end{split} (40)

    其中,{{\boldsymbol{\varLambda }}_{\text{w}}} = {\text{diag}}\{ {\kappa _1}\;,\;{\kappa _2}\;,\;{\kappa _3}\;,\;{\kappa _4}\} 表示由特征值构成的对角矩阵,由于{\mathrm{rank}}[{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}] = {\mathrm{rank}}[{{\boldsymbol{\varOmega }}_1}] = 3,于是有{\kappa _4} = 0{{\boldsymbol{H}}_{\text{w}}}表示由特征向量构成的特征矩阵。利用式(40)可知:

    \begin{split} {\left[{\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) + \lambda {{\boldsymbol{\varOmega }}_{\text{1}}}\right]^{ - 1}} =\;& {{\boldsymbol{H}}_{\text{w}}}{({{\boldsymbol{I}}_4} + \lambda {{\boldsymbol{\varLambda }}_{\text{w}}})^{ - 1}}{\boldsymbol{H}}_{\text{w}}^{ - 1}\\ & \cdot{\left({\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{ - 1}} \end{split} (41)

    将式(41)代入式(39)中,并且结合式(40)可得

    \begin{split} & {\left({\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right){{\boldsymbol{H}}_{\text{w}}}{({{\boldsymbol{I}}_4} + \lambda {{\boldsymbol{\varLambda }}_{\text{w}}})^{ - 1}}\\ & \quad\cdot{{\boldsymbol{\varLambda }}_{\text{w}}}{({{\boldsymbol{I}}_4} + \lambda {{\boldsymbol{\varLambda }}_{\text{w}}})^{ - 1}}{\boldsymbol{H}}_{\text{w}}^{ - 1}{\left({\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{ - 1}}{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}\\ & \quad\cdot{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) = r_{\text{e}}^{\text{2}}\\[-1pt] \end{split} (42)

    接着定义两个向量为

    \left\{ \begin{aligned} & {{\boldsymbol{h}}_1} = {\boldsymbol{H}}_{\text{w}}^{ - 1}{\left({\boldsymbol{W}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{ - 1}}{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}\\ & \qquad\cdot{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) = {[{h_{1,1}}\;\;{h_{1,2}}\;\;{h_{1,3}}\;\;{h_{1,4}}]^{\text{T}}} \\ & {{\boldsymbol{h}}_2} = {\boldsymbol{H}}_{\text{w}}^{\text{T}}{\left({\boldsymbol{Q}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}{\boldsymbol{p}}\left({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}\right) \\ & \quad = {[{h_{2,1}}\;\;{h_{2,2}}\;\;{h_{2,3}}\;\;{h_{2,4}}]^{\text{T}}} \end{aligned} \right. (43)

    并将式(43)代入式(42)中可知:

    \begin{split} & {\boldsymbol{h}}_2^{\text{T}}{({{\boldsymbol{I}}_4} + \lambda {{\boldsymbol{\varLambda }}_{\text{w}}})^{ - 1}}{{\boldsymbol{\varLambda }}_{\text{w}}}{({{\boldsymbol{I}}_4} + \lambda {{\boldsymbol{\varLambda }}_{\text{w}}})^{ - 1}}{{\boldsymbol{h}}_1} \\ & \quad= \sum\limits_{j = 1}^4 {\frac{{{h_{1,j}}{h_{2,j}}{\kappa _j}}}{{{{(1 + \lambda {\kappa _j})}^2}}}} = \sum\limits_{j = 1}^3 {\frac{{{h_j}{\kappa _j}}}{{{{(1 + \lambda {\kappa _j})}^2}}}} = r_{\text{e}}^{\text{2}} \end{split} (44)

    其中,{h_j} = {h_{1,j}}{h_{2,j}},其第2个等号是由于{\kappa _4} = 0。基于式(44)可以得到关于拉格朗日乘子\lambda 的一元六次多项式方程,如式(45)所示:

    {\alpha _0}{\lambda ^6} + {\alpha _1}{\lambda ^5} + {\alpha _2}{\lambda ^4} + {\alpha _3}{\lambda ^3} + {\alpha _4}{\lambda ^2} + {\alpha _5}\lambda + {\alpha _6} = 0 (45)

    其中

    {\alpha _0} = r_{\text{e}}^{\text{2}}\prod\limits_{j = 1}^3 {\kappa _j^2} \;,\;{\alpha _1} = 2r_{\text{e}}^{\text{2}}\sum\limits_{{j_1} = 1}^3 {{\kappa _{{j_1}}}\left( {\prod\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {\kappa _{{j_2}}^2} } \right)} (46)
    \begin{split} {\alpha _2} =\;& r_{\text{e}}^{\text{2}}\sum\limits_{{j_1} = 1}^3 {\prod\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {\kappa _{{j_2}}^2} } \\ & + 4r_{\text{e}}^{\text{2}}\sum\limits_{{j_1} = 1}^3 {\kappa _{{j_1}}^2\left( {\prod\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {{\kappa _{{j_2}}}} } \right)} \\ & - \sum\limits_{{j_1} = 1}^3 {{h_{{j_1}}}{\kappa _{{j_1}}}\left( {\prod\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {\kappa _{{j_2}}^2} } \right)} \end{split} (47)
    \begin{split} {\alpha _3} = \;& 8r_{\text{e}}^{\text{2}}\prod\limits_{j = 1}^3 {{\kappa _j}} + 2r_{\text{e}}^{\text{2}}\sum\limits_{{j_1} = 1}^3 {\kappa _{{j_1}}^2\left( {\sum\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {{\kappa _{{j_2}}}} } \right)} \\ & - 2\sum\limits_{{j_1} = 1}^3 {h_{{j_1}}}{\kappa _{{j_1}}}\left[ \sum\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {\kappa _{{j_2}}}\right.\\ &\left. \cdot \left( {\sum\limits_{{j_3} = 1;{j_3} \ne {j_1};{j_3} \ne {j_2}}^3 {\kappa _{{j_3}}^2} } \right) \right] \end{split} (48)
    \begin{split} {\alpha _4} = \;& r_{\text{e}}^{\text{2}}\sum\limits_{j = 1}^3 {\kappa _j^2} + 4r_{\text{e}}^{\text{2}}\sum\limits_{{j_1} = 1}^3 {{\kappa _{{j_1}}}\left( {\sum\limits_{{j_2} = 1;{j_2} > {j_1}}^3 {{\kappa _{{j_2}}}} } \right)}\\ & - \sum\limits_{{j_1} = 1}^3 {{h_{{j_1}}}{\kappa _{{j_1}}}\left( {\sum\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {\kappa _{{j_2}}^2} } \right)} \\ & - 4\sum\limits_{{j_1} = 1}^3 {{h_{{j_1}}}{\kappa _{{j_1}}}\left( {\prod\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {{\kappa _{{j_2}}}} } \right)} \end{split} (49)
    \begin{split} & {\alpha _5} = 2r_{\text{e}}^{\text{2}}\sum\limits_{j = 1}^3 {{\kappa _j}} - 2\sum\limits_{{j_1} = 1}^3 {{h_{{j_1}}}{\kappa _{{j_1}}}\left( {\sum\limits_{{j_2} = 1;{j_2} \ne {j_1}}^3 {{\kappa _{{j_2}}}} } \right)} \;\;,\\ & {\alpha _6} = r_{\text{e}}^{\text{2}} - \sum\limits_{j = 1}^3 {{h_j}{\kappa _j}} \end{split} (50)

    利用一元多项式求根算法求解式(45)的根,并将其代入式(37)中即可得到估计值{{\boldsymbol{\hat v}}_{{\text{o,f}}}}。利用该估计值可以获得辐射源位置向量 {{\boldsymbol{u}}_{\text{o}}} 在阶段1的估计结果,不妨将其记为{{\boldsymbol{\hat u}}_{{\text{o,f}}}},于是有

    {{\boldsymbol{\hat u}}_{{\text{o,f}}}} = {[{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_1}\;\;{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_2}\;\;{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_3}]^{\text{T}}} = [{{\boldsymbol{I}}_3}\;\;{{\bf{0}}_3}]{{\boldsymbol{\hat v}}_{{\text{o,f}}}} = {{\boldsymbol{\bar I}}_3}{{\boldsymbol{\hat v}}_{{\text{o,f}}}} (51)

    其中,{{\boldsymbol{\bar I}}_3} = [{{\boldsymbol{I}}_3}\;\;{{\bf{0}}_3}]。若将估计值{{\boldsymbol{\hat v}}_{{\text{o,f}}}}{{\boldsymbol{\hat u}}_{{\text{o,f}}}}中的误差向量分别记为\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}\Delta {{\boldsymbol{u}}_{{\text{o,f}}}},则有

    \begin{split} \Delta {{\boldsymbol{u}}_{{\text{o,f}}}}\;& = {[{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_1}\;\;{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_2}\;\;{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_3}]^{\text{T}}} = [{{\boldsymbol{I}}_3}\;\;{{\bf{0}}_3}]\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}\\ & = {{\boldsymbol{\bar I}}_3}\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}\\[-1pt] \end{split} (52)

    注释3:式(45)中的多项式共包含6个根,因此需要排除其中5个假根,可以依次通过以下方式进行排除。首先,将成共轭对的复数根直接排除;然后,将矩阵束[{{\boldsymbol{\varOmega }}_{\text{1}}}\;,\;{\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})]的最大广义特征值记为{\kappa _{\max }},由式(36)中的第3式可知,\lambda 的取值范围应为\lambda \in ( - 1/{\kappa _{\max }}\;,\; + \infty );最后,将剩余未被排除的根记为{\{ {\lambda _j}\} _{1 \le j \le J}}(其中J表示总个数),并将由每个根得到的辐射源位置向量的估计值记为{\{ {{\boldsymbol{\hat u}}_{{\text{o,f}}}}({\lambda _j})\} _{1 \le j \le J}},进而可以利用下面的最大似然估计(Maximum Likelihood Estimation, MLE)准则选定唯一正确的根,如式(53)所示:

    \begin{split} & \mathop {\min }\limits_{1 \le j \le J} \left\{ {\left[{\boldsymbol{\hat z}} - {{\boldsymbol{g}}_z} \left({{\boldsymbol{\hat u}}_{{\text{o,f}}}}({\lambda _j}),{\boldsymbol{\hat d}}\right)\right]^{\text{T}}} \left[{{\boldsymbol{\varSigma }}_z} + {{\boldsymbol{G}}_{z{\text{,}}d}} \left({{\boldsymbol{\hat u}}_{{\text{o,f}}}}({\lambda _j}),{\boldsymbol{\hat d}}\right)\right.\right.\\ & \cdot{{\boldsymbol{\varSigma }}_d}{\left({{\boldsymbol{G}}_{z{\text{,}}d}}\left({{\boldsymbol{\hat u}}_{{\text{o,f}}}}({\lambda _j}),{\boldsymbol{\hat d}}\right)\right)^{\text{T}}}]^{ - 1}[{\boldsymbol{\hat z}} - {{\boldsymbol{g}}_z}({{\boldsymbol{\hat u}}_{{\text{o,f}}}}({\lambda _j}),{\boldsymbol{\hat d}})]\} \end{split} (53)

    众所周知,门限效应对于所有非线性问题都是不可避免的,并且在相同条件下检测发生门限效应时的观测误差阈值通常高于参数估计发生门限效应时的观测误差阈值,这意味着如果标准差增加到使误判发生,那么即使选用正确的根进行定位,其定位精度也将大概率超过CRLB,即参数估计的门限效应也会发生。由于这里选根的最后一步是通过MLE准则进行评判的,因此导致误判发生的观测误差阈值相对较高。第5节的仿真实验结果表明,在大多数情况下仅利用门限值 - 1/{\kappa _{\max }}就已经能够挑选出唯一正确的根。

    3.1.4   理论性能分析

    若将向量{{\boldsymbol{\hat v}}_{{\text{o,f}}}}的估计误差记为\Delta {{\boldsymbol{v}}_{{\text{o,f}}}} = {{\boldsymbol{\hat v}}_{{\text{o,f}}}} - {\boldsymbol{v}},运用约束误差扰动理论可知,误差向量\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}是如下优化问题的最优解

    \left\{ \begin{aligned} & \mathop {\min }\limits_{\Delta {{\boldsymbol{v}}_{\text{o}}} \in {\mathbb{R}^{4 \times 1}}} \{ {[{\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}})\Delta {{\boldsymbol{v}}_{\text{o}}} - ({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d})]^{\text{T}}}\\ & \quad \cdot{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}[{\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}})\Delta {{\boldsymbol{v}}_{\text{o}}} - ({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d})]\} \\ &{\text{s}}{\text{.t}}{\text{.}}\;\;{(\Delta {{\boldsymbol{v}}_{\text{o}}})^{\text{T}}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} = {\text{0}} \end{aligned} \right. (54)

    式(54)的最优闭式解为

    \begin{split} \Delta {{\boldsymbol{v}}_{{\text{o,f}}}} =\;& \left( {{{\boldsymbol{I}}_4} - \frac{{{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}}} \right)\\ & \cdot{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{({\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}}))^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}\\ & \cdot({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d}) \end{split} (55)

    从式(55)中可以看出,误差向量\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}渐近服从零均值高斯分布,因此向量{{\boldsymbol{\hat v}}_{{\text{o,f}}}}是渐近无偏估计值,并且其均方误差矩阵等于

    \begin{split} {\bf{MSE}}({{\boldsymbol{\hat v}}_{{\text{o,f}}}}) =\;& {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}]\\ & \cdot{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}} \\[-1pt] \end{split} (56)

    其中,{{\boldsymbol{\varPi }}^ \bot }[ \cdot ]表示矩阵列补空间上的正交投影矩阵。综合式(52)和式(56)可知,误差向量\Delta {{\boldsymbol{u}}_{{\text{o,f}}}}渐近服从零均值高斯分布,并且估计值{{\boldsymbol{\hat u}}_{{\text{o,f}}}}的均方误差矩阵为

    \begin{split} {\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}}) = \;&{{\boldsymbol{\bar I}}_3}{\bf{MSE}}({{\boldsymbol{\hat v}}_{{\text{o,f}}}}){\boldsymbol{\bar I}}_3^{\text{T}} = {{\boldsymbol{\bar I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}\\ & \cdot{{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}]\\ & \cdot {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{\boldsymbol{\bar I}}_3^{\text{T}}\\[-1pt] \end{split} (57)

    注意到向量{{\boldsymbol{\hat u}}_{{\text{o,f}}}}虽然是渐近无偏估计值,但却不是渐近统计最优估计值,具体可见如下命题。

    命题1:在一阶误差分析理论框架下满足{\text{tr}}[{\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}})] \ge {\text{tr}}[{\bf{CRLB}}({{\boldsymbol{u}}_{\text{o}}})]

    证明:首先将式(29)代入式(13)中可得

    \begin{split} {{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}) =\;& \left[ {{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{{({\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{\text{T}}}{{({\bf{COV}}({\boldsymbol{e}}))}^{ - 1}}\right.\\ & \left.\cdot {\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}})\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}} \right]^{ - 1} \\ =\;& {\left[ {{{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]^{ - 1}}\\[-1pt] \end{split} (58)

    式(58)中第1个等号和第2个等号分别利用式(34)和式(38)。然后将式(58)代入式(14)中可得

    \begin{split} \;&{\bf{CRLB}}({{\boldsymbol{u}}_{\text{o}}}) \\ \;& \quad = {{\boldsymbol{\bar I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{\boldsymbol{\varPi }} \left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \right]\\ & \qquad \cdot{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{\boldsymbol{\bar I}}_3^{\text{T}}\\[-1pt] \end{split} (59)

    其中,{\boldsymbol{\varPi }}[ \cdot ]表示矩阵列空间上的正交投影矩阵。另一方面,可以验证

    \begin{split} & {[\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}_{4 \times 1}]^{\text{T}}}\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})}_{4 \times 2} \\ & \quad = {({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})^{\text{T}}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}) = {\bf{0}}_2^{\text{T}} \end{split} (60)

    由式(60)可知:

    \begin{split} & {{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}] \\ & \quad\ge {\boldsymbol{\varPi }}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \right] \end{split} (61)

    式(61)的证明见附录B。最后,综合式(57)、式(59)以及式(61)可得{\text{tr}}[{\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}})] \ge {\text{tr}}[{\bf{CRLB}} ({{\boldsymbol{u}}_{\text{o}}})]。证毕。

    估计值{{\boldsymbol{\hat u}}_{{\text{o,f}}}}不具有渐近统计最优性的原因在于,向量{{\boldsymbol{v}}_{\text{o}}}中的第4个元素(即辅助变量 ||{{\boldsymbol{u}}_{\text{o}}}{\text{||}}_{\text{2}}^{\text{2}} )与其他元素之间存在相关性,但是该相关性尚未在阶段1中得到利用。另一方面,根据注释1中的讨论可知,向量{{\boldsymbol{v}}_{\text{o}}}中的第3个元素可以由其前面两个元素表征,为此可以直接舍去该元素,而不会丢失任何有效信息,于是不妨定义一个新的向量{{\boldsymbol{\bar v}}_{\text{o}}} = {[{[{{\boldsymbol{v}}_{\text{o}}}]_1}\;\;{[{{\boldsymbol{v}}_{\text{o}}}]_2}\;\;{[{{\boldsymbol{v}}_{\text{o}}}]_4}]^{\text{T}}},其在阶段1的估计值及其估计误差分别为 {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} = {[{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_1}\;\;{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_2}\;\;{[{{\boldsymbol{\hat v}}_{{\text{o,f}}}}]_4}]^{\text{T}}} \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} = {[{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_1}\;\;{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_2}\;\;{[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_4}]^{\text{T}}} ,于是有

    \begin{split} {\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}) = \;&{{\boldsymbol{\tilde I}}_3}{\bf{MSE}}({{\boldsymbol{\hat v}}_{{\text{o,f}}}}){\boldsymbol{\tilde I}}_3^{\text{T}} \\ =\;& {{\boldsymbol{\tilde I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}\\ & \cdot{{\boldsymbol{\varPi }}^ \bot } [{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}]\\ & \cdot {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}} {\boldsymbol{\tilde I}}_3^{\text{T}} \end{split} (62)

    其中, {{\boldsymbol{\tilde I}}_3} = \left[\begin{array}{c:c:cc} {{{\boldsymbol{I}}_2}} & {{{\bf{0}}_2}} & {{{\bf{0}}_2}} \\ \hdashline \\[-7pt] {{\bf{0}}_2^{\text{T}}}& 0 & 1 \end{array} \right] 。注意到辅助变量 ||{{\boldsymbol{u}}_{\text{o}}}{\text{||}}_{\text{2}}^{\text{2}} 的引入会使误差向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 服从某个等式约束,阶段2正是利用该等式约束进一步提高估计精度。

    阶段2需要首先推导误差向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 满足的等式约束,并由此获得向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 的估计值,进而得到向量 {{\boldsymbol{\bar u}}_{\text{o}}} 的估计值,最终获得精度更高的短波辐射源定位结果。根据向量{{\boldsymbol{\bar v}}_{\text{o}}}中的第3个元素的定义可知

    {[{{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}]_3} = ||{{\boldsymbol{u}}_{\text{o}}}{\text{||}}_{\text{2}}^{\text{2}} + {[\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}}]_3} = ||{{\boldsymbol{u}}_{\text{o}}}{\text{||}}_{\text{2}}^{\text{2}} + {[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_4} (63)

    将式(63)第2个等号右边第1项在点{{\boldsymbol{\hat u}}_{{\text{o,f}}}}处进行一阶泰勒级数展开可得

    \begin{split} & {[{{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}]_3} \approx ||{{\boldsymbol{\hat u}}_{{\text{o,f}}}}{\text{||}}_{\text{2}}^{\text{2}} - 2{\boldsymbol{\hat u}}_{{\text{o,f}}}^{\text{T}}\Delta {{\boldsymbol{u}}_{{\text{o,f}}}} + {[\Delta {{\boldsymbol{v}}_{{\text{o,f}}}}]_4} \\ & \Rightarrow {[{{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}]_3} - ||{{\boldsymbol{\hat u}}_{{\text{o,f}}}}{\text{||}}_{\text{2}}^{\text{2}} \approx \left[\begin{array}{c:ccc} {}&{}\\[-8pt] { - 2{\boldsymbol{\hat u}}_{{\text{o,f}}}^{\text{T}}}& 1 \\[-8pt] {}&{}\\ \end{array}\right]\Delta {{\boldsymbol{v}}_{{\text{o,f}}}} \\ & \Rightarrow \hat \mu \approx {{\boldsymbol{\hat \eta }}^{\text{T}}}\Delta {{\boldsymbol{v}}_{{\text{o,f}}}} \end{split} (64)

    其中

    \hat \mu = {[{{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}]_3} - ||{{\boldsymbol{\hat u}}_{{\text{o,f}}}}{\text{||}}_{\text{2}}^{\text{2}}\;\;,\;\;{\boldsymbol{\hat \eta }} = \left[ {\begin{array}{*{20}{c}} { - 2{{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}} \\ 1 \end{array}} \right] (65)

    基于式(54)中的等式约束可知,误差向量 \Delta {{\boldsymbol{v}}_{{\text{o,f}}}} \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 之间满足式(66)关系式:

    \begin{split} \Delta {{\boldsymbol{v}}_{{\text{o,f}}}} =\;& \left[ {\begin{array}{c:c:cc} 1& 0& 0 \\ 0& 1& 0 \\ {\dfrac{{({e^2} - 1){{[{{\boldsymbol{u}}_{\text{o}}}]}_1}}}{{{{[{{\boldsymbol{u}}_{\text{o}}}]}_3}}}}& {\dfrac{{({e^2} - 1){{[{{\boldsymbol{u}}_{\text{o}}}]}_2}}}{{{{[{{\boldsymbol{u}}_{\text{o}}}]}_3}}}}& 0 \\ 0& 0& 1 \end{array}} \right]\\ & \cdot\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} = {\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}})\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} \end{split} (66)

    将式(66)代入式(64)中可得

    \hat {\boldsymbol{\mu}} \approx {{\boldsymbol{\hat \eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}})\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} \approx {{\boldsymbol{\hat \eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}})\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} (67)

    式(67)即为误差向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 所满足的等式约束。基于误差向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 的高斯分布特性可以建立估计误差向量 \Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} 的等式约束优化模型,如式(68)所示:

    \left\{ \begin{gathered} \mathop {\min }\limits_{\Delta {{{\boldsymbol{\bar v}}}_{{\text{o,f}}}} \in {\mathbb{R}^{3 \times 1}}} \{ {(\Delta {{{\boldsymbol{\bar v}}}_{{\text{o,f}}}})^{\text{T}}}{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))^{ - 1}}\Delta {{{\boldsymbol{\bar v}}}_{{\text{o,f}}}}\} \\ {\text{s}}{\text{.t}}{\text{.}}\;\;{{{\boldsymbol{\hat \eta }}}^{\text{T}}}{\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}})\Delta {{{\boldsymbol{\bar v}}}_{{\text{o,f}}}} = \hat \mu \\ \end{gathered} \right. (68)

    最后利用拉格朗日乘子技术可得式(68)的最优闭式解为

    \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} = \frac{{{\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}))}^{\text{T}}}{\boldsymbol{\hat \eta }}\hat \mu }}{{{{{\boldsymbol{\hat \eta }}}^{\text{T}}}{\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}))}^{\text{T}}}{\boldsymbol{\hat \eta }}}} (69)

    基于式(69)可以获得向量 {{\boldsymbol{\bar u}}_{\text{o}}} 的估计值,如式(70)所示:

    \begin{split} {{{{\hat {\bar{\boldsymbol{u}}}}}}_{{\text{o,s}}}} =\,& [{{\boldsymbol{I}}_2}\;\;{{\bf{0}}_2}]{{\boldsymbol{\hat u}}_{{\text{o,f}}}} - [{{\boldsymbol{I}}_2}\;\;{{\bf{0}}_2}]\Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} \\ =\,& {{\boldsymbol{\bar u}}_{\text{o}}} + {{\boldsymbol{\bar I}}_2}(\Delta {{\boldsymbol{\bar v}}_{{\text{o,f}}}} - \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}) \\ =\,& {{\boldsymbol{\bar I}}_2}\left( {{{{\boldsymbol{\hat u}}}_{{\text{o,f}}}} - \frac{{{\bf{MSE}({{{{\hat {\bar {\boldsymbol{v}}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}))}^{\text{T}}}{\boldsymbol{\hat \eta }}\hat \mu }}{{{{{\boldsymbol{\hat \eta }}}^{\text{T}}}{\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{{\boldsymbol{\hat u}}}_{{\text{o,f}}}}))}^{\text{T}}}{\boldsymbol{\hat \eta }}}}} \right) \end{split} (70)

    其中,{{\boldsymbol{\bar I}}_2} = [{{\boldsymbol{I}}_2}\;\;{{\bf{0}}_2}]。根据注释1中的讨论可以将辐射源位置向量 {{\boldsymbol{u}}_{\text{o}}} 在阶段2中的估计值表示为

    {{\boldsymbol{\hat u}}_{{\text{o,s}}}} = \left[ {\begin{array}{*{20}{c}} {{{{{\hat {\bar {\boldsymbol{u}}}}}}_{{\text{o,s}}}}} \\ { \pm \sqrt {(1 - {e^2})(r_{\text{e}}^2 - {\text{||}}{{{{\hat {\bar {\boldsymbol{u}}}}}}_{{\text{o,s}}}}{\text{||}}_2^2)} } \end{array}} \right] (71)

    式(71)中第3个元素的符号与阶段1的估计结果 < {{\boldsymbol{\hat u}}_{{\text{o,f}}}}{ > _3} 的符号保持一致。

    综合前面的讨论,表1总结了本文新方法的计算步骤,并且给出了每个步骤所需的乘法次数。

    表  1  新方法的计算步骤及其所需的乘法次数
    Table  1.  Calculation steps of the new method and the number of multiplications required
    序号 计算内容 乘法次数
    步骤1 利用式(18)计算矩阵{{\boldsymbol{Q}}_\theta }和向量{{\boldsymbol{p}}_\theta };利用式(22)计算矩阵{{\boldsymbol{Q}}_\beta }和向量{{\boldsymbol{p}}_\beta }
    利用式(26)计算矩阵{{\boldsymbol{Q}}_t}和向量{{\boldsymbol{p}}_t}
    27N - 8
    步骤2 利用式(27)构造矩阵{\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})和向量{\boldsymbol{p}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}) 无实质乘法计算
    步骤3 利用式(30)计算矩阵{{\boldsymbol{C}}_z}{{\boldsymbol{C}}_d} 48{N^2} - 4N - 13
    步骤4 利用式(34)计算协方差矩阵{\bf{COV}}({\boldsymbol{e}})及其逆矩阵{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}} \begin{gathered} O[{(3N - 1)^3}] + 66{N^3} \\[-3pt] - 61{N^2} + 19N - 2 \end{gathered}
    步骤5 利用式(38)计算矩阵{\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})及其逆矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}} \begin{gathered} O(64) + 36{N^2} \\[-3pt] + 24N - 12 \end{gathered}
    步骤6 对矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}进行特征值分解得到特征值对角矩阵{{\boldsymbol{\varLambda }}_{\text{w}}}和特征矩阵{{\boldsymbol{H}}_{\text{w}}} O(64) + 4
    步骤7 利用式(43)计算向量{{\boldsymbol{h}}_1}{{\boldsymbol{h}}_2} \begin{gathered} O(64) + 9{N^2} \\ + 6N + 45 \\ \end{gathered}
    步骤8 利用式(46)—式(50)计算多项式系数 {\{ {\alpha _j}\} _{0 \le j \le 6}} 82
    步骤9 求解式(45)中的一元六次多项式的根,并利用式(53)选择正确的根 \begin{gathered} J \cdot O[{(3N - 1)^3}] + O(6) \\[-3pt] + J(12{N^3} + 2{N^2} - 2N) \end{gathered}
    步骤10 利用式(37)计算向量{{\boldsymbol{\hat v}}_{{\text{o,f}}}},并进而构造向量 {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} {{\boldsymbol{\hat u}}_{{\text{o,f}}}} O(64) + 16
    步骤11 利用式(62)计算均方误差矩阵{\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}})及其逆矩阵{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{ - 1}} O(64) + O(27) + 145
    步骤12 利用式(65)计算标量 \hat \mu 和向量 {\boldsymbol{\hat \eta }} 6
    步骤13 利用式(66)构造矩阵 {\boldsymbol{\bar J}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}}) 5
    步骤14 利用式(69)计算向量 \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} 28
    步骤15 利用式(70)计算向量 {{{\hat{ \bar {\boldsymbol{u}}}}}_{{\text{o,s}}}} 无实质乘法计算
    步骤16 利用式(71)计算最终定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 3
    下载: 导出CSV 
    | 显示表格

    关于上述定位方法,下面给出两点注释:

    注释4:为确保本文新方法的计算能够顺利进行,需要式(38)中的矩阵{\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})是可逆的,这要求式(27)中的(3N - 1) \times 4矩阵{\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})具有列满秩性,由此可知观测站个数N应满足3N - 1 \ge 4 \Rightarrow N \ge 2,所以新方法仅需两个观测站即可实现定位。该结论并不难以理解,事实上在只有2D-DOA观测量的条件下也仅需两个观测站即可实现交汇定位,而新方法在融合TDOA观测量的条件下自然不会增加观测量个数N的下界。另一方面,由于文献[8]中的场景假设观测站仅获得2D-DOA观测量和TDOA观测量中的一种,采用类似的分析可知其至少需要5个观测站才能实现定位。此外,两种方法的定位精度都会随着观测站个数的增加而得到提升。

    注释5:新方法无需迭代运算,其中阶段1所需的乘法次数为

    \begin{split} & (J + 1) \cdot O[{(3N - 1)^3}] + 4 \cdot O(64) + O(6) \\ & \quad + J(12{N^3} + 2{N^2} - 2N) + 66{N^3} + 32{N^2} \\ & \quad + 72N + 112 \end{split} (72)

    阶段2所需的乘法次数为O(64) + O(27) + 187,因此总的乘法次数为

    \begin{split} & (J + 1) \cdot O[{(3N - 1)^3}] + 5 \cdot O(64) + O(27) + O(6) \\ & \quad + J(12{N^3} + 2{N^2} - 2N) + 66{N^3} + 32{N^2} \\ & \quad + 72N + 299\\[-1pt] \end{split} (73)

    显然,阶段1的乘法次数是{N^3}阶,而阶段2的乘法次数与N无关,是常数项。

    本节运用约束误差扰动理论和正交投影矩阵的数学性质推导定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 的统计特性,主要推导其估计均方误差,并将所得到的结果与CRLB进行比较,以证明新方法的渐近统计最优性。虽然本文新方法与文献[8]中的定位方法都需要两个计算阶段,但两种方法的计算框架有着显著差异,因此两者理论性能的推导思路也截然不同。此外,本节还新增分析短波辐射源高度信息误差的影响,并提出相应定位均方误差的理论表达式。

    首先将式(68)中的等式约束代入式(69)中可得

    \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} \approx \frac{{{\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}})\Delta {{{\boldsymbol{\bar v}}}_{{\text{o,f}}}}}}{{{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}}} (74)

    其中,

    {\boldsymbol{\eta }} = \mathop {\lim }\limits_{\substack{ {{\boldsymbol{\xi }}_z} \to {{\boldsymbol{0}}_{(3N - 1) }} \\ {{\boldsymbol{\xi }}_d} \to {{\boldsymbol{0}}_{N }} }} {\boldsymbol{\hat \eta }} = \left[ {\begin{array}{*{20}{c}} { - 2{{\boldsymbol{u}}_{\text{o}}}} \\ 1 \end{array}} \right]

    由式(74)可知,估计值 \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} 渐近服从零均值高斯分布,并且其均方误差矩阵等于

    \begin{split} & {\bf{MSE}}(\Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}) = {\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}) \\ & \quad - \frac{{{\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}})}}{{{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}}} \end{split} (75)

    结合式(70)和式(75)可知,估计值 {{{\hat{ \bar {\boldsymbol{u}}}}}_{{\text{o,s}}}} 渐近服从零均值高斯分布,并且其均方误差矩阵为

    \begin{split} & {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) = {{\boldsymbol{\bar I}}_2}\Biggr( {\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}) \\ & \qquad \left.- \frac{{{\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}})}}{{{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}}} \right){\boldsymbol{\bar I}}_2^{\text{T}} \end{split} (76)

    因此最终定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 也渐近服从零均值高斯分布,并且其均方误差矩阵等于

    \begin{split} & {\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,s}}}}) = {\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\bar I}}_2}\Biggr( {\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}) \\ & \quad\left.- \frac{{{\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}})}}{{{{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}){{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{\boldsymbol{\eta }}}} \right)\\ & \quad\cdot{\boldsymbol{\bar I}}_2^{\text{T}}{({\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}} \end{split} (77)

    下面证明定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 具有渐近统计最优性,为此需要证明估计值 {{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}} 也具有渐近统计最优性。为了完成证明,下面首先推导均方误差矩阵 {\bf{MSE}}({{{\hat{ \bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) 的另一种表达式,具体可见命题2。

    命题2:均方误差矩阵 {\bf{MSE}}({{{\hat{ \bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) 可以表示为

    {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) = {\left( {{{\left( {\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right)^{ - 1}} (78)

    证明:首先利用正交投影矩阵的定义可以将式(76)重新表示为

    \begin{split} {\bf{MSE}}({{{\hat {\bar{\boldsymbol{ u}}}}}_{{\text{o,s}}}}) =\;& {{\boldsymbol{\bar I}}_2}{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{1/2}}\\ & \cdot {{\boldsymbol{\varPi }}^ \bot }[{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }}]\\ & \cdot{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{1/2}}{\boldsymbol{\bar I}}_2^{\text{T}} \end{split} (79)

    考虑矩阵 {({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{ - 1/2}} \dfrac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}} \in {\mathbb{R}^{3 \times 2}} 和向量 {({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }} \in {\mathbb{R}^{3 \times 1}} ,他们的列数之和等于3,并且满足

    \left\{ \begin{aligned} & {\text{rank}}\left[ {{{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1/2}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right] = {\text{rank}}\left[ {\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right] = 2 \\ &{[{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }}]^{\text{T}}}{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))^{ - 1/2}}\\ & \quad\cdot \frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}} = {{\boldsymbol{\eta }}^{\text{T}}}{\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}})\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}} = {\bf{0}}_2^{\text{T}} \end{aligned} \right. (80)

    于是有

    \left\{ \begin{aligned} & {\text{range}}\left[ {{{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1/2}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right] \\ & \quad \bot{\text{range}}[{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }}] \\ & {\text{range}}\left[ {{{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1/2}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right] \\ & \quad \cup{\text{range}}[{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }}] = {\mathbb{R}^3} \\ \end{aligned} \right. (81)

    此时利用正交投影矩阵的性质可知:

    \begin{split} & {\boldsymbol{\varPi }}\left[ {{{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1/2}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right] \\ & \quad = {{\boldsymbol{\varPi }}^ \bot }[{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{1/2}}\,{({\boldsymbol{\bar J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}}{\boldsymbol{\eta }}] \end{split} (82)

    接着将式(82)代入式(79)中可得

    \begin{split} {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) =\;& {{\boldsymbol{\bar I}}_2}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}} {\left( {{{\left( {\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}} {{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{v}}}}}}_{{\text{o,f}}}}))}^{ - 1}}\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right)^{ - 1}}\\ & \cdot{\left( {\frac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}}} \right)^{\text{T}}}{\boldsymbol{\bar I}}_2^{\text{T}}\\[-1pt] \end{split} (83)

    不难验证 {{\boldsymbol{\bar I}}_2} \dfrac{{\partial {{{\boldsymbol{\bar v}}}_{\text{o}}}}}{{\partial {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}}} = {{\boldsymbol{I}}_2} ,最后将该式代入式(83)中可知式(78)成立。证毕。

    命题3:在一阶误差分析理论框架下满足 {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) = {\bf{CRLB}}({{\boldsymbol{\bar u}}_{\text{o}}})

    证明:首先将式(56)和式(62)代入式(78)中,并且结合关系式 \left[ {\begin{array}{*{20}{c}} {{{\boldsymbol{I}}_2}} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] = {{\boldsymbol{\tilde I}}_3}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] 可知

    \begin{split} & {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) = \left( {{\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]}^{\text{T}}}{\boldsymbol{\tilde I}}_3^{\text{T}}\Biggr[ {{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}}\right. \\ & \left. - \frac{{{{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}} \right]^{ - 1}\\ & \cdot\left.{{{\boldsymbol{\tilde I}}}_3}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] \right)^{ - 1}\\[-1pt] \end{split} (84)

    然后将式(58)代入式(15)中可得

    \begin{split} {\bf{CRLB}}({{\boldsymbol{\bar u}}_{\text{o}}}) =\,& \left[ {{({\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}))}^{\text{T}}}{{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}\right.\\ & \left. \cdot{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}) \right]^{ - 1} \\ =\,& {\left( {{{\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]} \right)^{ - 1}} \end{split} (85)

    式(85)中第2个等号利用了关系式 \dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}) = \left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] 。结合式(84)和式(85)可知:

    \begin{split} & {({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{u}}}}}}_{{\text{o,s}}}}))^{ - 1}} - {({\bf{CRLB}}({{{\boldsymbol{\bar u}}}_{\text{o}}}))^{ - 1}} \\ & = {\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]^{\text{T}}}\left({\boldsymbol{\tilde I}}_3^{\text{T}}\left[ {{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}} - \frac{{{{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}} \right]^{ - 1} {{{\boldsymbol{\tilde I}}}_3} - {\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}) \right)\\ & \quad\cdot\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] \\[-1pt] \end{split} (86)

    利用矩阵和的求逆公式可得

    \begin{split} & {\boldsymbol{\tilde I}}_3^{\text{T}}{\left[ {{{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}} - \frac{{{{{\boldsymbol{\tilde I}}}_3}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}}} \right]^{ - 1}}{{{\boldsymbol{\tilde I}}}_3} \\ &\quad = {\boldsymbol{\tilde W}}({\boldsymbol{z}},{\boldsymbol{d}}) + \frac{{{\boldsymbol{\tilde W}}({\boldsymbol{z}},{\boldsymbol{d}}){{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde W}}({\boldsymbol{z}},{\boldsymbol{d}})}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} - {{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{\boldsymbol{\tilde W}}({\boldsymbol{z}},{\boldsymbol{d}}){{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}} \end{split} (87)

    其中, {\boldsymbol{\tilde W}}({\boldsymbol{z}},{\boldsymbol{d}}) = {\boldsymbol{\tilde I}}_3^{\text{T}}{[{{\boldsymbol{\tilde I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{\boldsymbol{\tilde I}}_3^{\text{T}}]^{ - 1}}{{\boldsymbol{\tilde I}}_3} 。接着将式(87)代入式(86)中可知

    \begin{split} \, &{({\bf{MSE}}({{{{\hat {\bar {\boldsymbol{u}}}}}}_{{\text{o,s}}}}))^{ - 1}} - {({\bf{CRLB}}({{{\boldsymbol{\bar u}}}_{\text{o}}}))^{ - 1}} = {\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]^{\text{T}}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}} \\ & \quad\cdot \left[ \frac{{{\boldsymbol{\varPi }}[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\varPi }}[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}}\right. \\ & \quad- {{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}] \Biggr] {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] \end{split} (88)

    附录C中证明了矩阵等式式(89):

    \begin{split} & {\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]^{\text{T}}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}\\ & \cdot\frac{{{\boldsymbol{\varPi }}[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\varPi }}[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] \\ & = {\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right]^{\text{T}}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}{{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{\boldsymbol{\tilde I}}_3^{\text{T}}]{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] \\[-1pt] \end{split} (89)

    综合式(88)和式(89)可知 {({\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}))^{ - 1}} = {({\bf{CRLB}}({{\boldsymbol{\bar u}}_{\text{o}}}))^{ - 1}} ,由此可得 {\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}) = {\bf{CRLB}}({{\boldsymbol{\bar u}}_{\text{o}}}) 。证毕。

    最后结合命题3、式(77)以及式(16)可知

    \begin{split} {\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,s}}}}) =\,& {\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{MSE}}({{{\hat {\bar {\boldsymbol{u}}}}}_{{\text{o,s}}}}){({\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}} \\ =\,& {\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}){\bf{CRLB}}({{\boldsymbol{\bar u}}_{\text{o}}}){({\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}))^{\text{T}}} \\ =\,& {\bf{CRLB}}({{\boldsymbol{u}}_{\text{o}}}) \end{split} (90)

    式(90)证明了定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 的渐近统计最优性。

    本文定位新方法假设短波辐射源位于地球表面(即高度为零),如果短波辐射源高度并不为零,但是先验已知,此时基于文献[30]中的讨论同样可以建立类似于式(6)的二次椭圆等式约束,因此对新方法的计算过程并无本质影响。然而,如果短波辐射源高度无法先验已知,则被忽略的高度必然会对新方法的定位精度产生负面影响,本小节仍然运用约束误差扰动理论对此影响进行定量分析。

    假设短波辐射源高度为{h_{\text{e}}},此时式(1)中的位置向量应修正为[30]

    {{\boldsymbol{u}}_{\text{o}}} = \left[ {\begin{array}{*{20}{c}} {({N_{\text{e}}} + {h_{\text{e}}})\cos ({\rho _{\text{o}}})\cos ({\omega _{\text{o}}})} \\ {({N_{\text{e}}} + {h_{\text{e}}})\cos ({\rho _{\text{o}}})\sin ({\omega _{\text{o}}})} \\ {[(1 - {e^2}){N_{\text{e}}} + {h_{\text{e}}}]\sin ({\rho _{\text{o}}})} \end{array}} \right] (91)

    其中,{N_{\text{e}}} = {r_{\text{e}}}/\sqrt {1 - {e^2}{{(\sin ({\rho _{\text{o}}}))}^2}} 。当高度{h_{\text{e}}}较小时,利用一阶近似可得

    {\boldsymbol{v}}_{\text{o}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} = {\boldsymbol{u}}_{\text{o}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}} = [{{\boldsymbol{u}}_{\text{o}}}]_1^2 + [{{\boldsymbol{u}}_{\text{o}}}]_2^2 + \frac{{[{{\boldsymbol{u}}_{\text{o}}}]_3^2}}{{1 - {e^2}}} \approx r_{\text{e}}^2 + {\varphi _{\text{o}}}{h_{\text{e}}} (92)

    其中,{\varphi _{\text{o}}} = 2{N_{\text{e}}} = 2{r_{\text{e}}}/\sqrt {1 - {e^2}{{(\sin ({\rho _{\text{o}}}))}^2}}

    由于新方法所求解的等式约束优化问题可以表示为

    \left\{ \begin{aligned} &\mathop {\min }\limits_{{{\boldsymbol{v}}_{\text{o}}} \in {\mathbb{R}^{4 \times 1}}} \{ {[{\boldsymbol{p}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}) - {\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}){{\boldsymbol{v}}_{\text{o}}}]^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}\\ & \quad \cdot[{\boldsymbol{p}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}) - {\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}){{\boldsymbol{v}}_{\text{o}}}]\} \\ &{\text{s}}{\text{.t}}{\text{.}}\;\;{\boldsymbol{v}}_{\text{o}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} = r_{\text{e}}^{\text{2}} \\ &\;\;\;\;\; {\boldsymbol{v}}_{\text{o}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {\boldsymbol{\gamma }}_2^{\text{T}}{{\boldsymbol{v}}_{\text{o}}} = 0 \end{aligned} \right. (93)

    若在高度{h_{\text{e}}}非零的情况下将向量{{\boldsymbol{v}}_{\text{o}}}{{\boldsymbol{u}}_{\text{o}}}的估计值分别记为{{\boldsymbol{\hat v}}_{{\text{o,h}}}}{{\boldsymbol{\hat u}}_{{\text{o,h}}}} = {{\boldsymbol{\bar I}}_3}{{\boldsymbol{\hat v}}_{{\text{o,h}}}},相应的估计误差分别记为\Delta {{\boldsymbol{v}}_{{\text{o,h}}}} = {{\boldsymbol{\hat v}}_{{\text{o,h}}}} - {{\boldsymbol{v}}_{\text{o}}}\Delta {{\boldsymbol{u}}_{{\text{o,h}}}} = {{\boldsymbol{\hat u}}_{{\text{o,h}}}} - {{\boldsymbol{u}}_{\text{o}}} = {{\boldsymbol{\bar I}}_3}\Delta {{\boldsymbol{v}}_{{\text{o,h}}}},则误差向量\Delta {{\boldsymbol{v}}_{{\text{o,h}}}}应是式(94)等式约束优化问题的最优解

    \left\{ \begin{aligned} & \mathop {\min }\limits_{\Delta {{\boldsymbol{v}}_{\text{o}}} \in {\mathbb{R}^{4 \times 1}}} \{ {[{\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}})\Delta {{\boldsymbol{v}}_{\text{o}}} - ({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d})]^{\text{T}}}\\ & \cdot {({\bf{COV}}({\boldsymbol{e}}))^{ - 1}}[{\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}})\Delta {{\boldsymbol{v}}_{\text{o}}} - ({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d})]\} \\ & {\text{s}}{\text{.t}}{\text{.}}\;\;{(\Delta {{\boldsymbol{v}}_{\text{o}}})^{\text{T}}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} = - {\varphi _{\text{o}}}{h_{\text{e}}}{\text{/}}2 , \\ & \;\;\;\;\; {(\Delta {{\boldsymbol{v}}_{\text{o}}})^{\text{T}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2) = 0 \end{aligned} \right. (94)

    若令{\boldsymbol{\bar \varOmega }} = \left[ {\begin{array}{*{20}{c}} {{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}} \\ {{{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}} \end{array}} \right],利用拉格朗日乘子法可以得到误差向量\Delta {{\boldsymbol{v}}_{{\text{o,h}}}}的表达式为

    \begin{split} \Delta {{\boldsymbol{v}}_{{\text{o,h}}}} =\;& [{{\boldsymbol{I}}_4} - {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\\ & \cdot {\boldsymbol{\bar \varOmega }}]{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{({\boldsymbol{Q}}({\boldsymbol{z}},{\boldsymbol{d}}))^{\text{T}}}{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}} \\ \;& \cdot ({{\boldsymbol{C}}_z}{{\boldsymbol{\xi }}_z} + {{\boldsymbol{C}}_d}{{\boldsymbol{\xi }}_d})- {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}\\ & \cdot {[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\left[ {\begin{array}{*{20}{c}} {{\varphi _{\text{o}}}{h_{\text{e}}}{\text{/}}2} \\ 0 \end{array}} \right] \\[-1pt] \end{split} (95)

    基于式(95)可得

    \begin{split} {\bf{E}}[\Delta {{\boldsymbol{u}}_{{\text{o,h}}}}] =\;& {{\boldsymbol{\bar I}}_3}{\bf{E}}[\Delta {{\boldsymbol{v}}_{{\text{o,h}}}}] = - {{\boldsymbol{\bar I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{\boldsymbol{\bar \varOmega }}^{\text{T}}}\\ & {[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{\boldsymbol{\bar \varOmega }}^{\text{T}}}]^{ - 1}}\left[ {\begin{array}{*{20}{c}} {{\varphi _{\text{o}}}{h_{\text{e}}}{\text{/}}2} \\ 0 \end{array}} \right] \ne {{\bf{0}}_4} \end{split} (96)

    因此,当高度{h_{\text{e}}}非零时,新方法是有偏估计器,即存在定位偏置。另一方面,估计值{{\boldsymbol{\hat u}}_{{\text{o,h}}}}的均方误差矩阵等于

    \begin{split} {\bf{MSE}}({{{\boldsymbol{\hat u}}}_{{\text{o,h}}}}) =\,& {{{\boldsymbol{\bar I}}}_3}{\bf{E}}[\Delta {{\boldsymbol{v}}_{{\text{o,h}}}}{(\Delta {{\boldsymbol{v}}_{{\text{o,h}}}})^{\text{T}}}]{\boldsymbol{\bar I}}_3^{\text{T}} \\ =\,& {{{\boldsymbol{\bar I}}}_3}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}} - {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}\\ & \cdot{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}]\\ \,& \cdot{\boldsymbol{\bar I}}_3^{\text{T}} + {{{\boldsymbol{\bar I}}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}\\ & \cdot{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\\ & \cdot \left[ {\begin{array}{*{20}{c}} {\varphi _{\text{o}}^2h_{\text{e}}^2{\text{/}}4}&0 \\ 0&0 \end{array}} \right]{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\\ & \cdot {\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{\boldsymbol{\bar I}}_3^{\text{T}} \\[-1pt] \end{split} (97)

    附录D和附录E中分别证明了式(98),式(99)两个矩阵等式

    \begin{split} & {{{\boldsymbol{\bar I}}}_3}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}} - {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}\\ & \quad \cdot {[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}]{\boldsymbol{\bar I}}_3^{\text{T}} \\ & = {{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})\\ & \quad - \frac{{{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})}}{{{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}} \\ & = {\bf{CRLB}}({{\boldsymbol{u}}_{\text{o}}}) \end{split} (98)
    \begin{split} & {{{\boldsymbol{\bar I}}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\\ & \cdot\left[ {\begin{array}{*{20}{c}} {\varphi _{\text{o}}^2h_{\text{e}}^2{\text{/}}4}&0 \\ 0&0 \end{array}} \right]{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\\ & \cdot{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{\boldsymbol{\bar I}}_3^{\text{T}} \\ =\;& \frac{{\varphi _{\text{o}}^2h_{\text{e}}^2}}{4}\frac{{{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})}}{{{{[{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}]}^2}}} \end{split} (99)

    最后将式(98)和式(99)代入式(97)中可得

    \begin{split} \;& {\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,h}}}}) = {{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}) \\ & \quad - \frac{{{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})}}{{{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}}\\ & \quad \cdot\left( {1 - \frac{{\varphi _{\text{o}}^2h_{\text{e}}^2}}{{4{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}}} \right) \end{split} (100)

    注释6:首先根据式(100)可知 {\text{tr}}[{\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,h}}}})] \ge {\text{tr}}[{\bf{CRLB}}({{\boldsymbol{u}}_{\text{o}}})] ,即被忽略的辐射源高度{h_{\text{e}}}必然会增加定位均方误差,从而降低定位精度。此外,为了使二次椭圆等式约束式(6)产生增益(即 {\text{tr}}[{\bf{MSE}}({{\boldsymbol{\hat u}}_{{\text{o,h}}}})] \le {\text{tr}}[{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})] ),由式(100)可知高度{h_{\text{e}}}应满足 {h_{\text{e}}} \le 2\sqrt {{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}} /{\varphi _{\text{o}}} 。该式表明,在没有二次椭圆等式约束式(6)的条件下,定位精度越高(即 {\text{tr}}[{\bf{CRL}}{{\bf{B}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})] 较小),所允许的高度{h_{\text{e}}}的范围就越小。

    注释7:本节仅从理论上分析了短波辐射源高度信息误差的影响,在实际定位中还应考虑如何有效抑制该误差,这里提供两种策略:第1种是将辐射源高度信息也作为未知参数进行处理,并且为了融入辐射源高度先验信息,可以通过贝叶斯估计框架完成定位;第2种是将式(28)中的第1个二次椭圆等式约束松弛为不等式约束形式{\boldsymbol{v}}_{\text{o}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} \le {({r_{\text{e}}} + \Delta r)^2},其中\Delta r表示半径增量,然后再通过有效集方法、凸优化方法等进行寻优计算。

    在未特殊说明的情况下本节的基础实验参数为:短波辐射源经度和纬度分别为128.14°和32.20°,其在ECEF坐标系下的位置向量为 {{\boldsymbol{u}}_{\text{o}}} = {[ - 3336.4\;\;4248.9\;\;3379.2]^{\text{T}}} km,现有5个观测站的阵列天线接收该短波信号,并且能联合估计信号的2D-DOA/TDOA两域参数,他们的经纬度与信号到达观测站对应的电离层虚高数值见表2,将2D-DOA观测误差协方差矩阵设为 {{\boldsymbol{\varSigma }}_1} = \sigma _1^{\text{2}}{{\boldsymbol{I}}_{10}} ,TDOA观测误差协方差矩阵设为 {{\boldsymbol{\varSigma }}_2} = \sigma _2^{\text{2}}({{\boldsymbol{I}}_4} + {{\bf{1}}_{4 \times 4}})/2 ,2D-DOA观测误差与TDOA观测误差之间的协方差矩阵设为 {{\boldsymbol{\varSigma }}_{1,2}} = {c_{{\text{DT}}}}{\sigma _1}{\sigma _2}\left( {{{\bf{1}}_2} \otimes \left[ {\begin{array}{*{20}{c}} {{\bf{1}}_4^{\text{T}}/2} \\ {{{\boldsymbol{I}}_4}/2} \end{array}} \right]} \right) ,其中 {\sigma _1} {\sigma _2} 分别表示2D-DOA观测误差标准差和TDOA观测误差标准差, {c_{{\text{DT}}}} 表示2D-DOA/TDOA两种观测误差的相关系数,将电离层虚高观测误差协方差矩阵设为 {{\boldsymbol{\varSigma }}_d} = \sigma _d^2{{\boldsymbol{I}}_5} ,其中 {\sigma _d} 表示电离层虚高观测误差标准差。

    表  2  观测站的经纬度与电离层虚高数值
    Table  2.  Longitude, latitude and ionospheric virtual height of shortwave observer
    观测站 经度(°) 纬度(°) 电离层虚高(km)
    1 123.04 40.94 273
    2 115.66 40.27 316
    3 114.61 34.98 358
    4 113.47 30.09 347
    5 115.75 26.22 255
    下载: 导出CSV 
    | 显示表格

    将2D-DOA, TDOA以及电离层虚高观测误差标准差分别设为 {\sigma _1} = 0.5^\circ , {\sigma _2} = 5{\text{/}}{\mathrm{c}} \;{\mathrm{s}} 以及 {\sigma _d} = {\text{5 km}} ,2D-DOA/TDOA两种观测误差的相关系数设为 {c_{{\text{DT}}}} = 0.1 ,并且进行5000次蒙特卡罗实验,图2给出了新方法在ECEF坐标系下的X-Y平面中的定位结果散布图与定位误差椭圆曲线。

    图  2  在ECEF坐标系下的X-Y平面中的定位结果散布图与定位误差椭圆曲线
    Figure  2.  Scatter plot of positioning results and elliptical curve of positioning errors in the X-Y plane in the ECEF coordinate system

    图2中可以看出,本文新方法的定位误差椭圆的形状与定位结果散点图的形状相匹配,并且概率值越小对应的定位误差椭圆面积越小,概率值越大对应的定位误差椭圆面积越大,由此验证了新方法的有效性。

    下面给出选根的实验结果。表3给出了在单次实验中一元六次多项式的6个根以及他们对应的MLE目标函数值(见式(53)),注意到由最大广义特征值得到的门限值为 - 1/{\kappa _{\max }} = - {\text{4}}{\text{.02}} \times {\text{1}}{{\text{0}}^{ - {\text{5}}}}。从表3中可以看出,利用门限值 - 1/{\kappa _{\max }}可以选出唯一正确的根(对应序号6),而利用MLE目标函数值也能将序号6对应的根挑选出来。事实上,通过大量实验发现在大多数情况下仅通过门限值 - 1/{\kappa _{\max }}就已经能把唯一正确的根挑选出来,该结论可通过图3得到验证,图3中给出了5000次蒙特卡罗实验中正确的根、与正确的根最邻近的假根以及门限值 - 1/{\kappa _{\max }}。在少数出现多个根大于门限值 - 1/{\kappa _{\max }}的情形下,利用MLE准则也总能选出唯一的根。当然,随着各类观测误差标准差的不断增大,终究会出现误判的情形,但由于最后一步是通过MLE准则进行评判,因此导致误判发生的观测误差阈值是相对较高的,并且高于后续定位发生门限效应时所对应的观测误差阈值。

    表  3  多项式方程的根及其对应的MLE目标函数值
    Table  3.  Roots of polynomial equation and their corresponding MLE objective function values
    序号 一元六次多项式方程的根 与门限值–1/ {\kappa _{\max }} = –4.02×10–5的关系 由式(53)给出的MLE目标函数值
    1 –8.12×10–2 小于 3.34×106
    2 –7.98×10–2 小于 3.22×106
    3 –1.81×10–2 小于 7.56×105
    4 –1.73×10–2 小于 6.90×105
    5 –8.08×10–5 小于 6.60×103
    6 2.89×10–7 唯一大于 1.23×101 唯一的最小值
    下载: 导出CSV 
    | 显示表格
    图  3  正确的根、与正确的根最邻近的假根以及门限值 - 1/{\kappa _{\max }}
    Figure  3.  Correct root, the closest false root to the correct root and threshold value - 1/{\kappa _{\max }}

    本节将新方法与文献[9]中的短波2D-DOA定位方法和文献[23]中的短波TDOA定位方法进行比较,以验证新方法能获得较高的协同增益。文献[9]中的定位方法属迭代型方法,这里将其迭代初始值设为真实值,文献[23]中的定位方法属网格选择方法,可通过调整参数使其性能达到渐近统计最优,将2D-DOA/TDOA两种观测误差的相关系数设为 {c_{{\text{DT}}}} = 0.1 。首先将TDOA和电离层虚高观测误差标准差分别设为 {\sigma _2} = 3{\text{/}}{\mathrm{c}} \;{\mathrm{s}} {\sigma _d} = 3{\text{ km}} ,2D-DOA标准差设为 {\sigma _1} = 0.{\text{05}} \times {\delta _1}^\circ 图4给出了定位均方根误差随着参数 {\delta _1} 的变化曲线;接着将2D-DOA和电离层虚高观测误差标准差分别设为 {\sigma _1} = 0.8^\circ {\sigma _d} = 3{\text{ km}} ,TDOA标准差设为 {\sigma _2} = 0.3 \times {\delta _2}{\text{/}}{\mathrm{c}}{\text{ s}} 图5给出了定位均方根误差随着参数 {\delta _2} 的变化曲线;最后将2D-DOA和TDOA标准差分别设为 {\sigma _1} = 0.8^\circ {\sigma _d} = 3{\text{ km}} ,电离层虚高观测误差标准差设为 {\sigma _d} = 0.{\text{3}} \times {\delta _3}{\text{ km}} 图6给出了定位均方根误差随着参数 {\delta _3} 的变化曲线。

    图  4  定位均方根误差随着参数δ1的变化曲线
    Figure  4.  Localization RMSE as a function of parameter δ1
    图  5  定位均方根误差随着参数δ2的变化曲线
    Figure  5.  Localization RMSE as a function of parameter δ2
    图  6  定位均方根误差随着参数δ3的变化曲线
    Figure  6.  Localization RMSE as a function of parameter δ3

    图4图6中可以看出:(1)本文新方法的定位均方根误差总能渐近逼近CRLB,从而验证了第4节理论性能分析的有效性;(2)文献[9]中的短波2D-DOA定位方法和文献[23]中的短波TDOA定位方法均具有渐近统计最优性,但这两种方法的定位均方根误差都明显高于新方法的定位均方根误差,从而说明了新方法能获得较高的协同增益。

    由于文献[8]中的短波辐射源2D-DOA/TDOA协同定位方法可直接应用于本文场景,因此本节将新方法与文献[8]中的定位方法进行比较。注意到文献[8]中的定位方法假设每个观测站仅获得2D-DOA/TDOA中的一种观测量,因此该方法认为2D-DOA/TDOA两种观测误差统计独立。然而,本文假设每个观测站同时获得2D-DOA/TDOA两域参数,此时这两种观测误差统计相关,但文献[8]中的定位方法并未考虑此相关性,因此其定位精度无法达到本文场景下的CRLB,下面的实验验证该结论。将2D-DOA, TDOA以及电离层虚高观测误差标准差分别设为 {\sigma _1} = 0.5^\circ , {\sigma _2} = 5{\text{/}}{\mathrm{c}}{\text{ s}} 以及 {\sigma _d} = {\text{5 km}} ,改变2D-DOA/TDOA两种观测误差的相关系数 {c_{{\text{DT}}}} ,使其从0增加至0.95,图7给出了两种方法的定位均方根误差随着相关系数 {c_{{\text{DT}}}} 的变化曲线。

    图  7  定位均方根误差随着相关系数cDT的变化曲线
    Figure  7.  Localization RMSE as a function of correlation coefficient cDT

    图7可以看出:(1)随着2D-DOA/TDOA两种观测误差相关系数 {c_{{\text{DT}}}} 的增加,两种方法的定位精度都得到了提升,这是因为相关系数 {c_{{\text{DT}}}} 的增加预示着观测误差总体不确定性的降低,从而使定位误差逐渐减小;(2)在本文场景下,新方法的精度高于文献[8]中的定位方法的精度,并且两者的性能差异随着相关系数 {c_{{\text{DT}}}} 的增加而增大,从而验证了前面的结论;(3)即使当相关系数 {c_{{\text{DT}}}} = 0 时,文献[8]中的定位方法的估计均方根误差仍然高出了CRLB达0.262 km,因为该方法不仅假设2D-DOA/TDOA两种观测误差统计独立,还假设测DOA观测站与测TDOA观测站各自对应的电离层虚高观测误差也相互统计独立,但是在本文场景中,2D-DOA/TDOA两域参数对应相同的观测站,所以他们各自对应的电离层虚高观测误差完全相同(并不统计独立),而文献[8]中的定位方法未考虑此信息,从而损失了0.262 km的定位精度。

    总体而言,两种方法在各自考虑的场景下均具有渐近统计最优性,但如果将文献[8]中的定位方法直接应用于本文场景,由于一些观测误差相关性的丢失,其定位性能无法达到本文场景下的CRLB。

    将2D-DOA, TDOA以及电离层虚高观测误差标准差分别设为 {\sigma _1} = 0.3^\circ , {\sigma _2} = 3{\text{/}}{\mathrm{c}}{\text{ s}} 以及 {\sigma _d} = {\text{3 km}} ,2D-DOA/TDOA两种观测误差的相关系数设为 {c_{{\text{DT}}}} = 0.1 ,辐射源高度{h_{\text{e}}}从5 km变化至100 km。假设定位方法忽略了此高度,图8给出了本文新方法的定位偏置随着被忽略的辐射源高度{h_{\text{e}}}的变化曲线,图8中同时包含了ECEF坐标系下X轴、Y轴以及Z轴方向上的定位偏置,并且将蒙特卡罗实验值与式(96)给出的理论值进行比较。图9给出了新方法的定位均方根误差随着被忽略的辐射源高度{h_{\text{e}}}的变化曲线,图9中给出了没有等式约束条件下的CRLB,并且将蒙特卡罗实验值与式(100)给出的理论值进行比较。

    图  8  定位偏置随着高度he的变化曲线
    Figure  8.  Localization bias as a function of height he
    图  9  定位均方根误差随着高度he的变化曲线
    Figure  9.  Localization RMSE as a function of height he

    图8图9中可以看出:(1)当辐射源高度{h_{\text{e}}}被忽略时,将导致定位偏置,并且随着高度{h_{\text{e}}}的增加,其定位偏置逐渐增大;(2)定位均方根误差也随着辐射源高度{h_{\text{e}}}的增加而增大,当{h_{\text{e}}}超过门限值后,定位均方根误差将高于没有二次椭圆等式约束条件下的CRLB,此时意味着二次椭圆等式约束将不再起作用;(3)定位偏置与式(96)给出的理论值基本吻合,定位均方根误差与式(100)给出的理论值基本吻合,从而验证了4.3节理论性能分析的有效性。

    本文基于单跳电离层虚高模型,在观测站同时获得2D-DOA/TDOA两域参数的场景下提出一种协同这两种观测量的定位新方法。新方法可以有效避免迭代运算,并利用两个计算阶段获得目标位置向量闭式解。此外,该文利用约束误差扰动理论和正交投影矩阵的数学性质对新方法的估计性能进行理论分析,证明其具有渐近统计最优性,同时定量分析短波辐射源高度信息误差对定位精度产生的影响。仿真实验结果表明,相比于短波2D-DOA定位方法和短波TDOA定位方法,新方法能获得较高的协同增益;相比于文献[8]中的短波辐射源2D-DOA/TDOA协同定位方法,新方法在两类观测误差具有统计相关性的条件下具有更高定位精度,并且随着相关性的增加其优势更加显著。最后需要指出的是,在电离层影响下短波信号传播易发生多径效应,并且电离层参数具有较强的时变性,如何将本文的新方法应用于多径传播、电离层参数时变等复杂环境和边界场景值得后续进一步深入研究。

    附录A首先证明如下引理。

    引理1:假设{{\boldsymbol{A}}_1} \in {\mathbb{R}^{n \times n}}{{\boldsymbol{A}}_2} \in {\mathbb{R}^{n \times n}}均为正定矩阵,则矩阵{{\boldsymbol{A}}_1}{{\boldsymbol{A}}_2} \in {\mathbb{R}^{n \times n}}可以进行对角化。

    证明:首先有{{\boldsymbol{A}}_1}{{\boldsymbol{A}}_2} = {\boldsymbol{A}}_2^{ - 1/2}({\boldsymbol{A}}_2^{1/2}{{\boldsymbol{A}}_1}{\boldsymbol{A}}_2^{1/2}){\boldsymbol{A}}_2^{1/2},由于{\boldsymbol{A}}_2^{1/2}是正定矩阵,{\boldsymbol{A}}_2^{1/2}{{\boldsymbol{A}}_1}{\boldsymbol{A}}_2^{1/2}也是正定矩阵,因此该矩阵可以进行对角化,即有{\boldsymbol{A}}_2^{1/2}{{\boldsymbol{A}}_1}{\boldsymbol{A}}_2^{1/2} = {{\boldsymbol{H}}_{\text{a}}}{{\boldsymbol{\varLambda }}_{\text{a}}}{\boldsymbol{H}}_{\text{a}}^{ - 1},其中,{{\boldsymbol{\varLambda }}_{\text{a}}}表示由特征值构成的对角矩阵;{{\boldsymbol{H}}_{\text{a}}}表示由特征向量构成的特征矩阵。至此可得

    \begin{split} {{\boldsymbol{A}}_1}{{\boldsymbol{A}}_2} \;& = {\boldsymbol{A}}_2^{ - 1/2}{{\boldsymbol{H}}_{\text{a}}}{{\boldsymbol{\varLambda }}_{\text{a}}}{\boldsymbol{H}}_{\text{a}}^{ - 1}{\boldsymbol{A}}_2^{1/2} \\ & = ({\boldsymbol{A}}_2^{ - 1/2}{{\boldsymbol{H}}_{\text{a}}}){{\boldsymbol{\varLambda }}_{\text{a}}}{({\boldsymbol{A}}_2^{ - 1/2}{{\boldsymbol{H}}_{\text{a}}})^{ - 1}} \end{split} (A-1)

    于是矩阵{{\boldsymbol{A}}_1}{{\boldsymbol{A}}_2}也可以进行对角化。证毕。

    下面基于引理1证明矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}可以进行对角化。由于{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}是正定矩阵,可将其分块表示为

    {({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}} = \left[ {\begin{array}{c:ccc} {\underbrace {{{{\boldsymbol{\hat W}}}_1}}_{3 \times 3}}& {\underbrace {{{{\boldsymbol{\hat w}}}_{\text{2}}}}_{3 \times 1}} \\ \hdashline\\[-7pt] {\underbrace {{\boldsymbol{\hat w}}_{\text{2}}^{\text{T}}}_{1 \times 3}}& {\underbrace {{{\hat w}_{\text{3}}}}_{1 \times 1}} \end{array}} \right] (A-2)

    其中左上角子矩阵 {{\boldsymbol{\hat W}}_1} 是正定矩阵。利用矩阵{{\boldsymbol{\varOmega }}_{\text{1}}}的定义可得

    {({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1} = \left[ {\begin{array}{c:ccc} {{{{\boldsymbol{\hat W}}}_1}{{\boldsymbol{\varOmega }}_{\text{0}}}}& {{{\bf{0}}_3}} \\ \hdashline\\[-5pt] {{\boldsymbol{\hat w}}_{\text{2}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}}& 0 \end{array}} \right] (A-3)

    由于 {{\boldsymbol{\hat W}}_1} {{\boldsymbol{\varOmega }}_{\text{0}}}均为正定矩阵,根据引理1可知,{{\boldsymbol{\hat W}}_1}{{\boldsymbol{\varOmega }}_{\text{0}}}可以进行对角化,即有{{\boldsymbol{\hat W}}_1}{{\boldsymbol{\varOmega }}_{\text{0}}} = {{\boldsymbol{\bar H}}_{\text{w}}}{{\boldsymbol{\bar \varLambda }}_{\text{w}}}{\boldsymbol{\bar H}}_{\text{w}}^{ - 1},其中,{{\boldsymbol{\bar \varLambda }}_{\text{w}}}表示由特征值构成的对角矩阵;{{\boldsymbol{\bar H}}_{\text{w}}}表示由特征向量构成的特征矩阵。将该式代入式(A-3)中可得

    \begin{split} {({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1} = \,&\left[ {\begin{array}{c:ccc} {{{{\boldsymbol{\bar H}}}_{\text{w}}}{{{\boldsymbol{\bar \varLambda }}}_{\text{w}}}{\boldsymbol{\bar H}}_{\text{w}}^{ - 1}}& {{{\bf{0}}_3}} \\ \hdashline\\[-3pt] {{\boldsymbol{\hat w}}_{\text{2}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}}& 0 \end{array}} \right] \\ =\,& \left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar H}}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}}&1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar \varLambda }}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\bf{0}}_{\text{3}}^{\text{T}}}&0 \end{array}} \right]\\ & \cdot\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{\bar H}}_{\text{w}}^{ - 1}}&{{{\bf{0}}_3}} \\ { - {\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}{\boldsymbol{\bar H}}_{\text{w}}^{ - 1}}&1 \end{array}} \right] \end{split} (A-4)

    其中,{{\boldsymbol{\bar h}}_{\text{w}}} = {\boldsymbol{\bar \varLambda }}_{\text{w}}^{ - 1}{\boldsymbol{\bar H}}_{\text{w}}^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{\hat w}}_{\text{2}}}。由于

    \left[ {\begin{array}{*{20}{c}} {{\boldsymbol{\bar H}}_{\text{w}}^{ - 1}}&{{{\bf{0}}_3}} \\ { - {\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}{\boldsymbol{\bar H}}_{\text{w}}^{ - 1}}&1 \end{array}} \right] = {\left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar H}}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}}&1 \end{array}} \right]^{ - 1}} (A-5)

    将式(A-5)代入式(A-4)中可得

    \begin{split} {({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1} =\;& \left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar H}}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}}&1 \end{array}} \right]\left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar \varLambda }}}_{\text{w}}}}&{{\bf{{0}}_3}} \\ {{\boldsymbol{0}}_{\text{3}}^{\text{T}}}&0 \end{array}} \right]\\ & {\left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar H}}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}}&1 \end{array}} \right]^{ - 1}} = {{\boldsymbol{H}}_{\text{w}}}{{\boldsymbol{\varLambda }}_{\text{w}}}{\boldsymbol{H}}_{\text{w}}^{ - 1} \\ \end{split} (A-6)

    式中,{{\boldsymbol{\varLambda }}_{\text{w}}} = \left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar \varLambda }}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\bf{0}}_3^{\text{T}}}&0 \end{array}} \right]表示由特征值构成的对角矩阵;{{\boldsymbol{H}}_{\text{w}}} = \left[ {\begin{array}{*{20}{c}} {{{{\boldsymbol{\bar H}}}_{\text{w}}}}&{{{\bf{0}}_3}} \\ {{\boldsymbol{\bar h}}_{\text{w}}^{\text{T}}}&1 \end{array}} \right]表示由特征向量构成的特征矩阵。综上可知,矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}可以进行对角化。

    附录B首先证明引理2。

    引理2:若矩阵{\boldsymbol{A}} \in {\mathbb{R}^{m \times n}}\;(m > n)列满秩,非零向量{\boldsymbol{a}} \in {\mathbb{R}^{m \times 1}}满足{\text{range}}[{\boldsymbol{a}}] \bot {\text{range}}[{\boldsymbol{A}}],则有{\boldsymbol{\varPi }}[\begin{array}{c:ccc} {\boldsymbol{A}}& {\boldsymbol{a}} \end{array}] \ge {\boldsymbol{\varPi }}[{\boldsymbol{A}}]

    证明:根据正交投影矩阵的定义可得

    \begin{split} {\boldsymbol{\varPi }}\left[\begin{array}{c:ccc} {}&{}\\[-8pt] {\boldsymbol{A}}& {\boldsymbol{a}} \\ {}&{}\\[-8pt] \end{array}\right] = \;&\left[\begin{array}{c:ccc} {}&{}\\[-8pt] {\boldsymbol{A}}& {\boldsymbol{a}} \\ {}&{}\\[-8pt] \end{array}\right]{\left[ {\begin{array}{c:ccc} {{{\boldsymbol{A}}^{\text{T}}}{\boldsymbol{A}}}& {{{\bf{0}}_n}} \\ \hdashline\\[-3pt] {{\bf{0}}_n^{\text{T}}}& {{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{a}}} \end{array}} \right]^{ - 1}}\\ & \cdot\left[ {\begin{array}{*{20}{c}} {{{\boldsymbol{A}}^{\text{T}}}} \\ {{{\boldsymbol{a}}^{\text{T}}}} \end{array}} \right] = {\boldsymbol{\varPi }}[{\boldsymbol{A}}] + \frac{{{\boldsymbol{a}}{{\boldsymbol{a}}^{\text{T}}}}}{{{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{a}}}} \end{split} (B-1)

    由于式(B-1)中最后一个等号右边第2项为半正定矩阵,于是有{\boldsymbol{\varPi }}\left[\begin{array}{c:ccc} {}&{}\\[-8pt] {\boldsymbol{A}}& {\boldsymbol{a}}\\ {}&{}\\[-8pt]\end{array}\right] \ge {\boldsymbol{\varPi }}[{\boldsymbol{A}}]。证毕。

    下面基于引理2证明式(61)。首先由式(60)可得

    {\text{rank}} \left[ {\begin{array}{c:ccc} {\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}_{4 \times 1}}& {\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})}_{4 \times 2}} \end{array}} \right] = 3 (B-2)

    于是一定存在非零向量 {{\boldsymbol{w}}_v} \in {\mathbb{R}^{4 \times 1}} 满足

    {\text{range}}[{{\boldsymbol{w}}_v}] \bot {\text{range[}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{\text{]}}\;\;;\;\; {\text{range}}[{{\boldsymbol{w}}_v}] \bot {\text{range}}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \right] (B-3)

    然后结合式(B-3)和式(60)可知

    \left\{ \begin{aligned} & {\text{range}}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}] \\ & \quad\bot {\text{range}}\left[ {\begin{array}{c:ccc} {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})}& {{{\boldsymbol{w}}_v}} \end{array}} \right] \\ &{\text{range}}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}] \\ & \quad\cup {\text{range}}\left[ {\begin{array}{c:ccc} {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})}& {{{\boldsymbol{w}}_v}} \end{array}} \right] \\ & \quad = {\mathbb{R}^4} \end{aligned} \right. (B-4)

    此时根据正交投影矩阵的性质可知

    \begin{split} & {{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1/2}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}] \\ & \quad = {\boldsymbol{\varPi }}\left[ {\begin{array}{c:ccc} {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})}& {{{\boldsymbol{w}}_v}} \end{array}} \right] \\[-1pt] \end{split} (B-5)

    最后利用引理2中的结论可知式(61)成立。

    附录C首先证明引理3。

    引理3:假设{{\boldsymbol{A}}_1} \in {\mathbb{R}^{n \times n}}为正定矩阵,{{\boldsymbol{A}}_2} \in {\mathbb{R}^{n \times (n - 1)}}为列满秩矩阵,矩阵{{\boldsymbol{A}}_3} \in {\mathbb{R}^{n \times m}} \;(m < n)与向量{\boldsymbol{a}} \in {\mathbb{R}^{n \times 1}}满足{{\boldsymbol{a}}^{\text{T}}}{{\boldsymbol{A}}_3} = {\bf{0}}_m^{\text{T}},则有矩阵等式为

    \frac{{{\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{\boldsymbol{\varPi }}[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{\varPi }}[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{A}}_3}}}{{{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}}} = {\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{A}}_3} (C-1)

    证明:首先利用关系式{{\boldsymbol{a}}^{\text{T}}}{{\boldsymbol{A}}_3} = {\bf{0}}_m^{\text{T}}可得

    {\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{\boldsymbol{\varPi }}[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}} = - {\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}} (C-2)

    然后将式(C-2)代入式(C-1)中的等号左侧可知

    \frac{{{\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{\boldsymbol{\varPi }}[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{\varPi }}[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{A}}_3}}}{{{{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}}} = {\boldsymbol{A}}_3^{\text{T}}{\boldsymbol{A}}_1^{1/2}{\boldsymbol{\varPi }}[{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}]{\boldsymbol{A}}_1^{1/2}{{\boldsymbol{A}}_3} (C-3)

    考虑矩阵 {\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2} \in {\mathbb{R}^{n \times (n - 1)}} 和向量 {{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}} \in {\mathbb{R}^{n \times 1}} ,他们的列数之和等于n,并且满足

    {\text{rank[}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}{\text{]}} = n - 1\;\;;\;\;{[{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}]^{\text{T}}} {\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2} = {{\boldsymbol{a}}^{\text{T}}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2} {{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2} = {\bf{0}}_{n - 1}^{\text{T}} (C-4)

    于是有

    {\text{range[}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}{\text{]}} \bot {\text{range}}[{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}]\;\;, {\text{range[}}{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}{\text{]}} \cup {\text{range}}[{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}] = {\mathbb{R}^n} (C-5)

    此时利用正交投影矩阵的性质可知 {\boldsymbol{\varPi }}[{{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}]{\boldsymbol{A}}_1^{ - 1/2}{\boldsymbol{a}}] = {{\boldsymbol{\varPi }}^ \bot }[{\boldsymbol{A}}_1^{ - 1/2}{{\boldsymbol{A}}_2}] ,最后结合该式与式(C-3)可知式(C-1)成立。证毕。

    下面基于引理3证明式(89)。由于 {\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}) \in {\mathbb{R}^{4 \times 4}} 是正定矩阵, {\boldsymbol{\tilde I}}_3^{\text{T}} \in {\mathbb{R}^{4 \times 3}} 是列满秩矩阵,并且根据矩阵 {\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}}) 的定义式可以验证(C-6)关系式

    {({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})^{\text{T}}}\left[ {\begin{array}{*{20}{c}} {{\boldsymbol{J}}({{\boldsymbol{u}}_{\text{o}}})} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] = \left[ {{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}\;\;\frac{{{{[{{\boldsymbol{u}}_{\text{o}}}]}_3}}}{{1 - {e^2}}}\;\;0} \right]\left[ {\begin{array}{*{20}{c}} {{{\boldsymbol{I}}_2}} \\ {\dfrac{{({e^2} - 1)}}{{{{[{{\boldsymbol{u}}_{\text{o}}}]}_3}}}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \\ {2{e^2}{\boldsymbol{\bar u}}_{\text{o}}^{\text{T}}} \end{array}} \right] = {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}} - {\boldsymbol{\bar u}}_{\text{o}}^{\text{T}} = {\bf{0}}_2^{\text{T}} (C-6)

    此时利用引理3可知式(89)成立。

    首先根据正交投影矩阵的定义可知

    \begin{split} & {{{\boldsymbol{\bar I}}}_3}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}} - {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}} {[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}} {\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}]{\boldsymbol{\bar I}}_3^{\text{T}} \\ & = {{{\boldsymbol{\bar I}}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}{{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}{\boldsymbol{\bar I}}_3^{\text{T}} \end{split} (D-1)

    然后结合矩阵 {\boldsymbol{\bar \varOmega }} 的定义可得

    \begin{split} & {{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}] = {{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)] \\ & - \frac{{{{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}{{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)]}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}{{\boldsymbol{\varPi }}^ \bot }[{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)]{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}} \\ \end{split} (D-2)

    另一方面,可以验证

    {[\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}_{4 \times 1}]^{\text{T}}}\underbrace {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}}_{4 \times 3} = {({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)^{\text{T}}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}} = {\bf{0}}_3^{\text{T}} (D-3)

    以及 {\mathrm{rank}}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right] = {\mathrm{rank}}\left[ {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right] = 3 ,于是有

    \left\{ \begin{gathered} {\text{range}}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)] \bot {\text{range}}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right] \\ {\text{range}}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)] \cup {\text{range}}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right] = {\mathbb{R}^4} \\ \end{gathered} \right. (D-4)

    此时根据正交投影矩阵的性质可知

    \begin{split} \;&{{\boldsymbol{\varPi }}^ \bot }[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - {\text{1/2}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)] = {\boldsymbol{\varPi }}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right] \\ \;& \quad = {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\left[ {{{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]^{ - 1}}{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)^{\text{T}}}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{1/2}} \end{split} (D-5)

    将式(D-2)和式(D-5)代入式(D-1)中,并且利用关系式 {\boldsymbol{\bar I}}_3^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}} = {{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} 可得

    \begin{split} & {{{\boldsymbol{\bar I}}}_3}[{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}} - {({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}]{\boldsymbol{\bar I}}_3^{\text{T}} \\ & = {{{\boldsymbol{\bar I}}}_3}\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{\left[ {{{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]^{ - 1}}{\left( {\frac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)^{\text{T}}}{\boldsymbol{\bar I}}_3^{\text{T}} \\ & \quad - \dfrac{{{{{\boldsymbol{\bar I}}}_3}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{{\left[ {{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]}^{ - 1}}{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{\bar I}}_3^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{{\boldsymbol{\bar I}}}_3}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{{\left[ {{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]}^{ - 1}}{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{\bar I}}_3^{\text{T}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{{\boldsymbol{\bar I}}}_3}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}{{\left[ {{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}})\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right]}^{ - 1}}{{\left( {\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}}} \right)}^{\text{T}}}{\boldsymbol{\bar I}}_3^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}} \\ \end{split} (D-6)

    将关系式 {{\boldsymbol{\bar I}}_3}\dfrac{{\partial {{\boldsymbol{v}}_{\text{o}}}}}{{\partial {\boldsymbol{u}}_{\text{o}}^{\text{T}}}} = {{\boldsymbol{I}}_3} 和式(58)代入式(D-6)中可知式(98)成立。

    首先结合分块矩阵求逆公式和矩阵 {\boldsymbol{\bar \varOmega }} 的定义可知

    \begin{split} & {{{\boldsymbol{\bar I}}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right] \\ & \quad = \frac{{{{{\boldsymbol{\bar I}}}_3}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}} - \dfrac{{{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2){{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}}} \right]{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}})}^{\text{T}}}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}} - \dfrac{{{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2){{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - 1}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}}} \right]{{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}}}} \end{split} (E-1)

    然后结合式(D-5)和式(58)可得

    {{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}) = {{\boldsymbol{\bar I}}_3}\left[ {{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1}}}} - \frac{{{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2){{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1}}}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}^{\text{T}}}{{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))}^{ - {\text{1}}}}({{\boldsymbol{\varOmega }}_{\text{2}}}{{\boldsymbol{v}}_{\text{o}}} + {{\boldsymbol{\gamma }}_2}{\text{/}}2)}}} \right]{\boldsymbol{\bar I}}_3^{\text{T}} (E-2)

    将式(E-2)和关系式 {\boldsymbol{\bar I}}_3^{\text{T}}{{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}} = {{\boldsymbol{\varOmega }}_{\text{1}}}{{\boldsymbol{v}}_{\text{o}}} 代入式(E-1)中可知

    {{\boldsymbol{\bar I}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{\boldsymbol{\bar \varOmega }}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{\boldsymbol{\bar \varOmega }}^{\text{T}}}]^{ - 1}}\left[ {\begin{array}{*{20}{c}} 1 \\ 0 \end{array}} \right] = \frac{{{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}}{{{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}}} (E-3)

    最后由式(E-3)可得

    \begin{split} & {{{\boldsymbol{\bar I}}}_3}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}\left[ {\begin{array}{*{20}{c}} {\varphi _{\text{o}}^2h_{\text{e}}^2{\text{/}}4}&0 \\ 0&0 \end{array}} \right]{[{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{{{\boldsymbol{\bar \varOmega }}}^{\text{T}}}]^{ - 1}}{\boldsymbol{\bar \varOmega }}{({\boldsymbol{W}}({\boldsymbol{z}},{\boldsymbol{d}}))^{ - 1}}{\boldsymbol{\bar I}}_3^{\text{T}} \\ & \quad = \frac{{\varphi _{\text{o}}^2h_{\text{e}}^2}}{4}\frac{{{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}})}}{{{{[{{({{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}})}^{\text{T}}}{{\bf{CRLB}}_{{\text{un}}}}({{\boldsymbol{u}}_{\text{o}}}){{\boldsymbol{\varOmega }}_{\text{0}}}{{\boldsymbol{u}}_{\text{o}}}]}^2}}} \end{split} (E-4)

    至此式(99)得证。

  • 图  1  短波辐射源2D-DOA和TDOA几何模型示意图

    Figure  1.  Schematic diagram of 2D-DOA and TDOA geometric models of shortwave radiation source

    图  2  在ECEF坐标系下的X-Y平面中的定位结果散布图与定位误差椭圆曲线

    Figure  2.  Scatter plot of positioning results and elliptical curve of positioning errors in the X-Y plane in the ECEF coordinate system

    图  3  正确的根、与正确的根最邻近的假根以及门限值 - 1/{\kappa _{\max }}

    Figure  3.  Correct root, the closest false root to the correct root and threshold value - 1/{\kappa _{\max }}

    图  4  定位均方根误差随着参数δ1的变化曲线

    Figure  4.  Localization RMSE as a function of parameter δ1

    图  5  定位均方根误差随着参数δ2的变化曲线

    Figure  5.  Localization RMSE as a function of parameter δ2

    图  6  定位均方根误差随着参数δ3的变化曲线

    Figure  6.  Localization RMSE as a function of parameter δ3

    图  7  定位均方根误差随着相关系数cDT的变化曲线

    Figure  7.  Localization RMSE as a function of correlation coefficient cDT

    图  8  定位偏置随着高度he的变化曲线

    Figure  8.  Localization bias as a function of height he

    图  9  定位均方根误差随着高度he的变化曲线

    Figure  9.  Localization RMSE as a function of height he

    表  1  新方法的计算步骤及其所需的乘法次数

    Table  1.   Calculation steps of the new method and the number of multiplications required

    序号 计算内容 乘法次数
    步骤1 利用式(18)计算矩阵{{\boldsymbol{Q}}_\theta }和向量{{\boldsymbol{p}}_\theta };利用式(22)计算矩阵{{\boldsymbol{Q}}_\beta }和向量{{\boldsymbol{p}}_\beta }
    利用式(26)计算矩阵{{\boldsymbol{Q}}_t}和向量{{\boldsymbol{p}}_t}
    27N - 8
    步骤2 利用式(27)构造矩阵{\boldsymbol{Q}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})和向量{\boldsymbol{p}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}) 无实质乘法计算
    步骤3 利用式(30)计算矩阵{{\boldsymbol{C}}_z}{{\boldsymbol{C}}_d} 48{N^2} - 4N - 13
    步骤4 利用式(34)计算协方差矩阵{\bf{COV}}({\boldsymbol{e}})及其逆矩阵{({\bf{COV}}({\boldsymbol{e}}))^{ - 1}} \begin{gathered} O[{(3N - 1)^3}] + 66{N^3} \\[-3pt] - 61{N^2} + 19N - 2 \end{gathered}
    步骤5 利用式(38)计算矩阵{\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}})及其逆矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}} \begin{gathered} O(64) + 36{N^2} \\[-3pt] + 24N - 12 \end{gathered}
    步骤6 对矩阵{({\boldsymbol{W}}({\boldsymbol{\hat z}},{\boldsymbol{\hat d}}))^{ - 1}}{{\boldsymbol{\varOmega }}_1}进行特征值分解得到特征值对角矩阵{{\boldsymbol{\varLambda }}_{\text{w}}}和特征矩阵{{\boldsymbol{H}}_{\text{w}}} O(64) + 4
    步骤7 利用式(43)计算向量{{\boldsymbol{h}}_1}{{\boldsymbol{h}}_2} \begin{gathered} O(64) + 9{N^2} \\ + 6N + 45 \\ \end{gathered}
    步骤8 利用式(46)—式(50)计算多项式系数 {\{ {\alpha _j}\} _{0 \le j \le 6}} 82
    步骤9 求解式(45)中的一元六次多项式的根,并利用式(53)选择正确的根 \begin{gathered} J \cdot O[{(3N - 1)^3}] + O(6) \\[-3pt] + J(12{N^3} + 2{N^2} - 2N) \end{gathered}
    步骤10 利用式(37)计算向量{{\boldsymbol{\hat v}}_{{\text{o,f}}}},并进而构造向量 {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} {{\boldsymbol{\hat u}}_{{\text{o,f}}}} O(64) + 16
    步骤11 利用式(62)计算均方误差矩阵{\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}})及其逆矩阵{({\bf{MSE}}({{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}}))^{ - 1}} O(64) + O(27) + 145
    步骤12 利用式(65)计算标量 \hat \mu 和向量 {\boldsymbol{\hat \eta }} 6
    步骤13 利用式(66)构造矩阵 {\boldsymbol{\bar J}}({{\boldsymbol{\hat u}}_{{\text{o,f}}}}) 5
    步骤14 利用式(69)计算向量 \Delta {{{\hat {\bar {\boldsymbol{v}}}}}_{{\text{o,f}}}} 28
    步骤15 利用式(70)计算向量 {{{\hat{ \bar {\boldsymbol{u}}}}}_{{\text{o,s}}}} 无实质乘法计算
    步骤16 利用式(71)计算最终定位结果 {{\boldsymbol{\hat u}}_{{\text{o,s}}}} 3
    下载: 导出CSV

    表  2  观测站的经纬度与电离层虚高数值

    Table  2.   Longitude, latitude and ionospheric virtual height of shortwave observer

    观测站 经度(°) 纬度(°) 电离层虚高(km)
    1 123.04 40.94 273
    2 115.66 40.27 316
    3 114.61 34.98 358
    4 113.47 30.09 347
    5 115.75 26.22 255
    下载: 导出CSV

    表  3  多项式方程的根及其对应的MLE目标函数值

    Table  3.   Roots of polynomial equation and their corresponding MLE objective function values

    序号 一元六次多项式方程的根 与门限值–1/ {\kappa _{\max }} = –4.02×10–5的关系 由式(53)给出的MLE目标函数值
    1 –8.12×10–2 小于 3.34×106
    2 –7.98×10–2 小于 3.22×106
    3 –1.81×10–2 小于 7.56×105
    4 –1.73×10–2 小于 6.90×105
    5 –8.08×10–5 小于 6.60×103
    6 2.89×10–7 唯一大于 1.23×101 唯一的最小值
    下载: 导出CSV
  • [1] 王金龙, 陈瑾, 徐煜华. 短波通信技术研究进展与发展需求[J]. 陆军工程大学学报, 2022, 1(1): 1–7. doi: 10.12018/j.issn.2097-0730.20211218001.

    WANG Jinlong, CHEN Jin, and XU Yuhua. On research advances and development requirements of high frequency communication technologies[J]. Journal of Army Engineering University of PLA, 2022, 1(1): 1–7. doi: 10.12018/j.issn.2097-0730.20211218001.
    [2] PANG Feifei, DOĞANÇAY K, NGUYEN N H, et al. AOA pseudolinear target motion analysis in the presence of sensor location errors[J]. IEEE Transactions on Signal Processing, 2020, 68: 3385–3399. doi: 10.1109/TSP.2020.2998896.
    [3] YAN Qingli, CHEN Jianfeng, ZHANG Jie, et al. Robust AOA-based source localization using outlier sparsity regularization[J]. Digital Signal Processing, 2021, 112: 103006. doi: 10.1016/j.dsp.2021.103006.
    [4] SUN Yimao, HO K C, and WAN Qun. Eigenspace solution for AOA localization in modified polar representation[J]. IEEE Transactions on Signal Processing, 2020, 68: 2256–2271. doi: 10.1109/TSP.2020.2981773.
    [5] CHEN Xianjing, WANG Gang, and HO K C. Semidefinite relaxation method for unified near-field and far-field localization by AOA[J]. Signal Processing, 2021, 181: 107916. doi: 10.1016/j.sigpro.2020.107916.
    [6] ZOU Yanbin, WU Liehu, FAN Jingna, et al. A convergent iteration method for 3-D AOA localization[J]. IEEE Transactions on Vehicular Technology, 2023, 72(6): 8267–8271. doi: 10.1109/TVT.2023.3242054.
    [7] CHEN Yonghua, YU Hua, LI Jie, et al. Three-dimensional source localization based on 1-D AOA measurements: Low-complexity and effective estimator[J]. IEEE Transactions on Instrumentation and Measurement, 2023, 72: 9510615. doi: 10.1109/TIM.2023.3298680.
    [8] 王鼎, 尹洁昕, 朱中梁. 针对超视距短波辐射源的测角与测时差协同定位方法[J]. 中国科学: 信息科学, 2022, 52(11): 1942–1973. doi: 10.1360/SSI-2021-0331.

    WANG Ding, YIN Jiexin, and ZHU Zhongliang. Novel cooperative localization method of over-the-horizon shortwave emitters based on direction-of-arrival and time-difference-of-arrival measurements[J]. Scientia Sinica Informationis, 2022, 52(11): 1942–1973. doi: 10.1360/SSI-2021-0331.
    [9] JIANG Linqiang, TANG Tao, WU Zhidong, et al. An iterative method for short-wave source localization using direction of arrival measurements[C]. The 18th Chinese National Symposium on Radio Propogation, Qingdao, China, 2023: 595–600. doi: 10.26914/c.cnkihy.2023.050995.
    [10] 贺承杰. 天波超视距雷达海面目标定位方法研究[J]. 雷达科学与技术, 2020, 18(5): 568–572, 578. doi: 10.3969/j.issn.1672-2337.2020.05.017.

    HE Chengjie. Surface target location method of sky wave over-the-horizon radar[J]. Radar Science and Technology, 2020, 18(5): 568–572, 578. doi: 10.3969/j.issn.1672-2337.2020.05.017.
    [11] GUO Fucheng and HO K C. A quadratic constraint solution method for TDOA and FDOA localization[C]. 2011 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Prague, Czech Republic, 2011: 2588–2591. doi: 10.1109/ICASSP.2011.5947014.
    [12] LI Qian, CHEN Baixiao, and YANG Minglei. Improved two-step constrained total least-squares TDOA localization algorithm based on the alternating direction method of multipliers[J]. IEEE Sensors Journal, 2020, 20(22): 13666–13673. doi: 10.1109/JSEN.2020.3004235.
    [13] 王鼎, 尹洁昕, 高路, 等. 一种同步时钟偏差和传感器位置误差存在下的TDOA定位新方法[J]. 航空学报, 2022, 43(7): 325405. doi: 10.7527/S1000-6893.2021.25405.

    WANG Ding, YIN Jiexin, GAO Lu, et al. A novel method for TDOA localization in presence of synchronization clock bias and sensor position uncertainty[J]. Acta Aeronautica et Astronautica Sinica, 2022, 43(7): 325405. doi: 10.7527/S1000-6893.2021.25405.
    [14] JAIN A, PAGANI P, FLEURY R, et al. Accurate time difference of arrival estimation for HF radio broadcast signals[J]. Microwave and Optical Technology Letters, 2018, 60(6): 1406–1410. doi: 10.1002/mop.31178.
    [15] WANG Ting, HONG Xueli, LIU Wen, et al. Geolocation of unknown emitters using TDOA of path rays through the ionosphere by multiple coordinated distant receivers[C]. 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Calgary, Canada, 2018: 3509–3513. doi: 10.1109/ICASSP.2018.8462106.
    [16] HUANG Sen, PUN Y M, SO A M C, et al. A provably convergent projected gradient-type algorithm for TDOA-based geolocation under the quasi-parabolic ionosphere model[J]. IEEE Signal Processing Letters, 2020, 27: 1335–1339. doi: 10.1109/LSP.2020.3010676.
    [17] XIONG Wenxin, SCHINDELHAUER C, and SO H C. Globally optimized TDOA high-frequency source localization based on quasi-parabolic ionosphere modeling and collaborative gradient projection[J]. IEEE Transactions on Aerospace and Electronic Systems, 2023, 59(1): 580–590. doi: 10.1109/TAES.2022.3185971.
    [18] YANG Lijuan, GAO Huotao, LING Yun, et al. Localization method of wide-area distribution multistatic sky-wave over-the-horizon radar[J]. IEEE Geoscience and Remote Sensing Letters, 2022, 19(1): 3500305. doi: 10.1109/LGRS.2020.3018322.
    [19] 李琛, 周晨, 王君明, 等. 基于经验电离层模型的短波时差定位理论分析[J]. 系统工程与电子技术, 2023, 45(7): 1911–1919. doi: 10.12305/j.issn.1001-506X.2023.07.01.

    LI Chen, ZHOU Chen, WANG Junming, et al. Theoretical analysis of shortwave TDOA geolocation based on empirical ionospheric model[J]. Systems Engineering and Electronics, 2023, 45(7): 1911–1919. doi: 10.12305/j.issn.1001-506X.2023.07.01.
    [20] JAIN A, PAGANI P, FLEURY R, et al. Efficient time domain HF geolocation using multiple distributed receivers[C]. The 11th European Conference on Antennas and Propagation (EUCAP), Paris, France, 2017: 1852–1856. doi: 10.23919/EuCAP.2017.7928069.
    [21] JAIN A, PAGANI P, FLEURY R, et al. HF source geolocation using an operational TDoA receiver network: Experimental results[J]. IEEE Antennas and Wireless Propagation Letters, 2018, 17(9): 1643–1647. doi: 10.1109/LAWP.2018.2860459.
    [22] XU Chen, CAI Hongtao, GAO Shunzu, et al. A method for HF skywave source geolocation in unknown ionosphere environments and experimental results[J]. IEEE Antennas and Wireless Propagation Letters, 2023, 22(5): 1059–1063. doi: 10.1109/LAWP.2022.3232399.
    [23] ZHANG Tienan, MAO Xingpeng, ZHAO Chunlei, et al. A novel grid selection method for sky-wave time difference of arrival localisation[J]. IET Radar, Sonar & Navigation, 2019, 13(4): 538–549. doi: 10.1049/iet-rsn.2018.5308.
    [24] ZHANG Fengrui, SUN Yimao, and WAN Qun. Calibrating the error from sensor position uncertainty in TDOA-AOA localization[J]. Signal Processing, 2020, 166: 107213. doi: 10.1016/j.sigpro.2019.07.006.
    [25] KANG XU, WANG Dejiang, SHAO Yu, et al. An efficient hybrid multi-station TDOA and single-station AOA localization method[J]. IEEE Transactions on Wireless Communications, 2023, 22(8): 5657–5670. doi: 10.1109/TWC.2023.3235753.
    [26] XU Zhezhen, LI Hui, YANG Kunde, et al. A robust constrained total least squares algorithm for three-dimensional target localization with hybrid TDOA-AOA measurements[J]. Circuits, Systems, and Signal Processing, 2023, 42(6): 3412–3436. doi: 10.1007/s00034-022-02270-6.
    [27] CAO Yalu, LI Peng, LI Jinzhou, et al. A new iterative algorithm for geolocating a known altitude target using TDOA and FDOA measurements in the presence of satellite location uncertainty[J]. Chinese Journal of Aeronautics, 2015, 28(5): 1510–1518. doi: 10.1016/j.cja.2015.08.015.
    [28] PEI Yuhao, WU Guizhou, and GUO Fucheng. Geolocation a known-altitude moving source by TDOA and FDOA measurements[J]. Electronics Letters, 2022, 58(13): 514–516. doi: 10.1049/ell2.12508.
    [29] MORE J J. Generalizations of the trust region problem[J]. Optimization Methods and Software, 1993, 2(3/4): 189–209. doi: 10.1080/10556789308805542.
    [30] HO K C and CHAN Y T. Geolocation of a known altitude object from TDOA and FDOA measurements[J]. IEEE Transactions on Aerospace and Electronic Systems, 1997, 33(3): 770–783. doi: 10.1109/7.599239.
  • 加载中
图(9) / 表(3)
计量
  • 文章访问数: 605
  • HTML全文浏览量: 330
  • PDF下载量: 248
  • 被引次数: 0
出版历程
  • 收稿日期:  2024-07-04
  • 修回日期:  2024-09-27
  • 网络出版日期:  2024-10-28
  • 刊出日期:  2024-12-28

目录

/

返回文章
返回