TurboCodes LDPC 07 6x1

Cdigos de Controle de Erro Teoria da Informao 01/2007
Juliana Fernandes Camapum

Engenharia de Redes de Comunicao
Cdigos de Controle de Erro

So cdigos que devido a sua forma, permitem que na recepo do sinal transmitido, possamos identificar erros nas mensagens e dessa forma ou peamos para que o cdigo seja retransmitido (ARQ-Automatic Request for Retransmission) ou mesmo possamos corrigir o smbolo recebido, baseado em possveis probabilidades de erro dos smbolos A identificao ou correo de erros feita atravs de adio de bits redundantes ou bits de checagem Esta adio aumenta a complexidade no sistema de decodificao, alm de tornar a transmisso mais lenta
Juliana Fernandes Camapum - 01/2007 Teoria da Informao Cdigos de Controle de Erro - 2
Decodificao
Sejam:
pc(c) a probabilidade de uma palavra-cdigo ser transmitida pv(v) a probabilidade de uma palavra-cdigo v ser recebida
Cdigo convolucional
Opera em cada bit entrante e gera a palavra cdigo a partir deste bit taxa R=1/n, consiste de uma mquina de estados com:
M- memrias (shift-register) n somadores mdulo 2 multiplexador que serializa as n sadas dos somadores
Dado que uma palavra v foi recebida, a probabilidade da palavra c ter sido transmitida p(c/v)
A menor probabilidade de erro dada pela escolha da palavra ci tal que p(c/v) mxima. Este decodificador que maximiza esta probabilidade chamado de MAP (Maximum A Posteriori) Quando todas as palavras cdigo so igualmente provveis equivale a maximizar p(v/c), ou seja, a mxima verossimilhana e so chamados de decodificadores maximum likelihood. ci ser a palavra que minimiza d(ci,v). Assim, se calcula a distncia entre a palavra-cdigo recebida e todas as palavras-cdigo possveis de serem geradas. Decodificao por fora bruta. O algoritmo mais usado o Algoritmo de Viterbi.
Mensagem L codificada em n(L+M)bits > R=L/n(L+M) Como L >> M ->R 1/n Parmetro importante: comprimento de restrio K normalmente igual a M+1. representa o mximo nmero de bits em uma sada que pode ser influenciada por qualquer bit de entrada
Cdigo convolucional
Cdigo convolucional
y(0)
x
y(1)
y = xG ( D)
y = xG ( D) y ( 0) = x + xD + xD 2 y
(1)
y ( 0 ) = x + xD 2 + xD 3
2
= x + xD
G ( D) = 1 + D + D 2 1 + D 2
Juliana Fernandes Camapum - 01/2007
K=3 R=1/2 M=2

Teoria da Informao Cdigos de Controle de Erro - 5
y (1) = x + xD + xD 3 G ( D) = 1 + D 2 + D 3 1 + D + D 3
K=4 R=1/2 M=3
Cdigo convolucional
Cdigo convolucional sistemtico
Cdigo convolucional recursivo e sistemtico

Diagrama de Estados
Cada estado rotulado. Cada transio tem um rtulo da forma x/y(0)y(1), onde x representa o bit de entrada e y(0) e y(1) representam os dois bits de sada. Neste caso,
ns sempre temos y(0)
y = xG ( D) y (0) = x G ( D) = 1 1 + D + D 3
y (1) = x + xD + xD 3
x
y = xG ( D) x(1 + D 2 ) 1+ D + D2 1+ D2 G ( D) = 1 2 1+ D + D y (0) = x y (1) =
(0)
=x
y (1) = x + xD 2 + y (1) D + y (1) D 2 = x + S 0t Transio : x / y ( 0 ) y (1)

y(1)
t Estado : (S0+1 )( S1t +1 ) = x + S 0t + S 1t
) (y
(1)
+x
)
sendo tambm S1t +1 = S 0t

Teoria da Informao Cdigos de Controle de Erro - 7 Juliana Fernandes Camapum - 01/2007

Representao Trelia
Cdigo convolucional R = 1/2, K = 3

ci = ui G ( D) ci( 0) = ui + ui D + ui D 2 ci(1) = ui + ui D 2
Cada seo da trelia se parece com a seo abaixo:
G ( D) = 1 + D + D 2 1 + D 2
Os ns representam os estados, e as transies so rotuladas como x/y(1)

sendo y(0) = x e
t y (1) = x + xD 2 + y (1) D + y (1) D 2 = x + S 0

Diagrama de estados
t ci( 0) = ui + ui D + ui D 2 = ui + S 0 + S1t
Cdigo convolucional R = 1/2, K = 3 - TRELIA
ci(1) = ui + ui D 2 = ui + S1t
0 0
Transio : / ci( 0) ci(1)

1 1
t Estado : (S0+1 )(S1t +1 ) = ui ui D
Transio : ci( 0 ) ci(1)

t ci( 0) = ui + ui D + ui D 2 = ui + S 0 + S1t
sendo tambm S
t +1 1
= S0
t
t Estado : (S0+1 )( S1t +1 ) = ui ui D
t (S0 )( S1t ) = ui D ui D 2
sendo tambm S1t +1 = S 0t

t (S0 )( S1t ) = ui D ui D 2
ci(1) = ui + ui D 2 = ui + S1t

Considere a seguinte mensagem de entrada u = [10011]
ci = ui G ( D ) ci( 0 ) = ui + ui D + ui D 2 ci(1) = ui + ui D 2 G ( D) = 1 + D + D
u
(2) (2) (2)
1+ D
c X X Y
c
y
c
y
Cdigos Convolucionais Recursivos
y(0)
y(1)
Codificador Convolucional
Circuito para matriz geradora G(D)
x(0)
Cdigo convolucional recursivo sistemtico

y(0) y(1) y(2)
1+ D + D2 1 0 1+ D2 G( D) = D + D2 0 1 1+ D2
y (0) = x (0) y (1 ) = x ( 1 ) y ( 2 ) = x ( 0 ) (1 + D + D 2 ) + x (1) ( D + D 2 ) + y ( 2 ) D 2
y(0) y(1)
x(0) x(1)
y(0)
y(1) y(2)
x(1)
y(2)
Teoria da Informao Cdigos de Controle de Erro - 17 Juliana Fernandes Camapum - 01/2007
Decodificao do Cdigo Convolucional Algoritmo de Viterbi
Algoritmo de Viterbi (cont.)
B = L+M ; M = K-1
B = L+M ; M = K-1
Exemplo 1: Considere o codificador convolucional da figura abaixo com R=1/2, K=3, M=2(4 estados). Decodifique a palavra recebida v= 01 00 01 00 00 , considerando que o estado inicial 00.
c0 = ui + ui 1 + ui 2 c1 = ui + ui 2
O tamanho da palavra-cdigo nB=n(L+M)=2(L+2)=10. Assim, a mensagem tem comprimento L = 3. Ao final dos 3 bits de mensagem iremos inserir 00 tal que a memria ir terminar no estado 00 no instante 5T.
Juliana Fernandes Camapum - 01/2007 Teoria da Informao Cdigos de Controle de Erro - 23 Juliana Fernandes Camapum - 01/2007 Teoria da Informao Cdigos de Controle de Erro - 24
Alg. Viterbi Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

1T
00 00 11 11
Alg. Viterbi (cont.) Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

1T 2T 3T
00 00 00 00 11 11 11 00 00 11
2T
11
11
11
10
10 01
10
00 01
01
01
01
01 01 10

1T
00 11 00

1T 2T
00 00 11
3T
00
4T
00 11
5T
00 00 00 11 00 00
2T
00 11
3T
00 11
4T
00 11 11 00 00 11 00 00 11 11
11
11
10 01 01 01
00 01
10 01
10 00 00 01 01 01
10 00 01 00
10
00 10
01
01 01 10 01 01 10
01 01
00 11
Exemplo 2: Soluo Alg. Viterbi

v=00 01 10 00 00 00
00 11
Exemplo 2: Soluo Alg. Viterbi (cont.)

00 00 11 11
00 00 11 11
10 10 01
10 01
10

00 00 11 00 11 00 00
00 11
00 11
00 00 11 10 10 00 01 11
10 01
10
10 00
10
00 10
01 10 10 10 10

2 00 11 00 11 00 11 10 00 01 01 2 10 10 10 01 00 00 00 3 00
10 2
00 11
Exemplo 3: Soluo Alg. Viterbi para v = 11 01 10 00 00 00 00 00 00...
11
10
10
11
00 11 00 11
10 01
11
01
Exemplo 3: Soluo Alg. Viterbi para v = 11 01 10 00 00 00 00 00... (cont.)

3
00 00 11 00 11

3
00 00
11
11 11 10 01 00
11 00
10
2
01 01
00
01
01
0
10 10
0
10
11
01
10
11
01
10
00

3
00 11 00 11 11 00 00 00 11

3
00 11 11 00 00 00
2
10 01 00 00
1 2
00 00
10 01
00
00
00
1
01 10 01 01 10 10
10
01 10
01
01
01
1
10 10
11
01
10
00
00
11
01
10
00
00
00

00 00 11 3 00 11 11 10 01 01 10 01 10 01 10 01 2 01 00 00 00 00 10 2 2 00 10 2 00 00 00 00 11
Exemplo 3: Soluo Alg. Viterbi para v = 11 01 10 00 00 00 00 00 ... (cont.)

3 00 11 11 10 01 01 10 01 10 01 10 01 3 3 00 00 00 00 10 00 10 3 01 00 00 00 00 2 00 10 01 3 3 00
11
01
10
00
00
00
00
00
11
01
10
00
00
00
00
a seqncia transmitida foi c= 00 00 00 00 00 00 00 00 ... e u = 0 0 0 0 0 0 0 0 ... e a seqncia recebida corrigida foi c=11 10 11 00 00 00 00 00 ... e u = 1 0 0 0 0 0 0 0... Assim, a seqncia foi recebida com um bit de erro.
Exemplo 3: Soluo Alg. Viterbi para v = 11 01 10 00 00 00 00 00 ... (cont.)
Cdigos Turbo
Codificador Turbo
3 00 3
00 11
00 11 11 10 01 01 10 00
00
00
00
00
00
00
00
00 10 01
00 10 01
00 10 3 01 3
00 10 01
consiste de dois ou mais (geralmente idnticos, taxa R=1/2) codificadores sistemticos recursivos (RSC) concatenados em paralelo e um pseudo-aleatrio embaralhador de bits (interleaver). Interleaver: permuta os bits de entrada tal que os dois codificadores operam no mesmo conjunto de bits de entrada, porm em seqncias de entrada diferentes.
01 10
01 10
ur
11
01
10
00
00
00
00
00
00
O n = pode ser visto como um cdigo de repetio que envia sua entrada por trs caminhos. O n representa a permutao.
Cdigos Turbo
Inventados em 1993 Usam decodificao estatstica Podem ter um tamanho de bloco de 65536 Para R = 1/2, cada codificador convolucional perfurado Os bits de entrada so agrupados em seqncias de comprimento finito cujo comprimento N, igual ao tamanho do interleaver. Como ambos os codificadores so sistemticos e operam no mesmo conjunto de bits de entrada, necessrio transmitir os bits de entrada apenas uma vez. Assim, a taxa de cdigo R resultante de 1/3. Notao: Um (h0, h1, N) cdigo Turbo significa que h0, h1 : polinmios cheque de paridade dos dois codificadores. N: comprimento do interleaver.
Exemplo:
Seja um cdigo Turbo com a seguinte estrutura RSC
Estrutura do codificador RSC:
ur vr
tamanho do Interleaver N = 16 com permutao P16={15, 10, 1, 12, 2, 0, 13, 9, 5, 3, 8, 11, 7, 4, 14, 6} que implica em u0=u15, u1=u10, e assim por diante.
Exemplo:
Se a seqncia de entrada u={u0, , u15} = {1,0,0,0,1,0,0,0,0,0,0,0,1,0,1,0}, ento a entrada permutada do segundo codificador : u={u0, , u15} = {0,0,0,1,0,1,0,0,0,0,0,0,0,1,1,0}. As seqncias de paridade sem perfurao so v(1)={v(1)0,,v(1)15}={0,1,0,1,1,0,0,1,0,1,1,1,0,1,1,0} v(2)={v(2)0,,v(2)15}={0,0,0,0,1,0,0,1,0,1,1,1,0,0,0,1} Sem perfurao, a palavra-cdigo resultante u0, v(1)0, v(2)0, u1, v(1)1, v(2)1, , u15, v(1)15, v(2)15 Taxa = 1/3. Peso de Hamming da palavra-cdigo resultante: d=w(u)+w(v(1))+w(v(2)=4+9+6=19
Juliana Fernandes Camapum - 01/2007 Teoria da Informao Cdigos de Controle de Erro - 45 Juliana Fernandes Camapum - 01/2007
Exemplo:
Se a perfurao comea de v(1)0, a seqncia da palavra-cdigo perfurada se torna u0, v(2)0, u1, v(1)1, u2, v(2)2, , u15, v(1)15 Taxa = Peso de Hamming da palavra-cdigo resultante: d= 4+6+2=12 Se a perfurao comea de v(2)0, a palavra-cdigo se torna u0, v(1)0, u1, v(2)1, u2, v(1)2, , u15, v(2)15 Taxa = Peso de Hamming da palavra-cdigo resultante: d= 4+3+4=11
O Codificador Turbo UMTS

Decodificao Iterativa de Cdigos Turbo

os descobridores dos cdigos Turbo propuseram um novo decodificador iterativo baseado no algoritmo maximum a posteriori (MAP). Um decodificador MAP calcula a probabilidade a posteriori P(ur=u|y) condicionada a seqncia recebida y. Diagramade Blocos de um decodificador Turbo iterativo
Atualmente, cdigos turbo so usados em muitoas aplicaes comerciais, incluindo a terceira gerao de sistemas celulares UMTS e cdma2000.
Third Generation Partnership Project(3GPP). Multiplexing and Channel Coding (FDD), March 2005. TS 25.212 Version 6.4.0.
Cada decodificador MAP corresponde a um dos codificadores. Os interleavers so idnticos aos do codificador Turbo e so usados para reordenar as seqncias tal que cada decodificador esteja sincronizado. Cada iterao do decodificador iterativo executada em duas fases. As probabilidades a posteriori de uma fase so usadas como informao a priori da fase seguinte.
Decodificao Iterativa de Cdigos Turbo

O primeiro decodificador MAP envia a informao para o segundo. O ltimo ento realimenta a informao para o primeiro decodificador. Isto se parece com o princpio por trs das motores turbo. Assim, esta classe de codificadores chamada de Cdigos Turbo.
Decodificao Passo a Passo
O processo de decodificao iterativa continua at que o desempenho desejado seja alcanado. Para um cdigo Turbo (37, 21, 65536), o desempenho com decodificao iterativa continua aumentando at 18 iteraes
Passo 0 as sadas do canal w e v1 so alimentadas em um n que usado para decodificar o codificador conv. superior. Ao receber as sadas w e v1, o decodificador superior ir gerar as probabilidades do bit w ser 1.
Passo 1 As sadas do decodificador superior so enviadas para o n =, onde so combinadas com as sadas do canal para w, e so tratadas como estimativas melhoradas para as probabilidades do bit w ser 1. Estas probabilidades so enviadas para o decodificador inferior, que tambm recebe as sadas do canal para v2. Este decodificador tambm ir gerar sadas para a probabilidade de que cada entrada seja 1.
Passo 2
As sadas do decodificador inferior so enviadas atravs do n =, onde so novamente combinadas com as sadas do canal para w, e so passadas como entradas do decodificador superior, onde so novamente combinadas com as sadas do canal para v2 .
Este processo ento repetido por algumas iteraes: alternando entre os dois decodificadores.
Desempenho Cdigo Turbo

Taxa R=1/2 Interleaver de tamanho 65536 Decodificador iterativo baseado no algoritmo BCJR (Bahl, Cocke, Jelinek e Raviv) com 18 iteraes
Desempenho cai bastante abaixo de um valor crtico de Eb/No difcil atingir taxa de erro abaixo de10-5 Para taxa de erro igual a 10-5 ele est a menos de 0,5dB do limite terico de Shannon
Obtendo as sadas: Ns combinamos as sadas do canal e as ltimas sadas de cada decodificador.

Juliana Fernandes Camapum - 01/2007 Juliana Fernandes Camapum - 01/2007
Cdigos LDPC
Low-Density Parity-Check Desvantagens dos cdigos turbo:
presena de palavras-cdigo de baixo peso no consegue com facilidade taxas de erro menores do que 10-5 a 10-6 complexidade computacional do algoritmo de decodificao
Construo de cdigos LDPC

caracterizado por trs nmeros (n,tc,tr) relacionados matriz de checagem de paridade H:
n o comprimento do cdigo; tc o peso (nmero de 1s) de cada coluna H; tr o peso de cada linha H; tr > tc, sempre.
LDPC
No possuem palavras-cdigo de baixo peso so obtidas taxas de erro to pequenas quanto se queira algoritmos iterativos de decodificao de baixa complexidade
Matriz H gerada colocando-se 1s aleatoriamente com as restries de regularidade, isto

cada coluna possui um nmero pequeno de 1s, tc cada linha possui um nmero pequeno de 1s, tr
Caractersticas da codificao LDPC

matriz de checagem de paridade esparsa posies dos 1s so aleatrias existem desde a dcada de 60, mas somente agora existe poder computacional para implementar seus algoritmos de decodificao
Supondo que a densidade de 1s em H , ento para um cdigo (n,k), H (n-k) x n

Notar que para isto acontecer, as linhas de H precisam ser linearmente independentes
s vezes, as restries de regularidade precisam ser ligeiramente violadas para que isto acontea

Notar que como H (n-k)xn e H1 (n-k)x(n-k), ento existe H1 no singular se as linhas de H so LI Usualmente, tambm se restringe o produto interno de duas linhas de H a ter no mximo o valor 1, pois estes cdigos LDPC costumam apresentar melhor desempenho.
A matriz H no sistemtica mas, podemos ter uma matriz G sistemtica da forma abaixo: c = [p | m], sendo p bits de paridade e m mensagem sendo H1 matriz (n-k) x (n-k) e H2 matriz k x (n-k)
H H H T = L1 [p Mm ]L1 = 0 pH 1 + mH 2 = 0 H 2 H 2
Se a matriz G sistemtica G = [P | Ik] e p = mP, temos
PH 1 + H 2 = 0 P = H 2 H1 1
Ou seja,
G = H 2 H1 1 M I k
]
Teoria da Informao Cdigos de Controle de Erro - 57 Juliana Fernandes Camapum - 01/2007 Teoria da Informao Cdigos de Controle de Erro - 58
Exemplo Cdigo (10,3,5)=(n, tc,tr)

H H1T H2T
Inverso de Matriz
A inversa de uma matriz pode ser determinada resolvendo o sistema Ax=I, onde I a matriz identidade
Mtodo Eliminao Gaussiana

consiste em reduzir o sistema a uma forma equivalente, tal que a matriz se escreva como uma matriz triangular eliminar progressivamente as variveis ate chegar a uma equao de uma varivel.
H1-1
H2H1-1
H2H1-1
Ik Teoria da Informao Cdigos de Controle de Erro - 59
Decodificao Probabilstica de Cdigos LDPC

Como os tamanhos de blocos vo de 103 a 106, a anlise algbrica no factvel
Usa-se anlise estatstica
Decodificao Probabilstica de Cdigos LDPC

O algoritmo funciona estimando a partir da palavra recebida r=c+e, um vetor tal que AT=0
Se Pjx a probabilidade do bit j ser igual a x, ento estima-se o bit j de como 1 se Pj1 > Pj0 e vice-versa.
Um cdigo LDPC pose ser representado por um grafo bipartido: lado esquerdo n ns e lado direito (n-k) ns O n j da esquerda est conectado ao n i da direita se o elemento (i,j) de H 1
O algoritmo ento estima, iterativamente, para cada bit j, os valores de Pj0 e Pj1, obtendo
Se AT=0 ento a decodificao est terminada Caso contrrio, o algoritmo faz mais uma iterao Aps um nmero mximo de iteraes (100 a 200), uma falha de decodificao decretada

Os codificadores LDPC so mais simples de implementar do que os cdigos turbo Entretanto, o seu desempenho no se aproxima tanto do limite de Shannon como dos cdigos turbo

TurboCodes LDPC 07 6x1

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

TurboCodes LDPC 07 6x1

Hochgeladen von

Copyright:

Verfügbare Formate

Cdigos de Controle de Erro Teoria da Informao 01/2007

Juliana Fernandes Camapum

Cdigos de Controle de Erro

K=3 R=1/2 M=2

K=4 R=1/2 M=3

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 6

Cdigo convolucional recursivo e sistemtico

Cdigo convolucional recursivo e sistemtico

y (1) = x + xD 2 + y (1) D + y (1) D 2 = x + S 0t Transio : x / y ( 0 ) y (1)

t Estado : (S0+1 )( S1t +1 ) = x + S 0t + S 1t

sendo tambm S1t +1 = S 0t

Cdigo convolucional recursivo e sistemtico

Cdigo convolucional R = 1/2, K = 3

Cada seo da trelia se parece com a seo abaixo:

Os ns representam os estados, e as transies so rotuladas como x/y(1)

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 9

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 10

Cdigo convolucional R = 1/2, K = 3

Cdigo convolucional R = 1/2, K = 3 - TRELIA

Transio : / ci( 0) ci(1)

Transio : ci( 0 ) ci(1)

t Estado : (S0+1 )( S1t +1 ) = ui ui D

sendo tambm S1t +1 = S 0t

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 11

Teoria da Informao Cdigos de Controle de Erro - 12

Cdigo convolucional R = 1/2, K = 3

Cdigo convolucional R = 2/3, K = 4

Juliana Fernandes Camapum - 01/2007

Cdigos Convolucionais Recursivos

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 15

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 16

Cdigo convolucional recursivo sistemtico

y (0) = x (0) y (1 ) = x ( 1 ) y ( 2 ) = x ( 0 ) (1 + D + D 2 ) + x (1) ( D + D 2 ) + y ( 2 ) D 2

Teoria da Informao Cdigos de Controle de Erro - 18

Decodificao do Cdigo Convolucional Algoritmo de Viterbi

Algoritmo de Viterbi (cont.)

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 19

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 20

Algoritmo de Viterbi (cont.)

Algoritmo de Viterbi (cont.)

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 21

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 22

Algoritmo de Viterbi (cont.)

Alg. Viterbi Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

Alg. Viterbi (cont.) Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 25

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 26

Alg. Viterbi (cont.) Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

Alg. Viterbi (cont.) Exemplo 1: v = 01 00 01 00 00 e c=00 00 00 00 00

Juliana Fernandes Camapum - 01/2007

Teoria da Informao Cdigos de Controle de Erro - 27