Está en la página 1de 208

TEORA DE LA INFORMACIN Y

CODIFICACIN CDIGOS

CANTIDAD DE INFORMACIN.
ENTROPA.
ENTROPA CONDICIONADA.
CANTIDAD DE INFORMACIN ENTRE DOS VARIABLES.
LMITE DE NYQUIST.
LMITE DE SHANNON.
CONSECUENCIAS DE LOS LMITES.
TIPOS DE ERRORES.
DETECCIN DE ERRORES.
INTRODUCCIN A CDIGOS.
CDIGOS DETECTORES DE ERRORES.
DISTANCIA HAMMING Y DESCODIFICACIN POR DISTANCIA MNIMA.
CDIGOS PERFECTOS.
CDIGOS LINEALES.
MATRICES GENERATRICES Y MATRICES DE CONTROL - CDIGOS
CORRECTORES.
CDIGO DE HAMMING.
CDIGO DE GOLAY.
CDIGO DE REED-MULLER.
TEORA DE LA INFORMACIN - CDIGOS

CANTIDAD DE INFORMACIN

TEORA DE LA INFORMACIN - CDIGOS

CANTIDAD DE INFORMACIN

LA CANTIDAD DE INFORMACIN ES UNA MEDIDA DE LA


DISMINUCIN DE INCERTIDUMBRE ACERCA DE UN SUCESO:
EJ.: SI SE NOS DICE QUE EL NMERO QUE HA SALIDO EN UN
DADO ES MENOR QUE DOS, SE NOS DA MS INFORMACIN QUE
SI SE NOS DICE QUE EL NMERO QUE HA SALIDO ES PAR.
LA CANTIDAD DE INFORMACIN QUE SE OBTIENE AL CONOCER UN
HECHO ES DIRECTAMENTE PROPORCIONAL AL NMERO POSIBLE
DE ESTADOS QUE ESTE TENA A PRIORI:
SI INICIALMENTE SE TENAN DIEZ POSIBILIDADES, CONOCER
EL HECHO PROPORCIONA MS INFORMACIN QUE SI
INICIALMENTE SE TUVIERAN DOS.
EJ.: SUPONE MAYOR INFORMACIN CONOCER LOS NMEROS
GANADORES DEL PRXIMO SORTEO DE LA LOTERA, QUE
SABER SI UNA MONEDA LANZADA AL AIRE VA A CAER CON
LA CARA O LA CRUZ HACIA ARRIBA.

TEORA DE LA INFORMACIN - CDIGOS

CANTIDAD DE INFORMACIN

LA CANTIDAD DE INFORMACIN ES PROPORCIONAL A LA


PROBABILIDAD DE UN SUCESO:
SE
CONSIDERA LA DISMINUCIN DE INCERTIDUMBRE
PROPORCIONAL AL AUMENTO DE CERTEZA.
SI LA PROBABILIDAD DE UN ESTADO FUERA 1 (MXIMA):
LA CANTIDAD DE INFORMACIN QUE APORTA SERA 0.
SI LA PROBABILIDAD SE ACERCARA A 0:
LA CANTIDAD DE INFORMACIN TENDER A INFINITO: UN
SUCESO QUE NO PUEDE SUCEDER APORTAR UNA CANTIDAD
INFITA DE INFORMACIN SI LLEGARA A OCURRIR.
LA CANTIDAD I DE INFORMACIN CONTENIDA EN UN MENSAJE, ES
UN VALOR MATEMTICO MEDIBLE REFERIDO A LA PROBABILIDAD
p DE QUE UNA INFORMACIN EN EL MENSAJE SEA RECIBIDA,
ENTENDIENDO QUE EL VALOR MS ALTO SE LE ASIGNA AL
MENSAJE MENOS PROBABLE.
SEGN SHANNON:
TEORA DE LA INFORMACIN - CDIGOS

CANTIDAD DE INFORMACIN

EJ.: SE ARROJA UNA MONEDA AL AIRE; SE DEBE CALCULAR LA


CANTIDAD DE INFORMACIN CONTENIDA EN LOS MENSAJES CARA
O CRUZ SEPARADAMENTE:
I = log2 [(1/(1/2)] = log2 2 = 1.
I MANIFIESTA LA CANTIDAD DE SMBOLOS POSIBLES QUE
REPRESENTAN EL MENSAJE.
SI SE LANZARA UNA MONEDA TRES VECES SEGUIDAS, LOS
OCHO RESULTADOS (O MENSAJES) EQUIPROBABLES PUEDEN
SER:
000, 001, 010, 011, 100, 101, 110, 111.
LA p DE CADA MENSAJE ES DE 1/8, Y SU CANTIDAD DE
INFORMACIN ES:
I = log2 [1/(1/8)] = 3.

TEORA DE LA INFORMACIN - CDIGOS

CANTIDAD DE INFORMACIN

LA I DE LOS MENSAJES ES IGUAL A LA CANTIDAD DE BITS DE CADA


MENSAJE.
UNA NOTACIN SIMILAR ES LA SIGUIENTE.
SE EMPLEA UNA VARIABLE ALEATORIA V PARA REPRESENTAR LOS
POSIBLES SUCESOS QUE SE PUEDEN ENCONTRAR:
EL SUCESO i-SIMO SE DENOTA COMO xi.
P(xi) SER LA PROBABILIDAD ASOCIADA A DICHO SUCESO.
n SER EL NMERO DE SUCESOS POSIBLES.
LA CANTIDAD DE INFORMACIN SER:

TEORA DE LA INFORMACIN - CDIGOS

ENTROPA

TEORA DE LA INFORMACIN - CDIGOS

ENTROPA

LA SUMA PONDERADA DE LAS CANTIDADES DE INFORMACIN DE


TODOS LOS POSIBLES ESTADOS DE UNA VARIABLE ALEATORIA V
ES:

LA MAGNITUD H(V) SE CONOCE COMO LA ENTROPA DE LA


VARIABLE ALEATORIA V . SUS PROPIEDADES SON LAS SIGUIENTES:

TEORA DE LA INFORMACIN - CDIGOS

ENTROPA

LA ENTROPA ES PROPORCIONAL A LA LONGITUD MEDIA DE LOS


MENSAJES QUE SE NECESITAR PARA CODIFICAR UNA SERIE DE
VALORES DE V:
DE MANERA PTIMA DADO UN ALFABETO CUALQUIERA.
ESTO SIGNIFICA QUE CUANTO MS PROBABLE SEA UN VALOR
INDIVIDUAL,
APORTAR
MENOS
INFORMACIN
CUANDO
APAREZCA:
SE PODR CODIFICAR EMPLEANDO UN MENSAJE MS CORTO.
SI P(xi) = 1 NO SE NECESITARA NINGN MENSAJE: SE SABE DE
ANTEMANO QUE V VA A TOMAR EL VALOR xi.
SI P(xi) = 0,9 PARECE MS LGICO EMPLEAR:
MENSAJES CORTOS PARA REPRESENTAR EL SUCESO xi.
MENSAJES LARGOS PARA LOS xj RESTANTES: EL VALOR
QUE MS APARECER EN UNA SECUENCIA DE SUCESOS ES
PRECISAMENTE xi.
TEORA DE LA INFORMACIN - CDIGOS

ENTROPA

EJEMPLOS:
ENTROPA DE LA VARIABLE ALEATORIA ASOCIADA A LANZAR
UNA MONEDA AL AIRE:
H(M) = -(0,5 log2 (0,5) + 0,5 log2 (0,5)) = 1.
EL
SUCESO APORTA EXACTAMENTE UNA UNIDAD DE
INFORMACIN.
SI LA MONEDA EST TRUCADA (60% DE PROBABILIDADES PARA
CARA, 40% PARA CRUZ), SE TIENE:
H(M) = -(0,6 log2 (0,6) + 0,4 log2 (0,4)) = 0,970.
LA CANTIDAD DE INFORMACIN ASOCIADA AL SUCESO MS SIMPLE:
CONSTA
UNICAMENTE
DE
DOS
POSIBILIDADES
EQUIPROBABLES (CASO DE LA MONEDA SIN TRUCAR).
SER LA UNIDAD A LA HORA DE MEDIR ESTA MAGNITUD, Y SE
DENOMINAR BIT.

TEORA DE LA INFORMACIN - CDIGOS

10

ENTROPA

SE EMPLEAN LOGARITMOS BASE 2 PARA QUE LA CANTIDAD DE


INFORMACIN DEL SUCESO MS SIMPLE SEA IGUAL A 1.
LA ENTROPA DE UNA VARIABLE ALEATORIA ES EL NMERO MEDIO
DE BITS QUE SE NECESITARN PARA CODIFICAR C/U DE LOS
ESTADOS DE LA VARIABLE:
SE SUPONE QUE SE EXPRESA C/ SUCESO EMPLEANDO UN
MENSAJE ESCRITO EN UN ALFABETO BINARIO.
SI SE QUIERE REPRESENTAR LOS DIEZ DGITOS DECIMALES
USANDO SECUENCIAS DE BITS:
CON 3 BITS NO ES SUFICIENTE, SE NECESITA MS.
SI SE USAN 4 BITS TAL VEZ SEA DEMASIADO.
LA ENTROPA DE 10 SUCESOS EQUIPROBABLES ES:

TEORA DE LA INFORMACIN - CDIGOS

11

ENTROPA
EL VALOR CALCULADO ES EL LMITE TERICO, QUE
NORMALMENTE NO SE PUEDE ALCANZAR.
SE PUEDE DECIR QUE NO EXISTE NINGUNA CODIFICACIN QUE
EMPLEE LONGITUDES PROMEDIO DE MENSAJE INFERIORES AL
NMERO CALCULADO.
EL MTODO DE HUFFMAN PERMITE OBTENER CODIFICACIONES
BINARIAS QUE SE APROXIMAN BASTANTE AL PTIMO TERICO DE
UNA FORMA SENCILLA Y EFICIENTE.

TEORA DE LA INFORMACIN - CDIGOS

12

ENTROPA

LA ENTROPA H DE UN SISTEMA DE TRANSMISIN ES IGUAL A LA


CANTIDAD DE INFORMACIN MEDIA DE SUS MENSAJES, ES DECIR:
H = Imed.
SI EN UN CONJUNTO DE MENSAJES SUS PROBABILIDADES SON
IGUALES, LA ENTROPA TOTAL SER:
H = log2 N.
N ES EL NMERO DE MENSAJES POSIBLES EN EL CONJUNTO.
EJ.: SE TRANSMITEN MENSAJES BASADOS EN UN ABECEDARIO.
CUL SER LA ENTROPA?:
SE SUPONE QUE LAS COMBINACIONES SON ALEATORIAS Y LOS
MENSAJES SON EQUIPROBABLES.
LA CANTIDAD DE LETRAS ES 26.
LA CANTIDAD DE SIGNOS DE PUNTUACIN ES 5.
LA CANTIDAD DE SIGNOS ESPECIALES ES 1 (ESPACIO EN
BLANCO).
LA CANTIDAD TOTAL DE SMBOLOS ES ENTONCES 32.

TEORA DE LA INFORMACIN - CDIGOS

13

ENTROPA
LA ENTROPA SER:
H = log2 32 = 5.
DESDE LA PTICA BINARIA ESTO SIGNIFICA QUE SE NECESITAN
5 BITS PARA CODIFICAR CADA SMBOLO: 00000, 00001, 00010,
11111, ETC.:
ESTE RESULTADO COINCIDE CON LA RECPROCA DE LA
PROBABILIDAD p.
LA ENTROPA:
INDICA LA RECPROCA DE LA PROBABILIDAD DE OCURRENCIA.
PERMITE VER LA CANTIDAD DE BITS NECESARIOS PARA
REPRESENTAR EL MENSAJE QUE SE VA A TRANSMITIR.

TEORA DE LA INFORMACIN - CDIGOS

14

ENTROPA CONDICIONADA

TEORA DE LA INFORMACIN - CDIGOS

15

ENTROPA CONDICIONADA

SE SUPONE QUE TENEMOS UNA VARIABLE ALEATORIA


BIDIMENSIONAL (X,Y).
LAS DISTRIBUCIONES DE PROBABILIDAD MS USUALES QUE SE
PUEDEN DEFINIR SOBRE DICHA VARIABLE, TENIENDO n POSIBLES
CASOS PARA X Y m PARA Y SON:
DISTRIBUCIN CONJUNTA DE (X, Y):

DISTRIBUCIONES MARGINALES DE X E Y:

TEORA DE LA INFORMACIN - CDIGOS

16

ENTROPA CONDICIONADA

DISTRIBUCIONES CONDICIONALES DE X SOBRE Y Y VICEVERSA:

SE DEFINE LA ENTROPA DE LAS DISTRIBUCIONES COMO SIGUE:

TEORA DE LA INFORMACIN - CDIGOS

17

ENTROPA CONDICIONADA

HACIENDO LA SUMA PONDERADA DE LOS H(X/Y = yj) SE OBTIENE


LA EXPRESIN DE LA ENTROPA CONDICIONADA DE X SOBRE Y:

SE DEFINE LA LEY DE ENTROPAS TOTALES:

SI X E Y SON VARIABLES INDEPENDIENTES:

TEORA DE LA INFORMACIN - CDIGOS

18

CANTIDAD DE INFORMACIN ENTRE


DOS VARIABLES

TEORA DE LA INFORMACIN - CDIGOS

19

CANTIDAD DE INFORMACIN ENTRE


DOS VARIABLES

TEOREMA DE DISMINUCIN DE LA ENTROPA: LA ENTROPA DE


UNA VARIABLE X CONDICIONADA POR OTRA Y ES MENOR O IGUAL
A LA ENTROPA DE X:
LA IGUALDAD SE DA SI Y SLO SI LAS VARIABLES X E Y SON
INDEPENDIENTES.
IDEA INTUITIVA:
CONOCER ALGO ACERCA DE LA VARIABLE Y PUEDE QUE
AYUDE A SABER MS SOBRE X (ES UNA REDUCCIN DE SU
ENTROPA).
EN NINGN CASO PODR HACER QUE AUMENTE LA
INCERTIDUMBRE.
SHANNON PROPUSO UNA MEDIDA PARA LA CANTIDAD DE
INFORMACIN QUE APORTA SOBRE UNA VARIABLE EL
CONOCIMIENTO DE OTRA.

TEORA DE LA INFORMACIN - CDIGOS

20

CANTIDAD DE INFORMACIN ENTRE


DOS VARIABLES

SE DEFINE LA CANTIDAD DE INFORMACIN DE SHANNON QUE LA


VARIABLE X CONTIENE SOBRE Y COMO:

SIGNIFICA QUE LA CANTIDAD DE INFORMACIN QUE APORTA


EL HECHO DE CONOCER X AL MEDIR LA INCERTIDUMBRE
SOBRE Y ES IGUAL A LA DISMINUCIN DE ENTROPA QUE ESTE
CONOCIMIENTO CONLLEVA.
SUS PROPIEDADES SON LAS SIGUIENTES:

TEORA DE LA INFORMACIN - CDIGOS

21

LMITE DE NYQUIST

TEORA DE LA INFORMACIN - CDIGOS

22

LMITE DE NYQUIST

NYQUIST DEMOSTR LA EXISTENCIA DE UNA FRECUENCIA DE


MUESTREO LLAMADA FRECUENCIA DE NYQUIST, IGUAL CUANTO
MS AL DOBLE DE LA FRECUENCIA NATURAL DE ENTRADA (LA
FRECUENCIA DE LA SEAL QUE SE VA A MUESTREAR).
NYQUIST SOSTIENE QUE SI SE HACE UN MUESTREO CON UNA
FRECUENCIA SUPERIOR AL DOBLE:
LA INFORMACIN RECUPERADA ES REDUNDANTE.
ESTO SE DEBE INTERPRETAR COMO QUE LA CANTIDAD DE
INFORMACIN OBTENIDA AL RECUPERAR UN MENSAJE QUE SE
HA MUESTREADO A UNA FRECUENCIA MAYOR QUE EL DOBLE
DE LA NATURAL:
NO DIFIERE DE LA OBTENIDA CUANDO SE MUESTREA A
UNA FRECUENCIA DEL DOBLE DE LA NATURAL.

TEORA DE LA INFORMACIN - CDIGOS

23

LMITE DE NYQUIST

FN ES LA FRECUENCIA DE NYQUIST:
FN = 2 f.
UTILIZANDO EL PASABANDA PARA LOS CANALES DE
INFORMACIN:
FN 2 F.
NYQUIST ESTABLECI QUE:
SI LOS CANALES SON SIN RUIDO.
SI LAS SEALES SON BINARIAS CON UNA TRANSMISIN
MONONIVEL.
LA FN COINCIDE CON LA MXIMA VELOCIDAD BINARIA:
BPS 2 F.
ESTO ES UN LMITE FSICO.

TEORA DE LA INFORMACIN - CDIGOS

24

LMITE DE NYQUIST

ES POSIBLE SUPERAR ESTE MXIMO SI LA TRANSMISIN ES


MULTINIVEL:
POR C/ INSTANTE DE MUESTREO SE TRANSMITIR UN SMBOLO
QUE CONTIENE MS DE DOS BITS Y POR LO TANTO I > 1:
BPS 2 F log2 m.
m ES LA CANTIDAD DE NIVELES DE LA MODULACIN.
AS SE RELACIONA LA MXIMA VELOCIDAD BINARIA CON EL
ANCHO DE BANDA, LA CANTIDAD DE NIVELES Y LA ENTROPA.
A ESTA VELOCIDAD BINARIA SE LA DENOMINA LMITE DE NYQUIST:
BPS = 2 F H.

TEORA DE LA INFORMACIN - CDIGOS

25

LMITE DE NYQUIST

EJ.: EN UN CANAL DE TRANSMISIN SE USA UNA MODULACIN


64QAM Y ES DEL TIPO CANAL DE VOZ. CUL SER EL LMITE
DE NYQUIST?:
MODULACIN 64QAM: 64 NIVELES DE MODULACIN.
CANAL DE VOZ: 4 KHZ DE PASABANDA.
BPS = 2 F H = 2 x 4 x log2 64 = 8 x 6 = 48 KBPS.
NOTA: COMO LA FRECUENCIA EST EN KHZ, BPS EST EN
KBPS.
EL LMITE ES VLIDO EN CANALES SIN RUIDO.

TEORA DE LA INFORMACIN - CDIGOS

26

LMITE DE SHANNON

TEORA DE LA INFORMACIN - CDIGOS

27

LMITE DE SHANNON

UN CANAL NO IDEAL ES CONSIDERADO POR SHANNON COMO


RUIDOSO.
EJ.: RUIDO BASE EQUIPARTIDO EXISTENTE EN LOS CANALES DE
COBRE USADOS COMO CANALES DE VOZ:
COINCIDE EN GENERAL CON EL VALOR DE RUIDO TRMICO O
LO SUPERA.

TEORA DE LA INFORMACIN - CDIGOS

28

LMITE DE SHANNON

SEGN SHANNON EN ESTOS CANALES EXISTE UNA RELACIN


ENTRE:
LA CANTIDAD MXIMA DE NIVELES QUE EL CANAL PUEDE
ADMITIR.
LA RELACIN SEAL-A-RUIDO DEL MISMO, QUE EST DADO
POR:
mmax = (1 + S/N).
m ES LA CANTIDAD DE NIVELES.
S Y N SON LOS VALORES DE POTENCIA DE SEAL Y DE
POTENCIA DEL RUIDO EXPRESADOS EN UNIDADES DE
POTENCIA.
S/N ES LA RELACIN SEAL A RUIDO ADIMENSIONAL:
NO ES LA MEDIDA DECIBLICA DE LA GANANCIA O LA
PRDIDA.

TEORA DE LA INFORMACIN - CDIGOS

29

LMITE DE SHANNON

EL CANAL DEBER ESTAR SUJETO A RUIDO GAUSSIANO LIMITADO


EN BANDA: NO SE CONSIDERA LA PRESENCIA DE RUIDO
IMPULSIVO.
SE BUSCA LA CAPACIDAD MXIMA DEL CANAL:
SE DEBE MAXIMIZAR m EN EL LMITE DE NYQUIST:
mmax = (1 + S/N) .
BPS 2 F log2 m.
BPS = 2 F log2 (1 + S/N).
SIMPLIFICANDO LA ECUACIN ANTERIOR, SE OBTIENE LA
MXIMA VELOCIDAD DE TRANSMISIN EN FUNCIN DEL ANCHO DE
BANDA, LA POTENCIA DE LA SEAL Y LA DEL RUIDO GAUSSIANO:
BPS = F log2 (1 + S/N).
ES EL LLAMAMOS LMITE DE SHANNON DADO POR LA LEY DE
SHANNON-HARTLEY.

TEORA DE LA INFORMACIN - CDIGOS

30

CONSECUENCIAS DE LOS LMITES

TEORA DE LA INFORMACIN - CDIGOS

31

CONSECUENCIAS DE LOS LMITES

SE DEBE TENER PRESENTE LO SIGUIENTE:


EN EL CLCULO DEL LMITE INTERVIENE LA RELACIN DE LAS
RESPECTIVAS POTENCIAS EN UNIDADES DE POTENCIA:
S/N ES ADIMENSIONAL, ES DECIR EN VECES.
NO ES LA GANANCIA DEL CIRCUITO NI LA PRDIDA DEL MEDIO.
EN EL CANAL SE CONSIDERA EL RUIDO GAUSSIANO.
LA SOLA APLICACIN DE LA LEY DE SHANNON:
NO PERMITE DETERMINAR LA MXIMA VELOCIDAD DE UN
MODULADOR CUALQUIERA EN UN CANAL REAL.
SI PERMITE DETERMINAR LA MXIMA CAPACIDAD DEL CANAL.

TEORA DE LA INFORMACIN - CDIGOS

32

CONSECUENCIAS DE LOS LMITES

EJ.: SI UN CANAL TIENE UN ANCHO DE BANDA DE 2,7 KHZ Y LA


RELACIN ENTRE SEAL Y RUIDO ES S/N = 1000:
CUL SER EL LMITE DE SHANNON?.
CUNTOS ESTADOS DEBER MANEJAR EL MODULADOR?.
BPS = F log2 (1 + S/N) = 2700 log2 (1001) = 26900.
SEGN EL LMITE DE NYQUIST:
BPS = 2 F log2 m = 2 x 2700 x log2 m = 26900 BPS.
SE REQUERIR AL MENOS UN MODULADOR DE 32 ESTADOS
PARA ALCANZAR ESA TASA DE BITS EN UN CANAL CON ESE
ANCHO DE BANDA.
EL LMITE DE SHANNON IMPACTA SOBRE LAS TCNICAS DE
MODULACIN Y DE TRANSMISIN.

TEORA DE LA INFORMACIN - CDIGOS

33

CONSECUENCIAS DE LOS LMITES

ACTUALMENTE LAS REDES PBLICAS DE VOZ TIENEN UN VALOR


TPICO S/N DE 35 dB: UNA IMPORTANTE DIFICULTAD PARA
MEJORAR ESTE VALOR ES EL RUIDO DE CUANTIFICACIN.
EFECTO DEL RUIDO DE CUANTIZACIN:

TEORA DE LA INFORMACIN - CDIGOS

34

CONSECUENCIAS DE LOS LMITES

EL RUIDO DE CUANTIZACIN Nq O ERROR DE CUANTIZACIN:


SE PRODUCE EN EL CODEC, A LA ENTRADA DE LA RED
DIGITAL DESDE LA RED ANALGICA.
ES PROPORCIONAL A LA DIFERENCIA ENTRE EL VALOR DE LA
AMPLITUD EN LA ENTRADA Y EL VALOR DE LA AMPLITUD A LA
SALIDA DEL CUANTIFICADOR.
ES PRODUCTO DE LA NECESIDAD DE ENCAMINAR LAS SEALES
ANALGICAS DE LTIMA MILLA HACIA LAS REDES CONMUTADAS
DIGITALES.
SE CONOCE EL VALOR EN dB INDICADO DE 35 Db:
dB = 10 log10 (S/N).
EXPRESANDO S/N EN MODO ADIMENSIONAL EN FUNCIN DE Db:
S/N = 10dB/10.

TEORA DE LA INFORMACIN - CDIGOS

35

CONSECUENCIAS DE LOS LMITES

SUSTITUYENDO ESTE VALOR EN LA ECUACIN DEL LMITE DE


SHANNON:
bps = F log2 (1 + 10dB/10).
LA MXIMA VELOCIDAD EN BPS, SE LOGRA MULTIPLICANDO EL
ANCHO DE BANDA DEL CANAL POR EL log2 DE UNO MS DIEZ A LA
DCIMA PARTE DE LOS DECIBELES DE LA RED.
PARA UNA RED CON UN ANCHO DE BANDA ESTNDAR DE 3 KHZ, SE
OBSERVA QUE:
SI LA RED TIENE UNA RELACIN DE 35 DB:
BPS = 34.822 (34 KBPS).
SI LA RED EN CAMBIO MEJORA A 40 DB:
BPS = 39.839 (38,9 KBPS).

TEORA DE LA INFORMACIN - CDIGOS

36

TIPOS DE ERRORES

TEORA DE LA INFORMACIN - CDIGOS

37

TIPOS DE ERRORES

EN LOS SISTEMAS DE TRANSMISIN DIGITAL SE DICE QUE HA


HABIDO UN ERROR CUANDO SE ALTERA UN BIT.
EXISTEN DOS TIPOS DE ERRORES:
ERRORES AISLADOS:
ALTERAN A UN SOLO BIT.
ERRORES A RFAGAS.
HA HABIDO UNA RFAGA DE LONGITUD B CUANDO SE
RECIBE UNA SECUENCIA DE B BITS EN LA QUE SON
ERRNEOS:
EL PRIMERO.
EL LTIMO.
Y CUALQUIER NMERO DE BITS INTERMEDIOS.

TEORA DE LA INFORMACIN - CDIGOS

38

TIPOS DE ERRORES
LA NORMA IEEE 100 DEFINE UNA RFAGA DE ERRORES
COMO:
GRUPO DE BITS EN EL QUE DOS BITS ERRNEOS
CUALQUIERA ESTARN SIEMPRE SEPARADOS POR
MENOS DE UN NMERO X DE BITS CORRECTOS.
EL LTIMO BIT ERRNEO EN UNA RFAGA Y EL
PRIMER BIT ERRNEO DE LA SIGUIENTE ESTARN
SEPARADOS POR AL MENOS X BITS CORRECTOS.
EN UNA RFAGA DE ERRORES HABR UN CONJUNTO DE BITS CON
UN NMERO DADO DE ERRORES:
NO NECESARIAMENTE TODOS LOS BITS EN EL CONJUNTO
SERN ERRNEOS.
UN ERROR AISLADO SE PUEDE DAR EN PRESENCIA DE RUIDO
BLANCO, CUANDO CUALQUIER DETERIORO ALEATORIO EN LA
RELACIN SEAL-RUIDO CONFUNDA AL RECEPTOR EN UN NICO
BIT.

TEORA DE LA INFORMACIN - CDIGOS

39

TIPOS DE ERRORES

GENERALMENTE LAS RFAGAS SON MS FRECUENTES Y MS


DIFCILES DE TRATAR:
PUEDEN ESTAR CAUSADAS POR RUIDO IMPULSIVO.
EN LA COMUNICACIN MVIL OTRA CAUSA PARA LAS RFAGAS
SON LOS DESVANECIMIENTOS.
LOS EFECTOS DE UNA RFAGA SERN SIEMPRE MAYORES CUANTO
MAYOR SEA LA VELOCIDAD DE TRANSMISIN.
EJ.: UN RUIDO IMPULSIVO O UN DESVANECIMIENTO DE 1 s
CAUSAR UNA RFAGA DE:
10 BITS A UNA VELOCIDAD DE TRANSMISIN DE 10 MBPS.
100 BITS A 100 MBPS.

TEORA DE LA INFORMACIN - CDIGOS

40

DETECCIN DE ERRORES

TEORA DE LA INFORMACIN - CDIGOS

41

DETECCIN DE ERRORES

EN TODO SISTEMA DE TRANSMISIN HABR RUIDO:


DAR LUGAR A ERRORES QUE MODIFICARN UNO O VARIOS
BITS DE LA TRAMA.
SE CONSIDERA TRAMA A UNA O VARIAS SECUENCIAS
CONTIGUAS DE BITS.
SE
CONSIDERAN
LAS
SIGUIENTES
DEFINICIONES
DE
PROBABILIDADES PARA LOS POSIBLES ERRORES DE TRANSMISIN:
Pb: PROBABILIDAD DE QUE UN BIT RECIBIDO SEA ERRNEO:
TASA DE ERROR POR BIT: BER: BIT ERROR RATE.
P1: PROBABILIDAD DE QUE UNA TRAMA LLEGUE SIN ERRORES.
P2: PROBABILIDAD DE QUE UTILIZANDO UN ALGORITMO PARA
LA DETECCIN DE ERRORES, UNA TRAMA LLEGUE CON UNO O
MS ERRORES NO DETECTADOS.
P3: PROBABILIDAD DE QUE UTILIZANDO UN ALGORITMO PARA
LA DETECCIN DE ERRORES, UNA TRAMA LLEGUE CON UNO O
MS ERRORES DETECTADOS Y SIN ERRORES INDETECTADOS.

TEORA DE LA INFORMACIN - CDIGOS

42

DETECCIN DE ERRORES

SI NO SE TOMAN MEDIDAS PARA DETECTAR ERRORES:


LA PROBABILIDAD DE ERRORES DETECTADOS: P3 = 0.
SE SUPONE QUE TODOS LOS BITS TIENEN UNA PROBABILIDAD
DE ERROR (Pb) CONSTANTE E INDEPENDIENTE:
P1 = (1 - Pb)F.
P2 = (1 P1).
F: NMERO DE BITS POR TRAMA.
LA PROBABILIDAD DE QUE UNA TRAMA LLEGUE SIN NINGN
BIT ERRNEO DISMINUYE AL AUMENTAR LA PROBABILIDAD DE
QUE UN BIT SEA ERRNEO.
LA PROBABILIDAD DE QUE UNA TRAMA LLEGUE SIN ERRORES
DISMINUYE AL AUMENTAR LA LONGITUD DE LA MISMA.

TEORA DE LA INFORMACIN - CDIGOS

43

DETECCIN DE ERRORES

EJ.: UN OBJETIVO EN LAS CONEXIONES RDSI ES QUE LA BER EN UN


CANAL DE 64 KBPS DEBE SER MENOR QUE 10-6 PARA POR LO
MENOS EL 90% DE LOS INTERVALOS OBSERVADOS DE 1 MINUTO
DE DURACIN:
SI LOS REQUISITOS SON MENOS EXIGENTES: EN EL MEJOR DE
LOS CASOS, UNA TRAMA CON UN BIT ERRNEO NO
DETECTADO OCURRE POR CADA DA DE FUNCIONAMIENTO
CONTINUO EN UN CANAL DE 64 KBPS.
SI LA LONGITUD DE LA TRAMA ES DE 1000 BITS.
EL NMERO DE TRAMAS QUE SE PUEDEN TRANSMITIR POR DA
ES 5,529 x 106:
LA TASA DE TRAMAS ERRNEAS ES: P2 = 1/(5,529 x 106) = 0,18 x
10-6.
SI Pb = 10-6:
P1 = (0,999999)1000 = 0,999.
P2 = 10-3:
EST TRES RDENES DE MAGNITUD POR ENCIMA DE
LO REQUERIDO.
ESTO JUSTIFICA USAR TCNICAS PARA DETECCIN DE ERRORES.

TEORA DE LA INFORMACIN - CDIGOS

44

DETECCIN DE ERRORES

PROCEDIMIENTO PARA DETECTAR ERRORES:

TEORA DE LA INFORMACIN - CDIGOS

45

DETECCIN DE ERRORES

PRINCIPIO GRAL. PARA LAS TCNICAS DE DETECCIN DE


ERRORES:
DADA UNA TRAMA DE BITS, SE AADEN BITS ADICIONALES EN
EL TRANSMISOR FORMANDO UN CDIGO DETECTOR DE
ERRORES.
EL CDIGO SE CALCULAR EN FUNCIN DE LOS OTROS BITS
QUE SE VAYAN A TRANSMITIR.
GENERALMENTE, PARA UN BLOQUE DE DATOS DE k BITS, EL
ALGORITMO DE DETECCIN DE ERRORES UTILIZA UN CDIGO
DE n - k BITS: (n k) < k.
EL CDIGO (CONJUNTO DE BITS) DE DETECCIN DE ERRORES,
LLAMADO BITS DE COMPROBACIN, SE AADE AL BLOQUE DE
DATOS PARA GENERAR LA TRAMA DE n BITS DE LONGITUD
QUE SER TRANSMITIDA.

TEORA DE LA INFORMACIN - CDIGOS

46

DETECCIN DE ERRORES
EL RECEPTOR SEPARAR LA TRAMA RECIBIDA:
k BITS DE DATOS.
(n - k) BITS DEL CDIGO DE DETECCIN DE ERRORES.
EL RECEPTOR REPETIR EL CLCULO SOBRE LOS BITS DE
DATOS RECIBIDOS Y COMPARAR EL RESULTADO CON LOS BITS
RECIBIDOS EN EL CDIGO DE DETECCIN DE ERRORES.
SE DETECTAR UN ERROR SII LOS DOS RESULTADOS
MENCIONADOS NO COINCIDEN.
P3: PROBABILIDAD DE QUE LA TRAMA CONTENGA ERRORES Y EL
SISTEMA LOS DETECTE.
P2: ES LA TASA DE ERROR RESIDUAL: PROBABILIDAD DE QUE NO SE
DETECTE UN ERROR AUNQUE SE EST USANDO UN ESQUEMA DE
DETECCIN DE ERRORES.

TEORA DE LA INFORMACIN - CDIGOS

47

DETECCIN DE ERRORES

COMPROBACIN DE REDUNDANCIA CCLIDA (CRC)


UNO DE LOS CDIGOS PARA DETECCIN DE ERRORES MS
HABITUALES Y POTENTES SON LOS DE COMPROBACIN DE
REDUNDANCIA CCLICA (CRC: CYCLIC REDUNDANCY CHECK).
SE TIENE UN BLOQUE O MENSAJE DE k-BITS.
EL TRANSMISOR GENERA UNA SECUENCIA DE (n - k) BITS:
SECUENCIA DE COMPROBACIN DE LA TRAMA: FCS: FRAME
CHECK SEQUENCE.
LA TRAMA RESULTANTE CON n BITS SER DIVISIBLE POR
ALGN NMERO PREDETERMINADO.

TEORA DE LA INFORMACIN - CDIGOS

48

DETECCIN DE ERRORES

EL RECEPTOR DIVIDIR LA TRAMA RECIBIDA POR ESE NMERO Y SI


NO HAY RESTO EN LA DIVISIN SUPONDR QUE NO HA HABIDO
ERRORES.
EL RECEPTOR TAMBIN PODRA DIVIDIR LOS DATOS DE ENTRADA
(IGUAL QUE EL EMISOR) Y COMPARAR EL RESULTADO CON LOS
BITS DE COMPROBACIN.
ESTE PROCEDIMIENTO SE PUEDE EXPLICAR USANDO:
ARITMTICA MDULO 2.
POLINOMIOS.
LGICA DIGITAL.

TEORA DE LA INFORMACIN - CDIGOS

49

DETECCIN DE ERRORES

ARITMTICA MDULO 2
USA SUMAS Y RESTAS BINARIAS SIN ACARREO:
SON IGUALES A LA OPERACIN LGICA EXCLUSIVE-OR:

1111 1111
11001
+1010 -0101
x 11
0101 1010
11001

11001

101011
T: TRAMA DE n BITS A TRANSMITIR.
M: MENSAJE CON k BITS DE DATOS, CORRESPONDIENTES CON LOS
PRIMEROS k BITS DE T.
F = (n k) BITS DE FCS: LOS LTIMOS (n k) BITS DE T.
P: PATRN DE n k + 1 BITS: DIVISOR ELEGIDO.
T / P = 0.
T = 2n-kD + F.
MULTIPLICAR 2n-kD EQUIVALE A DESPLAZAR HACIA LA
IZQUIERDA n k BITS AADIENDO CEROS AL RESULTADO.
SUMAR F SIGNIFICA CONCATENAR D Y F.
TEORA DE LA INFORMACIN - CDIGOS

50

DETECCIN DE ERRORES

T DEBE SER DIVISIBLE POR P:


(2n-kD) / P = Q + (R / P).
HAY UN COCIENTE Y UN RESTO:
EL RESTO SER AL MENOS 1 BIT MS CORTO QUE EL
DIVISOR PORQUE LA DIVISIN ES MDULO 2.
LA SECUENCIA DE COMPROBACIN DE LA TRAMA (FCS) SER
EL RESTO DE LA DIVISIN:
T = 2n-kD + R.
R DEBE SATISFACER LA CONDICIN DE QUE EL RESTO DE
T/P SEA CERO:
(T / P) = (2n-kD + R) / P = (2n-kD) / P + (R / P).
(2n-kD) / P = Q + (R / P).
(T / P) = Q + (R / P) + (R / P).
CUALQUIER NMERO BINARIO SUMADO A MDULO 2
CONSIGO MISMO ES 0:
(T / P) = Q + ((R + R) / P) = Q:
NO HAY RESTO: T ES DIVISIBLE POR P.
TEORA DE LA INFORMACIN - CDIGOS

51

DETECCIN DE ERRORES

FCS SE GENERA FCILMENTE:


SE DIVIDE (2n-kD) / P Y SE USAN LOS (n k) BITS DEL RESTO
COMO FCS.
EN EL RECEPTOR SE DIVIDIR (T / P) Y SI NO HA HABIDO ERRORES
EL RESTO SER 0.
EJ.:
MENSAJE D: 1010001101 (10 BITS).
PATRN P: 110101 (6 BITS).
FCS R: A CALCULAR (5 BITS).
n: 15; k: 10; (n k): 5.
MENSAJE x 25: 101000110100000.

TEORA DE LA INFORMACIN - CDIGOS

52

DETECCIN DE ERRORES

EL RESULTADO ANTERIOR SE DIVIDE POR P:

TEORA DE LA INFORMACIN - CDIGOS

53

DETECCIN DE ERRORES

T = 2n-kD + R = 25D + R = 101000110101110: ESTO SE TRANSMITE.


SI NO HAY ERRORES EL RECEPTOR RECIBE T:
LA TRAMA RECIBIDA SE DIVIDE POR P Y SI EL RESTO R ES
0 SE SUPONE QUE NO HA HABIDO ERRORES:

TEORA DE LA INFORMACIN - CDIGOS

54

DETECCIN DE ERRORES

EL PATRN P:
SE ELIGE CON UN BIT MS QUE LA LONGITUD DE LA FCS
DESEADA.
DEPENDER DEL TIPO DE ERROR QUE SE ESPERA SUFRIR.
DEBE TENER COMO MNIMO EL BIT MENOS SIGNIFICATIVO Y
EL BIT MS SIGNIFICATIVO EN 1.
POLINOMIOS
OTRA POSIBILIDAD DE CRC ES EXPRESAR TODOS LOS VALORES
COMO POLINOMIOS DE UNA VARIABLE MUDA X, CON
COEFICIENTES BINARIOS:
D = 110011; D(X) = X5 + X4 + X + 1.
P = 11001; P(X) = X4 + X3 + 1.
SE USA ARITMTICA MDULO 2.
EL PROCEDIMIENTO DE CRC ES:

TEORA DE LA INFORMACIN - CDIGOS

55

DETECCIN DE ERRORES

EJEMPLO: SE USA EL EJ. ANTERIOR:


D = 1010001101; D(X) = X9 + X7 + X3 + X2 + 1.
P = 110101; P(X) = X5 + X4 + X2 + 1.
R = 01110; R(X) = X3 + X2 + X.

TEORA DE LA INFORMACIN - CDIGOS

56

DETECCIN DE ERRORES

DIVISIN DE POLINOMIOS DEL EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

57

DETECCIN DE ERRORES

UN ERROR E(X) NO SE DETECTAR SLO SI ES DIVISIBLE POR P(X):


SE DETECTARN LOS ERRORES NO DIVISIBLES, SI SE ELIGE
ADECUADAMENTE EL POLINOMIO P(X):
TODOS LOS ERRORES DE UN NICO BIT SI P(X) TIENE MS
DE UN TRMINO DISTINTO DE CERO.
TODOS LOS ERRORES DOBLES SI P(X) TIENE AL MENOS UN
FACTOR CON TRES TRMINOS.
CUALQUIER NMERO IMPAR DE ERRORES SI P(X) CONTIENE
EL FACTOR (X + 1).
CUALQUIER RFAGA DE ERRORES CON LONGITUD MENOR
O IGUAL QUE n k: MENOR O IGUAL QUE LA LONGITUD DE
LA FCS.
UNA FRACCIN DE LAS RFAGAS DE ERRORES CON
LONGITUD IGUAL A n k + 1:
LA FRACCIN ES 1 2-(n-k-1).
UNA FRACCIN DE LAS RFAGAS DE ERRORES CON
LONGITUDES MAYORES QUE n k + 1:
LA FRACCIN ES 1 2-(n-k).
TEORA DE LA INFORMACIN - CDIGOS

58

DETECCIN DE ERRORES

SI TODOS LOS PATRONES DE ERROR SON EQUIPROBABLES:


PARA UNA RFAGA DE ERRORES DE LONGITUD r + 1 LA
PROBABILIDAD DE QUE NO SE DETECTE UN ERROR ES 1/2r-1.
PARA RFAGAS MAYORES LA PROBABILIDAD ES 1/2r.
r ES LA LONGITUD DE LA FCS.

TEORA DE LA INFORMACIN - CDIGOS

59

DETECCIN DE ERRORES

EJ. DE DEFINICIONES DE P(X) USADAS FRECUENTEMENTE:

LA CRC-32 SE USA EN NORMAS IEEE 802 PARA LAN.


LGICA DIGITAL
CRC SE PUEDE REPRESENTAR E IMPLEMENTAR CON:
UN CIRCUITO DIVISOR FORMADO POR PUERTAS EXCLUSIVE-OR.
UN REGISTRO DE DESPLAZAMIENTO.

TEORA DE LA INFORMACIN - CDIGOS

60

DETECCIN DE ERRORES

EJEMPLO: CIRCUITO CON REGISTROS DE DESPLAZAMIENTO PARA


DIVIDIR POR EL POLINOMIO X5 + X4 + X2 + 1:

TEORA DE LA INFORMACIN - CDIGOS

61

DETECCIN DE ERRORES

ARQUITECTURA GENRICA DE UNA CRC PARA IMPLEMENTAR LA


DIVISIN POR (1 + A1X + A2X2 + + An-1Xn-k-1 + Xn-k):

TEORA DE LA INFORMACIN - CDIGOS

62

INTRODUCCIN A CDIGOS

TEORA DE LA INFORMACIN - CDIGOS

63

INTRODUCCIN A CDIGOS

DEFINICIN: SE CONSIDERA UN CONJUNTO FINITO A={a1, a2, ... aq},


AL QUE SE DENOMINA ALFABETO, A SUS ELEMENTOS, a1, a2, ... aq,
SE LOS LLAMA LETRAS O SMBOLOS. LAS SUCESIONES FINITAS
DE ELEMENTOS DE A SE LLAMAN PALABRAS.

LA PALABRA ai1ai2...ain SE DICE QUE TIENE LONGITUD n O BIEN


QUE ES UNA n-PALABRA.

TEORA DE LA INFORMACIN - CDIGOS

64

INTRODUCCIN A CDIGOS

EL CONJUNTO DE TODAS LAS PALABRAS SOBRE EL ALFABETO A


SE DENOTAR COMO A* (CON INDEPENDENCIA DE LA LONGITUD
DE LAS PALABRAS).

DEFINICIN: UN CDIGO SOBRE EL ALFABETO A ES UN


SUBCONJUNTO C DE A*, (CONJUNTO FORMADO POR PALABRAS
DEL ALFABETO).

TEORA DE LA INFORMACIN - CDIGOS

65

INTRODUCCIN A CDIGOS

A LOS ELEMENTOS DEL CDIGO C SE LES LLAMA PALABRAS DE


CDIGO.
EL NMERO DE ELEMENTOS DEL CDIGO C, QUE NORMALMENTE
SER FINITO, SE DENOTA POR |C| Y SE DENOMINA TAMAO DEL
CDIGO.
SI C ES UN CDIGO SOBRE A Y A TIENE q ELEMENTOS (|A|=q)
ENTONCES SE DICE QUE C ES UN CDIGO q-ARIO:
EJEMPLO: A = Z2 = {0,1}: CDIGOS BINARIOS.
EJEMPLO DE CDIGO BINARIO: C = {0100,0010,0111}.

TEORA DE LA INFORMACIN - CDIGOS

66

INTRODUCCIN A CDIGOS

DEFINICIN: SI C ES UN CDIGO CUYAS PALABRAS TIENEN


TODAS LA MISMA LONGITUD n, SE DICE QUE C ES UN CDIGO DE
LONGITUD FIJA O UN CDIGO DE BLOQUES Y A n SE LE LLAMA
LONGITUD DEL CDIGO C.
EL CDIGO C ANTERIOR ES UN CDIGO DE BLOQUES DE
LONGITUD 4.
C = {011, 1011, 10} NO ES UN CDIGO DE BLOQUES:
NO SE PUEDE HABLAR DE LA LONGITUD DEL CDIGO.
SI C ES UN CDIGO DE LONGITUD n Y TAMAO m SE DICE QUE C
ES UN (n,m)-CDIGO:
C = {0100,0010,0111} ES (4,3) CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

67

INTRODUCCIN A CDIGOS

DADO UN ALFABETO S AL QUE DENOMINAREMOS ALFABETO


FUENTE Y DADO UN CDIGO C SOBRE EL ALFABETO A, SE
LLAMA FUNCIN DE CODIFICACIN A UNA APLICACIN
BIYECTIVA f:

S ES EL ALFABETO EN EL CUAL EST LA INFORMACIN QUE SE


QUIERE CODIFICAR.
UNA APLICACIN BIYECTIVA ENTRE 2 CONJUNTOS ES UNA
APLICACIN:
INYECTIVA: ELEMENTOS DIFERENTES TIENEN IMGENES
DIFERENTES; Y.
SOBREYECTIVA: LOS ELEMENTOS DEL CONJUNTO C SON
IMGENES DE ALGN ELEMENTO DE S, EN ESTE CASO DE 1 YA
QUE LA APLICACIN ES INYECTIVA.

TEORA DE LA INFORMACIN - CDIGOS

68

INTRODUCCIN A CDIGOS

A VECES f NO SER UNA APLICACIN BIYECTIVA; SI f NO FUESE


INYECTIVA HABRA VARIOS SMBOLOS DEL ALFABETO FUENTE
QUE SE CODIFICARAN DE LA MISMA FORMA:
HARA LA DECODIFICACIN MUY DIFCIL.
CUANDO f ES BIYECTIVA HABLAMOS DE CDIGOS
DESCIFRABLES.

TEORA DE LA INFORMACIN - CDIGOS

69

INTRODUCCIN A CDIGOS

EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

70

INTRODUCCIN A CDIGOS

POLIVIO O CDIGO DE FUEGO GRIEGO (208 A.C.):

TEORA DE LA INFORMACIN - CDIGOS

71

INTRODUCCIN A CDIGOS

ESTE CDIGO NO PERMITE DETECTAR Y/O CORREGIR ERRORES.


CDIGO MORSE:
SE
USA PARA TRANSMISIONES TELEGRFICAS, PARA
CODIFICAR UN MENSAJE FUENTE EN LENGUAJE NATURAL.

TEORA DE LA INFORMACIN - CDIGOS

72

INTRODUCCIN A CDIGOS

ESTE CDIGO NO ES DE LONGITUD FIJA:


LAS LETRAS MS FRECUENTES SE CODIFICAN CON PALABRAS
CORTAS.
LAS LETRAS MENOS USADAS SE CODIFICAN CON PALABRAS
MS LARGAS.
ESTO ES PARA CONSEGUIR MS EFICIENCIA.
LOS ESPACIOS SE USAN PARA SEPARAR PALABRAS (6 ESPACIOS).
ESTE CDIGO NO PERMITE CORREGIR Y/O DETECTAR ERRORES Y
NO TIENE FINES CRIPTOGRFICOS.
CDIGO
ASCII
(AMERICAN
STANDARD
CODE
FOR
INFORMATION INTERCHANGE).
EL ASCII ESTNDAR USA PALABRAS DE 7 BITS:

TEORA DE LA INFORMACIN - CDIGOS

73

INTRODUCCIN A CDIGOS

EL CDIGO ASCII EXTENDIDO USA PALABRAS DE 8 BITS:

AL CDIGO ASCII DE 7 BITS SE LE AADE UN BIT DE PARIDAD


PARA QUE EL NMERO DE 1 DE LA PALABRA SEA PAR:
ESTE ES EL CDIGO ASCII ESTNDAR CON CONTROL DE
PARIDAD.
EL CDIGO ASCII ESTNDAR:
AL AADIR EL BIT DE PARIDAD SI SE CAMBIA UN BIT LA
PALABRA QUE SE OBTIENE NO ES VLIDA:
EL NMERO DE 1 PASA A SER IMPAR CON LO QUE SE
DETECTA EL ERROR.
ESTE CDIGO SLO DETECTA ERRORES, NO PUEDO SABER
CUL FUE LA PALABRA QUE SE ENVI.

TEORA DE LA INFORMACIN - CDIGOS

74

INTRODUCCIN A CDIGOS

EL ASCII CON CONTROL DE PARIDAD ES UN (8,128) CDIGO,


MIENTRAS QUE EL ASCII ESTNDAR ES UN (7,128) CDIGO.
EL CDIGO ASCII EXTENDIDO ES UN (8,256) CDIGO.
EL CDIGO ASCII NO ES MUY EFICIENTE YA QUE ES DE
LONGITUD FIJA Y USA EL MISMO NMERO DE BITS PARA
CODIFICAR CARACTERES FRECUENTES Y POCO FRECUENTES.
EN ESTE CDIGO NO HACE FALTA SEPARAR LAS PALABRAS YA
QUE CADA PALABRA TIENE UN NMERO FIJO DE BITS.
LA VENTAJA DEL ASCII CON BIT DE PARIDAD SOBRE EL ASCII
ESTNDAR ES QUE PERMITE DETECTAR ERRORES Y SE PUEDE
PEDIR REPETIR LA TRANSMISIN HASTA QUE STA SEA
CORRECTA.
EL INCONVENIENTE ES QUE ES MENOS EFICIENTE YA QUE PARA
TRANSMITIR LA MISMA INFORMACIN USA PALABRAS DE 8 BITS
EN LUGAR DE PALABRAS DE 7 BITS.
PARA DETECTAR Y CORREGIR ERRORES A LOS CDIGOS SE LES
AADE REDUNDANCIA CON LO QUE SE PIERDE EFICIENCIA.

TEORA DE LA INFORMACIN - CDIGOS

75

CDIGOS DETECTORES DE ERRORES

TEORA DE LA INFORMACIN - CDIGOS

76

CDIGOS DETECTORES DE ERRORES

SE INTENTA BUSCAR UNA TRANSMISIN PRECISA ENTRE DOS


PUNTOS.
ESTOS CDIGOS SE USAN CUANDO SE REALIZA UNA
TRANSMISIN POR UN CANAL RUIDOSO:
UN CANAL ES EL MEDIO FSICO POR EL CUAL SE REALIZA LA
TRANSMISIN.
UN CANAL RUIDOSO ES UN CANAL QUE EST SUJETO A
PERTURBACIONES Y QUE GENERA ALTERACIONES EN EL
MENSAJE.
LOS CDIGOS DETECTORES DE ERRORES SE USAN PARA
RECUPERAR LA INFORMACIN QUE LLEG INCORRECTAMENTE:
SE USAN TAMBIN EN LOS CD, PARA QUE LA INFORMACIN
SE RECUPERE A PESAR DE QUE EL CD EST RAYADO.

TEORA DE LA INFORMACIN - CDIGOS

77

CDIGOS DETECTORES DE ERRORES

TEORA DE LA INFORMACIN - CDIGOS

78

CDIGOS DETECTORES DE ERRORES

LA CODIFICACIN Y DECODIFICACIN DEBEN SER FCILES Y


RPIDAS.
LA TRANSMISIN A TRAVS DEL CANAL DEBE SER RPIDA.
SE DEBE:
MAXIMIZAR LA CANTIDAD DE INFORMACIN TRANSMITIDA
POR UNIDAD DE TIEMPO.
DETECTAR Y CORREGIR ERRORES.
ESTA LTIMA CARACTERSTICA ENTRA EN CONFLICTO CON LAS
ANTERIORES:
HACE QUE AUMENTE EL TAMAO DE LO QUE SE TRANSMITE.
EL CDIGO DEBE SER LO MS EFICIENTE POSIBLE Y DEBE
PERMITIR DETECTAR Y CORREGIR ERRORES.

TEORA DE LA INFORMACIN - CDIGOS

79

CDIGOS DETECTORES DE ERRORES

EL CANAL ACEPTA SMBOLOS DE UN ALFABETO FINITO A={a1, a2,


... aq} QUE LLAMAREMOS ALFABETO DEL CANAL (EJEMPLO: A =
{0, 1}).
PARA SABER QU TAN RUIDOSO ES UN CANAL SE DEBE CONOCER
CUL ES LA PROBABILIDAD DE QUE SI SE EMITE UN SMBOLO SE
RECIBA OTRO SMBOLO:
P(aj RECIBIDO | ai ENVIADO):
PROBABILIDAD DE QUE SI SE HA ENVIADO ai SE RECIBA aj.
CUANDO ESTE CONJUNTO DE PROBABILIDADES SE CONOCE
PARA TODOS LOS VALORES DE i Y j CONOCEMOS LAS
CARACTERSTICAS DEL CANAL.
EL CANAL PERFECTO SERA AQUL EN EL QUE:

TEORA DE LA INFORMACIN - CDIGOS

80

CDIGOS DETECTORES DE ERRORES

A ESTAS PROBABILIDADES SE LES LLAMA PROBABILIDADES DEL


CANAL O PROBABILIDADES DE TRANSICIN.
EL CANAL PERFECTO NO EXISTE EN LA PRCTICA.
DEFINICIN: UN CANAL ES UN ALFABETO (DE CANAL) A={a1, a2,
... aq} Y UN CONJUNTO DE PROBABILIDADES DE TRANSICIN P(aj
RECIBIDO | ai ENVIADO) QUE SATISFACEN:

TEORA DE LA INFORMACIN - CDIGOS

81

CDIGOS DETECTORES DE ERRORES

EL RUIDO SE DISTRIBUYE ALEATORIAMENTE:


LA PROBABILIDAD DE QUE UN SMBOLO SEA CAMBIADO POR
OTRO EN LA TRANSMISIN ES LA MISMA PARA TODOS LOS
SMBOLOS.
LA TRANSMISIN DE UN SMBOLO NO EST INFLUENCIADA POR
LA TRANSMISIN DEL SMBOLO PRECEDENTE NI DE LOS
ANTERIORES:
EL CANAL ES UN CANAL SIN MEMORIA.
EL ERROR EN LA TRANSMISIN DE UN SMBOLO NO AFECTA A LA
TRANSMISIN DE LOS SIGUIENTES SMBOLOS.

TEORA DE LA INFORMACIN - CDIGOS

82

CDIGOS DETECTORES DE ERRORES

UN CANAL USADO FRECUENTEMENTE ES EL CANAL BINARIO


SIMTRICO (BINARY SIMETRIC CHANNEL: BSC). EL ALFABETO
DEL CANAL ES A={0,1}.

TEORA DE LA INFORMACIN - CDIGOS

83

CDIGOS DETECTORES DE ERRORES

0 p 1.
1-p: PROBABILIDAD DEL CANAL.
p: PROBABILIDAD DEL CRUCE.
p: PROBABILIDAD DE QUE UN 0 SEA RECIBIDO COMO UN 1.
1-p: PROBABILIDAD DE QUE UN 0 SEA RECIBIDO COMO UN 0.
p = 0: CANAL PERFECTO.
p = 1: SIEMPRE SE COMETE ERROR.
EN UN CANAL SIMTRICO:
EXISTE LA MISMA PROBABILIDAD DE QUE UN SMBOLO SE
RECIBA INCORRECTAMENTE.
SI UN SMBOLO SE RECIBE INCORRECTAMENTE HAY LA
MISMA PROBABILIDAD DE QUE SE RECIBA CUALQUIER OTRO
SMBOLO.

TEORA DE LA INFORMACIN - CDIGOS

84

CDIGOS DETECTORES DE ERRORES

SI SE QUIERE DETECTAR ERRORES:


SE DEBE DISEAR UN CDIGO DE TAL FORMA QUE SI A UNA
PALABRA DEL CDIGO SE LE CAMBIA UN NICO SMBOLO LA
PALABRA RESULTANTE NO SEA UNA PALABRA DEL CDIGO
PARA AS PODER SABER QUE SE HA PRODUCIDO UN ERROR.
SI ADEMS SE QUIERE CORREGIR ERRORES:
HAY QUE SABER CUL ES LA PALABRA ENVIADA.
LA IDEA BSICA ES COMPARAR LA PALABRA RECIBIDA CON
TODAS LAS PALABRAS DEL CDIGO Y ASIGNARLE LA
PALABRA QUE DIFIERA EN MENOS SMBOLOS.

TEORA DE LA INFORMACIN - CDIGOS

85

CDIGOS DETECTORES DE ERRORES

EJEMPLO:

ESTE CDIGO NO SERVIRA PARA DETECTAR ERRORES:

TEORA DE LA INFORMACIN - CDIGOS

86

CDIGOS DETECTORES DE ERRORES

SI SE PRODUCEN ERRORES LAS PALABRAS QUE SE OBTIENEN SON


PALABRAS DEL CDIGO.
PARA DETECTAR ERRORES HAY QUE AADIR REDUNDANCIA:
SE MODIFICA EL CDIGO PARA CONSEGUIR QUE LAS
PALABRAS DEL CDIGO SE PAREZCAN MENOS ENTRE S.

TEORA DE LA INFORMACIN - CDIGOS

87

CDIGOS DETECTORES DE ERRORES

SE CONSIDERA:

SI SE RECIBE 111010:
SE VE QUE NO ES UNA PALABRA VLIDA DEL CDIGO Y SE
DETECTA QUE SE HA COMETIDO UN ERROR.
SE COMPARA ESTA PALABRA CON LAS PALABRAS DEL
CDIGO Y SE VE EN CUNTOS SMBOLOS SE DIFERENCIA DE
LAS PALABRAS DEL CDIGO.
SE VE QUE LA PALABRA MS PRXIMA ES LA 101010 YA QUE
SLO CAMBIA UN SMBOLO, POR LO QUE SE PODRA
ASIGNARLE ESTA PALABRA.

TEORA DE LA INFORMACIN - CDIGOS

88

CDIGOS DETECTORES DE ERRORES

ESTE CDIGO TIENE LA PROPIEDAD DE QUE SI AL TRANSMITIR


UNA PALABRA SE COMETE UN NICO ERROR SIEMPRE SE PUEDE
RECUPERAR LA PALABRA ORIGINALMENTE TRANSMITIDA YA
QUE DISTA UNO DE UNA PALABRA Y MS DE UNO DEL RESTO DE
PALABRAS.
SE DICE QUE ESTE CDIGO CORRIGE UN ERROR:
ESTO SE LOGRA A COSTA DE AUMENTAR LA LONGITUD DEL
CDIGO.
SE NECESITA EL TRIPLE DE TIEMPO Y ESPACIO PARA
TRANSMITIR LA MISMA INFORMACIN: DISMINUYE LA
EFICIENCIA DEL CDIGO.
ESTE CDIGO SE DENOMINA CDIGO DE REPETICIN.

TEORA DE LA INFORMACIN - CDIGOS

89

CDIGOS DETECTORES DE ERRORES

CLASES RESIDUALES MDULO n.


DADO:

SEA n Z, n 2. DADOS a, b Z SE DICE QUE a ES CONGRUENTE


CON b MDULO n SI:

TEORA DE LA INFORMACIN - CDIGOS

90

CDIGOS DETECTORES DE ERRORES

LA RELACIN DE CONGRUENCIA MDULO n ES UNA RELACIN


DE EQUIVALENCIA, YA QUE ES REFLEXIVA, SIMTRICA Y
TRANSITIVA.
LA RELACIN DE EQUIVALENCIA PERMITE DEFINIR LAS CLASES
DE EQUIVALENCIA a Z.
LA CLASE DE EQUIVALENCIA DE a SE DEFINE COMO AQUELLOS
NMEROS RELACIONADOS CON a:

TEORA DE LA INFORMACIN - CDIGOS

91

CDIGOS DETECTORES DE ERRORES

EL CONJUNTO DE TODAS LAS CLASES DE EQUIVALENCIA


FORMAN UNA PARTICIN DE Z.
AL CONJUNTO DE TODAS LAS CLASES DE EQUIVALENCIA SE LE
DENOMINA CONJUNTO COCIENTE (SUS ELEMENTOS SON
CLASES).

SEAN a,b Z:

TEORA DE LA INFORMACIN - CDIGOS

92

CDIGOS DETECTORES DE ERRORES

EN LA DIVISIN ENTERA EL RESTO O RESIDUO ES NICO.

CADA ELEMENTO EST EN LA MISMA CLASE DE EQUIVALENCIA


QUE SU RESTO AL DIVIDIR POR n.
EL NMERO DE CLASES ES EL NMERO DE POSIBLES RESTOS AL
DIVIDIR POR n (n CLASES).

TEORA DE LA INFORMACIN - CDIGOS

93

CDIGOS DETECTORES DE ERRORES

DEFINICIN: SEA C UN (n,m)-CDIGO q-ARIO (|A| = q, SIENDO A EL


ALFABETO). SE DEFINE LA TASA DE INFORMACIN (O DE
TRANSMISIN) DE C COMO:

EN EL CASO BINARIO SE TIENE:

ESTA DEFINICIN EXPRESA LA RELACIN QUE HAY ENTRE:


LOS SMBOLOS DEL CDIGO DEDICADOS A LA INFORMACIN.
LOS SMBOLOS DEDICADOS A LA REDUNDANCIA (DETECTAR
Y/O CORREGIR ERRORES).
TEORA DE LA INFORMACIN - CDIGOS

94

CDIGOS DETECTORES DE ERRORES

EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

95

CDIGOS DETECTORES DE ERRORES

ESTE CDIGO NO CORRIGE NI DETECTA ERRORES:


TODOS LOS SMBOLOS ESTN DEDICADOS A LA TRANSMISIN
DE INFORMACIN.
ESTE CDIGO TIENE LA MXIMA TASA DE TRANSMISIN.
PARA CORREGIR UN ERROR SE AADE UN BIT DE PARIDAD.

TEORA DE LA INFORMACIN - CDIGOS

96

CDIGOS DETECTORES DE ERRORES

LA TASA DE INFORMACIN DISMINUYE:


SE AADI UN BIT PARA DETECTAR ERRORES PERO NO
TRANSMITE INFORMACIN.
SE PUEDE VER ESTO COMO EL COCIENTE ENTRE EL NMERO
DE SMBOLOS DEDICADOS A LA INFORMACIN Y EL NMERO
TOTAL DE SMBOLOS.
DADO R NO PODEMOS DETERMINAR SI EL CDIGO PERMITE
DETECTAR Y/O CORREGIR ERRORES.
CONOCIENDO R SABEMOS LA EFICIENCIA DEL CDIGO:
LOS CDIGOS MS EFICIENTES TIENEN R = 1.

TEORA DE LA INFORMACIN - CDIGOS

97

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

TEORA DE LA INFORMACIN - CDIGOS

98

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

SE CONSIDERA:

u ES LA PALABRA TRANSMITIDA Y w ES LA PALABRA RECIBIDA.


PARA DESCODIFICAR SE USA UNA REGLA DE DECISIN QUE ES
UNA APLICACIN DE An EN C:

TEORA DE LA INFORMACIN - CDIGOS

99

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

SI f(w) = u DESCODIFICO w COMO u.


SI w YA ES UNA PALABRA DEL CDIGO ENTONCES f(w) = w.
SE TIENE UNA REGLA DE DECISIN f: An C QUE VERIFICA:

ESTO SIGNIFICA QUE f(w) TIENE LA PROPIEDAD DE QUE NO HAY


NINGUNA OTRA PALABRA DEL CDIGO CON MAYOR
PROBABILIDAD DE HABER SIDO ENVIADA:
SI ESTO SE CUMPLE SE DICE QUE f ES UNA REGLA DE
DECISIN DE PROBABILIDAD MXIMA.

TEORA DE LA INFORMACIN - CDIGOS

100

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

SI SE USA UN BSC:
NO CONOCEMOS EL VALOR DE 1-p.
NO SE CALCULAN PROBABILIDADES, SE VE CUL ES LA
PALABRA DE CDIGO MS PRXIMA A LA PALABRA
RECIBIDA:
ESTO COINCIDE, PARA UN BSC, CON LA DESCODIFICACIN
DE PROBABILIDAD MXIMA.

TEORA DE LA INFORMACIN - CDIGOS

101

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

PROPOSICIN: DADO UN BSC CON 0 p LA REGLA DE


DECISIN DE PROBABILIDAD MXIMA CONSISTE EN ELEGIR LA
PALABRA DE CDIGO QUE DIFIERA DE LA PALABRA RECIBIDA EN
EL NMERO MNIMO DE SMBOLOS POSIBLES.
LA PROBABILIDAD DE QUE UNA PALABRA TENGA k ERRORES EN
k POSICIONES DADAS ES pk (1-p)k.
SI SE ENVA v Y LA PALABRA RECIBIDA w DIFIERE DE v EN k
LUGARES:
LA PROBABILIDAD P(w RECIBIDO | v ENVIADO) = pk (1-p)k.
PUEDE OCURRIR QUE HAYA VARIAS PALABRAS A DISTANCIA
MNIMA (MLD).

TEORA DE LA INFORMACIN - CDIGOS

102

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

SE DICE QUE LA DESCODIFICACIN ES COMPLETA SI SLO HAY


UNA PALABRA POSIBLE CON DISTANCIA MNIMA.
SE DICE QUE LA DESCODIFICACIN ES INCOMPLETA CUANDO
HAY MS DE UNA POSIBLE PALABRA CON DISTANCIA MNIMA
Y SE PRODUCE UN ERROR.
DEFINICIN: SEA A UN ALFABETO Y u,w An; SE DEFINE LA
DISTANCIA HAMMING d(u,w) COMO EL NMERO DE POSICIONES
EN LAS QUE DIFIEREN u Y w.

TEORA DE LA INFORMACIN - CDIGOS

103

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

ESTA APLICACIN ES UNA MTRICA:


ES DEFINIDA POSITIVA:

ES SIMTRICA:

PRESENTA DESIGUALDAD TRIANGULAR:

TEORA DE LA INFORMACIN - CDIGOS

104

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

DEFINICIN: SE LLAMA DISTANCIA MNIMA (O DISTANCIA) DE


UN CDIGO C A:

TEORA DE LA INFORMACIN - CDIGOS

105

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

DEFINICIN: UN CDIGO C ES t-DETECTOR (DE ERRORES), t Z+,


SI EL NMERO DE ERRORES COMETIDOS AL TRANSMITIR UNA
PALABRA ES:
MAYOR O IGUAL QUE 1 Y.
MENOR O IGUAL QUE t.
ENTONCES LA PALABRA RESULTANTE NO ES UNA PALABRA
DEL CDIGO.
C SE DICE QUE ES EXACTAMENTE t-DETECTOR CUANDO ES tDETECTOR PERO NO ES (t+1)-DETECTOR.
PROPOSICIN: UN CDIGO C ES EXACTAMENTE t-DETECTOR SI
Y SLO SI d(C) = t+1.

TEORA DE LA INFORMACIN - CDIGOS

106

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

DEFINICIN: UN CDIGO C ES t-CORRECTOR DE ERRORES SI:


LA DESCODIFICACIN PERMITE CORREGIR TODOS LOS
ERRORES DE TAMAO t O MENOR EN UNA PALABRA DEL
CDIGO.
SE SUPONE QUE CUANDO HAY VARIAS PALABRAS DEL
CDIGO EQUIDISTANTES DE LA PALABRA RECIBIDA EL
PROCESO DE DESCODIFICACIN DECLARA UN ERROR Y NO SE
COMPLETA.
UN CDIGO C SE DICE QUE ES EXACTAMENTE t-CORRECTOR
CUANDO ES t-CORRECTOR PERO NO ES (t+1)-CORRECTOR.
ERROR DE TAMAO t: ERROR EN EL CUAL EL N DE ERRORES ES
t.

TEORA DE LA INFORMACIN - CDIGOS

107

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

PROPOSICIN: UN CDIGO C ES EXACTAMENTE t-CORRECTOR


SI Y SLO SI d(C) = 2t + 1 O 2t + 2.
EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

108

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

LA PALABRA RECIBIDA w DISTA t+1 DE u Y DISTA t DE v, LUEGO


EL CDIGO NO CORRIGE t+1 ERRORES.
DEFINICIN: UN CDIGO DE LONGITUD n, TAMAO m Y
DISTANCIA d SE DICE QUE ES UN (n,m,d) CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

109

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

EJEMPLOS:
CDIGO DE REPETICIN BINARIA DE LONGITUD n:

ESTE CDIGO CORRIGE (n-1) / 2 ERRORES.

TEORA DE LA INFORMACIN - CDIGOS

110

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

EL MARINER 9 (1979) TOM FOTOS EN BLANCO Y NEGRO DE


MARTE:
LAS IMGENES ERAN DE 600X600 Y CON 64 NIVELES DE GRIS.
SE US UN CDIGO BINARIO DE TAMAO 64; UN (32, 64, 16)CDIGO (CDIGO DE REED-MULLER):
ESTE ERA UN CDIGO 7-CORRECTOR.

TEORA DE LA INFORMACIN - CDIGOS

111

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA

EL VOYAGER (1979-1981) TOM FOTOS EN COLOR DE JPITER Y


SATURNO DE 4096 COLORES:
SE US UN (24, 4096, 8)-CDIGO (CDIGO DE GOLAY):
ESTE ERA UN CDIGO 3-CORRECTOR.

TEORA DE LA INFORMACIN - CDIGOS

112

CDIGOS PERFECTOS

TEORA DE LA INFORMACIN - CDIGOS

113

CDIGOS PERFECTOS

DEFINICIN: SEA A UN ALFABETO, |A| = q, v An Y r R, r 0. LA


ESFERA DE RADIO r Y CENTRO v ES:

TEORA DE LA INFORMACIN - CDIGOS

114

CDIGOS PERFECTOS

EL VOLUMEN DE Sq(v,r) ES |Sq(v,r)| Y EST DADO POR:

TEORA DE LA INFORMACIN - CDIGOS

115

CDIGOS PERFECTOS

EJEMPLO:
SE TIENE:
A = {0, 1}.
n = 3.

TEORA DE LA INFORMACIN - CDIGOS

116

CDIGOS PERFECTOS

DEFINICIN: SEA C An. EL RADIO DE EMPAQUETAMIENTO DE C


ES EL MAYOR ENTERO r TAL QUE TODAS LAS ESFERAS DE RADIO
r (Sq (v,r), v C) SON DISJUNTAS.
DEFINICIN: EL RADIO DE RECUBRIMIENTO ES EL MENOR
ENTERO s TAL QUE LA UNIN DE TODAS LAS ESFERAS DE RADIO s
ES An.

r = pr(C); s = cr(C).

TEORA DE LA INFORMACIN - CDIGOS

117

CDIGOS PERFECTOS

PROPOSICIN:
UN CDIGO C ES t-CORRECTOR SI Y SLO SI LAS ESFERAS DE
RADIO t Sq (v,t), v C, SON DISJUNTOS.
C ES EXACTAMENTE t-CORRECTOR SI Y SLO SI pr(c) = t.
EL RADIO DE EMPAQUETAMIENTO DE UN (n,m,d)-CDIGO
ES:

DEFINICIN: UN CDIGO C An SE DICE PERFECTO CUANDO


cr(C) = pr(C), ES DECIR, CUANDO EXISTE UN ENTERO r TAL QUE Sq
(v,r), v C, SON DISJUNTAS Y RECUBREN An:
EN ESTE CASO LAS ESFERAS DE RADIO r FORMAN UNA
PARTICIN DE An.

TEORA DE LA INFORMACIN - CDIGOS

118

CDIGOS PERFECTOS

EJEMPLO:
H2 (3) (HAMMING): ES UN (7,16,3)-CDIGO BINARIO.
ESTE ES UN CDIGO 1-CORRECTOR.
d = 3 ; t = 1 = pr(H2(3)); m = |H2 (3)| = 16.
VERIFICACIN ACERCA DE SI ESTE CDIGO ES PERFECTO:
|An| = |Z27| = 27 = 128.
SE DEBE VERIFICAR QUE:
LAS ESFERAS DE RADIO 1 RECUBREN Z27.
LA UNIN DE TODAS LAS ESFERAS TIENE 128 ELEMENTOS.
V2(7,1) = |S2(v,1)| = 1 + 7 = 8.
HAY 16 ESFERAS: TIENEN 816 PALABRAS = 128.
EL CDIGO ES PERFECTO.

TEORA DE LA INFORMACIN - CDIGOS

119

CDIGOS PERFECTOS

PROPOSICIN (CONDICIN DE EMPAQUETAMIENTO DE


ESFERAS): SEA C UN (n,m,d)-CDIGO q-ARIO. C ES PERFECTO SI
Y SLO SI d = 2t + 1 ES IMPAR Y ADEMS nVq(n,t) = qn, ES DECIR:

(n,m,d)-CDIGO q-ARIO:

TEORA DE LA INFORMACIN - CDIGOS

120

CDIGOS PERFECTOS

LA EFICIENCIA Y LA CAPACIDAD DE CORREGIR ERRORES SON


INCOMPATIBLES:
PARA CORREGIR ERRORES LAS PALABRAS DEBEN SER
LARGAS, CON LO QUE SE REDUCE LA EFICIENCIA.
SE BUSCAN CDIGOS PTIMOS QUE COMBINEN ESTAS DOS
PROPIEDADES.
DEFINICIN: LA TASA DE CORRECCIN DE ERRORES DE UN
(n,m,d)-CDIGO C ES:

ES EL NMERO DE ERRORES QUE SE CORRIGEN EN RELACIN A LA


LONGITUD DE LAS PALABRAS.

TEORA DE LA INFORMACIN - CDIGOS

121

CDIGOS PERFECTOS

EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

122

CDIGOS PERFECTOS

CUANTO MAYOR SEA LA LONGITUD DEL CDIGO MS AUMENTA


LA TASA DE CORRECCIN DE ERRORES (HASTA EL LMITE DE 0.5).
NO SE CORRIGEN ERRORES CUANDO TODAS LAS PALABRAS DE An
SON PALABRAS DEL CDIGO.
EL PROBLEMA DE CULES SON LOS MEJORES CDIGO AN NO
EST RESUELTO.
LA TASA DE CORRECCIN DE ERRORES EST DADA POR d Y n:
SE FIJAN d Y n Y SE TRATA DE OPTIMIZAR m PARA QUE EL
CDIGO TENGA R LO MAYOR POSIBLE.

TEORA DE LA INFORMACIN - CDIGOS

123

CDIGOS PERFECTOS

SE DEFINE:
Aq(n,d) := MAX {m / EXISTE (n,m,d)-CDIGO q-ARIO}.
UN (n, Aq(n,d),d)-CDIGO SE DICE QUE ES UN CDIGO OPTIMABLE.
PROBLEMA PRINCIPAL DE LA TEORA DE CDIGOS:
DETERMINAR EL VALOR DE Aq(n,d).

TEORA DE LA INFORMACIN - CDIGOS

124

CDIGOS PERFECTOS

SEGN SHANNON EN A MATHEMATICA THEORY OF


COMMUNICATION:
TEOREMA DEL CANAL RUIDOSO: ESTE TEOREMA DEMUESTRA
QUE EXISTEN BUENOS CDIGOS PERO NO DICE CMO
OBTENERLOS.
PARA UN BSC CON PROBABILIDAD DE PASO p LA CAPACIDAD ES:

SE CONSIDERA UN BSC CON CAPACIDAD C(p):


SI R(C) < C(p) ENTONCES PARA CADA > 0 EXISTE UN (n,m)CDIGO C CUYA TASA DE TRANSMISIN ES MAYOR O IGUAL
QUE R Y PARA EL CUAL P(ERROR DE DESCODIFICACIN) < .

TEORA DE LA INFORMACIN - CDIGOS

125

CDIGOS PERFECTOS

EJEMPLO:
BSC CON p = 0.01; C(p) = 0.919 (CASI 92%).
PODEMOS ENCONTRAR UN CDIGO CON R = 0.919 Y CON
PROBABILIDAD DE ERROR ARBITRARIAMENTE BAJA.

TEORA DE LA INFORMACIN - CDIGOS

126

CDIGOS LINEALES

TEORA DE LA INFORMACIN - CDIGOS

127

CDIGOS LINEALES

LOS CDIGOS LINEALES SON ESPACIOS VECTORIALES SOBRE UN


CUERPO FINITO.
LOS ALFABETOS QUE USAREMOS SON CUERPOS FINITOS (K).
Zp = {0,1....p-1}.
q = pr: p PRIMO.
Fq: CUERPO FINITO CON q ELEMENTOS.
EN PARTICULAR, SI q = p (PRIMO), ENTONCES Fq = Fp = Zp.
F2 = Z2 = {0,1}.
F3 = {0,1,2}.
F5 = {0,1,2,3,4}.
DEFINICIN: UN CDIGO LINEAL DE LONGITUD n SOBRE K ES
UN K-SUBESPACIO VECTORIAL C DE Kn.

TEORA DE LA INFORMACIN - CDIGOS

128

CDIGOS LINEALES

K = Z2.

EN EL CASO BINARIO LA SUMA DE DOS PALABRAS DEBE SER UNA


PALABRA DEL CDIGO.

C = {010}: NO ES UN CDIGO LINEAL, YA QUE NO CONTIENE A 000.


C = {000,010,110}: NO ES UN CDIGO LINEAL YA QUE 110 + 010 = 100
C.

TEORA DE LA INFORMACIN - CDIGOS

129

CDIGOS LINEALES

UN CDIGO LINEAL BINARIO TIENE UN NMERO DE PALABRAS


QUE ES POTENCIA DE 2.
UN CDIGO LINEAL C SOBRE K DE LONGITUD n Y DIMENSIN k
SE DICE QUE ES UN [n,k]-CDIGO (LINEAL):
SI LA DISTANCIA ES d, SE DICE QUE ES UN [n,k,d]-CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

130

CDIGOS LINEALES

DEFINICIN: SEA C UN CDIGO (NO NECESARIAMENTE LINEAL)


Y v C UNA PALABRA DEL CDIGO. SE DEFINE EL PESO DE v
COMO EL NMERO w(v) DE SMBOLOS NO NULOS DE v:
v = 10010: w(v) = 2.
PROPOSICIN: SEA C UN CDIGO LINEAL Y u,v C. ENTONCES SE
VERIFICA:
d(u,v) = w(u-v).
w(u) = d(u,0).
DEFINICIN: SEA C UN CDIGO. SE LLAMA PESO DE C (O PESO
MNIMO DE C) A:

PROPOSICIN: SI C ES UN CDIGO LINEAL ENTONCES d(C) =


w(C).

TEORA DE LA INFORMACIN - CDIGOS

131

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

TEORA DE LA INFORMACIN - CDIGOS

132

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: SEA C UN [n,k]-CDIGO LINEAL SOBRE UN CUERPO


K (C Kn). UNA MATRIZ GENERATRIZ DE C ES UNA MATRIZ DE
Mkxn(K) CUYAS FILAS FORMAN UNA BASE DE C.
C = <101101, 011000, 110101, 001010> ES UN [6,3]-CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

133

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

PARA QUE UNA MATRIZ SEA GENERATRIZ SUS FILAS DEBEN SER
UNA BASE DEL CDIGO, DEBEN SER UN CONJUNTO LI
(LINEALMENTE INDEPENDIENTE).
LA MATRIZ DEBE TENER RANGO k (= NMERO DE FILAS).
PROPOSICIN: SI G Mkxn(K) CON k n, G ES MATRIZ
GENERATRIZ DE UN CDIGO LINEAL SOBRE K ([n,k]-CDIGO) SI Y
SLO SI rg(G) = (G) = k.

TEORA DE LA INFORMACIN - CDIGOS

134

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

PROPOSICIN: SEA C UN [n,k]-CDIGO LINEAL SOBRE K Y G


UNA MATRIZ GENERATRIZ DE C:
ENTONCES:

LA SIGUIENTE APLICACIN ES UN ISOMORFISMO DE kESPACIOS VECTORIALES.

INTERESA ENCONTRAR MATRICES GENERATRICES LO MS


SENCILLAS POSIBLES PARA QUE LA DESCODIFICACIN SEA
SENCILLA.

TEORA DE LA INFORMACIN - CDIGOS

135

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: SEA C UN (n,m,d)-CDIGO q-ARIO SOBRE UN


ALFABETO A. SE CONSIDERAN LOS DOS TIPOS DE OPERACIONES
SIGUIENTES:
1) SEA UNA PERMUTACIN DEL CONJUNTO DE NDICES {1, 2,
.... N}. ES UNA APLICACIN BIYECTIVA DE UN CONJUNTO EN SI
MISMO. EJEMPLO:

PARA CADA PALABRA DEL CDIGO u = u1u2 ...un, ui A, SE


SUSTITUYE u POR LA PALABRA u(1) u(2) ... u(n)
(PERMUTACIN POSICIONAL).

TEORA DE LA INFORMACIN - CDIGOS

136

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

2) SEA PARA CADA NDIDE i {1, 2, ....n}, i: A A UNA


PERMUTACIN. SE SUSTITUYE CADA PALABRA DEL CDIGO u
= u1u2 ...un POR u1u2 ... i (ui)... un (PERMUTACIN DE SMBOLOS).
EJEMPLO:
i = 3.

TEORA DE LA INFORMACIN - CDIGOS

137

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: EL CDIGO C ES EQUIVALENTE AL CDIGO C


CUANDO C SE OBTIENE A PARTIR DE C MEDIANTE UNA
SUCESIN FINITA DE OPERACIONES DE LOS 2 TIPOS ANTERIORES.
EJEMPLO:

C = {11120, 10221, 21020, 10120, 22011}

TEORA DE LA INFORMACIN - CDIGOS

138

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

AHORA SE APLICA:

SE APLICA 1:

SE APLICA 4:

TEORA DE LA INFORMACIN - CDIGOS

139

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

ESTA RELACIN ES UNA RELACIN DE EQUIVALENCIA, ES


DECIR, CUMPLE LAS PROPIEDADES REFLEXIVA, SIMTRICA Y
TRANSITIVA.
ESTAS OPERACIONES CONSERVAN TODOS LOS PARMETROS DEL
CDIGO (LONGITUD, TAMAO Y DISTANCIA ENTRE PALABRAS):
DOS
CDIGOS
EQUIVALENTES
TIENEN
LOS
MISMOS
PARMETROS Y LA MISMA DISTANCIA MNIMA, CON LO QUE
TIENEN LA MISMA CAPACIDAD DE CORREGIR ERRORES.
PROPOSICIN: SEA C UN CDIGO DE LONGITUD n SOBRE EL
ALFABETO A Y u An. ENTONCES EXISTE UN CDIGO C
EQUIVALENTE A C Y TAL QUE u C.

TEORA DE LA INFORMACIN - CDIGOS

140

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: UNA MATRIZ GENERATRIZ G DE UN [n,k]-CDIGO


SE DICE NORMALIZADA O ESTNDAR CUANDO ES DE LA FORMA
SIGUIENTE:

Ik ES LA MATRIZ IDENTIDAD DE Mk(K) (MATRICES


CUADRADAS k X k).
SI UN CDIGO C TIENE UNA MATRIZ GENERATRIZ ESTNDAR
SE DICE QUE C ES UN CDIGO SISTEMTICO.

TEORA DE LA INFORMACIN - CDIGOS

141

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EJEMPLO:
[5,3]-CDIGO.

A: k FILAS Y n-k COLUMNAS.


A Mkx(n-k)(K).
n = k, Kn = C.

TEORA DE LA INFORMACIN - CDIGOS

142

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

[n,n]-CDIGO.

UN CDIGO DE ESTE TIPO ES EL CDIGO ASCII ESTNDAR.

TEORA DE LA INFORMACIN - CDIGOS

143

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EL CDIGO ASCII CON BIT DE PARIDAD:


ES UN (8,128,2)-CDIGO.
ES UN CDIGO LINEAL YA QUE SI SUMAMOS 2 PALABRAS CON
UN NMERO PAR DE UNOS OBTENEMOS UNA PALABRA CON
UN NMERO PAR DE UNOS.
ES UN [8,7]-CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

144

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

PROPOSICIN: SE VERIFICAN LAS SIGUIENTE PROPIEDADES:


I) TODO CDIGO LINEAL ES EQUIVALENTE A UN CDIGO
SISTEMTICO.
II) UN CDIGO SISTEMTICO POSEE UNA NICA MATRIZ
GENERATRIZ ESTNDAR.
III) SI C ES UN [n,k]-CDIGO SISTEMTICO ENTONCES PARA
CADA u = u1u2 ...un Kk EXISTE UNA NICA PALABRA DE
CDIGO Cu C DE LA FORMA Cu = u1u2 ...uk xk+1...xn.
TOMAMOS TODO Kk Y LE AADIMOS n-k SMBOLOS DE TAL
FORMA QUE EL CDIGO SIGA SIENDO UN EV.
LAS k PRIMERAS COMPONENTES SE LLAMAN SMBOLOS DE
INFORMACIN Y LAS n-k SIGUIENTES SE LLAMAN SMBOLOS
DE CONTROL O SMBOLOS DE REDUNDANCIA.

TEORA DE LA INFORMACIN - CDIGOS

145

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

CDIGO ASCII CON BIT DE PARIDAD:


LAS 7 PRIMERAS POSICIONES NO CORRIGEN ERRORES,
FORMAN TODO Z72.
SE AADE UN SMBOLO DE CONTROL PARA PERMITIR LA
DETECCIN DE ERRORES.

TEORA DE LA INFORMACIN - CDIGOS

146

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DIFERENCIA ENTRE LA DESCODIFICACIN DE FUENTE Y LA


DESCODIFICACIN DE CANAL:
LA DESCODIFICACIN DE CANAL CONSISTE EN:
USAR UN CDIGO DETECTOR DE ERRORES.
RECIBIR LAS PALABRAS TRANSMITIDAS.
SI STAS NO SON PALABRAS DEL CDIGO:
POR ALGN MTODO SUSTITUIR LA PALABRA RECIBIDA
POR UNA PALABRA DEL CDIGO.
LA DESCODIFICACIN DE LA FUENTE CONSISTE EN:
TOMAR LA INFORMACIN Y PASARLA A SU FORMATO
ORIGINAL.
EN EL CASO DE LOS CDIGOS LINEALES LA CODIFICACIN Y
DESCODIFICACIN DE FUENTE ES BASTANTE EFICIENTE.
TEORA DE LA INFORMACIN - CDIGOS

147

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

SEA G LA MATRIZ GENERATRIZ DE UN [n,k]-CDIGO C SOBRE K.

ESTA APLICACIN ES UN ISOMORFISMO DE EV.


PARA CODIFICAR SE CODIFICA POR BLOQUES:
SE CONSTRUYE LA FUENTE COMO ELEMENTOS DE Kk.
SE APLICA EL ISOMORFISMO PASAMOS AL CDIGO C.

TEORA DE LA INFORMACIN - CDIGOS

148

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

LA DESCODIFICACIN DE FUENTE CONSISTE EN:


UNA VEZ QUE SE HA RECIBIDO xG RECUPERAR x.
ESTO SE HACE RESOLVIENDO UN SISTEMA DE ECUACIONES
LINEALES.

TEORA DE LA INFORMACIN - CDIGOS

149

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

ESTE SISTEMA TIENE RANGO k:


TIENE SOLUCIN NICA.
HAY k ECUACIONES LI (LINEALMENTE INDEPENDIENTES):
PODEMOS ELIMINAR n-k ECUACIONES.
EL NMERO DE INCGNITAS ES IGUAL AL RANGO DEL
SISTEMA.
LA SOLUCIN ES NICA.

TEORA DE LA INFORMACIN - CDIGOS

150

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: SEA C UN [n,k]. EL CDIGO DUAL (CDIGO


ORTOGONAL) DE C ES EL ESPACIO VECTORIAL ORTOGONAL DE C
CON RESPECTO AL PRODUCTO ESCALAR ORDINARIO DE Kn, ES
DECIR:

PROPOSICIN: SI C ES UN [n,k]-CDIGO ENTONCES C ES UN [n,nk]-CDIGO.

TEORA DE LA INFORMACIN - CDIGOS

151

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EJEMPLO:

TEORA DE LA INFORMACIN - CDIGOS

152

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: SE LLAMA MATRIZ DE CONTROL (PARITY-CHECK


MATRIX) DE C A CUALQUIER MATRIZ GENERATRIZ DE C. SI H ES
UNA MATRIZ DE CONTROL DE C ENTONCES:

SI C ES UN [n,k]-CDIGO Y H ES UNA MATRIZ DE CONTROL DE C,


H M(n-k)xn(K).

TEORA DE LA INFORMACIN - CDIGOS

153

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: UN CDIGO LINEAL C SE DICE AUTODUAL


CUANDO COINCIDE CON SU DUAL: C = C .
PROPOSICIN: SEA C UN CDIGO LINEAL SISTEMTICO QUE
TIENE UNA MATRIZ GENERATRIZ ESTNDAR G = (Ik | A).
ENTONCES P = (At | -In-k) ES UNA MATRIZ DE CONTROL DE C.
DEFINICIN: SE DICE QUE LA MATRIZ DE CONTROL P DEL
CDIGO C ES UNA MATRIZ DE CONTROL ESTNDAR CUANDO ES
DE LA FORMA P = (B | In-k).
SEA C EL CDIGO BINARIO DE MATRIZ GENERATRIZ:

TEORA DE LA INFORMACIN - CDIGOS

154

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

SE TIENE C = H2 (3) (CDIGO DE HAMMING); HALLAR UNA


MATRIZ DE CONTROL DE C.

TEORA DE LA INFORMACIN - CDIGOS

155

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

CARACTERSTICAS DE LAS MATRICES GENERATRICES Y LAS


MATRICES DE CONTROL:
LA VENTAJA DE LA MATRIZ GENERATRIZ ES QUE A PARTIR DE
ELLA ES MS FCIL OBTENER LAS PALABRAS DEL CDIGO (CL
(COMBINACIN LINEAL) DE SUS FILAS).
PARA EL CLCULO DE LA DISTANCIA MNIMA ES MEJOR TENER
LA MATRIZ DE CONTROL:
A PARTIR DE LA MATRIZ GENERATRIZ NO SE CONOCE NINGN
MTODO DIRECTO PARA OBTENER w(C).
A PARTIR DE LA MATRIZ DE CONTROL S.
PROPOSICIN: SEA P UNA MATRIZ DE CONTROL DE UN [n,k,d]CDIGO LINEAL:
ENTONCES LA DISTANCIA MNIMA d ES EL MENOR ENTERO
POSITIVO r PARA EL CUAL EXISTEN r COLUMNAS
LINEALMENTE DEPENDIENTES EN LA MATRIZ P.
TEORA DE LA INFORMACIN - CDIGOS

156

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

LOS
CDIGOS
LINEALES
TIENEN
UN
MTODO
DE
DESCODIFICACIN (DE CANAL) MUY BUENO.
SEA C UN [n,k]-CDIGO LINEAL Y H UNA MATRIZ DE CONTROL
DE C, H M(n-k)xn(K). LA MATRIZ H DEFINE UNA APLICACIN
LINEAL:

DEFINICIN: SUPONGAMOS QUE SE TRANSMITE LA PALABRA x


C Kn Y QUE LA PALABRA RECIBIDA ES y Kn. ENTONCES A LA
DIFERENCIA = y x Kn SE LE LLAMA PALABRA DE ERROR.
SE PUEDE DEMOSTRAR QUE:

TEORA DE LA INFORMACIN - CDIGOS

157

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DEFINICIN: SEA C UN [n,k]-CDIGO CON MATRIZ DE CONTROL


H:
DADO x Kn SE LLAMA SNDROME DE x A LA PALABRA h(x) =
xHt Kn-k.
x C SI Y SLO SI EL SNDROME DE x ES 0.
PROPOSICIN: SEA C UN [n,k]-CDIGO LINEAL CON MATRIZ DE
CONTROL H:
SI x,y Kn, x E y TIENEN EL MISMO SNDROME SI Y SLO SI
PERTENECEN A LA MISMA CLASE DEL ESPACIO COCIENTE
Kn/C.
LA DESCODIFICACIN POR DISTANCIA MNIMA CONSISTE EN:
BUSCAR LA PALABRA DE PESO MNIMO ENTRE TODAS LAS
QUE TIENEN EL MISMO SNDROME QUE LA PALABRA
RECIBIDA y.
CALCULAR x = y - .

TEORA DE LA INFORMACIN - CDIGOS

158

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

ESQUEMA:
SE CALCULA EL SNDROME DE LA PALABRA RECIBIDA y, h(y) =
yHt.
SE DETERMINA LA CLASE LATERAL ASOCIADA A ESTE
SNDROME, y+C.
SE BUSCA EN ESTA CLASE LA PALABRA DE PESO MNIMO .
SE CALCULA x = y - .
SI C ES UN CDIGO t-CORRECTOR Y EN LA TRANSMISIN SE HAN
COMETIDO t O MENOS ERRORES:
EN LA CLASE y+C HAY UNA NICA PALABRA DE PESO MENOR
O IGUAL QUE y QUE ES LA PALABRA DE ERROR .

TEORA DE LA INFORMACIN - CDIGOS

159

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

DESCODIFICACIN POR SNDROME:


SE CONSTRUYE LA TABLA ESTNDAR:
SEA C UN [n,k]-CDIGO DE TAMAO m(=qk), C Kn.

TEORA DE LA INFORMACIN - CDIGOS

160

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

SEA u2 UNA PALABRA DE Kn-C DE PESO MINIMAL. LA 2 FILA EST


FORMADA POR LAS PALABRAS DE u2+C.
SEA u3 UNA PALABRA DE Kn-C QUE NO PERTENECE A u2+C DE
PESO MINIMAL.

SE REPITE ESTO qn-k VECES.


Kn ES LA UNIN DISJUNTA DE LAS CLASE u+C.
LAS PALABRAS DE LA 1 COLUMNA DE LA TABLA ESTNDAR SE
LLAMAN LDERES DE CLASE Y TIENEN PESO MINIMAL DENTRO
DE LA CLASE.
SI C ES t-CORRECTOR, CUALQUIER PALABRA DE Kn DE PESO
MENOR O IGUAL QUE t ES LDER DE CLASE.
TEORA DE LA INFORMACIN - CDIGOS

161

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EN EL CASO BINARIO EL CLCULO DEL SNDROME SE REALIZA


TOMANDO LA MATRIZ DE CONTROL:
SE CONSIDERAN LAS COMPONENTES NO NULAS DE LA
PALABRA RECIBIDA.
SE SUMAN LAS COLUMNAS DE LA MATRIZ DE CONTROL QUE
OCUPAN LAS POSICIONES NO NULAS DE LA PALABRA
RECIBIDA.
EJEMPLO:
SEA C EL CDIGO CON MATRIZ DE CONTROL:

TEORA DE LA INFORMACIN - CDIGOS

162

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

CONSTRUIR LA TABLA ESTNDAR Y DESCODIFICAR LAS


PALABRAS RECIBIDAS: 11101, 00110 Y 01101.
EN PRIMER LUGAR SE DETERMINA UNA MATRIZ GENERATRIZ
PARA HALLAR LAS PALABRAS DEL CDIGO.
C ES UN [5,2]-CDIGO. SI SE CALCULA LA MATRIZ DE CONTROL
DEL CDIGO DUAL SE OBTIENE UNA MATRIZ GENERATRIZ DEL
DUAL DEL DUAL, QUE ES EL CDIGO C.
H ES UNA MATRIZ DE CONTROL ESTNDAR AS EL CDIGO ES
SISTEMTICO.

TEORA DE LA INFORMACIN - CDIGOS

163

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

LA DISTANCIA MNIMA ES EL NMERO MNIMO DE COLUMNAS


LD (LINEALMENTE DEPENDIENTES) DE LA MATRIZ DE CONTROL.
rg(H) = 3 4 COLUMNAS SERN LD.
NO HAY NINGUNA COLUMNA QUE SEA 0, AS d > 1.
DOS COLUMNAS LD, EN EL CASO BINARIO, SERAN IGUALES,
COMO NO HAY DOS COLUMNAS IGUALES d > 2.
HAY 3 COLUMNAS LD (1 = 4 + 5), AS d = 3.
EL CDIGO ES 1-CORRECTOR.

TEORA DE LA INFORMACIN - CDIGOS

164

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

LA TABLA ESTNDAR SE CONSTRUYE COMO SIGUE:


LAS PALABRAS LDERES INDICAN CON 1 DNDE SE PRODUCE
EL ERROR.
LA SEGUNDA Y LA TERCERA COLUMNA SON LAS PALABRAS
DEL CDIGO MS EL LDER CORRESPONDIENTE:
ESTO SIGNIFICA QUE ALL ESTARN LAS PALABRAS
ERRNEAS QUE SE PUEDEN ASOCIAR A UNA VLIDA, QUE
SER LA PRIMERA DE LA COLUMNA.
LOS SNDROMES SE CALCULAN MULTIPLICANDO EL LDER
POR H TRASPUESTA.
LA CUARTA COLUMNA ES LA SUMA DEL LDER MS LAS
PALABRAS DE LAS COLUMNAS SEGUNDA Y TERCERA.
SE PARTE DE LAS PALABRAS 10011 Y 01101 QUE PROVIENEN DE
G.

TEORA DE LA INFORMACIN - CDIGOS

165

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

TEORA DE LA INFORMACIN - CDIGOS

166

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EN UN CDIGO t-CORRECTOR TODAS LAS PALABRAS DE PESO


MENOR O IGUAL QUE t VAN A SER LDERES DE CLASE.
AHORA SE DEBE TOMAR LA PALABRA DE PESO 2 QUE NO SE HAYA
PUESTO (HASTA LA 6 FILA).
SE PONE UNA PALABRA DE PESO 2 Y SE OBTIENE SU SNDROME:
SI STE YA HA SALIDO ES QUE LA PALABRA YA HA SALIDO Y
SE DEBE TOMAR OTRA PALABRA.

NO PUEDE HABER OCURRIDO UN ERROR YA QUE SE HA RECIBIDO


UNA PALABRA DEL CDIGO.
TAMPOCO SE PUEDEN HABER COMETIDO 2 ERRORES, PERO S SE
PUDIERON COMETER 3 ERRORES.
TEORA DE LA INFORMACIN - CDIGOS

167

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

h(y) = 011

SE BUSCA EL LDER DE CLASE DE ESTE SNDROME.

ESTA ES LA NICA PALABRA QUE SE PUEDE OBTENER SI SE HA


PRODUCIDO UN NICO ERROR.
SI HUBIESEN OCURRIDO 2 ERRORES LA PALABRA REAL PODRA
SER OTRA PERO ESTE CDIGO SLO CORRIGE UN ERROR.

TEORA DE LA INFORMACIN - CDIGOS

168

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

ESTA PALABRA ES LA PALABRA DE CDIGO QUE APARECE EN LA


COLUMNA DE LA PALABRA EN LA TABLA.

EL LDER DE CLASE ES 11000, QUE TIENE PESO 2:


SI SE HAN COMETIDO AL MENOS 2 ERRORES, COMO EL
CDIGO ES 1-CORRECTOR NO SE TENDR LA SEGURIDAD DE
HACER LA DESCODIFICACIN CORRECTA.
SE DESCODIFICARA COMO:

TEORA DE LA INFORMACIN - CDIGOS

169

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

SI SE HAN COMETIDO 2 ERRORES LA PALABRA RECIBIDA PODRA


HABER SIDO 00000.
SI SE HAN COMETIDO 2 ERRORES CUALQUIERA DE ESTAS DOS
PALABRAS PODRA HABER SIDO TRANSMITIDA.
ESTE MTODO TIENE UN INCONVENIENTE YA QUE LA TABLA
ESTNDAR PUEDE SER GRANDE:
EN UN CDIGO BINARIO DE LONGITUD 100 EN LA TABLA
HABRA QUE PONER 2100 PALABRAS (SIN CONTAR
SNDROMES).
ESTO HACE QUE PARA CDIGOS DE ESTOS TAMAOS LA
TABLA SEA INABORDABLE.
EN ESTOS CASOS SE UTILIZARA UNA TABLA REDUCIDA CON 2
COLUMNAS, LA COLUMNA DE LOS LDERES DE CLASE Y LA DE
LOS SNDROMES.
SE TENDRA LO SIGUIENTE:
TEORA DE LA INFORMACIN - CDIGOS

170

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES

EN PRIMER LUGAR SE COLOCAN LAS PALABRAS DE PESO UNO Y


SU SNDROME; LUEGO LAS DE PESO 2.
PROPOSICIN: SI C ES UN [n,k,d]-CDIGO LINEAL ENTONCES d
n-k+1.
DEFINICIN: UN [n,k,d]-CDIGO LINEAL C SE DICE QUE ES UN
CDIGO MDS (MAXIMUN DISTANCE SEPARABLE CODE) CUANDO
d = n-k+1.
TEORA DE LA INFORMACIN - CDIGOS

171

CDIGO DE HAMMING

TEORA DE LA INFORMACIN - CDIGOS

172

CDIGO DE HAMMING

LOS LLAMADOS CDIGOS ESPECIALES SON LOS CDIGOS DE:


HAMMING.
GOLAY.
REED-MULLER.
ESTOS
CDIGOS
TIENEN
UN
PROCEDIMIENTO
DE
DESCODIFICACIN ESPECIAL.
SE TIENE UN [n,k]-CDIGO LINEAL; SU DISTANCIA MNIMA ES EL
MNIMO
NMERO
DE
COLUMNAS
LD
(LINEALMENTE
DEPENDIENTES) DE UNA MATRIZ DE CONTROL.
SEA d LA DISTANCIA MNIMA:
SI SE TOMAN d-1 COLUMNAS CUALESQUIERA DE CUALQUIER
MATRIZ
DE
CONTROL
SERN
LI
(LINEALMENTE
INDEPENDIENTES).
HAY UN GRUPO DE d COLUMNAS LD (LINEALMENTE
DEPENDIENTES).

TEORA DE LA INFORMACIN - CDIGOS

173

CDIGO DE HAMMING

SE CONSTRUIR UN [n,k,3]-CDIGO LINEAL DE TAL FORMA QUE


SU MATRIZ DE CONTROL TENGA:
DOS COLUMNAS CUALESQUIERA LI.
TRES COLUMNAS LD.
EL CDIGO DE HAMMING q-ARIO DE ORDEN r (r Z, r 2) SER
UN CDIGO q-ARIO Hq(r) QUE TIENE UNA MATRIZ DE CONTROL
Hq(r) CON:
r = n k FILAS.
EL MXIMO NMERO POSIBLE DE COLUMNAS (SIENDO d = 3).
LAS COLUMNAS DE Hq(r) SON VECTORES DE Frq.
LA MATRIZ DE CONTROL DE Hq(r) ES UNA MATRIZ QUE TIENE r
FILAS Y n = (qr-1)/(q-1) COLUMNAS:
EL CDIGO Hq(r) ES UN [n,k,3]-CDIGO DONDE k = n r.
ESTA MATRIZ SE LLAMA MATRIZ DE HAMMING Y NO ES
NICA.

TEORA DE LA INFORMACIN - CDIGOS

174

CDIGO DE HAMMING

TEORA DE LA INFORMACIN - CDIGOS

175

CDIGO DE HAMMING

TEORA DE LA INFORMACIN - CDIGOS

176

CDIGO DE HAMMING

ESTOS FUERON LOS PRIMEROS CDIGOS CORRECTORES DE


ERRORES.
PROPOSICIN: LOS CDIGOS DE HAMMING SON CDIGOS
PERFECTOS.

PARA LA DESCODIFICACIN DE LOS CDIGOS DE HAMMING SE


PARTE DE LA SIGUIENTE PROPOSICIN.
PROPOSICIN: SI UNA PALABRA x H2(r) SUFRE UN NICO
ERROR RESULTANDO LA PALABRA y, ENTONCES EL SNDROME DE
y, h(y), ES LA REPRESENTACIN BINARIA DE LA POSICIN DEL
ERROR DE LA PALABRA RECIBIDA.

TEORA DE LA INFORMACIN - CDIGOS

177

CDIGO DE HAMMING

SE SUPONE QUE EL ERROR SE HA COMETIDO EN LA POSICIN i:


y = x + i,
i = 0 ... 0 1 0 ... 00 ES LA PALABRA DE ERROR.
i SE CORRESPONDE CON EL 1.
ENTONCES:

LA COLUMNA i-SIMA ES LA REPRESENTACIN BINARIA DEL


NMERO i, i ES LA POSICIN DEL ERROR.
CONOCIDO u SE CORRIGE EL ERROR CALCULANDO x = y - i,
CAMBIANDO EL i-SIMO BIT DE y.
[7,4,3]-CDIGO.
SE SUPONE QUE SE RECIBE LA PALABRA y = 1101110.

TEORA DE LA INFORMACIN - CDIGOS

178

CDIGO DE HAMMING

TEORA DE LA INFORMACIN - CDIGOS

179

CDIGO DE HAMMING

100 = 4 EL ERROR SE HA COMETIDO EN LA POSICIN 4.


LA PALABRA DE ERROR ES e4 = (0001000).
LA PALABRA EMITIDA ES x = y e4 = 1100110.
A ESTE MTODO DE DESCODIFICACIN SE LE LLAMA
DESCODIFICACIN DE HAMMING.
PROPOSICIN: SE SUPONE QUE UNA PALABRA x Hq(r) SUFRE UN
NICO ERROR, RESULTANDO LA PALABRA RECIBIDA y:
SEA h(y) Kr EL SNDROME DE LA PALABRA RECIBIDA Y K
EL SMBOLO MS SIGNIFICATIVO DE h(y).
SI LA COLUMNA DE Hq(r) QUE CONTIENE A -1h(y) ES LA
COLUMNA i-SIMA ENTONCES LA PALABRA DE ERROR ES ei =
(00 .... 00 .... 0), CON EN LA POSICIN i.
SE VERIFICA QUE x = y ei.

TEORA DE LA INFORMACIN - CDIGOS

180

CDIGO DE HAMMING

EJEMPLO:
SE SUPONE QUE SE TIENE UN H3(3) Y QUE SE RECIBE LA PALABRA
y = 1101112211201. SE DEBE DESCODIFICAR ESTA PALABRA.

TEORA DE LA INFORMACIN - CDIGOS

181

CDIGO DE HAMMING

h(y) NO ES UNA COLUMNA DE H3(3).


(201) = 2 (102).
(102) ES LA 7 COLUMNA DE H3(3):
LA PALABRA DE ERROR ES e7 = 2(0000001000000).
LA PALABRA EMITIDA ES x = y 2 e7 = 1101110211201.

TEORA DE LA INFORMACIN - CDIGOS

182

CDIGO DE GOLAY

TEORA DE LA INFORMACIN - CDIGOS

183

CDIGO DE GOLAY

SE CONSIDERA EL CDIGO DE GOLAY BINARIO g24.


EL CDIGO g24 ES EL CDIGO LINEAL BINARIO DE MATRIZ
GENERATRIZ G:

TEORA DE LA INFORMACIN - CDIGOS

184

CDIGO DE GOLAY

A PARTIR DE LA 3 FILA LAS FILAS SE OBTIENEN DESPLAZANDO


LA FILA ANTERIOR UNA POSICIN A LA IZQUIERDA.
SE CALCULAR LA DISTANCIA MNIMA DE ESTE CDIGO.
PROPOSICIN: g24 ES UN CDIGO AUTODUAL:

PROPOSICIN: LA MATRIZ (A|I12) ES UNA MATRIZ GENERATRIZ


DE g24.
CUANDO UN CDIGO ES AUTODUAL LA MATRIZ GENERATRIZ Y
LA MATRIZ DE CONTROL SON IGUALES.

TEORA DE LA INFORMACIN - CDIGOS

185

CDIGO DE GOLAY

PROPOSICIN: SI C ES UN CDIGO BINARIO Y u,v C, ENTONCES:

TEORA DE LA INFORMACIN - CDIGOS

186

CDIGO DE GOLAY

PROPOSICIN: EL PESO DE CADA PALABRA DE g24 ES DIVISIBLE


POR 4.
PROPOSICIN: g24 NO TIENE PALABRAS DE PESO 4.
g24 ES UN [24,12,8]-CDIGO. ESTE CDIGO SE US PARA
TRANSMITIR IMGENES DE JPITER Y SATURNO (VOYAGER 19791981).
m = 212 = 4096.
SEGN VERA PRESS (1968) CUALQUIER [24,12,8]-CDIGO LINEAL
BINARIO ES EQUIVALENTE POR MLTIPLOS ESCALARES (EN LA
MATRIZ GENERATRIZ SE PUEDEN MULTIPLICAR LAS COLUMNAS
POR UN ESCALAR) AL CDIGO g24.
SEGN DELSORTE-GOETHOLS (1975) LOS CDIGOS DE GOLAY SON
LOS NICOS CDIGOS LINEALES CON ESTOS PARMETROS.
CUALQUIER (24,212,8)-CDIGO BINARIO ES EQUIVALENTE POR
MLTIPLOS ESCALARES A g24.

TEORA DE LA INFORMACIN - CDIGOS

187

CDIGO DE GOLAY

EL CDIGO DE GOLAY BINARIO g23:


SE OBTIENE A PARTIR DE g24 PINCHANDO UNA COMPONENTE:
USUALMENTE SE ELIMINA EL LTIMO SMBOLO DE TODAS
LAS PALABRAS.
n = 23, m = 212.
LA DISTANCIA MNIMA O ES LA MISMA O DISMINUYE UNA
UNIDAD:
EN ESTE CASO AL ELIMINAR LA LTIMA COLUMNA DE LA
MATRIZ DE CONTROL DE g24 LA LTIMA FILA TIENEN PESO 7,
AS d = 7.
g23 ES UN [23,12,7]-CDIGO.
g23 ES PERFECTO.
g24 SE OBTIENE A PARTIR DE g23 AADINDOLE UN BIT DE
PARIDAD.

TEORA DE LA INFORMACIN - CDIGOS

188

CDIGO DE GOLAY

LOS CDIGOS DE GOLAY TERNARIOS:


g12 TIENE POR MATRIZ GENERATRIZ G = (I6|B) DONDE

A PARTIR DE LA 3 FILA UNA FILA SE OBTIENE A PARTIR DE LA


ANTERIOR DESPLAZNDOLA UNA POSICIN HACIA LA DERECHA.

TEORA DE LA INFORMACIN - CDIGOS

189

CDIGO DE GOLAY

PROPIEDADES:
g12 ES AUTODUAL.
B ES SIMTRICA.
g12 ES UN [12,6,6]-CDIGO.
EL CDIGO TERNARIO g11 OBTENIDO PINCHANDO g12 ES UN
[11,6,5]-CDIGO PERFECTO.

TEORA DE LA INFORMACIN - CDIGOS

190

CDIGO DE REED MULLER

TEORA DE LA INFORMACIN - CDIGOS

191

CDIGO DE REED MULLER

ESTOS CDIGOS SON FCILES DE DESCODIFICAR.


DEFINICIN: UNA FUNCIN DE BOOLE DE m VARIABLES ES UNA
APLICACIN:

LAS FUNCIONES DE BOOLE SE SUELEN REPRESENTAR DANDO SU


TABLA DE VERDAD.
m = 3.

TEORA DE LA INFORMACIN - CDIGOS

192

CDIGO DE REED MULLER

PARA DAR LA FUNCIN BOOLEANA BASTA CON QUEDARSE CON


LA LTIMA FILA YA QUE DESCRIBE COMPLETAMENTE LA
FUNCIN:
SI SE ASUME QUE SIEMPRE SE TIENE EL MISMO ORDEN.
EXISTE UNA CORRESPONDENCIA BIUNVOCA ENTRE FUNCIONES
DE BOOLE DE m VARIABLES Y PALABRAS BINARIAS DE
LONGITUD 2m.

TEORA DE LA INFORMACIN - CDIGOS

193

CDIGO DE REED MULLER

EN Bm SE DEFINE UNA SUMA:

TEORA DE LA INFORMACIN - CDIGOS

194

CDIGO DE REED MULLER

SE DEFINE UNA MULTIPLICACIN ESCALAR:

SE DEFINEN LOS POLINOMIOS DE BOOLE COMO LOS ELEMENTOS


DEL SIGUIENTE CONJUNTO:

TEORA DE LA INFORMACIN - CDIGOS

195

CDIGO DE REED MULLER

HAY mk MONOMIOS DE GRADO k EN m VARIABLES.


TODOS LOS POSIBLES MONOMIOS DE m VARIABLES SON:

PROPOSICIN: LA APLICACIN SIGUIENTE ES UN ISOMORFISMO


DE Z2-ESPACIOS VECTORIALES Y A CADA POLINOMIO DE
BOOLE F(x1,....xm) LE HACE CORRESPONDER LA FUNCIN DE
BOOLE f(x1,....xm) DADA POR f(x1,....xm) = F(x1,....xm).

TEORA DE LA INFORMACIN - CDIGOS

196

CDIGO DE REED MULLER

DEFINICIN: SEA m UN ENTERO POSITIVO 0 r m. SE DEFINE EL


CDIGO DE REED-MULLER R(r,m), DE LONGITUD 2m Y ORDEN r
COMO EL CONJUNTO DE LAS PALABRAS BINARIAS DE Z2m2
ASOCIADAS A POLINOMIOS DE BOOLE DE Bm QUE TIENEN GRADO
MENOR O IGUAL QUE r.

TEORA DE LA INFORMACIN - CDIGOS

197

CDIGO DE REED MULLER

EJEMPLOS:

TEORA DE LA INFORMACIN - CDIGOS

198

CDIGO DE REED MULLER

R(1,3).
LOS POLINOMIOS DE BOOLE DE 3 VARIABLES Y GRADO MENOR O
IGUAL QUE 1 SON DE LA FORMA:

LOS 4 MONOMIOS FORMAN UNA BASE DEL ESPACIO DE LOS


POLINOMIOS.
LA PALABRA DE R(1,3) CORRESPONDIENTE A ESTE POLINOMIO
SER:

LAS PALABRAS ENTRE PARNTESIS SON LOS POLINOMIOS QUE


CORRESPONDEN A LOS POLINOMIOS DE BOOLE DE 4 VARIABLES.

TEORA DE LA INFORMACIN - CDIGOS

199

CDIGO DE REED MULLER

TEORA DE LA INFORMACIN - CDIGOS

200

CDIGO DE REED MULLER

EXCEPTO LA PALABRA 1 Y LA 0 TODAS LAS PALABRAS TIENEN 4


UNOS Y 4 CEROS.
EL PESO MNIMO ES 4, AS ESTE CDIGO TIENE DISTANCIA
MNIMA 4.
PROPOSICIN: SEA F(x1...xm) = xm + p(x1...xm-1) DONDE p(x1...xm-1) ES
UN POLINOMIO DE BOOLE:
ENTONCES LA FUNCIN DE BOOLE INDUCIDA POR F TOMA
LOS VALORES 0 Y 1 EL MISMO NMERO DE VECES, ES DECIR,
2m-1 VECES.

PROPOSICIN: TODAS LAS PALABRAS DE R(1,m) TIENEN PESO


MNIMO 2m-1, EXCEPTO LA PALABRA 00...0 Y LA PALABRA 11...1:
EN CONSECUENCIA LA DISTANCIA MNIMA DE R(1,m) ES 2m-1.

TEORA DE LA INFORMACIN - CDIGOS

201

CDIGO DE REED MULLER

EN LOS CDIGOS DE REED-MULLER m NO ES EL TAMAO DEL


CDIGO SI NO EL NMERO DE VARIABLES DEL POLINOMIO DE
BOOLE QUE LE CORRESPONDE.
PROPOSICIN: EL CDIGO DE REED-MULLER R(r,m) TIENE
LONGITUD 2m Y DIMENSIN:

LA TASA DE CDIGO ES:

TEORA DE LA INFORMACIN - CDIGOS

202

CDIGO DE REED MULLER

EJEMPLO: DETERMINAR CULES DE LAS SIGUIENTES PALABRAS


PERTENECEN AL CDIGO R(2,4):
a) 1101 1110 0001 1001.
b) 0011 0101 0011 1010.
ESTE CDIGO TIENE LONGITUD 16; SE DEBE VER QUE LOS
POLINOMIOS DE BOOLE QUE INDUCEN ESTAS PALABRAS TIENEN
GRADO MENOR O IGUAL QUE 2.

TEORA DE LA INFORMACIN - CDIGOS

203

CDIGO DE REED MULLER

ESTE POLINOMIO DE BOOLE TIENE GRADO 4. LA PALABRA NO


PERTENECE A R(2,4).

ESTA PALABRA PERTENECE A R(2,4).


DEFINICIN: SEA C1 UN (n,m1,d1)-CDIGO LINEAL Y C2 UN
(n,m2,d2)-CDIGO LINEAL SOBRE UN CUERPO K. SE DEFINE UN
CDIGO LINEAL SOBRE K:

u(u+v) ES LA YUXTAPOSICIN DE LAS PALABRAS u Y u+v.

TEORA DE LA INFORMACIN - CDIGOS

204

CDIGO DE REED MULLER

PROPOSICIN: C1 C2 ES UN (2n,m1m2,d)-CDIGO CON d=


min{2d1,d2}.
PROPOSICIN: SEA 0 < r < m; SE VERIFICA QUE R(r,m) = R(r,m-1)
R(r-1,m-1).

TEORA DE LA INFORMACIN - CDIGOS

205

CDIGO DE REED MULLER

COROLARIO: EL CDIGO DE REED-MULLER R(m-1,m) EST


FORMADO POR TODAS LAS PALABRAS BINARIAS DE LONGITUD 2m
Y PESO PAR:
POR TANTO SI r < m R(r,m) SLO CONTIENE PALABRAS DE
PESO PAR.
EJEMPLO: R(2,3) EST FORMADO POR LAS PALABRAS BINARIAS
DE LONGITUD 8 Y PESO PAR; UNA MATRIZ GENERATRIZ ES:

TEORA DE LA INFORMACIN - CDIGOS

206

CDIGO DE REED MULLER

ESTA ES LA MATRIZ GENERATRIZ DEL CDIGO ASCII CON


PARIDAD.
PROPOSICIN: R(r,m) TIENE DISTANCIA MNIMA 2m-r POR TANTO
TIENE LOS SIGUIENTES PARMETROS:

EJEMPLO: MARINER 4 (1965):


22 FOTOS DE MARTE DE 200 X 200 DE 64 NIVELES.
26 NIVELES 6 Z62 ={000000,...,111111}.
8 1/3 BITS/S, 1 FOTO 8 HORAS.

TEORA DE LA INFORMACIN - CDIGOS

207

CDIGO DE REED MULLER

EJEMPLO: MARINER 9 (1969-1971):


700 X 832 = 582480 PIXELS, 64 NIVELES.
p = 0.05 , 1-p = 0.95, (0.95)6 0.74.
APROXIMADAMENTE EL 26% DE LA IMAGEN SERA ERRNEA.
SE INTRODUCEN APROXIMADAMENTE 30 BITS DE REDUNDANCIA.
SI TOMAMOS UN CDIGO DE REPETICIN TENEMOS d = 5 Y EL
CDIGO CORREGIRA 2 ERRORES.
PROBABILIDAD DE ERROR = 1%.
SIN CORRECCIN DE ERRORES HABRA UNOS 150000 PIXELS
ERRNEOS POR FOTO:
CON EL CDIGO DE REPETICIN HABRA 5800 PIXELS
ERRNEOS POR FOTO.
SE US R(1,5), QUE ES UN [32,6,16]-CDIGO, EN ESTE CASO p = 0.01;
CON ESTE CDIGO HABRA UNOS 58 PIXELS ERRNEOS POR FOTO.
16200 BITS/S.
700 X 832 X 32 BITS/PIXEL = 18636800 BITS.
1 IMAGEN 115000 S 32 HORAS.
TEORA DE LA INFORMACIN - CDIGOS

208

También podría gustarte