摘 要： 基于交流相位跟蹤零差補(bǔ)償技術(shù)，采用CORDIC算法檢測光相位變化，并在FPGA中設(shè)計(jì)了CORDIC算法實(shí)現(xiàn)的流水線結(jié)構(gòu)，實(shí)現(xiàn)了對(duì)光相位變化的實(shí)時(shí)檢測。同時(shí)，通過查找表和拋物線插值校正算法解決了CORDIC算法在運(yùn)算中存在的“死區(qū)”問題，實(shí)現(xiàn)了光相位變化的高精度檢測。實(shí)驗(yàn)表明，光相位的誤差精度達(dá)到10-4。此方法具有實(shí)時(shí)性強(qiáng)和精度高的優(yōu)點(diǎn)，適合大量數(shù)據(jù)的高速處理。
關(guān)鍵詞： 光相位檢測；CORDIC；反正弦函數(shù)；查找表；拋物線插值

當(dāng)前，非接觸式測量已經(jīng)逐漸取代接觸式測量，成為測量發(fā)展的方向。而在各種各樣的非接觸式測量方法中，光纖干涉投射技術(shù)測量物體表面形貌的方法，由于其光路具有柔軟、形狀可變、傳輸距離遠(yuǎn)、抗干擾能力強(qiáng)等優(yōu)點(diǎn)，得到了越來越廣泛的應(yīng)用，尤其在各種有強(qiáng)電磁干擾、易燃易爆等惡劣環(huán)境中，光纖干涉投射測量技術(shù)更是有著很高的應(yīng)用價(jià)值。
在光纖干涉投射技術(shù)中，裸露在空氣中的光纖容易受到溫度、振動(dòng)的影響，使臂長差發(fā)生變化，進(jìn)而產(chǎn)生光相位的變化，導(dǎo)致干涉條紋漂移，從而影響到測量的精度[1]。交流相位跟蹤零差補(bǔ)償技術(shù)（PTAC）是實(shí)現(xiàn)光纖相位變化檢測和誤差補(bǔ)償?shù)囊环N關(guān)鍵技術(shù)[2]，其中涉及信號(hào)解調(diào)和相位求解，求解反正弦是相位求解的一種主要方法[2]。在FPGA中，傳統(tǒng)的求解反正弦函數(shù)的主要方法是查找表法[3]，查找表數(shù)據(jù)量的大小和精度緊密相關(guān)，在高精度下，查找表法需要大量存儲(chǔ)單元，另外也需要校正算法來計(jì)算未計(jì)入表中的點(diǎn)，這樣就對(duì)處理器資源提出很高的要求。
針對(duì)傳統(tǒng)反正弦函數(shù)求解方法的缺點(diǎn)，本文采用CORDIC算法求解反正弦值，得到光相位變化并在FPGA中設(shè)計(jì)了CORDIC算法實(shí)現(xiàn)的流水線結(jié)構(gòu)，從而達(dá)到了對(duì)光相位變化的實(shí)時(shí)檢測。同時(shí)，提出采用查找表配合拋物線插值校正算法解決CORDIC算法在運(yùn)算中存在的“死區(qū)”問題。通過實(shí)驗(yàn)驗(yàn)證該了方法的可行性。
1 系統(tǒng)結(jié)構(gòu)
光纖干涉投射系統(tǒng)由激光器、聚焦透鏡和3 dB耦合器等組成。激光器發(fā)出的激光經(jīng)過聚焦透鏡耦合到光纖，經(jīng)3 dB耦合器分光后由兩光纖臂輸出。兩光纖輸出端可被看作是楊氏雙孔干涉中的兩個(gè)小孔，其輸出光由同一點(diǎn)光源發(fā)出，頻率相同，具有恒定的相位差，滿足楊氏雙孔干涉條件，從而在輸出端產(chǎn)生干涉條紋。在實(shí)際測量中，溫度、振動(dòng)的影響使光纖發(fā)生臂長差變化，從而使光相位發(fā)生變化，導(dǎo)致干涉條紋漂移。為解決這一問題，通過PTAC對(duì)光相位進(jìn)行調(diào)制解調(diào)得到光相位變化信息并對(duì)相位誤差進(jìn)行補(bǔ)償。
如圖1所示，光纖干涉投射交流相位跟蹤零差補(bǔ)償系統(tǒng)由激光器、聚焦透鏡、3 dB耦合器、PZT和信號(hào)調(diào)理等部分組成。兩輸出臂分別纏繞在兩個(gè)PZT上，一路作為信號(hào)臂對(duì)光相位進(jìn)行調(diào)制，另一路用作控制和補(bǔ)償。兩條輸出臂投射端面存在反射，反射的光返回到3 dB耦合器中發(fā)生干涉，構(gòu)成馬赫-澤德干涉儀[4]，干涉的光由光電探測器PD接收。信號(hào)臂反射回耦合器的光包含光相位調(diào)制信息，同時(shí)也存在著由環(huán)境影響產(chǎn)生的光相位變化信息。兩束反射光在耦合器中發(fā)生干涉，則光相位調(diào)制信息轉(zhuǎn)化為光強(qiáng)變化，再由光電探測器將光強(qiáng)變化轉(zhuǎn)化為電信號(hào)。

經(jīng)過AD轉(zhuǎn)換后，輸入FPGA進(jìn)行計(jì)算，通過求解反正弦求出?琢。改變驅(qū)動(dòng)器的直流偏置，即改變待測鏡和參考鏡的相位差?琢。再經(jīng)過數(shù)模轉(zhuǎn)換、高壓放大，通過控制PZT2調(diào)整另一輸出臂的長度，使兩光纖臂相位差保持為一正弦函數(shù)，消除溫度振動(dòng)等環(huán)境因素帶來的影響。
2 反正弦算法實(shí)現(xiàn)
2.1 反正弦算法原理
基于CORDIC算法計(jì)算反正弦。數(shù)字信號(hào)處理中常常會(huì)遇到求解超越函數(shù)的問題，如求解矢量旋轉(zhuǎn)、反三角函數(shù)運(yùn)算、雙曲函數(shù)等，CORDIC是為了這些問題而提出的[5]。CORDIC基本思想是用一組確定的角度不斷擺偏去逼近所求的角度，而這一組角度與運(yùn)算基數(shù)（2i）有關(guān)。在硬件電路中，CORDIC運(yùn)算可以只通過加減操作和移位操作實(shí)現(xiàn)，大大節(jié)約了資源。CORDIC算法可由式(3)、(4)、(5)、(6)給出[6]。其中，(xi，yi)是矢量的坐標(biāo)，zi為剩余未旋轉(zhuǎn)的角度。

2.2 反正弦程序設(shè)計(jì)
2.2.1 字長設(shè)計(jì)
輸入值范圍為[-1，1]，輸入FPGA的初值c為12位。選第一位為符號(hào)位，第二位為整數(shù)位，后10位為小數(shù)位。在FPGA中，使用浮點(diǎn)形式計(jì)算小數(shù)比較復(fù)雜，因此，將小數(shù)部分左移10位，化成定點(diǎn)形式運(yùn)算。CORDIC的計(jì)算次數(shù)取決于xi、yi的小數(shù)位數(shù)。如式(8)，用yi與輸入初值c比較，如果yi的小數(shù)位為10位，則最多進(jìn)行10次CORDIC計(jì)算，精度很難保證。因此，設(shè)計(jì)xi、yi的小數(shù)位為22位，在c后面補(bǔ)0，補(bǔ)足22位小數(shù)位，則最多可進(jìn)行22次CORDIC計(jì)算。因?yàn)閦的值域范圍為[-1.570 8 rad，1.570 8 rad]，將z設(shè)計(jì)成25位，z[24]為符號(hào)位，z[23:22]為整數(shù)位，z[21:0]為小數(shù)位。
2.2.2 實(shí)現(xiàn)結(jié)構(gòu)的設(shè)計(jì)
在FPGA中，CORDIC的實(shí)現(xiàn)結(jié)構(gòu)可以選擇迭代結(jié)構(gòu)或流水線結(jié)構(gòu)。迭代結(jié)構(gòu)是直接由公式寫出循環(huán)語句，處理完當(dāng)前數(shù)據(jù)才可以處理下一個(gè)數(shù)據(jù)，缺點(diǎn)是效率低。本設(shè)計(jì)采用流水線結(jié)構(gòu)，流水線結(jié)構(gòu)在數(shù)據(jù)處理的同時(shí)，還能繼續(xù)輸入和處理后續(xù)數(shù)據(jù)，提高了數(shù)據(jù)吞吐率。此外，設(shè)計(jì)中采用前端數(shù)據(jù)處理加22級(jí)CORDIC計(jì)算加后端處理，第一個(gè)數(shù)據(jù)需要24個(gè)時(shí)鐘周期處理完畢，之后每個(gè)周期都可以輸出一個(gè)處理結(jié)果，可以顯著提高數(shù)據(jù)處理速度。
2.2.3 CORDIC結(jié)構(gòu)
本設(shè)計(jì)總共有22級(jí)CORDIC計(jì)算模塊，第i級(jí)CORDIC計(jì)算模塊如圖3所示。yi與|ci|比較，決定di的值，再根據(jù)式(7)來計(jì)算xi+1、yi+1、zi+1，同時(shí)傳遞輸入值的符號(hào)位，在流水線的后端處理模塊處理。若輸入c[11]為1，則結(jié)果為-arcsinc；若輸入c[11]為0，則結(jié)果為arcsinc。

3 算法校正
輸入數(shù)據(jù)范圍為[-1，1]，將計(jì)算結(jié)果與真實(shí)結(jié)果比較，得到誤差分布如圖4所示。

由圖4可見，在橫坐標(biāo)絕對(duì)值為0.6、0.8、0.9附近出現(xiàn)較大誤差，最大誤差達(dá)到10-1數(shù)量級(jí)。CORDIC算法使用的是一種數(shù)值計(jì)算逼近的思想，增減的步長值是離散的，為arctan(2i)。在橫坐標(biāo)絕對(duì)值為0.3、0.6、0.8、0.9附近，CORDIC計(jì)算存在“死區(qū)”。本文采用查找表和拋物線插值校正，在誤差值較大的區(qū)間[c1，c3]，令：

在前端數(shù)據(jù)處理中判斷輸入值是否在需要校正的區(qū)間，若在則進(jìn)行拋物線插值校正。用少量查找表存儲(chǔ)校正區(qū)間端點(diǎn)的反正弦值和分母的比值。選用FPGA為32 bit，在其中設(shè)計(jì)乘法運(yùn)算時(shí)，乘數(shù)和被乘數(shù)最高為16 bit才不會(huì)使數(shù)據(jù)溢出。在所有拋物線插值校正系數(shù)中，區(qū)間[0.95，0.96]上拋物線插值校正的一次項(xiàng)系數(shù)最大為22.108 9。因此選擇高5位為整數(shù)位，低11位為小數(shù)位進(jìn)行運(yùn)算。
4 實(shí)驗(yàn)與仿真
CORDIC程序流程圖如圖5所示，初始化之后，先判斷輸入值c是否在需要校正的區(qū)間。若是，則進(jìn)入拋物線插值校正運(yùn)算；否則進(jìn)行CORDIC運(yùn)算，使x0=1/An，y0=0，z0=0。CORDIC運(yùn)算計(jì)算出一個(gè)小數(shù)的反正弦值需要24個(gè)時(shí)鐘周期，為了保證流水線的機(jī)能，當(dāng)輸入值c在需要校正的區(qū)間時(shí)，插值計(jì)算后的數(shù)據(jù)在CORDIC運(yùn)算模塊中直接傳輸。計(jì)算出反正弦值后，判斷輸入值c的符號(hào)位，如果是0，則c為正數(shù)，反正弦值也為正數(shù)；如果是1，則c為負(fù)數(shù)，反正弦值也為負(fù)數(shù)。

仿真軟件采用ModelSim SE PLUS 6.2b。輸入的c值范圍為[-1，1]，存放在ModelSim的測試激勵(lì)文件中。處理一個(gè)數(shù)據(jù)需要24個(gè)時(shí)鐘周期，之后每個(gè)周期都能輸出一個(gè)數(shù)據(jù)，如圖6所示。

將仿真后的數(shù)據(jù)導(dǎo)入Matlab得到反正弦仿真曲線，如圖7(a)所示，并與理想值對(duì)比，得到如圖7(b)所示誤差曲線，CORDIC計(jì)算部分弧度值精度達(dá)到10-4數(shù)量級(jí)，經(jīng)過校正的部分，誤差從10-1數(shù)量級(jí)降到10-4數(shù)量級(jí)。
本設(shè)計(jì)采用流水線結(jié)構(gòu)，提高了數(shù)據(jù)吞吐率。仿真實(shí)驗(yàn)表明，光相位的誤差精度達(dá)到10-4數(shù)量級(jí)，精度較高，且具有較高的運(yùn)算速度，適合大數(shù)據(jù)量高速處理。
參考文獻(xiàn)
[1] Duan FaJie，Zhang Cong，Zhang Chao，et al.Fourier transform profilometry based on fiber-optic interferometric projection[C]，2009 2nd International Congress on Image and Signal Processing.2009.
[2] 李超．邁克爾遜型全光纖加速度地震檢波器理論與實(shí)驗(yàn)研究[D].天津：天津大學(xué)，2007.
[3] 付雷，陳淑芬，孟彥斌．?dāng)?shù)字式開環(huán)單模光纖陀螺中求arcsine的查表和線性插值法[J]．北京理工大學(xué)學(xué)報(bào)，2003，23(4)：499-502.
[4] 孟克．光纖干涉測量技術(shù)[M]．哈爾濱：哈爾濱工程大學(xué)出版社，2008：67-74.
[5] RAY A.A survey of CORDIC algorithms for FPGA based computers[C].Proceeding.ACM/SIGDA Conference，1998：191-200.
[6] CHANG Y K，Swartzlander.An analysis of the CORDIC algorithm for direct digital frequency synthesis[C].In：IEEE International Conference on ASAP.California，USA：IEEE Press，2002：111-119.