TEMA 5

MODULACIONES CODIFICADAS TRELLIS

Inmaculada Hernez Rioja

TEMA 5

MODULACIONES CODIFICADAS PARA CANALES LIMITADOS EN

BANDA.

1-1

5.1

CDIGOS CONVOLUCIONALES.................................................................................................... 1-1

5.1.1

rboles ................................................................................................................................... 1-1

5.1.2

Trellis ...................................................................................................................................... 1-3

5.1.3

Diagrama de Estados ........................................................................................................... 1-4

5.1.4

Ejemplo.................................................................................................................................. 1-4

5.2

FUNCIN DE TRANSFERENCIA DE UN CDIGO CONVOLUCIONAL ..................................... 1-6

5.3

DECODIFICACIN PTIMA DE CDIGOS CONVOLUCIONALES .......................................... 1-10

5.3.1

Hard decision ...................................................................................................................... 1-11

5.3.2

Soft-decision........................................................................................................................ 1-14

5.3.3

Algoritmo de Viterbi.......................................................................................................... 1-16

5.3.4

Carga Computacional......................................................................................................... 1-19

5.3.5

Retardo de decodificacin................................................................................................. 1-19

5.4

CLCULO DE LA PROBABILIDAD DE ERROR ........................................................................... 1-19

5.4.1

Probabilidad de error con decisin blanda..................................................................... 1-19

5.4.2

Probabilidad de error por bit de informacin................................................................ 1-21

5.4.3

Probabilidad de error para decodificacin mediante decisiones duras ...................... 1-22

5.4.4

Ganancia de codificacin .................................................................................................. 1-23

5.4.5

Otros efectos a considerar ................................................................................................ 1-23

5.5

MODULACIN CODIFICADA PARA CANALES LIMITADOS EN BANDA ................................ 1-23

5.5.1

Particin de conjuntos ....................................................................................................... 1-24

5.5.2
5.6

Modulacin codificada Trellis .......................................................................................... 1-27

EJERCICIOS .................................................................................................................................... 1-33

5.6.1

Problema 1........................................................................................................................... 1-33

5.6.2

Problema 2........................................................................................................................... 1-33

5.6.3

Problema 3........................................................................................................................... 1-34

5.7

BIBLIOGRAFA .............................................................................................................................. 1-35

1.

1.1

MODULACIONES CODIFICADAS PARA CANALES LIMITADOS EN BANDA.

CDIGOS CONVOLUCIONALES

Un cdigo convolucional se genera pasando la secuencia de informacin a transmitir por un

registro de desplazamiento lineal. En general, el registro de desplazamiento consiste en L etapas de
k bits y n generadores de funciones algebraicas, como se muestra en la figura Fig. 5.1. :

1
k bits de informacin

2
...

...

...

n bits codificados (hacia el modulador)

Fig. 5.1.Codificador convolucional

La secuencia de entrada se desplaza k bits cada vez (cada golpe de reloj). Por cada k bits de entrada
se obtienen n bits de salida. Se define la Velocidad de cdigo (Code Rate) como: Rc= k/n.
Los cdigos convolucionales suelen describirse mediante 3 representaciones: rboles, Trellis y
Diagrama de estados. Las veremos a continuacin.
1.1.1

RBOLES

Para la descripcin, utilizaremos un caso particular con L=3, k=1 y n=3. Consideramos el
codificador convolucional de la figura Fig. 5.2.

1-1

1
2

Entrada

Salida

Fig. 5.2. Codificador convolucional con Rc=1/3 y L=3

El rbol resultante se muestra en la figura Fig. 5.3.:
000
000
a

111

000
000

111
c
001

111

c
110
d

0
1

011
a
001
b
100

111

c
010
110

d
101
d

Fig. 5.3. rbol correspondiente al codificador convolucional de la Fig. 5.2.

Suponiendo que el codificador est en estado cero inicial:
-

Si el primer bit es un 0, la secuencia de salida es 000.

Si el primer bit es un 1, la secuencia de salida es 111.

La regla es siempre tomar la rama superior del rbol para el 0 y la inferior para el 1. Una
determinada secuencia de entrada determina un camino en el rbol.

1-2

Observando el rbol vemos que la estructura se repite a si misma despus de la tercera etapa. Esto
es debido a que la salida viene dada por el valor del bit actual y los bits anteriores. Comenzando el
clculo de las salidas (el dibujo del rbol) por el estado todo ceros, el anlisis termina cuando el bit
de entrada alcance la ltima etapa, de forma que se habrn producido ya todos los estados posibles.
En el caso general con k bits de entrada y L etapas, el anlisis termina cuando el grupo de k bits de
entrada alcance la ltima etapa, es decir, al cabo de L etapas o L pasos de ramificacin en el rbol.
Continuando con el ejemplo, se observan 4 estados diferentes para los registros de desplazamiento,
correspondientes a los 2 bits anteriores al bit actual. Estos estados se han etiquetado en el rbol
como:
a=00 b=01 c=10 d=11
Puede observarse que en la tercera etapa hay 2 nodos para cada estado. Los dos nodos
correspondientes al mismo estado son idnticos en el sentido de que generan las mismas salidas. La
asimilacin de los nodos idnticos da lugar al diagrama de Trellis que estudiamos a continuacin.
1.1.2

TRELLIS

En esta representacin, los nodos iguales de un rbol se asimilan a un nico nodo. La

representacin del diagrama de Trellis para el ejemplo anterior se muestra en la figura Fig. 5.4.:

Fig. 5.4. Diagrama de Trellis para el codificador convolucional de la Fig. 5.2.

En el diagrama de Trellis se han empleado lneas continuas para las salidas generadas por un 0 de
entrada, y lneas discontinuas para las salidas generadas por un 1 a la entrada. Puede observarse
como despus de un transitorio inicial se alcanza un estado estable despus de 3 etapas. Intervienen
1-3

4 nodos correspondientes a los 4 estados posibles, y a cada nodo entran dos caminos y salen
tambin dos caminos, correspondientes a las dos posibles entradas (0 y 1).
1.1.3

DIAGRAMA DE ESTADOS

Una forma an ms compacta de representar el cdigo es el diagrama de estados, mostrado en la

figura Fig.5.5.:
Diagrama de estados para Rc=1/3 y L=3

Estado b
01

100

011
001

010
000

Estado a
00

111

Estado c
10

110
101

Estado d
11

Fig.5.5. Diagrama de estados correspondiente al codificador convolucional de la Fig. 5.2.

Este diagrama representa los posibles estados del codificador y las posibles transiciones entre ellos.
Al igual que en el trellis, las transiciones entre estados se representan con una lnea continua si son
producidas por un bit de entrada 0 y con una lnea discontnua si son producidas por una entrada
0. Los 3 bits asociados a las ramas son los bits de salida codificados.
1.1.4

EJEMPLO

Consideremos el cdigo descrito por la figura Fig. 5.6.:

1-4

Fig. 5.6. Codificador convolucional con k=2, n=3 y L=2

Los primeros 2 bits de entrada pueden ser 00, 01, 10

11. A estas entradas les corresponden las siguientes
salidas:
00->000
01->010
10->111
11->101

Cuando llega la siguiente pareja de bits, la pareja anterior

se desplaza a la siguiente etapa. Los bits de salida
dependen del par de bits desplazados y de los nuevos de
entrada. Por eso:
-

Hay 4 ramas por cada nodo en el rbol (4 posibles entradas).

Como L=2, el rbol se repite a partir de la segunda etapa.

El diagrama de Trellis presenta cuatro estados, y hay cuatro ramas que entran y salen de cada
estado, correspondientes a las cuatro posibles entradas.

1-5

En general:
-

Un cdigo con Rc=k/n, longitud restringida L (L etapas), tiene 2 ramas que emanan de
cada nodo del rbol.
k(L-1)

estados posibles.

El Trellis y el diagrama de estados presentarn 2

Hay 2 ramas entrando en cada estado y 2 ramas que lo abandonarn (en el Trellis,

despus de los estados transitorios).

1.2
FUNCIN DE TRANSFERENCIA DE UN CDIGO
CONVOLUCIONAL
Tratamos de calcular las propiedades de distancia y comportamiento frente a errores, utilizando el
diagrama de estados. Como se trata de un cdigo lineal, el juego de distancias de Hamming
(nmero de bits diferentes) de las secuencias generadas hasta una cierta etapa en el rbol a la
secuencia nula, es el mismo que el juego de distancias para cualquier otra secuencia. Por eso, sin
prdida de generalidad, suponemos como entrada la secuencia nula.
Utilizaremos de nuevo un ejemplo para demostrar el mtodo para obtener las propiedades de
distancia de un cdigo.
Partiendo del diagrama de estados de la figura Fig. 5.7.
1-6

Fig. 5.7. Diagrama de estados del codificador convolucional de la Fig. 5.2. en el que se han
etiquetado las ramas con la distancia de Hamming de la secuencia de salida a la secuencia 000.
d

En primer lugar, etiquetamos las ramas del diagrama con D siendo el exponente d la distancia de
Hamming entre la secuencia de bits de salida y la secuencia todos ceros (secuencia de entrada). El
lazo 000 con distancia cero puede eliminarse porque no va contribuir en la medida.
En un segundo paso, el nodo a lo dividimos en dos nodos, uno para la entrada al diagrama de
estados y otro para la salida:

Fig. 5.8. Diagrama de estados de la figura Fig. 5.7. con nodos de entrada y salida.
Finalmente, en un tercer paso, calculamos las ecuaciones de los nodos:

X c = D3 X a + DX b
X b = DX c + DX d
X d = D2 X c + D2 X d
X e = D2 X b

1-7

La funcin de transferencia se define como: T ( D ) =

Xe
Xa

Y para este ejemplo se obtiene:

T ( D) =

D6
1 2D

= D 6 + 2 D 8 + 4 D10 + 8D12 + ... =

d 6

en donde a d = 2 2
0

ad D d

d =6

d
d

par
impar

La funcin de transferencia T(D) nos dice:

D6:

Hay un nico camino con distancia d=6 al camino nulo, que empieza y termina en el

mismo nodo (por tanto el camino se junta con la secuencia todo ceros). Vemos que es el camino
verde en lnea continua acbe. No hay ningn otro camino del nodo a al e con d=6.

2D8:

Hay 2 caminos con distancia d=8 del nodo a al nodo e. Se ve que son los caminos en

azul acdbe y acbcbe.

4D10: Hay 4 caminos con distancia d=10 de a a e.

etc...

Fig. 5.9. Diagrama de Trellis correspondiente al codificador convolucional de la Fig. 5.2. en el que
se muestran los posibles caminos.

1-8

La mnima distancia del cdigo se llama Distancia Libre Mnima dfree. En nuestro ejemplo

dfree=6
Mediante este parmetro tambin se puede definir la GANANCIA DEL CDIGO Gc:

Gc=10 log(dfreeRc)
La funcin de transferencia puede darnos ms informacin. Supongamos que introducimos un
factor N en todas las transiciones o ramas causadas por la entrada de un 1. As segn se hacen
transiciones entre estados, el exponente de N crece slo si la transicin ha sido causada por un 1
(ver Fig. 5.10. ).
Por otro lado, adicionalmente introducimos un factor J en cada rama del diagrama de estados, de
forma que el exponente de J servir para contar el nmero de ramas en un camino desde a hasta
e. El resultado se muestra en la figura Fig. 5.10. .

Fig. 5.10. Diagrama de estados del codificador convolucional de la Fig. 5.2. en que se han
etiquetado las distancias de Hamming a la secuencia 000 (D), el factor N cuando la transicin ha
sido causada por un 1 de entrada, y el factor J en cada transicin.
Las ecuaciones que se obtienen ahora para la funcin de transferencia son:

X c = JND 3 X a + JNDX b
X b = JDX c + JDX d
X d = JND 2 X c + JND 2 X d
X e = JD 2 X b
Resolviendo estas ecuaciones para

Xe
se obtiene la funcin de transferencia:
Xa

1-9

T ( D, N , J ) =

J 3 ND 6
1 JND 2 (1 + J )

= J 3 ND 6 + J 4 N 2 D8 + J 5 N 2 D8 + J 5 N 3D10 + 2 J 6 N 3 D10 + J 7 N 3D10 + ....

El primer trmino J 3 ND 6 indica que hay un camino que se rene con la secuencia todo ceros por
primera vez con distancia d=6 de longitud 3 ramas y de los 3 bits de informacin uno es un 1. Los
trminos J 4 N 2 D 8 y

J 5 N 2 D 8 corresponden a caminos que se renen con la secuencia todo

ceros con distancia d=8. El primero es de longitud 4 ramas y el segundo de 5 ramas, y en ambos
dos de los bits de informacin son 1.
As:
-

el exponente de J indica la longitud del camino que se rene por primera vez con la
secuencia todo ceros.

el exponente de N indica el nmero de 1s en la secuencia de informacin.

el exponente de D la distancia a la secuencia todo ceros.

Hasta ahora hemos considerado nicamente cdigos de entrada y de salida binarios. Si los cdigos
considerados no son binarios, el diagrama de estados y por tanto la funcin de transferencia que se
obtienen para un mismo codificador convolucional son diferentes de los obtenidos considerando
cdigo binario.

1.3
DECODIFICACIN PTIMA DE CDIGOS
CONVOLUCIONALES
Consideremos ahora el proceso de transmisin de una secuencia de bits:

y
DEM

DECOD

El modulador puede ser cualquiera. Podemos por ejemplo suponer que se trata de un sistema
binario polar banda base PSK que en el detector, recupera los valores de los smbolos +1 -1
(correspondientes a los bits 1 y 0).
1-10

En una decodificacin bit a bit, para estimar el valor del smbolo transmitido, analizamos las
probabilidades P(y/1) (Probabilidad de obtener el valor y cuando el smbolo transmitido ha sido
el 1, y P(y/0), y elegiremos el smbolo que tenga mayor probabilidad. Es decir, la mtrica
utilizada para la decodificacin es la medida P(y/ak).
Cuando empleamos un codificador convolucional, no decidiremos el valor de un nico bit recibido,
sino que tomaremos la decisin sobre toda una secuencia de bits. Las secuencias completas deben
comenzar y terminar en el camino nulo (el camino de la secuencia todo ceros). La secuencia final
ser el resultado de recorrer B tramas en el trellis sobre un camino r, sobre el cual calcularemos la
mtrica:

r =

rj
j =1

n
r rr
en donde j = log P (Y j / C j ) = log P ( y jm / C rjm )
m =1

siendo Y j ={yj1, yj2 ... yjm} es el vector de datos recibido en la rama j-sima, y C j ={cj1, cj2 ...

cjm} es el vector de datos codificados transmitidos.

El clculo de P ( y jm / C jm ) depende de si el sistema toma decisiones duras (Hard-Decision) o
blandas (Soft-Decision). Estudiaremos ambos casos por separado.
1.3.1

HARD DECISION

En un sistema de este tipo, primero se decide sobre el dato recibido de forma individual para cada
bit, y posteriormente se evala la mtrica. Llamando C jm al dato decidido por el sistema, la
probabilidad p de cometer un error sobre este bit de forma individual, depende del sistema en
estudio. Por ejemplo, en un sistema Unipolar

2 Eb
p = Q
N0

Eb
y en un sistema Polar
p = Q

N0

As:

P ( y jm / C jm ) = p

si C jm C jm
1-11

P ( y jm / C jm ) = 1 p

si C jm = C jm

Ejemplo
Vamos a realizar el clculo de la mtrica para el codificador convolucional de la figura Fig. 5.2.
cuyo diagrama de Trellis se muestra en la figura Fig. 5.9..Supongamos que a la salida del

demodulador obtenemos la secuencia Y ={yjm}

yjm

j=1

j=2

j=3

101

000

100

La mtrica asociada a los posibles caminos de longitud 3 ser:

r =

log[P( y j1 / C j1 ) P( y j 2 / C j 2 ) P( y j3 / C j3 )]
3

j =1

y elegiremos aquel camino r que tenga la mayor mtrica r (el camino con mayor probabilidad).
La calculamos para cada uno de los posibles caminos de longitud 3. Comenzando por la secuencia
000 000 000:

0 = log[ p(1 p) p ] + log(1 p )3 + log p(1 p) 2 = 3 log p + 6 log(1 p)

Ntese que el coeficiente de log(p) es el nmero de errores, y el de log(1-p) el nmero de aciertos
en la secuencia completa. Siendo log(p) una funcin creciente, y teniendo en cuenta que p es la
probabilidad de error y que sta ser siempre p<0.5, y por tanto (1-p)>0.5, y logp < log (1-p). La
figura Fig. 5. 11. muestra cmo la mtrica utilizada es una funcin creciente con el nmero de
aciertos N. Por eso, una medida equivalente es la seleccin de la secuencia con la menor distancia
de Hamming.

1-12

N
2

-2.5
-5
-7.5
-10
-12.5
-15
-17.5

Fig. 5. 11. Mtrica en funcin del nmero de bits correctos N, calculada para p=0.01.
El otro camino completo (que empieza y termina en la secuencia nula) de longitud 3 es el camino
que genera la secuencia 111 001 011:

1 = 5 log p + 4 log(1 p)
La Tabla 1-1 muestra los resultados de realizar el clculo de las mtricas r para los 7 caminos
posibles de longitud 3, que seran las mtricas intermedias obtenidas para una secuencia ms larga
cuando el trayecto ha recorrido 3 ramas.

0.1 -0.3 -0.4

000

100

000

000

000

3 log p + 6 log(1 p)

r=1

111

001

011

5 log p + 4 log(1 p)

r=2

111

001

100

2 log p + 7 log(1 p )

r=3

111

110

010

5 log p + 4 log(1 p)

r=4

111

110

101

5 log p + 4 log(1 p)

r=5

000

111

001

7 log p + 2 log(1 p )

r=6

000

111

110

7 log p + 2 log(1 p )

yjm

0.5 -0.7 0.7

Cjm

101

r=0

-0.8 -0.9 -0.2

Tabla 1-1 Resultados de las mtricas para los caminos del trellis de la Fig. 5.9.

1-13

Si la transmisin correspondiera a la secuencia completa, la secuencia seleccionada correspondera

al camino r=1. Si es una transmisin parcial, en la tercera etapa, la mejor secuencia hasta ese estado
sera la correspondiente al camino r=2.
1.3.2

SOFT-DECISION

En estos sistemas no se realiza la deteccin independiente de cada smbolo, sino que se realiza la
estimacin sobre toda la secuencia completa de datos recibidos yjm.
Consideremos un sistema binario, en donde los smbolos se transmiten con amplitudes

a jm = A(2C jm 1) . El valor recibido y jm = a jm + n en donde n es el ruido gausiano

introducido por el sistema. La probabilidad de recibir el valor yjm cuando el smbolo transmitido ha
sido el Cjm ser:

y A(2C 1) 2
jm
jm

exp
P ( y jm / C jm ) =
2

2 n
2 n

La probabilidad asociada a la rama j-sima:

y jm A(2C jm 1) 2

n
1
m =1

Pj = log P( y jm / C jm ) = log
exp
=
2
2

2 n
m =1
n

1
= y jm A(2C jm 1)
log(e) + log

2 n2
2 n2
m =1
n

La probabilidad para todo el trayecto resultar de sumar las probabilidades Pj de cada una de las

1
log(e) afectarn de igual forma a
y el factor
2
2 n2
2 n

tramas del trayecto. El sumando log

todas las ramas, y tambin a todos los caminos. Por tanto no aportan nada en el cmputo de la
mtrica.
Desarrollando el trmino restante:

1-14

[y jm A(2C jm 1)]2 = y 2jm + [A(2C jm 1)]2 2 y jm A(2C jm 1)

n

j =1 m =1

j =1m =1

m =1

m =1

y 2jm afecta a todos los caminos por igual, y por tanto puede eliminarse del

El trmino

j =1m =1

cmputo. Lo mismo ocurre con el segundo sumando,

A2 (2C jm 1) 2 ya

que

j =1m =1

(2C jm 1) 2 = 1 independiente por tanto del smbolo transmitido. As, para la comparacin de la
mtrica obtenida en cada uno de los caminos nicamente queda:

r =

y jm (2C rjm 1)
j =1m =1

y seleccionaremos el camino r que tenga la mayor mtrica r (mayor probabilidad).

Ejemplo
Vamos a realizar el clculo de las mtricas asociadas a los caminos del Trellis de la figura Fig. 5.9. ,
para una secuencia de datos recibida: {0.5 -0.7 0.7 -0.8 -0.9 -0.2 0.1 -0.3 -0.4} . Los resultados se
muestran en la Tabla 1-2.

yjm

0.5 -0.7 0.7

r=0

000

000

000

-1 -1 -1

-1 -1 -1

-1 -1 -1

111

001

011

+1 +1 +1

-1 -1 +1

-1 +1 +1

111

001

100

+1 +1 +1

-1 -1 +1

+1 -1 -1

111

110

010

+1 +1 +1

+1 +1 -1

-1 +1 -1

111

110

101

+1 +1 +1

+1 +1 -1

+1 -1 +1

000

111

001

-1 -1 -1

+1 +1 +1

-1 -1 +1

000

111

110

-1 -1 -1

+1 +1 +1

+1 +1 -1

r=1
r=2
r=3
r=4
r=5
r=6

-0.8 -0.9 -0.2

0.1 -0.3 -0.4

2
1.2
2.8
-1
-1
-2.6
-2.2
1-15

Tabla 1-2.- Mtricas asociadas a los caminos del Trellis de la Fig. 5.9. en un sistema con decisin blanda.

El resultado obtenido en nuestro ejemplo para ambos tipos de decodificacin (Hard y Soft) ha sido
el mismo. Sin embargo, por lo general, la decodificacin blanda proporcionar mejores resultados, a
coste de una mayor complejidad en el receptor.
1.3.3

ALGORITMO DE VITERBI

Consideremos el punto de la tercera etapa en el Trellis de la figura Fig. 5.9. y continuemos el

camino. Fijmonos en el estado a, al cual llegan los caminos r0(r=0) y r1(r=1). La siguiente rama
aadir la mima distancia al camino r0 que al camino r1. Como m0>m1, seguir sindolo en la
cuarta etapa y en el estado a. Esto implica que podemos descartar el camino r1 frente al r0. El
camino r0 correspondiente a la mejor mtrica en el nodo se conoce como Superviviente.
De la misma forma podemos proceder con el resto de nodos. Uno de los dos caminos que llegan al
estado b en la cuarta etapa podr ser eliminado en base a las mtricas correspondientes, y de forma
similar se puede proceder con los nodos correspondientes a los estados c y d.
Es decir, cuando se recibe y detecta una secuencia, se calculan las mtricas asociadas a cada nodo,
una para cada uno de los caminos que alcanzan el nodo. El valor de la mtrica asociada al camino r
obtenida en la etapa l para un cierto nodo tendr dos componentes:
-

un valor asociado a cada uno de los caminos que llegan hasta el nodo, igual a la mtrica
obtenida en la etapa anterior lr1 (mtrica acumulada hasta el estado anterior en el
camino r).

un valor correspondiente a la probabilidad de recibir esa secuencia de datos condicionado a

la transmisin de la secuencia asociada a la rama, rj , mtrica local asociada a la transicin
de la rama j.

El camino seleccionado en la etapa l para cada estado, ser aqul que haga mxima la mtrica
asociada al nodo, y el valor de sta ser:

l = max lr1 + rj
r

Esto se muestra esquemticamente en la figura Fig. 5. 12..

1-16

u0

u1

{(

)(

u = max u 0 + 0j , u1 + 1j

)}

0
j

1j

mtrica acumulada hasta el estado anterior

Fig. 5. 12. Seleccin del camino superviviente en un nodo.

El procedimiento descrito se repite para cada uno de los nodos del Trellis en cada etapa, y para
todas las etapas. De esta forma, slo uno de los caminos que alcanza cada nodo sobrevivir. Al final
de la transmisin, seleccionaremos el estado con la mxima mtrica, y podremos recuperar el
camino ptimo, es decir, la secuencia detectada.
El algoritmo de programacin dinmica descrito permite la seleccin del camino ptimo sin que sea
necesario el clculo exhaustivo de todos los caminos posibles, y reduce dramticamente la
complejidad del detector. Fue propuesto por primera vez por A. Viterbi en 1967 (ver Bibliografa).
La naturaleza ptima del algoritmo de Viterbi se deriva del Principio de optimalidad de Bellman,
aplicable en un problema de decisiones secuenciales en el que la funcin global de coste es la suma
de las funciones de coste en las transiciones entre estados intermedios. La idea bsica es que si un
camino es ptimo globalmente, tambin es ptimo en cualquier estado intermedio (ver figura Fig.
5. 13. ).

Fig. 5. 13. Principio de optimalidad: el mejor camino global es una extensin de caminos locales
ptimos.

1-17

Ejemplo:
Realizamos la planificacin de un viaje utilizando el principio de optimalidad. Con referencia al
mapa de la figura Fig. 5. 14. , supongamos que comenzamos el viaje en Zurich. Viajamos hacia el
Este y al final de la primera etapa podemos visitar Mosc o El Cairo. La siguiente parada puede ser
Tashkent o Delhi, etc.

Fig. 5. 14. Planificacin de un viaje siguiendo el principio de optimalidad.

A cada segmento de la ruta le asignamos una mtrica, por ejemplo, la capacidad adquisitiva en dicha
ciudad, o el precio del viaje entre las dos ciudades, la distancia entre las dos ciudades, el tiempo de
trnsito entre ellas o una combinacin de ellas. Una posibilidad para la planificacin es la bsqueda
exhaustiva entre todas las posibles rutas. Pero, supongamos que estamos en Hong-Kong. Hemos
podido llegar all desde Tashkent o desde Delhi. Uno de las dos posibilidades ser mejor que la otra
segn nuestro criterio de coste. Por tanto, para avanzar en nuestro camino, no ser necesario
conservar las dos rutas, sino tan solo la mejor de ellas, ya que si el camino ptimo pasa por HongKong, tambin es ptimo hasta Hong-Kong. Lo mismo ocurrir en Perth: podremos descartar una
de las dos rutas que llegan Perth. Si el camino ptimo pasa por Perth o por Hong-Kong, no lo
sabremos hasta que realizamos el clculo en la ltima etapa de la ruta, en el retorno a Zurich. En
esta ltima etapa, seleccionaremos la mejor ruta entre la que llega de Londres y la que llega de
Dakar, y volviendo hacia atrs de nuevo conoceremos la ruta ptima.

1-18

1.3.4

CARGA COMPUTACIONAL

Para un cdigo con k bits entrando simultneamente al codificador, y longitud restringida L, hay

2k(L-1) estados posibles. Ello requerir seguir la pista de 2k(L-1) caminos, y guardar la mtrica
k(L-1)

asociada a los 2

estados o nodos en cada etapa del Trellis. Adems, a cada nodo llegan 2

caminos para los que ser necesario calcular la mtrica. Por tanto, la carga computacional a realizar
en cada etapa del Trellis aumenta exponencialmente con k y con L.
1.3.5

RETARDO DE DECODIFICACIN

Si la secuencia transmitida es muy larga, el retardo de decodificacin ser tambin largo, y la

memoria necesaria para almacenar los caminos supervivientes crece tambin. Una solucin a este
problema es introducir una modificacin en el algoritmo, tomando decisiones intermedias, que
harn el algoritmo subptimo, pero mantendrn un retardo de decodificacin constante. La
modificacin consiste en retener en un momento determinado slo los smbolos ms recientes
recibidos. Cuando se recibe un nuevo smbolo, se toma una decisin definitiva sobre el smbolo
recibido ramas hacia atrs en el Trellis, en base a las mtricas supervivientes en esa etapa. Si es
suficientemente largo, con mucha probabilidad todas las secuencias supervivientes en la etapa t
nacen del mismo nodo de la etapa t-.
Experimentalmente se demuestra que si 5 L la degradacin del comportamiento en el algoritmo
con respecto al Viterbi ptimo es despreciable.

1.4

CLCULO DE LA PROBABILIDAD DE ERROR

1.4.1

PROBABILIDAD DE ERROR CON DECISIN BLANDA

En este apartado se va a analizar el comportamiento de la tasa de error del algoritmo de Viterbi en

un canal con ruido gausiano blanco aditivo con codificacin con decisin blanda.
En el anlisis de la probabilidad de error en los cdigos convolucionales se utiliza el hecho de que
los cdigos son lineales para simplificar los clculos y demostraciones. Es decir, suponemos que se
ha transmitido la secuencia todo ceros y calculamos la probabilidad de decidir a favor de otra
secuencia. As, se producirn errores cuando en un nodo el camino elegido se separe de la secuencia
nula. La probabilidad de error puede acotarse superiormente mediante la expresin:

Pe

P(cam.errneo)
cam.errneos

ya que pueden producirse solapamientos entre los caminos errneos.

1-19

La mtrica para elegir el camino ser la utilizada anteriormente:

r =

y jm (2C rjm 1)
j =1m =1

La mtrica asociada al camino nulo ( C 0jm

= 0 ) valdr: 0 =

y jm

j =1m =1

La mtrica asociada a cualquier otro camino (camino errneo) ser:

d =

y jm (2C djm 1)
j =1m =1

Cometeremos un error si ocurre que d > 0 , es decir si:

d 0 =

y jm 2C djm > 0
j =1m =1

Los bits de valor cero de la secuencia Cjm no contribuyen al clculo anterior. Por eso, si en la
secuencia Cjm hay d unos, podemos decir que la probabilidad de elegir un camino errneo
(probabilidad de que el camino se separe del camino nulo) con d bits errneos es la probabilidad de
que la suma de los valores recibidos para los d bits de valor 1 del camino sea positiva:

P(cam.errneo ) = P(d ) = P yl > 0

l =1

El dato recibido yl=al+n, es una v.a. gausiana, de media ym y varianza y. La variable aleatoria
suma y d =

yl ,

ser tambin gausiana, con media: d ym y varianza d y . Por tanto,

2

l =1

dy

m = Q d y m
P ( y d > 0) = Q
y
d y

1-20

As, en un sistema PSK binario,

ym

2Es

siendo Es la energa del smbolo. En nuestro caso,

dado que los datos estn codificados, la energa del smbolo ser: Ec =

k
Eb en donde Eb es la
n

energa del bit sin codificar. As, la probabilidad asociada al camino errneo con distancia de
Hamming d al camino nulo ser:

2 Ec d
Q

2 Eb kd
= Q

en donde b =

Eb

= Q 2 b Rc d

es la SNR por bit de informacin.

Hemos calculado la probabilidad asociada al camino errneo con distancia de Hamming d. La

probabilidad de error total deber considerar todos los posibles caminos errneos:

Pe

ad P(d )

d = d free

ad Q(

d = d free

2 b Rc d

en donde ad es el nmero de caminos con distancia d en el Trellis. Esta expresin ser una cota
superior de la probabilidad de error, ya que en general, se producirn superposiciones entre los
distintos caminos.
x2

1
Sabiendo que Q( x) < e 2 podemos poner:
2

Pe

d = d free

1
1
a d e b Rc d
ad D d
2
2
d = d free

D = e b Rc

1
T ( D) D = e b Rc
2

Esta expresin nos proporciona la probabilidad de error en la palabra cdigo. Un valor ms

interesante de obtener es la probabilidad de error por bit de informacin.
1.4.2

PROBABILIDAD DE ERROR POR BIT DE INFORMACIN

Como estamos comparando la secuencia detectada con la secuencia todo ceros, la secuencia de
informacin correcta ser la secuencia todo ceros, y se producir un error cuando se decodifique un
1. La probabilidad de error asociada a un camino dado con distancia de Hamming d al camino
1-21

de todo ceros se puede calcular como f (d )P (d ) , siendo f(d) el nmero de 1s en el camino con
distancia d, y por tanto el nmero de bits de informacin incorrectamente decodificados, y

P (d ) = Q 2 b Rc d es la probabilidad de encontrarnos en un camino errneo con distancia de

Hamming d.
Sumando para todos los caminos errneos posibles, obtendremos la probabilidad de error por bit
de informacin:

Pb

a d f (d ) P (d )
d = d free

La funcin de transferencia T(D,N) nos dice cuntos 1s de informacin hay en una determinada
secuencia con distancia al camino nulo d:

ad D d N f (d )

T ( D, N ) =

d = d free

en donde f(d) es el exponente de N en funcin de d. Derivando la funcin de transferencia y

evaluando el resultado en N=1:

dT ( D, N )
= a d D d f (d ) N f ( d ) 1
dN
d = d free

dT ( D, N )
dN

Pb

Pb

=
N =1

d = d free

ad f (d ) P(d ) =

d = d free

a d D d f (d ) =

d = d free

d P(d )

d Dd

d = d free

d = d free

con d = a d f (d )

d e b Rc d =
1
2

d Dd

d = d free

D = e b Rc

dT ( D, N )
dN
N =1, D = e b Rc
1.4.3

PROBABILIDAD DE ERROR PARA DECODIFICACIN MEDIANTE DECISIONES DURAS

El procedimiento seguido es similar al anterior, pero en este caso la mtrica utilizada es la distancia
de Hamming. Para la probabilidad de camino errneo se obtiene:
1-22

P(d ) (4 p (1 p) )d 2 y para la probabilidad de error Pe en la secuencia decodificada se obtiene:

Pe

ad [4 p(1 p)]d 2 = T ( D) D =

d = d free

4 p (1 p )

La probabilidad de error por bit de informacin:

Pb

d = d free

1.4.4

d P(d )

dT ( D, N )
dN
N =1, D = 4 p (1 p )

GANANCIA DE CODIFICACIN

Se define como la diferencia en dB en b necesaria para obtener la misma Pe con y sin codificacin.
Comparando las expresiones obtenidas para las probabilidades de error con y sin codificacin:
Para PSK sin codificacin Pe = Q( 2 b )
Con codificacin, en el mejor de los casos: Pec = Q ( 2 b d free Rc )
Y la ganancia de codificacin Asinttica (ya que expresa la mxima mejora):

Gc = 10 log(d free Rc )
1.4.5

OTROS EFECTOS A CONSIDERAR

Si en la transmisin se desea retardo de codificacin fijo, el camino va a ser truncado a una

determinada longitud. Esto deteriora el comportamiento del algoritmo.
Por otro lado, la cuantificacin de los valores obtenidos del demodulador (datos de entrada al
decodificador de Viterbi) introducir tambin degradacin en el comportamiento del sistema:

1.5
MODULACIN CODIFICADA PARA CANALES LIMITADOS
EN BANDA
El control de errores por codificacin implica un incremento del ancho de banda a cambio de una
reduccin en la relacin S/N requerida (Ganancia de Codificacin Gc). El ancho de banda se
incrementa (a igualdad de sistema de modulacin) por un factor de 1/Rc.

1-23

Desde otro punto de vista, Ungerboeck (1982) razonaba que el conjunto de smbolos del
modulador podra ser ampliado (con respecto al utilizado sin codificacin), manteniendo la
dimensionalidad por bit de informacin. Por ejemplo, supongamos que usamos un sistema que
empleando una modulacin (sin codificacin) PSK-4 (QPSK) consigue R/W=2 bits/seg/Hz para
una probabilidad de error Pb = 10 . Para esta probabilidad de error la relacin S/N por bit es b
-6

=10,5 dB. Podemos intentar reducir la relacin S/N necesaria utilizando seales codificadas pero
sin que aumente el ancho de banda. Si elegimos un cdigo con Rc = 2/3, debe ser acompaado de
un incremento en el nmero de smbolos, es decir, pasamos de 4 smbolos (2 bits/smbolo) a 8
smbolos (3 bits/smbolo). Este incremento en el nmero de smbolos requiere un aumento en b
de aproximadamente 4dB para mantener la Pb. Por tanto, para proporcionar un beneficio, la
ganancia de codificacin debe proporcionar esos 4dB.
Si los procesos de modulacin y codificacin se realizan por separado, se requieren cdigos muy
potentes, con L grande. Pero si la modulacin es parte integral del proceso de codificacin, y se
disea conjuntamente con el cdigo para incrementar la distancia Eucldea mnima entre pares de
seales codificadas, se alcanzan altos valores de ganancia de codificacin. La clave es disear
mtodos efectivos para mapear los bits codificados de la seal de manera que se maximice la
mnima distancia Eucldea entre los smbolos.
1.5.1

PARTICIN DE CONJUNTOS

Desarrollaremos este apartado utilizando algunos ejemplos.

Ejemplo 1.- Particin de la constelacin 8-PSK
Consideremos una constelacin 8-PSK como la de la figura Fig. 5. 15. Particionamos la
constelacin en subconjuntos en los cuales se incrementa sucesivamente la distancia Eucldea
mnima entre smbolos. En el espacio de las 8 seales los puntos estn situados sobre un crculo de
radio

E y tienen una distancia mnima de:

d 0 = 2 E sin

= 0.765 E . d 02 = 0.585E

En la primera particin, los 8 puntos se subdividen en 2 subconjuntos de 4 puntos cada uno, de

forma que la mnima distancia crece hasta:

d1 = 2 E

d12 = 2 E

1-24

En la siguiente particin, en la que obtenemos 4 subconjuntos de dos puntos cada uno, la mnima
distancia Eucldea aumenta a

d2 = 2 E

d 22 = 4 E

La secuencia de bits asignada a las ramas izquierda y derecha produce etiquetas de 3 bits para los
puntos de la constelacin. La asignacin de bits no es importante hasta el momento de construir el
codificador. Podemos ver la particin en la figura Fig. 5. 15.

Fig. 5. 15. Particin de la constelacin PSK-8

1-25

Ejemplo 2.- Particin de la constelacin 16-QAM

La estructura genrica de esta constelacin se conoce como Lattice Z2. En la figura Fig. 5.16. se
muestra la constelacin rectangular de 16 puntos. En primer lugar se divide en dos subconjuntos
asignando puntos alternados a cada uno de ellos. La distancia entre puntos de cada subconjunto se
va incrementando por

2 en cada particin, es decir, la distancia al cuadrado di2 se incrementa por

2.

d i2
di

4 E 8E 16 E 32 E

2 E 2 2E 4 E 4 2E

Fig. 5.16. Particin de una constelacin 16-QAM

En estos dos ejemplos se ha realizado una particin hasta el lmite, donde cada subconjunto
contiene slo un punto. En general esto puede no ser necesario. El grado en que se particiona la
seal depende de las caractersticas del cdigo. En general, el proceso de codificacin se lleva a
cabo como muestra la figura Fig. 5. 17. .

1-26

Fig. 5. 17. Estructura general de un modulador/codificador combinado.

Un grupo de m =k1 + k2 bits se separa en dos grupos de k1 y k2 bits. Los k1 bits se codifican en n
bits y los k2 restantes se dejan sin codificar. Los n bits codificados se usan para seleccionar uno de
n

los 2 posibles subconjuntos en las particiones, mientras que los otros k2 bits se utilizan para
seleccionar uno de los 2

k2

puntos de la seal en cada subconjunto. Si k2 = 0 los m bits de

informacin se codifican.
1.5.2

MODULACIN CODIFICADA TRELLIS

Consideremos el codificador de la figura Fig. 5. 18. El convolucionador tiene el diagrama de Trellis

de la figura Fig. 5.19. Este Trellis slo considera los bits de salida codificados c1 y c2. Para
considerar tambin el bit no codificado c3, en cada rama encontramos dos posibles caminos entre
dos estados, generados por la entrada k2 (bit c3). As se obtienen las ramas dobles que se muestran
en el trellis final de la figura Fig. 5. 20..

c1

k1

k2

c2
c3

Fig. 5. 18. Codificador convolucional 2/3

1-27

0/00

00
1/11

10

0/11
1/00

0/01

01
1/10
0/10
11
1/01

Fig. 5.19. Trellis de 4 estados correspondiente al codificador de la figura Fig. 5. 18. considerando
nicamente la entrada k1 y los bits codificados c1 yc2
0/000
00

0/001
1/111

1/110

0/111

0/110
10

1/000
1/100

1/001
0/011 0/010

01

1/100

0/100 0/101
11

1/010
1/011

Fig. 5. 20. Trellis de 4 estados correspondiente al codificador de la figura Fig. 5. 18.

En este caso, k1=1 y k2=1. Los n=2 bits codificados se utilizarn para seleccionar uno de los 4
subconjuntos {C0, C1, C2, C3} de las particiones de la constelacin 8-PSK de la figura Fig. 5. 15.
Cada uno de estos subconjuntos contiene 2 puntos de la constelacin. El mapeo de bits para este
caso se realiza como se muestra en la figura Fig. 5.21.

1-28

000
010

100

111

110

101

011
001

Fig. 5.21. Mapeo correspondiente al Trellis de la figura Fig. 5. 20.

Para comprender el mapeo realizado, vamos a calcular la ganancia obtenida a travs de esta
modulacin codificada.
Con el mapeo descrito, el trellis podemos representarlo como en la figura Fig. 5. 22.
C1

00
C3

C3

10

C1

C2

01
C0
C0
11
C2

Fig. 5. 22. Trellis de cuatro estados de la Fig. 5. 20.con el mapeo de bits de la figura Fig. 5.21.
Cada uno de los subconjuntos Ci contienen dos puntos de la constelacin: C1=(0,1), C3=(6,7)
C2=(2,3) y C0=(4,5) (expresados en octal). Los dos puntos dentro de un subconjunto estn
separados por una distancia d 2 = 2 E . En cada transicin entre estados encontramos por tanto
dos caminos paralelos, correspondientes a los dos puntos de la constelacin del subconjunto Ci,
con distancia Eucldea entre ellos de d 2 = 2 E .
Con objeto de calcular la ganancia de codificacin del sistema, analizamos los caminos que salen de
un estado y vuelven al mismo estado (Fig. 5. 23.) . Encontramos:
-caminos que van por las ramas paralelas, para los cuales la distancia Eucldea es siempre

d2 = 2 E
1-29

- caminos de longitud 3, cuya distancia al camino nulo vale:

d 2 = d 2 (C1 , C3 ) + d 2 (C2 , C1 ) + d 2 (C1 , C3 ) = d12 + d 02 + d12 = d 22 + d 02

Por tanto, la mnima distancia al camino nulo ser d 2 = 2 E . Esta distancia mnima en el cdigo
trellis se denomina Distancia Eucldea Libre, Dfed.
C1

C1

C1

00
C3

10

C3

C3
C1

C2

C2

01
C0
C0
11
C2

Fig. 5. 23. Caminos en el trellis de 4 estados.

Para realizar una comparacin, utilizamos como referencia una modulacin 4-PSK (ya que tenemos
dos bits de entrada, necesitaremos una modulacin con M=4 niveles). En 4-PSK sin codificacin,
emplearemos cualquiera de los subconjuntos B0 o B1 de la figura Fig. 5. 15. A esta modulacin, le
correspondera un diagrama trivial de un Trellis con un nico estado y 4 ramas en paralelo de
transicin entre estados, en las cuales se emitiran los simbolos D0, D2, D4 D6 (o bien D1, D3, D5
y D7) (ver Fig. 5. 24. ).
D0
D2
D4
D6

Fig. 5. 24. Trellis de un estado correspondiente a una modulacin 4-PSK sin codificar.
La distancia mnima en este caso sera d1 = 2 E .

Por lo tanto la ganancia lograda con la codificacin ser de 20 log

2 E
2E

= 3dB

1-30

El cdigo Trellis de 4 estados que hemos utilizado en nuestro ejemplo es ptimo porque
proporciona la mxima Distancia Eucldea libre. Pueden construirse muchos otros cdigos trellis de
4 estados, pero ninguna otra configuracin de 4 estados proporciona una Dfed mejor que la
estudiada.
La construccin del cdigo Trellis de 4 estados ptimo para los 8 puntos de la constelacin se ha
realizado siguiendo las siguientes reglas heursticas:
a) Las transiciones paralelas, cuando ocurren, se asignan a los puntos de la constelacin
separados por la mxima distancia eucldea.
b) A la transicin que se origina y termina en un estado dado, se le asignan los subconjuntos
(C0, C2) (C1, C3), que tienen mxima distancia d1 = 2 E .
c) Los puntos de la constelacin deben ocurrir con igual frecuencia.
Las reglas a) y b) garantizan que la distancia eucldea asociada a caminos simples y mltiples que
divergen de un estado y vuelven al mismo estado supera la distancia eucldea de 4-PSK sin
codificacin. La regla c) garantiza que el cdigo trellis tendr una estructura regular.
En el cdigo trellis de 4 estados estudiado la las transiciones paralelas estn separadas la distancia
eucldea d1 = 2 E , que es adems Dfed. Por tanto, la ganancia de codificacin de 3 dB est
limitada por la distancia de las transiciones paralelas. Se pueden conseguir ganancias mayores
utilizando cdigos trellis con ms estados, que permiten eliminar las transciones paralelas.
Por ejemplo, en la figura Fig. 5. 25. se muestra un cdigo para la constelacin 8-PSK. En este caso,
la distancia eucldea mnima es:

D 2fed = d 2 ( D6 , D0 ) + d 2 ( D5 , D0 ) + d 2 ( D2 , D0 ) = 2d12 + d 02 = 4.585E

que cuando se compara con 4PSK sin codificar representa una ganancia de 3.6dB.

1-31

Fig. 5. 25. Trellis 8PSK 8 estados

Podemos estimar la probabilidad de error utilizando el procedimiento utilizado para el clculo en

los cdigos convolucionales: calculamos la probabilidad de elegir un camino errneo y sumamos
para todos los posibles caminos errneos. Si la relacin SNR del sistema es suficientemente alta,
esta probabilidad estar dominada por los caminos que tengan distancia Dfed:

1-32

 D2

fed
Pe = N fed Q

en donde Nfed es el nmero de secuencias con distancia Dfed que se separan de un estado y vuelven
al mismo.
Adems de las modulaciones PSK codificadas trellis vistas aqu, se han desarrollando potentes
cdigos para modulaciones PAM y QAM.

1.6

EJERCICIOS

1.6.1

PROBLEMA 1

Un canal con interferencia entre smbolos puede verse como una secuencia generada por registros
de desplazamiento. Suponga un canal con una respuesta como la mostrada en la figura 1,
introduciendo por tanto interferencia entre smbolos. Suponemos entradas binarias (Ak=0,1) de
forma que tenemos dos estados, correspondientes a los dos posibles valores de Ak-1.

Ak

Z-1

0.5
nk

+
sk

yk

a) Dibuja el diagrama de estados correspondiente. Etiqueta los arcos (las flechas de transiciones
entre estados) indicando el valor de la entrada Ak y el valor correspondiente de la salida Sk.
b) Dibuja el diagrama de Trellis asociado.
c) Tomando como mtrica la distancia Eucldea |yk-sk|2 emplea el algoritmo de Viterbi para
calcular la secuencia detectada si los datos recibidos son yk=(0.2, 0.6, 0.9, 0.1).
d) Compara el resultado anterior con la decisin de un detector por umbral. Comenta los
resultados.
1.6.2

PROBLEMA 2

Considere el codificador convolucional 1/2 de la figura:

1-33

c1

k1

c2

a) Cul es su longitud restringida L?

b) Dibuje el diagrama de estados
c) Dibuje el diagrama de Trellis
d) Cuanto vale la distancia libre del cdigo dfree?
e) Suponga que el codificador genera la secuencia todo ceros y sta se transmite a travs de un canal
binario simtrico, y se recibe la secuencia 0100010000 ...es decir, se producen errores en la
transmisin. Demuestre empleando el algoritmo de Viterbi que el cdigo es capaz de corregir
dichos errores.
f) Suponiendo de nuevo la transmisin de la secuencia todo ceros, cuantos errores prximos es
capaz de corregir este codificador? Justifique su respuesta.
1.6.3

PROBLEMA 3

La figura muestra un convolucionador binario de dos etapas.

a) Dibuja el el rbol, el diagrama de Trellis y el diagrama de estados que le corresponden.
b) Calcula la funcin de transferencia T(D, N, J). Explica cmo lo haces.
c) A partir del resultado anterior, cul es la distancia libre del cdigo? Qu ms informacin
puedes extraer de dicha funcin de transferencia?

1-34

1.7

BIBLIOGRAFA

John G. Proakis, Digital Communications, McGraw-Hill, 3rd ed., 1995

A. J. Viterbi, Error Bounds for Convolutional Codes and an Asymptotically Optimum Decoding
Algorithm, IEEE Trans. On Information Theory, IT-13, pp. 260-269 (April 1967)
Ungerboeck, G. (1982) Channel Coding with Multilevel/Phase Signals IEEE Trans. On
Information Theory, Vol I.T.28, pp. 55-67, (January 1982).

1-35