Transmit Waveform Design for Symbol-level Precoding-based One-bit Dual-functional Radar-communication
-
摘要: 在大规模多输入多输出(MIMO)通信和雷达系统中,采用单比特数模转换器(DAC)是一种降低发射系统硬件成本和功耗的有效方法。该文研究单比特量化下雷达通信一体化系统的发射波形设计,在给定通信服务质量约束下最小化雷达发射波束图的积分旁瓣主瓣比,通过提升发射波束的功率集中程度以获得良好的发射波束赋形性能。针对单比特量化导致发射波形仅具有低自由度可行域的问题,该文采用符号级预编码技术,基于有益干扰(CI)原理充分利用空域和时域自由度来辅助波形设计。由于所提出的波形设计问题具有非凸分式二次目标函数和大量的非凸离散约束,该文提出了一种基于丁克尔巴赫(Dinkelbach)变换和交替方向乘子法(ADMM)的算法来有效求解该NP-难问题。仿真结果表明,所设计的波形能够显著降低对DAC分辨率的需求,并在满足下行用户通信质量需求的条件下具有良好的雷达发射波束图性能。Abstract: This study explores the use of one-bit Digital-to-Analog Converters (DAC) to mitigate the challenges of high hardware costs and excessive power consumption in large-scale Multiple-Input Multiple-Output (MIMO) communication and radar systems. The present study focuses on the design of one-bit transmit waveforms for dual-functional radar and communication systems. Under preset communication Quality of Service (QoS) constraints, the objective was to minimize the integral sidelobe-to-mainlobe ratio of the radar transmit beampattern. This should help enhance the power concentration of the transmitted beampattern and improve the performance of the beampattern synthesis. To address the limited Degrees of Freedom (DoF) caused by one-bit quantization, this study employs symbol-level precoding technology and then fully utilizes the DoFs in spatial and temporal domains to assist waveform design based on the principle of Constructive Interference (CI). To address the nonconvex fractional quadratic objective function and the multiple nonconvex discrete constraints inherent in the proposed waveform design problem, this study introduces an algorithm that combines the Dinkelbach transform with the Alternating Direction Method of Multipliers (ADMM). This approach effectively tackles the NP-hard problem. The numerical results demonstrate that the designed waveform significantly reduces the required DAC resolution and achieves excellent radar beampattern performance while satisfying the QoS requirements of downlink multiuser communications.
-
1. 引言
随着无线通信和网络技术的迅猛发展,有限的频谱资源已经难以支持大规模的频谱扩张,这一现状迫使人们考虑通信系统与其他系统的频谱共享[1]。得益于雷达系统和通信系统所用频段接近以及系统结构的相似性,雷达系统与通信系统之间的频谱共享作为有效解决频谱资源紧张的一种方法获得了广泛研究[2]。其中,雷达通信一体化(Dual-Functional Radar-Communication, DFRC)作为雷达-通信联合系统设计工作的一大分支,得益于其能够通过共享发射机同时实现雷达和通信功能,在更有效利用硬件资源的同时具有更低的干扰、功耗和成本的特点,逐渐成为当今的研究重点[3]。当前DFRC系统已经在车联网、无人机、室内定位、多功能射频等领域得到了广泛的应用[4]。在DFRC系统中,采用大规模多输入多输出(Multiple-Input Multiple-Output, MIMO)为核心技术能够实现更大的通信容量和可靠性[5]、更好的目标探测[6]和参数估计性能[7]。但对于大规模MIMO系统而言,其中一大难题便是高分辨率数模转换器(Digital-to-Analog Converters, DAC)所导致的庞大硬件成本和功耗。对此,一种可行的解决方法是采用低分辨率DAC(例如单比特)进行量化,以一定程度的性能损失换取硬件成本和功耗的大幅降低[8]。
目前,单比特发射波形设计在雷达探测和无线通信应用中均得到了广泛的研究。在雷达领域,文献[9]以最小化合成波束图和期望发射波束图之间的差异为目标,通过近似函数逼近单比特信号的方法设计发射波形,但最终得到的发射波形并非准确的单比特波形;文献[10,11]考虑将发射能量集中在期望方向的同时减小旁瓣区域的能量,以雷达发射功率的积分旁瓣主瓣比(Integrated Sidelobe-to-Mainlobe Ratio, ISMR)为性能指标设计单比特发射波形,并分别使用交替方向乘子法(Alternating Direction Method of Multipliers, ADMM)和半定松弛(Semi-Definite Relaxation, SDR)技术处理问题中的单比特离散约束;文献[12]在进行发射波形设计的同时考虑雷达接收波束图,通过联合设计单比特发射波形和接收滤波器,最大化雷达的输出信干噪比。在通信领域,早期工作考虑了具有较低复杂度的线性预编码方法,例如文献[13]考虑了单比特量化下的迫零预编码方法,文献[14]考虑了最大比传输预编码方法。线性预编码方法虽然有着较低的计算复杂度,在实际应用场景具有优势,但在多用户、高信噪比条件下较高的误码率使得人们在新的方向上寻求突破。由于线性块级预编码(Block-Level Precoding, BLP)难以补偿单比特量化导致的严重信号失真,学者们近年来结合单比特量化本身的非线性特点,开始考虑利用信道状态信息和瞬时传输符号进行编码设计的非线性符号级预编码(Symbol-Level Precoding, SLP)方法[15−17]。文献[18]综合比较了传统线性BLP以及非线性SLP技术,并通过大量实验验证了非线性SLP在单比特通信中具有更好的性能表现。
应当指出,上述单比特发射波形设计工作主要集中于雷达或通信场景的单独应用,鲜有考虑雷达和通信双功能协同设计。同时,由于单比特量化所导致的复杂离散约束,常规基于无穷比特量化的DFRC波形设计方法[5−7]难以适用,这使得单比特DFRC波形设计具有一定的挑战性。截至目前,仅有少量的单比特DFRC波形设计方法被提出。文献[19]以雷达目标参数估计克拉美罗界为约束,以最小化通信符号均方误差(Mean Square Error, MSE)为目标,在ADMM框架下构建了一种单比特DFRC波形设计方法;文献[20]以最小化多用户干扰(Multi-User Interference, MUI)和雷达波形相似度加权和为目标,在交替最小化框架下提出了一种结合二元离散粒子群优化-模拟退火混合算法的波形设计方法;文献[21]则以最小化通信MSE和负雷达信量干噪比(Signal-to-Quantization-plus-Interference-plus-Noise Ratio, SQINR)加权和为目标,联合设计正交频分复用(Orthogonal Frequency-Division Multiplexing, OFDM)发射波形和接收滤波器,以同时提高通信和雷达性能。然而,上述工作在多用户通信方面仅考虑了诸如MSE, MUI等基于二阶统计量的通信性能指标,这类性能指标由于优化的是平均通信性能,并不能保证每个用户的通信性能,且不能完全反映用户的通信符号检测性能。
针对上述问题,本文采用SLP方式来保证每个用户的通信服务质量(Quality of Service, QoS),在有益干扰(Constructive Interference, CI)框架下准确控制每个用户的最低信噪比(Signal-to-Noise Ratio, SNR)。与传统线性预编码通过最小化MUI来提升通信性能不同,基于CI的SLP (CI-based SLP, CI-SLP)根据通信符号检测原理,创造性地利用MUI来生成满足通信需求的用户接收信号,使用户接收信号尽可能远离通信符号检测的判决边界[22−24],从而达到增强通信性能的目标。在DFRC波形设计中,与传统BLP认为MUI只会降低用户信干噪比不同,CI-SLP将其当作改善通信性能的积极因素,更充分地利用了波形设计的自由度,以同时提升雷达和通信性能[23]。这一特点也能够部分弥补单比特量化所导致的自由度损失。
在单比特DFRC系统中,本文采用相移键控(Phase-Shift Keying, PSK)通信模式,根据CI-SLP方式约束每个用户的接收信号SNR来保证通信性能,并通过最小化发射波束的ISMR来优化雷达探测性能。本文将该DFRC的单比特发射波形设计描述为一个非凸离散约束下的分式二次函数最小化问题,并基于分式规划和ADMM技术提出一种有效的求解算法。该算法首先利用丁克尔巴赫(Dinkelbach)变换将分式目标函数转化为整式二次函数,然后在ADMM框架下引入辅助变量对单比特离散约束进行等效替换后迭代求解。仿真结果表明,本文算法所设计的单比特DFRC波形在满足用户QoS约束的情况下具有良好的雷达发射波束赋形性能。
2. 系统模型与问题表述
考虑一个如图1所示的DFRC系统,其中基站配置一个包含N个阵元的均匀线阵发射天线阵列,能够向期望方向上发射探测波束的同时为K个单天线用户提供通信服务,其中多用户通信采用CI-SLP方式。
在雷达和DFRC系统中,为最大化发射机效率,发射波形通常采用恒模设计以保证饱和发射。在恒模波形设计中,发射波形的每个码元分布在图2中半径为E0的圆周上。为了保证发射波形的相位精度,常规MIMO系统通常会使用10位以上的高分辨率DAC,从而带来较高的硬件成本和功耗。在大规模MIMO系统的应用场景中,为了降低高分辨率DAC带来的成本和功耗,可将其替换为低分辨率的单比特DAC,其每个通道应采用二进制编码方式(如±α)[9]。这种替换也大大简化了大规模MIMO发射机的硬件结构。
若对每个发射天线的实部和虚部通道均部署单比特DAC,定义发射阵列发出的单比特波形为x[l]=[x1[l],x2[l],⋯,xN[l]]T,其中l=1,2,⋯,L为发射波形快拍数。将L个快拍序列堆叠成向量形式,有
x=[xT[1],xT[2],⋯,xT[L]]T∈X={±α±jα}NL (1) 此时发射波形的每个元素均匀分布在极坐标圆周上,可以正好对应于正交相移键控(Quadrature Phase Shift Keying, QPSK)星座符号,其可行域如图2中的4个红点处所示。
在式(1)中,α是一个跟天线发射功率相关的参数,若假定每个天线都使用其最大可用功率发射DFRC波形,则发射波形x的每个元素功率可表示为|xn[l]|2=2α2=Ptot/PtotNN,∀n,l。由此,α=√Ptot/Ptot2N(2N),其中Ptot为最大总发射功率。
2.1 雷达探测性能指标
在远场条件下,对于第l个时刻,θ方向的信号可以表示为aT(θ)x[l],其中a(θ)为阵元间距为半波长下的均匀线阵导向矢量,即
a(θ)=[1,e−jπsin(θ),⋯,e−jπ(N−1)sin(θ)]T (2) 将L个快拍的信号组成一个向量,可获得合成信号
y(θ)=[aT(θ)x[1],aT(θ)x[2],⋯,aT(θ)x[L]]T=(IL⊗aT(θ))x (3) 其中,IL表示L×L的单位矩阵,⊗表示Kronecker积运算。由此,θ方向的发射波束图P(θ)可表示为
P(θ)=yH(θ)y(θ)=xH(IL⊗(a∗(θ)aT(θ)))x (4) 一般来说,雷达信号照射区域可分为主瓣区域Θm和旁瓣区域Θs。为了保证良好的探测性能,一般期望发射的能量集中在主瓣区域Θm内,同时期望旁瓣区域Θs的能量尽可能小。由此,可以采用发射波束图的ISMR,即旁瓣区域的功率积分和主瓣区域的功率积分的比值,作为雷达性能的评价指标。ISMR体现了雷达发射波束能量的集中程度[25],具体可表示为
ISMR=∫ΘsxH(IL⊗(a∗(θ)aT(θ)))xdθ∫ΘmxH(IL⊗(a∗(θ)aT(θ)))xdθ=xHΩsxxHΩmx (5) 定义A(Θ)=∫Θa∗(θ)aT(θ)dθ,则Ωs和Ωm可以表示为:Ωs=IL⊗A(Θs),Ωm=IL⊗A(Θm)。
2.2 多用户通信性能指标
假设第l时刻期望发送给用户的符号s[l]是从PSK星座中独立选择的,且该星座在基站和用户处都是已知的。对于第k个用户,其接收到的信号可表示为
rk[l]=hTkx[l]+nk[l] (6) 其中,hk是基站与第k个用户之间的瑞利衰落信道,nk[l]~CN(0,σ2k)是第k个用户接收的加性高斯白噪声。
在给定星座符号信息和已知信道状态信息的条件下,为了使接收端能够从有噪接收信号rk[l]中正确解码出符号sk[l],需要对发射波形x[l]进行线性/非线性预编码处理。SLP是一种新型的非线性预编码方法,与常规线性预编码方法不同,其创造性地利用MUI将用户的接收信号尽可能推离PSK符号判决边界,以减轻MUI对解码性能的影响。此时,MUI不再只是一种有害干扰,而具有有益作用,因此也被称为有益干扰(CI)[22]。需要说明的是,CI-SLP作为一种非线性预编码方式,其产生的发射波形x[l]与期望符号sk[l]之间通常没有显式的数学表达式,而需要通过求解非线性优化问题来确定[18]。
不失一般性,下面以QPSK星座为例来说明CI-SLP方式,如图3(a)所示。设第k个用户在l时刻接收到的无噪信号为:˜rk[l]=hTkx[l]=→OD。为了量化用户的QoS需求,定义第k个用户所需的SNR为Ψk,则→OA=σk√Ψksk[l]代表满足给定SNR需求的期望信号。当完全消除MUI时,˜rk[l]应位于A点处。然而与消除MUI不同,CI-SLP利用MUI将˜rk[l]更远地推离判决边界,从而进一步提升符号检测性能,此时˜rk[l]位于的区域被称为有益区域(即图3(a)中的绿色区域部分)。为了确保˜rk[l]位于给定的有益区域内,可以在图中寻找D点在→OA方向的投影点B,同时延伸→BD找到其与有益区域边界的交点C,则无噪接收信号与有益区域边界需满足|→BC|−|→BD|≥0。为了方便表述,将图3(a)顺时针旋转∠sk[l]得到图3(b),有
|→BC|−|→BD|=|→B′C′|−|→B′D′|=ℜ{→OD′−→OA′}tanΦ−ℑ{→OD′}=ℜ{hTkx[l]e−j∠sk[l]−σk√Ψk}⋅sinΦ−|ℑ{hTkx[l]e−j∠sk[l]}|⋅cosΦ≥0 (7) 其中,Φ=π/M表示有益区域角度范围的一半,M为PSK调制所使用的相位数量。在QPSK中,M=4。
式(7)给出了给定用户QoS需求下,发射波形x[l]与期望符号sk[l]之间的约束关系,该约束与后续优化目标函数相结合,可共同确定CI-SLP的非线性映射。由于CI-SLP需要逐符号进行预编码计算,其计算复杂度相比于传统的块级预编码更高。因此在大规模用户数或对实时性要求严格的场景下,CI-SLP的应用可能会受到实际计算能力的制约。
除PSK星座外,CI-SLP同样适用于其他调制方式的星座符号。例如,对于正交幅度(Quadrature Amplitude Modulation, QAM)调制,可以根据星座符号位置的不同(内部星座点、外部星座边点和外部星座角点),将其划分为3类有益区域[26]。每类有益区域都是凸区域,均可通过线性等式和不等式约束表示。由于这些约束均为凸约束,本文提出的算法也同样适用于QAM调制方式。
2.3 问题表述
本文主要研究以雷达性能为中心的单比特DFRC,在满足每个通信用户QoS需求的前提下,通过最小化雷达发射波束图的ISMR设计共用发射波形x。该波形设计可表示为
min (8) 为了简化表述,定义参数
\begin{split} & \gamma _{k,l}^1 = \frac{{{{\text{e}}^{ - {\text{j}}\angle {s_k}[l]}}\left(\sin \varPhi + {{\text{e}}^{ - {\text{j}}{\textstyle\frac{\pi }{2}}}}\cos \varPhi \right)}}{{{\sigma _k}\sqrt {{\varPsi _k}} \sin \varPhi }},\forall k,l;{\text{ }}\\ & \gamma _{k,l}^2 = \frac{{{{\text{e}}^{ - {\text{j}}\angle {s_k}[l]}}\left(\sin \varPhi - {{\text{e}}^{ - {\text{j}}{\textstyle\frac{\pi }{2}}}}\cos \varPhi \right)}}{{{\sigma _k}\sqrt {{\varPsi _k}} \sin \varPhi }},\forall k,l \end{split} (9) 则问题(8)可等效描述为
\begin{split} & \mathop {\min }\limits_{\boldsymbol{x}} {\text{ }}\varGamma ({\boldsymbol{x}}) \triangleq \frac{{{{\boldsymbol{x}}^{\rm H}}{\varOmega _{\text{s}}}{\boldsymbol{x}}}}{{{{\boldsymbol{x}}^{\rm H}}{\varOmega _{\text{m}}}{\boldsymbol{x}}}} \\ & {\text{ s}}{\text{.t}}{\text{. }}\Re \left\{ {\gamma _{k,l}^j{\boldsymbol{\tilde h}}_{k,l}^{\rm T}{\boldsymbol{x}}} \right\} \ge 1{\text{,}}\;\forall j,k,l \\ & \quad\;\; {\boldsymbol{x}} \in \mathcal{X} \end{split} (10) 其中, {{\boldsymbol{\tilde h}}_{k,l}} = {{\boldsymbol{c}}_l} \otimes {{\boldsymbol{h}}_k},\forall k,l , {{\boldsymbol{c}}_l} 为单位矩阵 {{\boldsymbol{I}}_L} 的第l列。
在问题(10)中,目标函数 \varGamma ({\boldsymbol{x}}) 是一个分式二次函数,且 {\boldsymbol{x}} \in \mathcal{X} 包含大量的非凸离散约束。因此,该问题是一个复杂的非凸约束分式规划问题,难以直接求解。在第3节中,本文将基于分式规划和ADMM技术,提出一种有效的求解算法。
3. Dinkelbach-ADMM单比特DFRC波形设计算法
本节基于分式规划、ADMM和梯度投影法提出了一种有效算法来求解问题(10)。由于 \varGamma ({\boldsymbol{x}}) 是一种非凸分式二次函数,会给后续处理造成困难,需对其预先进行处理。对于此类目标函数,存在多种可行的处理方法,典型的方法有二次上界函数近似[10]和SDR[11]。但是,前者采用的近似函数在部分情形下难以较为准确地逼近原目标函数,而后者具有较高的计算复杂度。本文根据分式规划理论,采用Dinkelbach变换对 \varGamma ({\boldsymbol{x}}) 进行处理,以换取更低的计算复杂度和更优的性能表现。
根据Dinkelbach变换原理,问题(10)可等效表示为[27−30]
\begin{split} & \mathop {\min }\limits_{\boldsymbol{x}} {\text{ }}\Upsilon ({\boldsymbol{x}}) \triangleq \xi {{\boldsymbol{x}}^{\rm H}}{\varOmega _{\text{s}}}{\boldsymbol{x}} - {{\boldsymbol{x}}^{\rm H}}{\varOmega _{\text{m}}}{\boldsymbol{x}} \\ & {\text{ s}}{\text{.t}}{\text{. }}\Re \left\{ {\gamma _{k,l}^j{\boldsymbol{\tilde h}}_{k,l}^{\rm T}{\boldsymbol{x}}} \right\} \ge 1{\text{,}}\;\forall j,k,l \\ & \quad\quad {\boldsymbol{x}} \in \mathcal{X} \end{split} (11) 其中, \xi 是一个迭代更新的Dinkelbach辅助变量。在第t次迭代中, \xi 可通过式(12)进行更新
{\xi ^{(t)}} = \frac{{{{\boldsymbol{x}}^{{{(t)}^{\rm H}}}}{\varOmega _{\text{m}}}{{\boldsymbol{x}}^{(t)}}}}{{{{\boldsymbol{x}}^{{{(t)}^{\rm H}}}}{\varOmega _{\text{s}}}{{\boldsymbol{x}}^{(t)}}}} (12) 应当指出,问题(11)中仍然包含离散波形约束 {\boldsymbol{x}} \in \mathcal{X} 。该约束理论上可通过穷举法得到最优解,但计算复杂度随着变量规模的增加呈现指数级增长,这对于大规模MIMO系统来说是难以承受的。因此,本文基于ADMM框架,通过引入辅助变量将离散约束问题松弛成连续约束问题进行求解。
为了便于处理,首先将相关复向量和复矩阵通过式(13)变换实数化
\begin{split} & {{\boldsymbol{x}}_{\text{R}}} = \left[ {\Re ({\boldsymbol{x}}){\text{ }}\Im ({\boldsymbol{x}})} \right] \in {\mathbb{R}^{2NL}}, \\ & {{\boldsymbol{\varOmega}} _{n,{\text{R}}}} = \left[ \begin{gathered} \Re ({\varOmega _n})\;\;{{ - }}\Im ({\varOmega _n}) \\ \Im ({\varOmega _n}){\text{ }}\;\;\Re ({\varOmega _n}) \\ \end{gathered} \right] \in {\mathbb{R}^{2NL \times 2NL}},\;\forall n = {\text{m}},{\text{s}} \\ & {{{\boldsymbol{\hat h}}}_{j,k,l}} = {[\Re (\gamma _{k,l}^j{{{\boldsymbol{\tilde h}}}_{k,l}})\;\;{{ - }}\Im (\gamma _{k,l}^j{{{\boldsymbol{\tilde h}}}_{k,l}})]^{\rm T}} \in {\mathbb{R}^{2NL}},\;\forall j,k,l \end{split} (13) 由此,问题(11)可改写为
\begin{split} & \mathop {\min }\limits_{{{\boldsymbol{x}}_{\text{R}}}} {\text{ }}\xi {\boldsymbol{x}}_{\text{R}}^{\rm T}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {\boldsymbol{x}}_{\text{R}}^{\rm T}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} \\ & {\text{s}}{\text{.t}}{\text{. }}{\boldsymbol{\hat h}}_{j,k,l}^{\rm T}{{\boldsymbol{x}}_{\text{R}}} \ge 1{\text{,}}\;\forall j,k,l \\ & \qquad {{\boldsymbol{x}}_{\text{R}}} \in {\mathcal{X}_{\text{R}}} = {\left\{ { \pm \alpha } \right\}^{2NL}} \end{split} (14) 定义辅助变量 {\boldsymbol{e}} = {{\boldsymbol{x}}_{\text{R}}} \in {\mathbb{R}^{2NL}} ,问题(14)可以变换为式(15)连续约束问题[10]:
\begin{split} & \mathop {\min }\limits_{{\boldsymbol{e}},{{\boldsymbol{x}}_{\text{R}}}} {\text{ }}\xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} \\ & {\text{s}}{\text{.t}}{\text{. }}{\boldsymbol{e}} = {{\boldsymbol{x}}_{\text{R}}} \\ & \qquad \left\| {\boldsymbol{e}} \right\|_2^2 = L{P_{{\text{tot}}}} \\ & \qquad {\boldsymbol{\hat h}}_{j,k,l}^{\rm T}{{\boldsymbol{x}}_{\text{R}}} \ge 1{\text{,}}\forall j,k,l \\ & \qquad \left| {{x_{{\text{R}},i}}} \right| \le \alpha ,\forall i = 1,2, \cdots ,2NL \end{split} (15) 下面简要说明该变换的合理性[10]。假设满足约束条件 {\boldsymbol{e}} = {{\boldsymbol{x}}_{\text{R}}} ,根据约束条件 \left\| {\boldsymbol{e}} \right\|_2^2 = L{P_{{\text{tot}}}} ,可以得到 \left\| {\boldsymbol{e}} \right\|_2^2 = \left\| {{{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 = L{P_{{\text{tot}}}} 。在此基础上,若满足约束条件 \left| {{x_{{\text{R}},i}}} \right| \le \alpha ,\forall i ,则有 \left| {{x_{{\text{R}},i}}} \right| = \alpha = \sqrt {{{{P_{{\text{tot}}}}} \mathord{\left/ {\vphantom {{{P_{{\text{tot}}}}} {2N}}} \right. } {2N}}} 。此时,显然有 {\boldsymbol{e}} = {{\boldsymbol{x}}_{\text{R}}} \in {\mathcal{X}_{\text{R}}} 。
根据ADMM原理,问题(15)的增广拉格朗日函数可定义为
\begin{split} {\mathcal{L}_\rho }({\boldsymbol{e}},{{\boldsymbol{x}}_{\text{R}}},{\boldsymbol{w}}) =\;& \xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} \\ & + {{\boldsymbol{w}}^{\rm T}}({\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}) + \frac{\rho }{2}\left\| {{\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 \end{split} (16) 其中,w为拉格朗日乘子, \rho > 0 为惩罚因子。
在ADMM框架下,我们分别在各约束条件下通过最小化 {\mathcal{L}_\rho }({\boldsymbol{e}},{{\boldsymbol{x}}_{\text{R}}},{\boldsymbol{w}}) 来交替优化变量e, {{\boldsymbol{x}}_{\text{R}}} 和w。于是,第k次迭代更新过程可描述为[31]
\left.\begin{aligned} & {{\boldsymbol{e}}^{(k)}} = \arg \min {\mathcal{L}_\rho }\left({\boldsymbol{e}},{{\boldsymbol{x}}_{\text{R}}}^{(k - 1)},{{\boldsymbol{w}}^{(k - 1)}}\right){\text{ }}\\ & \qquad {\text{s}}{\text{.t}}{\text{. }}\left\| {\boldsymbol{e}} \right\|_2^2 = L{P_{{\text{tot}}}} \\ &{\boldsymbol{x}}_{\text{R}}^{(k)} = \arg \min {\mathcal{L}_\rho }\left({{\boldsymbol{e}}^{(k)}},{{\boldsymbol{x}}_{\text{R}}},{{\boldsymbol{w}}^{(k - 1)}}\right) \\ & \qquad {\text{s}}{\text{.t}}{\text{. }}{\boldsymbol{\hat h}}_{j,k,l}^{\rm T}{{\boldsymbol{x}}_{\text{R}}} \ge 1{\text{,}}\;\forall j,k,l \\ & \qquad\quad\;\; \left| {{x_{{\text{R}},i}}} \right| \le \alpha ,\;\forall i \\ & {{\boldsymbol{w}}^{(k)}} = {{\boldsymbol{w}}^{(k - 1)}} + \rho \left({{\boldsymbol{x}}_{\text{R}}}^{(k)} - {{\boldsymbol{e}}^{(k)}}\right) \end{aligned}\right\} (17) 下面分别求解问题(17)中的每个子问题。
3.1 优化变量e
固定变量 {{\boldsymbol{x}}_{\text{R}}} 和w,去除无关变量,关于e的优化问题可表示为
\begin{split} & \mathop {\min }\limits_{\boldsymbol{e}} {\text{ }}\xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} + {{\boldsymbol{w}}^{\rm T}}{\boldsymbol{e}} + \frac{\rho }{2}\left\| {{\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 \\ & \quad {\text{s}}{\text{.t}}{\text{. }}\left\| {\boldsymbol{e}} \right\|_2^2 = L{P_{{\text{tot}}}} \\[-1pt] \end{split} (18) 该问题仅包含一个等式约束,可通过拉格朗日乘子法直接求解。定义问题(18)的拉格朗日函数为
\begin{split} {\mathcal{L}_1}({\boldsymbol{e}},\eta ) =\;& \xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} + {{\boldsymbol{w}}^{\rm T}}{\boldsymbol{e}} \\ & + \frac{\rho }{2}\left\| {{\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 + \eta \left(L{P_{{\text{tot}}}} - \left\| {\boldsymbol{e}} \right\|_2^2 \right) \end{split} (19) 其中, \eta 为拉格朗日乘子。令 \dfrac{\partial {{\mathcal{L}}}_{1}}{\partial {\boldsymbol{e}}}=0 ,可以得到e的迭代更新公式为
{{\boldsymbol{e}}^{(k)}} = \frac{{(\rho - \xi {\varOmega _{{\text{s}},{\text{R}}}} + {\varOmega _{{\text{m}},{\text{R}}}}){\boldsymbol{x}}_{\text{R}}^{(k - 1)} - {{\boldsymbol{w}}^{(k - 1)}}}}{{\rho - 2\eta }} (20) 另外,由于e还需要满足约束 \left\| {\boldsymbol{e}} \right\|_2^2 = L{P_{{\text{tot}}}} ,因此 \eta 的值可直接确定。将 \eta 的取值代入到式(20)中,可以得到
{{\boldsymbol{e}}^{(k)}} = \sqrt {L{P_{{\text{tot}}}}} \frac{{(\rho - \xi {\varOmega _{{\text{s}},{\text{R}}}} + {\varOmega _{{\text{m}},{\text{R}}}}){\boldsymbol{x}}_{\text{R}}^{(k - 1)} - {{\boldsymbol{w}}^{(k - 1)}}}}{{{{\left\| {(\rho - \xi {\varOmega _{{\text{s}},{\text{R}}}} + {\varOmega _{{\text{m}},{\text{R}}}}){\boldsymbol{x}}_{\text{R}}^{(k - 1)} - {{\boldsymbol{w}}^{(k - 1)}}} \right\|}_2}}} (21) 3.2 优化变量 {{\boldsymbol{x}}_{\text{R}}}
固定变量e和w,去除无关变量,可以通过求解式(22)问题更新 {{\boldsymbol{x}}_{\text{R}}}
\begin{split} & \mathop {\min }\limits_{{{\boldsymbol{x}}_{\text{R}}}} {\text{ }}\xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{w}}^{\rm T}}{{\boldsymbol{x}}_{\text{R}}} + \frac{\rho }{2}\left\| {{\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 \\ & \quad {\text{s}}{\text{.t}}{\text{. }}{\boldsymbol{\hat h}}_{j,k,l}^{\rm T}{{\boldsymbol{x}}_{\text{R}}} \ge 1{\text{,}}\;\forall j,k,l \\ & \qquad\;\; \left| {{x_{{\text{R}},i}}} \right| \le \alpha ,\;\forall i \\[-1pt] \end{split} (22) 显然,问题(22)是一个凸二次规划问题,可使用已有凸优化工具箱(如CVX)求解。然而,随着DFRC系统参数规模的增加,约束数量也增多,采用常规凸优化工具箱求解的计算复杂度高,难以满足大规模MIMO应用需求。由于问题(22)的目标函数是一个简单的二次形式,能够快捷地计算其梯度,因此本文采用梯度投影法求解该问题。
定义 {\boldsymbol{H}} \in {\Re ^{2NL \times 2KL}} 为所有 2KL 个向量 {\boldsymbol{\hat h}}_{j,k,l}^{\rm T} 组成的矩阵,问题(22)可重新表示为
\begin{split} & \mathop {\min }\limits_{{{\boldsymbol{x}}_{\text{R}}}} {\text{ }}f({{\boldsymbol{x}}_{\text{R}}}) \triangleq \xi {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{s}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{e}}^{\rm T}}{\varOmega _{{\text{m}},{\text{R}}}}{{\boldsymbol{x}}_{\text{R}}} - {{\boldsymbol{w}}^{\rm T}}{{\boldsymbol{x}}_{\text{R}}} \\ & \quad\;\; + \frac{\rho }{2}\left\| {{\boldsymbol{e}} - {{\boldsymbol{x}}_{\text{R}}}} \right\|_2^2 \\ & \quad {\text{s}}{\text{.t}}{\text{. }}{{\boldsymbol{x}}_{\text{R}}} \in \mathcal{I},\;\;\mathcal{I} = \mathcal{B} \cap \mathcal{H} \\[-1pt] \end{split} (23) 其中,集合 \mathcal{B} = \left\{ {{{\boldsymbol{x}}_{\text{R}}}\left| {\left| {{x_{{\text{R}},i}}} \right| \le \alpha {\text{,}}\forall i} \right.} \right\} 表示每个元素的取值范围约束,集合 \mathcal{H} = \left\{ {{{\boldsymbol{x}}_{\text{R}}}\left| {{{\boldsymbol{H}}^{\rm T}}{{\boldsymbol{x}}_{\text{R}}} \succcurlyeq {{\bf{1}}_{2KL}}} \right.} \right\} 表示基于SLP的半空间约束, {{\bf{1}}_{2KL}} 是维度为 2KL 的全1向量。于是目标函数 f({{\boldsymbol{x}}_{\text{R}}}) 的梯度可表示为
\nabla f({{\boldsymbol{x}}_{\text{R}}}) = \left(\xi \varOmega _{{\text{s}},{\text{R}}}^{\rm T} - \varOmega _{{\text{m}},{\text{R}}}^{\rm T}\right){\boldsymbol{e}} - {\boldsymbol{w}} + \rho ({{\boldsymbol{x}}_{\text{R}}} - {\boldsymbol{e}}) (24) 根据梯度投影法原理[32],每次迭代可分为两步:
(1) 梯度下降。第r次迭代变量沿梯度方向的更新值为: {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} = {\boldsymbol{x}}_{\text{R}}^{(r - 1)} - \tau \nabla f({\boldsymbol{x}}_{\text{R}}^{(r - 1)}) ,其中 \tau 为下降步长,可通过非精确线搜索(如反向回溯线搜索)得到;
(2) 交替投影,即 {\boldsymbol{x}}_{\text{R}}^{(r)} = {\mathcal{P}_\mathcal{I}}({\boldsymbol{\tilde x}}_{\text{R}}^{(r)}) ,其中 {{\mathcal{P}}}_{\mathcal{I}}(\cdot) 为投影算子。由于 \mathcal{I} 为 \mathcal{B} 和 \mathcal{H} 的交集,很难通过一次投影将 {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} 直接投影到此交集上,为此需要进行多次交替投影,直到满足给定的终止条件。
对于集合 \mathcal{B} ,由于变量各元素 {x_{\text{R}}}_{,1},{x_{\text{R}}}_{,2}, \cdots ,{x_{{\text{R}},2NL}} 之间没有耦合,该集合上的投影可直接表示为
{\mathcal{P}_\mathcal{B}}(x) = \left\{ \begin{gathered} \alpha ,\quad x > \alpha \\ x, \quad - \alpha \le x \le \alpha \\ - \alpha ,\; x < - \alpha \\ \end{gathered} \right. (25) 对于集合 \mathcal{H} ,若 {{\boldsymbol{x}}_{\text{R}}} \in \mathcal{H} ,其在 \mathcal{H} 上的投影为其自身。对任意 {{\boldsymbol{x}}_{\text{R}}} \notin \mathcal{H} ,其投影应在 \mathcal{H} 的边界上,即
{\mathcal{P}_\mathcal{H}}({\boldsymbol{x}}) = {\boldsymbol{x}} - {\boldsymbol{H}}{({{\boldsymbol{H}}^{\rm T}}{\boldsymbol{H}})^{ - 1}}({{\boldsymbol{H}}^{\rm T}}{\boldsymbol{x}} - {{\bf{1}}_{2KL}}) (26) 梯度投影算法的具体流程如算法1所示。
1 梯度投影算法1. Gradient projection algorithm输入: \xi ,{\boldsymbol{e}},{{\boldsymbol{\varOmega}} _{{\text{s}},{\text{R}}}},{{\boldsymbol{\varOmega }}_{{\text{m}},{\text{R}}}},{\boldsymbol{w}},{\boldsymbol{H}},\alpha ,\rho ,{\kappa _1},{\kappa _2},{\tau _0},{\delta _1},{\delta _2} 。 输出: {{\boldsymbol{x}}_{\text{R}}} 。 初始化: {\boldsymbol{x}}_{\text{R}}^{(0)} \in \mathcal{I} ,设置 r = 0 ; 第1步:根据式(24)计算梯度 \nabla f({\boldsymbol{x}}_{\text{R}}^{(r)}) ,令 r = r + 1 , \tau = {\tau _0} ; 第2步:计算 {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} = {\boldsymbol{x}}_{\text{R}}^{(r - 1)} - \tau \nabla f({\boldsymbol{x}}_{\text{R}}^{(r - 1)}) ; 第3步:若 {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} \in \mathcal{I} ,则令 {\boldsymbol{x}}_{\text{R}}^{(r)} = {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} ,跳至第6步,否则令 {{\boldsymbol{v}}^{(0)}} = {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} , i = 0 ; 第4步:令 i = i + 1 ,根据式(25)计算 {{\boldsymbol{\tilde v}}^{(i)}} = {\mathcal{P}_\mathcal{B}}({{\boldsymbol{v}}^{(i - 1)}}) ,根据式(26)计算 {{\boldsymbol{v}}^{(i)}} = {\mathcal{P}_\mathcal{H}}({{\boldsymbol{\tilde v}}^{(i)}}) ; 第5步:若 \left\| {{{\boldsymbol{v}}^{(i)}} - {{\boldsymbol{v}}^{(i - 1)}}} \right\| < {\delta _2} ,令 {\boldsymbol{x}}_{\text{R}}^{(r)} = {{\boldsymbol{v}}^{(i)}} ,进行下一步,否则返回第4步; 第6步:若 f({\boldsymbol{x}}_{\text{R}}^{(r)}) < f({\boldsymbol{x}}_{\text{R}}^{(r - 1)}) + {\kappa _1}\nabla f{({\boldsymbol{x}}_{\text{R}}^{(r - 1)})^{\rm T}}({\boldsymbol{x}}_{\text{R}}^{(r)} - {\boldsymbol{x}}_{\text{R}}^{(r - 1)}) ,进行下一步,否则令 \tau = {\kappa _2}\tau ,返回第2步; 第7步:若 {\boldsymbol{x}}_{\text{R}}^{(r)} - {\boldsymbol{x}}_{\text{R}}^{(r - 1)} < {\delta _1} ,输出 {{\boldsymbol{x}}_{\text{R}}} ,否则返回第1步。 通过上述迭代,问题(15)最终将收敛到一个局部最优解,此时的解应当满足 {\boldsymbol{e}} = {{\boldsymbol{x}}_{\text{R}}} \in {\mathcal{X}_{\text{R}}} 。但ADMM算法实现中,该约束可能没有精确满足。为保证最终的解完全满足单比特约束 {{\boldsymbol{x}}_{\text{R}}} \in {\mathcal{X}_{\text{R}}} ,本文对算法输出结果再进行一次单比特量化[10],即 {{\boldsymbol{x}}_{\text{R}}} = \mathcal{Q}({{\boldsymbol{x}}_{\text{R}}}) ,其中 \mathcal{Q}(\cdot) 为单比特量化算子,定义为
\mathcal{Q}(x) = \left\{ \begin{gathered} \alpha ,\;\; x \ge 0 \\ - \alpha ,x < 0 \\ \end{gathered} \right. (27) 最后,原问题(11)的解可表示为
{\boldsymbol{x}} = {{\boldsymbol{x}}_{\text{R}}}(1:NL) + {\text{j}}{{\boldsymbol{x}}_{\text{R}}}(NL + 1:2NL) (28) 综上所述,本文提出的Dinkelbach-ADMM算法的具体流程如算法2。
2 Dinkelbach-ADMM算法2. Dinkelbach-ADMM algorithm输入: {\varTheta _{\text{s}}},{\varTheta _{\text{m}}},{{\boldsymbol{h}}_k},{\varPsi _k},{s_k}[l],\varPhi ,{P_{{\text{tot}}}},\rho ,\nu ,{\varepsilon _1},{\varepsilon _2} 。 输出:x。 初始化: \{ {{\boldsymbol{e}}^{(0)}},{\boldsymbol{x}}_{\text{R}}^{(0)},{{\boldsymbol{w}}^{(0)}}\} ,设置 t = 0 ; 第1步:根据式(28)构造 {{\boldsymbol{x}}^{(0)}} ,根据式(12)更新 {\xi ^{(0)}} ; 第2步:令 t = t + 1 , k = 0 ; 第3步:令 k = k + 1 ,根据式(21)更新 {{\boldsymbol{e}}^{(k)}} ,根据算法1更新 {\boldsymbol{x}}_{\text{R}}^{(k)} ,根据式(17)更新 {{\boldsymbol{w}}^{(k)}} ; 第4步:若 {\left\| {{{\boldsymbol{e}}^{(k)}} - {\boldsymbol{x}}_{\text{R}}^{(k)}} \right\|_2} < {\varepsilon _1} 或 \rho {\left\| {{\boldsymbol{x}}_{\text{R}}^{(k)} - {\boldsymbol{x}}_{\text{R}}^{(k - 1)}} \right\|_2} < {\varepsilon _2} ,根据式(27)和式(28)更新 {{\boldsymbol{x}}^{(t)}} ,根据式(12)更新 {\xi ^{\left( t \right)}} ,进行下一步,否则返
回第3步;第5步:若 \left| {{\xi ^{(t)}} - {\xi ^{(t - 1)}}} \right| < \nu ,输出x,否则返回第2步。 3.3 计算复杂度分析
本文提出的单比特发射波形设计算法的计算复杂度主要与发射天线数N、通信用户数K、DFRC快拍数L和算法迭代次数相关。在内循环ADMM算法的每次迭代中,更新变量e的计算复杂度为 \mathcal{O}({N^2}{L^2}) 。对于变量 {{\boldsymbol{x}}_{\text{R}}} 的更新,计算复杂度主要由式(24)中矩阵 (\xi {\boldsymbol{\varOmega}} _{{\text{s}},{\text{R}}}^{\rm T} - {\boldsymbol{\varOmega}} _{{\text{m}},{\text{R}}}^{\rm T}){\boldsymbol{e}} 的生成和梯度投影运算产生。其中,生成矩阵 (\xi {\boldsymbol{\varOmega}} _{{\text{s}},{\text{R}}}^{\rm T} - {\boldsymbol{\varOmega}} _{{\text{m}},{\text{R}}}^{\rm T}){\boldsymbol{e}} 的复杂度为 \mathcal{O}({N^2}{L^2}) ,梯度投影运算每次迭代的复杂度为 \mathcal{O}(NK{L^2}) 。假设梯度投影算法的最大迭代次数为 {R_{\max }} ,则更新变量 {{\boldsymbol{x}}_{\text{R}}} 的总计算复杂度为 \mathcal{O}({R_{\max }}NK{L^2} + {N^2}{L^2}) 。假设ADMM算法的最大迭代次数为 {K_{\max }} ,则ADMM算法的复杂度为 \mathcal{O}\left( {{K_{\max }}({R_{\max }}NK{L^2} + {N^2}{L^2})} \right) 。假设外循环Dinkelbach变换的最大迭代次数为 {T_{\max }} ,则整个算法的复杂度为 \mathcal{O}\left( {{T_{\max }}{K_{\max }}({R_{\max }}NK{L^2} + {N^2}{L^2})} \right) 。
4. 仿真实验
本节将在两个典型实验场景下评估所提单比特DFRC发射波形设计算法的性能。具体仿真实验参数设置如下:发射天线数 N = 20 ,DFRC快拍数 L = 50 ,发射总功率 {P_{{\text{tot}}}} = 30{\text{ dBm}} ;雷达发射波束图以 1^\circ 为采样间隔,在整个空域 \theta \in \left[ { - 90^\circ ,\;90^\circ } \right] 均匀采样;通信用户数 K = 2 ,假定通信信号在传输过程中经历多条漫反射路径的传播,通信信道服从瑞利衰弱模型,即 {h_k}{\text{~}}\mathcal{C}\mathcal{N}\left( {0,1} \right) 。所有用户的期望星座符号为QPSK符号集,并设定所有用户的SNR要求和接收噪声功率相同,均为 {\varPsi _k} = 12{\text{ dB}} , {\sigma ^2} = \sigma _k^2 = 10{\text{ dBm}} 。
在所提出的算法中,初始值 {{\boldsymbol{e}}^{(0)}} 和 {\boldsymbol{\tilde x}}_{\text{R}}^{(0)} 为随机生成的列向量,其元素服从均值为0、方差为 {\alpha ^2} 的高斯分布,通过对 {\boldsymbol{\tilde x}}_{\text{R}}^{(0)} 进行交替投影,得到初始化值 {\boldsymbol{x}}_{\text{R}}^{(0)} \in \mathcal{I} , {{\boldsymbol{w}}^{(0)}} = {\boldsymbol{0}} 。对于罚因子 \rho ,目前没有统一的最优选择方法,本文根据文献[33]初步确定估计值为 {\rho _0} = \sqrt {{\lambda _{\min }}{\lambda _{\max }}} ,其中 {\lambda _{\min }} 和 {\lambda _{\max }} 分别为 \xi {{\boldsymbol{\varOmega}} _{{\text{s}},{\text{R}}}} - {{\boldsymbol{\varOmega }}_{{\text{m}},{\text{R}}}} 的最小特征值和最大特征值,然后在 \left[ {{\rho _0},10{\rho _0}} \right] 范围内采用二分法选出一个合适值。此外,实验中的其他参数设置如下: {\kappa _1} = 0.1 , {\kappa _2} = 0.5 , {\tau _0} = 1 , {\delta _1} = {\delta _2} = {10^{ - 4}} , {\varepsilon _1} = {\varepsilon _2} = \nu = {10^{ - 4}} 。
为了检验发射波束图性能,本文将所提设计(SLP-DFRC, 1-bit)与单比特量化BLP-DFRC[20] (BLP-DFRC, 1-bit)和无穷比特量化恒模SLP-DFRC (SLP-DFRC, \infty -bit)进行对比。其中,恒模SLP-DFRC可视为文献[23]采用ISMR作为雷达度量的改进型。同时,为了评估通信功能对雷达性能的影响,我们将单比特量化雷达发射波形设计[10] (Radar-Only, 1-bit)以及仅考虑雷达功能的无穷比特量化恒模雷达发射波形设计[25] (Radar-Only, \infty -bit)作为发射波束图性能的基准。需要说明的是,由于文献[20]侧重于雷达与通信性能的加权优化,我们设置权重因子为0.75,以实现雷达与通信性能的折中,并采用文献[10]的波形协方差矩阵作为其期望雷达波形的协方差矩阵。具体仿真样例设置如下。
例1:设计一个单主瓣雷达发射波束,主瓣区域为 {\varTheta _{\text{m}}} = [ - 10^\circ ,10^\circ ] ,旁瓣区域为 {\varTheta _{\text{s}}} = [ - 90^\circ , - 10^\circ ] \cup [10^\circ ,90^\circ ] 。
例2:设计一个对称双主瓣雷达发射波束,主瓣区域为 {\varTheta _{\text{m}}} = [ - 40^\circ , - 30^\circ ] \cup [30^\circ ,40^\circ ] ,旁瓣区域为 {\varTheta _{\text{s}}} = [ - 90^\circ , - 40^\circ ] \cup [ - 30^\circ ,30^\circ ] \cup [40^\circ ,90^\circ ] 。
4.1 算法收敛性分析
本节对所提算法的收敛性进行验证。图4(a)展示了在两个样例下所提算法的目标函数值随迭代次数的变化曲线。可以看出,随着迭代次数的增加,目标函数值均逐渐收敛到一个稳态值。相比于例1,例2所需的迭代次数更少,这主要是由于不同样例下,算法所设置的合适罚因子 \rho 有所不同。
此外,Dinkelbach辅助变量 \xi 的变化情况反映了目标函数经过Dinkelbach变换后的收敛情况。图4(b)给出了 \xi 随Dinkelbach变换次数的变化曲线。可以发现, \xi 在迭代过程中单调递增,且迭代后能收敛到一个稳定值,这一现象进一步验证了本文所采用的Dinkelbach变换的收敛性。
4.2 波形分析
本节对不同设计算法形成的发射波形进行对比分析。图5展示了4种不同发射波形设计下的波形序列相位分布图。可以看到,恒模波形序列的相位分布在 [ - \pi ,\pi ] ,这要求DAC具备较高的分辨率以确保发射波形的相位精度。相比之下,单比特波形的相位仅位于 \left\{-3\pi /4,\;-\pi /4,\;\pi /4,\;3\pi /4\right\} s4种离散相位中,因此只需使用单比特DAC即可保证相位精度,显著降低了DAC的分辨率需求。这意味着MIMO发射系统中的高分辨率DAC可以被成本更低、结构更简单的单比特DAC替代,进而实现了硬件结构的简化。此外,由于高分辨率DAC是MIMO发射系统的硬件成本和功耗的主要来源之一,单比特发射波形的应用对于大规模MIMO阵列,在降低硬件成本和功耗方面具有显著的优势。
4.3 雷达性能分析
本节主要验证所提波形设计方法的雷达发射波束图性能。由图6(a)和图6(b)可知,本文设计的单比特SLP-DFRC波形在满足用户QoS需求的条件下,能够将发射波束能量集中在期望主瓣区域 {\varTheta _{\text{m}}} 内,在空域中形成性能良好的发射波束。但由于波形相位可行域的减小,单比特SLP-DFRC波形的波束旁瓣电平相比恒模SLP-DFRC波形明显升高,雷达性能有所损失。这一结果与单比特MIMO雷达波形与恒模MIMO雷达波形之间的性能差异类似,是由于单比特发射机简化了DAC结构所导致的,以一定程度的性能损失换取硬件成本和功耗的显著降低,这种性能损失可考虑通过扩大发射阵列的规模来弥补。同时,与单比特雷达波形相比,单比特SLP-DFRC波形的发射波束主瓣略微向内凹陷,旁瓣电平升高,波束图性能有所下降,这主要归因于CI-SLP约束减少了发射波形的自由度。此外,通过比较两类不同的单比特DFRC波形,不难发现单比特SLP-DFRC波形的发射波束图性能明显优于单比特BLP-DFRC波形,这表明CI-SLP通过有效利用MUI缓解了通信功能需求对雷达性能的负面影响。
表1给出了不同发射波形设计下的ISMR数值。从表1可以发现,单比特量化会导致约4 dB的ISMR性能损失。同时还可观察到,相较于BLP技术为实现通信功能所造成的4~5 dB的巨大ISMR损失,采用CI-SLP技术的单比特SLP-DFRC波形雷达性能损失明显减小,仅产生0.5~1.0 dB的ISMR损失,在单比特DFRC的实现上展现出显著优势。此外,比较例1和例2的ISMR性能可知,当雷达发射波束形状的复杂度增加时,ISMR性能会进一步下降。因此在该工作场景下,增加发射阵列规模以提升雷达探测性能的需求更加急迫。
为此,我们进一步绘制了所提算法在例2场景中不同发射阵列规模N下形成的发射波束图。由图7可以看出,随着N的增加,发射波束的功率更加集中于主瓣区域 {\varTheta _{\text{m}}} 内,且归一化旁瓣电平明显降低。这也同样表明,将单比特发射波形与大规模MIMO技术结合能够显著提高雷达的发射波束图性能。
4.4 通信性能分析
本节主要验证不同预编码技术的通信性能,我们通过误码率具体量化发射波形的通信性能。图8展示了例2场景中平均误码率与用户SNR需求的关系,其中文献[20]的用户SNR需求定义为 \varPsi = {{{P_{{\text{tot}}}}} \mathord{\left/ {\vphantom {{{P_{{\text{tot}}}}} {\sigma _k^2}}} \right. } {\sigma _k^2}} 。在相同的通信需求下,例1场景中的平均误码率性能与图8基本一致,因此本文不再重复给出。由图8可以看出,未进行预编码处理的仅雷达波形不具备通信能力,而经过预编码的DFRC波形可以让用户从接收信号中解码出传输符号。不同于BLP体制,CI-SLP体制得益于对MUI的有效利用,在对雷达性能影响更小的同时展现出良好的误码率性能表现。随着用户SNR需求 \varPsi 的提高,CI-SLP可以进一步将接收信号推离判决边界,使得其在高SNR条件下显著优于BLP。此外可以注意到,用户数K的增加仅会对通信性能带来微小影响,且随着 \varPsi 的提高,这一影响会逐渐减小。
4.5 通信需求对雷达性能的影响
本节分析通信性能需求提升对雷达发射波束图性能的影响,主要探究用户SNR需求 \varPsi 和用户数量K两个因素。图9给出了用户数 K = 2 (实斜线)和 K = 3 (虚斜线)时,ISMR与用户SNR需求 \varPsi 的关系。由图9可以看出,在不同的用户数下,雷达发射波束的ISMR性能均随着 \varPsi 的增加而逐渐下降,且在用户数较多时ISMR性能有明显降低。因此,在单比特SLP-DFRC系统中,应合理选择通信的性能需求,以减小通信功能对雷达探测性能的负面影响,实现雷达探测与多用户通信之间的性能权衡。
5. 结语
针对单比特DFRC发射波形设计问题,本文建立了一种以最小化雷达发射波束ISMR为目标,在CI-SLP体制下精确保证每个通信用户最低接收SNR的单比特DFRC发射波形设计问题模型。为有效处理该问题中存在的非凸分式二次目标函数和非凸离散约束,本文基于Dinkelbach变换、ADMM和梯度投影技术提出了一种有效的求解算法。仿真结果表明,所设计的单比特DFRC波形能够显著减小对DAC分辨率的需求,并在满足用户QoS需求的条件下具有良好的雷达发射波束图性能,具有广泛的应用前景。特别是在低成本限制或大规模阵列部署的场景下,本文的单比特DFRC发射波形可应用于无人机、车联网、智能家居等领域,推动这些系统实现成本与性能之间的平衡。此外,本文仅考虑了发射端的波形设计工作,为进一步提升雷达的探测性能,单比特DFRC系统的接收端优化乃至收发联合设计也是我们未来工作中将进一步探讨的问题。
-
1 梯度投影算法
1. Gradient projection algorithm
输入: \xi ,{\boldsymbol{e}},{{\boldsymbol{\varOmega}} _{{\text{s}},{\text{R}}}},{{\boldsymbol{\varOmega }}_{{\text{m}},{\text{R}}}},{\boldsymbol{w}},{\boldsymbol{H}},\alpha ,\rho ,{\kappa _1},{\kappa _2},{\tau _0},{\delta _1},{\delta _2} 。 输出: {{\boldsymbol{x}}_{\text{R}}} 。 初始化: {\boldsymbol{x}}_{\text{R}}^{(0)} \in \mathcal{I} ,设置 r = 0 ; 第1步:根据式(24)计算梯度 \nabla f({\boldsymbol{x}}_{\text{R}}^{(r)}) ,令 r = r + 1 , \tau = {\tau _0} ; 第2步:计算 {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} = {\boldsymbol{x}}_{\text{R}}^{(r - 1)} - \tau \nabla f({\boldsymbol{x}}_{\text{R}}^{(r - 1)}) ; 第3步:若 {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} \in \mathcal{I} ,则令 {\boldsymbol{x}}_{\text{R}}^{(r)} = {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} ,跳至第6步,否则令 {{\boldsymbol{v}}^{(0)}} = {\boldsymbol{\tilde x}}_{\text{R}}^{(r)} , i = 0 ; 第4步:令 i = i + 1 ,根据式(25)计算 {{\boldsymbol{\tilde v}}^{(i)}} = {\mathcal{P}_\mathcal{B}}({{\boldsymbol{v}}^{(i - 1)}}) ,根据式(26)计算 {{\boldsymbol{v}}^{(i)}} = {\mathcal{P}_\mathcal{H}}({{\boldsymbol{\tilde v}}^{(i)}}) ; 第5步:若 \left\| {{{\boldsymbol{v}}^{(i)}} - {{\boldsymbol{v}}^{(i - 1)}}} \right\| < {\delta _2} ,令 {\boldsymbol{x}}_{\text{R}}^{(r)} = {{\boldsymbol{v}}^{(i)}} ,进行下一步,否则返回第4步; 第6步:若 f({\boldsymbol{x}}_{\text{R}}^{(r)}) < f({\boldsymbol{x}}_{\text{R}}^{(r - 1)}) + {\kappa _1}\nabla f{({\boldsymbol{x}}_{\text{R}}^{(r - 1)})^{\rm T}}({\boldsymbol{x}}_{\text{R}}^{(r)} - {\boldsymbol{x}}_{\text{R}}^{(r - 1)}) ,进行下一步,否则令 \tau = {\kappa _2}\tau ,返回第2步; 第7步:若 {\boldsymbol{x}}_{\text{R}}^{(r)} - {\boldsymbol{x}}_{\text{R}}^{(r - 1)} < {\delta _1} ,输出 {{\boldsymbol{x}}_{\text{R}}} ,否则返回第1步。 2 Dinkelbach-ADMM算法
2. Dinkelbach-ADMM algorithm
输入: {\varTheta _{\text{s}}},{\varTheta _{\text{m}}},{{\boldsymbol{h}}_k},{\varPsi _k},{s_k}[l],\varPhi ,{P_{{\text{tot}}}},\rho ,\nu ,{\varepsilon _1},{\varepsilon _2} 。 输出:x。 初始化: \{ {{\boldsymbol{e}}^{(0)}},{\boldsymbol{x}}_{\text{R}}^{(0)},{{\boldsymbol{w}}^{(0)}}\} ,设置 t = 0 ; 第1步:根据式(28)构造 {{\boldsymbol{x}}^{(0)}} ,根据式(12)更新 {\xi ^{(0)}} ; 第2步:令 t = t + 1 , k = 0 ; 第3步:令 k = k + 1 ,根据式(21)更新 {{\boldsymbol{e}}^{(k)}} ,根据算法1更新 {\boldsymbol{x}}_{\text{R}}^{(k)} ,根据式(17)更新 {{\boldsymbol{w}}^{(k)}} ; 第4步:若 {\left\| {{{\boldsymbol{e}}^{(k)}} - {\boldsymbol{x}}_{\text{R}}^{(k)}} \right\|_2} < {\varepsilon _1} 或 \rho {\left\| {{\boldsymbol{x}}_{\text{R}}^{(k)} - {\boldsymbol{x}}_{\text{R}}^{(k - 1)}} \right\|_2} < {\varepsilon _2} ,根据式(27)和式(28)更新 {{\boldsymbol{x}}^{(t)}} ,根据式(12)更新 {\xi ^{\left( t \right)}} ,进行下一步,否则返
回第3步;第5步:若 \left| {{\xi ^{(t)}} - {\xi ^{(t - 1)}}} \right| < \nu ,输出x,否则返回第2步。 -
[1] SAAD W, BENNIS M, and CHEN Mingzhe. A vision of 6G wireless systems: Applications, trends, technologies, and open research problems[J]. IEEE Network, 2020, 34(3): 134–142. doi: 10.1109/MNET.001.1900287. [2] FANG Xinran, FENG Wei, CHEN Yunfei, et al. Joint communication and sensing toward 6G: Models and potential of using MIMO[J]. IEEE Internet of Things Journal, 2023, 10(5): 4093–4116. doi: 10.1109/JIOT.2022.3227215. [3] WEI Zhiqing, QU Hanyang, WANG Yuan, et al. Integrated sensing and communication signals toward 5G-A and 6G: A survey[J]. IEEE Internet of Things Journal, 2023, 10(13): 11068–11092. doi: 10.1109/JIOT.2023.3235618. [4] LU Shihang, LIU Fan, LI Yunxin, et al. Integrated sensing and communications: Recent advances and ten open challenges[J]. IEEE Internet of Things Journal, 2024, 11(11): 19094–19120. doi: 10.1109/JIOT.2024.3361173. [5] ELBIR A M, MISHRA K V, and CHATZINOTAS S. Terahertz-band joint ultra-massive MIMO radar-communications: Model-based and model-free hybrid beamforming[J]. IEEE Journal of Selected Topics in Signal Processing, 2021, 15(6): 1468–1483. doi: 10.1109/JSTSP.2021.3117410. [6] HUA Haocheng, XU Jie, and HAN T X. Optimal transmit beamforming for integrated sensing and communication[J]. IEEE Transactions on Vehicular Technology, 2023, 72(8): 10588–10603. doi: 10.1109/TVT.2023.3262513. [7] ZHANG Ruoyu, CHENG Lei, WANG Shuai, et al. Integrated sensing and communication with massive MIMO: A unified tensor approach for channel and target parameter estimation[J]. IEEE Transactions on Wireless Communications, 2024, 23(8): 8571–8587. doi: 10.1109/TWC.2024.3351856. [8] SAXENA A K, FIJALKOW I, and SWINDLEHURST A L. Analysis of one-bit quantized precoding for the multiuser massive MIMO downlink[J]. IEEE Transactions on Signal Processing, 2017, 65(17): 4624–4634. doi: 10.1109/TSP.2017.2715006. [9] CHENG Ziyang, LIAO Bin, HE Zishu, et al. Transmit signal design for large-scale MIMO system with 1-bit DACs[J]. IEEE Transactions on Wireless Communications, 2019, 18(9): 4466–4478. doi: 10.1109/TWC.2019.2925343. [10] WEI Tong, CHENG Ziyang, and LIAO Bin. Transmit beampattern synthesis for MIMO radar with one-bit digital-to-analog converters[J]. Signal Processing, 2021, 188: 108228. doi: 10.1016/j.sigpro.2021.108228. [11] WEI Tong, CHU Ping, CHENG Ziyang, et al. Transmit beampattern design for MIMO radar with one-bit DACs via block-sparse SDR[C]. 2020 IEEE 11th Sensor Array and Multichannel Signal Processing Workshop (SAM), Hangzhou, China, 2020: 1–5. doi: 10.1109/SAM48682.2020.9104317. [12] DENG Minglong, CHENG Ziyang, HE Zishu, et al. Joint design of one-bit transmit waveform and receive filter for MIMO radar in signal dependent interference[C]. 2022 IEEE Radar Conference (RadarConf22), New York City, USA, 2022: 1–6. doi: 10.1109/RadarConf2248738.2022.9764158. [13] SAXENA A K, FIJALKOW I, and SWINDLEHURST A L. On one-bit quantized ZF precoding for the multiuser massive MIMO downlink[C]. 2016 IEEE Sensor Array and Multichannel Signal Processing Workshop (SAM), Rio de Janeiro, Brazil, 2016: 1–5. doi: 10.1109/SAM.2016.7569670. [14] JACOBSSON S, DURISI G, COLDREY M, et al. Linear precoding with low-resolution DACs for massive MU-MIMO-OFDM downlink[J]. IEEE Transactions on Wireless Communications, 2019, 18(3): 1595–1609. doi: 10.1109/TWC.2019.2894120. [15] LI Ang, LIU Fan, MASOUROS C, et al. Interference exploitation 1-bit massive MIMO precoding: A partial branch-and-bound solution with near-optimal performance[J]. IEEE Transactions on Wireless Communications, 2020, 19(5): 3474–3489. doi: 10.1109/TWC.2020.2973987. [16] WU Zheyu, JIANG Bo, LIU Yafeng, et al. A novel negative ℓ1 penalty approach for multiuser one-bit massive MIMO downlink with PSK signaling[C]. 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Singapore, Singapore, 2022: 5323–5327. doi: 10.1109/ICASSP43922.2022.9747030. [17] WANG Yiran and LI Ang. ADMM based interference exploitation multi-user one-bit massive MIMO precoding[J]. IEEE Transactions on Vehicular Technology, 2023, 72(7): 9561–9566. doi: 10.1109/TVT.2023.3244404. [18] LI Ang, MASOUROS C, SWINDLEHURST A L, et al. 1-bit massive MIMO transmission: Embracing interference with symbol-level precoding[J]. IEEE Communications Magazine, 2021, 59(5): 121–127. doi: 10.1109/MCOM.001.2000601. [19] CHENG Ziyang, SHI Shengnan, HE Zishu, et al. Transmit sequence design for dual-function radar-communication system with one-bit DACs[J]. IEEE Transactions on Wireless Communications, 2021, 20(9): 5846–5860. doi: 10.1109/TWC.2021.3070586. [20] YU Xiaoyou, YANG Qi, XIAO Zhu, et al. A precoding approach for dual-functional radar-communication system with one-bit DACs[J]. IEEE Journal on Selected Areas in Communications, 2022, 40(6): 1965–1977. doi: 10.1109/JSAC.2022.3155532. [21] LIN Qi, SHEN Hong, LI Zhicheng, et al. One-bit transceiver optimization for mmWave integrated sensing and communication systems[J]. IEEE Transactions on Communications, 2025, 73(2): 800–816. doi: 10.1109/TCOMM.2024.3440830. [22] MASOUROS C and ZHENG Gan. Exploiting known interference as green signal power for downlink beamforming optimization[J]. IEEE Transactions on Signal Processing, 2015, 63(14): 3628–3640. doi: 10.1109/TSP.2015.2430839. [23] LIU Rang, LI Ming, LIU Qian, et al. Dual-functional radar-communication waveform design: A symbol-level precoding approach[J]. IEEE Journal of Selected Topics in Signal Processing, 2021, 15(6): 1316–1331. doi: 10.1109/JSTSP.2021.3111438. [24] WANG Chao, WANG Chengcai, LI Zan, et al. STAR-RIS-enabled secure dual-functional radar-communications: Joint waveform and reflective beamforming optimization[J]. IEEE Transactions on Information Forensics and Security, 2023, 18: 4577–4592. doi: 10.1109/TIFS.2023.3297452. [25] CHENG Ziyang, HAN Chunlin, LIAO Bin, et al. Communication-aware waveform design for MIMO radar with good transmit beampattern[J]. IEEE Transactions on Signal Processing, 2018, 66(21): 5549–5562. doi: 10.1109/TSP.2018.2868042. [26] LIU Rang, LI Hongyu, LI Ming, et al. Secure symbol-level precoding design for QAM signals in MU-MISO wiretap systems[C]. ICC 2020--2020 IEEE International Conference on Communications (ICC), Dublin, Ireland, 2020: 1–6. doi: 10.1109/ICC40277.2020.9149044. [27] SOLTANALIAN M, TANG Bo, LI Jian, et al. Joint design of the receive filter and transmit sequence for active sensing[J]. IEEE Signal Processing Letters, 2013, 20(5): 423–426. doi: 10.1109/LSP.2013.2250279. [28] TANG Bo and TANG Jun. Joint design of transmit waveforms and receive filters for MIMO radar space-time adaptive processing[J]. IEEE Transactions on Signal Processing, 2016, 64(18): 4707–4722. doi: 10.1109/TSP.2016.2569431. [29] WU Wenjun, TANG Bo, and WANG Xuyang. Constant-modulus waveform design for dual-function radar-communication systems in the presence of clutter[J]. IEEE Transactions on Aerospace and Electronic Systems, 2023, 59(4): 4005–4017. doi: 10.1109/TAES.2023.3234927. [30] CHEN Shengyao, FENG Qi, RAN Longyao, et al. Reconfigurable intelligent surface-enabled array radar for interference mitigation[J]. IEEE Transactions on Aerospace and Electronic Systems, 2024, 60(5): 7437–7452. doi: 10.1109/TAES.2024.3417955. [31] 陈胜垚, 何煦, 冯起, 等. 智能超表面辅助的雷达通信一体化系统恒模发射波形与无源波束形成联合设计[J]. 中国科学: 信息科学, 2024, 54(12): 2841–2857. doi: 10.1360/SSI-2024-0034.CHEN Shengyao, HE Xu, FENG Qi, et al. Joint design of constant modular transmit waveform and passive beamforming for RIS-aided dual-functional radar and communication[J]. SCIENTIA SINICA Informationis, 2024, 54(12): 2841–2857. doi: 10.1360/SSI-2024-0034. [32] JIANG Xue, CHEN Jiayi, LIU Xingzhao, et al. Phase-only robust minimum dispersion beamforming[J]. IEEE Transactions on Signal Processing, 2020, 68: 5664–5679. doi: 10.1109/TSP.2020.3026177. [33] GHADIMI E, TEIXEIRA A, SHAMES I, et al. Optimal parameter selection for the alternating direction method of multipliers (ADMM): Quadratic problems[J]. IEEE Transactions on Automatic Control, 2015, 60(3): 644–658. doi: 10.1109/TAC.2014.2354892. -