Professional Documents
Culture Documents
Elements of Polar Codes
Elements of Polar Codes
MATLAB“è3N¹£kç ¤
có
u[d
498699845@qq.com
8 ¹
11Ù µ•£ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 ?›‚5©|è†SÈ J2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 4zè µVg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
13Ù 4zè?è . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.1 4zè E . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 4zè)¤Ý 5Ÿ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.3 šXÚ4zè?èL§ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.4 XÚ4zè?èL§ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
14Ù G1-žÈè . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.1 •Ý•2 4zè SCÈèL§ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.2 •Ý•2n 4zè SCÈèL§. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
4.3 ¯„SCÈèŽ{ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.4 'A€=SCÈèì . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
4.5 SCÈèì3?è¥ A^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.5.1 ^SCÈèì?1XÚ4zè ?è. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
. II . 8 ¹
ë•©z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
. IV . 8 ¹
11Ù µ•£
§ 1.1 ?›‚5©|è†SÈ J2
ùp‰Ñ˜ •Ä Vg"
½Â 1.1 ‚5˜m
V ´˜‡š˜8ܧF ´˜‡ê•§XJµ
A0 : V ¥ ƒk\{§T\{÷véu?¿α, β ∈ V §k•˜γ ∈ V ´αÚβ Ú"d'X
PŠα + β = γ.
A1 : \{ †Æ§éu?¿α, β ∈ V §kα + β = β + α.
A2 : \{(ÜƧéu?¿α, β, δ ∈ V §k(α + β) + δ = α + (β + δ).
A3 : \{" ƒ§•30 ∈ V §éu?¿α ∈ V §kα + 0 = α.
A4 : \{K ƒ§éu?¿α ∈ V §•3β ∈ V §÷vα + β = 0.
M0 : V ¥ ƒ ÚF ¥ ê k ¦ { § T ¦ { ÷ v é u ? ¿k ∈ F Ú ? ¿α ∈ V § k •
˜ξ ∈ V ´kÚα ¦È"d'XPŠξ = kα.
M1 : ¦{ü §F ¥ ¦{ü P•1§éu?¿α ∈ V §k1α = α.
M2 : ¦{(ÜƧéu?¿k, l ∈ F Ú?¿α ∈ V §kk(lα) = (kl)α.
M3 : V ¥ ƒ© Ƨéu?¿k, l ∈ F Ú?¿α ∈ V §k(k + l)α = kα + lα.
M4 : F ¥ ƒ© Ƨéu?¿k ∈ F Ú?¿α, β ∈ V §kk(α + β) = kα + kβ.
.2. 11Ù µ•£
½Â 1.2 ?›‚5©|è
K × N ‘Ý G1÷•§G¥ ƒ $Ž½Â3GF(2)þ"G 1P•g1 , g2 , ..., gK §
PC = span{g1 , g2 , ..., gK }§ ¡C´ ? › ‚ 5 © | è §G´C )¤Ý §N ´ ‚ 5 © |
èC •Ý§K´‚5©|èC &E'Aê§R = K/N ´‚5©|èC èÇ"?¿•
þx ∈ span{g1 , g2 , ..., gK } Ñ´‚5©|èC èi"
/‚50 ¿g´C¥ ¤kèi ¤˜‡‚5˜m"C¥ ƒ \{´•þ ÊÏ\{
, 2§C¥¦{´éu?¿x ∈ C§k0x = 0, 1x = x"Œ± yC÷v‚5˜m ¤k‡
¦"Š 5¿ ´C¥\{" ƒ´ 0•þ§?¿˜‡ ƒ \{K ƒÑ´T ƒ "
/©|0 ¿g´˜‡èi•Ý´k• "
/è0´• †››?è"
½Â 1.3 Ý
C )¤Ý ´G§¦)G "˜mµGx = 0§ N − K‡‚5Ã' •þ"
r ùN − K‡ ‚ 5 à ' •þü¤˜‡Ý § ˜ ‡N × (N − K)‘ Ý § r ù
‡N × (N − K)‘Ý =˜§ (N − K) × N ‘Ý H§H¡•G Ý "þãL§Œ
Lˆ•GHT = OK×(N −K) "
½Â 1.4 ‚5©|èC¥ SÈ
? x, y ∈ C, x = (x1 , ..., xN ), y = (y1 , ..., yN )§Kx, y SȽ•⊕N
i=1 xi yi §Ù¥⊕L
« 2\{"
½Â 1.5 Eê•þ SÈ
V ´Eê•Cþ ‚5˜m§éu?¿α, β ∈ V §$Žhα, βi (J´C¥•˜ ˜‡
ê"d §hα, βie„÷ve¡¤k5Ÿ§K¡hα, βi´αÚβ SÈ"
(i). hα, βi = hβ, αi.
(ii). éu?¿α, βγ ∈ V §khα + β, γi = hα, γi + hβ, γi.
(iii). éu?¿k ∈ CÚ?¿α, β ∈ V §khkα, βi = k hα, βi.
(iv). hα, αi ≥ 0§…hα, αi = 0 ⇔ α = 0.
½Â 1.6 éêq,'
?›Ñ\& W ÑÑÎÒy ∈ Y éêq,'£Log-Likelihood Ratio§LLR¤ ½Â
Xeµ
W (y|0)
L(y) = ln . (1.2)
W (y|1)
1
R(A)L«Ý A ¤k‚5|ܧK(A) L«÷vAx = 0 ¤k )
.4. 11Ù µ•£
½Â 1.7 ?›Ñ\lÑÃPÁé¡&
`W ´ ?›Ñ\lÑÃPÁé¡& £Binary-Input Discrete Memoryless output-Symmetric
Channel§BI-DMSC¤§D´•W =£VÇäkXe5Ÿµ
(i) •3˜‡˜†π§÷vπ = 1¶ 2
1X
PeML (W ) = min {W (y|0), W (y|1)} . (1.5)
2
y∈Y
Xp
Z(W ) = W (y|0)W (y|1). (1.6)
y∈Y
½n 1.3
0 ≤ Z(W ) ≤ 1,
(1.8)
PeML (W ) ≤ Z(W ).
y² 1 ˜ ‡ ª f ¥ 1 ˜ ‡ Ø Ò ´ w , § 1 ‡ Ø Ò^Ä Ø ªy²"
p
dmin {W (y|0), W (y|1)} ≤ W (y|0)W (y|1) 1 ‡ªf"
dPeML (W ) ≤ Z(W )Œ„§Z(W )´PeML (W ) þ.§Ïd§3vkPeML (W )äNŠ œ¹
e§Z(W )Œ±oÑL«W Œ‚5"
íØ 1.1
Z(W ) = 1 ⇒ PeML (W ) = 0.5,
(1.9)
Z(W ) = 0 ⇒ PeML (W ) = 0.
1 X X W (y|x)
I(W ) = W (y|x) log2 . (1.10)
2 Pr(y)
x∈{0,1} y∈Y
½n 1.4
2 p
log2 ≤ I(W ) ≤ 1 − Z(W )2 . (1.11)
1 + Z(W )
½n 1.5
N
X
I(X1 , ..., XN ; Y ) = I(Y ; Xi |X1 , ..., Xi−1 ). (1.12)
i=1
I(W ) ≤ I(Q),
y² d½Â1.11´ "
ds √ ds r
X d X 2RdEb
PeML ≤ PeML,UUB = Ad Q( )= Ad Q( ). (1.14)
σ N0
d=d1 d=d1
Eb Es
Ù¥N0 = 2σ 2 ´pd\5xD( ü>õÇ̗ݧ N0
´&E'A&D'§ N 0
´ux
.8. 11Ù µ•£
Es Eb
ÎÒ&D'§Ù'X• RN 0
= RN0 §¿g´¤kUþÑ^uDÑ&E" ½n¥Es = 1§ù
´Ï^‰{µ(ŒãUþ8˜z"
y²L§¥·‚•Ä éÜ©Ù•(XN N N N N N
1 , Y1 )§éuz‡¢yŠ(x1 , y1 )§kPr(x1 , y1 ) =
−N R N
2
Pr(x1 ) Pr(y1 |x1 ) = 2πσ2 N/2 exp{− i=1 (yi − si ) /2σ }§Ù¥si = 1 − 2xi "3e¡ Qã
N N N 2 2
P
y²
(a) X X
PeML = Pr(x, y)I(DecML (y) 6= x)
x∈X y∈RN
(b) X X
= 2−N R Pr(y|x)
(1.15)
x∈X y∈∪xi 6=x Ωxi
ds √
(c) X d
= Ad Q( ).
σ
d=d1
(ii) X X
≤ Pr(y|x) + ... + Pr(y|x)
y∈Ω(x1 ,x) y∈Ω(x ,x)
2N R −1
(iii) X X
= [ Pr(y|x) + ... + Pr(y|x)]
y∈Ω(xi ,x) y∈Ω(xi ,x)
1 Ad
1
X X (1.16)
+[ Pr(y|x) + ... + Pr(y|x)]
y∈Ω(xi ,x) y∈Ω(xi ,x)
Ad +1 Ad
1 2
+ ...
X X
+[ Pr(y|x) + ... + Pr(y|x)]
y∈Ω(xi ,x) y∈Ω(xi ,x)
Ad +1 Ad
s−1 s
√ √ √
(iv) d1 d2 ds
= Ad1 Q( ) + Ad2 Q( ) + ... + Ads Q( ).
σ σ σ
Ù¥ Ò(i)´Ï•Ωxi , 1 ≤ i ≤ 2N R üü؃ "
Ø Ò(ii)´ Ï • · ‚ r z ˜ ‡ ¦ Ú « • Ñ C Œ µΩxi ⊂ Ω(xi ,x) = {y| Pr(y|xi ) >
Pr(y|x), xi 6= x}"
Ò(iii)rØ Ò(ii) 2N R − 1‘© a§z˜a^¥)Ò Ñ5"©a •{´µ
†¤kx DzålƒÓ èi´˜a§˜‡¥)ÒS ¤kèixAdi +1 , ..., xAdi+1 †x Dz
ål´di+1 §g,/§1i‡¥)Ò¥kAdi ‘"
Ò(iv)´Ï•µ ,‡èi'Axi †x Dzål´d§@o§‚ü‡BPSKN›&Òƒ
√ √
•δ = (1 − 2xi ) − (1 − 2x)§w,||δ|| = 2 d§¿g´xi †x îªål´2 d"dd§Ø
√ √
”b x u˜‘ê¶ d?§ xi u− d?§K3AWGN& ¥§k y∈Ω(x ,x) Pr(y|x) =
P
R +∞ 1 −α2 /(2σ2 ) √ i
√ √ e
d σ 2π
dα = Q( d/σ)"U©a5K§(iv) z‡¥)Ò¥ xiAd +1 , ..., xiAd †x
i i+1
p
ålÑ´di+1 §Ïd˜‡¥)Ò¥ z˜‘Ñ uQ( di+1 /σ)§l Ò(iv) ¤á"
Q,é?¿˜‡x ∈ X kþª¤á1 §Kz‡ y∈∪x 6=x Ωx Pr(y|x)Ñ´þª OŽ(J"Ï
P
i i
• k2N R ‡ y∈∪x 6=x Ωx Pr(y|x)§¤±†ª(1.15)¥ Xê2−N R -ž§ª(1.15)¤á"y."
P
i i
√ q q q
2d (∗) 2dEs 2RdEb
ª(1.14)¥1 ‡ Ò´Ï• σd = N 0
= N0 = N0 § Ò(*) ´Ï•Es = 1"
1
ù´dX ‚5û½ "
. 10 . 11Ù µ•£
100
P(256,128,8),L=32
P(256,128,8),L=256
-1 P(256,128,8),UUB
10
P(512,256,8),L=32
P(512,256,8),L=256
P(512,256,8),UUB
10-2
BLER
-3
10
10-4
10-5
10-6
1 1.2 1.4 1.6 1.8 2 2.2 2.4 2.6 2.8 3 3.2 3.4
Eb/N0 (dB)
½Â 1.12 äþ ,
XJÖö„Ø• Ÿo´SCÈèì§@oŒ±k
1
ÑV‘ SCÈèì Q㧠Ö
YÙ!ƒ 2£5w"
1.2 4zè µVg . 11 .
0 16 23
ã 1.2 ,ÚLá ~f
½Â 1.13 äþ Lá
i´˜† äþØŠ!: ?¿˜‡!:§liÑu§÷ äþ ë ‚§Ši À
H••r˜g§ ˆi m¯f§2li m¯fÑu§˜´•ÜH••r§ù˜L§¡•i 3
äþ Lá"iLá i m¯fù˜Ú´7Lk §li m¯fÑuŠÜH••Lá
L§ŒkŒÃ§Œ±‘žÊŽ"i 3LáL§¥rL ë ‚ ãꧡ•i Lágê"
äþ•k“!:ØULá§z‡!:Lá •ª:Ñ´“!:"˜‡Lá ~fXã1.2
¤«§Ù¥ùÚ!:Lágê´3g"
AO/§Š!:•Œ±LᧅŠ!: 1˜gLáØ•••µŠ!: 1˜gLáQ
Œ± ˆ§ †¯f§•Œ± ˆm¯f" ´ Š!:Lá § ,‡¯fƒ §Lá
••7L´ÜH••"Š!: ü«Lá “!: L§Xã1.2¥ ‘‚¤«"5¿Š!:
Ø´7LLá “!:"
(U 1,U 2,Y1,Y2 )
x1 y1
W2(1)(y12 | u1 ) u1 W (y1 | x 1 )
W2(2)(y12, u1 | u2 ) u2 x2 y2
W (y 2 | x 2 )
(X1, X 2,Y1,Y2 )
ã 2.1 4zèN = 2
. 14 . 12Ù •Ý•2 ˜ 4zè
X
Pr(Xi1 = xi1 , ..., Xis = xis ) = Pr(X1 = xi1 , ..., XN = xiN )
{1,...,N }\{i1 ,...,is }
X
= Pr((U1 , ..., UN ) = (u1 , ..., uN ) = (x1 , ..., xN )G−1 )
{1,...,N }\{i1 ,...,is }
(a) X 1 2N −s 1
= N
= N
= s.
2 2 2
{1,...,N }\{i1 ,...,is }
(2.1)
−N
Ò(a)´Ï•éu?¿(U1 , ..., UN )kPr(U1 , ..., UN ) = 2 "ÓnŒ Pr(Xj1 = xj1 , ..., Xjt =
1 1
xjt ) = 2t ÚPr(Xi1 = xi1 , ..., Xis = xis , Xj1 = xj1 , ..., Xjt = xjt ) = 2s+t § =Pr(Xi1 =
xi1 , ..., Xis = xis ) Pr(Xj1 = xj1 , ..., Xjt = xjt ) = Pr(Xi1 = xi1 , ..., Xis = xis , Xj1 = xj1 , ..., Xjt =
xjt )§y."
(1) (a) X
W2 (y1 , y2 |u1 ) = Pr(y1 , y2 , u1 )/P (u1 ) = 2 Pr(y1 , y2 , u1 , u2 )
u2
(b) 1X (c) 1 X
= Pr(y1 , y2 |u1 , u2 ) = Pr(y1 , y2 |x1 , x2 ) (2.2)
2 u 2 u
2 2
(d) 1X
= W (y1 |u1 ⊕ u2 )W (y1 |u2 ).
2 u
2
(2)
DÑ& S u2 4z& W2 (y1 , y2 , u1 |u2 ) =£VÇ•µ
(2) (a)
W2 (y1 , y2 , u1 |u2 ) = Pr(y1 , y2 , u1 , u1 )/P (u2 ) = 2 Pr(y1 , y2 , u1 , u2 )
(b) 1 (c) 1
= Pr(y1 , y2 |u1 , u2 ) = Pr(y1 , y2 |x1 , x2 ) (2.3)
2 2
(d) 1
= W (y1 |u1 ⊕ u2 )W (y1 |u2 ).
2
(2) (1)
½n 2.3 I(Y1 Y2 ; U1 ) ≤ I(Y1 Y2 U1 ; U2 )§=W2 D4&E Uå'W2 Œ"
. 16 . 12Ù •Ý•2 ˜ 4zè
(a) (b)
y² I(Y1 Y2 U1 ; U2 ) = I(U2 ; Y2 ) + I(U2 ; Y1 U1 |Y2 ) = I(X2 ; Y2 ) + I(U2 ; Y1 U1 |Y2 )§Ù¥
Ò(a)´p&Eóª{K§ Ò(b)´Ï•X2 = U2 "duI(U2 ; Y1 U1 |Y2 ) ≥ 0§¤±I(Y1 Y2 U1 ; U2 ) ≥
I(W )§qÏ•I(Y1 Y2 ; U1 )+I(Y1 Y2 U1 ; U2 ) = 2I(W )§¤±kI(Y1 Y2 U1 ; U2 ) ≥ I(W ) ≥ I(Y1 Y2 ; U1 )§
y."
(2) (1)
þ¡ ½nÒ´4zy– Ä:µW2 'W2 äk•Œ & Nþ" 蕪uá
ž§4z& Nþš"=˜§ù˜:ò3e˜!`²"
(1) (2) (2) (1)
e¡ ½nQã W2 ÚW2 nA næXê 'XµZ(W2 ) Š §Z(W2 ) Š
Œ"
½n 2.4
(1)
Xq (1) (1)
Z(W2 ) = W2 (y1 , y2 |0)W2 (y1 , y2 |1) ≤ 2Z(W ) − [Z(W )]2 ,
y1 ,y2
X q
(2)
Z(W2 ) =
(2) (2)
W2 (y1 , y2 , u1 |0)W2 (y1 , y2 , u1 |1) = [Z(W )]2 , (2.4)
y1 ,y2 ,u1
(2) (1)
Z(W2 ) ≤ Z(W ) ≤ Z(W2 )
(2)
y² 1 ‡ªf y²^W2 ½Â´ § 1˜‡Ú1n‡ªfy² •§žë•©
z[3]¥ ·K5"©z[3] p1n‡ªfy²L§¥¦^ D‰ÅdÄØ ª§D‰ÅdÄØ
ª•x ˜«í2 m¥ ål A:§ž5¿ëêak Úbk (¹A^"D‰ÅdÄ
Ø ªkëêp > 0§p > 1Úp < 1 žØ ª ••Ø˜ §ž5¿"
(1) (2)
½n 2.5 W2 W2 .
(2)
y² |^W ‰q "Äk5¿ W2 (y1 , y2 , u1 |u2 ) ÑÑÎÒ8Ü•(Y1 , Y2 , U1 )§|^
(2)
~1.4¥ öŠ§ò(Y1 , Y2 = y2 , U1 )éA ¤k Ü¿£3W2 =£Ý ¥ O|Y| × 2 ƒ
(2)
\¤§25¿ X2 = U2 §= & W (y2 |x2 ) = W §ÏdW W2 "
(1)
e ¡ ` ²W2 W" W ´BI-DMSC… é A ˜ † ´π§ K • 3 & P (y1 , y2 |y) =
1 (1) P
2 [W (y2 |0)δ(y1 = y) + W (y2 |1)δ(y2 = π(y))]¦ W2 (y1 , y2 |u1 ) = y∈Y W (y|u1 )P (y1 , y2 |y)§
Ù¥δ(x) L«XJx Ü6Š1§Kδ(x) = 1§XJδ(x)L«XJx Ü6Š0§Kδ(x) = 0"
(1) (2)
ÏdW2 W W2 §y."Ty² g©z[4]"
2.1 •Ý•2 4zè . 17 .
1
Z(W)
Z(W(1)
2
)
0.8
Z(W(2)
2
)
I(W)
0.6 I(W(1)
2
)
I(W(2)
2
)
PML
e
(W)
0.4
PML
e
(W(1)
2
)
PML
e
(W(2)
2
)
0.2
0
0 0.1 0.2 0.3 0.4 0.5 0.6
p
(1) (2)
ã 2.2 W •BSCž§W !W2 ÚW2 éA PeML !IÚZ
y² |^½Â1.11Ú½Â2.1´ "
(1) (2)
~ 2.1 W´ ?›é¡& £Binary Symmetric Channel§BSC¤ž§W2 ÚW2 ~
(1) (2)
f" W VÇ´p§KW §W2 ÚW2 =£Ý Xe£Pp = 1 − p¤"
p p
W = , (2.5)
p p
(1) 1 p2 + p2 2pp 2pp p2 + p2
W2 = , (2.6)
2 2pp p2 + p2 p2 + p2 2pp
(2) 1 p2 p2 pp pp pp pp p2 p2
W2 = . (2.7)
2 p2 p2 pp pp pp pp p2 p2
0
W = , (2.8)
0
(1) 1 2 2 22 0 0 (a) 2 2 − 2 0
W2 = = . (2.9)
2 0 0 22 2 2 0 2 − 2 2
(2) 1 − 2 2 0
W2 = . (2.10)
0 2 1 − 2
u1 W2(1) x1
W4(1)
W
u2 W (2)
x2
W4(2) 2
W
u3 W (1)
x3
W4(3) 2
W
u4 W (2)
x4
W4(4) 2
W
ã 2.3 •Ý•4 4zè
u W4(1) W2(1) x1
W8(1) 1 W
第二列和第三列
(2)u2 W4(2) W2(2) x2
W8 W 的上半部分是长
u 度为4的极化码
W8(3) 3 W4(3) W2(1) x3
W
u4 W (4)
W2(2)
W8(4) 4 x4
W
u W4(1) W2(1) x5
W8(5) 5
W
W4(2) W2(2) x6
W8(6)u6 第二列和第三列
W
u7 W4(3) W2(1) x7 的下半部分是长
W (7)
8 W 度为4的极化码
u8 W4(4) W2(2) x8
W8(8) W
½Â 2.2 Wý˜†
`˜‡m1 m2 ×m1 m2 Ý Sm1 ,m2 ´˜‡Wý˜†Ý §D´•Sm1 ,m2 äkXe A5"
Sm1 ,m2 (a1 , a2 , a3 , ..., am1 m2 )T = (a1 , am1 +1 , a2m1 +1 , ..., a(m2 −1)m1 +1 ,
(2.12)
a2 , am1 +2 , a2m1 +2 , ..., a(m2 −1)m1 +2 , ..., am1 , a2m1 , a3m1 , ..., am2 m1 )T .
íØ 2.2
STm1 ,m2 = S−1
m1 ,m2 = Sm2 ,m1 . (2.13)
Sm1 ,m2 (Bm2 ,n2 ⊗ Am1 ,n1 ) = (Am1 ,n1 ⊗ Bm2 ,n2 )Sn1 ,n2 (2.14)
½Â 2.3 4zè?è
•Ý•N 4zè ?èL§Œ± ¤GF(2)þ Ý ¦{µ
xN N
1 = u1 GN . (2.15)
Ù¥xN
1 = (x1 , x2 , ..., xN )´èi'A§u1 = (u1 , u2 , ..., uN ) ´&
N
S "± ·‚Ñ^
ù PÒL«•þ§=aji = (ai , ai+1 , ..., aj )"XJj < i§Kaji uŸo•vk"
léÜ©ÙPr(UN N N
1 , Y1 )Ñu§Ù¥U1 ´N ‘& ‘ÅCþ§UN
1 ¥¤k ƒÕáÓ©
Ù§U1 ∼ Bernoulli(1/2)§UN
1 ²Lª(2.15)?è XN N
1 §uxX1 § Â&ÒYN
1 §·‚Œ
± e¡ > !^‡ ©Ù§¡•4z& "
½Â 2.4 4z&
1i‡& 'Aui ¤²{ 1i‡4z& äkXe ^‡©Ù§ù‡^‡©Ù•ØL
´Pr(UN N
1 , Y1 ) > !^‡©Ù"
(i) i−1
WN (yN N i
1 , u1 |ui ) = Pr(y1 , u1 )/ Pr(ui )
X 2 X
=2 Pr(yN N
1 , u1 ) = N
Pr(yN N
1 |u1 )
Pr(u1 ) N
uN
i+1 ui+1 (2.16)
N
1 X (a) 1 XY
= Pr(yN N
1 |x1 ) = W (yi |xi ).
2N −1 2N −1 i=1
uN
i+1 uN
i+1
Ù¥xN
1 = u1 GN §
N
Ò(a)´Ï•& W ´ÃPÁ "
(i)
þ ª ¥WN L « V Ç 8 ¼ ê § ƒ uPr§ • ^ 5 “ • 1i‡ 4 z & " X Ó = £ V
(i) i−1 i−1
ÇW (y|x) ½ Â ˜ § & WN (yN 1 , u1 |ui ) 1 Úu1 § = 4 z &
Ñ \ ´ui § Ñ Ñ ´yN
(i)
WN Ø=U*ÿ Ôn& W ÑÑyN 1 §„U*ÿ 'AŠ(u1 , u2 , ..., ui−1 )"ù´Ï
•4zè¦^G1-žÈè§ lu1 m © Å ˜ O& 'A§† uN " Ï d § 3 È
èui ž§(u1 , u2 , ..., ui−1 ) ŠÑ®²¼ § ŠÈèui ¤I‡ ‡""
(1) (2)
¢§‚ Ÿþ†•Ý•2 4zè ü‡4z& W2 ÚW2 ¤Lˆ ¹Â ˜ "
½Â 2.6 4z ¬
˜‡•Ý•2 4zè¡•˜‡2 × 24z ¬§=ã2.1Ò´2 × 24z ¬"
前i-1个2×2
极化模块
u1 u2被传输 WN(1)/2 (y1N /2 | u1 u2 )
u1
u 3 u4 被传输 WN(2)/2 (y1N /2 , u1 u2 | u 3 u 4 ),已经知道前一个信道 WN(1)/2的输入 u1 u2
u2
GN /2 y1N /2
. .
. .
u3 . .2i 4
u2i 3 u2i 2被传输 WN(i/21)(y1N /2, u1,o u1,2ie4 | u2i 3 u2i 2 ),已经知道前i 2个信道的所有输入 u1,2io4 u1,2ie4
u4
. u2i 1 u2i 被传输 WN(i/2) (y1N /2 , u1,2io2 u1,2ie2 | u2i 1 u2i ),已经知道前 i 1个信道的所有输入 u1,2io2 u1,2ie2
. . .
. . .
u 2i 3 . .
u 2i 2 下半部分信道的含义类似
u2被传输 WN(1)/2 (yNN /2+1 | u2 )
u2i 1
u 4被传输 WN(2)/2 (yNN /2+1, u2 | u 4 )
u2i . .
GN /2 yNN /21
. . .
. 第i个2×2 . .N
. 极化模块 u2i 2被传输 W (i 1)
N /2
(yN /2+1, u 2i 4
1,e
| u2i 2 )
ã 2.5 4z& 48 ¹Â
gƒ˜§e¡·c[)º˜eª(2.17)Ú(2.18) í "
(b) 1 X N/2
= WN/2 (y1 |uN N N N
1,e ⊕ u1,o )WN/2 (yN/2+1 |u1,e )
2N −1
uN
2i
(c) 1 X X N/2
= WN/2 (yN 2i N
N/2+1 |u1,e , u2i+1,e ) WN/2 (y1 |u2i 2i N N
1,e ⊕ u1,o , u2i+1,e ⊕ u2i+1,o )
2N −1
uN
2i,e uN
2i,o
(d) 1 X X 1
= WN/2 (yN 2i N
N/2+1 , u1,e , u2i+1,e )
2N −1 u2i uN
Pr(uN1,e )
2i+1,e
X N/2 1
WN/2 (y1 , u2i 2i N N
1,e ⊕ u1,o , u2i+1,e ⊕ u2i+1,o )
Pr(uN N
1,e ⊕ u1,o )
uN N
2i+1,o ⊕u2i+1,e
(e) X N/2
=2 WN/2 (yN 2i
N/2+1 , u1,e )WN/2 (y1 , u2i 2i
1,e ⊕ u1,o )
u2i
Ü{0, 1} N/2−i
"y3§du u1 ‡¦ÚÒ§¤±uN 2i+1,e ù˜Ü©´‰½ Š§Œ±r
¦ Ž – ¤(0, 1, ..., 0)ù ˜‡äN • þ " o ƒ § éu2i+1,o ⊕ u2i+1,e ¦ Ú § • , H 8
N N
Ü{0, 1} N/2−i
¥ ¤kŠ§ÏdØUC¦Ú (J§•´3¦Ú L§¥UC ¦Ú‘ ^
−N/2
S", §5¿ Pr(uN N N
1,e ) = Pr(u1,e ⊕ u1,o ) = 2 o´¤á"
(e): ·‚Ñ• ªf ‰ÝK£
P
X Pr(X = x, Y = y) = Pr(Y = y)§ù‡¯¤±•
Ñ, ‘ݤ"ù˜ÚÒ´r¦Ú ¯‡3VÇ¥ K"ù Ò ¤ OŽ"
ª(2.18) OŽL§Ø1Úª(2.17)aq§ …„•{ü§3‰ÖöŠ•öS"
½Â 2.7 . d
n´šK ê§N = 2n §{0, 1, ..., N − 1}´dëY›?›g,ê ¤ 8ܧrT8
Ü¥ ›?›êÐm¤n ?›ê 8ÜB = {(000...000), (000...001), (000...010)..., (111...111)}§
Ke¡ ü‡XÚ . d"
XÚ .1µ ÑB ˜‡f8Bs §OŽBs ¥ ƒÓB¥ ƒêþ '~"ù‡(Jw
,´|Bs |/N §Ù¥|B|L«Bs ¥ ƒ êþ"
XÚ .2µ˜‡‘ÅXÚzg¬ÑÑB¥ ˜‡ ƒ"²LÚOuyB¥z‡ ƒÑy
Vǃ §Ñ´1/N " ÑB ˜‡f8Bs §OŽe˜gT‘ÅXÚÑÑ ƒáuBs
Vǧù‡VÇw,´|Bs |/N §Ù¥|B| L«Bs ¥ ƒ êþ"
Ïd§ ¤kü:¯‡u) Vǃ ž§ :f8Bs ¥ ƒ êþÓo :êþ
'~⇔ :f8Bs éA¯‡u) VÇ"
3e¡ Q㥧·‚ 8I´OŽ/'~0§ ¤^ óä´˜ {ü /VÇ0"
. 26 . 12Ù •Ý•2 ˜ 4zè
½Â 2.8 In ½Â
In ´‘ÅCþ§In ¤k¢yŠ´•Ý•N = 2n 4zè¥N ‡4z& Nþ Š§
…In ¤k¢yŠÑy Vǃ §Ñ´1/N "
~ 2.3 I0 , I1 , In ©ÙÇXeL"
I0 I(W )
Pr 1
(1) (2)
I1 I(W2 ) I(W2 )
Pr 1/2 1/2
(1) (2) (N )
In I(WN ) I(WN ) ... I(WN )
Pr 1/N 1/N ... 1/N
½Â 2.9 Zn ½Â
Zn ´‘ÅCþ§Zn ¤k¢yŠ´•Ý•N = 2n 4zè¥N ‡4z& nA næ
Xê Š§…Zn ¤k¢yŠÑy Vǃ §Ñ´1/N "
~ 2.4 Z0 , Z1 , Zn ©ÙÆXeL"
Z0 Z(W )
Pr 1
(1) (2)
Z1 Z(W2 ) Z(W2 )
Pr 1/2 1/2
(1) (2) (N )
Zn Z(WN ) Z(WN ) ... Z(WN )
Pr 1/N 1/N ... 1/N
2.3 •Ý•2n 4z茈& Nþ . 27 .
1
2n , ÷In−1 , ..., I1 , I0 ŒˆŠ!:,
Pr(In , In−1 , ..., I1 , I0 ) = (2.21)
0, š{ ¼ê§Ø•3uä/‘ÅL§¥.
d QãI‡Xe ½Â"
½Â 2.10 ^‡Ï"
‘lÑ‘ÅCþ(X, Y ) éÜ©ÙPr(X = x, Y = y)®•§Kkµ
X X P (X = x, Y = y)
E {X|Y = y} = xP (X = x|Y = y) = x . (2.22)
x x
Pr(Y = y)
E {In+1 |In , ..., I0 } = In+ Pr(In+1 = In+ |In , ..., I0 ) + In− Pr(In+1 = In− |In , ..., I0 )
(a) 2n 2n (b)
= I+ +
n+1 n n+1
In− = In .
2 2
I (W )
I (W2(1) ) I (W2(2) )
I (W16(1) ) I (W16(2) )I (W16(3) ) I (W16(4) )I (W16(5) ) I (W16(6) )I (W16(7) ) I (W16(8) ) I (W16(9) ) I (W16(10) ) I (W16(11) ) I (W16(12) ) I (W16(13) ) I (W16(14) )I (W16(15) ) I (W16(16) )
I (W32(1) ) I (W32(2) ) I (W32(3) ) I (W32(4) ) I (W32(5) ) I (W32(6) ) I (W32(7) ) I (W32(8) )I (W32(9) ) I (W32(10) ) I (W32(11) ) I (W32(12) )I (W32(13) ) I (W32(14) ) I (W32(15) ) I (W32(16) ) I (W32(17) ) I (W32(18) ) I (W32(19) ) I (W32(20) )I (W32(21) ) I (W32(22) ) I (W32(23) ) I (W32(24) ) I (W32(25) ) I (W32(26) ) I (W32(27) ) I (W32(28) )I (W32(29) ) I (W32(30) ) I (W32(31) ) I (W32(32) )
E {Zn+1 |Zn , ..., Z0 } = Zn+ Pr(Zn+1 = Zn+ |Zn , ..., Z0 ) + Zn− Pr(Zn+1 = Zn− |Zn , ..., Z0 )
1 + (a)
= (Zn + Zn− ) ≤ Zn .
2
Ù¥Ø Ò(a)´Ï•ª(2.4)"
½Â 2.11 Úþ
E{|Zn+1 − Zn |} → 0. (2.26)
(a) X1 1
= [ |zn2 − zn | + |ξ − zn |] Pr{zn } (2.27)
z
2 2
n
(b) 1X 1
≥ zn (1 − zn ) Pr{zn } = E{Zn (1 − Zn )}.
2 z 2
n
I∞ 0 1
Pr 1 − I0 I0
²OŽ[!§ùpØI‡[!•UwÃ"
. 30 . 12Ù •Ý•2 ˜ 4zè
þªV¹/È('Aجц0"·‚ÏLÏéć†ØSCÈè'A •ª§r†Ø¯
‡?1y©"¯‡/ć†ØSCÈè'A´ui 0• ´e¡ù‡8ܵ
i−1 i−1
Bi = {(uN N
1 , y1 )|ûi = ui−1
i , ûi 6= ui } = {(uN N
1 , y1 )|ûi = ui−1
i , ui 6= SC(ui−1 N
1 , y1 )}
(a)
i−1 N
⊂ {(uN N
1 , y1 )|ui 6= SC(u1 , y1 )} (2.29)
(b)
i−1 i−1
⊂ {(uN N N N
1 , y1 )| Pr{y1 , u1 |ui } ≤ Pr{y1 , u1 |ui ⊕ 1}} = Ei
(a)´Ï•·‚ K •›^‡§8ÜCŒ"
u1 œ¹"·`ù‡´ŽžÐÆö«©ˆ«œ/§˜Ù/w˜Lˆª ¹Â"
¤kŒU †Ø¯‡•E = ∪N
i=1 Bi = ∪i∈A Bi §Ù¥AL«&E'A ˜§=È(
'Aϕجц¤±Ø•Ä"ÏLþ¡ ©Û·‚• éuz‡i§Bi ⊂ Ei §l E =
∪i∈A Bi ⊂ ∪i∈A Ei "@o·‚kµ
X
Pr{E} ≤ Pr{∪i∈A Ei } ≤ Pr{Ei } (2.30)
i∈A
2.3 •Ý•2n 4z茈& Nþ . 31 .
(a) X
Pr{Ei } = Pr{uN N N N
1 , y1 }I{(u1 , y1 ) ∈ Ei }
(uN N
1 ,y1 )
s
i−1
(b) X Pr{yN
1 , u1 |ui ⊕ 1}
≤ Pr{uN N
1 , y1 } i−1
Pr{yN1 , u1 |ui }
(uN N
1 ,y1 )
s (2.31)
i−1
(c) X Pr{yN
1 , u1 |ui ⊕ 1}
= Pr{ui1 , yN
1 } i−1
Pr{yN1 , u1 |ui }
(ui1 ,yN
1 )
s
i−1
1 X Pr{yN
1 , u1 |ui ⊕ 1}
(d)
(i)
= Pr{ui−1
1 , yN
1 |ui } N i−1
≤ Z(WN ).
2 i N Pr{y1 , u1 |ui }
(u1 ,y1 )
(i)
X X
Pr{E} ≤ Pr{Ei } ≤ Z(WN ). (2.32)
i∈A i∈A
½Â 2.13 4z& À 5K
·‚3N ‡4z& ¥À K‡4z& 5DÑ&E'Až§·‚o´À K‡äk
• n¼Xê 4z& "
. 32 . 12Ù •Ý•2 ˜ 4zè
X (i) β
Pr{E} ≤ Z(WN ) = o(2−N ). (2.33)
i∈A
§ 3.1 4zè E
(i)
è••N = 2n …&E'Aê•K 4zè E§• ´3N ‡4z& WN , 1 ≤ i ≤ N
¥À K‡/•Œ‚4z& 0§^±DÑ&E'A"4z& Œ‚5˜„5ùdn«•I
(i) (i) (i)
5ïþ§©O´é¡NþI(WN )!n¼XêZ(WN )Ú•Œq, û†ØÇPeML (WN )µ
(i) i−1
(i) 1 X X (i) i−1 WN (yN
1 , u1 |ui )
I(WN ) = WN (yN
1 , u1 |ui ) log2 P (i)
,
2 WN (yN i−1
ui ∈{0,1} (yN i−1
)∈Y N ×{0,1}i−1 u∈{0,1} 1 , u1 |u)
1 ,u1
q
(i) (i) (i)
X
i−1 i−1
Z(WN ) = WN (yN N
1 , u1 |0)WN (y1 , u1 |1),
i−1
(yN
1 ,u1 )∈Y N ×{0,1}i−1
(i)
½Â 3.1 Z(WN )þ.Ž{[3]
. 34 . 13Ù 4zè?è
(i) (i)
ù´™ù´•{ü EŽ{"3þ˜Ù ©Û¥·‚• 34zL§(WN , WN ) →
(2i−1) (2i)
(W2N , W2N )¥e§¡ ªf¤áµ
(2i−1) (i) (i)
Z(W2N ) ≤ 2Z(WN ) − [Z(WN )]2 ,
(3.2)
(2i) (i)
Z(W2N ) = [Z(WN )]2 .
(i)
Ù¥1˜‡ªfp Ò¤á …= WN ´BEC" ´·‚3¢^|µe§Ø'
%BEC& ¥ 4zè Dѧ¤±ù‡ Ò˜„ Ø " ´·‚Œ±•¶•ê§M`ù
(i) (i) (2i−1) (2i)
‡ Òo´¤á§@o3(WN , WN ) → (W2N , W2N ) L§¥ ¤kOŽ(JÑ´4Ü
§¤I$Ž•k¦{Ú\{§Œ±`´š~{ü "e¡§·‚b DÑèi'A &
W (y|x)äkZ(W ) = 0.5§@o3 Ž{e§ N = 8ž§4zè EL§Xe¡ ~f
¤«"
(2i−1) (2i)
• )ûù‡¯K§·‚Äk‡ŽÑW2N ÚW2N ¥LLR Lˆªµ
(2i−1) 2i−2
(2i−1) 2i−2 W2N (y2N
1 , u1 |u2i−1 = 0)
L2N (y2N
1 , u1 ) = ln (2i−1) 2i−2
W2N (y2N
1 , u1 |u2i−1 = 1)
(i) 2i−2 2i−2 (i)
2i−2
WN (yN 2N
P
(a) u2i 1 , u1,o ⊕ u1,e |u2i )WN (yN +1 , u1,e |u2i )
= ln P (i) (i)
2i−2 2i−2 2i−2
u2i WN (yN 2N
1 , u1,o ⊕ u1,e |u2i ⊕ 1)WN (yN +1 , u1,e |u2i )
(3.3)
(i) 2i−2 2i−2 (i) 2N 2i−2
LN (yN
1 ,u1,o ⊕u1,e )+LN (yN +1 ,u1,e )
(b) e +1
= ln (i) 2i−2 2i−2 (i) 2i−2
LN (yN
1 ,u1,o ⊕u1,e ) LN (y2N
N +1 ,u1,e )
e +e
(i)2i−2 2i−2 2i−2 (i)
L (yN
1 , u1,o ⊕ u1,e ) L (y2N
N +1 , u1,e )
= 2 tanh −1
(tanh N tanh N ).
2 2
(i) i−1
ÎÒLN (yN
1 , u1 )L«•Ý•N 4zè¥1i‡4z& LLR§§ ¹Â2þª¥´
Ï^ " Ò(a)´4z& ^‡VÇ 48OŽ§þ˜Ù®²ùL¶ Ò(b) ?©f©1Ó
(i)
2i−2 2i−2 2i−2 (i)
žØ±WN (yN 2N
1 , u1,o ⊕ u1,e |1)WN (yN +1 , u1,e |1)§¿|^LLR ½ÂŒ ¶ Ò(c)|^
x+y −1
e +1
ð ªln ex +ey = 2 tanh (tanh(x/2) tanh(y/2))"
2i−2 2i−2 (i)
2i−2 (i)
duÎÒ LE,§·‚e¡^xL«LN (yN
1 , u1,o ⊕u1,e )§^y L«LN (yN +1 , u1,e )§
2N
(2i−1) 2i−2
^zL«L2N (y2N
1 , u1 )§@oþª²L{üC/Œ µ
aq/§·‚kµ
(2i) 2i−1
(2i) 2i−1 W2N (y2N
1 , u1 |u2i = 0)
L2N (y2N
1 , u1 ) = ln (2i) 2i−1
W2N (y2N
1 , u1 |u2i = 1) (3.5)
2i−2(i)2i−2 2i−2 (i)
= (1 − 2u2i−1 )LN (yN 2N
1 , u1,o ⊕ u1,e ) + LN (yN +1 , u1,e ).
2i−1 (2i)
Ï•·‚b & S ´0§¤±u2i ´0"-s = L2N (y2N
1 , u1 )§ µ
s = x + y. (3.6)
êµ
Z +∞ Z +∞
1 (z−E{z}) 2 1 (x−E{x}) 2
p tanh(z/2)e− 4E{z} dz = [ p tanh(x/2)e− 4E{x} dx]2 .
−∞ 4πE{z} −∞ 4πE{x}
(3.9)
Òü>¦^ pdCqb µ¤kÑy ‘ÅCþÑ´• •þŠü pd‘ÅC
R +∞ 1 (α−t) 2
− 4t
þ"-φ(t) = 1 −−∞
√
4πt
tanh(α/2)e dα£φ(x)¯¢þ´«m(0, +∞)þ üN4~
¼ê§φ(0) = 1, φ(+∞) = 0§ ù‡5Ÿ y² E,§ÒÑ ¤§kµ
1
éuþ¡1˜‡©ã§·‚kφ−1 (x) = ( 0.0218−ln
0.4527
x 0.86
) , 0.3848 < x ≤ 1"
pπ −x 10
éuþ¡1 ‡©ã§·‚Œ± yφ(x) = x e 4 (1 − 7x ), x ≥ 10´üN~¼ê"–
¦φ−1 (x) =?§ü>Óž φ§kφ(?) − x = 0"dd§Œ^¦)φ(?) − x = 0": •ª)
Ñ? Š"
φ(x)Úφ−1 (x) ã”Xã3.2¤«"
(i) (i) (2i−1) (2i)
34zL§(WM , WM ) → (W2M , W2M )¥§Øä¦^ª(3.8)Ú(3.10)§† OŽ–ý
(i)
½èi•ÝN "3WN ¥§À äk•Œ LLRþŠ 4z& Š•DÑ&E'A & §
¤4zè E"
5
(x)
-1
(x)
4 f(x) = x
f(x)
2
0
0 1 2 3 4 5
x
ã 3.2 φ(x)Úφ−1 (x) ã”
1 function u = GA(sigma, N)
2 u = zeros(1, N);
3 u(1) = 2/sigmaˆ2;
4 for i = 1 : log2(N)
5 j = 2ˆ(i - 1);
6 for k = 1 : j
7 tmp = u(k);
8 u(k) = phi_inverse(1 - (1 - phi(tmp))ˆ2);
9 %You can realize phi(x) and phi_inverse(x) in your own way.
10 sum_iter = sum_iter + num_iter;
11 u(k + j) = 2 * tmp;
12 end
13 end
14 u = bitrevorder(u);
15 end
(i) q q +q qi +qj
´µ(a). 3WN ¥§íØ [ pqii ]Ú [ pjj ]§2 \ [ pii +pjj ]§ \ ˜‡÷v pqkk < pi +pj <
qk+1 (i) p
pk+1 §= \3 1k Ú 1k + 1 ƒm¶(b). 3WN ¥§íØ [ pqii ]Ú [ qjj ]§2 \
pi +pj pi +pj ps+1
[ qi +qj ]§ \ ˜‡÷v pqss < qi +qj < qs+1 §= \3 1s Ú 1s + 1 ƒm"²
LþãöŠ §ÑÑÎÒêþ' & 2‡"
(1) (1)
5¿ kžWN ÑÑÎÒêþؘ½´óê§~X W •BEC& ž§WN ÑÑ
1− /2 /2 0
ÎÒêþ•3 "ùŒ±ÏL ©W
N
íØÎÒ5;•µW = [ 1− 0
0 1− ]§Q = [ 0 /2 /2 1− ]§
w,W Q, Q W §ÏdW ÚQvk?Û«O"
e¡·‚Qã©z[6]¥ A‡(Ø"
y² K©Ò´ "
ª(3.14)`²Ü¿ÑÑÎҞ؇ªLª(3.12)¥m ©¬‚§Ø,p&E¬›”CŒ¶
ª(3.15)`²éª(3.12)¥ ÎÒÜ¿ž§‡éeIëY ÎÒ?1Ü¿£ÏL4팕¤§
ÄKp&E›”CŒ"
3.1 4zè E . 41 .
PN
ai
éuü‡?¿ ê (a1 , a2 , ..., an )Ú(b1 , b2 , ..., bn )§kmin1≤i≤N { abii } ≤ Pi=1
N ≤ max1≤i≤N { abii }"
i=1 bi
, keª¤áµ
R xi − −(x−1)2 P − (ξk −1) 2 (ξ −1)2
e 2σ 2 dx (a) (b) − k2σ2
qi xi−1 e 2σ 2 e (c) 4xi
= R −(x+1) 2 = Pk (ξ +1)2 ≤ max{ (ξ +1)2 } = e 2σ2 (3.17)
pi xi
e− 2σ2 dx − k2σ2 k k
xi−1 ke e− 2σ2
xi
e 2σ 2 dx ke e− 2σ2
y."
þ¡ ½n`²Ø+NoþzBPSK-AWGN& §•‡Uìqi Úpi ½ÂOŽ§Ù'ŠÒ
´,S §XÛ©• Œ¶Ø´é-‡"˜«• ©••ª´ZyØ©•§ùž\ò ˜
1
R +∞ − (x+1)2
‡ VÇ• σ 2π 0 e
√ 2σ 2
dx BSC& "©z[6] ¥‰Ñ ˜«©••ª§ y þz
lÑ& ج' 5 ëY& /€ õ0§k, ÖöŒ± Ö"
y3u•Íx³ §ù˜‡u• è EŽ{"
§ 3.2 4zè)¤Ý 5Ÿ
(i)
• Ý •N ! & E • • Ý •K 4zè E § Ò ´ lWN , 1 ≤ i ≤ N ¥ À K‡ • Œ
⊗ log2 N
‚ 4z& L§§ù & ¢Ú ¤8ÜA§N × N Ý GN = BN F ¥]Ñ
8ÜAéAK1§/¤(N, K)4zè )¤Ý " !·‚=©ÛGN = BN F⊗ log2 N 5
⊗ log2 N
Ÿ"GN = BN F ´˜‡š~ % Ý §§ 5Ÿ õ § Ù·0 A‡~^ 5
Ÿ"ù 5Ÿ Ñ´®²•3 §Ø´· z"ù 5Ÿƒé©Ñ§vk²wk 'X§¤
± Ù•”˜‡úªÃþ"
! (ØŒõ®²š~ P§•`Øþy² 8áuX£‡ Øáu·¤§ATÒ´<
a k "C c5 (طщ Ñ?"
y² ^8B{y²"
ÞµN´ yFF = I2 "
⊗k ⊗k
8Bb µF F = I2k "
e˜Úµ
F⊗k O
F⊗(k+1) = (3.20)
F⊗k F⊗k
⊗k ⊗k ⊗k ⊗k
F O F O F F O
F⊗(k+1) F⊗(k+1) = = (a)
= I2k+1 .
⊗k ⊗k ⊗k ⊗k ⊗k ⊗k ⊗k ⊗k ⊗k ⊗k
F F F F F F +F F F F
(3.21)
Ò(a)¦^ 8Bb "
⊗n
e¡·‚w˜wF fÝ "˜m A:"
½n 3.2 8ÜA ⊂ {1, 2, 3, ..., 2n }§Ac = {1, 2, 3, ..., 2n } \ A" ÑF⊗n ¥1¢Úá
⊗n
uA 1§/¤˜‡fÝ §PŠFA ¶q ÑF ¥ ¢Ú uAc ¥ §/¤˜‡fÝ §
PŠF:,Ac §KFA F:,Ac = O§¹Â´FA "˜m´F:,Ac "
~ 3.2 n = 4žkµ
v0 = (1111111111111111),
v1 = (1111111100000000),
v2 = (1111000011110000), (3.22)
v3 = (1100110011001100),
v4 = (1010101010101010).
½Â 3.6 •þÅ ¦{
αÚβ´•Ý•N 1•þ§Kαβ = (α1 β1 , α2 β2 , ..., αN βN )"
v0 ,
...
vi1 vi2 ...vik , i1 , i2 , ..., ik p؃ §i1 , i2 , ..., ik ∈ {1, 2, ...., n}.
3.2 4zè)¤Ý 5Ÿ . 45 .
y² 8B{"
ν0 = (v0 , v0 ),
k
ν1 = (v0 , 021 ),
ν2 = (v1 , v1 ),
(3.24)
ν3 = (v2 , v2 ),
...
νk+1 = (vk , vk ).
k
Ù¥021 L«•Ý•2k "•þ"^½Â3.5Œ± yþª (5"þ¡¤k •þ
¥§•kν1 ' Aϵ٘§•kν1 ØU^/¿üü‡˜ v0 /ªLˆ¶Ù §?Û•
þÚν1 Å ƒ¦§OŽ(J ˜ŒÑ¬C¤""ùéu·‚ ÑF⊗(k+1) Lˆªµ
F⊗k O
F⊗(k+1) = . (3.25)
F⊗k F⊗k
•â½Â3.7§Rk+1
k+1 1dνi , 0 ≤ i ≤ k + 1¤kŒU ¦È ¤"·‚rù ¦È©•ü
aµ•¹ν1 §±9Ø•¹ν1 "
. 46 . 13Ù 4zè?è
...
k
(vj1 vj2 ...vjk , 021 ) j1 , j2 , ..., jk p؃ §j1 , j2 , ..., jk ∈ {1, 2, ...., k}.
...
(vj1 vj2 ...vjk , vj1 vj2 ...vjk ) j1 , j2 , ..., jk p؃ §j1 , j2 , ..., jk ∈ {1, 2, ...., k}.
y² én^8B{"
Þµ n = 2§v1 = (1100)§v2 = (1010)§v1 v2 = (1000)§½n¤á"
8Bb µ n = kž §i1 , i2 , i3 , ..., ij ∈ {1, 2, 3, ..., k}§ …i1 , i2 , i3 , ..., ij p Ø ƒ §
Kvi1 vi2 ...vij ¥1 ‡ê´vi1 vi2 ...vij−1 ¥1 ‡ê ˜Œ"
e˜Úµ n = k + 1ž§Ø•Äν0 §2g^n = kž 1•þ{v0 , v1 , v2 , ..., vk }L«n =
k + 1ž 1•þ{ν1 , ν2 , ..., νk+1 }µ
k
ν1 = (v0 , 021 ),
ν2 = (v1 , v1 ),
ν3 = (v2 , v2 ), (3.28)
...,
νk+1 = (vk , vk ).
k
ν1 νi2 ...νij−1 = (vi2 −1 ...vij−1 −1 , 021 ). (3.29)
k
ν1 νi2 ...νij−1 νij = (vi2 −1 ...vij−1 −1 vij −1 , 021 ). (3.30)
. 48 . 13Ù 4zè?è
k k
νi1 νi2 ...νij−1 νij = (vi1 −1 ...vij−1 −1 v0 , vi1 −1 ...vij−1 −1 021 ) = (vi1 −1 ...vij−1 −1 , 021 ). (3.32)
νi1 νi2 ...νij−1 νij = (vi1 −1 ...vij−1 −1 vij −1 , vi1 −1 ...vij−1 −1 vij −1 ). (3.33)
y² dv ½ÂŒ "
ν0 ,
...,
νi1 νi2 ...νik , i1 , i2 , ..., ik p؃ §i1 , i2 , ..., ik ∈ {1, 2, ...., n}.
(v0 , v0 )
n−1
(v0 , 021 ), (vj , vj ) j ∈ {1, 2, ...., n − 1},
...
(vj1 vj2 ...vjk , vj1 vj2 ...vjk ) j1 , j2 , ..., jk p؃ §i1 , i2 , ..., ik ∈ {1, 2, ...., n − 1}.
. 50 . 13Ù 4zè?è
n−1
Ù¥•AÏ „´ν1 = (v0 , 021 )"3ª(3.36)¥]Ѧȥ‘kν1 ‘µ
n−1
(v0 , 021 )
n−1
(vj , 021 ) j ∈ {1, 2, ...., n − 1},
n−1
(vj1 vj2 , 012 ) j1 6= j2 , j1 , j2 ∈ {1, 2, ...., n − 1}, (3.37)
...
n−1
(vj1 vj2 ...vjk−1 , 021 ) j1 , j2 , ..., jk−1 p؃ §j1 , j2 , ..., jk ∈ {1, 2, ...., n − 1}.
(v0 , v0 )
...
(vj1 vj2 ...vjk , vj1 vj2 ...vjk ) j1 , j2 , ..., jk p؃ §j1 , j2 , ..., jk ∈ {1, 2, ...., n − 1}.
Pk−1 i Pk i
n Cn−1 n−1 Cn−1
±w § è i ' Ax21 d ü Ü © ¤ § © O ´α1 i=0
Rk−1 + β1 i=0
Rn−1
k = a+
Pk i
i=0 Cn−1
bÚβ1 Rn−1
k = b" ±Rnk • ) ¤ Ý RM •C1 § ±Rn−1
k •)¤Ý RM•C2 §
n−1
±Rk−1 •)¤Ý RM•C3 §K•3ù 'Xµc ∈ C1 , b ∈ C2 , a ∈ C3 , c = (a + b|b)§Ù¥
ç‚/—0´Ò´‡©¬ÎÒ"ddÚ\e¡ ½Â"
½Â 3.8 Bar E
C1 ÚC2 ´ü‡•Ýƒ ‚5©|è" a ∈ C1 , b ∈ C2 §Pc = (a + b|b)"w,§¤
kc ¤ ˜‡‚5©|è§P•èiC3 "¡C3 ´dC1 ÚC2 ÏL/Bar E0 §kžù
« E•P•C3 = (C1 + C2 |C2 )"
y² † y=Œ"Äk§\‡ y(α1 |0), ..., (αr1 |0), (β1 |β1 ), ..., (βr2 |βr2 ) ƒm‚5Ã
'¶Ùg§\‡ yC3 ¥?¿˜‡ ƒÑU^(α1 |0), ..., (αr1 |0), (β1 |β1 ), ..., (βr2 |βr2 ) L«"
Ún 3.7 C3 = (C1 + C2 |C2 )§Kdmin (C3 ) = min{dmin (C1 ), 2dmin (C2 )}§Ù¥dmin (∗)L«˜
‡èi • Dz-þ"ù‡Ún`² dmin (C3 )جӞ udmin (C1 )Ú2dmin (C2 )"
dþ¡ü‡ªfŒ dmin (C3 ) ≥ dmin (C1 )Ú2dmin (C2 )§l dmin (C3 ) ≥ min{dmin (C1 ), 2dmin (C2 )}"
nþ§dmin (C3 ) = min{dmin (C1 ), 2dmin (C2 )}"
. 52 . 13Ù 4zè?è
e¡´˜‡²;½n"
y² én^8B{"
Þµn = 1, k = 0ž§R10 ¤kèi•(11), (00)§dž• Dzål´2 = 21−0 §½n
¤á¶n = 1, k = 1ž§R11 ¤kèi•(10), (11), (00), (01)§dž• Dzål´1 = 21−1 §
½n¤á"
8Bb (n − 1)µ±Rn−1
k •)¤Ý RMè • Dzål´2n−1−k "
e˜Ú(n)µ±Rn0 •)¤Ý RMè•kü‡èi§ 1èiÚ 0èi§¤±Ù•
n−1
Dzål´2 n
= 2 n−0
§½n(ؤá" 1 ≤ p ≤ n− 1§PRp−1 •èiC1 §Rn−1
p •è
iC2 §Rnp •èiC3 "dª(3.34) Ú½Â3.8§kC3 = (C1 + C2 |C2 )"2dÚn3.7§kdmin (C3 ) =
(a)
min{dmin (C1 ), 2dmin (C2 )} = min{2n−1−p+1 , 2 × 2n−1−p } = 2n−p § ½ n ( Ø ¤ á § Ù ¥
Ò(a)´8Bb " p = n§Rnn ´Œ_Ý §ÏLpdž Œ ü Ý §¤±• Dzål
•1 = 2 n−n
§½n(ؤá"y."
ÏLþ¡P• Q㧷‚ªu‡ 4zè • Dz-þ A: "
½Â 3.9 'A˜†9ÙéA Ý
−1
N = 2n §é•Ý•N •þaN
0 = (a0 , a1 , ..., aN −1 ) ?1÷vXe^‡ ˜†π§ù
«˜†πÒ¡•'A˜†"
(a)
(a0 , a1 , ..., aN −1 ) = (a<01 ,...,0n >2 , a<11 ,...,1n >2 , ..., a<N −11 ,...,N −1n >2 )
(3.42)
π
→ (a<0π(1) ,...,0π(n)>2 , a<1π(1) ,...,1π(n) >2 ), ..., a<N −1π(1) ,...,N −1π(n) >2 ).
½Â 3.10 Ý ü« d¢Ú {
N = 2 §PAi,j ´Ý
n
N × N ‘A¥ 1i11j ƒ§< i1 , i2 , ..., in >2 L«i
?›Ðm§< j1 , j2 , ..., jn >2 L«j ?›Ðm§@oe¡ü«PÒµ
` ´Ó˜‡ ƒ"
⊗n
Ún 3.9 PFi,j ´F⊗n ¥1i1!1j ƒ§i n ?›ÐmP•< i1 , i2 , ..., in >2 §j n
⊗n Qn
?›ÐmP•< j1 , j2 , ..., jn >2 §KFi,j = β=1 Fiβ ,jβ "
Ù¥Fiβ ,jβ o«ŒU Š•F0,0 = 1, F0,1 = 0, F1,0 = 1, F1,1 = 1"Fiβ ,jβ ¯¢þÒ´F o
‡ ƒ§eIL«1 Òµ
1 0 F0,0 F0,1
F= = (3.45)
1 1 F1,0 F1,1
y² ¦^8B{"
⊗n Qn
Þµ n = 1ž§dª(3.45)Œ„§Fi,j = β=1 Fiβ ,jβ ²…¤á"
⊗k Qk
8Bb µ n = kž§Fi,j = β=1 Fiβ ,jβ ¤á"
e˜gµ n = k + 1ž§Œ± Ñe¡ ªfµ
F0,0 F⊗k F0,1 F⊗k
F⊗(k+1) = F ⊗ F⊗k = . (3.46)
F1,0 F⊗k F1,1 F⊗k
⊗(k+1)
éF⊗(k+1) ¥1i1!1j ƒFi,j ©œ¹?ا5¿ùž0 ≤ i, j ≤ 2k+1 − 1"
œ¹1µ0 ≤ i, j ≤ 2k − 1§=i1 = j1 = 0"
˜•¡µ
k+1 k+1 k+1
Y Y Y (a)
Fiβ ,jβ = F0,0 Fiβ ,jβ = Fiβ ,jβ = Fi⊗k
∗ ,j ∗ . (3.47)
β=1 β=2 β=2
Qk+1
Ù¥ Ò(a)´8Bb "þªL« β=1 Fiβ ,jβ uF⊗k ¥1i∗ 1!1j ∗ ƒ§Ù¥i∗ k
∗
?›Ðm•< i2 , i3 , ..., ik+1 >2 §j k ?›Ðm•< j2 , j3 , ..., jk+1 >2 "
⊗(k+1)
,˜•¡µdu0 ≤ i, j ≤ 2 − 1§¤±Fi,j k
uª(3.46) †þ ©¬¥§ù‡©¬
⊗(k+1)
⊗k
ÒT´F §¤±Fi,j = F⊗k
i∗ ,j ∗ "
⊗(k+1) ⊗k) Qk+1
nþ§Fi,j = Fi∗ ,j ∗ = β=1 Fiβ ,jβ "
Ù{œ¹§•)0 ≤ i ≤ 2k − 1, 2k ≤ j ≤ 2k+1 − 1!2k ≤ i ≤ 2k+1 − 1, 0 ≤ j ≤ 2k − 1 ±
92k ≤ i ≤ 2k+1 − 1, 2k ≤ j ≤ 2k+1 − 1aqŒy§§‚ ©Û•ØL´£Ä Ù{n‡©¬
Ĵ"
½Â 3.11 j i
0 ≤ i, j ≤ N − 1 = 2n − 1 ?›Ðm©O´< i1 , ..., in >2 , < j1 , ..., jn >2 §j i´
3.2 4zè)¤Ý 5Ÿ . 55 .
⊗n)
y² F⊗n ¥1i1!1j ƒ´Fi,j §KdÚn3.8§²LOŽΠF⊗n ΠT §F⊗n
i,j
?›¢Ú(< iπ(1) , iπ(2) , ..., iπ(n) >2 , < jπ(1) , jπ(2) , ..., jπ(n) >2 ) ˜þ§@o·‚ÿ
ÁF⊗n
i,j ´Ä uF⊗n
<iπ(1) ,iπ(2) ,...,iπ(n) >2 ,<jπ(1) ,jπ(2) ,...,jπ(n) >2 "
n n
(a) Y (b) Y
F⊗n
<iπ(1) ,iπ(2) ,...,iπ(n) >2 ,<jπ(1) ,jπ(2) ,...,jπ(n) >2 = Fiπ(β) ,jπ(β) = Fiβ ,jβ = F⊗n
i,j . (3.48)
β=1 β=1
y² Ï•BN ´'A˜†"
⊗ log2 N ⊗ log2 N
díØ3.3Œ•§4zè ?èL§Œ •xN N N
1 = u1 GN = (u1 BN )F = (uN
1 F )BN §
¤±BN Š^ØL´˜†uN
1 ½x1
N
®§Ø¬é4zè BLER5U )?ÛK•"Ïd§3
⊗n
e¡ Q㥧·‚kž¿KBN §••ÄF "
. 56 . 13Ù 4zè?è
½n 3.9 F⊗n 1i, 0 ≤ i < 2n − 11¥1 ‡ê´2wtn (i) §Ù¥wtn (i)L«i n ?›Ð
m¥1 ‡ê§d? / ?›Ðm0´•µXJ ?› êU L«›?›êi§
Kïu)¶XJ ?› êØU L«›?›êi§K DK ´ ?› p "ù
⊗n
p§F ,˜1¥1 ‡ê•¡•T1 1-"ù‡½n5g©z[3]"
y² ¦^8B{"
ÞµN´ yF÷v½n"
8Bb µF⊗k 1i, 0 ≤ i < 2k − 11¥1 ‡ê´2wtk (i) "
e˜Úµ
F⊗k O
F⊗(k+1) = (3.49)
F⊗k F⊗k
½n 3.10 N = 2n §1•þuN
1 = (00...01 ∗ ∗ ∗ ...∗)¥ ć1 u1i‡ ˜þ§
=ui−1
1= 0, ui = 1§uN
i+1 Š´?¿ §Kwt(uN
1 F
⊗n
) ≥ wt(F⊗n
i )"Ù¥wt(a)L«a¥1
⊗n ⊗n
êþ§Fi ´F ¥ 1i1"
y² ù‡½n5g©z[2]"én¦^8B{"
Þµ n = 1ž§éu(10)§k(10)F = (10)§½n¤á¶éu(11)§k(11)F = (01)§½
n¤á¶éu(01)§k(01)F = (11)§½n¤á"
k k
8Bb µ n = kž §ui−1
1 = 0, ui = 1§u2i+1 Š´?¿ § Kwt(u21 F⊗k ) ≥
wt(F⊗k
i )"
k
e˜Úµ n = k + 1ž§ui−1
1 = 0, ui = 1§u2i+1 Š´?¿ "e¡©ü«œ¹?Ø"
œ¹1µ1 ≤ i ≤ 2k "džkµ
k+1 F⊗k
i O
u21 F⊗k+1 = (00...01 ∗ ... ∗ | ∗ ∗ ∗ ... ∗ ∗∗)
F⊗k
i F⊗k
i
(3.51)
= ((00...01 ∗ ...∗)F⊗k , (00...01 ∗ ...∗)F⊗k )
1 ‡ê (a) (b)
= (y, y) → 2wt(y) ≥ 2wt(F⊗k
i−2k
) = wt(F⊗k+1
i ),
. 58 . 13Ù 4zè?è
§ 3.3 šXÚ4zè?èL§
0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0
0 0 0 0 0
0 1 0 1 0 1 0 1 0 1 1
1 1 1 1 1
0 1 0 1 1 0 1 1 0 1 1 10 1 1 1
1 1 1 1 1
1 0 1 0 1 0 1 0 1 0 0
1 1 1 1 1
0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0
0 0 0 0 0 0 1 0 0 1 1
0 1 1 1 0 1 1 1 0 1 1 10 1 1 10 1 1 1
1 1 1 1 1 1 1 1
0 1 1 1 0 1 1 1 0 1 1 10 1 1 10 1 1 1
1 1 1 1 1 1 0 1 1 0
1 0 0 1 0 0 0 1 0 0 01 0 0 01 0 0 0
1 1 1 1 1 1 1 1
0 0 1 0 0 0 1 0 0 0 1 00 0 1 0
0 0 1 1 0 0 1 1 0 0 1 10 0 1 1
0 1 1 1 0 1 1 1 0 1 1 10 1 1 1
1 1 1 1 1 1 1 1 01 1 1 0
0 1 1 1 0 1 1 1 0 1 1 10 1 1 1
1 1 0 0 1 1 0 0 1 1 0 01 1 0 0
1 0 0 0 1 0 0 0 1 0 0 01 0 0 0
1 1 1 1 1 1 1 1 1 1 1 1
ã 3.5 F⊗3 IO/ª ?èL§§ O2N − 2 = 14Üã
1 function x = polar_encode(u)
2 N = length(u);
3 if N == 1
4 x = u;
5 else
6 u1u2 = mod(u(1 : N/2) + u(N/2 + 1 : N) , 2);
7 u2 = u(N/2 + 1 : N);
8 x = [polar_encode(u1u2) polar_encode(u2)];
9 end
10 end
27 x_internal_value(beta) =...
28 x_internal_value(index_2 + beta - index_1) ...
29 + x_internal_value(index_2 + beta);
30 end
31 end
32 x(1) = x_internal_value(1);
33 %calculate x2,...,xN
34 for phi = 1 : N - 1
35 layer = layer_vec(phi + 1);
36 %directly get bits
37 index_1 = lambda_offset(layer + 1);
38 index_2 = lambda_offset(layer + 2);
39 for beta = index_1 : index_2 - 1
40 x_internal_value(beta) = x_internal_value(index_2 + beta);
41 end
42 %plus
43 for i_layer = layer - 1 : -1 : 0
44 index_1 = lambda_offset(i_layer + 1);
45 index_2 = lambda_offset(i_layer + 2);
46 for beta = index_1 : index_2 - 1
47 x_internal_value(beta) = ...
48 x_internal_value(index_2 + beta - index_1) ...
49 + x_internal_value(index_2 + beta);
50 end
51 end
52 x(phi + 1) = x_internal_value(1);
53 end
54 %mod 2
55 x = mod(x, 2);
56 end
§ 3.4 XÚ4zè?èL§
GA
x = (uA |uAc = 0)[ ] = uA GA . (3.52)
GAc
e˜Úr1rx©•x = (xA |xAc )üÜ©"Ù¥xA Ò´Ž‡DÑ K‡&E'A§¤±
XJk x§ · ‚ Ò U † J xA § ù Ò ´ X Ú 4 z è ¿ Â ¤ 3 ¶xAc ´N − K‡
§xAc ´xA ¼ê"k x = (xA |xAc )§·‚U‰?˜Ú ©•µ
xA = uA GAA , (3.54)
xAc = xA G−1
AA GAAc . (3.56)
þª ¿Â´µéuXÚ4z觷Äk  K‡&E'A§·r¦‚˜ xA ˜
þ§•e xAc dþªOŽ §ù ·‚Ò XÚ4zè ˜‡èi"
, §þª•,{ü§ %´Äu•þ-Ý ¦{§E,Ý•O(N 2 )§w,•U^u á
¥‰‡Úf§¢S¥´ØŒU¦^ §Ï•G−1
AA GAAc Ø´$—Ý "e¡§·‚Äuþª§
0 A‡E,Ý•O(N log2 N ) XÚ?è•{"
. 64 . 13Ù 4zè?è
•{1µ48{§5g©z[8]"
x •Ý•N = 2n §x1 L«x¥c˜Œ ƒ§x2 L«x¥ ˜Œ ƒ§u1 Úu2 ¹Â±d
⊗n ⊗n−1
aí"ŠâF ÚF 'X§·‚ eªµ
F⊗n−1 O
(x1 |x2 ) = (u1 |u2 ) (3.57)
F⊗n−1 F⊗n−1
þª duµ
x1 ⊕ x2 = u1 F⊗n−1 , (3.58)
x2 = u2 F⊗n−1 . (3.59)
N = 4, K = 8, 信息比特(1111),信息比特集合{4,6,7,8},
求此时的系统码字
F2 O
(x A1 c x A2 c x A3 c 1, x A4 c 111) u18 2
F F2
1
F O 6 F O
(x A1c x A2c , x A3c 0) (x A1 c x A2 c x A3 c 1) (1111) u14 (x A4c 1,11) u 58
F F F F
7 2
10
(x A1c , x A2c ) (x A1c x A2c ) (00) u12 F (x A3c ,0) u 43 F (x A4c ,0) (x A4c ,1) (11) u 56F 3 (11) u 78 F
后一半已知,停止分治
11 8
4
ã 3.7 XÚ4zè48?èÞ~
3.4 XÚ4zè?èL§ . 65 .
½Â 3.13 S'X1[11]
(i)
N = 2n §4z& ^SIÒ•WN , 0 ≤ i ≤ N − 1"›?›ê0 ≤ p, q ≤ N − 1 n
?›Ðmkù A:µp n ?›Ð´< pn , ..., ps = 0, ..., pt = 1, ..., p1 >2 §Ù¥†
>´p " †ps Úpt þ 0Ú1§ < pn , ..., ps = 1, ..., pt = 0, ..., p1 >2 T´q ?›Ð
(q) (p)
m§KI(WN ) ≥ I(WN )"
½Â 3.14 S'X2[4]
(i)
N = 2n §4z& ^SIÒ•WN , 0 ≤ i ≤ N − 1"›?›ê0 ≤ p, q ≤ N − 1 n
?›Ðmkù A:µp n ?›Ð´< pn , ..., ps = 0, ..., p1 >2 §Ù¥†>´p "
(p) (q)
rps þ 0C¤1§ < pn , ..., ps = 1, ..., p1 >2 T´q ?›Ðm§KWN WN §l
(q) (p) (q) (p) (q) (p)
I(WN ) ≥ I(WN ), Z(WN ) ≤ Z(WN ), PeML (WN ) ≤ PeML (WN )"
0 0 1
0 0 1
0 0 1
1 0 1
0 0 1
1 0 1
1 0 1
1 1 1
ã 3.8 üÚXÚ?è§ÉÚ "L«-vAc •"§ùÚ ƒL«wAc
14Ù G1-žÈè
P
Pr(Y1 Y2 U1 ) u2 ∈{0,1} Pr(Y1 Y2 U1 U2 )
Pr(Y1 Y2 |U1 ) = =
Pr(U1 ) Pr(U1 )
P
u2 ∈{0,1} Pr(Y1 Y2 |U1 U2 ) Pr(U1 U2 ) (a) 1
X
= = Pr(Y1 Y2 |X1 X2 ) (4.1)
Pr(U1 ) 2
u2 ∈{0,1}
(b) 1 X 1 X
= Pr(Y1 |X1 ) Pr(Y2 |X2 ) = Pr(Y1 |U1 ⊕ U2 ) Pr(Y2 |U2 ).
2 2
u2 ∈{0,1} u2 ∈{0,1}
1 + eL1 +L2
ln ≈ sign(L1 )sign(L2 ) min{|L1 |, |L2 |}. (4.3)
eL1 + eL2
Ù¥signL« ÎÒ "þª uÒŒ±léõ ÝŒ—íѧk, ÖöŒ±gCö
S§ J:3uXÛ •î‚/½þ£ã uÒE¤ ›”§k, ÖöŒ±ë•[44]¥
5.5.3!"
. 70 . 14Ù G1-žÈè
f ( L1 , L2 ) 0.7893
u1 0, 因为u1是冻结比特 L1 3.3195
Â&Ò•y81 = s81 + n81 = (−0.4, −0.5, −0.8, 0.2, −1.3, 1.2, 3.3, 0.7)
Âéêq,'•L81 = 2 8
σ 2 y1 = (−2.0, −2.5, −4.0, 1.0, −6.5, 6.0, 16.6, 3.5)"
e¡ã¡‰Ñ ¤kOŽL§£f $Ž¦^Cqúª(4.3)¤§TOŽL§´•Ý•2 4z
è SCÈè í2§†þ˜! ØÓƒ?=3u/z‡2 × 2 ¬ Ú Ø˜ •0§z
‡2 × 2 ¬3OŽž¤¦^ êâ´§Ú ? êâ" ~¥Èè(J´ ((J"
6 6 1 1
L8 3.5 31.1, u8 1 L8 3.5
第13步,第1级第4个2×2模块运行f函数,判决u7 第14步,第1级第4个2×2模块运行g函数,判决u8
[2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [ 2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5]
u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8 [1] u1 u2 u3 u4 u5 u6 u7 u8
{0}
[2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [ 2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5]
u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8
[1]{0} [ 3] {0} [1]{0} [3]{0} [1]{0} [ 3]{0} [1.5] {0}
[2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [ 2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5]
[2, 2.5, 4.0,1.0] [2, 2.5, 4.0,1.0] [2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5]
{1,1,1,1} [4.5,8.5, 20.6, 2.5] {1,1,1,1}
[ 2, 1] [ 2, 1.5] [2, 1] [ 2, 1] [2, 1.5] [4.5, 2.5]
[2, 1.5]
{0,0} {0,0} {1,1} {0,0} {1,1}
u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8
[1]{0} [ 3]{0} [1.5]{0} [3.5] {1} [1]{0} [ 3]{0} [1.5]{0}[3.5]{1} [1]{0} [ 3]{0} [1.5]{0} [ 3.5]{1}
[2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5] [ 2.0, 2.5, 4.0,1.0, 6.5, 6.0,16.6,3.5]
[2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5] [2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5] [2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5]
{1,1,1,1} {1,1,1,1} {1,1,1,1}
[ 2, 1] [4.5, 2.5] [2, 1] [2, 1.5] [4.5, 2.5] [2, 1] [4.5, 2.5]
[2, 1.5] [2, 1.5] [25.1, 6]
{0,0} {1,1} {0,0} {1,1} {0,0} {1,1} {1,1}
u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8
[1]{0} [ 3]{0} [1.5]{0}[ 3.5]{1}[2.5]{0} [1]{0} [3]{0} [1.5]{0}[3.5]{1}[2.5]{0} [ 2] {1} [1]{0} [3]{0} [1.5]{0} [3.5]{1}[2.5]{0} [ 2]{1}
[2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5] [2, 2.5, 4.0,1.0] [4.5,8.5, 20.6, 2.5]
{1,1,1,1} {1,1,1,1} {1, 0, 0,1}
[2, 1] [2, 1.5] [4.5, 2.5] [25.1, 6] [2, 1] [2, 1.5] [4.5, 2.5] [25.1, 6]
{0, 0} {1,1} {1,1} {0,0} {1,1} {1,1} {0,1}
u1 u2 u3 u4 u5 u6 u7 u8 u1 u2 u3 u4 u5 u6 u7 u8
[1]{0} [3]{0} [1.5]{0}[3.5]{1}[ 2.5]{0} [ 2]{1} [6]{1} [1]{0} [ 3]{0} [1.5]{0} [ 3.5]{1}[2.5]{0} [2]{1} [ 6]{1} [ 31.1] {1}
母 [1r , 2r ,..., Nr v / 2 ]
[1l , 2l ,..., Nl v / 2 ] (1) (3)
(2) (4)
左 [ 1l , 2l ,..., Nl v / 2 ] [ 1r , 2r ,..., Nr v / 2 ] 右
il f ( i , i N / 2 ),1 i N v / 2
v
i il ir ,1 i N v / 2
ir g ( il , i , i N / 2 ),1 i N v / 2 i ir N / 2 , N v / 2 1 i N v
v
v
1 l a m b d a o f f s e t = 2 . ˆ ( 0 : l o g 2 (N ) ) ;
2 f u n c t i o n u = SC decoder ( l l r , f r o z e n b i t s , K , . . .
3 lambda offset , llr layer vec , bit layer vec )
4 N = l e n g t h ( l l r ) ;% l l r r e f e r s t o c h a n n e l LLR .
5 n = l o g 2 (N ) ;
6 P = z e r o s (N − 1 , 1 ) ;%c h a n n e l l l r i s not include in P .
7 %P s t o r e s i n t e r n a l LLRs , P ( 1 ) i s u s e d f o r d e c i s i o n .
8 C = z e r o s ( 2 ∗ N − 1 , 2 ) ;%C s t o r e s i n t e r n a l b i t v a l u e s
9 u = z e r o s (K, 1 ) ;%r e c o r d i n f o r m a t i o n b i t s
10 c n t u = 1 ;%a c o u n t e r u s e d by v e c t o r u
11 f o r p h i = 0 : N − 1%d e c o d e e a c h u p h i
12 switch phi
13 c a s e 0%f o r d e c o d i n g u 1
14 index 1 = lambda offset ( n ) ;
15 f o r b e t a = 0 : i n d e x 1 − 1%u s e l l r v e c t o r
16 P( beta + index 1 ) = . . .
17 sign ( l l r ( beta + 1)) ∗ sign ( l l r ( beta + 1 + index 1 )) ∗...
18 min ( a b s ( l l r ( b e t a + 1 ) ) , a b s ( l l r ( b e t a + 1 + i n d e x 1 ) ) ) ;
19 end
20 f o r i l a y e r = n − 2 : −1 : 0%u s e P v e c t o r
21 index 1 = lambda offset ( i l a y e r + 1);
22 index 2 = lambda offset ( i l a y e r + 2);
4.2 •Ý•2n 4zè SCÈèL§ . 77 .
58 P( beta ) = . . .
59 sign (P( beta + index 1 )) ∗ sign (P( beta + index 2 )) ∗...
60 min ( a b s ( P ( b e t a + i n d e x 1 ) ) , a b s ( P ( b e t a + i n d e x 2 ) ) ) ;
61 end
62 end
63 end
64 p h i m o d 2 = mod ( p h i , 2 ) ;
65 i f f r o z e n b i t s ( p h i + 1 ) == 1%f r o z e n b i t p a r t i a l o r d e r
66 C(1 , 1 + phi mod 2 ) = 0;
67 e l s e%i n f o r m a t i o n b i t
68 u p h i = P ( 1 ) < 0 ;%d e c i s i o n
69 C ( 1 , 1 + p h i m o d 2 ) = u p h i ;%s t o r e i n t e r n a l b i t v a l u e s
70 u ( c n t u ) = u p h i ;%r e c o r d d e c o d i n g r e s u l t s
71 cnt u = cnt u + 1;
72 end
73 i f phi mod 2 == 1%w h e t h e r t o p e r f o r m b i t r e c u r s i o n ?
74 b i t l a y e r = b i t l a y e r v e c ( phi + 1 ) ;
75 f o r i l a y e r = 0 : b i t l a y e r − 1%g i v e v a l u e s t o t h e 2 nd column o f C
76 index 1 = lambda offset ( i l a y e r + 1);
77 index 2 = lambda offset ( i l a y e r + 2);
78 for beta = index 1 : index 2 − 1
79 C ( b e t a + i n d e x 1 , 2 ) = mod ( C ( b e t a , 1 ) + C ( b e t a , 2 ) , 2 ) ;
80 C( b e t a + index 2 , 2) = C( beta , 2 ) ;
81 end
82 end
83 index 1 = lambda offset ( b i t l a y e r + 1);
84 index 2 = lambda offset ( b i t l a y e r + 2);
85 f o r b e t a = i n d e x 1 : i n d e x 2 − 1%g i v e v a l u e s t o t h e 1 s t column o f C
86 C ( b e t a + i n d e x 1 , 1 ) = mod ( C ( b e t a , 1 ) + C ( b e t a , 2 ) , 2 ) ;
87 C( b e t a + index 2 , 1) = C( beta , 2 ) ;
88 end
89 end
90 end
91 end
4.2 •Ý•2n 4zè SCÈèL§ . 79 .
1 f u n c t i o n l a y e r v e c = g e t l l r l a y e r (N)
2 l a y e r v e c = z e r o s (N , 1 ) ;
3 for phi = 1 : N − 1
4 psi = phi ;
5 layer = 0;
6 w h i l e ( mod ( p s i , 2 ) == 0 )
7 psi = floor ( psi /2);
8 layer = layer + 1;
9 end
10 l a y e r v e c ( phi + 1) = l a y e r ;
11 end
12 end
1 f u n c t i o n l a y e r v e c = g e t b i t l a y e r (N)
2 l a y e r v e c = z e r o s (N, 1 ) ;
3 for phi = 0 : N − 1
4 psi = f l o o r ( phi / 2 ) ;
5 layer = 0;
6 w h i l e ( mod ( p s i , 2 ) == 1 )
7 psi = floor ( psi /2);
8 layer = layer + 1;
9 end
10 l a y e r v e c ( phi + 1) = l a y e r ;
11 end
12 end
N N
LSC (N, P ) = 2N + log2 . (4.6)
P 4P
A~1µP = N/2§L(N, P ) = 2N − 2§ÎÜþ¡ ©Û(J"
A~2µP = 1§L(N, P ) = N log2 N §ù‡(Jw, ("
SCŽ{¤I •;®²˜Ù/L«3ã4.5¥ "ã4.5¥ •;ê|CÑkP{§'XCê
|me 8 ‡‘Ú•¬©ª™¦^§\•Œ±Ñ‡UÄê| Œ ¦ z‡•;ÑÔ¦Ù
^"ƒ¤±x¤ù §´Ï•ù §S å5' 5 "
d§·‚ù SC IO£½ö`´DÚ¤‰1L§"
§ 4.3 ¯„SCÈèŽ{
P C P C P C P C P C P C P C
1.0 0 3 0 0 1.5 0 3.5 0 1
2.0 2.0 2.0 0 2.0 0 2.0 0 2.0 0 1
1.0 1.0 1.0 0 1.5 0 1.5 0 1.5 0 1
2.0 2.0 2.0 2.0 2.0 2.0 2.0 1
2.5 2.5 2.5 2.5 2.5 2.5 2.5 1
4 4 4 4 4 4 4 1
1.0 1.0 1.0 1.0 1.0 1.0 1.0 1
2.0 2.0 2.0 2.0 2.0 2.0 2.0
2.5 2.5 2.5 2.5 2.5 2.5 2.5
4.0 4.0 4.0 4.0 4.0 4.0 4.0
Channel LLR
P C P C P C P C P C P C P C
2.5 0 2 0 1 6 1 31.1 1 1
4.5 4.5 4.5 1 25.1 1 25.1 1 25.1 1 0
u1
u2
u3
u4
u5
u6
u7 u1 u2 u3 u4 u5 u6 u7 u8
u8
u1 u2 u u u u u u
½Â 4.2 -Eè£Repetition§Rep¤
XJ˜‡••N = 2n 4zè•kuN ´&E'A§Ù{u1 , u2 , ..., uN −1 ´È('A§K
T4zè•-Eè§=¤kèi'Aƒ "ù´w, §Ï•dž )¤Ý • ˜1•
þ"˜‡•Ý•8 -E4zè ~fXã4.8¤«§Ù¥xÚ!:“LÙ¤k“!:Ñ´È
('A§çÚ!:“LÙ¤k“!:Ñ´&E'A§•Ú!:L«Ù“!:Q•)È('A
••)&E'A"
4.3 ¯„SCÈèŽ{ . 83 .
[u8 , u8 , u8 , u8 , u8 , u8 , u8 , u8 ]
[0, 0, 0, 0] [u8 , u8 , u8 , u8 ]
u1 u2 u u u u u u
y² ù´˜‡{ü (ا·‚¦^én^8B{"
Þµ n = 1§& •(0, u2 )§(0, u2 )F = (u2 , u2 )§w,ÃØu2 Š•Û§ku2 ⊕ u2 =
0"
8Bb µ n = kž§•ku1 = 0´È('A§Ù{u2 , u3 , ..., u2k Ñ´&E'A§Kéu
?¿ T4zè èi§¤kèi'A Ú•0"
e˜Úµ n = k + 1ž§& S Œ± •(0, u2 , u3 , ..., u2k |u2k +1 , ..., u2k+1 )§Ù¥ç‚
L«r& S ©•c˜ŒÚ ˜Œ§u2 , u3 , ..., u2k+1 Š?¿"éu?¿˜‡÷vK ^
‡ è••2 k+1
èix
F⊗k O
x = (0, u2 , u3 , ..., u2k |u2k +1 , ..., u2k+1 )
F⊗k F⊗k (4.7)
= ((0, u2 , u3 , ..., u2k )F⊗k ⊕ (u2k +1 , ..., u2k+1 )F⊗k |(u2k +1 , ..., u2k+1 )F⊗k ).
ü‡ƒÓ (u2k +1 , ..., u2k+1 )F⊗k Ü©-ž§•e(0, u2 , ..., u2k )F⊗k "1 džŠâ8Bb §
ù˜Ü©¥1 ‡ê•óê§y."
u1
u2 u u u u u u
u1 u2 u u u u u u
y²
N QN N
X Pr(yi |0) Pr(yi |0) Pr(yN
1 |01 )
S= ln = ln Qi=1
N
= ln N
(4.9)
i=1
Pr(yi |1) i=1 Pr(yi |1)
Pr(yN
1 |11 )
1N N
1 Ú01 ©O´ 1•þÚ 0•þ§• ˜‡ Ò´Ï•& ´ÃPÁ "dþªŒ±
ûľ´1N
1 q,VÇŒ„´0N
1 q,VÇŒ§y."
·‚ YQãI‡e¡ Ún"
y² ù´˜‡{ü (ا^‡y{"
b (β1 , ..., βN ) ∈ CØ´y •Œq,Èè(J§@oÒ•3(α1 , ..., αN ) ∈ C´•Œq,È
è(Jµ
QN
Pr(y|(α1 , ..., αN )) Pr(yi |αi ) Y Pr(yd |βd ⊕ 1)
= Qi=1
N
= > 1. (4.10)
Pr(y|(β1 , ..., βN )) i=1 Pr(yi |βi )
Pr(yd |βd )
d∈D
(ii).βd = 1" U ì M û 5 K § d žPr(yd |1) ≥ Pr(yd |0)§ =Pr(yd |βd ) ≥ Pr(yd |βd ⊕
Pr(yd |βd ⊕1)
1)§1 ≥ Pr(yd |βd ) ¶
. 86 . 14Ù G1-žÈè
Pr(yi |0)
1 − sign(ln Pr(yi |1)
)
βi = . (4.11)
2
XJ⊕N N
i=1 βi = 0§KÈè(姅(β1 , ..., βN )´•Œq,Èè(J¶XJ⊕i=1 βi = 1§
i |0)
À p = arg min1≤i≤N {| ln Pr(y
Pr(yi |1) |}§-βp = βp ⊕ 1£€=äk• LLRýéŠ Â&Ò
éA M û'A¤§K(β1 , ..., βN )´•Œq,Èè(J"
y² ·e¡‰Ñ˜‡š~b y²§vk?Û|§"
XJ⊕N
i=1 βi = 0§ù`²(β1 , ..., βN )´˜‡SPCèi§dÚn4.1Œ•(β1 , ..., βN )´ Â&
Ò(y1 , ..., yN ) •Œq,Èè(J"
XJ⊕N
i=1 βi = 1§ù`²(β1 , ..., βN )Ø´SPCèi§ ´é ÷v½n^‡ p §(β1 , ..., βp ⊕
1, ..., βN )´SPCèi"·‚y3Ž`²(β1 , ..., βp ⊕ 1, ..., βN )´•Œq,Èè(J§@o?
ÀSPC襘‡èi(α1 , ..., αN )§wweª´Ø´o´¤áº
Qp−1 QN
Pr(yN
1 |(β1 , ..., βp ⊕ 1, ..., βN )) i=1 Pr(yi |βi ) Pr(yp |βp ⊕ 1) i=p+1 Pr(yi |βi )
(?)
N
= Qp−1 { } QN ≥ 1.
Pr(y1 |(α1 , ..., αN )) i=1 Pr(yi |αi )
Pr(yp |αp ) i=p+1 Pr(yi |αi )
(4.12)
31˜‡©ã(β1 , ..., βp−1 ), (α1 , ..., αp−1 )¥§k ˜þ 'AƒÓ§ù ƒÓ 'Aé
A ^‡VÇ3ª(4.12)Ù¢®² "·‚éÑ'A¢Ú8ܵD = {d|αd = βd ⊕ 1, 1 ≤ d ≤
p − 1}"
31 ‡©ã(βp+1 , ..., βN ), (αp+1 , ..., αN )¥‰1ƒÓ öŠµD0 = {d0 |αd0 = βd0 ⊕ 1, 1 ≤
d0 ≤ p − 1}"
@oª(4.12)ÒC¤ µ
Q Q
d∈D Pr(yd |βd ) Pr(yp |βp ⊕ 1) 0 Pr(yd0 |βd0 )
0
(?)
Q { } Q d ∈D ≥ 1. (4.13)
d∈D Pr(yd |βd ⊕ 1) Pr(yp |αp ) d0 ∈D 0 Pr(yd |βd ⊕ 1)
0 0
4.3 ¯„SCÈèŽ{ . 87 .
1"@ok±eo«œ¹"
Pr(ys |βs ) Pr(yp |βp ⊕1) Pr(yd |βp ⊕1)
(i). βp = 0, βs = 0"•Äln Pr(ys |βs ⊕1)
+ ln Pr(yp |βp ) ÎÒ"Ï• Pr(yd |βp ) ≤ 1§¤±
Pr(ys |βs ) Pr(yp |βp ⊕1) Pr(ys |βs ) Pr(yp |βp )
C¤ | ln Pr(y s |βs ⊕1)
| − | ln Pr(y p |βp )
| = | ln
Pr(ys |βs ⊕1) | − | ln Pr(yp |βp ⊕1)
|§‘\βp = 0, βs =
Pr(ys |0) Pr(yp |0) Pr(yi |0) s |0)
0§k| ln Pr(ys |1) | − | ln Pr(yp |1) |"dK §p = arg min1≤i≤N {| ln Pr(yi |1) |}§¤±| ln Pr(y Pr(ys |1) | −
Pr(y |0) Pr(ys |βs ) Pr(yp |βp ⊕1) Pr(ys |βs ) Pr(yp |βp ⊕1)
| ln Pr(ypp |1) | ≥ 0§=ln Pr(y s |βs ⊕1)
+ ln Pr(y p |βp )
≥ 0, Pr(ys |βs ⊕1) Pr(yp |βp ) ≥ 1"ª(4.13)¥Ø
Pr(ys |βs ) Pr(yp |βp ⊕1)
Pr(ys |βs ⊕1) Pr(yp |βp ) ‘ÑŒu u1§ Ø Ò¤á"
(ii). βp = 0, βs = 1"†þ˜Úaq§·‚ke¡˜@ªf¤áµ
Pr(ys |βs ) Pr(yp |βp ⊕1) Pr(ys |βs ) Pr(yp |βp ⊕1)
ln Pr(ys |βs ⊕1)
+ ln Pr(yp |βp ) ≥ 0, Pr(ys |βs ⊕1) Pr(yp |βp ) ≥ 1"
Pr(ys |βs ) Pr(yp |βp ⊕1)
ª(4.13)¥Ø Pr(ys |βs ⊕1) Pr(yp |βp ) ‘ÑŒu u1§ Ø Ò¤á"
(iii). βp = 1, βs = 0"†þ˜Úaq§·‚ke¡˜@ªf¤áµ
Pr(ys |βs ) Pr(yp |βp ⊕1) Pr(ys |βs ) Pr(yp |βp ⊕1)
ln Pr(ys |βs ⊕1)
+ ln Pr(yp |βp ) ≥ 0, Pr(ys |βs ⊕1) Pr(yp |βp ) ≥ 1"
Pr(ys |βs ) Pr(yp |βp ⊕1)
ª(4.13)¥Ø Pr(ys |βs ⊕1) Pr(yp |βp ) ‘ÑŒu u1§ Ø Ò¤á"
(iv). βp = 1, βs = 1"†þ˜Úaq§·‚ke¡˜@ªf¤áµ
. 88 . 14Ù G1-žÈè
i |0)
1 − sign(ln Pr(y
Pr(yi |1) )
βi = . (4.14)
2
(β1 , ..., βN )Ò´(y1 , ..., yN ) •Œq,Èè(J"
u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 u17 u18 u19 u20 u21 u22 u23 u24 u25 u26 u27 u28 u29 u30 u31 u32
R0码 R1码
Rep码 SPC码 Rep码 SPC码
[8.2,12.8, 1.7, 9.4, 7.5,1.7, 4.8, 5.1,19.1,3.5, 11.1,17.1, 3.7, 6.1,8.9, 5.6, 5.9, 1, 1.3,11.4, 3.9, 2,8.9,12.1,8.1,10,8.9, 5.2, 7.4, 3.5, 9.5, 10.4]
(1)
R0 R1
Rep SPC Rep SPC
[8.2,12.8, 1.7, 9.4, 7.5,1.7, 4.8, 5.1,19.1, 3.5, 11.1,17.1, 3.7, 6.1,8.9, 5.6, 5.9, 1, 1.3,11.4, 3.9, 2,8.9,12.1,8.1,10,8.9, 5.2, 7.4, 3.5, 9.5, 10.4]
[8.2,12.8, 1.7, 9.4, 7.5,1.7, 4.8, 5.1,19.1, 3.5, 11.1,17.1, 3.7, 6.1,8.9, 5.6, 5.9, 1, 1.3,11.4, 3.9, 2,8.9,12.1,8.1,10,8.9, 5.2, 7.4, 3.5, 9.5, 10.4]
[8.2,12.8, 1.7, 9.4, 7.5,1.7, 4.8, 5.1,19.1, 3.5, 11.1,17.1, 3.7, 6.1,8.9, 5.6, 5.9, 1, 1.3,11.4, 3.9, 2,8.9,12.1,8.1,10,8.9, 5.2, 7.4, 3.5, 9.5, 10.4]
[8.2,12.8, 1.7, 9.4, 7.5,1.7, 4.8, 5.1,19.1, 3.5, 11.1,17.1, 3.7, 6.1,8.9, 5.6, 5.9, 1, 1.3,11.4, 3.9, 2,8.9,12.1,8.1,10,8.9, 5.2, 7.4, 3.5, 9.5, 10.4]
l [0,1,1, 0,1, 0, 0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1,9.6,18.4, 16]
(7)
R0 R1
Rep SPC Rep SPC
l [0,1,1, 0,1, 0, 0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1,9.6,18.4, 16]
l [0,1,1, 0,1, 0,0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1, 9.6,18.4, 16]
l [0,1,1, 0,1, 0,0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1, 9.6,18.4, 16]
l [0,1,1, 0,1, 0, 0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1,9.6,18.4, 16]
l [0,1,1, 0,1, 0, 0,1, 0,1,1, 0,1, 0, 0,1] [14.1, 13.8, 0.4, 20.8, 11.4, 3.7,13.7,17.2, 27.2, 6.5, 20, 22.3,11.1,9.6,18.4, 16]
6 c o d e s t r u c t u r e = c o d e s t r u c t u r e ( c o d e s t r u c t u r e ˜= 0 ) ;
7 c o d e s t r u c t u r e = reshape ( c o d e s t r u c t u r e , length ( c o d e s t r u c t u r e ) / 3 , 3 ) ;
8 node type structure = code structure ;
9 clear global ;
10 end
11 % −1 RATE0
12 % 1 RATE 1
13 % 2 REP
14 % 3 SPC
1 function n o d e i d e n t i f i e r ( f , z )
2 N = length ( f ) ;
3 global code structure c n t s t r u c t u r e
4 i f a l l ( f ( 1 : end − 1 ) == 1 ) && ( f ( end ) == 0 )%REP
5 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 1) = z ( 1 ) ;
6 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 2) = N;
7 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 3) = 2;
8 c n t s t r u c t u r e = c n t s t r u c t u r e + 1;
9 else
10 i f ( f ( 1 ) == 1 ) && a l l ( f ( 2 : end ) == 0 )%SPC
11 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 1) = z ( 1 ) ;
12 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 2) = N;
13 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 3) = 3;
14 c n t s t r u c t u r e = c n t s t r u c t u r e + 1;
15 else
16 i f a l l ( f == 0 )%R1
17 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 1) = z ( 1 ) ;
18 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 2) = N;
19 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 3) = 1;
20 c n t s t r u c t u r e = c n t s t r u c t u r e + 1;
21 else
22 i f a l l ( f == 1 )%R0
23 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 1) = z ( 1 ) ;
24 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 2) = N;
4.3 ¯„SCÈèŽ{ . 93 .
25 c o d e s t r u c t u r e ( c n t s t r u c t u r e , 3 ) = −1;
26 c n t s t r u c t u r e = c n t s t r u c t u r e + 1;
27 else
28 n o d e i d e n t i f i e r ( f ( 1 :N/ 2 ) , z ( 1 :N / 2 ) ) ;
29 n o d e i d e n t i f i e r ( f (N/ 2 + 1 : end ) , z (N/ 2 + 1 : end ) ) ;
30 end
31 end
32 end
33 end
34 end
¹Â•£éìã4.11¤µ
lu1 m©§´˜‡•Ý•8 R0è¶
lu9 m©§´˜‡•Ý•4 Repè¶
lu13 m©§´˜‡•Ý•4 SPCè¶
lu17 m©§´˜‡•Ý•4 Repè¶
lu21 m©§´˜‡•Ý•4 SPCè¶
lu25 m©§´˜‡•Ý•8 R1è¶
e¡´¯„SCÈè §S§Ñ\ëê¥ node type structureÒ´/Xª(4.15) Ý "ù
‡§S´vk?Û48 §§3‰1L§¥ØN^?Ûf¼ê§ù y § ‰1 Ç"
lambda offset!llr layer vecÚbit layer vec†SCÈèì¥ ¹Â ƒÓ"
. 94 . 14Ù G1-žÈè
1 function x = FastSCdecoder ( l l r , n o d e t y p e s t r u c t u r e , . . .
2 lambda offset , l l r l a y e r v e c , psi vec , b i t l a y e r v e c )
3 N = length ( l l r ) ;
4 n = l o g 2 (N ) ;
5 C = z e r o s ( 2 ∗ N − 1 , 2 ) ;%B i t v e c t o r
6 P = z e r o s ( 2 ∗ N − 1 , 1 ) ;%LLR v e c t o r
7 P ( end − N + 1 : end ) = l l r ;%LLR i n i t i a l i z a t i o n
8 for i node = 1 : s i z e ( n o d e t y p e s t r u c t u r e , 1)
9 M = n o d e t y p e s t r u c t u r e ( i n o d e , 2 ) ;%s i z e o f s u b c o d e
10 r e d u c e d l a y e r = l o g 2 (M) ;
11 %r e d u c e d l a y e r d e n o t e s where t o s t o p LLR c a l c u l a t i o n
12 %r e d u c e d l a y e r d e n o t e s where t o s t a r t Internal Bits calculation .
13 l l r l a y e r = l l r l a y e r v e c ( n o d e t y p e s t r u c t u r e ( i node , 1 ) ) ;
14 %l l r l a y e r d e n o t e s where t o s t a r t LLR c a l c u l a t i o n
15 b i t l a y e r = b i t l a y e r v e c ( n o d e t y p e s t r u c t u r e ( i node , 1) + M − 1 ) ;
16 %b i t l a y e r d e n o t e s where t o s t o p I n t e r n a l B i t s c a l c u l a t i o n .
17 p s i = p s i v e c ( i n o d e ) ;%T h i s p s i i s u s e d f o r b i t s r e c u r s i o n
18 p s i m o d 2 = mod ( p s i , 2 ) ;
19 i f i n o d e == 1% f i r s t LLR c a l c u l a t i o n o n l y u s e s f f u n c t i o n .
20 f o r i l a y e r = n − 1 : −1 : r e d u c e d l a y e r
21 index 1 = lambda offset ( i l a y e r + 1);
22 index 2 = lambda offset ( i l a y e r + 2);
23 for beta = index 1 : index 2 − 1
24 P ( beta ) = sign ( P ( beta + index 1 ) ) ∗...
25 sign ( P ( beta + index 2 ) ) ∗...
26 min ( abs ( P ( b e t a + i n d e x 1 ) ) , abs ( P ( b e t a + i n d e x 2 ) ) ) ;
27 end
28 end
4.3 ¯„SCÈèŽ{ . 95 .
29 else
30 index 1 = lambda offset ( l l r l a y e r + 1);
31 index 2 = lambda offset ( l l r l a y e r + 2);
32 for beta = index 1 : index 2 − 1
33 P ( b e t a ) = ( 1 − 2 ∗ C ( beta , 1 ) ) ∗ . . .
34 P ( beta + index 1 ) + P ( beta + index 2 ) ;
35 end
36 f o r i l a y e r = l l r l a y e r − 1 : −1 : r e d u c e d l a y e r
37 index 1 = lambda offset ( i l a y e r + 1);
38 index 2 = lambda offset ( i l a y e r + 2);
39 for beta = index 1 : index 2 − 1
40 P ( beta ) = sign ( P ( beta + index 1 ) ) ∗...
41 sign ( P ( beta + index 2 ) ) ∗...
42 min ( abs ( P ( b e t a + i n d e x 1 ) ) , abs ( P ( b e t a + i n d e x 2 ) ) ) ;
43 end
44 end
45 end
46 switch n o d e t y p e s t r u c t u r e ( i node , 3)
47 c a s e −1%RATE 0
48 for j = M : 2 ∗ M − 1
49 C( j , psi mod 2 + 1) = 0 ;
50 end
51 c a s e 1%RATE 1
52 for j = M : 2 ∗ M − 1
53 C( j , psi mod 2 + 1) = P ( j ) < 0 ;
54 end
55 c a s e 2%REP
56 sum llr = 0;
57 for j = M : 2 ∗ M − 1
58 sum llr = sum llr + P( j );
59 end
60 r e p b i t = sum llr < 0;
61 for j = M : 2 ∗ M − 1
62 C( j , psi mod 2 + 1) = r e p b i t ;
63 end
. 96 . 14Ù G1-žÈè
64 c a s e 3%s p c
65 l l r s u b p o l a r c o d e = z e r o s (M, 1 ) ;
66 for j = M : 2 ∗ M− 1
67 l l r s u b p o l a r c o d e ( j − M + 1) = P( j ) ;
68 end
69 x = l l r s u b p o l a r c o d e < 0;
70 i f mod ( sum ( x ) , 2 ) ˜ = 0%i f SPC c o n s t r a i n t i s o n t s a t i s f i e d
71 a l p h a p l u s = abs ( l l r s u b p o l a r c o d e ) ;
72 [ ˜ , m i n i n d e x ] = min ( a l p h a p l u s ) ;
73 x ( m i n i n d e x ) = mod ( x ( m i n i n d e x ) + 1 , 2 ) ;
74 end
75 for j = M : 2 ∗ M − 1
76 C( j , psi mod 2 + 1) = x ( j − M + 1 ) ;
77 end
78 end
79 if p s i m o d 2 == 1%b i t r e c u r s i o n
80 for i l a y e r = reduced layer : b i t l a y e r − 1
81 index 1 = lambda offset ( i l a y e r + 1);
82 index 2 = lambda offset ( i l a y e r + 2);
83 for beta = index 1 : index 2 − 1
84 C ( b e t a + i n d e x 1 , 2 ) = mod ( C ( beta , 1 ) + C ( beta , 2 ) , 2 ) ;
85 C ( b e t a + i n d e x 2 , 2 ) = C ( beta , 2 ) ;
86 end
87 end
88 index 1 = lambda offset ( b i t l a y e r + 1);
89 index 2 = lambda offset ( b i t l a y e r + 2);
90 for beta = index 1 : index 2 − 1
91 C ( b e t a + i n d e x 1 , 1 ) = mod ( C ( beta , 1 ) + C ( beta , 2 ) , 2 ) ;
92 C ( b e t a + i n d e x 2 , 1 ) = C ( beta , 2 ) ;
93 end
94 end
95 end
96 x = C ( end − N + 1 : end , 1 ) ;
97 end
4.4 'A€=SCÈèì . 97 .
§ 4.4 'A€=SCÈèì
ã 4.14 CRC-polar?éè?èL§
P( N , K , r )的结构
... ...
x1(1) , x 2(1) ,..., x(1)
Ad 1 x1(2) , x2(2) ,..., x (2)
Ad 2 x1( t ) , x 2( t ) ,..., x(Atd) t
min,1 min,1 min,t
n n n
x (1)
i u F
(1)
i x (2)
i u F
(2)
i x (t )
i u F(t )
i
P (N, K + r)¥èi-þ ©Ù•{dmin,1 , dmin,2 , ..., dmin,t }§{Admin,1 , Admin,2 , ..., Admin,t }§
Ù¥dmin,1 ´• Dzål§dmin,2 ´g Dzål§±daí"Admin,i L«-þ•dmin,i è
(i)
i ‡ê"xk , 1 ≤ k ≤ Admin,i L«Tèi´1k‡Ç²-þ•Admin,i èi§§éA &
(i) (i) (i) (i)
S ´uk §¿ uk éA &E'A•dk "3^eIkéuk , 1 ≤ k ≤ Admin,i ?1?Òž§X
(i) (i) (i) (i)
Jdk ´CRCèi§·‚ruk ˜3cAdmin,i − αi ‡§•Ò´`§ αi ‡uk éA &E'Adk
Ø´CRCèi§ جÑy3CRC-polar?éè¥"
d ã4.15Œ „ §P (N, K, r)'P (N, K + r) èiêþ §–u/XÛ~ 0§´d¤
¦^ CRCè û ½ "·‚• • •r CRCè k õ « ) ¤ õ ‘ ª § = B ½r§
ØÓ CRC) ¤ õ ‘ ª • ò —ØÓ α1 , α2 , ..., αt " X J \ À CRC' ЧkŒUÑ
yα1 = Admin,1 œ¹§¿›XP (N, K + r)¥-þ•dmin,1 èiž”"ùò4Œ/J,CRC-
polarè BLER5U"
30 CRC-polar?éè §·‚ÒU0 'A€=SCÈèì "
(i) i−1
WN (yN
1 ,u1 |0)
3 ûui ž§òui ŠUìÙéA LLR ‡•• ûµXJln (i) i−1 ≥ 0§
WN (yN
1 ,u1 |1)
Kui = 1§‡ƒui = 0"
(i) i−1
WN (yN
1 ,u1 |0)
ln (i) i−1 ŠÒ´c¡SCÈèì“è¥P ê|¥ 1˜‡ ƒP(1)"
WN (yN
1 ,u1 |1)
(i) i−1
WN (yN
1 , u1 |0)
s = arg min{| ln (i)
|}, (4.16)
i−1
i∈A WN (yN
1 , u1 |1)
u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11 u12 u13 u14 u15 u16 u17 u18 u19 u20 u21 u22 u23 u24 u25 u26 u27 u28 u29 u30 u31 u32
ã 4.16 '…8Ü ~f§P (32, 16)
4.5 106
4
105
3.5
104
log10
3
3
10
2.5
102
2
1.5 1
10
64 128 256 512 1024 2048 4096 8192 0 0.5 1 1.5 2 2.5 3 3.5
N (R is fixed to 0.5, E b /N0 = 2dB) Eb /N0 (dB), N=1024, R = 0.5.
P (i)
Pe (WN )
ξ = P i∈CS (i)
,
i∈A\CS P e (W N )
(4.17)
q
(i) (i)
Pe (WN ) = Q( E{LN }/2).
(i) i−1
(i) WN (yN
1 ,u1 |0)
Ù¥LN = ln (i) i−1 "
WN (yN
1 ,u1 |1)
è Vǵ
Ù¥(a)¦^ pdCq§(b)´Ï•È('A†ØÇ•0"KSCÈèì†ØÈèVÇ•µ
(i)
Y
PeSC = 1 − (1 − Pe (WN )). (4.19)
i∈A
(i)
Y
PeCS = 1 − (1 − Pe (WN )). (4.20)
i∈CS
100
BLER 10-2
10-4
P SC ,P(256,128) P CS ,P(256,128)
e e
P SC ,P(512,256) P CS ,P(512,256)
10-6
e e
P SC
e
,P(1024,512) P CS
e
,P(1024,512)
SC CS
P e ,P(2048,1024) P e ,P(2048,1024)
10-8
1 1.5 2 2.5 3 3.5 4
Eb /N0 (dB)
ã 4.19 PeCS ÚPeSC é'
EuN
1 Š3•ý§Sp† Ñ\‰Èèì§4ÈèìgCéìÈè(JÚ (Š"XJuy
k˜‡ui ÈèŠÚui (ŠØΧKÈèìÒ^ui (ŠCX†Ø Èè(J§Óž‰
'Aui P˜‡†Ø"ù ˜4SCÈère5§ÈèìŒU‰eZ‡ui1 , ui2 , ..., uit P¹ †Ø"
Œþ$1-E SCÈèL§§·‚¬ ±eêâµ
(1). o$1gêNmax ;
(2). ¯‡/3˜gSCÈèL§¥§•3i‡I‡Å û0Ñy gêTi "
Å 'A€=SCÈèì’½ØUÅ Œui‡†Ø"PPei •/zg–õUÅ
i࠯
i‡†Ø SCÈèì †ØÇ0§KPei ≥ k=i+1 Tk /Nmax §Ù¥ Ò=3TÈèìkUå
P
'A€=SCÈèìBLER5U e.Xã4.20¤«§Ù¥Genie-aidediL«TÈè옽U
Š؇Li‡†Ø û &E'A"
§ 4.5 SCÈèì3?è¥ A^
SCÈèì3?襾,k^º@´ , "
4.5 SCÈèì3?è¥ A^ . 103 .
0
10
Genie-aided 1
Genie-aided 2
Genie-aided 3
Genie-aided 4
10-2 Genie-aided 5
BLER
-4
10
10-6
1 1.5 2 2.5 3
Eb /N0 (dB)
ã 4.20 Genie-aided' A € =SCÈ è ì BLER5 U § • ý è iP (1024, 512)d p d C q
3Eb /N0 = 2.5dB? E
4.5.1 ^SCÈèì?1XÚ4zè ?è
½Â 4.6 ^SCÈèì?1XÚ4zè?è
(1).)¤–DÑêâdK
1 ¶
(2). )¤S LK
1 µL1 = [L1 , ..., LK ] = [(1−2d1 )×∞, ..., (1−2dK )×∞]§=XJdi = 0§
K
y² ¦^8B{"
Þµ yN = 2ž½n(ؤá" N = 2ž§Ak O•34«œ¹µA = ∅§A =
{1}§A = {2}§A = {1, 2}§Ù¥A = {1}ØÎÜ4z5ƧØé§?1?Ø"Ï• ½n•
'%xA ´Ä•llrA M û(J§ A = ∅ ž§xA ÚllrA ÑØ•3§¤±Ø•ÄA = ∅"d
d§••eA = {2}ÚA = {1, 2}ü«œ¹"
XJA = {2}§@o•3Xã4.21¤« 4«œ¹"ã4.21¥†>ü‡2 × 2 ¬L«È('
A 0 œ¹§m>ü‡2 × 2 ¬L«È('A 1 œ¹"ã4.21`²§ÃØÈ('A Ÿo
Š§3A = {2} œ¹e½n(ؤáµx̂2 o´ ullr2 M û"
5¿ 3BEC¥kµln Pr(0|0)
1 Pr(?|0) Pr(1|0)
Pr(0|1) = +∞, ln Pr(?|1) = 0, ln Pr(1|1) = −∞"3á \{$Žþ
¦^…ÜÌŠ§=+∞ + (−∞) = 0"
4.5 SCÈèì3?è¥ A^ . 105 .
g (0, llr1 , llr2 ) llr2 g (0, llr1 , llr2 ) llr2 g (1, llr1 , llr2 ) llr2
g (1, llr1 , llr2 ) llr2
uˆ2 0 xˆ1 uˆ2 0 uˆ2 1 xˆ1 uˆ2 1 uˆ2 1 xˆ1 uˆ2 1 uˆ2 0 xˆ1 uˆ2 0
ã 4.21 A = {2} œ¹
ã 4.22 A = {1, 2} œ¹
前k级 第k+1级
第k+1级中
称为“左 1 不存在这种情况
2 i 0, ik ,..., i1 2
上角长度
为 2k”的 F k
... ...
llri 或
处 LLR
2k 2k
极化码 为无穷值
2k 1
称为“左
2k 2 j i 2k 1, ik ,..., i1 2
下角长度
F k 2 3k
llrj 0
为 2k”的 ... ...
' 处 LLR
极化码 2k 1 2k
为无穷值
1
=i´T ¬ †þ
2
==´i, l ?›Ðm•p•ÑC¤ 0§Ù{ 'X U«
3
==´i, l ?›Ðm•p•ÑC¤ 1§Ù{ 'X U«
4
l?LLRdf ¼êOŽ
4.5 SCÈèì3?è¥ A^ . 107 .
前kk级
前 级 第k+1
第 k+1级
级 前kk级
前 级 k+1
第k+1
第 级级
11
22
FFkk ......i : 此处 llr 为
i : 此处 llr 为
.....
ii :: 此处 llr 必为
此处 llr 必为 FFk
k
i
......
i ii,..., i1 i12 2
k ,..., i i 0,i0, ik ,..., i1 2
k ,..., i1 2
...
k
22k k . i i l l ll,...,
k l1 l12 2
k ,..., ... i i ll 0,l0,,...,kll
l ,..., k 1 2
1 2
FFkk FFkk
i i2k 2
1, ik1,,..., i1 2i1 2
k
ik ,...,
i 2k : 此处 llr
必为
llr必为
... ...
...
i i 2k 2k ll2k 2k 1,
lk1,,..., l1 2l1 2
lk ,...,
y3¯K©•ü«œ¹µ
XJã4.27¥ÉÚ ¬mþ LLR´0§@ow,ÃØÉÚ ¬3?1g¼êOŽž¦^
'A´0„´1§ÉÚ ¬†e LLR7•Ã¡"
XJã4.27¥ÉÚ ¬mþ LLR´Ã¡§Kéã4.27†þ ••2k 4zè¦^8B
b µ3ÉÚ ¬mýü‡LLRѴá œ¹e§ÉÚ ¬^f ¼êŽÑÙ†þ LLR§
TLLR7•Ã¡§KOŽ(J7á\ã4.22 o«œ¹ƒ¥"8Bb ^3 ùpµdžÉÚ
¬†þ LLR7•Ã¡§8Bb y †þ 2k • 4zè3ÉÚ ¬†þ ˆ£ '
AŠ´ÉÚ ¬†þ LLR M û(J§¤±ÉÚ ¬ OŽ(J7á\ã4.22 o«œ¹
ƒ¥"éìã4.22 o«œ¹Œ„§ÉÚ ¬†e LLR7•Ã¡"
nþ§ÃØã4.27¥ÉÚ ¬mþ LLR´0„´Ã¡§ÉÚ ¬†e LLRÑ´Ã
¡"
1
=i´T ¬ †e
2
l + 2k ?›Ðm•p ´1§i + 2k ?›Ðm•p•´0§Ù{ ƒÓ§U«
i ≺ l 'X
. 108 . 14Ù G1-žÈè
前k级
前 k级 第k+1
第 k+1级
级 k级
前前 k级 k+1
第第k+1级级
FFk k ......
FFk k ......
i i 0,0,
ik ,..., i1 i21 2
ik ,...,
i i
l l 0, 0,
lk ,..., l1 l21 2
lk ,...,
11 11
22 22
FF kk
......i :i此处 llrllr
: 此处 为为 ,1
,1
i i 2k2k i i
......
2k2:k此处 llrllr
: 此处 必为
必为
FF kk
... ...i i ik,..., i1 i21 2
ik ,...,
......
i i 2k 2k 1,i1,k ,..., i1 i21 2
ik ,...,
2 k2 k ... ...i i
l l lk,..., l1 l21 2
lk ,..., l l 2 2 1,l1,,...,
k k
l l
l ,...,
k k 1 21 2
þ •Ý•2 k
4zè3Module†þ ˆ£ 'AŠ uModule†þ LLR ûŠ¶‘
1
Èè¤ILLR5g1k + 1?¤k2 × 2 ¬ g¼êOŽ
2
Èè¤ILLR 5g1k + 1?¤k2 × 2 ¬ f ¼êOŽ
4.5 SCÈèì3?è¥ A^ . 109 .
§Module‰1g¼ê"dã4.22Œ„§džModuleŽÑ†e LLR7•Ã¡"y2g¦^8
Bb µ†e •Ý•2 k
4zè?1SCÈè §†e 1
•Ý•2k 4zè3Module†e
ˆ£ 'AŠ uModule†e LLR ûŠ"²Lüg¦^8Bb §·‚Œ±ä½§
3Modulemýü‡LLRѴá œ¹e§Module ¤kŒUG Ò´ã4.22¥ o«G §
l ëìã4.22§ModulemýdSCÈ舣 ü‡'AŠ©O umýü‡LLR M ûŠ"
½n(ؤá"
²LP• ?Ø·‚ªu y²" ·‚ ?Ö„v(姄 ˜‡•˜5"
½n4.5`² XJ?1½Â4.6¥ L§§KŒ± ˜‡Èèèix§÷vxA ´llrA M
û(J"Ï•x Ac = xA G−1
AA GAAc ´•˜ §¤±·‚ä½·‚ ¤ XÚ?è"
Q,Œ±ÏL˜gSCÈè ¤XÚ4zè?è§@o½Â4.6¥ ?èL§ E,ÝÒ
´O(N log2 N )§áu$E,Ý?è"
! • §éBEC& ¥ SCÈè쉘:J«"BEC& ¥ ÂLLR Š•{+∞, 0, −∞}§
·‚3?›§S žÿØB¦^áŠ"(Üf Úg¼ê $Ž5KØJuy§·‚Œ±^
ê+1“O+∞§^ ê−1“O−∞§0„´0"ù “†¦Èè êŠ-½"
4.5.2 ¦^SCÈèì?1Monte-Carloè E
1
Èè¤ILLR5g1k + 1?¤k2 × 2 ¬ g¼êOŽ
15Ù G1-ž LÈè
Pi (k)
½n 5.1 − ln Pr(ui1 |yN
1 ) = k=1 ln(1 + e−(1−2uk )LN )§− ln Pr(ui1 |yN
1 )¡•´»Ýþ§
ùp/´»0• ´Èè´»§•=ÈèS ui1 "
5.1 ÄuLLR ´»Ýþ . 111 .
Pr(ui−1 N
1 |y1 ) Pr(yN i−1
1 , u1 )
i N
= N i−1
Pr(u1 |y1 ) Pr(y1 , u1 , ui )
i−1 i−1
Pr(yN N
1 , u1 |ui = 0) Pr(ui = 0) + Pr(y1 , u1 |ui = 1) Pr(ui = 1)
= i−1
(5.1)
Pr(yN
1 , u1 |ui ) Pr(ui )
i−1
(a) Pr(yN
1 , u1 |ui = 0) −(1−2ui )
= 1+[ i−1
]
Pr(yN
1 , u1 |ui = 1)
Pr(u1 |yN
1 ) Pr(u1 |yN 2 N
1 ) Pr(u1 |y1 ) Pr(u1i−1 |yN
1 )
i N
= 2 N 3 N
...
Pr(u1 |y1 ) Pr(u1 |y1 ) Pr(u1 |y1 ) Pr(ui1 |yN
1 )
(5.2)
i−1
Pr(yN
1 , u1 |u2 = 0) −(1−2u2 ) Pr(yN
1 , u1 |ui = 0) −(1−2ui )
= {1 + [ ] }...{1 + [ i−1
] }
Pr(yN
1 , u1 |u2 = 1) Pr(yN
1 , u1 |ui = 1)
·‚Óž5¿ µ
1 Pr(yN1 )
N
=
Pr(u1 |y1 ) Pr(yN
1 , u1 )
Pr(yN N
1 |u1 = 0) Pr(u1 = 0) + Pr(y1 |u1 = 1) Pr(u1 = 1)
= N
(5.3)
Pr(y1 |u1 ) Pr(u1 )
Pr(yN
1 |u1 = 0) −(1−2u1 )
= {1 + [ ] }
Pr(yN
1 |u1 = 1)
1 )Ø m>§¿òª(5.3)‘\§2
rª(5.2)1˜‡ Ò†ý Pr(u1 |yN éêµ
i k−1
X Pr(yN
1 , u1 |uk = 0) −(1−2uk )
− ln Pr(ui1 |yN
1 )= 1+[ N k−1
] (5.4)
k=1
Pr(y1 , u1 |uk = 1)
½n5.1¹Â´L"
˜!½n5.1`² 'AS ui1 VÇPr(ui1 |yN
1 )Œ±^SCÈèì Q OŽ(JO
. 112 . 15Ù G1-ž LÈè
(k) (k)
ŽµSC3Èèuk , 1 ≤ k ≤ iž®²ŽÑ LN §=|^uk ÚLN ÒUL«Pr(ui1 |yN
1 )"
(1)
Ž ÑLN §1ÒSCÈ è ì äu1 ´ Ä • È ( ' A " X Ju1 ´ È ( ' A § K Ø - ¹ Ù
(1)
¦SCÈè짆 ´»Ýþ•ln(1 + e−(1−2u1 )LN )", 1ÒÈèì
-u1 = 0§¿OŽdž
Pi−1 (k)
UY¦^IOSCÈè6§Èèu2 , u3 ...ui−1 §¿•#´»Ýþ• k=1 ln(1 + e−(1−2uk )LN )§†
‘ ui §Ù¥ui ´4zè¥ Ä‡&E'A"
(3). ùžSCLÈèìuyÿkL − 1‡™-¹ SCÈèì§KlSsleep = {2, 3, ..., L} ¥
ÑL§-¹?Ò•L SCÈèìSCL "SCL /U« 0SC1 Üêâ§=LLRÚ¥m'AŠ§
•Ò´þ˜Ù§S¥ Pê|ÚCê|"éuÐÆö ó§\Œ±{ü/r/U«0n)•†
rSC1 êâ ÜDŠ‰SCL 1 "
d ž § · ‚ ¡SCL ´ dSC1 Ž ž £Clone¤ 5 "3Žžž·‚„l˜‡ K2 µ Ø
(i)
+LN ŸoŠ§ ©Èè´»£SC1 ¤o´-ui = 0§Žž´»£SCL ¤o´-ui = 1"ù
žÒÑy ü‡Èè(Jui1,1 = (u1,1 = 0, u2,1 = 0, ..., ui−1,1 = 0, ui,1 = 0)Úui1,L = (u1,L =
0, u2,L = 0, ..., ui−1,L = 0, ui,L = 1)§ui1,1 Úui1,L ©OéAÝþŠµ
i−1
X (k) (i)
Pr(ui1,1 |yN
1 )= ln(1 + e−(1−2uk,1 )LN ) + ln(1 + e−LN ),
k=1
(5.5)
i−1
X (k) (i)
Pr(ui1,L |yN
1 )= ln(1 + e−(1−2uk,L )LN ) + ln(1 + eLN ).
k=1
`x Ò´SCLÈèìÓž 3 ui = 0Ú1ùü«Èè(J"
(4). 3ui ƒ È襧duSC1 ÚSCL ¥m'AŠê|®²ØÓ§=þ˜Ù§S¥
Cê|SNØÓ§ùò —ùü‡SCÈèì=B¦^Ó LLR?1g¼êOŽ§g¼ê Ñ
Ñ(J•ØÓ§ù¦ SC1 ÚSCL Èè(Jld© S"3ui ƒ È襧SC1 ÚSCL ¦
^ˆg êâÕá/Èè§Õá/OŽ´»Ýþ§† ‘„4zè¥ 1 ‡&E'Auj "
Pj−1 (k)
−(1−2uk,1 )LN,1
ù ž PSC1 ´ » Ý þ •P M1 = k=1 ln(1 + e )§SCL ´ » Ý þ •P ML =
Pj−1 (k)
−(1−2uk,L )LN,L
k=1 ln(1 + e )"džSCLÈèìò‰1†Ú½(3) ¥ƒq öŠ"
?n®²-¹ SC1 µ lSsleep = {2, 3, ..., L − 1}¥ ÑL − 1§ ¿ rSC1 êâÑE›
‰SCL−1 "„lþ¡ K§SC1 ò-uj,1 = 0§ SCL−1 ò-uj,L−1 = 1"SC1 éA ÝþC
(j) (j)
¤P M1 + ln(1 + e−LN,1 )§SCL−1 éA ÝþC¤P M1 + ln(1 + eLN,1 )"
?n®²-¹ SCL µlSsleep = {2, 3, ..., L − 2}¥ ÑL − 2§¿rSCL êâÑE›
‰SCL−2 "„lþ¡ K§SCL ò-uj,L = 0§ SCL−2 ò-uj,L−2 = 1"SCL éA ÝþC
(j) (j)
¤P ML + ln(1 + e−LN,L )§SCL−2 éA ÝþC¤P M1 + ln(1 + eLN,L )"
1
¯¢þ•3˜«DŠöŠLazy Copy[20], Lazy Copy؆ E›êâ§=•²êâ 5
"Lazy CopyéuŒõêÐÆö ók—· Jݧ·ò3 !• Ž~¥`²ù«•
{"
2
ù‡ K\Œ±gC½§OrgC7' Ò1
. 114 . 15Ù G1-ž LÈè
u7 0
u7 1
u7 0
u6 1 u7 0
0
译码结果 1
0
u5 0
u4 1 u5 0
u4 0
u3 0 路
路径选择 u2 0
保存 保存 u1 0 保存 径
u7 0 u7 0 u7 0 删
SC 除
译
码 u u u u
u 8 u 8 u 8 u 8
二 u6 7 u6 7 u6 7 u6 7
u u u u
叉 u 5 PM1 7
u 1 u 5 u 5 u 1 u 5
u3 4 u3 4 PM 3 7
u 1
PM 2 7
u 3 4 u PM
u7 1
u3 4
u2 u2
4
树 √ u2 u
u7 0 u7 0
PM 1 PM PM 3
u7 0
PM 4
0
u1 u1
7
u1 u1 2
2
√ √ √
路径复制 u7 1
ã 5.1
图 2-4 SCL 译码图,码长 N= 8,
极化码SCLÈèìÞ~§N K = 4, LL= 44
8 ,列表数
在图 2-4 中,二叉树中黑色节点代表该节点所有的叶节点都是信息比特,白色节点
(7). ut ƒ &E'A ÈèØL´-EÝÚ½(6) L§ ®"w ùp\¬uy·•?
代表该节点所有叶节点都是冻结比特,灰色节点代表其叶节点既有冻结比特,也有信息
Ø &E'A§=1˜‡&E'Aui §1 ‡&E'Auj §1log2 L‡&E'Aus § "X
比特。当前译码比特是 u ,PM
J‘ È('ANo•ºÙ¢È('A
7
下方的对号表示该路径被保存,而叉号表示该路径被删
œ¹š~{ü§‘ ,‡È('Au §Ï•u •U q q
u0§¤±Ø•3´»Žž œ¹"ùžz‡-¹
除。从左侧开始计数,在第一个和第三个
(q)
SC 译码器中, u7 0 被保存。第四个
SCÈèì=I 3uq = 0§Óžrˆg
SC 译码
´»Ýþ\þln(1 + eLN,l )§ù Ò ¤ È('Auq Èè"È('A ÈèÚÚ½(6)¥
器的两条路径均被删除,随后,由于第二个译码器的两条路径都被保存,将
(q) u 7 1 对应
œ¹ aq§•ØLdžØØLN,l
ŸoŠ§z‡-¹ SCÈèìÑ-uq = 0"
的路径复制到第四个译码器中,此时完成
(8). ¤ u Èè §¼ u 7 的译码。当前 4 条路径的译码结果展示于图
L‡Èè(J§ÀJéA• ´»ÝþŠ Èè(JŠ
N
•SCL
2-4 Èèì其中白色节点和黑色节点的意义和
的上方, ÑÑ" SC 译码器中相同,虚线表示被删除的路
d·®²š~¦å/^ŠóQã SCLÈè짷‚e¡w˜‡ã"ã5.1xÑ SCLÈ
径,实线表示保存的路径。
èì 为了进一步提升
‰1L§§xù‡ã·•´¤ Ø §"
SCL 译码器的 BLER 性能,文献[23]和[25]提出了 CRC 码和极化
ã5.1¥ m o ‡ ä L « L êL = 4ž ˜ ˜ 4‡SCÈ è ì § l † – m • g
‰SC1 , SC2 , SC3 , SC4 "ã5.1þ• ä/( 14
L«Èè(J"•,ã5.1 Ы ´Èèu7 L
§§ ´ùØ”N·‚Þm©Qã"
ã5.1¥ SCLÈèìlu1 m© O§† u3 •Ž§Ñ=k•†ý ˜‡SCÈèì´-¹
§Ï•v‘ &E'A"ùž Èè(J(u1 = 0, u2 = 0, u3 = 0) ÝþP•P M "
u4 ´ 1 ˜ ‡ & E ' A § ù ž - ¹ 14‡SCÈ è È è ì § …SC1 3u4,1 = 0§SC4
3u4,4 = 1§Xã5.1þ• ä/( ku4 @˜ "ùžSC1 ÚSC4 ´»Ýþ©O•P M1 =
. 116 . 15Ù G1-ž LÈè
(4) (4)
P M + ln(1 + e−L8,1 )ÚP M4 = P M + ln(1 + eL8,1 )"
u5 ´È('A§Ø?1Žž§SC1 ÚSC4 þ 3u5 = 0§¿©O•#´»Ýþ•P M1 =
(5) (5)
P M1 + ln(1 + e−L8,1 )ÚP M4 = P M4 + ln(1 + e−L8,4 )"
, Èè&E'Au6 §SC1 ˆ2SC3 §SC4 ˆ2SC2 §dž4‡SCÈèìÑ®²-¹"
, Èèu7 §ùžz‡-¹ SCÈèìÑŽÓž 3u7 = 0Ú1ü‡Š§z‡SCÈèì
ÑŽÑ u7 = 0Ú1ž ÝþŠ§Xã5.1z‡ äeu7 ˜?¤«"²L´»ÝþŠ
üSuy§SC1 ÚSC3 á\þ¡Ú½(6)¥ œ¹ §…Ñ 3 u7 = 0¶SC4 á\þ¡Ú
½(6)¥ œ¹˜§§k ¶SC2 á\þ¡Ú½(6) ¥ œ¹n§SC2 3 u7 = 0§¿…ˆ2
SC4 §SC4 ¼ SC2 ¤kê⧠3u7 = 1"
&E'Au8 ÈèL§™xѧ٢u8 Èè•ØL-E u7 L§"
d·@•Öö®²Ýº SCLÈè nÚöŠL§§e¡·òÞ˜‡Ž~§ù‡Ž~
'þ¡ Qã•J˜:§Ï•·3Ž~¥•Ä Lazy Copy§=Žž´»ž§¿Ør ©´»
¤kêâÑDŠ‰# ´»§•´wŠ #)´»Ù¤I‡ êâl=pÖ "
[i] [i]
m§L«§‚äáuˆ‡SCÈèì"Ci,j L«C[i] 1i11j ƒ§C:,j L«C[i] 1j "
[i] [i]
dd§SCl Pk•;C:,2l−1 ÚC:,2l "
‘k*Ò ˜L«ÿ™ DŠ •;¶
ã5.2¥ 3 × 4 = log2 N × L ê|Ò´Lazy Copyê|"PLazy Copy 1i 1j 1 ƒ
•LCi,j §KLCi,j L«µ
(i). ·‚3ÙöݺSCÈè ÒUuy§Ø u1 Èè•^f ¼ê §Ù{'A È
èþ´lg¼êm© § ˜†^f ¼ê"Èèu1 ž’½=k˜‡-¹ SCÈèì§Ø^
(i)
•ÄLazy Copy"u1 ƒ &E'AÈèžI‡•ÄLazy Copy"SCl 3OŽLN,l ž§uyi −
1 n ?›Ðm $ ëY"km, 0 ≤ m ≤ n − 1 ‡"§ù¿›Xg ¼ê OŽò¦
[m+2] [m+1]
^P:,LCm+2,l ¥ LLRÚC:,2l−1 ¥ 'AŠ§UìÈè5K§g¼ê OŽ•µ
[m+1]
Ci,2l−1 IvkLazy Copy´Ï•SCl éA •;3Èèui−1 ž¼ áugC 'AŠ§
Xe¡(ii)¤)º "
‰1 g¼ê§ Y„I‰1f ¼êµ
[m+1]
ùpŠ vkLazy Copy§´Ï•ª(5.7)®²‰P:,l Dƒ áuSCl gC LLR Š"3
[m] [1]
ª(5.7)¥ g¼ê‰1 . §•e f ¼ê•I3P:,l , ..., P:,l ¥•gOŽ"
(ii). ·‚3ÙöݺSCÈè ÒUuy§ Cê| •#v • ˜Úž§OŽ '
Ao´W\Cê| 1 ¶ Cê| •#r • ˜Úž§OŽ 'Ao´W\Cê
| 1˜ "@o§SCl 3¼ Š
§XJi´Ûê§Kòui,l W\Cê|ù‡L§Ò´Cê
ui,l
[1] [1]
|•# • ˜Ú§¤±rui,l W\C1,2l−1 "XJi´óê§@oòui,l W\C1,2l−1 ù‡L§Ø
´Cê|•# • ˜Ú§Cê|„IUYOŽ" dži − 1 n ?›Ðm$ këY
[2] [3] [m] [m+1] [s]
m‡1§ YOŽ•g•C:,2l ,C:,2l ,...,C:,2l ,C:,2l−1 DŠ"3•C:,2l , 2 ≤ s ≤ mDŠ OŽL§
¥§ŠâÈè5Kµ
[s] [s−1]
Ci+2s−2 ,2l = Ci,2l , (5.9)
2 ≤ s ≤ m, 1 ≤ i ≤ 2s−2 .
[s] [s]
Œ„§OŽ(Jo´DŠ‰SCl Pk •;µC:,2l−1 ÚC:,2l "OŽž†ý ƒ£⊕†ý
. 118 . 15Ù G1-ž LÈè
[1]
ƒ¤5gLazy Copy§ mý ƒ5gSCl gC"ù´Ï•mý ƒlui,l W\C1,2l @
˜•å§Òo´#OŽÑ §…áuSCl § †ý ƒ´U«5 "
[m+1]
3‰C:,2l−1 , 2 ≤ s ≤ mDŠ OŽL§¥§ŠâÈè5Kµ
[m+1] [m]
Ci+2m−1 ,2l = Ci,2l , (5.10)
1 ≤ i ≤ 2m−1 .
2 * * * * * * * * * * *
2.5 * * * [3] * * * * * * * *
P[3] C
4 * * * * * * * * * * * 1 * * *
1 * * * * * * * * * * * LC 1 * * *
1 * * *
2 * * * [2] * * * * * * * *
P[2] C * * * * * * * * PM [0,*,*,*]
1 * * *
u1 u2 u3 u4 u5 u6 u7 u8
P[1] 1 * * * C [1] 0 * * * * * * *
2 * * * * * * * * * * *
2.5 * * * [3] * * * * * * * *
P [3]
C
4 * * * * * * * * * * * 1 * * *
1 * * * * * * * * * * * LC 1 * * *
1 * * *
2 * * * 0 * * * * * * *
P[2] C 0 * * * * * * *
[2]
PM [3,*,*,*]
1 * * *
u1 u2 u3 u4 u5 u6 u7 u8
P 3 * * *
[1]
C [1]
0 0 * * * * * *
(2)
Ï•u2 ´È('A§¤±E=k1ÒSCÈèì´-¹ "1ÒSCÈèìŽÑL8,1 = −3§3
(2)
gC Cê|p 3u2 = 0"Ï•u2 = 0ØÎÜL8,1 = −3 M û§¤±1 Ò´»Ýþ\þ¨
(2)
vŠ|L8,1 | = 3"
2 * * * * * * * * * * *
2.5 * * * *
P [3]
* * * * * * *
* * * C *
[3]
4 1 * * *
* * * * * * *
1 * * *
LC 1 * * *
* * * * * * * *
1 * * *
2 * * * 0 * * * * * * *
P[2] C
1.5 * * * 0 * * * * * * * PM [3,*,*,*]
u1 u2 u3 u4 u5 u6 u7 u8
(3)
Ï•u3 ´È('A§¤±E=k1ÒSCÈèì´-¹ "1ÒSCÈèìŽÑL8,1 = 1.5§3
(3)
gC Cê|p 3u3 = 0"Ï•u3 = 0ÎÜL8,1 = 1.5 M û§¤±1 Ò´»Ýþvk\¨
v"
. 120 . 15Ù G1-ž LÈè
2 * * * 0 * * * * * 1 *
2.5 * * * [3] 0 * * * * * 1 *
P [3]
C
4 * * * 0 * * * * * 1 *
1 * * * 0 * * * * * 1 *
PM [6.5,*,*, 3]
2 * * * 0 0 * * * * * 1
P[2] C 0 0 * * * * * 1
[2]
1.5 * * *
u1 u2 u3 u4 u5 u6 u7 u8
1 * * * 1 * * 1 1 * * 4
计算LLR时, LC 1 * * *。计算 C 数组时, LC 1 * * 1。 C 数组计算完毕, LC 1 * * 4。
1 * * * 1 * * 1 1 * * 4
(4) (4)
3OŽL8,1 ž§E,•k1ÒSCÈèì-¹§1ÒSCÈèìŽÑL8,1 = −3.5"duu4 ´1
˜‡&E'A§I‡?1Žž"lSsleep = {2, 3, 4}¥ Ñ4§K4ÒÈèìSC4 ´SC1 Žž"
(4)
ùžSC1 3u4,1 = 0§¿•#SC1 gC Cê|§ÓžÏ•u4,1 = 0ÚL8,1 = −3.5 M ûØ
(1)
Χ¤±1Ò´»Ýþ\þ¨vŠ|L8,1 | = 3.5"
Ž žSC4 ž §LCê | 11 E › ‰ 14 § ù L ²SC4 ¤ I O Ž ê â 5 gSC1 "SC4
[1] [2] [2] [3]
3u4,4 = 1§¿|^SC1 éA C1,1 ÚC:,1 ¥ ƒ§•#SC4 gC Cê|C:,8 , C:,7 "ÓžÏ
(4)
•u4,4 = 1ÚL8,1 = −3.5 M ûƒÎ§¤±4Ò´»Ýþvk\¨v"
due˜‡'A´u5 §5 − 1 = 4 =< 100 >2 §4 ?›mÐ km = 2‡ëY ""¤
k-¹´»éA LC¥ §cm + 1 = 31 ƒ?U•éA-¹Èèì ?Ò"
5.2 ÄuLLR SCLÈèì ‰1L§ . 121 .
8.5 * * 4.5 0 * * * * * 1 *
3.5
* * 8.5 [3] 0 * * * * * 1 *
P[3] C
12.6 * * 20.6 0 * * * * * 1 *
4.5 * * 2.5 0 * * * * * 1 *
u1 u2 u3 u4 u5 u6 u7 u8
P 3.5 * * 2.5 C
[1] [1]
0 * * * * * 0 *
1 * * 4 1 * * 4 1 * * 4
计算LLR时,LC 1 * * 4 当计算 C数组时, LC 1 * * 4 。当 C 数组计算完毕, LC 1 * * 4 。
1 * * 4 1 * * 4 1 * * 4
(5) (5)
Ï•u5 ´È('A§¤±SC1 ÚSC4 ^ˆg êâOŽL8,1 = −3.5ÚL8,4 = −2.5§…Ñ
(5) (5)
3u5 = 0"u5 = 0Ø´L8,1 = −3.5ÚL8,4 = −2.5 M û(J§ I‡‰1ÒÚ4Ò´»©O\
(5) (5)
¨vŠ|L8,1 | = 3.5Ú|L8,4 | = 2.5"
(5) (5) [1]
3 O ŽL8,1 ÚL8,4 ž §Lazy Copyê | Ã C z " SC1 ÚSC4 ‰ ˆ g Cê | • þC1,1 =
[1]
C1,7 = u5 = 0 §Ï•5´Ûꧤ±Ø2UY•#Cê| "
e˜‡'A•u6 §6 − 1 = 5 =< 101 >2 §5 ?›Ðm km = 0‡ëY "£Ò´v
këY "¤§¤k-¹´»éA LC ¥ §cm + 1 = 11 ƒ?U•éA-¹Èèì
?Ò£(Jvk )?ÛCz¤"
. 122 . 15Ù G1-ž LÈè
8.5 * * 4.5 0 * * * * * 1 *
3.5 * * 8.5 [3] 0 * * * * * 1 *
P [3]
C
12.6 * * 20.6 0 * * * * * 1 *
4.5 * * 2.5 0 * * * * * 1 *
PM [15,5.5,10, 7.5]
8.5 * * 4.5 [2] 0 * 1 * 1 * 0 *
P[2] C 0 * 1 * 1 * 0 *
3.5 * * 2.5
u1 u2 u3 u4 u5 u6 u7 u8
P 5 * * 2
[1]
C [1]
0 0 * 1 * 1 0 0
1 * * 4 1 4 1 4 1 2 3 4
计算LLR时,LC 1 * * 4 当计算 C数组时, LC 1 4 1 4 。当 C 数组计算完毕, LC 1 2 3 4。
1 * * 4 1 4 1 4 1 4 1 4
(6) (6)
1ÒSCÈèìŽÑL8,1 = −5§4ÒSCÈèìŽÑL8,4 = −2§džI‡Žž"
lSsleep = {2, 3}¥ Ñ3§K3ÒÈèìSC3 ´SC1 Žž"ùžrLC 1˜ E›‰1n
[1] [2]
§L«SC3 ¤Iêâ5gSC1 "SC1 3C1,2 = u6,1 = 0§¿•#SC1 gC Cê|µC:,1 =
[1] [1] [1] (6)
[C1,1 ⊕ C1,2 C1,2 ]" Ï •u6,1 = 0ÚL8,1 = −5 M û Ø Î § ¤ ±1Ò ´ » Ý þ \ þ ¨ v
(6)
Š|L8,1 | = 5"
[1] [2] [1] [1] [1]
SC3 3C1,6 = u6,3 = 1§¿•#SC3 gC Cê|µC:,5 = [C1,1 ⊕C1,6 C1,6 ]"Ï•u6,3 = 1
(6)
ÚL8,1 = −5 M ûƒÎ§¤±3Ò´»Ýþvk\¨vŠ"
lSsleep = {2} Ñ2§ K2ÒÈ è ìSC2 ´SC4 Žž § ùžSsleep = ∅"rLC 14 E
[1]
›‰12 §L«SC2 ¤Iêâ5gSC4 "SC4 = u6,4 = 0§¿•#SC4 gC Cê 3C1,8
[2] [1] [1] [1] (6)
|µC:,7 = [C1,7 ⊕ C1,8 C1,8 ] Ï•u6,4 = 0ÚL8,4 = −2 M ûØΧ¤±4Ò´»Ýþ\þ¨
(6)
vŠ|L8,4 | = 2"
[1] [2] [1] [1] [1]
SC2 3C1,4 = u6,2 = 1§¿•#SC2 gC Cê|µC:,3 = [C1,7 ⊕ C1,4 ; C1,4 ]"Ï•u6,2 =
(6)
1 ÚL8,4 = −2 M ûƒÎ§¤±2Ò´»Ýþvk\¨vŠ"
due˜‡'A´u7 §7 − 1 = 6 =< 110 >2 §6 ?›mÐ km = 1‡ëY ""¤
k-¹´»éA LC¥ §cm + 1 = 21 ƒ?U•éA-¹Èèì ?Ò"
5.2 ÄuLLR SCLÈèì ‰1L§ . 123 .
8.5 * * 4.5 0 * * * * * 1 *
3.5 * * 8.5 [3] 0 * * * * * 1 *
P[3] C
12.6 * * 20.6 0 * * * * * 1 *
4.5 * * 2.5 0 * * * * * 1 *
PM [11,5.5,10, 7.5]
u1 u2 u3 u4 u5 u6 u7 u8
1 2 3 4 3 2 3 4 1 2 3 4
计算LLR时,LC 1 2 3 4。计算C数组时, LC 3 2 3 4。计算完C数组, LC 3 2 3 4
1 4 1 4 1 4 1 4 1 4 1 4
u1 u2 u3 u4 u5 u6 u7 u8
P[1] 20.1 31.1 22.1 27.1
C [1] 1 1 1 1 0 0 0 0
1 2 3 4 1 2 3 4
计算LLR时,LC 3 2 3 4 。计算C数组时, LC 3 2 3 4 。译码结束
1 4 1 4 1 4 1 4
27 for l index = 1 : L
28 i f a c t i v e p a t h ( l i n d e x ) == 0
29 continue ;
30 end
31 switch phi
32 %D e c o d i n g b i t s u 0 and u N / 2 n e e d s c h a n n e l LLR ,
33 %s o t h e d e c o d i n g o f them i s s e p a r a t e d from o t h e r b i t s .
34 case 0
35 i n d e x 1 = l a m b d a o f f s e t (m ) ;
36 for beta = 0 : index 1 − 1
37 P( beta + index 1 , l i n d e x ) = . . .
38 sign ( l l r ( beta + 1)) ∗ . . .
39 sign ( l l r ( beta + index 1 + 1)) ∗ . . .
40 min ( a b s ( l l r ( b e t a + 1 ) ) , . . .
41 abs ( l l r ( beta + index 1 + 1 ) ) ) ;
42 end
43 f o r i l a y e r = m − 2 : −1 : 0
44 index 1 = lambda offset ( i l a y e r + 1);
45 index 2 = lambda offset ( i l a y e r + 2);
46 for beta = 0 : index 1 − 1
47 P( beta + index 1 , l i n d e x ) = . . .
48 sign (P( beta +index 2 , l i n d e x ) ) ∗ . . .
49 sign (P( beta + index 1+index 2 , l i n d e x ) ) ∗ . . .
50 min ( a b s ( P ( b e t a + i n d e x 2 , l i n d e x ) ) , . . .
51 abs ( P ( beta + index 1 +index 2 , l i n d e x ) ) ) ;
52 end
53 end
54 c a s e N/ 2
55 i n d e x 1 = l a m b d a o f f s e t (m ) ;
56 for beta = 0 : index 1 − 1
57 x tmp = C ( b e t a + i n d e x 1 , 2 ∗ l i n d e x − 1 ) ;
58 P( beta + index 1 , l i n d e x ) = . . .
59 ( 1 − 2 ∗ x tmp ) ∗ l l r ( b e t a + 1 ) + . . .
60 l l r ( beta + 1 + index 1 ) ;
61 end
5.2 ÄuLLR SCLÈèì ‰1L§ . 127 .
62 f o r i l a y e r = m − 2 : −1 : 0
63 index 1 = lambda offset ( i l a y e r + 1);
64 index 2 = lambda offset ( i l a y e r + 2);
65 for beta = 0 : index 1 − 1
66 P( beta + index 1 , l i n d e x ) = . . .
67 sign (P( beta +index 2 , l i n d e x ) ) ∗ . . .
68 sign (P( beta +index 1+index 2 , l i n d e x ) ) ∗ . . .
69 min ( a b s ( P ( b e t a + i n d e x 2 , l i n d e x ) ) , . . .
70 abs ( P ( beta + index 1 +index 2 , l i n d e x ) ) ) ;
71 end
72 end
73 otherwise
74 index 1 = lambda offset ( layer + 1);
75 index 2 = lambda offset ( layer + 2);
76 for beta = 0 : index 1 − 1
77 P( beta + index 1 , l i n d e x ) = . . .
78 (1 −2∗C ( b e t a + i n d e x 1 , 2∗ l i n d e x − 1 ) ) ∗ . . .
79 P ( b e t a + i n d e x 2 , l a z y c o p y ( l a y e r +2 , l i n d e x ) ) + . . .
80 P ( b e t a + i n d e x 1 + i n d e x 2 , l a z y c o p y ( l a y e r +2 , l i n d e x ) ) ;
81 end
82 f o r i l a y e r = l a y e r − 1 : −1 : 0
83 index 1 = lambda offset ( i l a y e r + 1);
84 index 2 = lambda offset ( i l a y e r + 2);
85 for beta = 0 : index 1 − 1
86 P( beta + index 1 , l i n d e x ) = . . .
87 sign (P( beta +index 2 , l i n d e x ) ) ∗ . . .
88 sign (P( beta +index 1+index 2 , l i n d e x ) ) ∗ . . .
89 min ( a b s ( P ( b e t a + i n d e x 2 , l i n d e x ) ) , . . .
90 abs ( P ( beta + index 1 +index 2 , l i n d e x ) ) ) ;
91 end
92 end
93 end
94 end
95 i f f r o z e n b i t s ( p h i + 1 ) == 0
96 %i f now we d e c o d e an u n f r o z e n b i t
. 128 . 15Ù G1-ž LÈè
132 switch p a t h s t a t e
133 %p a t h s t a t e c a n e q u a l t o 0 ,
134 %b u t i n t h i s c a s e we do no o p e r a t i o n .
135 case 1
136 u ( cnt u , l index ) = 1;
137 C(1 , 2 ∗ l i n d e x − 1 + phi mod 2 ) = 1;
138 PM( l i n d e x ) = P M p a i r ( 2 , l i n d e x ) ;
139 case 2
140 u ( cnt u , l index ) = 0;
141 C(1 , 2 ∗ l i n d e x − 1 + phi mod 2 ) = 0;
142 PM( l i n d e x ) = P M p a i r ( 1 , l i n d e x ) ;
143 case 3
144 index = k i l l i n d e x ( k i l l c n t ) ;
145 k i l l c n t = k i l l c n t − 1 ;%pop s t a c k
146 a c t i v e p a t h ( index ) = 1;
147 %l a z y copy
148 lazy copy ( : , index ) = lazy copy ( : , l i nd ex ) ;
149 u ( : , index ) = u ( : , l i nd ex ) ;
150 u ( cnt u , l index ) = 0;
151 u ( cnt u , index ) = 1;
152 C(1 , 2 ∗ l i n d e x − 1 + phi mod 2 ) = 0;
153 C(1 , 2 ∗ index − 1 + phi mod 2 ) = 1;
154 PM( l i n d e x ) = P M p a i r ( 1 , l i n d e x ) ;
155 PM( i n d e x ) = P M p a i r ( 2 , l i n d e x ) ;
156 end
157 end
158 cnt u = cnt u + 1;
159 e l s e%f r o z e n b i t o p e r a t i o n
160 for l index = 1 : L
161 i f a c t i v e p a t h ( l i n d e x ) == 0
162 continue ;
163 end
164 i f P(1 , l index ) < 0
165 PM( l i n d e x ) = PM( l i n d e x ) − P ( 1 , l i n d e x ) ;
166 end
. 130 . 15Ù G1-ž LÈè
167 i f p h i m o d 2 == 0
168 C(1 , 2 ∗ l i n d e x − 1) = 0;
169 else
170 C(1 , 2 ∗ l i n d e x ) = 0;
171 end
172 end
173 end
174
L
K × [(N − 1) + 2(N − 1)] × . (5.13)
2
þª ¿Â´µØ^Lazy Copy§Èèz‡&E'Aui , i ∈ Až§•€œ¹e§¤k´
»o´?uŽž G §Ïdz‡ui , i ∈ AÚ\L/2gE›§zgE›N − 1‡¥mLLRŠ
Ú2(N − 1)‡¥m'AŠ" èÇ•R§K = N R§þªw,´N 2 E,ݧù‡E,Ý3¢
žÏ&p´ØU É "
@o¦^ Lazy Copy §lþãSCL$1L§§·‚uyX8Ø2E›?ÛLLRÚ'Aê
⧠=E›Lazy Copy¥ "@oÈèz‡&E'Aui , i ∈ Až§•€œ¹e§¤k´»o
´?uŽž G §Ïdz‡ui , i ∈ AÚ\L/2gE›§zgE›Lazy Copy ,˜ §K˜g
L
E› ƒ‡ê•n"dd§•€œ¹e§˜gSCLÈèêâE› gê•K × n × 2 §ìCê
þ•O(LN log N )"
N N
LSCL (N, P, A) = [2N + log2 ] + |A|. (5.14)
P 4P
N N
2N + P log2 4P ù˜‘3þ˜Ù`L§´˜‡SCÈèì žò§Ï•^‡(a)§¤±SCL¥
dSCÈèìÚ\ žò•´ù‡Š"
|A|ù˜‘L«µÈ('A?vkŽž§•ÒØI‡´»Ýþ üS§¤±=3&E'A
?üS´»Ýþ"&E'Ak|A|‡§Ï•^‡(b)§¤±\þ|A|"
•,þª`²SCLÈèì žòÚLÃ'§ ´w,L Œ§SCLÈèìõÑ Œ§¤I•
; Œ§¤I$Žì õ§´»üS• E,"u•3Ùúm Ø©¥í•L 8"
§ 5.3 ¯„SCLÈè
! ̇땩z´[23][24][25]§Ù¥[23]´˜‡@ϤJ§o( ˆ«!:e´»Ý
þ OŽ•{¶[24]•´˜‡@ϤJ§JÑ R1!: ¯„ÈèŽ{¶[25]´˜‡8¤ (
J§òR0!R1!SPC ÚRep!: ¯„ÈènÜ3 ˜å"·@•±þ©z •{´²; "
ùSCÈèì žÿ·‚ùL¯„SCÈèì"¯„SCÈè n´3SCL§$1 ,‡A
Ïfèžÿ§Ø2¦^SCL§UYÈè§ ´† ¦^•Œq,Èè§ ¤Tfè èi'A
. 134 . 15Ù G1-ž LÈè
i
X (k)
− ln Pr(ui1 |yN
1 )= ln(1 + e−(1−2uk )LN ).
k=1
(k)
ù‡úª•6 ´ û&E'A^ LLR§•Ò´LN "e¡ ÚnwŠ·‚§=¦vk
(k)
ˆ‡LN Š§·‚EUOŽ,‡fèÚ\ ´»Ýþ Oþ"
β1 +β2
Ún 5.1 3GF(2)þkx1 = u1 ⊕ u2 §x2 = u2 §3¢ê•þkα1 = ln 1+e
eβ1 +eβ2
, α2 =
(1 − 2u1 )β1 + β2 §Kéu?¿(u1 , u2 ) ∈ {0, 1}2 Ú?¿¢êβ1 , β2 keª¤á:
ln(1 + e−(1−2u1 )α1 ) + ln(1 + e−(1−2u2 )α2 ) = ln(1 + e−(1−2x1 )β1 ) + ln(1 + e−(1−2x2 )β2 ). (5.15)
y² ¦^8B{"
Þµ n = 1§dÚn5.1Œ•½n(ؤá"
P2k (i) P2k
8 B b µ n = kž § k i=1 ln(1 + e−(1−2ûi )LN ) = i=1 ln(1 + e
−(1−2x̂i )li
)§ Ù
¥(x̂1 , ..., x̂2k ) = (û1 , ..., û2k )F⊗k "
e˜Úµ n = k + 1ž§Xã5.10¤«§6§Xe¤ã"
(i). (l1 , ..., l2k+1 )´& ÂLLR§•mý˜ 2k ‡2 × 2 ¬^f ¼êŽÑ(α1 , ..., α2k )"
(ii). ?n†þ •Ý•2 k
4zèµr(α1 , ..., α2k ) Š ÂLLRS §Ñ\•Ý•2k SCÈ
k
èì§ †þ •Ý•2 k
4zè & Oû21 "d8Bb ã5.10þ¡ùµ¥ ªf"
(iii). ?n†e •Ý•2 k
4zèµr(α2k +1 , ..., α2k+1 ) = ((1 − 2x̂1 )l1 + l2k +1 , ..., (1 −
2x̂2k )l2k + l2k+1 ) Š ÂLLRS §Ñ\•Ý•2k SCÈèì§ †e •Ý•2k 4zè
k+1
& Oû22k +1 "d8Bb ã5.10e¡ùµ¥ ªf"
(iv). •mý˜ k
2 ‡2 × 2 ¬lþ e?Ò•1, 2, ..., 2k "dÚn5.1§éu1i‡2 × 2
µ
2k 2k
ln(1 e
i 1
(1 2 uˆi ) L(Ni )
) ln(1 e (1 2 xˆi )i )
i 1
x̂1 1 ̂1
l1
2k 2
SC(1 ,..., 2k ) uˆ x̂2 ̂2
l2
F k
1
x̂3 ˆ
k
uˆ12 F k xˆ12
k
... ... ... l3
xˆ2k 2 k ˆ 2 k
l 2k
k 1 xˆ 2k 2 2 2 (1 2 xˆ2 )l2 l2 2 k
ˆ 2 2 2 1
SC( 2k 1 ,..., 2k 1 ) uˆ 2 k k k
l 2k 2
F k
2k 1 xˆ2k 3 2 3 (1 2 xˆ3 )l3 l2 3
k k ˆ 2 3k
k 1
k k 1
... ... ... l 2k 3
uˆ 2
2k 1
F xˆ
2
2k 1 xˆ2k 1 2 (1 2 xˆ2 )l2 l2 ˆ 2 k 1
k 1 k k k 1
l2k 1
2k 1 2k 1
k
ln(1 e (1 2 uˆi ) L(Ni )
) k
ln(1 e (1 2 xˆi )i )
i 2 1 i 2 1
[1 , 2 ,..., Nv ]
l (1l , 2l ,..., Nl / 2 ) r (1r , 2r ,..., Nr / 2 )
(1) 母 (3)
v v
f ( i , i N / 2 )
i
l
v
i i N
i
r
v /2
R0 l [0, 0,..., 0] 右
(2) Nv
PM l PM l ln(1 ei )
l
i 1
右 左 Rep
Rep l ( 1 ,..., N / 2 )
l (0,..., 0)或(1,...,1) v
r (0,..., 0)或(1,...,1)
ù‡ui Ò´Rep!:¥•˜
1
&E'A"O•§ui ¢ÚÒi Œ±ÏL·þ˜Ù¥ !:
|¢§S(½"
5.3 ¯„SCLÈè . 139 .
[k+log N ] [k−1+log2 Nv ]
C2k+log22Nvv−2 +1:2k+log2 Nv −1 ,2is = C:,2is , (5.20)
2 ≤ k ≤ w − log2 Nv .
• ˜g•#£DŠo´‰C †ý ¤µ
[w+1] [w] [w]
C1:2w−1 ,2is −1 = C:,2LCw,is −1 ⊕ C:,2is ,
(5.21)
[w+1] [w]
C2w−1 +1:2w ,2is −1 = C:,2is ,
[1 , 2 ,..., Nv ]
r (1r , 2r ,..., Nr / 2 )
v
母 (1 2 ) i i N
r l
i i v /2
左 R1
l ( 1 ,..., N / 2 )
v
r ( 1r ,..., Nr )
v
PM l
| i1 | PM l PM l | i1 |
| i2 | PM l PM l | i2 | PM l | i1 | PM l | i1 | | i2 |
| iL 1 | PM l PM l | i |, i {1, 2,..., N v }
PM l | i | | j |, i, j {1, 2,..., N v }, i j
PM l | i | | j | | k |, i, j , k {1, 2,..., N v }, i j k
......
Nv
PM l | i |
i 1
共计C 0
L 1 C 1
L 1 ... CLL11 2 L1 项
ã 5.14 R1!: ä© "N´ y¤k“!:ÝþŠ LˆªXɵSN¤«"5
¿§ù Lˆªp؃ӧؓL‰½|αi1 |, ..., |αiL−1 |ž§ù Lˆª ꊘ½p؃Ó"
PM
{1 ,..., Nv }
PM 1 PM 2 PM S
i2 PM 1 PM | 1 | PM 2 PM 2 | i2 | PM S PM S | iS2 |
1 i2 2
ij … … 路径复制,可Lazy Copy …
2 j min{N v , L 1} … … …
ã 5.16 ‘ 8IR1!:žSCL¥®²•3S‡-¹ SCÈèì œ¹
Èè(J9Ù3eZ'A ˜þ €="
Èè8IR1!:ž®²•3S, 2 ≤ S ≤ L‡-¹ SCÈè잧¤IöŠXã5.16 ¤
«"
ã5.16¥z˜‡SCÈèìÑ áugC LLRS §1s‡SCÈèì LLRS
P•{α1s , ..., αN
s
v
}¶
z˜‡ÈèìÑégC LLR?1M û§1s‡SCÈèì ûS P•{β1s , ..., βN
s
v
}¶
z˜‡SCÈèìÑéáugC LLRS ?1ýéŠüS§1s‡SCÈèìLLRýéŠS
,SüSP•{|αis1 |, ..., |αisNv |}¶
ã5.16¥ 1 ˜ g © éA ´ d z ‡SCÈ è ì  LLRS ¥äk• ýéŠ
LLR•« §~X1˜g© ´d• ý銢Úi1 û½ "
1˜g© ¥ z‡†¯f U«1!: ê⧠m¯fK€=äk• ýéŠ
LLRéA 'AŠ§¿\þƒA Ýþ¨v"ùž •32S‡(J"·‚b 2S > L§I‡
?}§= 3äk• L‡ÝþŠ ©|"ÉÚJ‚µ¥ (J´·‚DK (J¶
1 g© éA ´dz‡SCÈèì LLRS ¥äk1 ýéŠ LLR•«
§Šâ1˜g© ¥ b §ùž©|ê7k2L‡§= 3äk• L‡ÝþŠ ©
|"ÉÚJ‚µ¥ (J´·‚DK (J"dž§5¿ ~f¥ 1S‡Èèì ¤
k©|Ñ = § 12‡SCÈèìkü‡(J•3§dž%@r†¯f 33 ´»¥§
m¯fLazy Copy‰1S‡Èèì"ùp Lazy Copy' {ü§•‡wŠ1S‡Èèì Ö
12‡Èèì êâÒ1 µLazy Copyê|Щz•[1, 2, ..., S, ..., L − 1, L]§´»E› C
¤[1, 2, ..., 2, ..., L − 1, L]"
•{ © ±daí§† ©|ê‡LL§ùž 3Ù¥L‡äk• ÝþŠ (J§D
KÙ{(J§† ¤äk1L − 1 ýéŠ LLR•« ¥ öŠ"
·‚5¿ XJL − 1 > Nv §þãöŠ?1 |αNv |•« Ò(å §Ï•vk•õ ê
5.3 ¯„SCLÈè . 143 .
PM l
| i1 | | i2 | PM l PM l | i1 | | i2 |
| i1 | | i3 | PM l PM l | i1 | | i3 | PM l | i1 | | i2 | PM l | i2 | | i |
| i1 | | ik |
4 k L 1
PM l
PM l | i1 | | i j |, j 1
| i1 | | iL | PM l | i1 | | i j | | i j | | i j |, j j2 j3 1
1 2 3
L
......
PM l | i | | i |. 共计CL0 CL2 ... CLL 2 L1 项
1 k
k 2
ã 5.17 ⊕N
i=1 x̂i = 0žSPC!:èi'A© "o´b
v
L´2 ˜§l L•´óê"ù‡b
•´¢S¥~„ œ¹§ÃØ´Æ.½´ó’."
(b). XJ⊕N
i=1 x̂i = 1§¿›XM
v
û(Jš{§dž€=|αi1 |éA 'AÒ •Œq
,Èè(J"dž SPCèi© Xã5.18¤«§ã5.18Úã5.17 5Æ ˜—§•˜ ØÓ
Ò´5.18¥ 1!: êâC¤ µÝþŠ´P Ml +|αi1 |§èiS ´(x̂1 , ..., x̂i1 ⊕1, ..., x̂Nv )"
5¿ |αi1 |\\óêgž§vk¨v¶ |αi1 |\\Ûêgž§äk¨v‘|αi1 |"
3Œõꜹe§‘ ˜‡SPC!:ž§SCLÈè쥌U®²•3S‡-¹SCÈèì§
ù SCÈèì˜gIÒ•1, 2, ..., S"Xã5.19¤«"
z‡SCÈèìkgC LLRS {α1s , ..., αN
s
v
}, 1 ≤ s ≤ S¶
z‡SCÈèìégC LLRS ýéŠüS {αis1 , ..., αisNv , 1 ≤ s ≤ S}¶
z‡SCÈèìégC LLRS ‰M ý {β1s , ..., βN
s
v
}, 1 ≤ s ≤ S§ù û(J½
öá\þ¡(a) 㥠œ¹§½öá\þ¡(b)㥠œ¹"
1˜g© d¢Úi1 , i2 •«§z‡SCÈèì•ì(a)ã½(b)㥠œ¹§‰ÑgC ©
"XJ©|êþ‡L L§Ò= •äk• ÝþŠ L‡©|§DKÙ{©|£ÉÚJ‚
µ¤«¤"XJ,‡SCÈèì ¤k©|Ñ DK §@oTÈè6žk §O ÂÙ§È
èìE›5 êâ"†R1!:aq§E›Œ^Lazy Copy§=wŠŽž´»l=p Ñêâ"
5.3 ¯„SCLÈè . 145 .
PM l | i1 |
| i1 | | i2 | PM l | i1 | PM l | i2 |
| i1 | | i3 | PM l | i1 | PM l | i3 | PM l | i2 | PM l | i1 | | i2 | | i |
| i1 | | ik |
4 k L 1
PM l | i j |,1 j L
| i1 | | iL | PM l | i j | | i j | | i j |, j j2 j3
1 2 3
L 1
......
PM l | ik |. 共计CL1 CL3 ... CLL1 2 L1 项
k 1
ã 5.18 ⊕N
i=1 x̂i = 1ž§SPC!: èi'A©
v
PM 1 PM 2 | i12 | PM S
1 f u n c t i o n p o l a r i n f o e s t i = FastSCL decoder . . .
2 ( llr ,L, info bits , lambda offset , . . .
3 l l r l a y e r v e c , bit layer vec , psi vec , node type matrix )
4 %LLR−b a s e d SCL d e o c o d e r
5 %S y s t e m a t i c p o l a r c o d e u s e d
6 %4 n o d e s a r e i d e n t i f i e d and decoded , i . e . , r a t e 0 , r a t e 1 , r e p , spc ,
7 %No BLER l o s s , w h i l e u s i n g f a s t a l g o r i t h m s .
8 %c o n s t
9 N = length ( l l r );
10 m = l o g 2 (N ) ;
11 %memory d e c l a r e d
12 P = z e r o s (N − 1 , L ) ; % l l r i s p u b l i c −used , s o N − 1 i s enough .
13 C = zeros (2 ∗ N − 1 , 2 ∗ L ) ;
14 PM = z e r o s ( L , 1 ) ;
15 a c t i v e p a t h = zeros (L, 1 ) ;
16 l a z y c o p y = z e r o s (m, L ) ;
17 % i n i t i a l i z e t h e 1 s t SC d e c o d e r
18 activepath (1) = 1;
19 lazy copy ( : , 1) = 1;
20 %d e c o d i n g s t a r t s
21 %d e f a u l t : i n t h e c a s e o f p a t h c l o n e i n REP and l e a f node ,
22 %o r i g i a n l a l w a y s c o r r e s p o n d s t o b i t 0 s , w h i l e t h e new p a t h b i t 1 s .
23 fo r i node = 1 : s i z e ( node type matrix , 1)
24 c u r r e n t i n d e x = node type matrix ( i node , 1 ) ;
25 llr layer = llr layer vec ( current index );
26 M = node type matrix ( i node , 2 ) ;
27 %number o f l e a f n o d e s i n t h i s c o n s t i t u e n t node
28 r e d u c e d l a y e r = l o g 2 (M) ;
29 %F o r LLR r e c u r s i o n , t h i s r e d u c e d l a y e r d e n o t e s where t o s t o p ;
30 %F o r B i t r e c u r s i o n , t h i s d e n o t e s where t o s t a r t .
31 psi = psi vec ( i node ) ;
32 %T h i s p s i i s u s e d f o r b i t s r e c u r s i o n
33 p s i m o d 2 = mod ( p s i , 2 ) ;
34 %To d e c i d e w h e t h e r t h e b i t r e c u i s i o n s h o u l d c o n t i n u e .
35 %1 : c o n t i n u e ; 0 : s t o p .
5.3 ¯„SCLÈè . 147 .
36 for l index = 1 : L
37 i f a c t i v e p a t h ( l i n d e x ) == 0
38 continue ;
39 end
40 switch current index
41 case 1
42 i n d e x 1 = l a m b d a o f f s e t (m ) ;
43 for beta = 0 : index 1 − 1
44 P( beta + index 1 , l i n d e x ) = . . .
45 sign ( l l r ( beta + 1)) ∗ . . .
46 sign ( l l r ( beta + index 1 + 1)) ∗ . . .
47 min ( a b s ( l l r ( b e t a + 1 ) ) , . . .
48 abs ( l l r ( beta + index 1 + 1 ) ) ) ;
49 end
50 f o r i l a y e r = m − 2 : −1 : r e d u c e d l a y e r
51 index 1 = lambda offset ( i l a y e r + 1);
52 index 2 = lambda offset ( i l a y e r + 2);
53 for beta = index 1 : index 2 − 1
54 P( beta , l i n d e x ) = . . .
55 sign (P( beta + index 1 , l i n d e x ) ) ∗ . .
56 sign (P( beta + index 2 , l i n d e x ) ) ∗ . . .
57 min ( a b s ( P ( b e t a + i n d e x 1 , l i n d e x ) ) , . . .
58 abs ( P ( beta + index 2 , l i n d e x ) ) ) ;
59 end
60 end
61 c a s e N/ 2 + 1
62 i n d e x 1 = l a m b d a o f f s e t (m ) ;
63 for beta = 0 : index 1 − 1
64 x tmp = C ( b e t a + i n d e x 1 , 2 ∗ l i n d e x − 1 ) ;
65 P( beta + index 1 , l i n d e x ) = . .
66 ( 1 − 2 ∗ x tmp ) ∗ l l r ( b e t a + 1 ) + . . .
67 l l r ( beta + index 1 + 1);
68 end
69 f o r i l a y e r = m − 2 : −1 : r e d u c e d l a y e r
70 index 1 = lambda offset ( i l a y e r + 1);
. 148 . 15Ù G1-ž LÈè
106 x = z e r o s (M, 1 ) ;
107 for l index = 1 : L
108 i f a c t i v e p a t h ( l i n d e x ) == 0
109 continue ;
110 end
111 C( i n d e x v e c , psi mod 2 + 2 ∗ l i n d e x − 1) = x ;
112 PM( l i n d e x ) = PM( l i n d e x ) + . . .
113 sum ( l o g ( 1 + exp (−P ( i n d e x v e c , l i n d e x ) ) ) ) ;
114 %Do n o t f o r g e t u p d a t i n g p a t h m e t r i c i n r a t e 0 n o d e s
115 %No copy i n R a t e 0 node
116 end
117 c a s e 1%∗∗∗∗∗RATE 1∗∗∗∗∗
118 %i n p u t LLR : P ( i n d e x v e c , : )
119 [PM, a c t i v e p a t h , s e l e c t e d s u b c o d e w o r d , l a z y c o p y ] . . .
120 = R a t e 1 (M, P ( i n d e x v e c , : ) , a c t i v e p a t h , PM, L , l a z y c o p y ) ;
121 %o u t p u t : s u b p o l a r codeword : ’ s e l e c t e d s u b c o d e w o r d ’ .
122 for l index = 1 : L
123 i f a c t i v e p a t h ( l i n d e x ) == 0
124 continue
125 end
126 C( i n d e x v e c , 2 ∗ l i n d e x − 1 + psi mod 2 ) = . . .
127 selected subcodeword (: , l index ) ;
128 end
129 c a s e 2%∗∗∗∗∗REP∗∗∗∗∗
130 [PM, a c t i v e p a t h , l a z y c o p y , s e l e c t e d s u b c o d e w o r d ] = . . .
131 Rep (PM, P ( i n d e x v e c , : ) , a c t i v e p a t h , L , M, l a z y c o p y ) ;
132 for l index = 1 : L
133 i f a c t i v e p a t h ( l i n d e x ) == 0
134 continue
135 end
136 C( i n d e x v e c , 2 ∗ l i n d e x − 1 + psi mod 2 ) = . . .
137 selected subcodeword (: , l index ) ;
138 end
139 c a s e 3%∗∗∗∗∗∗∗SPC∗∗∗∗∗∗∗
140 [PM, a c t i v e p a t h , s e l e c t e d s u b c o d e w o r d , l a z y c o p y ] = . . .
. 150 . 15Ù G1-ž LÈè
176 end
177 %l a z y copy
178 i f i node < s i z e ( node type matrix , 1)
179 f o r i l a y e r = 1 : l l r l a y e r v e c ( c u r r e n t i n d e x + M) + 1
180 for l index = 1 : L
181 lazy copy ( i layer , l index ) = l index ;
182 end
183 end
184 end
185 end
186 %s e l e c t t h e b e s t p a t h
187 [ ˜ , m i n i n d e x ] = min (PM ) ;
188 x = C ( end − N + 1 : end , 2 ∗ m i n i n d e x ( 1 ) − 1 ) ;
189 p o l a r i n f o e s t i = x ( i n f o b i t s ) ;%S y s t e m a t i c c o d e
190 end
1 f u n c t i o n [PM, a c t i v e p a t h , l a z y c o p y , c a n d i d a t e c o d e w o r d ] . . .
2 = Rep (PM, LL R a rr a y , a c t i v e p a t h , L , M, l a z y c o p y )
3 n u m s u r v i v i n g p a t h = min ( L , 2 ∗ sum ( a c t i v e p a t h ) ) ;
4 PM pair = realmax ∗ ones ( 2 , L ) ;
5 %I n r e p node , one e x s i t i n g p a t h g e n e r a t e s two c a n d i d a t e s
6 c a n d i d a t e c o d e w o r d = z e r o s (M, L ) ;
7 for l index = 1 : L
8 i f a c t i v e p a t h ( l i n d e x ) == 0
9 continue ;
10 end
11 Delta0 = 0;
12 Delta1 = 0;
13 for i llr = 1 : M
14 i f LLR array ( i l l r , l i n d e x ) < 0
15 Delta0 = Delta0 − LLR array ( i l l r , l i n d e x ) ;
16 else
17 Delta1 = Delta1 + LLR array ( i l l r , l i n d e x ) ;
18 end
. 152 . 15Ù G1-ž LÈè
19 end
20 P M p a i r ( 1 , l i n d e x ) = PM( l i n d e x ) + D e l t a 0 ;
21 P M p a i r ( 2 , l i n d e x ) = PM( l i n d e x ) + D e l t a 1 ;
22 end
23 PM sort = s o r t ( PM pair ( : ) ) ;
24 PM cv = P M s o r t ( n u m s u r v i v i n g p a t h ) ;
25 compare = z e r o s ( 2 , L ) ;
26 cnt = 0;
27 for j = 1 : L
28 for i = 1 : 2
29 i f c n t == n u m s u r v i v i n g p a t h
30 break ;
31 end
32 i f P M p a i r ( i , j ) <= PM cv
33 compare ( i , j ) = 1 ;
34 cnt = cnt + 1;
35 end
36 end
37 end
38 k i l l i n d e x = zeros (L, 1 ) ;
39 k i l l c n t = 0;
40 for i = 1 : L
41 i f ( compare ( 1 , i ) == 0)&&( compare ( 2 , i ) == 0 )
42 %i n d i c a t e s t h a t t h i s p a t h s h o u l d be k i l l e d
43 activepath ( i ) = 0;
44 k i l l c n t = k i l l c n t + 1 ;%p u s h s t a c k
45 kill index ( kill cnt ) = i ;
46 end
47 end
48
49 for l index = 1 : L
50 i f sum ( compare ( : , l i n d e x ) ) == 0
51 continue ;
52 end
53 p a t h s t a t e = compare ( 1 , l i n d e x ) ∗ 2 + compare ( 2 , l i n d e x ) ;
5.3 ¯„SCLÈè . 153 .
54 switch p a t h s t a t e
55 case 1
56 candidate codeword ( : , l index ) = 1;
57 PM( l i n d e x ) = P M p a i r ( 2 , l i n d e x ) ;
58 case 2
59 PM( l i n d e x ) = P M p a i r ( 1 , l i n d e x ) ;
60 % i n i t i l i z e d v a l u e s a r e 0 s , s o no u p d a t e h e r e .
61 case 3
62 new index = k i l l i n d e x ( k i l l c n t ) ;
63 k i l l c n t = k i l l c n t − 1;
64 a c t i v e p a t h ( new index ) = 1;
65 lazy copy ( : , new index ) = lazy copy ( : , l i n d e x ) ;
66 candidate codeword ( : , new index ) = 1;
67 PM( l i n d e x ) = P M p a i r ( 1 , l i n d e x ) ;
68 PM( n e w i n d e x ) = P M p a i r ( 2 , l i n d e x ) ;
69 end
70 end
1 f u n c t i o n [PM, a c t i v e p a t h , c a n d i d a t e c o d e w o r d , l a z y c o p y ] . . .
2 = R a t e 1 (M, L LR a rr a y , a c t i v e p a t h , PM, L , l a z y c o p y )
3 c a n d i d a t e c o d e w o r d = z e r o s (M, L ) ;
4 l l r o r d e r e d = z e r o s (M, L ) ;
5 s u b l a z y c o p y = 1 : L ;%l a z y c o p y u s e d i n t h i s f u n c t i o n .
6 for l index = 1 : L
7 i f a c t i v e p a t h ( l i n d e x ) == 0
8 continue ;
9 end
10 %s o r t l e n g t h −Nv LLR i n i t s a b s o l u t e v a l u e .
11 [˜ , llr ordered (: , l index )] =...
12 s o r t ( abs ( LLR array ( : , l i n d e x ) ) ) ;
13 candidate codeword ( : , l index ) = . . .
14 LLR array ( : , l i n d e x ) < 0;
15 %ML codeword l o a d e d
16 end
. 154 . 15Ù G1-ž LÈè
1 f u n c t i o n [PM, a c t i v e p a t h , c a n d i d a t e c o d e w o r d , l a z y c o p y ] . . .
2 = SPC ( i n d e x v e c , L LR a rr a y , a c t i v e p a t h , PM, L , l a z y c o p y )
3 M = length ( index vec ) ;
. 156 . 15Ù G1-ž LÈè
4 c a n d i d a t e c o d e w o r d = z e r o s (M, L ) ;
5 l l r o r d e r e d = z e r o s (M, L ) ;
6 p a r i t y c h e c k t r a c k = zeros (L , 1 ) ;
7 %c a u t i o n , d e f a u l t v a l u e must be 0 s .
8 sub lazy copy = 1 : L;
9 %Lazy copy u s e d i n t h i s f u n c t i o n
10 for l index = 1 : L
11 i f a c t i v e p a t h ( l i n d e x ) == 0
12 continue ;
13 end
14 abs LLR = a b s ( L L R a r r a y ( : , l i n d e x ) ) ;
15 [ ˜ , l l r o r d e r e d ( : , l i n d e x ) ] = s o r t ( abs LLR ) ;
16 %A s c e n d i n g s o r t i n g
17 candidate codeword ( : , l i n d e x ) = LLR array ( : , l i n d e x ) < 0;
18 %q u a s i −ML codeword
19 i f mod ( sum ( c a n d i d a t e c o d e w o r d ( : , l i n d e x ) ) , 2 ) == 1
20 %Do n o t s a t i s f y p a r i t y c h e c k
21 candidate codeword ( l l r o r d e r e d (1 , l index ) , l index ) = . . .
22 mod ( c a n d i d a t e c o d e w o r d ( l l r o r d e r e d ( 1 , l i n d e x ) , l i n d e x ) + 1 , 2 ) ;
23 %L e a s t r e l i a b l e B i t f l i p
24 p a r i t y c h e c k t r a c k ( l i n d e x ) = 1 ;% i n i t i a l i z e p a r i t y check
25 PM( l i n d e x ) = PM( l i n d e x ) + abs LLR ( l l r o r d e r e d ( 1 , l i n d e x ) ) ;
26 %PM c h a n g e s a c c o r d i n g l y .
27 end
28 end
29 f o r t = 2 : min (M, L )
30 PM spc = r e a l m a x ∗ o n e s ( 2 , L ) ;
31 compare spc = zeros (2 , L ) ;
32 for l index = 1 : L
33 i f a c t i v e p a t h ( l i n d e x ) == 0
34 continue ;
35 end
36 LLR = L L R a r r a y ( : , s u b l a z y c o p y ( l i n d e x ) ) ;
37 PM spc ( 1 , l i n d e x ) = PM( l i n d e x ) ;
38 %r e m a i n t h e same a s o r i g i n a l p a t h
5.3 ¯„SCLÈè . 157 .
39 PM spc ( 2 , l i n d e x ) = PM( l i n d e x ) + . . .
40 a b s ( LLR ( l l r o r d e r e d ( t , s u b l a z y c o p y ( l i n d e x ) ) ) ) +...
41 (1 − 2 ∗ p a r i t y c h e c k t r a c k ( l i n d e x ) ) ∗...
42 a b s ( LLR ( l l r o r d e r e d ( 1 , s u b l a z y c o p y ( l i n d e x ) ) ) ) ;
43 end
44 n u m s u r v i v i n g p a t h = min ( L , 2 ∗ sum ( a c t i v e p a t h ) ) ;
45 P M s o r t e d = s o r t ( PM spc ( : ) ) ;
46 PM cv = P M s o r t e d ( n u m s u r v i v i n g p a t h ) ;
47 cnt = 0;
48 for j = 1 : L
49 f o r i = 1 : s i z e ( PM spc , 1 )
50 i f c n t == n u m s u r v i v i n g p a t h
51 break ;
52 end
53 i f PM spc ( i , j ) <= PM cv
54 compare spc ( i , j ) = 1;
55 cnt = cnt + 1;
56 end
57 end
58 end
59 k i l l i n d e x = zeros (L, 1 ) ;
60 k i l l c n t = 0;
61 for i = 1 : L
62 i f a l l ( c o m p a r e s p c ( : , i ) == 0 )
63 activepath ( i ) = 0;
64 k i l l c n t = k i l l c n t + 1 ;%p u s h s t a c k
65 kill index ( kill cnt ) = i ;
66 end
67 end
68 for l index = 1 : L
69 i f a c t i v e p a t h ( l i n d e x ) == 0
70 continue
71 end
72 p a t h s t a t e = sum ( c o m p a r e s p c ( : , l i n d e x ) ) ;
73 switch p a t h s t a t e
. 158 . 15Ù G1-ž LÈè
74 case 2
75 new index = k i l l i n d e x ( k i l l c n t ) ;
76 k i l l c n t = k i l l c n t − 1;
77 a c t i v e p a t h ( new index ) = 1;
78 sub lazy copy ( new index ) = sub lazy copy ( l i n d e x ) ;
79 %g e n e r a t e a new sub−codeword
80 codeword tmp = c a n d i d a t e c o d e w o r d ( : , l i n d e x ) ;
81 codeword tmp ( l l r o r d e r e d ( t , s u b l a z y c o p y ( l i n d e x ) ) ) = . . .
82 mod ( c o d e w o r d t m p ( l l r o r d e r e d ( t , s u b l a z y c o p y ( l i n d e x ) ) ) + 1 , 2 ) ;
83 %t −t h i n d e x ( a f t e r llr sorting )
84 codeword tmp ( l l r o r d e r e d ( 1 , s u b l a z y c o p y ( ( l i n d e x ) ) ) ) =....
85 mod ( c o d e w o r d t m p ( l l r o r d e r e d ( 1 , s u b l a z y c o p y ( l i n d e x ) ) ) + 1 , 2 ) ;
86 %1− s t i n d e x a l w a y s
87 c a n d i d a t e c o d e w o r d ( : , new index ) = codeword tmp ;
88 p a r i t y c h e c k t r a c k ( new index ) = . . .
89 mod ( p a r i t y c h e c k t r a c k ( l i n d e x ) + 1 , 2 ) ;
90 %When you s p l i t p a t h , t h e p a r i t y c h e c k s i g n
91 %s h o u l d be f l i p e d a c c o r d i n g l y .
92 PM( n e w i n d e x ) = PM spc ( 2 , l i n d e x ) ;%PM u p d a t e d
93 end
94 end
95 end
96 for l index = 1 : L
97 i f a c t i v e p a t h ( l i n d e x ) == 0
98 continue
99 end
100 lazy copy ( : , l index ) = lazy copy ( : , sub lazy copy ( l index ) ) ;
101 end
102 end
图 2-5CA-SCLÈèì
ã 5.20 CA-SCL 算法的编译码过程
?ÈèL§
2.2.3 BP 译码算法
5.4.1 Ì‚P{ Ïe SCLÈèì
极化码 BP 译码算法可以并行译码[47][48],在码字长度相同的情况下,带有早期中止
Ì‚P{ BP 译码器
机制的极化码 Ïe [49][50][51] 的时延低于
SCL£Cyclic redundancySC 译码器的时延。极化码
check Aided SCL§CA-SCL¤Èèì´ BP 译码基于极
8•61
化码因子图,在码长 N 2 的情况下,极化码因子图如图 2-6 所示。
3
SCLÈèì/ª[20]"CA-SCLÈèì¦^CRC-polar?éè§$ŠL§Xã5.20
¤ « µ ê â ' A •(u1 , ..., uK )§ \阶段1 • Ý •r 阶段2 Ì ‚ P阶段3 { ¤ •(u1 , ..., uK , v1 , ..., vr )§
(1,1) (1, 2) (1, 3) (1, 4)
é(u1 , ..., uK , v1 , ..., vr )?14zè?è§ èiS (x1 , ..., xN )"(x1 , ..., xN ) éA Â
(2,1) (2, 2) (2, 3) (2, 4)
&ÒÑ\SCLÈèì§SCLÈèì‰ÑL‡&E'A = = O§©OP•(û
= 1 , ..., û ,
K 1 v̂ , ..., v̂ )
r l , 1 ≤
(3,1) (3, 2) (3, 3) (3, 4)
l ≤ L§éA´»Ýþ©O•P Ml , 1 ≤ l ≤ L"
(4,1) (4, 2) (4, 3) (4, 4)
= L¥vk?Û˜‡UÏLCRC
XJ(û1 , ..., ûK , v̂1 , ..., v̂r )l , 1 ≤ l ≤ = = §
(5,1) (5, 2) (5, 3) (5, 4)
½ö`(û1 , ..., ûK , v̂1 , ..., v̂r )l , 1 ≤ l ≤ L¥vk˜‡´CRC èi§K\Ù gÈè”}¶
(6,1) (6, 2) (6, 3) (6, 4)
= = =
XJ(û1 , ..., ûK , v̂1 , ..., v̂r )l , 1 (7,1)
≤ l ≤ L¥=k˜‡ÏLCRC
(7, 2) (7, 3) (7, 4)
§KÀJTÏLCRC
OŠ•Èè(J¶ (8,1) (8, 2) (8, 3) (8, 4)
= = =
XJ(û1 , ..., ûK , v̂1 , ..., v̂r )l , 1 ≤ l ≤ L¥kõ‡ÏLCRC §K3ÏLCRC O
¥§ÀJäk• ÝþŠ 图 2-6 极化码的因子图,码长 N =8
(JŠ•Èè(J"
5¿ CRCŠ • Èè(J LÃ ã § ¿ ØL´
2 j 1,i
•˜
( i , j ),i 1
§•Œ±¦^ó è5
SCLÈèì Èè(J"éu¦^ó è SCL Èèì§k, ÖöŒ± Öë•
R2 j 1,i R ( i , j ),i 1
©z[31][32]" L2 j ,i L ( i , j ) 2ni ,i 1
R2 j ,i R ( i , j ) 2ni ,i1
5.4.3 }{CA-SCLÈèì
§ 6.1 Ïfã†ÚÈŽ{{0
X X X X (6.2)
= fA (x1 , x2 , x3 ){ fB (x2 , x4 )[ fC (x3 , x5 ) fD (x3 , x6 )]}.
x2 ,x3 x4 x5 x6
ª6.1Œ±^ã/L«§Xã6.1"Ù¥•¬£q !:¤L«,‡Š•Ïf f¼
ê§ £q Cþ!:¤´gCþ§•¬Ú ƒm ‚L«•¬éAf¼ê gCþ•
. 162 . 16Ù 4zè˜&DÂÈèì
) ¥ gCþ"5¿ã6.1¥vk‚´§¤±•Œ±§wŠ˜†ä"
f ( f f f
x1
A
x2
B
x3
D
x3
C )
x1
f ( f f f
x1
A
x2
B
x3
D
x3
C )
fA
f B f f
x3
D
x3
C
x2
x2 x
f
x2
B f C f
x3
D
x3
fB fC fD
1 1 1
x4 x x6
ã 6.1 f (x1 , x2 , x3 , x4 , x5 , x6 ) = fA (x1 , x2 , x3 )fB (x2 , x4 )fC (x3 , x5 )fD (x3 , x6 ) Ïfã"Uì
†Þ•«le þw§´ª6.2 OŽL§
{ f { f }{ f
x1
A
x2
B
x3
D }{ f C }}
x3
x1
{ f { f }{ f
x1
A
x2
B
x3
D }{ f C }}
x3
1
fA f ( f A B )
~ x3 x2
x2 { f { f A D }{ f C }}
x
x2 x3 x3
{ f C } { f A ( f B )}
x3 ~ x3 x2
fB
x2
f C
f
{ f A { f D }{ fC }}
x2 x3 x3
x3
x3
D
{ f D } { f A ( f B )}
fB fC x3 ~ x3 x2
fD
1 { f {{ f { f }{ f
B
x2
A
x3
D
x3
C }}}}
1 { f { f C
x3
D }{ f A ( f B )}}
x2
{ f { f D C } { f A ( f B )}}
1
~ x4 ~ x5 ~ x3
~ x6 x3 ~ x3 x2
x4 x x6
{ f {{ f { f }{ f
~ x4
B
x2
A
x3
D
x3
C }}}} { f { f
~ x5
C
x3
D }{ f A ( f B )}}
~ x3 x2
{ f { f
~ x6
D
x3
C } { f A ( f B )}}
~ x3 x2
P P P P
∼x1 fA (x1 , x2 , x3 ){ ∼x2 fB (x2 , x4 )[ ∼x3 fC (x3 , x5 ) ∼x3 fD (x3 , x6 )]}.
1ÊÚ§x1 ‰ÑOŽ(J§ù‡OŽ(J´x1 3þ˜Ú¥Â ¤kêâ ¦È"Ï
•x1 3þ˜Ú¥= ˜‡êâ:
µØ
P P P P
∼x1 fA (x1 , x2 , x3 ){ ∼x2 fB (x2 , x4 )[ ∼x3 fC (x3 , x5 ) ∼x3 fD (x3 , x6 )]}§¤±Ò
Ä/ÑÑ "
lþ¡Ê‡Ú½¥Œ±wѧã6.1•ØL´^ã/£ã ª6.2 OŽL§ ®"
lã6.1¥·‚ØJwÑÏfãþ OŽäkU, ¿1A5§=k êâ OŽƒmp
ØK•§~X ∼x3 fD (x3 , x6 ), ∼x3 fC (x3 , x5 )Ú ∼x2 fB (x2 , x4 )ùn‡ŠŒ±¿1ŽÑ§v
P P P
kk ^S"
5¿œ ~¥ Š!:´x1 § ´ùÙ¢´/J0 §Ï•ã6.1¥?¿˜‡Cþ!:
ÑU Š!:"N´wѧÀx1 , 1 ≤ i ≤ 6 Š!:§OŽ(JÒ´éA fi , 1 ≤ i ≤ 6. ¤
kfi , 1 ≤ i ≤ 6 OŽ(JXã6.2¤«§ˆ‡¥mOŽ(J3Ïfã¥D§ ,˜^> ü
‡••ÑDxLêâ §ù^>ÒØ2$Ž "
. 164 . 16Ù 4zè˜&DÂÈèì
gA gA g A gB
gA x1 gB ~ x2
x2 g A gB
~ x2
ã 6.3 !:Š•“!: œ¹
x
g1 g 2 ...g n1 g n x
g1 g 2 ...g n1 g n
fg g ...g n 1 gn
fg g ...g
1 2
~x 1 2 n 1 gn
~x
x f
x f
... ...
... ...
g1 g 2 ... g n1 g n g1 g 2 ... g n1 g n
g1 g 2 ... g n1 g n g1 g 2 ... g n1 g n
½Â 6.2 !: ?n5K
!: ÑÑ©nÚµ
(i). ù¤kÑ\ƒ¦È¶
(ii)2¦þ !: “L ¼ê;
(iii). , „‡é§ 8ICþ!:“L gCþƒ ¤kCþ¦Ú"
þãL§Xã6.5¤«" !:‰“!:ž§ !: ÑÑ•§gC“L ¼ê.
6.1 Ïfã†ÚÈŽ{{0 . 165 .
f output f1 ( x) f 2 ( x) x 0 1
f output p1 p2 q1q2
x
x 0 1 x 0 1
f1 ( x ) f 2 ( x)
f ( x) p1 q1
1
f ( x) p2 q2
2
!: OŽµ
Xã6.7¤«§ !:x ü‡lѼêf1 , f2 §Ù¥f1 , f2 ½Â•ÚŠ•®²‰Ñ
§ !:g L« ¼ê•I{x1 ⊕ x2 = x3 }§Ù¥x1 , x2 , x3 áuGF(2)"T !: Ñ
Ѽꮲx3㥠"
x3
x3 0 1
f output f1 ( x1 ) f 2 ( x2 ) II{x1 x2 x3 }
~ x3
f output p1 p2 q1q2 p1q2 q1 p2
II{x1 x2 x3 }
f1 ( x1 ) f 2 ( x2 )
x1 0 1 x2 0 1
f ( x ) p1 q1
x1 x2 f ( x ) p2 q2
1 1 2 2
x1
f g
x2
~ 6.4 •Ý•4 ‚
e(x1 , x2 ) = f (x1 , x2 )g(x1 , x2 )Œ±À•˜«' ©)§Ï•3˜„œ¹e§ù«©
)† O\ ?nþ (Jµ˜‡¼êC¤ ü‡ ȧ vk?Ûz{"
ÏfãXã6.8¤«"–¦ x2 e(x1 , x2 )§3ã6.8þ$1ÚÈŽ{§\uy\Ø
P
e(x1 , x2 )
• l=pm©"b Ž{lx2 m©§x2 •f Úguxü ¼ê1§Xã6.9§K1˜g$1(J
•( x2 f )( x2 g)§ù‡(Jw,3ýŒõꜹeÑ´Øé "
P P
´„vk(å§ÚÈŽ{„UUY$1§Xã6.10¤«§ùg¤ (J•µ
P P P P P P
{ x2 g x1 f x2 g}{ x2 f x1 g x2 f }
ù‡(J’½•Ø駮²E, wØÑ5Æ "
( f )( g ) { f g f }{ g f g}
x2 x1 x2 x2 x1 x2
x2 x2
x1 f g f x1 g f g
x2
f g
x2
x2 x1 x2
g f
x2 x1 x2
x2 x2
f g f g
g f f g
1 1 x1 x2 x1 x2
x1
f g
x2
g f
x1 x2
x2 x2
|C|L«C¥èi êþ"
w,x ∈ C ⇔ Hx = 0 ⇔ hi x = 0, 1 ≤ i ≤ S§Ù¥hi ´H 1i 1§ddµ
S
Y
I{x ∈ C} = I{hi x = 0} (6.4)
i=1
N
Y S
Y (6.5)
=[ Pr(yi |xi )][ I{hi x = 0}/|C|].
i=1 i=1
Ñ~ê§TÝ éA ÏfŒ± •µ
3
Y
I{hi x = 0} = I{x1 ⊕ x4 ⊕ x6 ⊕ x7 = 0}
i=1
(6.7)
× I{x2 ⊕ x4 ⊕ x5 ⊕ x6 = 0}
× I{x3 ⊕ x5 ⊕ x6 ⊕ x7 = 0}.
x1 x2 x3 x4 x5 x6 x7
ã 6.11 (7,4)Dzè Bã
Q7
2\þ Â&ÒéA ¼ê[ i=1 Pr(yi |xi )]§ éÜVÇ—Ý Ïfã§Xã6.12¤
«"
5¿ùp·‚%@ Â&Ò´®•~ê§Ø´Cþ§¤±z‡Pr(yi |xi )•Úxi ë "
x1 x2 x3 x4 x5 x6 x7
1
¦+I{x}ù‡¼êŒUÚ²ž‘ ¼êØ ˜ § §E,´‡¼ê
6.2 éÜVÇ©Ù Ïfã . 169 .
~ 6.5 üó è éÜVÇÏfã©)Ú˜&DÂÈè£Uz‡èi'A?1•Œ
Èè¤
~¥ OŽ•{5g ‰Ö[36]"ù´‡Í¶ ~f§Ä z áѬù§·ù •
ؘ½kõЧXJ\vwL§Œ±w˜e"
üó è´XÚè§Ù)¤Ý •G = [IK |1]§Ù¥K´&E'Aêþ§1 1 •
þ"g,/§éA Ý H = [111...1]´•Ý•K + 1 11•þ§l üó è è
i(x1 , x2 , ..., xK+1 ) 'X•k˜‡µ⊕K+1
i=1 xi = 0"
b ·‚3 ?›Ñ\lÑÃPÁ& ¥uxüóu èix = (x1 , x2 , ..., xK+1 )§ ÂÎ
Ò•y = (y1 , y2 , ..., yK+1 )§@o•3éÜ©ÙPr(x, y)"3e¡ OŽ¥§·‚@•y´®•
Š£~ê¤"
©)éÜVǼêPr(x, y)"k^˜g^‡VÇ Pr(x, y) = Pr(y|x) Pr(x)"
E,b z‡xu) Vǃ §=Pr(x) = I{⊕K+1
i=1 xi = 0}/2 "
K
QK+1
Ï•& ÃPÁ§¤±Pr(y|x) = i=1 Pr(yi |xi )"
QK+1
dd Pr(x, y) = Pr(y|x) Pr(x) = i=1 Pr(yi |xi )I{⊕K+1
i=1 xi = 0}/2 "
K
x1 x2 x3 ...... xK 1
......
II{iK11 xi 0}
ã 6.13 üó èéAéÜVÇ—Ý Ïfã©)§ !:£•µ¤“L¼
êI{⊕K+1 i=1 x i = 0}§ z ‡ C þ ! : £ ¤ • g “ L z ‡ è i ' A § Â & Òy =
(y1 , y2 , ..., yK+1 )À•~ꧤ±z‡Pr(yi |xi )¥ Cþ••xi §¤±z‡Pr(yi |xi )=ÚéA
xi ë
x1 x2 x3 ...... xK 1
Pr( yK 1 | xK 1 ) Pr( yi | xi ) II{iK11 xi 0}
~ xK 1 i 1
Pr( y
~ xK 1 i 1
i | xi ) II{iK11 xi 0}
II{iK11 xi 0}
X X K+1
Y
Pr(xK+1 , y) = Pr(x, y) = Pr(yi |xi )I{⊕K+1
i=1 xi = 0}/2
K
ùp§Ïfãþ OŽ¯¢þ®²(å§Xã6.14¤«"ùžÖöŒ±@^½Â6.2Ú½
K+1
Â6.15 yOŽ(J"5¿ ⊕K
i=1 xi = xK+1 Ú⊕i=1 xi = 0´˜£¯"
þ¡ ªf„Œ±‰e¡ z{"
P QK K
Pr(xK+1 = 0, y) Pr(yK+1 |0) x1 ,x2 ,...,xK i=1 Pr(yi |xi )I{⊕i=1 xi = 0}
= QK (6.9)
Pr(xK+1 = 1, y) Pr(yK+1 |1) x ,x ,...,x K
P
1 2 K i=1 Pr(yi |xi )I{⊕i=1 xi = 1}
QK QK Pr(yi |xi ) K
Pr(yi |xi )I{⊕K
P P
∼xK+1 i=1 i=1 xi = 0} (a) ∼xK+1 i=1 Pr(yi |xi =1) I{⊕i=1 xi = 0}
QK = P QK Pr(yi |xi )
Pr(yi |xi )I{⊕K K
P
∼xK+1 i=1 i=1 xi = 1} ∼xK+1 i=1 Pr(yi |xi =1) I{⊕i=1 xi = 1}
(6.10)
QK
1−xi
I{⊕K
P QK QK
(b) ∼x i=1 Li i=1 xi = 0} (c) i=1 (Li + 1) + i=1 (Li − 1)
= P K+1 QK 1−xi
= K K
K
Q Q
∼xK+1 i=1 Li I{⊕i=1 xi = 1} i=1 (Li + 1) − i=1 (Li − 1)
QK
(a). ©ªþeӞر i=1 Pr(yi |xi = 1);
(b). d {§©O-xi = 0Ú1§Œ y Ò(b)¤á;
(c). ù«Ž{5g©z[36]. •œwe¡ Qã"
QK QK
ww i=1 (Li + 1) + i=1 (Li − 1) uŸoµ
K
Y K
Y X X K
X
(Li + 1) = Li + Li1 ...LiK−1 + Li1 ...LiK−2 + ... + Li + 1. (6.11)
i=1 i=1 i1 6=...6=iK−1 i1 6=...6=iK−2 i=1
K
Y K
Y X X K
X
(Li −1) = Li − Li1 ...LiK−1 + Li1 ...LiK−2 +...+(−1)K−1 Li +(−1)K .
i=1 i=1 i1 6=...6=iK−1 i1 6=...6=iK−2 i=1
(6.12)
QK
XJK´óê§þ¡ü‡ªfƒ\§¤ (J•2{ i=1 Li + i1 6=...6=iK−2 Li1 ...LiK−2 +...+
P
QK 1−xi
i=1 xi = 0}§L1 L2 ...LK ’½•3§
I{⊕K
P P
i1 6=...6=i2 Li1 Li2 + 1}"Óž§éu ∼xK+1 i=1 Li
džéA¤kx1 , ..., xK u0 œ¹¶¤kLi1 Li2 ...LiK−2 ,i1 6= i2 6= ... 6= iK−2 ,i1 , ..., iK−2 ∈
{1, 2, ..., K}’½•3§ùéAx1 , ..., xK kü‡'A´1 Ù{'A´0 œ¹¶¤kLi1 Li2 ...LiK−4 ,i1 6=
i2 6= ... 6= iK−4 ,i1 , ..., iK−4 ∈ {1, 2, ..., K}’½•3§Ï•ùéA x1 , ..., xK ko‡'A´1
Ù{'A´0 œ¹"Ù{œ¹•gaí§† 1’½•3§éA ´¤kxi , 1 ≤ i ≤ K 1
QK QK QK 1−xi
œ¹"ù`² I{⊕K
P
i=1 (Li + 1) + i=1 (Li − 1) = 2 ∼xK+1 i=1 Li i=1 xi = 0}.
QK
XJK´Ûê§þ¡ü‡ªfƒ\§¤ (J•2{ i=1 Li + i1 6=...6=iK−2 Li1 ...LiK−2 +
P
PK QK
... + i1 =1 Li1 }; Óž§éu ∼xK+1 i=1 Li1−xi I{⊕K i=1 xi = 0}§L1 L2 ...LK ’½•3§dž
P
é A ¤ kx1 , ..., xK u0 œ ¹ ¶ ¤ kLi1 Li2 ...LiK−2 ,i1 6= i2 6= ... 6= iK−2 ,i1 , ..., iK−2 ∈
{1, 2, ..., K}’½•3§ùéAx1 , ..., xK kü‡'A´1 Ù{'A´0 œ¹¶¤kLi1 Li2 ...LiK−4 ,i1 6=
i2 6= ... 6= iK−4 ,i1 , ..., iK−4 ∈ {1, 2, ..., K}’½•3§Ï•ùéA x1 , ..., xK ko‡'A´1
PK
Ù{'A´0 œ¹"Ù{œ¹•gaí§† i=1 Li ’½•3§éA ´=k˜‡xi 0§
QK QK QK
Ù{xi ´1 œ¹"ù`² i=1 (Li +1)+ i=1 (Li −1) = 2 ∼xK+1 i=1 Li1−xi I{⊕K
P
i=1 xi = 0}.
QK QK QK
nþ§ i=1 (Li + 1) + i=1 (Li − 1) = 2 ∼xK+1 i=1 L1−x I{⊕K
P
i=1 xi = 0}o´¤á"Ó
i
i
. 172 . 16Ù 4zè˜&DÂÈèì
QK QK QK
n§ i=1 (Li +1)− i=1 (Li −1) = 2 ∼xK+1 i=1 Li1−xi I{⊕K
i=1 xi = 1}•¤á"Ïd Ò(c)¤
P
á"
QK QK Li −1 Pr(xK+1 =0,y)
ò Ò(c) (J©ÒþeӞر i=1 Li +1§ÓžP i=1 Li +1 = β, Pr(xK+1 =1,y) =
1+β α−1
α, α= 1−β §l β= α+1 .
K
Y
l = 2 tanh−1 { tanh(li /2)}. (6.13)
i=1
K
Pr(xK+1 = 0|y) Pr(xK+1 = 0|yK+1 ) Y
ln = γ + l = ln + 2 tanh−1 { tanh(li /2)}. (6.14)
Pr(xK+1 = 1|y) Pr(xK+1 = 1|yK+1 ) i=1
encoding channel
• Ý •2 4zè ?èÚDÑ 6 § • µ(u1 , u2 ) → (x1 , x2 ) → (y1 , y2 )§ Ù
¥u1 , u2 ´ÕáÓ©ÙËã|‘ÅCþ"
X
Pr(u1 , u2 , x1 , x2 , y1 , y2 )I{x1 = u1 ⊕ u2 }I{x2 = u2 }
u1 ,u2 ,x1 ,x2 ,y1 ,y2
X X
= Pr(u1 , u2 , y1 , y2 ) = Pr(y1 , y2 |u1 , u2 ) Pr(u1 ) Pr(u2 )
u1 ,u2 ,y1 ,y2 u1 ,u2 ,y1 ,y2
X
= Pr(y1 |u1 ⊕ u2 ) Pr(y2 |u2 ) Pr(u1 ) Pr(u2 )
u1 ,u2 ,y1 ,y2
X X X X X
= Pr(u1 ) Pr(u2 ){ Pr(y1 |u1 ⊕ u2 ) Pr(y2 |u2 )} = Pr(u1 ) Pr(u2 ) = 1.
u1 ,u2 y1 y2 u1 u2
(i). u1 ÑÑq,'
. 174 . 16Ù 4zè˜&DÂÈèì
Pr(u1 ) Pr( y1 | x1 ) II{x1 u1 u2 }Pr(u2 ){ Pr( y2 | x2 ) II{x2 u2 }} Pr( y1 | x1 ){ II{x1 u1 u2 }Pr(u1 ){Pr(u2 ){ Pr( y2 | x2 ) II{x2 u2 }}}}
~u1 ~u2 ~ x1 ~ u2
{ II{x1 u1 u2 }Pr(u1 ) Pr( y1 | x1 )}Pr(u2 ){ Pr( y2 | x2 )II{x2 u2 }} Pr( y2 | x2 ) II{x2 u2 }Pr(u2 ){ II{x1 u1 u2 }Pr(u1 ) Pr( y1 | x1 )}
~ u2 ~ u2 ~ x2 ~ u2
éÚÈŽ{ (J?1z{µ
X X
Pr(u1 ) Pr(y1 |x1 )I{x1 = u1 ⊕ u2 } Pr(u2 ){ Pr(y2 |x2 ){x2 = u2 }}
∼u1 ∼u2
X (6.16)
= Pr(u1 ) Pr(y1 |x1 = u1 ⊕ u2 ) Pr(u2 ) Pr(y2 |u2 ).
u2
‰'Šµ
P
Pr(u1 = 0) u2 Pr(y1 |x1 = u2 ) Pr(u2 ) Pr(y2 |u2 )
P
Pr(u1 = 1) u2 Pr(y1 |x1 = u2 ⊕ 1) Pr(u2 ) Pr(y2 |u2 )
Pr(u1 = 0)[Pr(y1 |x1 = 0) Pr(u2 = 0) Pr(y2 |u2 = 0) + Pr(y1 |x1 = 1) Pr(u2 = 1) Pr(y2 |u2 = 1)]
=
Pr(u1 = 1)[Pr(y1 |x1 = 1) Pr(u2 = 0) Pr(y2 |u2 = 0) + Pr(y1 |x1 = 0) Pr(u2 = 1) Pr(y2 |u2 = 1)]
(ii). u2 ÑÑq,'
6.3 •Ý•2 4zè BPÈè . 175 .
éÚÈŽ{ (J?1z{µ
X X
{ I{x1 = u1 ⊕ u2 } Pr(u1 ) Pr(y1 |x1 )} Pr(u2 ){ Pr(y2 |x2 )I{x2 = u2 }}
∼u2 ∼u2
X (6.18)
={ Pr(u1 ) Pr(y1 |x1 = u1 ⊕ u2 )} Pr(u2 ) Pr(y2 |u2 ).
u1
‰'Šµ
P
{ Pr(u1 ) Pr(y1 |x1 = u1 )} Pr(u2 = 0) Pr(y2 |u2 = 0)
P u1
{ u1 Pr(u1 ) Pr(y1 |x1 = u1 ⊕ 1)} Pr(u2 = 1) Pr(y2 |u2 = 1)
{Pr(u1 = 0) Pr(y1 |x1 = 0) + Pr(u1 = 1) Pr(y1 |x1 = 1)} Pr(u2 = 0) Pr(y2 |u2 = 0)
= (6.19)
{Pr(u1 = 0) Pr(y1 |x1 = 1) + Pr(u1 = 1) Pr(y1 |x1 = 0)} Pr(u2 = 1) Pr(y2 |u2 = 1)
L(u1 )L(y1 ) + 1
= L(u2 )L(y2 ) .
L(u1 ) + L(y1 )
X X
Pr(y1 |x1 ){ I{x1 = u1 ⊕ u2 } Pr(u1 ){Pr(u2 ){ Pr(y2 |x2 )I{x2 = u2 }}}}
∼x1 ∼u2
X (6.20)
= Pr(y1 |x1 ) I{x1 = u1 ⊕ u2 } Pr(u1 ) Pr(u2 ) Pr(y2 |u2 )
u1 ,u2
‰'Šµ
P
Pr(y1 |x1 = 0) I{0 = u1 ⊕ u2 } Pr(u1 ) Pr(u2 ) Pr(y2 |u2 )
Pu1 ,u2
Pr(y1 |x1 = 1) u1 ,u2 I{1 = u1 ⊕ u2 } Pr(u1 ) Pr(u2 ) Pr(y2 |u2 )
Pr(y1 |x1 = 0)[Pr(u1 = 0) Pr(u2 = 0) Pr(y2 |u2 = 0) + Pr(u1 = 1) Pr(u2 = 1) Pr(y2 |u2 = 1)]
=
Pr(y1 |x1 = 1)[Pr(u1 = 0) Pr(u2 = 1) Pr(y2 |u2 = 1) + Pr(u1 = 1) Pr(u2 = 0) Pr(y2 |u2 = 0)]
X X
Pr(y2 |x2 ) I{x2 = u2 } Pr(u2 ){ I{x1 = u1 ⊕ u2 } Pr(u1 ) Pr(y1 |x1 )}
∼x2 ∼u2
X X
= Pr(y2 |x2 ) I{x2 = u2 } Pr(u2 ){ Pr(u1 ) Pr(y1 |u1 ⊕ u2 )} (6.22)
∼u2 u1
X
= Pr(y2 |x2 ) Pr(u2 = x2 ) Pr(u1 ) Pr(y1 |u1 ⊕ x2 ).
u1
Pr(y2 |x2 = 0) Pr(u2 = 0)[Pr(u1 = 0) Pr(y1 |u1 = 0) + Pr(u1 = 1) Pr(y1 |u1 = 1)]
Pr(y2 |x2 = 1) Pr(u2 = 1)[Pr(u1 = 0) Pr(y1 |1) + Pr(u1 = 1) Pr(y1 |0)]
(6.23)
L(u1 )l(y1 ) + 1
= L(y2 )L(u2 ) .
L(u1 ) + L(y1 )
L( y1 ) L (u2 ) L( y2 ) 1
L(u1 )
L( y1 ) L(u2 ) L( y2 ) L( y1 ) l (u1 ) f (l (u2 ) l ( y2 ), l ( y1 )) l ( y1 )
L(u1 ) L( y1 )
L(u1 ) L (u2 ) L( y2 ) 1 l (u1 ) l ( y1 ) f (l (u2 ) l ( y2 ), l (u1 ))
L(u1 ) L(u2 ) L( y2 )
L(u1 ) L( y1 ) 1
L(u2 ) L( y2 )
L(u1 ) L( y1 ) L ( y2 ) l (u2 ) l ( y2 ) f (l (u1 ), l ( y1 )) l ( y2 )
L(u2 ) L( y2 ) L(u2 )
L(u1 ) L( y1 ) 1 l (u2 ) l (u2 ) l ( y2 ) f (l (u1 ), l ( y1 ))
L(u1 ) L( y1 )
u1 x1
p (u1 ) f ( y1 | x1 )
u2 x2
p (u2 ) f ( y2 | x2 )
u3 x3
p(u3 ) f ( y3 | x3 )
u4 x4
p (u4 ) f ( y4 | x4 )
ã 6.19 •Ý•4 4zè Ïfã§É‚´‚´
f (b d , a ) a
c f (b d , c )
b f ( a, c ) b
d d f ( a, c )
(∆)
f (x, y) = 2 tanh−1 (tanh(x/2) tanh(y/2))¢ 3 ´ E,§·‚ù C q § µf (x, y) =
αsign(x)sign(y) min{|x|, |y|}§Ù¥α ´Xê§U¦ Cq•O(§Ï~α = 0.9375§ ù•´
˜‡² êŠ"
5¿ã6.20ùµ¥ LLR´^5D §¿š^5 û "XJ‡ û§ÒrùµÚ§þ
¡ ɵ¥ ê¦Ú§ ûLLR"
•Ý•N = 2 n
4zè ˜&DÂÈè´ÏL/†mDÂ0?1 µ
(i). Äkmü‡Ý •;§LN ×n+1 ÚRN ×n+1 §Ý S ƒÐ©Š Ü•0.
(ii). ò ÂLLRŠ•Ïfãp•mý Ñ\êâ§W\L 1n + 1 ¶
ò& 'A k LLRŠ•Ïf㥕† Ñ\êâ §W\R 1
11 µ
0, i ∈ A,
Ri,1 = (6.25)
+∞, i ∈ Ac .
áҴM‡UC e •Œ¢ê"
6.4 •Ý•2n 4zè BPÈè . 179 .
L_{\alpha_{i,j},j}=
f(R_{\alpha_{ij}+2^{j-
1},j}+L_{\alpha_{ij}+2^{j-1},j+1},
L_{\alpha_{i,j},j+1}
L ij , j L ij , j 1
L_{\alpha_{i,j}+2^{j-1},j}=
f(R_{\alpha_{ij},j},
L_{\alpha_{ij},j+1})+L_{\alpha_{ij} +
2^{j-1},j+1}
R_{\alpha_{i,j},j+1}=
R ij , j R ij , j 1
f(R_{\alpha_{ij}+2^{j-
1},j}+L_{\alpha_{ij}+2^{j-1},j+1},
R_{\alpha_{i,j},j}
L j 1 L j 1
ij 2 ,j ij 2 , j 1
R_{\alpha_{i,j}+2^{j-1},j+1}=
f(R_{\alpha_{ij},j},
L_{\alpha_{ij},j+1})+R_{\alpha_{ij} +
2^{j-1},j}
R j 1 R j 1
ij 2 ,j ij 2 , j 1
i−1
ã 6.22 ¬(i, j) ?nL§§γij = mod(i − 1, 2j−1 ) + 1 + 2j 2j−1 , Ù¥mod(a, b)L«aØ
±b {ê§bxcL«•e §Lp,q ÚRp,q L«LÚRÝ ¥éA ˜þ ƒ§ÉÚL«Ö
Têâ§ùÚL«DŠ/CXTêâ
. 180 . 16Ù 4zè˜&DÂÈèì
(iv). •†$Ž"
Äk§éÄ1n þ ¤k2 × 2 ¬§?1ã6.22¥ $Ž"éìã6.22Œ±wѧdž
¤IêâLγi,n ,n+1 ÚLγi,n +2n−1 ,n+1 Ò´& ÂLLR§ Rγi,n ,n ÚRγi,n +2n−1 ,n ´Ð©Š0. d
ž§éuz‡2 × 2 ¬§·‚••†OŽü‡L¥ êâ§Ø•mOŽR¥ êâ"
1n þ ¤k2 × 2 ¬$Ž ¤§¿›X·‚‰LÝ 1n Wþ êâ", ±da
í§ ¤1n − 1, n − 2, ..., 1 ¥¤k2 × 2 ¬¥ OŽ§=‰LÝ 1n − 1, n − 2, ..., 1 W
þ êâ"
–d§·‚ ¤•†D§Œ±wŠ´/ŒgS“0"
(v). •m$Ž"
Äk§éÄ11 þ ¤k2 × 2 ¬§?1ã6.22¥ $Ž"éìã6.22Œ±wѧdž¤
IêâRγi,1 ,1 ÚRγi,1 +1,1 Ò´& 'A k LLR"dž§éuz‡2 × 2 ¬§·‚••mO
Žü‡R¥ êâ§Ø•†OŽL¥ êâ"
11 þ ¤k2 × 2 ¬$Ž ¤§¿›X·‚‰RÝ 12 Wþ êâ", ±da
í§ ¤12, 3, ..., n ¥¤k2 × 2 ¬¥ OŽ§=‰RÝ 13, 4, ..., n + 1 Wþ êâ"
–d§·‚ ¤•mD§ù•Œ±wŠ´/ŒgS“0"
(vi). þ¡ ü‡/ŒgS“0Üå5¡•˜gS“"
˜gS“ J' f§Ã‚& œ¹e§Ä ØŒU ( Èèì(J§¤±„
I‡1 gS“"ùž•IUY?1Ú½(iv)Ú(v)=Œ§† ˆ ýk<• ½ •ŒS“g
êT •Ž§T ;.Š320-50ƒm"ùž·‚Œ±uy§ ‡S“L§¥kü|êâl™u)
Cz§©O´L 1n + 1 ÚR 11 ¥ ê⧧‚l™ DŠ"
ˆ •ŒS“g §I‡Ò1'A û"·‚˜„•éü|'Aa, §©O´& S
(u1 , u2 , ..., uN )ÚèiS (x1 , x2 , ..., xN )§§‚ ûúª•µ
0, L
i,1 + Ri,1 ≥ 0,
ûi = (6.27)
1, L + Ri,1 < 0.
i,1
6.4 •Ý•2n 4zè BPÈè . 181 .
i,n+1 + Ri,n+1 ≥ 0,
0, L
x̂i = (6.28)
1, L
i,n+1 + Ri,n+1 < 0.
6.4.3 N = 8 4zèBPÈèŽ~
^MATLAB‘Å)¤˜‡D(S n81 = (−1.4, 0.5, 0.2, −0.8, −0.3, 0.2, 2.3, 1.7)
Â&Ò•y81 = s81 + n81 = (−0.4, −0.5, −0.8, 0.2, −1.3, 1.2, 3.3, 0.7)
Âéêq,'•L81 = 2 8
σ 2 y1 = (−2.0, −2.5, −4.0, 1.0, −6.5, 6.0, 16.6, 3.5)"
Щzµ
. 182 . 16Ù 4zè˜&DÂÈèì
0 0 0 −2.0 +∞ 0 0 0
−2.5
0 0 0 +∞ 0 0 0
−4.0,
0 0 0 +∞ 0 0 0
0 0 0 1.0 0 0 0 0
L= ,R = .
−6.5
0 0 0 +∞ 0 0 0
0 0 0 6.0 0 0 0 0
0 0 0 16.6 0 0 0 0
0 0 0 3.5 0 0 0 0
1˜gS“µ
−1.6479 −1.7578 1.8750 −2.0 +∞ +∞ −2.6917 2.5234
−2.5269 −0.8789 −2.3438 −2.5 −2.4170 −2.2659
+∞ +∞
−0.8789 −3.7500 −3.7500 −4.0,
+∞ 0.8789 2.6367 2.4719
−2.5781 −3.5156 −5.7129
0.9375 0.9375 1.0 0 1.7398
L= ,R = .
−3.0762 −6.0938 −6.5000 −6.5
+∞ 2.8839 0 4.7589
−2.4316 3.0762 −3.2813 −1.0153
3.2813 6.0000 6.0 0
−5.7129 −2.8839 −5.3558
3.2813 16.6000 16.6000 16.6 0
3.5000 3.5000 3.5000 3.5 0 0 −5.3558 −6.2933
1 gS“µ
−1.6479 −1.7578 1.8750 −2.0 +∞ +∞ −6.2708 4.1143
−2.3438 −2.5 −2.6299 −2.4655
0.5493 2.1973 +∞ +∞
−1.9922 −3.7500 −4.0, +∞ −2.9388 −1.1810 −1.1072
1.8677
−5.0024 −3.1348 −0.9375 −1.8677 −4.0649
1.0 0 0.2915
L= ,R = .
−2.2522 −4.3359 −4.6250 −6.5
+∞ 2.2522 2.1114 3.9864
−1.6626 −4.0649 −2.4023 −0.0586
2.4023 8.2659 6.0 0
−2.6188 −2.1114 −1.0042
11.2442 14.1281 16.6 0 0
−2.7933 −2.7933 2.5625 3.5 0 0 −3.8109 −4.7484
6.5 4zèBPÏfã d/ª . 183 .
ùžL:,1 + R:,1 = (+∞, +∞, +∞, −5.0024, +∞, −1.6626, −2.6188, −2.7933)§K&E'A
û•(û4 , û6 , û7 , û8 ) = (1, 1, 1, 1)¶
ù žL:,4 + R:,4 = (2.11, −4.97, −5.11, 1.29, −2.51, 5.94, 15.60, −1.25)§ K è i ' A û
•(x̂1 , ..., x̂8 ) = (01101001)¶
éìuxê⌕§džÈè ("
6.5.1 ˜† d/ª
1 2 3 1 2 3
1 2
1 3 2 2 1 3
y² én^8B{"
Þµn = 1Lu²…§ln = 2m©§Xã6.24¤«§dž••32!‡˜†§½n¤á"
u1 u1 u2 u1 u2 u 3 u 4 u1 u1 u 3 u1 u2 u 3 u 4
u2 u 2
u2 u 4
u2 u2 u 4 u2 u 4
u3 u3 u 4 u3 u 4
u3 u3 u3 u 4
u4 u4 u4 u4 u4 u4
k k
8Bb µ n = kž§éu½Â3{1, 2, 3..., k}þ ?¿˜†ρ§ku21 F⊗k = u21 F⊗k
ρ "
前k列 F k 1 第k+1列
k
u12 F k
k k +1
u12 Fk u 22k 1Fk
k
u12 Fk ...
k +1
u 22k 1
k +1
u22k 1Fk
F k k +1 ...
u22k 1Fk
置换前k列不改变中间计算结果
第1列 F k 1 后k列
2k k +1
u u 22k 1
1
k k +1
u12 Fk u 22k 1Fk
F k
k
u12 ...
k +1
u 22k 1
k +1
u 22k 1 F k
k +1
u22k 1Fk
...
置换后k列不改变计算结果
C AB
u uA
A B (uA)B=u(AB) uC
k
u12 F,1:k k
k k +1
1
u12 F,1:k k u 22k 1F,1:k k
1 1
k k +1
u12 F,1:k k F,kk 1:n u 22k 1F,1:k k F,kk 1:n =
u 2k
Fk
,1:k1 Fk k
1 1
k +1 k
1 1
k +1
1
... ,k1 1:n u12 Fk u 22k 1Fk =u 12 Fk u 22k 1Fk
k +1 k +1
u22k 1F,1:k k u22k 1F,1:k k
1 1
u 22k 1 F ,1:k1
k +1 k k +1 k +1 k +1
... F,kk 1:n u 22k 1F,1:k k F,kk 1:n =u 22k 1Fk =u 22k 1Fk
1 1
1
BPLÈèì¦^L‡BPÈèì?1Èèì§z‡ÈèìÄuØÓ ˜†Ïfã"¤k˜†
ÏfãѼ ƒÓ Â&Ò§¤k˜†Ïfãþ &E'A¢Ú8ÜA•ÑƒÓ1 "ØÓ ˜
†Ïfãþ2 × 2 ¬ Ú ˜ØÓ§ —OŽžÖ êâØÓ§OŽ(JDŠ ˜•Ø
Ó§ùÒE¤z‡˜†Ïfã S“(JØÓ"
1
z‡Ïfã A7LƒÓ§Ï•ØÓ Aò —˜‡& S éAõ‡èi§ù´ØÜn
6.5 4zèBPÏfã d/ª . 187 .
F1 n x1
2
llr y
x uF n s 1 2x y sn
2
F1 n x2 s arg min || y xl ||2
1l L
xs
. .
红框中所有L个置换因子图使 .
.
.
.
N N
Y 1 Y (yi −si )2
= arg max Pr(yi |si ) = arg max e− 2σ 2
1≤l≤L
i=1
2π N/2 σ N 1≤l≤L
i=1
(6.29)
PN
(y −s )2
− i=12σi2 i
= arg max e
1≤l≤L
100
10-1
10-2
BLER
10-3
10-4 Standard BP
BPL, L=32
CASCL, L=10
10-5
1 1.2 1.4 1.6 1.8 2 2.2
Eb /N0 (dB)
ã 6.31 RM-polarè3BPLÈèìe BLER5Ué'"N = 211 §R = 0.5§dt = 16§ è&
D'Eb /N0 = 2.5dB, GA è§BPL LêL = 32§˜†ÏfãÀ Ž{5g©z[38]
´L "
Sm1 ,m2 (a1 , a2 , a3 , ..., am1 m2 )T = (a1 , am1 +1 , a2m1 +1 , ..., a(m2 −1)m1 +1 ,
(6.30)
T
a2 , am1 +2 , a2m1 +2 , ..., a(m2 −1)m1 +2 , ..., am1 , a2m1 , a3m1 , ..., am2 m1 ) .
(a1 , a2 , a3 , ..., am1 m2 )STm1 ,m2 = (a1 , am1 +1 , a2m1 +1 , ..., a(m2 −1)m1 +1 ,
(6.31)
a2 , am1 +2 , a2m1 +2 , ..., a(m2 −1)m1 +2 , ..., am1 , a2m1 , a3m1 , ..., am2 m1 ).
6.5 4zèBPÏfã d/ª . 189 .
u1N x1N
R R ...... R
ã 6.32 4zèBPÈèì 6Y‚/ª§N = 2n §uN 1 ´1•þ§RÚ⊕ N-Eng§Ù
N ⊗n
¥R = SN/2,2 §ÎÒ⊕ = IN/2 ⊗ F"·‚e¡‡` Ò´•ŸoxN
1 = u 1 F ¤á
Ï•éu?¿˜†Ý PkPT P = I§¤±STm1 ,m2 ÚSm1 ,m2 p•_Ý "Ï•Sm1 ,m2 Sm2 ,m1 =
Im1 m2 ð¤á§¤±Sm2 ,m1 = STm1 ,m2 .
3ã6.32¥§R´˜‡N × N, N = 2n ˜†Ý §R Š^Xeµ
ÖöêþuyÎÒR = SN/2,2 .
ÎÒ⊕éÑ\•þ Š^ JXeµ
Ööêþuy⊕ = IN/2 ⊗ F.
Ún 6.1 N = 2n §K(SN/2,2 )n = IN .
y² ·‚Œ±”´uye¡ 5Ƶ
Sm
N/2,2 = SN/2m ,2m .
(a)
= SN/2,2 SN/2,2 (F ⊗ IN/2 )(I2 ⊗ IN/4 ⊗ F)SN/2,2 (IN/2 ⊗ F)SN/2,2 ...SN/2,2 (IN/2 ⊗ F)
(b)
= SN/2,2 SN/2,2 [(F ⊗ IN/4 ) ⊗ F]SN/2,2 (IN/2 ⊗ F)SN/2,2 ...SN/2,2 (IN/2 ⊗ F)
(c)
= SN/2,2 SN/2,2 SN/2,2 (F⊗2 ⊗ IN/4 )(I4 ⊗ IN/8 ⊗ F)SN/2,2 ...SN/2,2 (IN/2 ⊗ F)
(6.35)
⊗2
= SN/2,2 SN/2,2 SN/2,2 [(F ⊗ IN/8 ) ⊗ F]SN/2,2 ...SN/2,2 (IN/2 ⊗ F)
...
= (SN/2,2 )n F⊗n .
§ 6.6 4zè'A€=BPÈèì
LLR1
= = = LLR2
LLR3
(1 2u4 ) = = = LLR4
LLR5
(1 2u6 ) = = = LLR6
0 LLR7
0 = = = LLR8
ã 6.34 'A€=BPÈèìÞ~
'A€=BPÈèì $16§´µ
(a). ?1ÊÏBPÈ觤k&E'A k LLRU~5 ˜•0.
(b). XJ ˆ•ŒS“gê §BPÈèì Èè(JØ (§KI‡?1'A€="
(c). ÀJØŒ‚&E'Aui ?1€=§¤¢€=´•rui k LLR •Ã¡§=Ri,1 =
(1 − 2ui ) × ∞"
(d). ¦^Ri,1 = (1 − 2ui ) × ∞?1~5BPÈè§='A€=ÈèÚ~5BPÈ蕘 «O
Ò´'A€=Èèì¥Ri,1 = (1 − 2ui ) × ∞§ ~5BPÈèì¥Ri,1 = 0.
. 192 . 16Ù 4zè˜&DÂÈèì
6.7.1 GÝ {
0
10
CASCL=4,N=2048
CASCL=6,N=2048
-1 BP,N=2048
10 CS-1,N=2048
EOBF,N=2048
CASCL=4,N=4096
10-2 CASCL=8,N=4096
BP,N=4096
BLER
CS-1,N=4096
10-3 EOBF,N=4096
10-4
10-5
-6
10
1.4 1.6 1.8 2 2.2 2.4 2.6 2.8 3 3.2
Eb /N0 (dB)
ã 6.35 BP'A€=Èèì BLER5Ué'§èǘƕR = 0.5, CRC •Ý˜Æ
•24§BPS“gê˜Æ•100" N = 2048ž§CS-1-‚#N'A€=gê•220¶ N =
4096ž§CS-1-‚#N'A€=gê•411
i,n+1 + Ri,n+1 ≥ 0,
0, L
x̂i = (6.37)
1, L
i,n+1 + Ri,n+1 < 0.
6.7.2 CRC
6.7.3 ‰ê{
g©z[41]"
i−1
P¹1i − 1gS“¥ êâ:LÝ 1˜ L:,1 §þ IL«ù´1i − 1g Èèêâ¶
P¹1igS“¥ êâ:LÝ 1˜ Li:,1 §þ IL«ù´1ig Èèêâ¶
XJ||Li−1 i
:,1 − L:,1 || u,˜KŠ§K@•êâ Czé §ÈèÂñ§¥ŽBPS“¶Ä
K§UYBPÈè"
‰ê||x||Œ±?¿À § ‰ê!á‰ê½´p‰ê§‘¿"Ï•ØÓ ‰êƒm´k.
"
6.7.4 •€&E'A{
g©z[42]"
(i)
¤¢•€&E'AÒ´4z& WN , i ∈ A¥Ÿþ• & §~XNþ• §½´nA
(i)
næXê•Œ "3WN , i ∈ A¥ÀÑM ‡Ÿþ• & §ùM ‡& ¢Ú8ÜP
•M"dd§·‚'5 uM¥ &E'A§Pù 'A•v = (v1 , v2 , ..., vM ).
P¹1i − 1gÈè¥v Š§P•vi−1 §þ IL«ù´1i − 1g Èèêâ¶
P¹1igÈè¥v Š§P•vi §þ IL«ù´1ig Èèêâ"
XJv i−1
Úv ¥ 'AÄg
i
˜—§KP¹ c/˜—gê0•1§, ?11i + 1gS
“"
XJ3 e5 P gS“¥§c˜g (Jvi−1 Ú ˜g (Jvi EÎgg˜—§K@•
ÈèÂñ§(åBPÈè"
Ù¥P ´<• ½ KŠ§˜„ P = 5Ò §=c˜g (Jvi−1 Ú ˜g (Jvi ë
Y5gS“ј §KŒ±@•ÈèÂñ"
ùp ÖSN(姷ù‹$ß®²v^ §ÖöŒ±gC IEEEe1Ø©Éç "
17Ù N¹µ{üMATLAB“è
§ 7.1 “è$1„Ý
§ 7.2 DÚCA-SCLÈèì
e1/εhttps://github.com/YuYongRun/PolarCodeDecodersInMatlab/tree/
master/PolarConventionalCASCL
g‘pdCqè E"
$1 Jãµ
10 0
10 -2
BLER
L=2
10 -4 L=4
L=8
L = 16
L = 32
10 -6
1 1.5 2 2.5
Eb/N0 (dB)
ã 7.1 N = 1024, R = 0.5, CRC•Ý•16
7.3 FastSCLÈèì . 197 .
§ 7.3 FastSCLÈèì
e1/εhttps://github.com/YuYongRun/PolarCodeDecodersInMatlab/tree/
master/PolarFastSCL
T§SSkˆ«4zè EŽ{Úo«XÚ4zè ?èŽ{"
$1 Jãµ
10 0
10 -2
BLER
L=2
10 -4 L=4
L=8
L = 16
L = 32
10 -6
1 1.5 2 2.5
Eb/N0 (dB)
ã 7.2 N = 1024, R = 0.5, CRC•Ý•16§XÚ4zè
é'ã7.1Úã7.2Œ•§¯„ÈèŽ{vk?ÛBLER5U›”"
. 198 . 17Ù N¹µ{üMATLAB“è
§ 7.4 BPÈèì
e1/εhttps://github.com/YuYongRun/PolarCodeDecodersInMatlab/tree/
master/PolarCodeBPdecoder
$1 Jãµ
100
10-1
10-2
BLER
10-3
N = 256
10-4 N = 512
N = 1024
N = 2048
10-5
1 1.5 2 2.5 3 3.5
Eb /N0 (dB)
§ 7.5 LDPC
vŽ j§ù‡Ò´ç "LDPC?Èèìe1/Œµhttps://github.com/YuYongRun/
LDPC.
d§SkØ õUµ
1. õ«LDPCèiµî¼AÛè(EG)§ K8Üè(PG)§Ú?>O•è(PEG/ACE§5
ghttp://www.inference.org.uk/mackay/codes/data.html#l66§ Ö ö • Œ ± ^
· §SProgressiveEdgeGrowth.mgC E)§WiFiè(802.11n)§WiMaxè(802.16e)§Mackayè(5
ghttp://www.inference.org.uk/mackay/codes/data.html#l66)"
2. õ«N›•ªµBPSK, 4ASK, 8ASK, 16ASK, QPSK, 16QAM, 64QAM, 256QAM"ù N
›þæ^ ‚XN §rèi'Ax1 , x2 , ..., xm N •1˜‡ÎÒ§, rxm+1 , xm+2 , ..., x2m N
•1 ‡ÎÒ§±daí")N´”BICM”ª §= Ñ ˜‡(Œ:þ'Am ƒ'5"
3. OêHÝ ¥ ‚µNkOê•Ý´6!8Ú10 ‚ §S"
4. ?èæ^ ´•{ü•´•Ï^ Ý ¦{x = uG = u[I|P]§ÏLéXêÝ H¦^p
dž Ûó Ý P"•,wå5é’{§ ´Ï^"LDPC?èìe õ§•‰Èè
Ž{ïÄ {•Ø7Å(u?èì p 5§Ï•MATLAB‰Ý ¦{Ø´¯K"
L 0
6. Èèì3 !:OŽž¦^ °(Èèúª§=Li,j = 2 tanh−1 ( j 0 ∈N {i}\{j} tanh( j2 ,i )).
Q
x 2
tanh( ) = 1 − . (7.1)
2 1 + ex
1+x
2 tanh−1 (x) = ln . (7.2)
1−x
e¡´•ý(J§•ý ˜•BPSK-AWGN& §4zè¦^pdCq3Eb /N0 = 2dB?
E§4zèÈèž f ¼ê¦^ Cqf (x, y) = sign(x)sign(y) min{|x|, |y|}. LDPCè¦^
•ŒS“gê´50g ö•ªBPÈèì§ÈèúªÃ?ÛCq"
. 200 . 17Ù N¹µ{üMATLAB“è
100
WiFi-LDPC,(1944,972)
WiMax-LDPC,(2016,1008)
10-1 PEG-LDPC,(2048,1018)
PEG+ACE-LDPC,(2048,1018)
Polar-L=8,(2048,1024,16)
-2 Polar-L=16,(2048,1024,16)
10
Polar-L=32,(2048,1024,16)
BLER
-3
10
-4
10
-5
10
-6
10
1 1.5 2 2.5
Eb /N0 (dB)
[2] Zhang Q, Liu A, Pan X, et al. CRC code design for list decoding of polar codes [J]. IEEE Com-
munications Letters, 2017, 21(6): 1229-1232
[3] Arikan E. Channel polarization: A method for constructing capacity-achieving codes for symmet-
ric binary-input memoryless channels [J]. IEEE Transactions on Information Theory, 2009, 55(7):
3051-3073
[4] Sarkis G, Tal I, Giard P, et al. Flexible and low-complexity encoding and decoding of systematic
polar codes [J]. IEEE Transactions on Communications, 2016, 64(7): 2732-2745
[5] Trifonov P. Efficient design and decoding of polar codes [J]. IEEE Transactions on Communica-
tions, 2012, 60(11): 3221-3227
[6] Tal I, Vardy A. How to construct polar codes [J]. IEEE Transactions on Information Theory, 2013,
59(10): 6562-6582
[7] He G, Belfiore J C, Land I, et al. Beta-expansion: A theoretical framework for fast and recursive
construction of polar codes [C]. In: 2017 IEEE Global Communications Conference (GLOBE-
COM), Singapore, 2017. 1-6
[8] Arikan E. Systematic polar coding [J]. IEEE Communications Letters, 2011, 15(8): 860-862
[9] Li L, Zhang W. On the encoding complexity of systematic polar codes [C]. In: 2015 28th IEEE
International System-on-Chip Conference (SOCC), Beijing, 2015. 415-420
[10] Li L, Xu Z, Hu Y. Channel estimation with systematic polar codes [J]. IEEE Transactions on
Vehicular Technology, 2018, 67(6): 4880-4889
. 202 . ë•©z
[11] Schjrch C. A partial order for the synthesized channels of a polar code [C]. In: 2016 IEEE Inter-
national Symposium on Information Theory (ISIT), Barcelona, 2016. 220-224
[13] Arikan E, Telatar E. On the rate of channel polarization [C]. In: 2009 IEEE International Sympo-
sium on Information Theory (ISIT), Seoul, 2009. 1493-1495
[15] . Increasing the throughput of polar decoders [J]. IEEE Communications Letters, 2013, 17(4):
725-728
[16] Hanif M, Ardakani M. Fast successive-cancellation decoding of polar codes: identification and
decoding of new nodes [J]. IEEE Communications Letters, 2017, 21(11): 2360-2363
[18] Zhang Z, Qin K, Zhang L, et al. Progressive bit-flipping decoding of polar codes over layered
critical sets [C]. In: 2017 IEEE Global Communications Conference (GLOBECOM), Singapore,
2017. 1-6
[19] Chandesris L, Savin V, Declercq D. Dynamic-SCFlip decoding of polar codes [J]. IEEE Transac-
tions on Communications, 2018, 66(6): 2333-2345
[20] Tal I, Vardy A. List decoding of polar codes [J]. IEEE Transactions on Information Theory, 2015,
61(5): 2213-2226
[24] Hashemi S A, Condo C, Gross W J. Fast simplified successive-cancellation list decoding of po-
lar codes [C]. In: 2017 IEEE Wireless Communications and Networking Conference Workshops
(WCNCW), San Francisco, 2017. 1-6
[25] Hashemi S A, Condo C, Gross W J. Fast and flexible successive-cancellation list decoders for
polar codes [J]. IEEE Transactions on Signal Processing, 2017, 65(21): 5756-5769
[26] M. Hanif, M. H. Ardakani and M. Ardakani, ”Fast list decoding of polar codes: Decoders for
additional nodes,” 2018 IEEE Wireless Communications and Networking Conference Workshops
(WCNCW), Barcelona, 2018, pp. 37-42.
[27] H. Zhang et al., ”A Flip-Syndrome-List Polar Decoder Architecture for Ultra-Low-Latency Com-
munications,” in IEEE Access, vol. 7, pp. 1149-1159, 2019.
[28] Li B, Shen H, Tse D. An adaptive successive cancellation list decoder for polar codes with cyclic
redundancy check [J]. IEEE Communications Letters, 2012, 16(12): 2044-2047
[29] Chen K, Li B, Shen H, et al. Reduce the complexity of list decoding of polar codes by treepruning
[J]. IEEE Communications Letters, 2016, 20(2): 204-207
[30] Chen J, Fan Y Z, Xia C Y, et al. Low-complexity list successive-cancellation decoding of polar
codes using list pruning [C]. In: 2016 IEEE Global Communications Conference (GLOBECOM),
Washington DC, 2016. 1-6
[31] Wang T, Qu D, Jiang T. Parity-check-concatenated polar codes [J]. IEEE Communications Letters,
2016, 20(12): 2342-2345
[32] Zhang H Z, Li R, Wang J, et al. Parity-check polar coding for 5G and beyond [C]. In: 2018 IEEE
International Conference on Communications (ICC), Kansas City, 2018. 1-7
[33] Yuan B, Parhi K K. Early stopping criteria for energy-efficient low-latency beliefpropagation polar
code decoders [J]. IEEE Transactions on Signal Processing, 2014, 62(24): 6496-6506
[34] Arikan E. Polar codes: A pipelined implementation [C]. In: 4th International Symposium on
Broadband Communication (ISBC), Melaka, 2010. 1-3
[35] Kschischang F R, Frey B J, Loeliger H. Factor graphs and the sum-product algorithm [J]. IEEE
Transactions on Information Theory, 2001, 47(2): 498-519
[36] Richardson T, Urbanke R. Modern Coding Theory [M]. Cambridge University Press, 2008, 58-59
. 204 . ë•©z
[37] Elkelesh A, Ebada M, Cammerer S, et al. Belief propagation list decoding of polar codes [J]. IEEE
Communications Letters, 2018, 22(8): 1536-1539
[38] Doan N, Hashemi S A, Mondelli M, et al. On the decoding of polar codes on permuted factor
graphs [DB/OL]. https://arxiv.org/abs/1806.11195, ArXiv e-prints, 2018
[39] B. Li, H. Shen, and D. Tse, A RM-polar codes [DB/OL]. July 2014. Available: http-
s://arxiv.org/abs/1407.5483
[40] Yu Yongrun, Pan Zhiwen, Liu Nan, et al. Belief propagation bit-flip decoder for polar codes [J].
IEEE Access, 2019, 7: 10937-1094
[41] Ren Y, Zhang C, Liu X, et al. Efficient early termination schemes for belief-propagation decoding
of polar codes [C]. In IEEE 11th International Conference on ASIC (ASICON), Chengdu, 2015,
pp. 1-4
[42] Simsek C, Turk K. Simplified early stopping criterion for belief-propagation polar code decoders
[J]. IEEE Communications Letters, 2016, 20(8): 1515-1518
[43] Mondelli M, Urbanke R, Hassani S H. Unified scaling of polar codes: Error exponent, scaling
exponent, moderate deviations, and error floors [C]. In: 2015 IEEE International Symposium on
Information Theory (ISIT), Hong Kong, 2015. 1422-1426.