Super-Resolution Delay-Doppler Estimation for OFDM Passive Radar
文章目录
- B. Existing Methods
- III. CS-BASED HIGH-RESOLUTION PASSIVE RADAR USING ATOMIC NORM
- B. Example
- C. Delay and Doppler Frequency Estimation
(9) 可以写成矩阵形式
R=S^⊙Z+E+V=S^⊙(B(ϕ)diag(α)G(ψ)H)+E+V(10)\begin{aligned} \boldsymbol{R} & =\hat{\boldsymbol{S}} \odot \boldsymbol{Z}+\boldsymbol{E}+\boldsymbol{V} \\ & =\hat{\boldsymbol{S}} \odot\left(\boldsymbol{B}(\phi) \operatorname{diag}(\boldsymbol{\alpha}) \boldsymbol{G}(\boldsymbol{\psi})^{H}\right)+\boldsymbol{E}+\boldsymbol{V} \end{aligned} \tag{10} R=S^⊙Z+E+V=S^⊙(B(ϕ)diag(α)G(ψ)H)+E+V(10)
其中 α=[α1,α2,…,αK]T\boldsymbol{\alpha} = [\alpha_1, \alpha_2, \dots, \alpha_K]^Tα=[α1,α2,…,αK]T; ⊙\odot⊙ 表示哈达玛积 (Hadamard product); S^∈CM×N\mathbf{\hat{S}} \in \mathbb{C}^{M \times N}S^∈CM×N、 R∈CM×N\mathbf{R} \in \mathbb{C}^{M \times N}R∈CM×N、 Z∈CM×N\mathbf{Z} \in \mathbb{C}^{M \times N}Z∈CM×N、 E∈CM×N\mathbf{E} \in \mathbb{C}^{M \times N}E∈CM×N 和 V∈CM×N\mathbf{V} \in \mathbb{C}^{M \times N}V∈CM×N 是矩阵,其 (m,n)(m,n)(m,n) 位置的元素分别为 s^m(n)\hat{s}_m(n)s^m(n)、 rm(n)r_m(n)rm(n)、 zm(n)z_m(n)zm(n)、 em(n)e_m(n)em(n) 和 vm(n)v_m(n)vm(n)。为了探究信号的结构,我们将 R\mathbf{R}R 向量化并得到
r‾=S~z‾+e‾+v‾=S~(G(ψ)∗∘B(ϕ))α+e‾+v‾(11)\begin{aligned} \overline{\boldsymbol{r}} & =\tilde{\boldsymbol{S}} \overline{\boldsymbol{z}}+\overline{\boldsymbol{e}}+\overline{\boldsymbol{v}} \\ & =\tilde{\boldsymbol{S}}\left(\boldsymbol{G}(\psi)^{*} \circ \boldsymbol{B}(\phi)\right) \boldsymbol{\alpha}+\overline{\boldsymbol{e}}+\overline{\boldsymbol{v}} \end{aligned} \tag{11} r=S~z+e+v=S~(G(ψ)∗∘B(ϕ))α+e+v(11)
其中 S~≜diag(vec(S^))∈CMN×MN\mathbf{\tilde{S}} \triangleq \text{diag}(\text{vec}(\mathbf{\hat{S}})) \in \mathbb{C}^{MN \times MN}S~≜diag(vec(S^))∈CMN×MN, z~≜vec(Z)∈CMN×1\mathbf{\tilde{z}} \triangleq \text{vec}(\mathbf{Z}) \in \mathbb{C}^{MN \times 1}z~≜vec(Z)∈CMN×1, e~≜vec(E)∈CMN×1\mathbf{\tilde{e}} \triangleq \text{vec}(\mathbf{E}) \in \mathbb{C}^{MN \times 1}e~≜vec(E)∈CMN×1 且 v~≜vec(V)∈CMN×1\mathbf{\tilde{v}} \triangleq \text{vec}(\mathbf{V}) \in \mathbb{C}^{MN \times 1}v~≜vec(V)∈CMN×1; ∘\circ∘ 是 Khatri-Rao 积; (G(ψ)∗∘B(ϕ))∈CMN×K(\mathbf{G}(\psi)^* \circ \mathbf{B}(\phi)) \in \mathbb{C}^{MN \times K}(G(ψ)∗∘B(ϕ))∈CMN×K 是一个矩阵,其第 kkk 列的形式为 g(ψk)∗⊗b(ϕk)\mathbf{g}(\psi_k)^* \otimes \mathbf{b}(\phi_k)g(ψk)∗⊗b(ϕk),其中 ⊗\otimes⊗ 是克罗内克积 (Kronecker product)。
问题是要从带噪声的观测值 rˉ\mathbf{\bar{r}}rˉ 中联合估计未知的参数 α\boldsymbol{\alpha}α、 ϕ\boldsymbol{\phi}ϕ 和 ψ\boldsymbol{\psi}ψ。利用这些估计值,我们便可以计算出监视区域中目标的反射系数 αk\alpha_kαk、延迟 τk\tau_kτk 和多普勒频率 fkf_kfk。
B. Existing Methods
在完美解调的情况下,已有多种算法被开发出来。在 [9] 中,首先给出了一种基于匹配滤波和传统 FFT 处理的方法,该方法存在分辨率低的问题。为了获得更好的目标分辨率和杂波抑制效果,[9] 中还提出了基于 MUSIC 和 CS 的超分辨率方法,下文将对此进行简要描述。值得注意的是,[9] 假设数据符号 sm(n)s_m(n)sm(n) 具有单位幅度,即相移键控 (PSK) 调制。然而,在 OFDM 通信中,通常采用正交幅度调制 (QAM),其中符号具有不同的幅度。在下文中,我们将讨论适用于通用调制的两种超分辨率方法。
- 基于 MUSIC 的超分辨率接收机:当 eˉ=0\mathbf{\bar{e}} = \mathbf{0}eˉ=0,即 sm(n)=s^m(n)s_m(n) = \hat{s}_m(n)sm(n)=s^m(n) 时,路径的延迟和多普勒频移可以直接估计。由于 MUSIC 需要波形的多个快照,因此应首先应用空间平滑。具体来说,MUSIC 算法的导向矢量定义为
a′(ϕ,ψ)=vec(A′(ϕ,ψ))∈CM′N′×1(12)\boldsymbol{a}^{\prime}(\phi, \psi)=\operatorname{vec}\left(\boldsymbol{A}^{\prime}(\phi, \psi)\right) \in \mathbb{C}^{M^{\prime} N^{\prime} \times 1}\tag{12}a′(ϕ,ψ)=vec(A′(ϕ,ψ))∈CM′N′×1(12)
其中
A′(ϕ,ψ)=[1e−i2πψ⋯e−i2π(N′−1)ψei2πϕei2π(ϕ−ψ)⋯ei2π[ϕ−(N′−1)ψ]⋮⋮⋱⋮ei2π(M′−1)ϕei2π[(M′−1)ϕ−ψ]⋯ei2π[(M′−1)ϕ−(N′−1)ψ]]\mathbf{A}'(\phi, \psi) = \begin{bmatrix} 1 & e^{-i2\pi\psi} & \cdots & e^{-i2\pi(N'-1)\psi} \\ e^{i2\pi\phi} & e^{i2\pi(\phi-\psi)} & \cdots & e^{i2\pi[\phi-(N'-1)\psi]} \\ \vdots & \vdots & \ddots & \vdots \\ e^{i2\pi(M'-1)\phi} & e^{i2\pi[(M'-1)\phi-\psi]} & \cdots & e^{i2\pi[(M'-1)\phi-(N'-1)\psi]} \end{bmatrix} A′(ϕ,ψ)=1ei2πϕ⋮ei2π(M′−1)ϕe−i2πψei2π(ϕ−ψ)⋮ei2π[(M′−1)ϕ−ψ]⋯⋯⋱⋯e−i2π(N′−1)ψei2π[ϕ−(N′−1)ψ]⋮ei2π[(M′−1)ϕ−(N′−1)ψ]
其中 N′<NN' < NN′<N 且 M′<MM' < MM′<M。假设平滑后的快照数为 Nsnap=(N−N′+1)(M−M′+1)N_{\text{snap}} = (N - N' + 1)(M - M' + 1)Nsnap=(N−N′+1)(M−M′+1)。将接收到的信号分组并将每个矩阵的列堆叠起来,我们可以构建一个观测矩阵
Y=[vec(R0,0′),…,vec(RN−N′,0′),…,vec(RN−N′,M−M′′)]∈CM′N′×Nsnap,(13)\mathbf{Y} = [\text{vec}(\mathbf{R}'_{0,0}), \dots, \text{vec}(\mathbf{R}'_{N-N',0}), \dots, \text{vec}(\mathbf{R}'_{N-N',M-M'})] \in \mathbb{C}^{M'N' \times N_{\text{snap}}}, \tag{13} Y=[vec(R0,0′),…,vec(RN−N′,0′),…,vec(RN−N′,M−M′′)]∈CM′N′×Nsnap,(13)
其中 Rm,n′\mathbf{R}'_{m,n}Rm,n′ 由本页底部的 (14) 给出,其中 Rm,n′(n)=rm(n)s~m(n)\mathbf{R}'_{m,n}(n) = \frac{\mathbf{r}_m(n)}{\tilde{s}_m(n)}Rm,n′(n)=s~m(n)rm(n),对于 m=0,1,…,M−M′m=0, 1, \dots, M-M'm=0,1,…,M−M′ 和 n=0,1,…,N−N′n=0, 1, \dots, N-N'n=0,1,…,N−N′。
利用经过空间平滑的观测矩阵,可以通过对 Y\mathbf{Y}Y 进行奇异值分解 (SVD) 得到信号和噪声子空间,即 Y=FDH\mathbf{Y} = \mathbf{F}\mathbf{D}\mathbf{H}Y=FDH,其中 F∈CM′N′×M′N′\mathbf{F} \in \mathbb{C}^{M'N' \times M'N'}F∈CM′N′×M′N′ 且 H∈CNsnap×Nsnap\mathbf{H} \in \mathbb{C}^{N_{\text{snap}} \times N_{\text{snap}}}H∈CNsnap×Nsnap。假设 F=[F(s),F(n)]\mathbf{F} = [\mathbf{F}^{(s)}, \mathbf{F}^{(n)}]F=[F(s),F(n)],其中 F(s)\mathbf{F}^{(s)}F(s) 对应信号子空间,F(n)\mathbf{F}^{(n)}F(n) 对应噪声子空间。在实践中,可以通过找到与最大特征值对应的特征向量来确定信号子空间。MUSIC 谱可以表示为
fMUSIC(ϕ,ψ)=1a′(ϕ,ψ)H(F(n))HF(n)a′(ϕ,ψ).(15)f_{\text{MUSIC}}(\phi, \psi) = \frac{1}{\mathbf{a}'(\phi, \psi)^H (\mathbf{F}^{(n)})^H \mathbf{F}^{(n)} \mathbf{a}'(\phi, \psi)}. \tag{15} fMUSIC(ϕ,ψ)=a′(ϕ,ψ)H(F(n))HF(n)a′(ϕ,ψ)1.(15)
二维 MUSIC (2D-MUSIC) 方法可以通过定位谱中的极点来估计目标和杂波。然后,在给定延迟和多普勒频率的情况下,可以通过最小二乘 (LS) 方法估计目标和杂波的幅度。
MUSIC 算法因其在频率估计方面良好的分辨率和准确性而广受欢迎 [41]。然而,也有报道指出,在噪声环境中,利用稀疏诱导范数的优化方法性能优于 MUSIC 算法 [30], [35]。此外,MUSIC 算法被设计为允许数据存在高斯状的小扰动,因此当存在此类噪声时,其性能会平缓下降。在无源雷达中,由于解调误差,数据中会存在一些脉冲噪声(impulsive noise),这会严重降低性能。
- 基于压缩感知的超分辨率子空间算法:除了 MUSIC 等基于子空间的算法外,参数也可以通过 CS 算法进行估计。显然,在 (11) 中联合估计 ϕ\phiϕ, ψ\psiψ 和 α\alphaα 是一个非线性问题。它可以通过使用一个过完备字典矩阵 C′=(G′∗⊙B′)\mathbf{C}' = (\mathbf{G}'^* \odot \mathbf{B}')C′=(G′∗⊙B′) 进行线性化,其中
B′=[b(ϕ1′),b(ϕ2′),…,b(ϕM~′)]∈CM×M~,(16)\mathbf{B}' = [\mathbf{b}(\phi'_1), \mathbf{b}(\phi'_2), \dots, \mathbf{b}(\phi'_{\tilde{M}})] \in \mathbb{C}^{M \times \tilde{M}}, \tag{16} B′=[b(ϕ1′),b(ϕ2′),…,b(ϕM~′)]∈CM×M~,(16)
G′=[g(ψ1′),g(ψ2′),…,g(ψN~′)]∈CN×N~,(17)\mathbf{G}' = [\mathbf{g}(\psi'_1), \mathbf{g}(\psi'_2), \dots, \mathbf{g}(\psi'_{\tilde{N}})] \in \mathbb{C}^{N \times \tilde{N}}, \tag{17} G′=[g(ψ1′),g(ψ2′),…,g(ψN~′)]∈CN×N~,(17)
其中 {ϕm~′}\{\phi'_{\tilde{m}}\}{ϕm~′} 和 {ψn~′}\{\psi'_{\tilde{n}}\}{ψn~′} 表示均匀间隔的频率点集合。设 L~=M~N~\tilde{L} = \tilde{M}\tilde{N}L~=M~N~ 为 C′\mathbf{C}'C′ 的列数,其中 M~≥M\tilde{M} \ge MM~≥M 且 N~≥N\tilde{N} \ge NN~≥N。对于足够大的 M~\tilde{M}M~ 和 N~\tilde{N}N~,频率谱被密集采样。令 α′∈CL~×1\boldsymbol{\alpha}' \in \mathbb{C}^{\tilde{L} \times 1}α′∈CL~×1 为稀疏向量,其非零元素对应于 (11) 中的 α\boldsymbol{\alpha}α。然后,非线性的联合参数估计问题简化为一个线性参数估计问题,即在稀疏性约束下估计线性幅度向量 α′\boldsymbol{\alpha}'α′:
α^′=argminα12∥r‾−S~C′α′∥22+γ∥α′∥1(18)\hat{\boldsymbol{\alpha}}^{\prime}=\arg \min _{\boldsymbol{\alpha}} \frac{1}{2}\left\|\overline{\boldsymbol{r}}-\tilde{\boldsymbol{S}} \boldsymbol{C}^{\prime} \boldsymbol{\alpha}^{\prime}\right\|_{2}^{2}+\gamma\left\|\boldsymbol{\alpha}^{\prime}\right\|_{1} \tag{18} α^′=argαmin21r−S~C′α′22+γ∥α′∥1(18)
其中 ∥⋅∥1\|\cdot\|_1∥⋅∥1 表示 l1l_1l1-范数,γ\gammaγ 是一个加权参数,用于确定稀疏重建。由于 (18) 是凸的,幅度可以通过凸优化算法有效估计 [42]。通过定位 α^′\hat{\boldsymbol{\alpha}}'α^′ 的非零项,可以识别出延迟和多普勒频率。
基于 l1l_1l1-最小化的 CS 算法 (CS-L1) 能够在传感矩阵 C′\mathbf{C}'C′ 的某些条件下超分辨多正弦信号的频谱 [24]。然而,频谱是在一组离散的网格上进行离散化的,而目标可能并不精确地落在网格上。离网格目标可能会导致模型失配,并显著降低性能 [31], [36], [43]。此外,(18) 中的 CS 接收机没有考虑解调误差,这可能导致性能进一步下降。
III. CS-BASED HIGH-RESOLUTION PASSIVE RADAR USING ATOMIC NORM
正如前一节所解释的,解调误差会导致测量中的脉冲噪声,并将降低基于 MUSIC 或 CS 的超分辨率接收机的性能。从 (11) 可知,rˉ\bar{\mathbf{r}}rˉ 是散射系数 αk\alpha_kαk、延迟 τk\tau_kτk 和多普勒频率 fkf_kfk 的函数。为了减少脉冲噪声的影响,我们需要利用问题中以下两种稀疏性:
- 目标和杂波的反射是不同频率的复正弦信号的组合,且频率的数量远小于测量的数量,即 K≪MNK \ll MNK≪MN。
- 错误解调的符号数量远小于测量的数量。
记错误解调的符号数量为 JJJ,则我们有 ∥eˉ∥0=J\|\bar{\mathbf{e}}\|_0 = J∥eˉ∥0=J。虽然 l0l_0l0-范数约束增强了解的稀疏性,但这会导致一个 NP-难的非凸优化问题。因此,我们转而使用 l1l_1l1-范数正则化,即 ∥eˉ∥1=∑l=1MN∣e~(l)∣\|\bar{\mathbf{e}}\|_1 = \sum_{l=1}^{MN} |\tilde{e}(l)|∥eˉ∥1=∑l=1MN∣e~(l)∣。
信号 z~\tilde{\mathbf{z}}z~ 是具有任意相位的复正弦信号的线性组合,其频率不落在离散网格上。因此,它不能直接用 l1l_1l1-范数来表示。为了解决离网格问题,我们使用原子范数来构建信号的稀疏表示。定义一个原子为 a(ϕ,ψ)=g(ψ)∗⊗b(ϕ)\mathbf{a}(\phi, \psi) = \mathbf{g}(\psi)^* \otimes \mathbf{b}(\phi)a(ϕ,ψ)=g(ψ)∗⊗b(ϕ),原子集合定义为所有归一化的二维复正弦信号的集合:A={a(ϕ,ψ):ϕ∈[0,1),ψ∈[0,1)}\mathcal{A} = \{\mathbf{a}(\phi, \psi) : \phi \in [0, 1), \psi \in [0, 1)\}A={a(ϕ,ψ):ϕ∈[0,1),ψ∈[0,1)}。显然,根据 (8) 我们有 z~=∑k=1Kαka(ϕk,ψk)\tilde{\mathbf{z}} = \sum_{k=1}^K \alpha_k \mathbf{a}(\phi_k, \psi_k)z~=∑k=1Kαka(ϕk,ψk)。
定义 1:对于 z~∈CMN×1\tilde{\mathbf{z}} \in \mathbb{C}^{MN \times 1}z~∈CMN×1 的二维原子范数是
∥z~∥A=infϕk∈[0,1),ψk∈[0,1)αk∈C{∑k∣αk∣∣z~=∑kαka(ϕk,ψk)}.(19)\|\tilde{\mathbf{z}}\|_{\mathcal{A}} = \inf_{\substack{\phi_k \in [0,1), \psi_k \in [0,1) \\ \alpha_k \in \mathbb{C}}} \left\{ \sum_k |\alpha_k| \Big| \tilde{\mathbf{z}} = \sum_k \alpha_k \mathbf{a}(\phi_k, \psi_k) \right\}. \tag{19} ∥z~∥A=ϕk∈[0,1),ψk∈[0,1)αk∈Cinf{k∑∣αk∣z~=k∑αka(ϕk,ψk)}.(19)
原子范数可以强制原子集 A\mathcal{A}A 中的稀疏性 [34]。在此基础上,将构建一个优化问题来估计信号频率。为方便计算,我们将使用原子集 A\mathcal{A}A 的原子范数的以下等价形式 [44]:
∥z~∥A=infU,t{12MNTr(T(U))+t2},s.t.[T(U)z~z~Ht]⪰0(20)\|\tilde{\mathbf{z}}\|_{\mathcal{A}} = \inf_{\mathbf{U},t} \left\{ \frac{1}{2MN} \text{Tr}(\mathcal{T}(\mathbf{U})) + \frac{t}{2} \right\}, \quad \text{s.t.} \begin{bmatrix} \mathcal{T}(\mathbf{U}) & \tilde{\mathbf{z}} \\ \tilde{\mathbf{z}}^H & t \end{bmatrix} \succeq 0 \tag{20} ∥z~∥A=U,tinf{2MN1Tr(T(U))+2t},s.t.[T(U)z~Hz~t]⪰0(20)
其中 Tr(⋅)\text{Tr}(\cdot)Tr(⋅) 是输入矩阵的迹;U\mathbf{U}U 是一个 (2M−1)×(2N−1)(2M-1) \times (2N-1)(2M−1)×(2N−1) 的矩阵,定义为
U=[u−N+1,u−N+2,…,uN−1](21)\mathbf{U} = [\mathbf{u}_{-N+1}, \mathbf{u}_{-N+2}, \dots, \mathbf{u}_{N-1}] \tag{21} U=[u−N+1,u−N+2,…,uN−1](21)
其中
ul=[ul(−M+1),ul(−M+2),…,ul(M−1)]T;(22)\mathbf{u}_l = [u_l(-M+1), u_l(-M+2), \dots, u_l(M-1)]^T; \tag{22} ul=[ul(−M+1),ul(−M+2),…,ul(M−1)]T;(22)
T(U)\mathcal{T}(\mathbf{U})T(U) 是一个块托普利茨 (block Toeplitz) 矩阵,定义为
T(U)=[Toep(u0)Toep(u−1)⋯Toep(u−N+1)Toep(u1)Toep(u0)⋯Toep(u−N+2)⋮⋮⋱⋮Toep(uN−1)Toep(uN−2)⋯Toep(u0)],(23)\mathcal{T}(\mathbf{U}) = \begin{bmatrix} \text{Toep}(\mathbf{u}_0) & \text{Toep}(\mathbf{u}_{-1}) & \cdots & \text{Toep}(\mathbf{u}_{-N+1}) \\ \text{Toep}(\mathbf{u}_1) & \text{Toep}(\mathbf{u}_0) & \cdots & \text{Toep}(\mathbf{u}_{-N+2}) \\ \vdots & \vdots & \ddots & \vdots \\ \text{Toep}(\mathbf{u}_{N-1}) & \text{Toep}(\mathbf{u}_{N-2}) & \cdots & \text{Toep}(\mathbf{u}_0) \end{bmatrix}, \tag{23} T(U)=Toep(u0)Toep(u1)⋮Toep(uN−1)Toep(u−1)Toep(u0)⋮Toep(uN−2)⋯⋯⋱⋯Toep(u−N+1)Toep(u−N+2)⋮Toep(u0),(23)
其中 Toep(⋅)\text{Toep}(\cdot)Toep(⋅) 表示一个托普利茨矩阵,其第一列是输入向量的后 MMM 个元素。更具体地说,我们有
Toep(ul)=[ul(0)ul(−1)⋯ul(−M+1)ul(1)ul(0)⋯ul(−M+2)⋮⋮⋱⋮ul(M−1)ul(M−2)⋯ul(0)](24)\text{Toep}(\mathbf{u}_l) = \begin{bmatrix} u_l(0) & u_l(-1) & \cdots & u_l(-M+1) \\ u_l(1) & u_l(0) & \cdots & u_l(-M+2) \\ \vdots & \vdots & \ddots & \vdots \\ u_l(M-1) & u_l(M-2) & \cdots & u_l(0) \end{bmatrix} \tag{24} Toep(ul)=ul(0)ul(1)⋮ul(M−1)ul(−1)ul(0)⋮ul(M−2)⋯⋯⋱⋯ul(−M+1)ul(−M+2)⋮ul(0)(24)
对于 l=−N+1,−N+2,…,N−1l = -N+1, -N+2, \dots, N-1l=−N+1,−N+2,…,N−1。
使用原子范数,我们可以根据 (8) 构建以下优化问题:
(z^,e^)=argminz‾,e‾12∥r‾−e‾−S~z‾∥22+λ∥z‾∥A+μ∥e‾∥1,(25)(\hat{\boldsymbol{z}}, \hat{\boldsymbol{e}})=\underset{\overline{\boldsymbol{z}}, \overline{\boldsymbol{e}}}{\arg \min } \frac{1}{2}\|\overline{\boldsymbol{r}}-\overline{\boldsymbol{e}}-\tilde{\boldsymbol{S}} \overline{\boldsymbol{z}}\|_{2}^{2}+\lambda\|\overline{\boldsymbol{z}}\|_{\mathcal{A}}+\mu\|\overline{\boldsymbol{e}}\|_{1}, \tag{25} (z^,e^)=z,eargmin21∥r−e−S~z∥22+λ∥z∥A+μ∥e∥1,(25)
其中 λ>0\lambda > 0λ>0 和 μ>0\mu > 0μ>0 是权重因子。在实践中,我们设置 λ≃σMNlog(MN)\lambda \simeq \sigma\sqrt{MN\log(MN)}λ≃σMNlog(MN) 和 μ≃σlog(MN)\mu \simeq \sigma\sqrt{\log(MN)}μ≃σlog(MN)。应用 (20),则 (25) 可以被转换为如下的半正定规划 (SDP):
(z^,e^)=argminz~,e~,U,t12∥r~−e~−S~z~∥22+λ2MNTr(T(U))+λt2+μ∥e~∥1(26)\begin{aligned} (\hat{\mathbf{z}}, \hat{\mathbf{e}}) = \arg \min_{\tilde{\mathbf{z}}, \tilde{\mathbf{e}}, \mathbf{U}, t} & \frac{1}{2} \|\tilde{\mathbf{r}} - \tilde{\mathbf{e}} - \tilde{\mathbf{S}}\tilde{\mathbf{z}}\|_2^2 + \frac{\lambda}{2MN} \text{Tr}(\mathcal{T}(\mathbf{U})) \\ & + \frac{\lambda t}{2} + \mu\|\tilde{\mathbf{e}}\|_1 \end{aligned} \tag{26} (z^,e^)=argz~,e~,U,tmin21∥r~−e~−S~z~∥22+2MNλTr(T(U))+2λt+μ∥e~∥1(26)
s.t.[T(U)z~z~Ht]⪰0.\text{s.t.} \quad \begin{bmatrix} \mathcal{T}(\mathbf{U}) & \tilde{\mathbf{z}} \\ \tilde{\mathbf{z}}^H & t \end{bmatrix} \succeq 0. s.t.[T(U)z~Hz~t]⪰0.
上述问题是凸的,可以使用凸优化求解器来解决。我们将 (26) 的解表示为 z^=[z^1,z^2,…,z^MN]T\hat{\mathbf{z}} = [\hat{z}_1, \hat{z}_2, \dots, \hat{z}_{MN}]^Tz^=[z^1,z^2,…,z^MN]T 和 e^=[e^1,e^2,…,e^MN]T\hat{\mathbf{e}} = [\hat{e}_1, \hat{e}_2, \dots, \hat{e}_{MN}]^Te^=[e^1,e^2,…,e^MN]T。解调误差可以通过定位 e^\hat{\mathbf{e}}e^ 中的非零元素来识别。我们将 (25) 中 μ≠0\mu \ne 0μ=0 的超分辨接收机命名为基于原子范数和 l1l_1l1-范数的 CS 算法 (CS algorithm based on atomic norm and 1 -norm,CS-ANL1)。
B. Example
考虑一个特殊情况,即通信是无差错的,因此 (25) 中的惩罚项 μ∥eˉ∥1\mu\|\bar{\mathbf{e}}\|_1μ∥eˉ∥1 是不必要的。我们将 (25) 中 μ=0\mu = 0μ=0 的超分辨率算法命名为基于原子范数的 CS 算法 (CS-AN)。由于原子范数可以在连续域中强制稀疏性,其性能不会受到离网格问题的影响。
在图 1 中,我们通过一个例子比较了 CS-AN 算法和 CS-L1 算法的性能。参数设置为 M=N=8M = N = 8M=N=8 和 K=2K = 2K=2。噪声的方差为 σ2=0.1\sigma^2=0.1σ2=0.1。CS-AN 接收机是通过求解 (25) 来实现的,其中 λ=σMNlog(MN)\lambda = \sigma\sqrt{MN\log(MN)}λ=σMNlog(MN) 且 μ=0\mu=0μ=0。CS-AN 接收机的延迟和多普勒频率估计将在第 III-C 节中解释。CS-L1 算法是通过使用 CVX [45] 求解 (18) 来实现的。CS 算法的网格参数设置为 M~=κM\tilde{M} = \kappa MM~=κM 和 N~=κN\tilde{N} = \kappa NN~=κN,其中 κ=2,4,16\kappa=2, 4, 16κ=2,4,16。CS-L1 算法的加权参数设置为 γ=2σ2log(M~N~)\gamma = 2\sigma\sqrt{2\log(\tilde{M}\tilde{N})}γ=2σ2log(M~N~)。
从图 1 可以看出,由于基不匹配,CS-L1 算法会返回许多虚警。由于一些弱目标的幅度也很小,可能很难将虚警与目标区分开来。随着网格密度的增加,由离散化引起的失配可以被减少,但感知矩阵 C′\mathbf{C}'C′ 的相干性会增加。结果,目标仍然被分裂成许多散射体。CS-AN 算法也会返回一个由测量噪声引起的虚警。然而,它能够准确地识别目标频率,并且虚警数量远少于 CS-L1 算法。
C. Delay and Doppler Frequency Estimation
无源雷达的主要目的是探测和跟踪目标。然而,求解 (26) 并不能直接提供 ϕ\phiϕ 和 ψ\psiψ 的估计值,因此散射体的延迟和多普勒频率仍然是未知的。一种估计延迟和多普勒频率的方法是使用以 z^\hat{\mathbf{z}}z^ 为输入的二维 MUSIC (2D-MUSIC) 算法。另一种方法是从问题的对偶解中获得估计值。根据 [34],(25) 的对偶问题由下式给出
maxν⟨(S~H)−1ν,r‾⟩R−12∥(SH)−1ν∥22s.t. ∥ν∥A∗≤λ∥(S~H)−1ν∥∞≤μ(27)\begin{aligned} \max _{\boldsymbol{\nu}} & \left\langle\left(\tilde{\boldsymbol{S}}^{H}\right)^{-1} \boldsymbol{\nu}, \overline{\boldsymbol{r}}\right\rangle_{\mathbb{R}}-\frac{1}{2}\left\|\left(\boldsymbol{S}^{H}\right)^{-1} \boldsymbol{\nu}\right\|_{2}^{2} \tag{27}\\ \text { s.t. } & \|\boldsymbol{\nu}\|_{\mathcal{A}}^{*} \leq \lambda \\ & \left\|\left(\tilde{\boldsymbol{S}}^{H}\right)^{-1} \boldsymbol{\nu}\right\|_{\infty} \leq \mu \end{aligned} νmax s.t. ⟨(S~H)−1ν,r⟩R−21(SH)−1ν22∥ν∥A∗≤λ(S~H)−1ν∞≤μ(27)
其中 ν∈CMN×1\boldsymbol{\nu} \in \mathbb{C}^{MN \times 1}ν∈CMN×1 是对偶变量,⟨ν,r⟩R=Re(rHν)\langle \boldsymbol{\nu}, \mathbf{r} \rangle_\mathbb{R} = \text{Re}(\mathbf{r}^H \boldsymbol{\nu})⟨ν,r⟩R=Re(rHν),且 ∥ν∥A∗=sup∥z∥A≤1⟨ν,z⟩R\|\boldsymbol{\nu}\|_{\mathcal{A}}^* = \sup_{\|\mathbf{z}\|_{\mathcal{A}} \le 1} \langle \boldsymbol{\nu}, \mathbf{z} \rangle_\mathbb{R}∥ν∥A∗=sup∥z∥A≤1⟨ν,z⟩R 是对偶范数。令 ν^=[ν^1,ν^2,…,ν^MN]T\hat{\boldsymbol{\nu}} = [\hat{\nu}_1, \hat{\nu}_2, \dots, \hat{\nu}_{MN}]^Tν^=[ν^1,ν^2,…,ν^MN]T 为 (27) 的解。求解对偶问题等价于求解原始问题,并且大多数求解器在求解原始问题时可以直接返回对偶最优解。下面的引理可以用来从对偶解中识别频率。
引理 1: [46] 假设 z^=∑k=1K^α^ka(ϕ^k,ψ^k)\hat{\mathbf{z}} = \sum_{k=1}^{\hat{K}} \hat{\alpha}_k \mathbf{a}(\hat{\phi}_k, \hat{\psi}_k)z^=∑k=1K^α^ka(ϕ^k,ψ^k) 是原始解,那么对偶多项式(dual polynomial) Q(ϕ,ψ)=⟨ν^,a(ϕ,ψ)⟩Q(\phi, \psi) = \langle \hat{\boldsymbol{\nu}}, \mathbf{a}(\phi, \psi) \rangleQ(ϕ,ψ)=⟨ν^,a(ϕ,ψ)⟩ 满足
Q(ϕ^k,ψ^k)=λα^k∣α^k∣,k=1,2,…,K^,(28)Q(\hat{\phi}_k, \hat{\psi}_k) = \lambda \frac{\hat{\alpha}_k}{|\hat{\alpha}_k|}, \quad k = 1, 2, \dots, \hat{K}, \tag{28} Q(ϕ^k,ψ^k)=λ∣α^k∣α^k,k=1,2,…,K^,(28)ν^j=(S~j,j∗)−1μe^j∣e^j∣,∀e^j≠0,j=1,2,…,MN,(29)\hat{\nu}_j = (\tilde{S}_{j,j}^*)^{-1} \mu \frac{\hat{e}_j}{|\hat{e}_j|}, \quad \forall \hat{e}_j \ne 0, j=1, 2, \dots, MN, \tag{29} ν^j=(S~j,j∗)−1μ∣e^j∣e^j,∀e^j=0,j=1,2,…,MN,(29)
其中 K^\hat{K}K^ 是估计的频率数量,S~j,j\tilde{S}_{j,j}S~j,j 是矩阵 S~\tilde{\mathbf{S}}S~ 的第 jjj 个对角元素。
根据 (28),信号的延迟和多普勒频率可以通过识别对偶多项式模为 λ\lambdaλ 的点来获得。此外,对偶解提供了另一种检测错误解调的方法:在发生错误解调的位置,对偶解的幅度等于 μ\muμ。
我们给出了一个通过对偶解进行频率估计和解调错误检测的例子。仿真参数为 M=8,N=8M=8, N=8M=8,N=8 且 K=2K=2K=2。为了更好地可视化,数据载波使用 BPSK 调制。从图 2(a) 可以看出,存在 2 个解调错误,因此 ∥e∥0=2\|\mathbf{e}\|_0 = 2∥e∥0=2。(26) 中的加权参数为 λ=0.16\lambda = 0.16λ=0.16 和 μ=0.02\mu=0.02μ=0.02。对偶解也由求解器返回。根据图 2(b),可以正确检测到解调误差,并且当 e^j≠0\hat{e}_j \ne 0e^j=0 时,我们有 ∣ν^j∣=μ|\hat{\nu}_j|=\mu∣ν^j∣=μ。在图 3 中,绘制了对偶多项式。可以看出,估计的频率是通过识别对偶多项式幅度为 λ\lambdaλ 的点来获得的。
利用估计出的频率,可以构建字典矩阵为
C(ϕ^,ψ^)=[a(ϕ^1,ψ^1),a(ϕ^2,ψ^2),…,a(ϕ^K^,ψ^K^)],(30)\mathbf{C}(\hat{\boldsymbol{\phi}}, \hat{\boldsymbol{\psi}}) = [\mathbf{a}(\hat{\phi}_1, \hat{\psi}_1), \mathbf{a}(\hat{\phi}_2, \hat{\psi}_2), \dots, \mathbf{a}(\hat{\phi}_{\hat{K}}, \hat{\psi}_{\hat{K}})], \tag{30} C(ϕ^,ψ^)=[a(ϕ^1,ψ^1),a(ϕ^2,ψ^2),…,a(ϕ^K^,ψ^K^)],(30)
其中 ϕ^=[ϕ^1,ϕ^2,…,ϕ^K^]T\hat{\boldsymbol{\phi}} = [\hat{\phi}_1, \hat{\phi}_2, \dots, \hat{\phi}_{\hat{K}}]^Tϕ^=[ϕ^1,ϕ^2,…,ϕ^K^]T 且 ψ^=[ψ^1,ψ^2,…,ψ^K^]\hat{\boldsymbol{\psi}} = [\hat{\psi}_1, \hat{\psi}_2, \dots, \hat{\psi}_{\hat{K}}]ψ^=[ψ^1,ψ^2,…,ψ^K^]。在此基础上,可以使用最小二乘 (LS) 法估计目标和杂波的反射,即,
α^=argminα∥r~−S~C(ϕ^,ψ^)α−e~∥22.(31)\hat{\boldsymbol{\alpha}} = \arg \min_{\boldsymbol{\alpha}} \|\tilde{\mathbf{r}} - \tilde{\mathbf{S}}\mathbf{C}(\hat{\boldsymbol{\phi}}, \hat{\boldsymbol{\psi}})\boldsymbol{\alpha} - \tilde{\mathbf{e}}\|_2^2. \tag{31} α^=argαmin∥r~−S~C(ϕ^,ψ^)α−e~∥22.(31)