精品国产人成在线_亚洲高清无码在线观看_国产在线视频国产永久2021_国产AV综合第一页一个的一区免费影院黑人_最近中文字幕MV高清在线视频

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

用數(shù)學(xué)證明的方法證明了簡化算法的可行性

SwM2_ChinaAET ? 來源:未知 ? 作者:李倩 ? 2018-07-02 11:52 ? 次閱讀

摘要:

極化碼是目前唯一可以從數(shù)學(xué)角度證明達到香農(nóng)極限的糾錯編碼技術(shù)。但是傳統(tǒng)的譯碼算法、連續(xù)刪除(SC)譯碼和連續(xù)刪除列表(SCL)譯碼算法復(fù)雜度較高,使得譯碼過程有較大譯碼延時。經(jīng)過研究譯碼算法的原理和特點,證明部分節(jié)點的譯碼運算是冗余,提出了SC譯碼和SCL譯碼簡化算法。證明了簡化的譯碼算法在保證譯碼性能不變的前提下,顯著降低了譯碼的復(fù)雜度。

0 引言

2009年ARIKAN E教授提出了極化碼[1],并且通過數(shù)學(xué)方法證明了當(dāng)碼長無限長時其性能可以達到香農(nóng)極限。極化碼一經(jīng)提出就在國際上引起廣泛的關(guān)注,并且在2016年11月3GPP RAN1 #87會議上確定5G eMBB場景控制信道編碼為極化碼。

極化碼在實際應(yīng)用中存在著一些缺點。連續(xù)刪除(Successive Cancellation,SC)譯碼對于長碼有很好的糾錯性能,但是對中短碼長譯碼性能有顯著的降低。為了克服這個問題,學(xué)者們提出了許多改進方法,如置信傳播(Belief Propagation,BP)譯碼算法[2]、線性規(guī)劃(Linear Programming,LP)譯碼算法[3]等。這些算法雖然可以提高一部分譯碼性能,但是譯碼算法的復(fù)雜度太大。一些算法針對SC算法進行了改進,文獻[4]提出了連續(xù)刪除列表(Successive Cancellation List,SCL)譯碼算法,特別是在冗余循環(huán)校驗(Cyclic Redundancy Check,CRC)輔助下的SCL的譯碼性能可以超過最大似然(Maximum Likelihood,ML)譯碼[5]。但同時SCL譯碼的復(fù)雜度也隨之增加。文獻[6]中提出的堆棧SC(SCStack,SCS)譯碼有和SCL譯碼相同的譯碼性能,此外SCS譯碼的時間復(fù)雜度遠(yuǎn)低于SCL譯碼,并且在高的信噪比下可以降低搜索寬度L。

本文對SC譯碼和SCL譯碼進行了算法簡化,降低了算法的復(fù)雜度和時延。并且用數(shù)學(xué)證明的方法證明了簡化算法的可行性。

1 極化碼編碼

Polar Code是一種結(jié)構(gòu)性與迭代性極強的信道編碼技術(shù),其設(shè)計核心理論是對信道的極化,信道極化過程主要包括兩部分[1]:信道聯(lián)合過程和信道分裂過程。

1.1 信道極化[1]

信道聯(lián)合:對已知的二進制離散無記憶信道W進行N次迭代復(fù)制WN:XN→YN,N=2n,并對復(fù)制所得信道進行遞推方式組合。WN和WN之間的轉(zhuǎn)移概率關(guān)系為:

圖1所示為在高斯信道下,碼長為N=4 096的信道極化仿真圖。根據(jù)仿真結(jié)果,可以看出部分信道的信道容量成兩極分化。據(jù)此可以選出I(W)→1的信道傳輸信息比特作為信息位,I(W)→0的信道傳輸固定比特作為凍結(jié)位。

1.2 極化碼編碼

2 SC譯碼算法

把βv傳遞給pv。這時v節(jié)點的譯碼消息傳遞終止,因為在余下譯碼過程中將不會再次激活節(jié)點v。

2.1 簡化的SC譯碼算法

本節(jié)通過簡化傳統(tǒng)譯碼的消息傳遞規(guī)則,簡化了SC譯碼算法。并且證明簡化譯碼算法的譯碼性能是與傳統(tǒng)的譯碼性能相同。

(1)Rate-0節(jié)點

對于Rate-0節(jié)點v,由于它所有后代都是Rate-0節(jié)點,因此當(dāng)v接收到軟信息αv時,不去激活左右的子節(jié)點而直接計算βv:

對于任意dv=n-1的Rate-1節(jié)點一定滿足式(15)。假設(shè)dv=i的Rate-1節(jié)點也滿足(15),于是對于dv=i-1的Rate-1節(jié)點v的子節(jié)點dv=i,滿足式(15)。因此,根據(jù)上面的推導(dǎo)可以證明式(12)成立。

②證明式(13)成立:當(dāng)dv=n時,對Rate-1節(jié)點,式(13)顯然是成立,因此,可以通過歸納法證明dv

2.2 算法復(fù)雜度分析

3 SCL譯碼算法

為了提高SC譯碼算法在碼長較短情況下糾錯能力,SCL譯碼算法被提出,L代表搜索寬度。每次必須有一點被估計,它的可能值0和1都需要被考慮。因為存在L組碼字候選,所以每次新的位估計產(chǎn)生2L組候選路徑,其中一半需要丟棄。因此,路徑度量值(Path Metric,PM)被提出。PM計算如下:

SCL譯碼算法是從根節(jié)點出發(fā),按廣度優(yōu)先的方法對路徑進行擴展;每一層向下一層擴展時,選擇當(dāng)前層中具有較小PM的L條。當(dāng)沒有到達葉節(jié)點而搜索寬度已經(jīng)達到,按照PM的從大到小的排列保留PM小的L條路徑。直到到達葉節(jié)點,然后選取PM最小路徑作為譯碼結(jié)果。

為了進一步提高極化碼的譯碼性能,編碼前在信息比特中添加CRC,然后利用SCL譯碼算法獲得L條搜索路徑,最后借助“正確信息比特可以通過CRC校驗”的先驗信息,對這L條搜索路徑進行挑選,從而得到正確譯碼結(jié)果。

4 簡化的SCL譯碼算法

傳統(tǒng)的SCL譯碼算法每次進行路徑擴展時都會產(chǎn)生2L條路徑,但是對于凍結(jié)比特,由于譯碼結(jié)果是已知的,因此對于凍結(jié)比特不進行路徑擴展,直接判決比特,路徑度量值也不改變,從而減少剪枝算法執(zhí)行的次數(shù),達到降低算法復(fù)雜度的目的。

由上述的譯碼過程分析,式(20)PM的計算可以改為:

因為凍結(jié)比特在譯碼過程中結(jié)果是已知的,所以不需要去選擇路徑,進而PM也不需要計算。另外,由于分裂次數(shù)的減少,剪枝算法也隨之減少,并最終達到了降低算法復(fù)雜度的目的。

5 仿真結(jié)果與分析

如圖4所示,在高斯信道下,碼長為1 024,碼率為0.5,采用二進制相移鍵控調(diào)制,譯碼輸出使用24位CRC校驗。搜索寬度L分別為1,2,4,8,16,32 的CA-SCL譯碼性能,仿真數(shù)據(jù)是106幀,一幀長1 024個比特。仿真結(jié)果表明,隨著L的值增加,誤碼率在逐漸降低,CA-SCL譯碼算法的性能明顯要優(yōu)于SC(L=1)譯碼算法。

6 結(jié)論

極化碼是目前唯一可以通過數(shù)學(xué)證明達到香農(nóng)極限的信道編碼技術(shù),并且已經(jīng)成為5G控制信道的編碼方案。本文詳細(xì)敘述極化碼編譯碼的原理和結(jié)構(gòu),并提出關(guān)于SC譯碼和SCL譯碼的優(yōu)化算法,在不改變譯碼性能的前提下,降低了算法復(fù)雜度。通過對SC譯碼和SCL譯碼的性能進行了仿真分析,結(jié)果表明,隨著搜索寬度L的增加,極化碼的譯碼性更優(yōu),但復(fù)雜度也隨著增加。因此關(guān)于SCL的復(fù)雜度和數(shù)據(jù)吞吐量是下一步研究方向。

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
  • 二進制
    +關(guān)注

    關(guān)注

    2

    文章

    794

    瀏覽量

    41603
  • 編碼技術(shù)
    +關(guān)注

    關(guān)注

    1

    文章

    35

    瀏覽量

    11043
  • 極化碼
    +關(guān)注

    關(guān)注

    0

    文章

    5

    瀏覽量

    4168

原文標(biāo)題:【學(xué)術(shù)論文】簡化的極化碼譯碼算法

文章出處:【微信號:ChinaAET,微信公眾號:電子技術(shù)應(yīng)用ChinaAET】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。

收藏 人收藏

    評論

    相關(guān)推薦

    開關(guān)電源恒功率控制的輸入電壓補償方法

    的可控輸入電壓補償方法,以降低開關(guān)電源的待機功耗。實驗結(jié)果證明了方法可行性。關(guān)鍵詞:電源;功耗/輸入電壓補償;過功率保護
    發(fā)表于 07-26 17:48

    怎么設(shè)計一種基于C805lF020和Zigbee無線網(wǎng)絡(luò)的汽車測試系統(tǒng)?

    本文設(shè)計的基于C805lF020和Zigbee無線網(wǎng)絡(luò)的汽車測試系統(tǒng)實現(xiàn)了汽車試驗中數(shù)據(jù)的無線傳輸,從而簡化了試驗現(xiàn)場布線,提高了試驗效率,一旦試驗事故發(fā)生,損失也大大減少,實驗證明了該系統(tǒng)取代傳統(tǒng)汽車測試系統(tǒng)的可行性,同時系統(tǒng)
    發(fā)表于 05-14 06:45

    電容器充電放電質(zhì)量變化實驗證明了愛因斯坦質(zhì)能公式E=mc2有

    電容器充電放電質(zhì)量變化實驗證明了愛因斯坦質(zhì)能公式E=mc2有局限性摘要 被屏蔽的電容器充電,天平測量,質(zhì)量減輕。證明了愛因斯坦質(zhì)能公式E=mc2有局限性,當(dāng)電
    發(fā)表于 11-14 14:25 ?14次下載

    基于改進遺傳算法的路網(wǎng)路徑優(yōu)化方法

    根據(jù)動態(tài)交通信息模型,遺傳算法求解最優(yōu)路徑問題,并根據(jù)編碼的特點提出了一種新的迭代算子。文章后部分通過計算機仿真證明了算法可行性。軟件實
    發(fā)表于 02-22 15:50 ?10次下載

    基于SOPC技術(shù)的PET瓶缺陷檢測系統(tǒng)設(shè)計

    闡述基于SOPC在圖像處理方面的設(shè)計方法。實際應(yīng)用證明了FPGA在圖像處理的可行性及在處理速度上的優(yōu)勢。
    發(fā)表于 04-02 11:54 ?1118次閱讀
    基于SOPC技術(shù)的PET瓶缺陷檢測系統(tǒng)設(shè)計

    費馬大定理的證明

    提出了一個R猜想和定理,運用初等數(shù)論證明了此定理和R猜想。再利用R猜想成功地證明了費馬大定理;而且反向利用費馬大定理成功地證明了R猜想。說明R猜想與費馬大定理是等效的。
    發(fā)表于 12-07 13:59 ?18次下載

    基于粒子群算法的波導(dǎo)縫隙天線的優(yōu)化設(shè)計

    以電流分布逼近作為目標(biāo)函數(shù),將基本粒子群算法引入到波導(dǎo)縫隙天線的設(shè)計優(yōu)化中,通過HFSS軟件和Matlab軟件相結(jié)合的仿真方法取得了比較理想的仿真結(jié)果,證明了算法引入的
    發(fā)表于 01-12 10:30 ?39次下載
    基于粒子群<b class='flag-5'>算法</b>的波導(dǎo)縫隙天線的優(yōu)化設(shè)計

    如何利用區(qū)塊鏈進行存在證明

    如果了解區(qū)塊鏈原理后,你可以很輕松的理解如何用區(qū)塊鏈進行存在證明,上圖VB手拿最新以太坊區(qū)塊鏈高度和地址,再配以他的圖片很好的證明了他于區(qū)塊生成后的那個時點的存活證明,其實這并不新鮮
    發(fā)表于 09-22 09:00 ?1467次閱讀

    難以證明又無法推翻的黎曼猜想被證明了嗎?

    黎曼猜想是眾多尚未解決的最重要的數(shù)學(xué)問題之一,被克雷數(shù)學(xué)研究所列為待解決的七大千禧問題,懸賞百萬美金證明或者證偽。一百年前希爾伯特就曾被問過一個問題 “假定你能死而復(fù)生,你會做什么?”,他的回答是,“我會問黎曼猜想是否已經(jīng)解決”
    的頭像 發(fā)表于 09-25 09:47 ?7300次閱讀

    中科院以內(nèi)部討論組的形式做了關(guān)于證明黎曼猜想的報告

    李忠利用Riech度量嚴(yán)格證明了黎曼假設(shè)。他的證明數(shù)學(xué)家Atiyah(阿蒂亞老爵爺,此前曾做過黎曼猜想證明的報告)證明的關(guān)系可以簡述如下:
    的頭像 發(fā)表于 10-18 10:33 ?6366次閱讀

    區(qū)塊鏈技術(shù)已經(jīng)從五個方面的應(yīng)用領(lǐng)域中證明了其潛力

    區(qū)塊鏈技術(shù)完全實革命的,但尚未成為主流。區(qū)塊鏈技術(shù)已經(jīng)證明了從網(wǎng)絡(luò)安全,智慧交通和供應(yīng)鏈物流等領(lǐng)域的應(yīng)用潛力。
    發(fā)表于 10-18 12:40 ?510次閱讀

    如何實現(xiàn)PBFT的數(shù)學(xué)證明

    在實際的拜占庭容錯中,如果N = 3F + 1,N個節(jié)點的系統(tǒng)可以容忍F個故障節(jié)點。 實際拜占庭容錯系統(tǒng)中的每個決策都需要2F + 1批準(zhǔn),其中Fare是故障節(jié)點。 我們現(xiàn)在將在數(shù)學(xué)上證明上述兩個定義,它們是彼此的推論。以下計算是斯坦福大學(xué)筆記中數(shù)學(xué)
    發(fā)表于 08-09 11:48 ?2759次閱讀
    如何實現(xiàn)PBFT的<b class='flag-5'>數(shù)學(xué)</b><b class='flag-5'>證明</b>

    AI系統(tǒng)在外部驗證測試中證明了自己的才能

    AI系統(tǒng)在外部驗證測試中證明了自己的才能。在這里,它對近600個惡性和良性現(xiàn)實結(jié)節(jié)中的三分之一進行了重新分類,其準(zhǔn)確要比研究人員和開發(fā)人員進行比較的傳統(tǒng)風(fēng)險模型好得多。
    的頭像 發(fā)表于 07-02 16:51 ?2210次閱讀

    一種可以編碼局部信息的結(jié)構(gòu)T2T module,并證明了T2T的有效

    證明了通過精心設(shè)計的Transformer-based的網(wǎng)絡(luò)(T2T module and efficient backbone),是可以打敗CNN-based的模型的,而且不需要在巨型的訓(xùn)練集(如JFT-300M)上預(yù)訓(xùn)練。
    的頭像 發(fā)表于 03-11 16:21 ?2819次閱讀
    一種可以編碼局部信息的結(jié)構(gòu)T2T module,并<b class='flag-5'>證明了</b>T2T的有效<b class='flag-5'>性</b>

    LED照明的可行性和先進

    電子發(fā)燒友網(wǎng)站提供《車LED照明的可行性和先進.doc》資料免費下載
    發(fā)表于 11-15 10:59 ?0次下載
    車<b class='flag-5'>用</b>LED照明的<b class='flag-5'>可行性</b>和先進<b class='flag-5'>性</b>