Multi-Target Position and Velocity Estimation Using OFDM Communication Signals
摘要—在本文中,我们考虑一个无源雷达系统,该系统利用一个完全非协作和非同步的照射源以及多个接收机发射的 OFDM 信号来估计多个运动目标的位置和速度。我们假设数据解调是基于直达路径信号独立进行的,并且易于出错的估计数据符号可用于无源雷达接收机,这些接收机分两个阶段来估计目标的位置和速度。首先,我们利用系统的两种稀疏性,即反射体 (即目标和杂波) 的数量和解调误差的数量都很小,构建了一个联合估计反射体的延迟多普勒和解调误差的问题。这个问题是非凸的,我们提出了一种共轭梯度下降法来求解。然后在第二阶段,我们根据第一阶段估计的延迟多普勒来确定目标的位置和速度。对于第二阶段,我们提出了两种方法:第一种是基于数值求解一组非线性方程,而第二种是基于神经网络,效率更高。我们通过大量的仿真来评估所提算法的性能。
索引术语—定位,速度估计,OFDM,无源雷达,超分辨率,非凸,共轭梯度下降,原子范数,神经网络,离网格,稀疏性。
旨在估计目标的位置和速度。第一阶段旨在通过利用两种稀疏性来估计延迟多普勒频移和解调误差:
- 一方面,由于目标和杂波在空间中是稀疏分布的,因此到达雷达接收机的反射信号是稀疏的,即反射信号的数量远小于信号的长度;
- 另一方面,通信系统的解调错误率在正常工作条件下通常很低,因此解调误差信号也是稀疏的,即解调误差信号中的非零项数量 (根据 (141414) 中 e\mathbf{e}e 的非零项数量) 远小于解调误差信号的长度 (根据 (141414) 中的 NbNdN_b N_dNbNd)。
由于目标的延迟和多普勒频移是连续参数,当信号不能被有限离散字典 [27]–[29] 稀疏表示时,传统的压缩感知 (CS) 工具 [25] 可能会导致性能不佳 [26]。我们利用最近发展的用于超分辨率的连续稀疏恢复数学理论 [30]–[32],特别是原子范数 (atomic norm,AN) 最小化技术,该技术已成功应用于连续频率恢复、线谱估计和到达方向估计 [32]–[35]。请注意,与 [3] 中针对单个接收机的延迟多普勒估计的凸问题不同,在我们的模型中,不同的接收机共享相同的估计数据符号并施加相同的约束,这由于决策变量乘积项的存在而产生了一个非凸问题。因此,我们使用非凸分解 (non-convex factorization,NF) 将问题转化为一个光滑的无约束优化问题,然后通过共轭梯度下降 (conjugate gradient descent,CGD) 算法来求解。
第二阶段旨在根据第一阶段的估计值来确定目标的位置和速度。由于照射源和接收机是不同步(un-synchronizated)的,我们利用不同接收机之间的延迟差来计算每个目标的位置。
- 第一种方法是数值求解一组非线性方程,
- 第二种方法是利用神经网络 [36]–[38] 来估计目标位置,这种方法计算效率更高。然后可以根据估计的目标位置和多普勒频移来确定相应的目标速度。
我们提供了大量的仿真结果,以说明所提出的方法能够准确地估计目标的位置和速度。
II. SYSTEM DESCRIPTIONS & PROBLEM FORMULATION
A. System Descriptions
如图 1 所示,我们考虑一个由 MMM (M≥4M \ge 4M≥4) 个接收机和一个非协作照射源组成的无源雷达系统,用于估计三维笛卡尔坐标系中多个目标的位置和速度。假设照射源和接收机 mmm 的坐标分别为 p0=[p0x,p0y,p0z]T\mathbf{p}_0 = [p_0^x, p_0^y, p_0^z]^Tp0=[p0x,p0y,p0z]T 和 pm=[pmx,pmy,pmz]T\mathbf{p}_m = [p_m^x, p_m^y, p_m^z]^Tpm=[pmx,pmy,pmz]T,其中 m=1,…,Mm=1, \dots, Mm=1,…,M。假设监控区域内有 LLL 个反射体,包括目标和杂波。注意,我们将杂波视作零速目标。设 xℓ=[xℓx,xℓy,xℓz]T\mathbf{x}_\ell = [x_\ell^x, x_\ell^y, x_\ell^z]^Txℓ=[xℓx,xℓy,xℓz]T 和 vℓ=[vℓx,vℓy,vℓz]T\mathbf{v}_\ell = [v_\ell^x, v_\ell^y, v_\ell^z]^Tvℓ=[vℓx,vℓy,vℓz]T 分别为第 ℓ\ellℓ 个反射体的位置和速度。那么,从照射源到第 mmm 个接收天线,由第 ℓ\ellℓ 个反射体引起的传播时间为
τˉℓ,m=1c(∥p0−xℓ∥2+∥pm−xℓ∥2),(1) \bar{\tau}_{\ell,m} = \frac{1}{c}(\|\mathbf{p}_0 - \mathbf{x}_\ell\|_2 + \|\mathbf{p}_m - \mathbf{x}_\ell\|_2), \tag{1} τˉℓ,m=c1(∥p0−xℓ∥2+∥pm−xℓ∥2),(1)
其中 ccc 是光在自由空间中的速度;∥⋅∥2\|\cdot\|_2∥⋅∥2 表示 l2l_2l2 范数。相应的多普勒频移由 [39] 给出
fℓ,m=vℓT(p0−xℓ)λ∥p0−xℓ∥2+vℓT(pm−xℓ)λ∥pm−xℓ∥2,(2) f_{\ell,m} = \frac{\mathbf{v}_\ell^T(\mathbf{p}_0 - \mathbf{x}_\ell)}{\lambda\|\mathbf{p}_0 - \mathbf{x}_\ell\|_2} + \frac{\mathbf{v}_\ell^T(\mathbf{p}_m - \mathbf{x}_\ell)}{\lambda\|\mathbf{p}_m - \mathbf{x}_\ell\|_2}, \tag{2} fℓ,m=λ∥p0−xℓ∥2vℓT(p0−xℓ)+λ∥pm−xℓ∥2vℓT(pm−xℓ),(2)
其中 λ\lambdaλ 表示载波的波长。假设 s(t)s(t)s(t) 是未知的通信信号。由于目标和杂波的反射,在第 mmm 个接收机接收到的信号为
ym(t)=smd(t)+∑ℓ=1Lcℓ,mei2πfℓ,mts(t−τˉℓ,m+Δτ)+wm(t),(3) y_m(t) = s_m^d(t) + \sum_{\ell=1}^{L} c_{\ell,m} e^{i2\pi f_{\ell,m}t} s(t - \bar{\tau}_{\ell,m} + \Delta_\tau) + w_m(t), \tag{3} ym(t)=smd(t)+ℓ=1∑Lcℓ,mei2πfℓ,mts(t−τˉℓ,m+Δτ)+wm(t),(3)
其中 cℓ,mc_{\ell,m}cℓ,m 是第 mmm 个接收天线上第 ℓ\ellℓ 条路径的复增益¹;smd(t)=c~ms(t−τ~m)s_m^d(t) = \tilde{c}_m s(t - \tilde{\tau}_m)smd(t)=c~ms(t−τ~m) 是直达路径 (照射源到接收机) 信号,其中 c~m\tilde{c}_mc~m 和 τ~m\tilde{\tau}_mτ~m 分别是到第 mmm 个接收天线的直达路径的复增益和传播时间²;wm(t)w_m(t)wm(t) 是一个复圆对称高斯白噪声过程;Δτ\Delta_\tauΔτ 是发射机和接收机之间的同步误差,即我们假设雷达接收机共享相同的时钟,但与通信发射机不同步。
¹ 在本文中,我们假设复增益不随频率变化,例如,0 型和 1 型斯威林 (Swerling) 反射器 [2]。
² 注意直达路径信号 smd(t)s_m^d(t)smd(t) 可以通过 [15] 中的空间滤波方法或使用参考信道来手机发射机信号 [1], [2], [40],即,使用窄波束天线对准发射机以接收直达路径信号 [40],或使用接收天线的旁瓣来接收直达路径信号 [2]。
B. OFDM-Based Passive Radar Signal Model
在本文中,我们假设信号 s(t)s(t)s(t) 是在现代无线通信系统中被广泛采用的 OFDM 信号。OFDM 信号由 NdN_dNd 个数据子载波和 NT=(Nd+Np)TNT = (N_d + N_p)TNT=(Nd+Np)T 个基本时间单位组成,其中 NpN_pNp 是循环前缀 (CP) 载波的数量,TTT 是采样周期 (“子脉冲持续时间”)。那么,发射的基带 OFDM 信号由下式给出
s(t)=∑n=0Nb−1∑k=0Nd−1bn(k)ei2πkNdTtu(t−nNT),(4) s(t) = \sum_{n=0}^{N_b-1} \sum_{k=0}^{N_d-1} b_n(k) e^{i2\pi \frac{k}{N_dT} t} u(t - nNT), \tag{4} s(t)=n=0∑Nb−1k=0∑Nd−1bn(k)ei2πNdTktu(t−nNT),(4)
其中 bn(k)b_n(k)bn(k),k=0,…,Nd−1k=0, \dots, N_d-1k=0,…,Nd−1 是第 nnn 个归一化数据符号块,使得 E[bn(k)bn(k)∗]=1\mathbb{E}[b_n(k)b_n(k)^*] = 1E[bn(k)bn(k)∗]=1,(⋅)∗(\cdot)^*(⋅)∗ 表示复共轭算子;u(t)={1,t∈[−NpT,NdT],0,otherwise}u(t) = \{1, t \in [-N_pT, N_dT], 0, \text{otherwise}\}u(t)={1,t∈[−NpT,NdT],0,otherwise}。
在每个雷达接收机 mmm 处,假设直达路径信号 ymd(t)y_m^d(t)ymd(t) 首先被移除,我们只处理经过下变频的基带信号。CP 被移除,假设其长度不小于最大路径延迟,即 NpT>maxm,ℓ{τˉℓ,m−Δτ}N_pT > \max_{m,\ell} \{\bar{\tau}_{\ell,m} - \Delta_\tau\}NpT>maxm,ℓ{τˉℓ,m−Δτ}。注意数据符号 bn(k)b_n(k)bn(k) 是未知的,但可以通过使用直达路径信号 smd(t)s_m^d(t)smd(t) [1] 进行解调来估计³。因此在下文中,我们假设数据符号的估计值 b^n(k)\hat{b}_n(k)b^n(k) 是可用的,使得
bn(k)=b^n(k)+en(k),k=0,…,Nd−1,(5) b_n(k) = \hat{b}_n(k) + e_n(k), \quad k=0, \dots, N_d-1, \tag{5} bn(k)=b^n(k)+en(k),k=0,…,Nd−1,(5)
³ 我们假设直达路径信号 smd(t)s_m^d(t)smd(t) 的接收信噪比足够高,可以成功进行解调。
其中 en(k)e_n(k)en(k) 表示相应的解调误差。此外,我们假设目标的速度很低。使得 fˉℓ,mNT≪1\bar{f}_{\ell,m}NT \ll 1fˉℓ,mNT≪1。因此,由多普勒频移引起的相位旋转在一个 OFDM 符号周期 NTNTNT 内可以近似为常数,即 [3], [22]
ei2πfˉℓ,mt≈ei2πfˉℓ,mnNT,t∈[nNT,(n+1)NT].(6) e^{i2\pi\bar{f}_{\ell,m}t} \approx e^{i2\pi\bar{f}_{\ell,m}nNT}, \quad t \in [nNT, (n+1)NT]. \tag{6} ei2πfˉℓ,mt≈ei2πfˉℓ,mnNT,t∈[nNT,(n+1)NT].(6)
在每个接收机 mmm 处,对第 nnn 个 OFDM 符号进行匹配滤波,以获得 (对于 k=0,…,Nd−1k=0, \dots, N_d-1k=0,…,Nd−1)
y~n,m(k)=1NdT∫nNTnNT+NdT(ym(t)−smd(t))e−i2πkNdTtdt+w~n,m(k)=∑ℓ=1Lcℓ,m∑q=0Nd−1bn(q)1NdT∫nNTnNT+NdT×ei2πfˉℓ,mtei2πqt−τˉℓ,m+ΔτNdTe−i2πkNdTtdt+w~n,m(k)≈ei2πfˉℓ,mnNT∑ℓ=1Lcℓ,mei2πfˉℓ,mnNT∑q=0Nd−1bn(q)e−i2πqτˉℓ,m−ΔτNdT×1NdT∫nNTnNT+NdTei2π(q−k)tNdTdt⏟NdT⋅δ(q−k)+w~n,m(k)=(b^n(k)+en(k))∑ℓ=1Lcℓ,mei2πnfℓ,me−i2πkτℓ,m+w~n,m(k),\begin{align*} \tilde{y}_{n,m}(k) &= \frac{1}{N_d T} \int_{nNT}^{nNT+N_d T} (y_m(t) - s_m^d(t))e^{-i2\pi\frac{k}{N_d T}t}dt + \tilde{w}_{n,m}(k) \\ &= \sum_{\ell=1}^{L} c_{\ell,m} \sum_{q=0}^{N_d-1} b_n(q) \frac{1}{N_d T} \int_{nNT}^{nNT+N_d T} \\ &\quad \times e^{i2\pi\bar{f}_{\ell,m}t} e^{i2\pi q\frac{t-\bar{\tau}_{\ell,m}+\Delta_\tau}{N_d T}} e^{-i2\pi\frac{k}{N_d T}t} dt + \tilde{w}_{n,m}(k) \\ &\approx e^{i2\pi\bar{f}_{\ell,m}nNT} \sum_{\ell=1}^{L} c_{\ell,m} e^{i2\pi\bar{f}_{\ell,m}nNT} \sum_{q=0}^{N_d-1} b_n(q) e^{-i2\pi q\frac{\bar{\tau}_{\ell,m}-\Delta_\tau}{N_d T}} \\ &\quad \times \underbrace{\frac{1}{N_d T} \int_{nNT}^{nNT+N_d T} e^{i2\pi(q-k)\frac{t}{N_d T}} dt}_{N_d T \cdot \delta(q-k)} + \tilde{w}_{n,m}(k) \tag{7} \\ &= (\hat{b}_n(k) + e_n(k)) \sum_{\ell=1}^{L} c_{\ell,m} e^{i2\pi nf_{\ell,m}} e^{-i2\pi k\tau_{\ell,m}} + \tilde{w}_{n,m}(k), \tag{8} \end{align*}y~n,m(k)=NdT1∫nNTnNT+NdT(ym(t)−smd(t))e−i2πNdTktdt+w~n,m(k)=ℓ=1∑Lcℓ,mq=0∑Nd−1bn(q)NdT1∫nNTnNT+NdT×ei2πfˉℓ,mtei2πqNdTt−τˉℓ,m+Δτe−i2πNdTktdt+w~n,m(k)≈ei2πfˉℓ,mnNTℓ=1∑Lcℓ,mei2πfˉℓ,mnNTq=0∑Nd−1bn(q)e−i2πqNdTτˉℓ,m−Δτ×NdT⋅δ(q−k)NdT1∫nNTnNT+NdTei2π(q−k)NdTtdt+w~n,m(k)=(b^n(k)+en(k))ℓ=1∑Lcℓ,mei2πnfℓ,me−i2πkτℓ,m+w~n,m(k),(7)(8)
其中 w~n,m(k)=1NdT∫nNTnNT+NdTwm(t)e−i2πkNdTtdt\tilde{w}_{n,m}(k) = \frac{1}{N_d T} \int_{nNT}^{nNT+N_d T} w_m(t)e^{-i2\pi\frac{k}{N_d T}t}dtw~n,m(k)=NdT1∫nNTnNT+NdTwm(t)e−i2πNdTktdt 并且
τℓ,m=τˉℓ,m−ΔτNdT∈[0,1),fℓ,m=fˉℓ,mNT∈[0,1).(9) \tau_{\ell,m} = \frac{\bar{\tau}_{\ell,m} - \Delta_\tau}{N_d T} \in [0, 1), \quad f_{\ell,m} = \bar{f}_{\ell,m}NT \in [0, 1). \tag{9} τℓ,m=NdTτˉℓ,m−Δτ∈[0,1),fℓ,m=fˉℓ,mNT∈[0,1).(9)
C. Problem Formulation
现在我们定义 cm=[c1,m,c2,m,…,cL,m]T∈CL×1\mathbf{c}_m = [c_{1,m}, c_{2,m}, \dots, c_{L,m}]^T \in \mathbb{C}^{L \times 1}cm=[c1,m,c2,m,…,cL,m]T∈CL×1,fm=[f1,m,f2,m,…,fL,m]T∈CL×1\mathbf{f}_m = [f_{1,m}, f_{2,m}, \dots, f_{L,m}]^T \in \mathbb{C}^{L \times 1}fm=[f1,m,f2,m,…,fL,m]T∈CL×1,τm=[τ1,m,τ2,m,…,τL,m]T∈CL×1\mathbf{\tau}_m = [\tau_{1,m}, \tau_{2,m}, \dots, \tau_{L,m}]^T \in \mathbb{C}^{L \times 1}τm=[τ1,m,τ2,m,…,τL,m]T∈CL×1,以及导向矢量 s(f)=[1,ei2πf,…,ei2π(Nb−1)f]T∈CNb×1\mathbf{s}(f) = [1, e^{i2\pi f}, \dots, e^{i2\pi(N_b-1)f}]^T \in \mathbb{C}^{N_b \times 1}s(f)=[1,ei2πf,…,ei2π(Nb−1)f]T∈CNb×1 和 d(τ)=[1,ei2πτ,…,ei2π(Nd−1)τ]T∈CNd×1\mathbf{d}(\tau) = [1, e^{i2\pi \tau}, \dots, e^{i2\pi(N_d-1)\tau}]^T \in \mathbb{C}^{N_d \times 1}d(τ)=[1,ei2πτ,…,ei2π(Nd−1)τ]T∈CNd×1。相应地,响应矩阵定义为 S(fm)=[s(f1,m),s(f2,m),…,s(fL,m)]∈CNb×L\mathbf{S}(\mathbf{f}_m) = [\mathbf{s}(f_{1,m}), \mathbf{s}(f_{2,m}), \dots, \mathbf{s}(f_{L,m})] \in \mathbb{C}^{N_b \times L}S(fm)=[s(f1,m),s(f2,m),…,s(fL,m)]∈CNb×L 和 D(τm)=[d(τ1,m),d(τ2,m),…,d(τL,m)]∈CNd×L\mathbf{D}(\mathbf{\tau}_m) = [\mathbf{d}(\tau_{1,m}), \mathbf{d}(\tau_{2,m}), \dots, \mathbf{d}(\tau_{L,m})] \in \mathbb{C}^{N_d \times L}D(τm)=[d(τ1,m),d(τ2,m),…,d(τL,m)]∈CNd×L。那么 (8) 可以写成如下的矩阵形式
Yˉm=(B^+E)⊙(S(fm)diag(cm)D(τm)H)+Wˉm,(10) \bar{\mathbf{Y}}_m = (\hat{\mathbf{B}} + \mathbf{E}) \odot (\mathbf{S}(\mathbf{f}_m)\text{diag}(\mathbf{c}_m)\mathbf{D}(\mathbf{\tau}_m)^H) + \bar{\mathbf{W}}_m, \tag{10} Yˉm=(B^+E)⊙(S(fm)diag(cm)D(τm)H)+Wˉm,(10)
其中 ⊙\odot⊙ 表示哈达玛积 (Hadamard product);diag(cm)\text{diag}(\mathbf{c}_m)diag(cm) 表示对角元素为 cm\mathbf{c}_mcm 的对角矩阵;Yˉm∈CNb×Nd\bar{\mathbf{Y}}_m \in \mathbb{C}^{N_b \times N_d}Yˉm∈CNb×Nd, B^∈CNb×Nd\hat{\mathbf{B}} \in \mathbb{C}^{N_b \times N_d}B^∈CNb×Nd, E∈CNb×Nd\mathbf{E} \in \mathbb{C}^{N_b \times N_d}E∈CNb×Nd 和 Wˉm∈CNb×Nd\bar{\mathbf{W}}_m \in \mathbb{C}^{N_b \times N_d}Wˉm∈CNb×Nd 是矩阵,其 (n,k)(n,k)(n,k) 位置的元素分别为 y~n,m(k)\tilde{y}_{n,m}(k)y~n,m(k), b^n(k)\hat{b}_n(k)b^n(k), en(k)e_n(k)en(k) 和 w~n,m(k)\tilde{w}_{n,m}(k)w~n,m(k)。进一步表示 bˉ=vec(B^)∈CNbNd×1\bar{\mathbf{b}} = \text{vec}(\hat{\mathbf{B}}) \in \mathbb{C}^{N_b N_d \times 1}bˉ=vec(B^)∈CNbNd×1, eˉ=vec(E)∈CNbNd×1\bar{\mathbf{e}} = \text{vec}(\mathbf{E}) \in \mathbb{C}^{N_b N_d \times 1}eˉ=vec(E)∈CNbNd×1, wˉm=vec(Wˉm)∈CNbNd×1\bar{\mathbf{w}}_m = \text{vec}(\bar{\mathbf{W}}_m) \in \mathbb{C}^{N_b N_d \times 1}wˉm=vec(Wˉm)∈CNbNd×1,其中 vec(⋅)\text{vec}(\cdot)vec(⋅) 是向量化算子,以及
ϕm=∑ℓ=1Lcℓ,ma(τℓ,m,fℓ,m)∈CNbNd×1,(11) \mathbf{\phi}_m = \sum_{\ell=1}^{L} c_{\ell,m}\mathbf{a}(\tau_{\ell,m}, f_{\ell,m}) \in \mathbb{C}^{N_b N_d \times 1}, \tag{11} ϕm=ℓ=1∑Lcℓ,ma(τℓ,m,fℓ,m)∈CNbNd×1,(11)
其中
a(τ,f)=d(τ)∗⊗s(f)∈CNbNd×1,(12) \mathbf{a}(\tau,f) = \mathbf{d}(\tau)^* \otimes \mathbf{s}(f) \in \mathbb{C}^{N_b N_d \times 1}, \tag{12} a(τ,f)=d(τ)∗⊗s(f)∈CNbNd×1,(12)
以及 ⊗\otimes⊗ 是克罗内克积 (Kronecker product)。然后我们将 (10) 中的 Yˉm\bar{\mathbf{Y}}_mYˉm 向量化以获得
yˉm=vec(Yˉm)=diag(b^+eˉ)(D(τm)∗∘S(fm))cm+wˉm=diag(b^+eˉ)ϕm+wˉm,(13) \begin{aligned} \bar{\mathbf{y}}_m &= \text{vec}(\bar{\mathbf{Y}}_m) = \text{diag}(\hat{\mathbf{b}} + \bar{\mathbf{e}})(\mathbf{D}(\mathbf{\tau}_m)^* \circ \mathbf{S}(\mathbf{f}_m))\mathbf{c}_m + \bar{\mathbf{w}}_m \\ &= \text{diag}(\hat{\mathbf{b}} + \bar{\mathbf{e}})\mathbf{\phi}_m + \bar{\mathbf{w}}_m, \end{aligned} \tag{13} yˉm=vec(Yˉm)=diag(b^+eˉ)(D(τm)∗∘S(fm))cm+wˉm=diag(b^+eˉ)ϕm+wˉm,(13)
vec(A⊙B)=diag(vec(A))vec(B)\operatorname{vec}(\mathbf{A}\odot \mathbf{B})=\operatorname{diag}(\operatorname{vec}(\mathbf{A})) \operatorname{vec}(\mathbf{B})vec(A⊙B)=diag(vec(A))vec(B)
其中 ∘\circ∘ 是哈特里-拉奥积 (Khatri-Rao product);(D(τm)∗∘S(fm))∈CNbNd×L(\mathbf{D}(\mathbf{\tau}_m)^* \circ \mathbf{S}(\mathbf{f}_m)) \in \mathbb{C}^{N_b N_d \times L}(D(τm)∗∘S(fm))∈CNbNd×L 是一个矩阵,其第 ℓ\ellℓ 列的形式为 d∗(τℓ,m)⊗s(fℓ,m)\mathbf{d}^*(\tau_{\ell,m}) \otimes \mathbf{s}(f_{\ell,m})d∗(τℓ,m)⊗s(fℓ,m)。最后,(13) 可以重写为如下矩阵形式
Y=diag(b^+eˉ)Φ+W,(14) \mathbf{Y} = \text{diag}(\hat{\mathbf{b}} + \bar{\mathbf{e}})\mathbf{\Phi} + \mathbf{W}, \tag{14} Y=diag(b^+eˉ)Φ+W,(14)
其中 Y∈CNbNd×M\mathbf{Y} \in \mathbb{C}^{N_b N_d \times M}Y∈CNbNd×M, Φ∈CNbNd×M\mathbf{\Phi} \in \mathbb{C}^{N_b N_d \times M}Φ∈CNbNd×M 和 W∈CNbNd×M\mathbf{W} \in \mathbb{C}^{N_b N_d \times M}W∈CNbNd×M 的第 mmm 列分别是 yˉm\bar{\mathbf{y}}_myˉm, ϕm\mathbf{\phi}_mϕm 和 wˉm\bar{\mathbf{w}}_mwˉm。
在本文中,我们首先从接收信号 Y\mathbf{Y}Y 中估计包含在 Φ\mathbf{\Phi}Φ 中的延迟和多普勒频移 {τℓ,m,fℓ,m}\{\tau_{\ell,m}, f_{\ell,m}\}{τℓ,m,fℓ,m}。然后基于这些估计,我们进一步估计反射体的位置和速度 {xℓ,vℓ}\{\mathbf{x}_\ell, \mathbf{v}_\ell\}{xℓ,vℓ},其中 vℓ≈0\mathbf{v}_\ell \approx 0vℓ≈0 的那些被认为是杂波。
III. STAGE 1: DELAY-DOPPLER ESTIMATION
在本节中,我们提出一种 CGD 方法来估计 (14) 中的延迟和多普勒频移 {τℓ,m,fℓ,m}\{\tau_{\ell,m}, f_{\ell,m}\}{τℓ,m,fℓ,m}。我们首先利用两种类型的稀疏性来构建一个非凸优化问题。然后,我们将这个非凸优化问题松弛为一个光滑的无约束形式。这个光滑化的问题随后可以通过 CGD 来求解。
A. Non-Convex Optimization Problem Setup
我们将利用以下两种稀疏性:首先,反射体的数量 L≪NbNdL \ll N_b N_dL≪NbNd (在 (11) 中);其次,假设解调错误率很低,误差向量 e\mathbf{e}e 只有少量非零项,即 ∥e∥0≪NbNd\|\mathbf{e}\|_0 \ll N_b N_d∥e∥0≪NbNd,其中 ∥⋅∥0\|\cdot\|_0∥⋅∥0 是 ℓ0\ell_0ℓ0 范数。由于延迟 τ\tauτ 和多普勒频移 fff 取连续值,我们使用原子范数 [42] 来利用第一种稀疏性。令 A={a(τ,f):τ∈[0,1),f∈[0,1)}\mathcal{A} = \{\mathbf{a}(\tau,f) : \tau \in [0,1), f \in [0,1)\}A={a(τ,f):τ∈[0,1),f∈[0,1)} 为原子集,其中 a(τ,f)\mathbf{a}(\tau, f)a(τ,f) 在 (12) 中定义。那么,对于 m=1,…,Mm=1, \dots, Mm=1,…,M,ϕm\mathbf{\phi}_mϕm 的二维原子范数 [32] 定义为
∥ϕm∥A=inf{χ>0:ϕm∈χconv(A)}=infcℓ,m∈C,τℓ,m∈[0,1),fℓ,m∈[0,1){∑ℓ∣cℓ,m∣:ϕm=∑ℓcℓ,ma(τℓ,m,fℓ,m)},(15) \|\mathbf{\phi}_m\|_{\mathcal{A}} = \inf \left\{ \chi > 0: \mathbf{\phi}_m \in \chi \text{conv}(\mathcal{A}) \right\} = \inf_{c_{\ell,m} \in \mathbb{C}, \tau_{\ell,m} \in [0,1), f_{\ell,m} \in [0,1)} \left\{ \sum_\ell |c_{\ell,m}| : \mathbf{\phi}_m = \sum_{\ell} c_{\ell,m} \mathbf{a}(\tau_{\ell,m}, f_{\ell,m}) \right\}, \tag{15} ∥ϕm∥A=inf{χ>0:ϕm∈χconv(A)}=cℓ,m∈C,τℓ,m∈[0,1),fℓ,m∈[0,1)inf{ℓ∑∣cℓ,m∣:ϕm=ℓ∑cℓ,ma(τℓ,m,fℓ,m)},(15)
其中 conv(⋅)\text{conv}(\cdot)conv(⋅) 表示输入集的凸包。原子范数可以在原子集 A\mathcal{A}A 中强制稀疏性。注意矩阵 Φ\mathbf{\Phi}Φ 中的列是独立的,并且有其自身的稀疏性。在此基础上,我们的延迟-多普勒估计问题可以根据 (14) 构建为:
(Φ^,e^)=argminΦ∈CNbNd×Me∈CNbNd×112∥Y−diag(b^+e)Φ∥F2+γ∑m=1M∥ϕm∥A+η∥e∥1,(16) (\hat{\mathbf{\Phi}}, \hat{\mathbf{e}}) = \arg \min_{\substack{\mathbf{\Phi} \in \mathbb{C}^{N_b N_d \times M} \\ \mathbf{e} \in \mathbb{C}^{N_b N_d \times 1}}} \frac{1}{2} \|\mathbf{Y} - \text{diag}(\hat{\mathbf{b}} + \mathbf{e})\mathbf{\Phi}\|_F^2 + \gamma \sum_{m=1}^{M} \|\mathbf{\phi}_m\|_{\mathcal{A}} + \eta \|\mathbf{e}\|_1, \tag{16} (Φ^,e^)=argΦ∈CNbNd×Me∈CNbNd×1min21∥Y−diag(b^+e)Φ∥F2+γm=1∑M∥ϕm∥A+η∥e∥1,(16)
其中 ∥⋅∥1\|\cdot\|_1∥⋅∥1 表示 ℓ1\ell_1ℓ1 范数,γ>0\gamma > 0γ>0 和 η>0\eta > 0η>0 是权重因子。
然而,通过原子范数寻找谐波分量是一个在所有可行的 τ\tauτ 和 fff 上的无限规划问题。为便于计算,我们使用 (15) 对于 m=1,…,Mm=1, \dots, Mm=1,…,M 的等价形式 [32], [43]
∥ϕm∥A=minQm∈C(2Nb−1)×(2Nd−1)νm∈R{12NbNdTr(T(Qm))+νm2},s.t.[T(Qm)ϕmϕmHνm]⪰0,(17) \|\mathbf{\phi}_m\|_{\mathcal{A}} = \min_{\substack{\mathbf{Q}_m \in \mathbb{C}^{(2N_b-1)\times(2N_d-1)} \\ \nu_m \in \mathbb{R}}} \left\{ \frac{1}{2N_b N_d}\text{Tr}(\mathbb{T}(\mathbf{Q}_m)) + \frac{\nu_m}{2} \right\}, \quad \text{s.t.} \begin{bmatrix} \mathbb{T}(\mathbf{Q}_m) & \mathbf{\phi}_m \\ \mathbf{\phi}_m^H & \nu_m \end{bmatrix} \succeq 0, \tag{17} ∥ϕm∥A=Qm∈C(2Nb−1)×(2Nd−1)νm∈Rmin{2NbNd1Tr(T(Qm))+2νm},s.t.[T(Qm)ϕmHϕmνm]⪰0,(17)
其中 Tr(⋅)\text{Tr}(\cdot)Tr(⋅) 表示迹算子,⪰0\succeq 0⪰0 代表一个半正定矩阵,T(⋅)\mathbb{T}(\cdot)T(⋅) 接收一个 (2Nb−1)×(2Nd−1)(2N_b-1) \times (2N_d-1)(2Nb−1)×(2Nd−1) 的矩阵作为输入
Qm=[qm,−Nd+1,qm,−Nd+2,…,qm,Nd−1]∈C(2Nb−1)×(2Nd−1),(18) \mathbf{Q}_m = [\mathbf{q}_{m,-N_d+1}, \mathbf{q}_{m,-N_d+2}, \dots, \mathbf{q}_{m,N_d-1}] \in \mathbb{C}^{(2N_b-1)\times(2N_d-1)}, \tag{18} Qm=[qm,−Nd+1,qm,−Nd+2,…,qm,Nd−1]∈C(2Nb−1)×(2Nd−1),(18)
其中
qm,n=[qm,n(−Nb+1),qm,n(−Nb+2),…,qm,n(Nb−1)]T∈C(2Nb−1)×1,(19) \mathbf{q}_{m,n} = [q_{m,n}(-N_b+1), q_{m,n}(-N_b+2), \dots, q_{m,n}(N_b-1)]^T \in \mathbb{C}^{(2N_b-1)\times 1}, \tag{19} qm,n=[qm,n(−Nb+1),qm,n(−Nb+2),…,qm,n(Nb−1)]T∈C(2Nb−1)×1,(19)
n=−Nd+1,−Nd+2,…,Nd−1n = -N_d+1, -N_d+2, \dots, N_d-1n=−Nd+1,−Nd+2,…,Nd−1,并输出一个 NbNd×NbNdN_b N_d \times N_b N_dNbNd×NbNd 的块托普利茨 (block Toeplitz) 矩阵
T(Qm)=[Toep(qm,0)Toep(qm,−1)⋯Toep(qm,−Nd+1)Toep(qm,1)Toep(qm,0)⋯Toep(qm,−Nd+2)⋮⋮⋱⋮Toep(qm,Nd−1)Toep(qm,Nd−2)⋯Toep(qm,0)]∈CNbNd×NbNd(20) \mathbb{T}(\mathbf{Q}_m) = \begin{bmatrix} \text{Toep}(\mathbf{q}_{m,0}) & \text{Toep}(\mathbf{q}_{m,-1}) & \cdots & \text{Toep}(\mathbf{q}_{m,-N_d+1}) \\ \text{Toep}(\mathbf{q}_{m,1}) & \text{Toep}(\mathbf{q}_{m,0}) & \cdots & \text{Toep}(\mathbf{q}_{m,-N_d+2}) \\ \vdots & \vdots & \ddots & \vdots \\ \text{Toep}(\mathbf{q}_{m,N_d-1}) & \text{Toep}(\mathbf{q}_{m,N_d-2}) & \cdots & \text{Toep}(\mathbf{q}_{m,0}) \end{bmatrix} \in \mathbb{C}^{N_b N_d \times N_b N_d} \tag{20} T(Qm)=Toep(qm,0)Toep(qm,1)⋮Toep(qm,Nd−1)Toep(qm,−1)Toep(qm,0)⋮Toep(qm,Nd−2)⋯⋯⋱⋯Toep(qm,−Nd+1)Toep(qm,−Nd+2)⋮Toep(qm,0)∈CNbNd×NbNd(20)
其中 Toep(⋅)\text{Toep}(\cdot)Toep(⋅) 输出一个以 (19) 中的 qm,n∈C(2Nb−1)×1\mathbf{q}_{m,n} \in \mathbb{C}^{(2N_b-1)\times 1}qm,n∈C(2Nb−1)×1 为输入的 Nb×NbN_b \times N_bNb×Nb 托普利茨矩阵。更具体地说,我们有
Toep(qm,n)=[qm,n(0)qm,n(−1)⋯qm,n(−Nb+1)qm,n(1)qm,n(0)⋯qm,n(−Nb+2)⋮⋮⋱⋮qm,n(Nb−1)qm,n(Nb−2)⋯qm,n(0)]∈CNb×Nb,(21) \text{Toep}(\mathbf{q}_{m,n}) = \begin{bmatrix} q_{m,n}(0) & q_{m,n}(-1) & \cdots & q_{m,n}(-N_b+1) \\ q_{m,n}(1) & q_{m,n}(0) & \cdots & q_{m,n}(-N_b+2) \\ \vdots & \vdots & \ddots & \vdots \\ q_{m,n}(N_b-1) & q_{m,n}(N_b-2) & \cdots & q_{m,n}(0) \end{bmatrix} \in \mathbb{C}^{N_b \times N_b}, \tag{21} Toep(qm,n)=qm,n(0)qm,n(1)⋮qm,n(Nb−1)qm,n(−1)qm,n(0)⋮qm,n(Nb−2)⋯⋯⋱⋯qm,n(−Nb+1)qm,n(−Nb+2)⋮qm,n(0)∈CNb×Nb,(21)
n=−Nd+1,−Nd+2,…,Nd−1n = -N_d+1, -N_d+2, \dots, N_d-1n=−Nd+1,−Nd+2,…,Nd−1。
当达到最优解时,公式 (15) 和 (17) 通过以下关系相关联
T(Qm)=∑ℓ,m∣cℓ,m∣a(τℓ,m,fℓ,m)a(τℓ,m,fℓ,m)H,(22) \mathbb{T}(\mathbf{Q}_m) = \sum_{\ell,m} |c_{\ell,m}| \mathbf{a}(\tau_{\ell,m}, f_{\ell,m})\mathbf{a}(\tau_{\ell,m}, f_{\ell,m})^H, \tag{22} T(Qm)=ℓ,m∑∣cℓ,m∣a(τℓ,m,fℓ,m)a(τℓ,m,fℓ,m)H,(22)
νm=∑ℓ,m∣cℓ,m∣.(23) \nu_m = \sum_{\ell,m} |c_{\ell,m}|. \tag{23} νm=ℓ,m∑∣cℓ,m∣.(23)