郭雙樂,彭臨慧,唐瑞春**
(1.中國海洋大學(xué)信息科學(xué)與工程學(xué)院,山東 青島 266100;2.衡水學(xué)院數(shù)學(xué)與計(jì)算機(jī)學(xué)院,河北 衡水 053000)
在水下目標(biāo)的被動(dòng)定位中,匹配場(chǎng)處理扮演著十分重要的角色。匹配場(chǎng)定位的高分辨率、寬容性定位算法是其研究熱點(diǎn)[1]。現(xiàn)有的匹配場(chǎng)處理通常可分為常規(guī)的匹配場(chǎng)處理和自適應(yīng)匹配場(chǎng)處理兩大類。
常規(guī)處理器又稱為Bartlett處理器,該處理器首先把拷貝聲場(chǎng)做歸一化,然后用測(cè)量數(shù)據(jù)與經(jīng)歸一化處理的聲場(chǎng)做相關(guān)運(yùn)算。由于該方法具有對(duì)模型或參數(shù)誤差不敏感的特點(diǎn),所以具有很好的寬容性,但是該處理器使用時(shí)會(huì)出現(xiàn)比較嚴(yán)重的旁瓣,并且對(duì)聲源的距離估計(jì)存在較大的模糊區(qū)間[2]。
自適應(yīng)匹配場(chǎng)處理是將自適應(yīng)陣列處理的優(yōu)點(diǎn)融合到匹配場(chǎng)中,權(quán)值向量由拷貝矢量和采樣協(xié)方差矩陣聯(lián)合計(jì)算得到,其典型代表是最小方差無畸變(Minimum Variance Distortionless Response,MVDR)處理器[3]。MVDR處理器能夠有效地抑制旁瓣和干擾,對(duì)深度分辨率也有很大改善,但是這種處理器對(duì)誤差和失配敏感,所以要求傳播模型中的參數(shù)必須準(zhǔn)確無誤,并且采樣協(xié)方差的計(jì)算要求的快拍數(shù)很多,從而增加了采樣量和計(jì)算量。
無論是常規(guī)匹配場(chǎng)定位算法,還是MVDR匹配定位算法,快拍缺失情形都會(huì)對(duì)定位性能造成影響。在使用MVDR處理器進(jìn)行定位時(shí),當(dāng)快拍數(shù)小于接收陣列的陣元個(gè)數(shù)時(shí)會(huì)使得接收信號(hào)的協(xié)方差矩陣不滿秩,從而導(dǎo)致了該處理器的定位性能失效。在匹配場(chǎng)中解決此類問題時(shí)通常使用Cox H等人提出的固定對(duì)角加載的寬容性方法[4],該方法具有形式簡(jiǎn)單、易于實(shí)現(xiàn)等優(yōu)點(diǎn),同時(shí)也具有一定的定位效果,由于它引入了噪聲,降低了陣列增益,不利于弱信號(hào)的檢測(cè)。同時(shí),MVDR算法不適用于相干源問題,時(shí)潔等人提出了基于矢量陣列的MVDR定位算法[5],雖然對(duì)相干源問題有效,但由于該方法只適用于寬帶情形,從而限制了其應(yīng)用范圍。
針對(duì)于已有匹配場(chǎng)定位算法的不足,本文以壓縮感知[6](Compressive Sensing,CS)理論為基礎(chǔ),將壓縮感知理論擴(kuò)展到匹配場(chǎng)定位中,提出了一種基于稀疏信號(hào)重建的水下目標(biāo)被動(dòng)定位算法。該算法要求的快拍數(shù)較少,并且能夠很好地解決相干源問題。文中給出了仿真算法和運(yùn)行結(jié)果。
壓縮感知的概念是2004年由Candes、Romberg和Tao以及Donoho提出的,該理論建立的基礎(chǔ)是信號(hào)的稀疏性或可壓縮性,并給出了新的采樣、重構(gòu)方法。從數(shù)學(xué)角度來講其解決的是一個(gè)非確定線性觀測(cè)方程精確解的問題[7]。
目前大多數(shù)壓縮感知理論解決的是單觀測(cè)向量(Single Measurement Vector,SMV)問題。具體的講,假設(shè)M和Q為2個(gè)正整數(shù),并且M<Q,則SMV控制系統(tǒng)(CS)問題可以描述為:

其中:b∈CM;A∈CM×Q;x∈CQ;n∈CM,其中n表示噪聲;‖x‖0表示向量x中非零元素的個(gè)數(shù);矩陣A稱為字典(dictionary),A中的每一個(gè)列向量稱為A的原子(atom)。
(1)的求解是1個(gè)NP-hard問題,當(dāng)Q很大時(shí),數(shù)值計(jì)算很難實(shí)現(xiàn),所以目前廣泛使用的方法是貪婪算法[8](以O(shè)MP、OOMP為代表)、凸優(yōu)化算法[9-10](以LASSO、GPSR等為代表)。
壓縮感知的另一個(gè)重要的研究領(lǐng)域是多觀測(cè)向量(Multiple Measurement Vectors,MMV)問 題[11-14]。相對(duì)于SMV問題,MMV問題所解決的不是單個(gè)稀疏信號(hào)向量的恢復(fù)問題,而是多個(gè)具有共同稀疏結(jié)構(gòu)的向量恢復(fù)問題。具體的講,假設(shè)M、Q和L為3個(gè)正整數(shù),且M<Q,多觀測(cè)向量CS問題可以描述為:

其中:B∈CM×L;A∈CM×Q;X∈CQ×L;N∈CM×L;‖X‖0表示矩陣X中非零行的個(gè)數(shù)。目前常用的MMV信號(hào)恢復(fù)算法大部分是對(duì)已有SMV信號(hào)恢復(fù)算法的擴(kuò)展和改進(jìn),有貪婪算法(如SOMP[15])、凸優(yōu)化算法(如混合范數(shù)法[16])等。
貪婪算法以其算法簡(jiǎn)單、計(jì)算復(fù)雜度低等優(yōu)點(diǎn)被大量應(yīng)用于解決CS問題中,所以本文應(yīng)用該算法來實(shí)現(xiàn)目標(biāo)的定位。貪婪算法的基本思想是迭代地從字典中選擇原子,并計(jì)算相應(yīng)的系數(shù),使得這些原子的線性組合與測(cè)量數(shù)據(jù)之間的差別逐漸減小。SOMP(Simultaneous Orthogonal Matching Pursuit)算 法[12,15]是MMV信號(hào)恢復(fù)算法中的貪婪算法的典型代表,該算法在每次迭代中,一旦原子選定,就采用Gram-Schmidt算法對(duì)當(dāng)前的原子進(jìn)行正交化處理。
文獻(xiàn)[17]給出了水下目標(biāo)定位的稀疏數(shù)學(xué)模型,表述如下:
設(shè)一個(gè)二維區(qū)域中有K個(gè)聲源,接收陣元有M個(gè),l時(shí)刻陣列接收的數(shù)據(jù)可表示為:

其中G=[g(ω0,r1)g(ω0,r2)…g(ω0,rQ)]稱為測(cè)量矩陣,其中
g(ω0,rq)=[g1(w0,rq)g2(w0,rq)…gM(w0,rq)]T,q=1,2,…Q,Q表示搜索空間劃分的柵格數(shù)目,在通常情況下Q≥K。gi(w0,rq),(i=1,2,…,M),表示從位置rq到第i個(gè)陣元之間的格林函數(shù),其中每一個(gè)rq對(duì)應(yīng)一個(gè)可能的聲源位置。L表示快拍數(shù),s*(l)∈CQ表示第l時(shí)刻聲源的發(fā)射信號(hào),不存在聲源的位置對(duì)應(yīng)的s*(l)上的元素為0,n()l分別表示l時(shí)刻的信號(hào)噪聲。
式(3)表示為以下矩陣:

其中:X∈CM×L為陣列接收數(shù)據(jù)矩陣;G∈CM×Q為陣列測(cè)量矩陣;N∈CM×L為噪聲矩陣;S*∈CQ×N聲源發(fā)射的信號(hào),在S*中和聲源位置對(duì)應(yīng)的行元素不為零,其它行對(duì)應(yīng)的元素全都為0,由于聲源的個(gè)數(shù)K≤Q,所以S*具有稀疏性。
圖1給出了二維區(qū)域中匹配場(chǎng)聲源定位的示意圖,其中左邊黑色圓圈部分表示接收陣列,右邊為搜索區(qū)域,此處搜索區(qū)域劃分成若干個(gè)用白色圓圈表示的柵格點(diǎn),灰色圓圈代表聲源(在圖1中聲源數(shù)K=2),為了簡(jiǎn)單起見,在以后的分析中假定聲源在柵格點(diǎn)上(而實(shí)際中聲源不一定在柵格點(diǎn)上)。

圖1 匹配場(chǎng)聲源定位示意圖Fig.1 Schematic of matched field sound localization
根據(jù)以上分析,聲源的定位問題可描述如下:定義1 (水下聲源定位問題)M、Q、L3個(gè)正整數(shù)分別代表傳水聽器陣列的陣元個(gè)數(shù)、環(huán)繞空間的維數(shù)和快拍的個(gè)數(shù),給定測(cè)量矩陣G∈CM×Q和觀測(cè)矩陣X∈CM×L,并且存在一個(gè)S*∈CQ×N使得X=GS*+N,并且S*具有K稀疏性,N∈CM×L為一個(gè)隨機(jī)噪聲矩陣,聲源定位問題要解決的就是通過對(duì)下式的求解來實(shí)現(xiàn)對(duì)聲源位置的估計(jì)。

從以上數(shù)學(xué)模型可以看出,該模型歸結(jié)為一個(gè)典型的MMV問題。為簡(jiǎn)單起見,在以后對(duì)定位問題的分析中,假設(shè)不存在噪聲,但在仿真中對(duì)噪聲對(duì)算法定位性能的影響進(jìn)行分析和說明。在理想情況下,問題(P2)的形式如下

在水聲環(huán)境中,由于聲源個(gè)數(shù)K遠(yuǎn)遠(yuǎn)小于柵格點(diǎn)的個(gè)數(shù)Q,由文獻(xiàn)[18]可知當(dāng)接收陣的陣元數(shù)大于或等于聲源個(gè)數(shù)的2倍,即M≥2K時(shí),G的束等距常數(shù)δ2K(G)以很大的概率小于1,所以(6)有唯一解S=S*[4]。水下目標(biāo)定位需要解決的問題是求解出S的支撐集,確定S的支撐集中的元素所對(duì)應(yīng)的聲源位置,從而實(shí)現(xiàn)水下聲源的定位。
SOMP算法基本思想是通過把觀測(cè)數(shù)據(jù)和數(shù)據(jù)字典中的所有原子做相關(guān)操作,選擇一個(gè)與觀測(cè)信號(hào)最匹配的原子,通過信號(hào)在所選原子的張成空間的正交投影來構(gòu)建觀測(cè)信號(hào)的一個(gè)稀疏逼近,并求出信號(hào)殘差,然后繼續(xù)選擇與信號(hào)殘差最匹配的原子,反復(fù)迭代,信號(hào)可以由這些原子的線性組合再加上最后的殘差值來表示。如果殘差值在可以忽略的范圍內(nèi),則信號(hào)就是這些原子的線性組合[19]。SOMP算法計(jì)算速度快,實(shí)現(xiàn)簡(jiǎn)單,應(yīng)用范圍廣泛。
為了使SOMP算法能夠更好地實(shí)現(xiàn)水下目標(biāo)的定位需要做2方面的工作,首先是對(duì)測(cè)量矩陣G的列向量g(ω0,rq)的所有列向量進(jìn)行標(biāo)準(zhǔn)化,其次是對(duì)觀測(cè)矩陣X的列向量進(jìn)行精簡(jiǎn),下面分別予以介紹。
SOMP算法對(duì)稀疏矩陣進(jìn)行求解時(shí),要用到觀測(cè)矩陣與格林函數(shù)列向量的相關(guān)運(yùn)算,而相關(guān)運(yùn)算的結(jié)果和參與運(yùn)算向量的模成正比。陣列測(cè)量矩陣G的列向量g(ω0,rq)是由位置rq到陣元之間的格林函數(shù)組成,而聲場(chǎng)中格林函數(shù)的模和距離成反比,由于距離較遠(yuǎn)的聲源相對(duì)于陣元的格林函數(shù)的模值比較小,導(dǎo)致觀測(cè)向量X和該點(diǎn)對(duì)應(yīng)的格林函數(shù)列的相關(guān)運(yùn)算結(jié)果比較小,所以SOMP算法對(duì)離陣列較遠(yuǎn)的聲源定位會(huì)產(chǎn)生不利影響。為了克服這種不利影響,我們把測(cè)量矩陣G的所有列向量進(jìn)行標(biāo)準(zhǔn)化,即

很顯然δ2K(G′) 也以很大的概率小于1。
在對(duì)矩陣G進(jìn)行標(biāo)準(zhǔn)化之后,定位問題變?yōu)椋?/p>

需要指出的是,在理想(不存在噪聲)情況下,矩陣G中的列向量進(jìn)行標(biāo)準(zhǔn)化并不對(duì)定位結(jié)果產(chǎn)生影響,即有以下定理:
定理1 (P3)的解與(P4)的解具有相同的支撐集。
證明 假定(P3)的解是Y1,從前面的描述可知Y1=S*,下面證明Y2=DY1是(P4)的解,其中

證明如下:
第一步 證明Y2滿足約束條件。首先證明X=G′Y2。從前面的分析中知道G′和G的關(guān)系為G′=GE,其中

很顯然矩陣D和E互為逆矩陣,即E=D-,所以

所以Y2滿足(P4)的約束條件。
第二步 證明Y2滿足K稀疏。設(shè)Y1的第l行為=(a1,a2,…,aL),通過前面的論述知道Y2的第l行為=(a1‖gl(ω0)‖2,a2‖gl(ω0)‖2,…,aL‖gl(ω0)‖2),由于‖gl(ω0)‖2≠0,所以若是零向量,則也是零向量,反之若是非零向量,則也是非零向量。所以Y1和Y2具有相同的稀疏結(jié)構(gòu),即Y1和Y2均為K稀疏,并且具有同樣的支撐集。
又因?yàn)棣?K(G′) <1,且Y2滿足K稀疏,所以Y2是(P4)的解,且(P4)解的支撐集也是(P4)解的支撐集。
同理可證(P4)解的支撐集也是(P3)解的支撐集。定理證畢
需要指出的是定位問題只需要求解出問題(P4)解的支撐集即可,而不必關(guān)心解的具體值。
當(dāng)(P4)中觀測(cè)矩陣X中的快拍數(shù)比較多時(shí),直接使用壓縮感知算法進(jìn)行定位會(huì)導(dǎo)致分辨性能不穩(wěn)定[19],所以使用SOMP算法前,除了需要對(duì)陣列測(cè)量矩陣進(jìn)行標(biāo)準(zhǔn)化,還需要對(duì)快拍數(shù)進(jìn)行精簡(jiǎn),精簡(jiǎn)過程可以通過對(duì)向量X的奇異值分解(Singular Value Decomposition,簡(jiǎn)稱SVD)來實(shí)現(xiàn),具體的操作方法如下:
對(duì)觀測(cè)向量X進(jìn)行SVD分解
X=UDrVH,其中Dr為一個(gè)r階方陣,并且r=rank(X)。U∈RM×r和V∈RL×r的列向量都為單位正交向量。VH表示V的共軛轉(zhuǎn)置。此時(shí)可以通過如下方法對(duì)X和S′進(jìn)行如下降維:

此時(shí)(P4)就轉(zhuǎn)換成如下的形式:

顯然(P4)和(P5)兩者的解具有相同的支撐集。
可以看出(P5)中XSV的列數(shù)為r,且r≤K,從而克服了多快拍情形對(duì)壓縮感知方法性能的影響。
綜上所述,改進(jìn)后的SOMP算法基本步驟可以歸納如下:
輸入:測(cè)量矩陣G,觀測(cè)數(shù)據(jù)X,誤差容忍項(xiàng)ε輸出:對(duì)S的估計(jì)結(jié)果^S
算法流程:
(1)對(duì)陣列測(cè)量矩陣G進(jìn)行標(biāo)準(zhǔn)化
gq(ω0)=gq(ω0)/‖gq(ω0)‖2,標(biāo)準(zhǔn)化后的矩陣用G′表示。
(2)對(duì)于X通過SVD方法進(jìn)行降維處理,降維后的矩陣用XSV表示。
(3)初始化殘余矩陣X0和索引集S0,使得X0=XSV,S0=Φ,其中Φ為空集,初始化循環(huán)計(jì)數(shù)變量t=1。

(5)St=St-1∪{lt}。
(6)計(jì)算Xt=(I-)XSV,其中為到所張成的空間的正交投影矩陣。
(7)t=t+1,若‖Xt‖2≥ε,轉(zhuǎn)到(4),否則結(jié)束執(zhí)行。
實(shí)驗(yàn)1 水深100m,海水聲速為1 500m/s,海水密度為1.0×103kg/m3;海底聲速為1 800m/s,海底介質(zhì)密度為1.8×103kg/m3。陣元個(gè)數(shù)M=7,陣元在聲場(chǎng)中的橫坐標(biāo)都為0,縱坐標(biāo)分別為10、15、20、25、30、35、40。聲源位置為(1 990,42),(2 490,38)聲源發(fā)射載波頻率為500Hz的非相干LMF信號(hào),SNR=20dB。水平掃描步長為10m,垂直掃描步長為2m,水平掃描范圍為10~80m,垂直掃描范圍是1 000~3 000m,所使用的快拍數(shù)為1。由于此時(shí)信號(hào)的協(xié)方差矩陣不滿秩,所以MVDR匹配場(chǎng)算法失效,在此只比較Bartlett算法和SOMP算法的定位性能,仿真結(jié)果如圖2所示,其中圓圈位置為聲源的實(shí)際位置。(a)為改進(jìn)的SOMP算法的定位效果圖,定位結(jié)果為(1 990,42)、(2 490,38),此時(shí)的水平定位誤差和垂直定位誤差都為0,所以該算法使用單次快拍可以對(duì)聲源進(jìn)行精確定位。(b)為Bartlett算法的定位效果,從中可以看出其只能定位出位置(1 990,42)的聲源,并且具有很高的旁瓣。

圖2 次快拍條件下定位效果比較Fig.2 Comparison of localization performance with single snapshot
實(shí)驗(yàn)2 除了快拍數(shù)變?yōu)?0,其他仿真參數(shù)都與實(shí)驗(yàn)1相同。對(duì)改進(jìn)的S-OMP、MVDR和Bartlett 3種算法的定位性能進(jìn)行仿真比較,結(jié)果見圖3。其中(a)為改進(jìn)的SOMP的定位結(jié)果,可以看出實(shí)現(xiàn)了精確的定位。(b)Bartlett的定位效果圖,從圖中可以看出隨著快拍數(shù)的增加Bartlett的定位效果得到了一定的改善,但是還是存在旁瓣過大的不足。(c)為MVDR的定位效果圖,可以看出相對(duì)于Bartlett算法,其定位效果明顯要好很多,但是和改進(jìn)的SOMP算法比起來還有一定的差距。

圖3 多次快拍定位效果比較Fig.3 Comparison of localization performance with multiple snapshots
實(shí)驗(yàn)3 海洋環(huán)境參數(shù)、掃描步長和掃描范圍與實(shí)驗(yàn)1相同。陣元個(gè)數(shù)M=8,陣元在聲場(chǎng)中的橫坐標(biāo)都為0,縱坐標(biāo)分別為10、15、20、25、30、35、40、45。聲源位置為(1 990,42)、(2 490,38),聲源發(fā)射頻率為500Hz的LMF信號(hào),且信號(hào)相干,SNR=20dB,所使用的快拍數(shù)為200。仿真結(jié)果如圖4所示。其中(a)為改進(jìn)的SOMP算法的定位結(jié)果,(b)、(c)分別為 Bartlett、MVDR 2種算法的定位結(jié)果。從中可以看出聲源信號(hào)的相干性不影響改進(jìn)的SOMP算法的定位性能,而對(duì)后2種定位算法影響比較大,從(b)、(c)可以看出盡管在聲源位置都出現(xiàn)峰值,但是在其它位置還有很多偽峰。
從以上3組仿真可以看出,在快拍缺失、相干源等情況下改進(jìn)的SOMP算法定位效果明顯高于Bartlett算法和MVDR算法。


圖4 相干源定位仿真結(jié)果Fig.4 Comparison of localization performance with coherent sources
本文首先建立了水下目標(biāo)定位的稀疏模型,之后對(duì)測(cè)量矩陣中的列向量的模進(jìn)行標(biāo)準(zhǔn)化,以降低由于距離原因?qū)β曉炊ㄎ恍阅艿挠绊懀⑶彝ㄟ^奇異值分解來對(duì)快拍數(shù)進(jìn)行精簡(jiǎn),使得SOMP算法能夠高效的實(shí)現(xiàn)水下目標(biāo)的定位。仿真結(jié)果表明,在快拍數(shù)很少以致于MVDR定位功能失效時(shí),該方法仍具有很好的定位效果,在相干源情況下,改進(jìn)的SOMP定位算法的性能沒有受到影響,仍然具有較高的分辨率。
[1]Baggeroer A B,Kuperman W A,Mikhalevsky P N.An overview of matched field methods in ocean acoustics[J].Oceanic Engineering,1993,18(4):401-424.
[2]Tolstoy A.Matched Field Proeessing for Underwater Acoustic[M].Singapore:World Scientific Publishing Co Pte Ltd,1993.
[3]Capon J.High-resolution frequency-wavenumber spectrum analysis[J].Proceedings of the IEEE,1969,57(8):1408-1418.
[4]Cox H,Zeskind R,Owen M.Robust adaptive beamforming[J].Acoustics,Speech and Signal Processing,IEEE Transactions on,1987,35(10):1365-1376.
[5]時(shí)潔.基于矢量陣的水下噪聲源近場(chǎng)高分辨定位識(shí)別方法研究[D].哈爾濱:哈爾濱工程大學(xué),2009.
[6]Donoho D L.Compressed sensing[J].Information Theory,IEEE Transactions on,2006,52(4):1289-1306.
[7]Candes E J,Tao T.Decoding by linear programming[J].Information Theory,IEEE Transactions on,2005,51(12):4203-4215.
[8]Needell D,Vershynin R.Signal recovery from incomplete and inaccurate measurements via regularized orthogonal matching pursuit[J].Selected Topics in Signal Processing,IEEE Journal of,2010,4(2):310-316.
[9]Gorodnitsky I F,George J S,Rao B D.Neuromagnetic source imaging with FOCUSS:a recursive weighted minimum norm algorithm[J].Electroencephalography and clinical Neurophysiology,1995,95(4):231-251.
[10]Chartrand R,Yin W.Iteratively reweighted algorithms for compressive sensing[C]//Lagvegas:Acoustics,Speech and Signal Processing,2008.ICASSP 2008.IEEE International Conference on.IEEE,2008:3869-3872.
[11]Cotter S F,Rao B D,Engan K,et al.Sparse solutions to linear inverse problems with multiple measurement vectors[J].Signal Processing,IEEE Transactions on,2005,53(7):2477-2488.
[12]Chen J,Huo X.Theoretical results on sparse representations of multiple-measurement vectors[J].Signal Processing,IEEE Transactions on,2006,54(12):4634-4643.
[13]Van Den Berg E,F(xiàn)riedlander M P.Theoretical and empirical results for recovery from multiple measurements[J].Information Theory,IEEE Transactions on,2010,56(5):2516-2527.
[14]Mishali M,Eldar Y C.Reduce and boost:Recovering arbitrary sets of jointly sparse vectors[J].Signal Processing,IEEE Transactions on,2008,56(10):4692-4702.
[15]Tropp J A,Gilbert A C,Strauss M J.Algorithms for simultane-ous sparse approximation.Part I:Greedy pursuit[J].Signal Processing,2006,86(3):572-588.
[16]Tropp J A.Algorithms for simultaneous sparse approximation.Part II:Convex relaxation[J].Signal Processing,2006,86(3):589-602.
[17]石繪紅.基于稀疏重建的高分辨力匹配場(chǎng)源定位[D].杭州:浙江大學(xué),2013.
[18]Devaney A J.Super-resolution processing of multi-static data using ime-reversal and MUSIC[J].J Acoust Soc Am,2000.
[19]Needell D,Vershynin R.Signal recovery from incomplete and inaccurate measurements via regularized orthogonal matching pursuit[J].Selected Topics in Signal Processing,IEEE Journal of,2010,4(2):310-316.