Cdigos IRA

Mster en Multimedia y
Comunicaciones
Comunicaciones Digitales
Luca Martino

Codificacin de Canal

Supongamos tener un canal binario discreto, simtrico sin

memoria:

Cb 1 H b ( p)

Objetivo: encontrar una manera de enviar bits, para tener

una probabilidad de error en recepcin menor que p.

Cdigos de Repeticin

La idea ms sencilla: Repetir y elegir por mayoria.

1

111
010

canal

000

Para enviar un bit de informacin utilizo 3 veces el canal:

transmisin ms lenta (o ancho de banda mayor).
1

2T

T
Ms lento

1 1 1
3T

T 2T T
3 3
Ms ancho de banda

Trade off

El ejemplo anterior nos muestra que hay que

encontrar un compromiso entre baja probabilidad
de error y velocidad de transmisin:

Fiabilidad

Velocidad

Codificador de Canal

En general, la tarea de un codificador consiste en elegir 2k

secuencias de n bits.

Cdigos Aleatorios

Si la relacin biunvoca est elegida aleatoriamente,

para decodificar necesitaramos la comparacin
con todas las posibles k palabras cdigos (hay que
almacenar 2k palabras cdigo).

Complejidad creciente en decodifica: no til.

Redundancia: propiedades

Para disminuir la complejidad del decodificador, hay

que aadir bits (redundancia) a los mensajes en
modo inteligente. Los bits de redundancia tienen
que tener estas propiedades:

1.

Ser fcil en generarse (baja complejidad en codifica).

2.

Maximizar la distancia (diferencia en bits) entre dos

palabras cdigos.
Tener una cierta estructura que, a lo mejor, permita
individuar donde se han producido los errores.
Permitir la decodifica sin comparar con todas las
posibles palabras cdigos (baja complejidad en
decodifica).

3.
4.

Cdigo ideal

1.
2.
3.
4.

k
n

Tasa deRun
cdigo:

0101010

010

Bits
redundancia

complejidad lineal en codifica.

complejidad lineal en decodifica.
n
probabilidad de error que Ptiende
e 0 a cero
por
.
Una tasa R ms alta posible (ms cerca posible
del mximo Cb).

Teorema de Codificacin de Canal

Si RCb (capacidad) es posible disminuir la Pe

aumentando n, con tasa R constante.

En general, por un canal genrico, este teorema

proporciona un limite mximo C para la velocidad
de transmisin, para lograr una comunicacin
fiable.

Cdigos Lineales

Dentro de los lineales, hay 2 grupos principales

que interpretan dos filosofas distintas:

1.

Cdigos Bloque (la decodifica de un bloque de

bits se hace de modo independiente de las otras
secuencias enviadas).

2.

Cdigos Convolucionales (sistema con memoria).

Cdigo Bloque Lineales

Cada palabra cdigo se puede expresar como una combinacin
lineal con coeficientes 0 y 1 de unas palabras de base:

c a1 c1 a 2 c 2 a3 c3 a3 c3 ... a k c k

c a G
para la decodifica se utiliza la matriz H:

T
cH 0

GHT 0

Grfico de Tanner

H 34

A cada matriz de paridad H est asociado un grfico

compuesto por 2 conjuntos de nodos:

1 1 0 1
0 1 1 1
1 0 1 0
c1 c 2 c 4 0

c 2 c 3 c 4 0
c c 0
1 3

se ve que c1 interviene en el nodo z1 , z3.

Cdigos Convolucionales

Siguen siendo lineales (es decir una combinacin de dos

palabras cdigo cualquiera es tambin una palabra cdigo).

Sistema con memoria: convoluciona la secuencia en entrada

con un filtro FIR binario.

Decodifica con Algoritmo de Viterbi (max verosimilitud).

Altas prestaciones

cdigo bloque

cdigos LDPC
Tratando de juntar
las 2 filosofias

cdigo convolucionales

No eligen la palabra
cdigo con mnima
distancia de Hamming.

Cdigo RA

cdigo Turbo

Se acercan a la capacidad,
aunque no lo utilicen una
decodifica ptima (pero
carga computacional lineal).

Distancia Mnima en cdigos bloque

La distancia mnima (mnima diferencia en bits)

entre 2 palabras cdigo es igual al:

1. Nmero mnimo de 1 entre todas las combinaciones

lineales de las filas de G (todas las palabras
cdigo).
2. Nmero mnimo de columnas de H que sumadas
dan ms que el vector nulo.

El cualquier caso con pocos 1 se puede lograr

dmin grandes.

LDPC

Fueron propuesto la primera vez por Gallager en los aos

60.
Cdigo bloque lineal, caracterizados por matriz de
chequeo H dispersa (pocos unos en comparacin con los
ceros); para lograr altas prestaciones (d min elevada), H tiene
que ser muy grande.
Para hallar G se utiliza el mtodo de eliminacin de Gauss
partiendo de H hasta llegar a la forma H=[Ik P], as que
G=[PT Ir].

No fueron utilizados al principio: demasiada carga

computacional y de almacenamiento de datos.

Decodifica LDPC
Con sndrome (realmente imposibles por H grandes):

T
cH 0

Algoritmo basados en grafos: BCJR con grafo

Trellis, y Message passing algorithms para grafos
bipartidos (por ejemplo, Tanner).

Dentro de los Message passing algorithms est el

Belief Propagation que puede verse como una
extensin del algoritmo de Viterbi, que proporciona
las probabilidades a posteriori (en vez que las
verosimilitudes).

Tipos de LDPC

Regular: numero constante de 1 en la columnas de

H.

Irregular: numero de 1 variable en las columnas de

H (suelen tener mejores prestaciones de los
regulares).

Cdigos Turbo

Concatenacin de 2 cdigos convolucionales

sistemticamente recursivos.

Cdigo Conv.

Permutaciones

Cdigo Conv.

Decodificacin subptima (con infinita iteraciones

llagara a la solucin MAP).

Cdigos RA

Repeated Accumulate:

Cdigo de
Repeticin

Permutacin

Cdigo de
Convolucional
Acumulador

Parece tener un cierto parecido con los cdigos

Turbo.

Ejemplo: RA

Tenemos 2 palabras mensajes m1, m2, y utilizamos un cdigo de

repeticin (1,3):

m1 , m1 , m1 , m2 , m2 , m2

Permutamos segn

(1,4,6,2,3,5) :

m1 , m2 , m2 , m1 , m1 , m2

Y la redundancia (o la salida final) se logra acumulando:

p1 m1 , p1 m2 p1 , p3 m3 p 2 ....

La codifica, en modo sistemtico, sera:

c1 m1 , c1 m2 , c3 p1 , c3 p1 , c 4 p 2 , c5 p3 ,...
...c6 p 4 , c7 p5 , c8 p 6

Representacin con Tanner

Lo que es muy interesante es que los Cdigos RA pueden

representar con grfico de Tanner (se pueden utilizar ciertos
algoritmos de decodificacin):

Grfico del ejemplo.

Representacin con Tanner (II)

Hemos divido en bits de paridad (arriba) y de mensaje (abajo),

por claridad:
(operaciones binarias)

z1 : p1 m1 0
z 2 : p1 p 2 m1 0
z 3 : p 2 p3 m1 0
....

Se pueden ver como cada bits de mensaje tiene exactamente 3

conexiones cada uno.

con est representacin recuerdan ms los LDPC

Irregular RA

Podemos generalizar la estructura anterior,

dividiendo en q grupos los k bits de informacin
(mensaje) y repitiendo los bits en cada bloque un
nmero de veces distintos.

En ejemplo anterior de cdigo RA, los k=2 bits de

mensaje estaban repetidos, ambos de igual manera,
3 veces. Tienen El mismo nmero de conexiones
con los nodos de chequeo zj.

Irregular RA: fracciones

En concreto, se elegirn q-fracciones fi (una por

cada grupo de bits de mensaje):
q

f
i 1

De manera, que los f1k bits del primer grupo se

repetirn 2 veces, los f2k bits del primer grupo se
repetirn 3 veces hasta los fqk bits del primer grupo
se repetirn q+1 veces.

Irregular RA: grfico de Tanner

Otra propiedad: cada nodo de chequeo estar conectado a un

nmero constante (b) de bits de informacin.

(Hemos aadido un bloque de permutacin porque nos referimos a un caso

Parmetros y propiedades

Parmetros:

q grupos
b conexiones nodo chequeo - bits de mensaje
k bits de mensaje

Nmero nodo de chequeo y de los bits de paridad ser:

k q
r (i 1) f i
b i 1
q

r (i 1) ( f i k )

Es ms fcil para entender el caso b=1:

i 1

Caso particular: RA

Para un RA tendramos:

1. Cada nodo chequeo conectado solo a un nodo

de mensaje:

b 1
2. Habr k bloque solo de 1 bits de mensaje:

qk
3. Las fracciones sern todas nula menos una:

f i 1 i n
Es decir todos los bits de mensaje estn repetidos n veces. Substituyendo en caso
en figura:
q

k
2
r (i 1) f i (2 1) f 2 2 3 6
b i 1
1

Tasa

El nmero el nodo de chequeo es igual al numero

de nodo de paridad; podemos tener una versin
sistemtica:

{m1 , m2 ,...mk , p1 , p 2 ,..., p r }

k Con tasak R ser entonces:

b
kr

k q
k (i 1) f i
b i 1

b (i 1) f i
i 1

En modo no sistemtico:

{ p1 , p 2 ,..., p r }

k
k

r k q
(i 1) f i

b i 1

b
q

(i 1) f
i 1

Observaciones

Los IRA suelen tener mejor prestaciones de los RA.

Aunque son un caso particular de los LDPC ( y de

los Turbo), tienen una complejidad menor a paridad
de prestaciones.

Los cdigos RA-IRA tienen complejidad lineal en

codifica y en decodifica.
RA
DC
P
L

Turbo