REPORTE DE INVESTIGACION. TEMA Estudio del algoritmo de Viterbi para decodificación basado en la minimización de la probabilidad de error de palabra

Documentos relacionados
CAPÍTULO I. Conceptos Básicos de Estadística

R. Urbán Introducción a los métodos cuantitativos. Notas de clase Sucesiones y series.

Notas de Teórico. Sistemas de Numeración

Métodos Numéricos (SC 854) Ajuste a curvas. 2. Ajuste a un polinomio mediante mínimos cuadrados

De esta forma, el problema de encontrar la mejor recta se concentra en calcular los valores de la pendiente (m) y de la ordenada al origen (b)

Listado para la Evaluación 2 Cálculo II (527148)

Matemáticas Discretas Inducción y Recursión

Ejercicio 1. Calcule y grafique la densidad espectral de potencia de la salida del filtro y el valor de potencia total. Ejercicio 2.

UNIVERSIDAD DE ATACAMA

Polinomio de una sola variable. , llamaremos polinomio de la variable x a toda expresión algebraica entera de la forma:

Guía Semana 9 1. RESUMEN. Universidad de Chile. Ingeniería Matemática

Sumatoria, Progresiones y Teorema del Binomio

3 LÍMITE Ejercicios Resueltos

Unidad 1: Las Ecuaciones Diferenciales y Sus Soluciones

Una sucesión es un conjunto infinito de números ordenados de tal forma que se puede decir cuál es el primero, cuál el segundo, el tercero, etc.

Transformada Z. Ejemplos. Ejemplos de cálculo [ ] = [ ] ( ) ( ) 1. Transformada Z. α = α α α si α. α α α

M arcelo, de vez en vez, usa una reata de 10 m de largo y 2 cm de grueso para

Estadística Aplicada a las ciencias Sociales Examen Febrero de 2008 segunda semana

CS. de la COMPUTACION II 1 VERIFICACION DE PROGRAMAS

a = n Clase 11 Tema: Radicación en los números reales Matemáticas 9 Bimestre: I Número de clase: 11 Esta clase tiene video

Medidas de Tendencia Central

1. Secuencia Impulso unitario (función Kroëneker) 1, n = n 0. (n) = = {... 0, 0, (1), 0, 0,... }

Álgebra I Práctica 2 - Números naturales e inducción

TRABAJO DE GRUPO Series de potencias


f x dx F b F a f x dx F x C f, g f x g x dx g x

Métodos Numéricos. La solución es una relación funcional entre dos variables. No todas las ecuaciones diferenciales tienen solución analítica.

Tema 2: Diagonalización de matrices cuadradas

TRABAJO PRÁCTICO N O 1. SÍNTESIS DE SEÑALES Y ANÁLISIS DE SISTEMAS

Prácticas de Matemáticas I y Matemáticas II con DERIVE-5 138

TRANSFORMADA RAPIDA DE FOURIER (FFT)

Cálculo. 1 de septiembre de Cuestiones

Sistemas de Ecuaciones Lineales. M. en I. Gerardo Avilés Rosas

- A h h+1 n-1 n

[e j N 2 e j N 2 ]...} (22)

Universidad Antonio Nariño Matemáticas Especiales

Trabajo Práctico Nro. 9 ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES Y SERIES DE FOURIER

4.- Aproximación Funcional e Interpolación

Capítulo II ASPECTOS GENERALES DE LAS ECUACIONES DIFERENCIALES

Ejercicios de preparación para olimpiadas. Funciones

Prácticas de Matemáticas I y Matemáticas II con DERIVE 136

Curso: 3 E.M. ALGEBRA 8

Estimadores Puntuales: Propiedades de estimadores Sebastián Court

Desigualdad entre las medias Aritmética y Geométrica

Algoritmos y Estructuras de Datos II, Segundo del Grado de Ingeniería Informática, Test de Análisis de Algoritmos, marzo Test jueves.

b) Encontrar: τ o σ ; π o σ ; σ y τ. 2. Usar la definición de determinante para encontrar: 4. Calcular los determinantes de las siguientes matrices:

Cálculo I (Grado en Ingeniería Informática) Examen final, enero de 2014

2 Conceptos básicos y planteamiento

Nota: Los coeficientes de los términos equidistantes son b. Contado de derecha a izquierda: iguales. + 1 (x + a) 0 1 (x + a) 1 1 1

Coeficientes binomiales

PyE_ EF2_TIPO1_

DISTRIBUCIONES DE PROBABILIDAD.- DISTRIBUCIÓN BINOMIAL (BERNOULLI) DISTRIBUCIÓN NORMAL (GAUSS)

Series de potencias Introducción. Temas Series de potencias. Intervalo y radio de convergencia de una serie de potencias.

ANEXO B. Se define como Regresión al estudio de la fuerza, consistencia o grado de asociación de la

Apellidos y Nombre: Aproximación lineal. dy f x dx

EJERCICIOS DE RECURRENCIA

INECUACIONES. Ejemplo: La desigualdad 2x+l>x+5, es una inecuación por que tiene una incógnita "x" que se verifica para valores mayores que 4.

ECUACIONES DIFERENCIALES (0256)

Límites en el infinito y límites infinitos de funciones.

INFERENCIA ESTADÍSTICA CONCEPTOS BÁSICOS

Series de números reales

Preguntas más Frecuentes: Tema 2

LECTURA 5 TRANSFORMADA RÁPIDA DE FOURIER FFT

SESIÓN 8 DESCRIPCIONES DE UNA RELACIÓN

Prueba Integral Lapso / Área de Matemática Fecha: MODELO DE RESPUESTA (Objetivos del 01 al 11)

MATEMÁTICA LIC. Y PROF. EN CS. BIOLÓGICAS

EJERCICIOS DE SERIES DE FUNCIONES

Convolución. Dr. Luis Javier Morales Mendoza. Procesamiento Digital de Señales Departamento de Maestría DICIS - UG

Arquitectura de un decodificador convolucional a partir del algoritmo de Viterbi

ANÁLISIS MATEMÁTICO I - EXAMEN FINAL - 16 de julio de 2015 APELLIDO Y NOMBRE:... CORRIGIÓ:...REVISÓ:...

Laboratorio N 10, Series de Fourier. Introducción. Para funciones ( ) cos. f x está definida en la mitad del intervalo

4.4 Sistemas mal condicionados

GUIA DE ESTUDIO Nro 1

MINITAB y MODELOS DE REGRESIÓN

FUNCIONES. ( a) IGUALDAD DE FUNCIONES Sí y son dos funciones, diremos que las funciones f y

6.3. Uso de la SVD para determinar la estructura de una matriz. Primero definiremos algunas características de matrices.

Estadística Descriptiva

Cód. Carrera: Área de Matemática Fecha: MODELO DE RESPUESTAS Objetivos 1 al 11.

SUCESIÓN. La colección de números que definen a una sucesión permite clasificar a éstas en:

IES IGNACIO ALDECOA 1 AMPLIACIÓN DE MATEMÁTICAS 4º ESO CURSO 10/11

LÍMITES DE FUNCIONES REALES CON TENDENCIA A REAL

Sucesiones de números reales

INTERÉS SIMPLE COMO FUNCIÓN LINEAL.

una sucesión de funciones de A. Formemos una nueva sucesión de funciones {S n } n=1 de A de la forma siguiente:

CUADRATURA GAUSSIANA

MATEMÁTICAS 3º ESO - SUCESIONES. Una sucesión es un conjunto de números dados ordenadamente de modo que se puedan numerar: primero, segundo, tercero

Quadern d activitats de filtres digitals

Capítulo III Teoría de grupos

INTRODUCCIÓN A LA PROBABILIDAD

Sesión 8 Series numéricas III

Determinantes. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

Estado gaseoso. Mezclas de gases ideales presión parcial de un gas en una mezcla de gases ideales ley de Dalton

UNIVERSIDAD TECNOLÓGICA DE PEREIRA FACULTAD DE INGENIERIA INDUSTRIAL

Olimpiada Nacional de Matemática 2018 Fase Final - Nivel U. Soluciones

UNIDAD 4 MODELOS PROBABILÍSTICOS

UNIDAD 9. PROBABILIDAD Matemáticas II. Ies do Barral.Curso 2017/ Experimentos aleatorios

(Use el Criterio de la Integral) (Diga Si es Condicional o. absolutamente convergente)

Transcripción:

REPORTE DE INVESTIGACION TEMA Estudio del algoritmo de Viterbi para decodificació basado e la miimizació de la probabilidad de error de palabra MARIBELL SACANAMBOY FRANCO Departameto de Ciecias e Igeiería de la Computació PONTIFICIA UNIVERSIDAD JAVERIANA CALI

E este reporte se preseta el estudio de uo de los algoritmos más usados e la decodificació, para u sistema de comuicació, basado e la miimizació de la probabilidad de error de palabra. Ates de revisar el algoritmo de Viterbi e la decodificació, se debe eteder que el codificador usado es basado e códigos covolucioales. U código covolucioal es u código de correcció de errores, e el cual por cada secuecia de m bits de etrada los codifica e bits símbolos de salida. La relació de m/ es defiida como la tasa de código. U código covolucioal es caracterizado por ua fució de codificació G(x), dada ua secuecia m(x) de etrada geera ua secuecia de salida U(x), dode U(x) se le deomia secuecia de codewords y está e fució del producto de G(x) y de m(x) de la siguiete maera: U x =m x G x Detro de las represetacioes que más se usa e u código covolucioal, está la de poliomios geeradores, la del diagrama de estados y diagrama de trellis. Algoritmo basado e la miimizació de la probabilidad de error de palabra Algoritmo de Viterbi se cosidera u algoritmo de máxima certeza (Maximum likelihood) y altamete paralelizable, y cosiste e determiar el camio más óptimo expresado como la escogecia del codeword co la métrica de máxima certeza o la escogecia del codeword co la métrica de míima distacia, este algoritmo toma vetaja de la estructura espacial del diagrama de trellis. Para hallar el camio más óptimo compara e cada tiempo t i la señal recibida o codeword co todos los camios del trellis que etra a cada estado e el tiempo t i y elimia los camios que o so posibles cadidatos para la escogecia de la máxima certeza; la comparació de la señal recibida frete a la establecida del trellis se hace por medio del cálculo de la distacia hammig (Número de posicioes e las cuales difiere dos codewords) para decisioes duras y para decisioes suaves la distacia euclidiaa la cual se defie a cotiuació. Los vectores de los codewords para decisioes suaves se represeta por úmeros reales, etoces la diferecia etre estos codewords se determia por la diferecia etre los elemetos de cada codeword al cuadrado. Codewords X =[ x, x, x, x... x L ], Y=[ y, y, y, y... y L ] etoces la distacia euclidiaa esta dada por de ( X,Y ) = ( X Y ) +( X Y ) +...( X L Y L ) ()

A la distacia hammig o euclidiaa se le llama métrica de rama (λ). Para dos camios que etra al mismo estado e el tiempo t i se escoge el de mejor métrica de distacia acumulada, la cual es calculada por medio de la métrica del estado e el tiempo t i más la métrica de rama (λ), la métrica acumulada o de estado se expresa como: μ ti = μ ti +λ () Después de teer las dos métricas de distacia acumulada del camio j y k, se escoge la métrica de meor distacia o peso para el caso de decisió dura ti =mi[ jti, kti ],y para el caso de decisió suave se escoge la métrica de mayor peso ti =max[ jti, kti ] ; al camio elegido se le llama camio sobreviviete m k y a la métrica del camio gaador se le llama métrica de estado e el tiempo t i y esto se hace para todos los estados, el decodificador cotiua así avazado por el trellis elimiado y escogiedo el camio más probable. Para determiar la probabilidad de error para u caal biario simétrico (BSC) y u caal AWGN trabajado co el algoritmo de Viterbi se debe hacer dos suposicioes, la primera es que todos los posibles codewords so igualmete probables y la seguda es que la probabilidad de error debe ser idepediete de la secuecia trasmitida, de la seguda suposició se deriva que se debe trabajar co caales si memoria, e los cuales el ruido afecta a los símbolos de maera idepediete co respecto a los símbolos ateriores. E u caal si memoria la probabilidad codicioal o fució de certeza (likelihood) está dada por lo p ( y x ) = p( y siguiete: k x k ) all k (), dode y es la secuecia recibida y x es la secuecia eviada. Para ecotrar el camio más probable o el de máxima certeza (Maximum likelihood) ó de la míima probabilidad de error, se debe maximizar la fució de certeza, computacioalmete es más coveiete usar el logaritmo de la fució de certeza.etoces la fució de logaritmo de certeza queda expresada como: Λ( X,Y ) = l p( y x)= l p( y k x k ) all k (4) La métrica para ua rama j está defiida como: = μ(x j, y j )=l p ( y j ) (5) Para vectores dimesioales co símbolos por rama se tiee que la métrica de la rama j es igual a : = l p( y j )= l p( y jk k ) (6) Ahora reemplazado la defiició de métrica de rama de la ecuació (5) e la ecuació (6) se obtiee la fució de logaritmo de certeza como la sumatoria de todas las métricas de la ramas. Λ( X,Y ) = μ( x j y k ) j=todas lasramas (7) Para obteer la fució de máxima certeza sólo se debe hallar el máximo de la fució logaritmo de

certeza (max Λ(x,y)). Trabajado sobre u caal simétrico biario, el cual sirve para represetar la decodificació de decisioes duras, es decir el decodifcador determia si la secuecia de bits recibida es cero o uo. Para este caso se tiee que la probabilidad de error de símbolo es p /. Dado ua secuecia biaria y recibida y ua secuecia biaria x trasmitida, para hallar la fució de máxima certeza segú la ecuació (7), basta co hallar la métrica de cada rama y hacer la sumatoria, etoces la métrica de rama para u caal BSC está dada e fució de la probabilidad de error y es igual a : =μ( x j, y j ) = l[ p dj ( p) dj ]=dj l ( p + l( p) (8), p) dode es el tamaño de la secuecia recibida, dj es la distacia hamig etre x j y y j e la j-ésima rama, etoces dj=d x j, y j De acuerdo a la ecuació (7), la meta para u caal BSC es maximizar la suma de métricas de cada rama sobre el camio o trayectoria completa, para esto se adicioa ua costate arbitraria e cada rama y se escala el resultado e u úmero positivo arbitrario, además como la expresió l ( p < p ) para p / etoces se reemplaza la métrica μj por la métrica escalada μ j = d j = d ( x j, y j ) (9) Para hallar el camio de máxima certeza e u tiempo t i se compara las métricas de todos los estados e el tiempo t i y se escoge la métrica de meor peso y esta determia el camio de mayor probabilidad. Trabajado sobre u caal co ruido blaco gausiao aditivo, la secuecia y t = x t t de símbolos de salida correspode a la salida de este caal, dode x(t) es la secuecia origial trasmitida y (t) es la muestra de ruido AWGN. Para este caal se tiee ua secuecia trasmitida ormalizada x e + o - si el símbolo de código fue ó respectivamete, como (t) es ua variable aleatoria gausia, etoces para calcular la métrica de la rama segú la ecuació (6) se debe teer e cueta la fució de desidad de probabilidad. Así que la métrica par la rama j-ésima quede expresada de la siguiete forma: =l ( y j ) = l{e [ ( y jk Es X jk ) / I ] k= /(Π I (/ ) o ) } () Dode I es es la potecia del ruido y Es la eergía por símbolo de código, desarrollado la ecuació () se llega a la siguiete expresió: =l ( y j ) = / I [ ( y jk Es X jk ) ] l(π I o )/ () k= Al desarrollar el biomio y teiedo e cueta que x puede ser + o -, la ecuació () queda fialmete =l ( y j ) = / I [ ( y jk ) Es+ Es X jk y jk ] l(π I o )/ () k= k=

Escalado la ecuació () por I se llega a la siguiete métrica escalada: μ j = X jk y jk () k= E resume los pasos que se debe teer e cueta para la decodificació usado el algoritmo de Viterbi está dados e el siguiete gráfico. Cálculo de la Métrica de rama Distacia de Hammig e cada ti Cálculo de los camios sobrevivietes de meor peso Cálculo de la Métrica de estado e cada ti Decodificació e el t fial, selecció del camio gaador por medio de la métrica de estado de meor peso Figura. Diagrama de bloques Algoritmo Viterbi E el siguiete ejemplo se muestra el algoritmo de Viterbi para ua decodificació de u mesaje eviado por u codificador covolucioal de rata / y co M=, dode M es el úmero de registros de desplazamieto del codificador, y los poliomios geeradores g (x)= +x+x, g (x)= +x. C(x) m(x) Figura. Codificador Covolucioal C(x)

C o (x)=m(x)g (x) C (x)=m(x)g (x), dode m(x) es el mesaje de etrada al codificador. Si se tiee el siguiete mesaje m=, el mesaje codificado U se obtiee por medio de las ecuacioes C o y C. U= Si este mesaje codificado se trasmite por u caal biario, el decodificador recibe la siguiete secuecia Z=. E la figura se muestra el diagrama de estados para el codificador plateado e la figura. S / / / / S / / S / / S Figura. Diagrama de estados Otra forma de represetar el codificador covolucioal es el diagrama de trellis, e la figura 4 se muestra el diagrama. S S S S / / / / / / / / t= t= Figura 4. Diagrama de trellis para el codificador E la figura 5 se preseta el diagrama de trellis para el decodificador, co los valores de las ramas de acuerdo a la distacia de hammig.

S S S S Z= t= t= t= t= t=4 t=5 Figura 5. Diagrama de trellis para el decodificador E la figura 6 se muestra el cálculo de la métrica de estado, se tiee como codició iicial que el sistema iicia e el estado S y el valor de la métrica de estado es cero y e los demás estados es ifiito. S S S S t= t= t= t= += += S += S += += S += += S += Figura 6. Cálculo de métrica de estado Cotiuado co el cálculo de las métricas de estado, empieza aparecer los posibles camios de máxima certeza, e la figura 7 se observa los camios y métricas de estado que queda al fial. S S S S t= t= t= t= t=4 t=5 Figura 7. Camios y métricas de estado

Para la decodificació fial e t=5,se tiee e cueta cual estado es el de meor métrica y se sigue el camio hacia atrás. S S S S m= U= Z= t= t= t= t= t=4 t=5 Figura 8. Decodificació fial. Decodificació

Bibliografía Capítulo 7 del libro de B Sklar, "Digital Commuicatios Fudametals ad Applicatios",Pretice Hall, NewJersey,988. Capítulo 5 del libro de Adrew J. Viterbi, "CDMA Priciples of Spread Spectrum Commuicatio". Capítulo 6 del libro de Richard Wells "Applied Iformatio Teory ad Codig For Egieers".