徐乃清,张劲东,李 晨,丁 逊
(南京航空航天大学电子信息工程学院,江苏南京 210016)
随着雷达发射机自由度的增加,雷达可以通过改变发射脉冲波形来增强其对抗复杂干扰能力。此外,相比于单一发射波形,捷变波形能提供更好的探测性能。模糊函数是分析雷达波形探测性能的重要工具,可以反映出雷达信号的距离-多普勒二维分辨率。因此,雷达波形设计问题往往可以描述成模糊函数设计问题。常用的模糊函数性能指标有积分旁瓣电平(ISL)和峰值旁瓣电平(PSL),皆为待设计信号的四次函数。
针对波形设计问题,He给出了用于设计模糊函数的Multi-CAO算法[1],Arlery给出了基于梯度下降的模糊函数设计算法[2],但所设计信号均为连续相位调制信号。Boyd提出了交替方向乘子法(Alternating Direction Method of Multipliers,ADMM)适用于大规模凸优化问题[3],随后Liang使用ADMM方法求解带约束二次型最优化问题,给出了一种设计具有低自相关旁瓣的连续相位调制信号方法[4]。在二次型优化问题中,ADMM更新公式可以给出闭式解,但在四次型优化问题中,闭式解难以获取。Hunter和Lange提出的MM算法是一种迭代求解最优化问题的算法,通过构造并求解形式更为简单的辅助函数,逐渐逼近原问题的最优解[5]。Song给出了一种基于MM算法的模糊函数设计方法,其中辅助函数为目标函数上界的二次型[6]。
本文基于离散相位调制信号(Discrete Phase Coded Signal,DPCS),以脉冲串模糊函数平均ISL为目标函数,将波形设计问题建模为带约束四次型最优化问题,并给出基于MM算法的求解方法。其中,辅助上界函数的求解采用ADMM算法。最后,给出MM-ADMM算法流程。仿真结果表明,该方法计算速度快,收敛趋势明显。
设脉冲-多普勒雷达发射设含N个脉冲的脉冲串信号,可表示为
(1)
式中:sn(t)为第n个发射脉冲的复包络,并满足sn(t)=0,∀t⊄[0,T],T为发射脉冲长度;Tr为脉冲重复间隔(Pulse Repetition Interval,PRI)。发射信号采用相位编码调制方式,则第n个发射脉冲可表示为
(2)
式中,s(n,m),n=0,1,…,N-1,m=0,1,…,M-1为相位编码调制序列,pm(t)表示矩形赋形脉冲:
(3)
式中,tp为发射脉冲中每个调制相位对应的时宽,满足关系T=Mtp。
为表示方便,记列向量sn=[s(n,0),s(n,1),…,s(n,M-1)]T表示第n个发射脉冲的调制序列,且满足
0≤φ(n,m)≤K-1
(4)
(5)
其中矩阵Hlp=Jl·Dp,Jl为转移矩阵,其定义为
(6)
Dp为对角矩阵,其定义为
(7)
则脉冲串离散模糊函数中心条带可表示为
(8)
(9)
(10)
至此,上述离散相位调制脉冲串模糊函数设计问题可写为
(11)
其中k(i)和φ(n,m)的关系为k(nM+m)=φ(n,m),n=⎣i/M」,m=mod(i,M)。该问题是非凸约束条件下的四次型优化问题,对于带约束优化问题,通常选择构造带惩罚项的增广拉格朗日函数进行求解,ADMM方法是一种求解增广拉格朗日函数的方法。由于四次型较为复杂难以优化,另一种思路是将高次型进行降次,针对这种思路,本文提出一种基于MM算法的求解方法,将四次型优化问题转化为二次型进行求解。
MM(Majorization-Minimization)算法是一种通过迭代逼近求解最优化问题的算法。在每次迭代中,首先原函数上某一点出发,构造一个位于目标函数上界的辅助函数,且辅助函数与原函数相交于该点。然后,求解辅助函数的最优值点。一般来讲,构造的辅助函数要求形式简单,易于求解。最后,将解得的辅助函数最优值点作为新的出发点,进行下一次迭代。经过若干次迭代后,辅助函数最优值点将收敛到原问题的最优值点,算法完成。下面简要介绍MM算法的流程。设最优化问题为
(12)
选取某一出发点xk,构造一个新函数g(x|xk),在xk处与f(x)相交,其他位置上皆在f(x)的上界,即满足关系:
(13)
然后求解辅助函数g(x|xk)的最小值:
(14)
易得
f(xk+1)≤g(xk+1|xk)≤g(xk|xk)=f(xk)
(15)
这样每一次迭代都可以使目标函数值下降,直到辅助函数极值收敛到原函数极值。图1给出了MM算法的示意图。
图1 MM算法示意图
ADMM算法是一种求解优化问题的计算框架,通过将原优化问题分化两个子问题交替求解,缩小了问题的规模。ADMM框架的基本模型为
(16)
将式(16)写成增广拉格朗日函数,ρ为惩罚项系数,有
Lρ(x,z,λ)=f(x)+g(z)+λT(Ax+Bz-c)+
(17)
则ADMM更新公式为
(18)
判断收敛的条件为x(t+1)-z(t+1)<δ,δ为一个较小的正数,作为收敛门限。
因为xHQlpx=tr(QlpxxH),其中tr(·)表示矩阵的迹,记矩阵X=xxH,则有
vec(Qlp)H·vec(X)=
vec(Qlp)H·vec(X)
(19)
式中,vec(·)为矩阵向量化符号,表示将矩阵按列排成的列向量。
证明:将xHLx在x0处泰勒展开,有
(x-x0)HL(x-x0)≤
(x-x0)HM(x-x0)=
xHMx+2Re(xH(L-M)x0)+
(20)
当x=x0时,式(20)中不等关系取等。
由此,将Hermitian矩阵∑l,pvec(Qlp)·vec(Qlp)H记为L,设L的最大的特征为λmax,可求得λmax=MN,记M=λmaxI=MN·I,易得M≥L。将引理1代入式(19),可得
vec(X)HLvec(X)≤
vec(X)HMvec(X)+2Re(vec(X)H(L-M)vec(X0))+
vec(X0)H(M-L)vec(X0)
(21)
在约束条件下,式(21)的第一项和第三项为常数,所以只要考虑第二项即可。其中第二项可以记成:
Re(vec(X)H(L-M)vec(X0))=
(22)
在MM算法迭代过程中,设第k次迭代后求得的脉冲串为xk,并记
(23)
容易看出Pk为Hermitian矩阵,Tk为半正定Hermitian矩阵,则式(22)中取实部符号Re(·)可以去掉。在下式的xHTkx项上再次套用式(20),可得
xH(Pk-Tk)x=
(x-xk)HTk(x-xk))≤
xHPkx-2(MN)2Re(xHxk))+(MN)2
(24)
综上,有
const+xHPkx-2(MN)2·Re(xHxk)
(25)
至此,辅助函数已经构造完成,即每次MM迭代中,需要求解的问题为
(26)
问题式(26)中包含二次项xHPkx和一次项2(MN)2·Re(xHxk),通过引入辅助变量z和约束x=z,可将该问题写成如下等价形式:
(27)
形如上式的带约束优化问题可用ADMM框架求解,根据式(27)写出增广拉格朗日函数:
Lρ,k(x,z,λr,λi)=
xHPkx-2(MN)2Re(zHxk)+
(28)
记u=(λr+jλi)/ρ,则式(28)可写为
Lρ,k(x,z,u)=xHPkx-2(MN)2Re(zHxk)+
(29)
(30)
(31)
0≤k(i)≤K-1,0≤i≤MN-1
(32)
(34)
(35)
3) 更新u
(36)
重复步骤1) 到3) 直至算法收敛,判断收敛的条件为x(t+1)-z(t+1)<δ,δ为一个较小的正数,作为收敛门限。
下面给出MM-ADMM算法求解中心区域低副瓣脉冲串模糊函数流程:
Step 1 记k为MM算法迭代次数,初始化k=0,δ=0.001,给随机初值x0;
Step 3 进行ADMM迭代:
设相干雷达系统在一个CPI中有N个发射脉冲,每个发射脉冲中有M个子脉冲。目标区域Φ的参数为a=M/2,b=N/4,即Φ={(l,p)|-M/2≤l≤M/2,-N/4≤p≤N/4},则可定义脉冲串模糊函数中心条带的中心区域平均副瓣为
(37)
收敛门限δ=0.001,二次惩罚项系数ρ=2M2N2,初值使用随机离散相位序列。图2给出了MM-ADMM算法所设计的离散相位调制脉冲串在不同的相位数K下的模糊函数中心条带(M=50,N=16)。随调制相位数K增多,目标区域AISL明显下降。
图3给出了MM-ADMM算法所设计的离散相位调制脉冲串在不同子脉冲数M时的模糊函数中心条带(K=8,N=16)。随子脉冲数M增多,目标区域AISL明显下降。
(a) K=4
(b) K=8
(c) K=16
(a) M=40
(b) M=50
(c) M=60
由于MM算法通过求解形式更为简单的辅助函数,显著降低了运算量。现将MM-ADMM算法与用拟牛顿法求解四次型最优化问题的ADMM算法对比,仿真平台为Intel i5-7300HQ处理器,8 G内存计算机。表1~表4分别给出了两种算法在不同子脉冲数M和不同调制方式K的情况下的AISL值(100次蒙特卡罗实验取平均)和在所需的运算时间。
表1 MM-ADMM算法不同情况下的AISL
表2 ADMM算法不同情况下的AISL
表3 MM-ADMM算法不同情况下的计算时间
表4 ADMM算法不同情况下的计算时间
可以看出,目标区域AISL均随着子脉冲数M或调制相位数K增多而逐渐降低,计算时间逐渐增多。相比于ADMM算法,MM-ADMM算法的AISL略优于ADMM算法,且运算量大幅减小,运算速度显著提升。
图4给出了两种算法的收敛情况(M=50,N=16,K=8),可见在约15次迭代后,AISL相比于随机脉冲串下降了10 dB并趋于收敛,且下降趋势明显。
图4 MM-ADMM算法与ADMM算法的收敛曲线
本文主要介绍了具有目标区域低旁瓣模糊函数的离散相位编码脉冲串信号的设计方法。该问题实际上是带约束的四次型优化问题,难以直接求解。为此,引入了MM算法,将四次型优化问题转化为二次型优化问题,进行迭代逼近求解。仿真结果表明,MM-ADMM算法所设计信号性能满足要求,运算速度快,收敛趋势明显。