Teor Informac Codigos

TEORA DE LA INFORMACIN - CDIGOS 1
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.
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.
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:
EJ.: SE ARROJA UNA MONEDA AL AIRE; SE DEBE CALCULAR LA
CANTIDAD DE INFORMACIN CONTENIDA EN LOS MENSAJES CARA
O CRUZ SEPARADAMENTE:
I = log
2
[(1/(1/2)] = log
2
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 = log
2
[1/(1/8)] = 3.
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 x
i
.
P(x
i
) SER LA PROBABILIDAD ASOCIADA A DICHO SUCESO.
n SER EL NMERO DE SUCESOS POSIBLES.
LA CANTIDAD DE INFORMACIN SER:
ENTROPA
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:
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(x
i
) = 1 NO SE NECESITARA NINGN MENSAJE: SE SABE DE
ANTEMANO QUE V VA A TOMAR EL VALOR x
i
.
SI P(x
i
) = 0,9 PARECE MS LGICO EMPLEAR:
MENSAJES CORTOS PARA REPRESENTAR EL SUCESO x
i
.
MENSAJES LARGOS PARA LOS x
j
RESTANTES: EL VALOR
QUE MS APARECER EN UNA SECUENCIA DE SUCESOS ES
PRECISAMENTE x
i
.

ENTROPA
EJEMPLOS:
ENTROPA DE LA VARIABLE ALEATORIA ASOCIADA A LANZAR
UNA MONEDA AL AIRE:
H(M) = -(0,5 log
2
(0,5) + 0,5 log
2
(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 log
2
(0,6) + 0,4 log
2
(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.
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:
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.
ENTROPA
LA ENTROPA H DE UN SISTEMA DE TRANSMISIN ES IGUAL A LA
CANTIDAD DE INFORMACIN MEDIA DE SUS MENSAJES, ES DECIR:
H = I
med
.
SI EN UN CONJUNTO DE MENSAJES SUS PROBABILIDADES SON
IGUALES, LA ENTROPA TOTAL SER:
H = log
2
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.
ENTROPA

LA ENTROPA SER:
H = log
2
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.
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:

DISTRIBUCIONES CONDICIONALES DE X SOBRE Y Y VICEVERSA:

SE DEFINE LA ENTROPA DE LAS DISTRIBUCIONES COMO SIGUE:

HACIENDO LA SUMA PONDERADA DE LOS H(X/Y = y
j
) 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:
CANTIDAD DE INFORMACIN ENTRE
DOS VARIABLES
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.
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:
LMITE DE NYQUIST
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.
LMITE DE NYQUIST
F
N
ES LA FRECUENCIA DE NYQUIST:
F
N
= 2 f.
UTILIZANDO EL PASABANDA PARA LOS CANALES DE
INFORMACIN:
F
N
2 F.
NYQUIST ESTABLECI QUE:
SI LOS CANALES SON SIN RUIDO.
SI LAS SEALES SON BINARIAS CON UNA TRANSMISIN
MONONIVEL.
LA F
N
COINCIDE CON LA MXIMA VELOCIDAD BINARIA:
BPS 2 F.
ESTO ES UN LMITE FSICO.
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 log
2
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.
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 log
2
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.
LMITE DE SHANNON
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.
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:
m
max
= (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.
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:
m
max
= (1 + S/N)
.
BPS 2 F log
2
m.
BPS = 2 F log
2
(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 log
2
(1 + S/N).
ES EL LLAMAMOS LMITE DE SHANNON DADO POR LA LEY DE
SHANNON-HARTLEY.
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.
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 log
2
(1 + S/N) = 2700 log
2
(1001) = 26900.
SEGN EL LMITE DE NYQUIST:
BPS = 2 F log
2
m = 2 x 2700 x log
2
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.
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:
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 log
10
(S/N).
EXPRESANDO S/N EN MODO ADIMENSIONAL EN FUNCIN DE Db:
S/N = 10
dB/10
.
SUSTITUYENDO ESTE VALOR EN LA ECUACIN DEL LMITE DE
SHANNON:
bps = F log
2
(1 + 10
dB/10
).
LA MXIMA VELOCIDAD EN BPS, SE LOGRA MULTIPLICANDO EL
ANCHO DE BANDA DEL CANAL POR EL log
2
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).

TIPOS DE ERRORES
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.
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.
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.
DETECCIN DE ERRORES
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:
P
b
: PROBABILIDAD DE QUE UN BIT RECIBIDO SEA ERRNEO:
TASA DE ERROR POR BIT: BER: BIT ERROR RATE.
P
1
: PROBABILIDAD DE QUE UNA TRAMA LLEGUE SIN ERRORES.
P
2
: PROBABILIDAD DE QUE UTILIZANDO UN ALGORITMO PARA
LA DETECCIN DE ERRORES, UNA TRAMA LLEGUE CON UNO O
MS ERRORES NO DETECTADOS.
P
3
: PROBABILIDAD DE QUE UTILIZANDO UN ALGORITMO PARA
LA DETECCIN DE ERRORES, UNA TRAMA LLEGUE CON UNO O
MS ERRORES DETECTADOS Y SIN ERRORES INDETECTADOS.
DETECCIN DE ERRORES
SI NO SE TOMAN MEDIDAS PARA DETECTAR ERRORES:
LA PROBABILIDAD DE ERRORES DETECTADOS: P
3
= 0.
SE SUPONE QUE TODOS LOS BITS TIENEN UNA PROBABILIDAD
DE ERROR (P
b
) CONSTANTE E INDEPENDIENTE:
P
1
= (1 - P
b
)
F
.
P
2
= (1 P
1
).
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.
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 10
6
:
LA TASA DE TRAMAS ERRNEAS ES: P
2
= 1/(5,529 x 10
6
) = 0,18 x
10
-6
.
SI P
b
= 10
-6
:
P
1
= (0,999999)
1000
= 0,999.
P
2
= 10
-3
:
EST TRES RDENES DE MAGNITUD POR ENCIMA DE
LO REQUERIDO.
ESTO JUSTIFICA USAR TCNICAS PARA DETECCIN DE ERRORES.
DETECCIN DE ERRORES
PROCEDIMIENTO PARA DETECTAR ERRORES:
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.
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.
P
3
: PROBABILIDAD DE QUE LA TRAMA CONTENGA ERRORES Y EL
SISTEMA LOS DETECTE.
P
2
: ES LA TASA DE ERROR RESIDUAL: PROBABILIDAD DE QUE NO SE
DETECTE UN ERROR AUNQUE SE EST USANDO UN ESQUEMA DE
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.
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.
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 = 2
n-k
D + F.
MULTIPLICAR 2
n-k
D EQUIVALE A DESPLAZAR HACIA LA
IZQUIERDA n k BITS AADIENDO CEROS AL RESULTADO.
SUMAR F SIGNIFICA CONCATENAR D Y F.
DETECCIN DE ERRORES
T DEBE SER DIVISIBLE POR P:
(2
n-k
D) / 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 = 2
n-k
D + R.
R DEBE SATISFACER LA CONDICIN DE QUE EL RESTO DE
T/P SEA CERO:
(T / P) = (2
n-k
D + R) / P = (2
n-k
D) / P + (R / P).
(2
n-k
D) / 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.
DETECCIN DE ERRORES
FCS SE GENERA FCILMENTE:
SE DIVIDE (2
n-k
D) / 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 2
5
: 101000110100000.
DETECCIN DE ERRORES
EL RESULTADO ANTERIOR SE DIVIDE POR P:
DETECCIN DE ERRORES
T = 2
n-k
D + R = 2
5
D + 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:
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) = X
5
+ X
4
+ X + 1.
P = 11001; P(X) = X
4
+ X
3
+ 1.
SE USA ARITMTICA MDULO 2.
EL PROCEDIMIENTO DE CRC ES:
DETECCIN DE ERRORES
EJEMPLO: SE USA EL EJ. ANTERIOR:
D = 1010001101; D(X) = X
9
+ X
7
+ X
3
+ X
2
+ 1.
P = 110101; P(X) = X
5
+ X
4
+ X
2
+ 1.
R = 01110; R(X) = X
3
+ X
2
+ X.
DETECCIN DE ERRORES
DIVISIN DE POLINOMIOS DEL EJEMPLO:
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)
.
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/2
r-1
.
PARA RFAGAS MAYORES LA PROBABILIDAD ES 1/2
r
.
r ES LA LONGITUD DE LA FCS.
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.
DETECCIN DE ERRORES
EJEMPLO: CIRCUITO CON REGISTROS DE DESPLAZAMIENTO PARA
DIVIDIR POR EL POLINOMIO X
5
+ X
4
+ X
2
+ 1:
DETECCIN DE ERRORES
ARQUITECTURA GENRICA DE UNA CRC PARA IMPLEMENTAR LA
DIVISIN POR (1 + A
1
X + A
2
X
2
+ + A
n-1
X
n-k-1
+ X
n-k
):
INTRODUCCIN A CDIGOS
DEFINICIN: SE CONSIDERA UN CONJUNTO FINITO A={a
1
, a
2
, ... a
q
},
AL QUE SE DENOMINA ALFABETO, A SUS ELEMENTOS, a
1
, a
2
, ... a
q
,
SE LOS LLAMA LETRAS O SMBOLOS. LAS SUCESIONES FINITAS
DE ELEMENTOS DE A SE LLAMAN PALABRAS.

LA PALABRA a
i1
a
i2
...a
in
SE DICE QUE TIENE LONGITUD n O BIEN
QUE ES UNA n-PALABRA.
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).
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 = Z
2
= {0,1}: CDIGOS BINARIOS.
EJEMPLO DE CDIGO BINARIO: C = {0100,0010,0111}.
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.
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.
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.
EJEMPLO:

POLIVIO O CDIGO DE FUEGO GRIEGO (208 A.C.):
ESTE CDIGO NO PERMITE DETECTAR Y/O CORREGIR ERRORES.
CDIGO MORSE:
SE USA PARA TRANSMISIONES TELEGRFICAS, PARA
CODIFICAR UN MENSAJE FUENTE EN LENGUAJE NATURAL.

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:


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.
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.
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.

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.
EL CANAL ACEPTA SMBOLOS DE UN ALFABETO FINITO A={a
1
, a
2
,
... a
q
} 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(a
j
RECIBIDO | a
i
ENVIADO):
PROBABILIDAD DE QUE SI SE HA ENVIADO a
i
SE RECIBA a
j
.
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:
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={a
1
, a
2
,
... a
q
} Y UN CONJUNTO DE PROBABILIDADES DE TRANSICIN P(a
j

RECIBIDO | a
i
ENVIADO) QUE SATISFACEN:
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.

UN CANAL USADO FRECUENTEMENTE ES EL CANAL BINARIO
SIMTRICO (BINARY SIMETRIC CHANNEL: BSC). EL ALFABETO
DEL CANAL ES A={0,1}.
0 s p s 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.
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.
EJEMPLO:

ESTE CDIGO NO SERVIRA PARA DETECTAR 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.
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.
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.

CLASES RESIDUALES MDULO n.
DADO:

SEA n e Z, n > 2. DADOS a, b e Z SE DICE QUE a ES CONGRUENTE
CON b MDULO n SI:

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 e Z.
LA CLASE DE EQUIVALENCIA DE a SE DEFINE COMO AQUELLOS
NMEROS RELACIONADOS CON a:

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 e Z:

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).
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).
EJEMPLO:
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.
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.

DISTANCIA HAMMING Y
DESCODIFICACIN POR DISTANCIA
MNIMA
DISTANCIA HAMMING Y
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 A
n
EN C:
DISTANCIA HAMMING Y
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: A
n
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.
DISTANCIA HAMMING Y
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.
DISTANCIA HAMMING Y
MNIMA
PROPOSICIN: DADO UN BSC CON 0 s p s 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 p
k
(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) = p
k
(1-p)
k
.
PUEDE OCURRIR QUE HAYA VARIAS PALABRAS A DISTANCIA
MNIMA (MLD).
DISTANCIA HAMMING Y
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 e A
n
; SE DEFINE LA
DISTANCIA HAMMING d(u,w) COMO EL NMERO DE POSICIONES
EN LAS QUE DIFIEREN u Y w.
DISTANCIA HAMMING Y
MNIMA
ESTA APLICACIN ES UNA MTRICA:
ES DEFINIDA POSITIVA:

ES SIMTRICA:

PRESENTA DESIGUALDAD TRIANGULAR:
DISTANCIA HAMMING Y
MNIMA
DEFINICIN: SE LLAMA DISTANCIA MNIMA (O DISTANCIA) DE
UN CDIGO C A:
DISTANCIA HAMMING Y
MNIMA
DEFINICIN: UN CDIGO C ES t-DETECTOR (DE ERRORES), t e 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 t-
DETECTOR PERO NO ES (t+1)-DETECTOR.
PROPOSICIN: UN CDIGO C ES EXACTAMENTE t-DETECTOR SI
Y SLO SI d(C) = t+1.
DISTANCIA HAMMING Y
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.
DISTANCIA HAMMING Y
MNIMA
PROPOSICIN: UN CDIGO C ES EXACTAMENTE t-CORRECTOR
SI Y SLO SI d(C) = 2t + 1 O 2t + 2.
EJEMPLO:
DISTANCIA HAMMING Y
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.

DISTANCIA HAMMING Y
MNIMA
EJEMPLOS:
CDIGO DE REPETICIN BINARIA DE LONGITUD n:

ESTE CDIGO CORRIGE (n-1) / 2 ERRORES.
DISTANCIA HAMMING Y
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.
DISTANCIA HAMMING Y
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.
CDIGOS PERFECTOS
CDIGOS PERFECTOS
DEFINICIN: SEA A UN ALFABETO, |A| = q, v e A
n
Y r e R, r > 0. LA
ESFERA DE RADIO r Y CENTRO v ES:
CDIGOS PERFECTOS
EL VOLUMEN DE S
q
(v,r) ES |S
q
(v,r)| Y EST DADO POR:
CDIGOS PERFECTOS
EJEMPLO:
SE TIENE:
A = {0, 1}.
n = 3.
CDIGOS PERFECTOS
DEFINICIN: SEA C _ A
n
. EL RADIO DE EMPAQUETAMIENTO DE C
ES EL MAYOR ENTERO r TAL QUE TODAS LAS ESFERAS DE RADIO
r (S
q
(v,r), v e 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 A
n
.

r = pr(C); s = cr(C).
CDIGOS PERFECTOS
PROPOSICIN:
UN CDIGO C ES t-CORRECTOR SI Y SLO SI LAS ESFERAS DE
RADIO t S
q
(v,t), v e 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 _ A
n
SE DICE PERFECTO CUANDO
cr(C) = pr(C), ES DECIR, CUANDO EXISTE UN ENTERO r TAL QUE S
q

(v,r), v e C, SON DISJUNTAS Y RECUBREN A
n
:
EN ESTE CASO LAS ESFERAS DE RADIO r FORMAN UNA
PARTICIN DE A
n
.
CDIGOS PERFECTOS
EJEMPLO:
H
2
(3) (HAMMING): ES UN (7,16,3)-CDIGO BINARIO.
ESTE ES UN CDIGO 1-CORRECTOR.
d = 3 ; t = 1 = pr(H
2
(3)); m = |H
2
(3)| = 16.
VERIFICACIN ACERCA DE SI ESTE CDIGO ES PERFECTO:
|A
n
| = |Z
2
7
| = 2
7
= 128.
SE DEBE VERIFICAR QUE:
LAS ESFERAS DE RADIO 1 RECUBREN Z
2
7
.
LA UNIN DE TODAS LAS ESFERAS TIENE 128 ELEMENTOS.
V
2
(7,1) = |S
2
(v,1)| = 1 + 7 = 8.
HAY 16 ESFERAS: TIENEN 8 16 PALABRAS = 128.
EL CDIGO ES PERFECTO.

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 n V
q
(n,t) = q
n
, ES DECIR:

(n,m,d)-CDIGO q-ARIO:
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.
CDIGOS PERFECTOS
EJEMPLO:
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 A
n

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.
CDIGOS PERFECTOS
SE DEFINE:
A
q
(n,d) := MAX {m / EXISTE (n,m,d)-CDIGO q-ARIO}.
UN (n, A
q
(n,d),d)-CDIGO SE DICE QUE ES UN CDIGO OPTIMABLE.
PROBLEMA PRINCIPAL DE LA TEORA DE CDIGOS:
DETERMINAR EL VALOR DE A
q
(n,d).

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 c > 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) < c.
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.
CDIGOS LINEALES
CDIGOS LINEALES
LOS CDIGOS LINEALES SON ESPACIOS VECTORIALES SOBRE UN
CUERPO FINITO.
LOS ALFABETOS QUE USAREMOS SON CUERPOS FINITOS (K).
Z
p
= {0,1....p-1}.
q = p
r
: p PRIMO.
F
q
: CUERPO FINITO CON q ELEMENTOS.
EN PARTICULAR, SI q = p (PRIMO), ENTONCES F
q
= F
p
= Z
p
.
F
2
= Z
2
= {0,1}.
F
3
= {0,1,2}.
F
5
= {0,1,2,3,4}.
DEFINICIN: UN CDIGO LINEAL DE LONGITUD n SOBRE K ES
UN K-SUBESPACIO VECTORIAL C DE K
n
.
CDIGOS LINEALES
K = Z
2
.

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
e C.
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.

CDIGOS LINEALES
DEFINICIN: SEA C UN CDIGO (NO NECESARIAMENTE LINEAL)
Y v e 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 e 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).

MATRICES GENERATRICES Y
MATRICES DE CONTROL CDIGOS
CORRECTORES
CORRECTORES
DEFINICIN: SEA C UN [n,k]-CDIGO LINEAL SOBRE UN CUERPO
K (C _ K
n
). UNA MATRIZ GENERATRIZ DE C ES UNA MATRIZ DE
M
kxn
(K) CUYAS FILAS FORMAN UNA BASE DE C.
C = <101101, 011000, 110101, 001010> ES UN [6,3]-CDIGO.
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 e M
kxn
(K) CON k s n, G ES MATRIZ
GENERATRIZ DE UN CDIGO LINEAL SOBRE K ([n,k]-CDIGO) SI Y
SLO SI rg(G) = (G) = k.
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 k-
ESPACIOS VECTORIALES.

INTERESA ENCONTRAR MATRICES GENERATRICES LO MS
SENCILLAS POSIBLES PARA QUE LA DESCODIFICACIN SEA
SENCILLA.
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 o 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 = u
1
u
2
...u
n
, u
i
e A, SE
SUSTITUYE u POR LA PALABRA u
o(1)
u
o(2)
... u
o(n)
(PERMUTACIN POSICIONAL).
CORRECTORES

2) SEA PARA CADA NDIDE i e {1, 2, ....n}, [
i
: A A UNA
PERMUTACIN. SE SUSTITUYE CADA PALABRA DEL CDIGO u
= u
1
u
2
...u
n
POR u
1
u
2
... [
i
(u
i
)... u
n
(PERMUTACIN DE SMBOLOS).
EJEMPLO:
i = 3.
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}
CORRECTORES
AHORA SE APLICA:

SE APLICA [
1
:

SE APLICA [
4
:
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 e A
n
. ENTONCES EXISTE UN CDIGO C
EQUIVALENTE A C Y TAL QUE u e C.
CORRECTORES
DEFINICIN: UNA MATRIZ GENERATRIZ G DE UN [n,k]-CDIGO
SE DICE NORMALIZADA O ESTNDAR CUANDO ES DE LA FORMA
SIGUIENTE:

I
k
ES LA MATRIZ IDENTIDAD DE M
k
(K) (MATRICES
CUADRADAS k X k).
SI UN CDIGO C TIENE UNA MATRIZ GENERATRIZ ESTNDAR
SE DICE QUE C ES UN CDIGO SISTEMTICO.
CORRECTORES
EJEMPLO:
[5,3]-CDIGO.

A: k FILAS Y n-k COLUMNAS.
A e M
kx(n-k)
(K).
n = k, K
n
= C.
CORRECTORES
[n,n]-CDIGO.

UN CDIGO DE ESTE TIPO ES EL CDIGO ASCII ESTNDAR.
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.
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 = u
1
u
2
...u
n
e K
k
EXISTE UNA NICA PALABRA DE
CDIGO C
u
e C DE LA FORMA C
u
= u
1
u
2
...u
k
x
k+1
...x
n
.
TOMAMOS TODO K
k
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.
CORRECTORES
CDIGO ASCII CON BIT DE PARIDAD:
LAS 7 PRIMERAS POSICIONES NO CORRIGEN ERRORES,
FORMAN TODO Z
7
2
.
SE AADE UN SMBOLO DE CONTROL PARA PERMITIR LA
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.
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 K
k
.
SE APLICA EL ISOMORFISMO PASAMOS AL CDIGO C.
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.
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.
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 K
n
, ES
DECIR:

PROPOSICIN: SI C ES UN [n,k]-CDIGO ENTONCES C
ES UN [n,n-
k]-CDIGO.
CORRECTORES
EJEMPLO:
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 e M
(n-k)xn
(K).
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 = (I
k
| A).
ENTONCES P = (A
t
| -I
n-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 | I
n-k
).
SEA C EL CDIGO BINARIO DE MATRIZ GENERATRIZ:
CORRECTORES
SE TIENE C = H
2
(3) (CDIGO DE HAMMING); HALLAR UNA
MATRIZ DE CONTROL DE C.
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.
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 e M
(n-k)xn
(K). LA MATRIZ H DEFINE UNA APLICACIN
LINEAL:

DEFINICIN: SUPONGAMOS QUE SE TRANSMITE LA PALABRA x e
C _ K
n
Y QUE LA PALABRA RECIBIDA ES y e K
n
. ENTONCES A LA
DIFERENCIA c = y x e K
n
SE LE LLAMA PALABRA DE ERROR.
SE PUEDE DEMOSTRAR QUE:
CORRECTORES
DEFINICIN: SEA C UN [n,k]-CDIGO CON MATRIZ DE CONTROL
H:
DADO x e K
n
SE LLAMA SNDROME DE x A LA PALABRA h(x) =
xH
t
e K
n-k
.
x e 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 e K
n
, x E y TIENEN EL MISMO SNDROME SI Y SLO SI
PERTENECEN A LA MISMA CLASE DEL ESPACIO COCIENTE
K
n
/C.
LA DESCODIFICACIN POR DISTANCIA MNIMA CONSISTE EN:
BUSCAR LA PALABRA c DE PESO MNIMO ENTRE TODAS LAS
QUE TIENEN EL MISMO SNDROME QUE LA PALABRA
RECIBIDA y.
CALCULAR x = y - c.
CORRECTORES
ESQUEMA:
SE CALCULA EL SNDROME DE LA PALABRA RECIBIDA y, h(y) =
yH
t
.
SE DETERMINA LA CLASE LATERAL ASOCIADA A ESTE
SNDROME, y+C.
SE BUSCA EN ESTA CLASE LA PALABRA DE PESO MNIMO c.
SE CALCULA x = y - c.
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 c.
CORRECTORES
DESCODIFICACIN POR SNDROME:
SE CONSTRUYE LA TABLA ESTNDAR:
SEA C UN [n,k]-CDIGO DE TAMAO m(=q
k
), C _ K
n
.
CORRECTORES
SEA u
2
UNA PALABRA DE K
n
-C DE PESO MINIMAL. LA 2 FILA EST
FORMADA POR LAS PALABRAS DE u
2
+C.
SEA u
3
UNA PALABRA DE K
n
-C QUE NO PERTENECE A u
2
+C DE
PESO MINIMAL.

SE REPITE ESTO q
n-k
VECES.
K
n
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 K
n
DE PESO
MENOR O IGUAL QUE t ES LDER DE CLASE.

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:
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.
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.
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.

CORRECTORES

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.
CORRECTORES

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.
h(y) = 011
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:

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:
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 s
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.
CDIGO DE HAMMING
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).
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 e Z, r > 2) SER
UN CDIGO q-ARIO H
q
(r) QUE TIENE UNA MATRIZ DE CONTROL
H
q
(r) CON:
r = n k FILAS.
EL MXIMO NMERO POSIBLE DE COLUMNAS (SIENDO d = 3).
LAS COLUMNAS DE H
q
(r) SON VECTORES DE F
r
q
.
LA MATRIZ DE CONTROL DE H
q
(r) ES UNA MATRIZ QUE TIENE r
FILAS Y n = (q
r
-1)/(q-1) COLUMNAS:
EL CDIGO H
q
(r) ES UN [n,k,3]-CDIGO DONDE k = n r.
ESTA MATRIZ SE LLAMA MATRIZ DE HAMMING Y NO ES
NICA.
CDIGO DE HAMMING

CDIGO DE HAMMING

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 e H
2
(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.
CDIGO DE HAMMING
SE SUPONE QUE EL ERROR SE HA COMETIDO EN LA POSICIN i:
y = x + c
i
,
c
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 - c
i
,
CAMBIANDO EL i-SIMO BIT DE y.
[7,4,3]-CDIGO.
SE SUPONE QUE SE RECIBE LA PALABRA y = 1101110.

CDIGO DE HAMMING

CDIGO DE HAMMING
100 = 4 EL ERROR SE HA COMETIDO EN LA POSICIN 4.
LA PALABRA DE ERROR ES e
4
= (0001000).
LA PALABRA EMITIDA ES x = y e
4
= 1100110.
A ESTE MTODO DE DESCODIFICACIN SE LE LLAMA
DESCODIFICACIN DE HAMMING.
PROPOSICIN: SE SUPONE QUE UNA PALABRA x e H
q
(r) SUFRE UN
NICO ERROR, RESULTANDO LA PALABRA RECIBIDA y:
SEA h(y) e K
r
EL SNDROME DE LA PALABRA RECIBIDA Y o e K
EL SMBOLO MS SIGNIFICATIVO DE h(y).
SI LA COLUMNA DE H
q
(r) QUE CONTIENE A o
-1
h(y) ES LA
COLUMNA i-SIMA ENTONCES LA PALABRA DE ERROR ES oe
i
=
(00 .... 0o0 .... 0), CON o EN LA POSICIN i.
SE VERIFICA QUE x = y oe
i
.

CDIGO DE HAMMING
EJEMPLO:
SE SUPONE QUE SE TIENE UN H
3
(3) Y QUE SE RECIBE LA PALABRA
y = 1101112211201. SE DEBE DESCODIFICAR ESTA PALABRA.
CDIGO DE HAMMING
h(y) NO ES UNA COLUMNA DE H
3
(3).
(201) = 2 (102).
(102) ES LA 7 COLUMNA DE H
3
(3):
LA PALABRA DE ERROR ES oe
7
= 2 (0000001000000).
LA PALABRA EMITIDA ES x = y 2 e
7
= 1101110211201.

CDIGO DE GOLAY
CDIGO DE GOLAY
SE CONSIDERA EL CDIGO DE GOLAY BINARIO g
24
.
EL CDIGO g
24
ES EL CDIGO LINEAL BINARIO DE MATRIZ
GENERATRIZ G:
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: g
24
ES UN CDIGO AUTODUAL:

PROPOSICIN: LA MATRIZ (A|I
12
) ES UNA MATRIZ GENERATRIZ
DE g
24
.
CUANDO UN CDIGO ES AUTODUAL LA MATRIZ GENERATRIZ Y
LA MATRIZ DE CONTROL SON IGUALES.
CDIGO DE GOLAY
PROPOSICIN: SI C ES UN CDIGO BINARIO Y u,v e C, ENTONCES:

CDIGO DE GOLAY
PROPOSICIN: EL PESO DE CADA PALABRA DE g
24
ES DIVISIBLE
POR 4.
PROPOSICIN: g
24
NO TIENE PALABRAS DE PESO 4.
g
24
ES UN [24,12,8]-CDIGO. ESTE CDIGO SE US PARA
TRANSMITIR IMGENES DE JPITER Y SATURNO (VOYAGER 1979-
1981).
m = 2
12
= 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 g
24
.
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 g
24
.
CDIGO DE GOLAY
EL CDIGO DE GOLAY BINARIO g
23
:
SE OBTIENE A PARTIR DE g
24
PINCHANDO UNA COMPONENTE:
USUALMENTE SE ELIMINA EL LTIMO SMBOLO DE TODAS
LAS PALABRAS.
n = 23, m = 2
12
.
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 g
24
LA LTIMA FILA TIENEN PESO 7,
AS d = 7.
g
23
ES UN [23,12,7]-CDIGO.
g
23
ES PERFECTO.
g
24
SE OBTIENE A PARTIR DE g
23
AADINDOLE UN BIT DE
PARIDAD.
CDIGO DE GOLAY
LOS CDIGOS DE GOLAY TERNARIOS:
g
12
TIENE POR MATRIZ GENERATRIZ G = (I
6
|B) DONDE

A PARTIR DE LA 3 FILA UNA FILA SE OBTIENE A PARTIR DE LA
ANTERIOR DESPLAZNDOLA UNA POSICIN HACIA LA DERECHA.
CDIGO DE GOLAY
PROPIEDADES:
g
12
ES AUTODUAL.
B ES SIMTRICA.
g
12
ES UN [12,6,6]-CDIGO.
EL CDIGO TERNARIO g
11
OBTENIDO PINCHANDO g
12
ES UN
[11,6,5]-CDIGO PERFECTO.

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.
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 2
m
.
EN B
m
SE DEFINE UNA SUMA:
SE DEFINE UNA MULTIPLICACIN ESCALAR:

SE DEFINEN LOS POLINOMIOS DE BOOLE COMO LOS ELEMENTOS
DEL SIGUIENTE CONJUNTO:
HAY (
m
k
) MONOMIOS DE GRADO k EN m VARIABLES.
TODOS LOS POSIBLES MONOMIOS DE m VARIABLES SON:

PROPOSICIN: LA APLICACIN SIGUIENTE ES UN ISOMORFISMO
DE Z
2
-ESPACIOS VECTORIALES Y A CADA POLINOMIO DE
BOOLE F(x
1
,....x
m
) LE HACE CORRESPONDER LA FUNCIN DE
BOOLE f(x
1
,....x
m
) DADA POR f(x
1
,....x
m
) = F(x
1
,....x
m
).


DEFINICIN: SEA m UN ENTERO POSITIVO 0 s r s m. SE DEFINE EL
CDIGO DE REED-MULLER R(r,m), DE LONGITUD 2
m
Y ORDEN r
COMO EL CONJUNTO DE LAS PALABRAS BINARIAS DE Z
2m
2

ASOCIADAS A POLINOMIOS DE BOOLE DE B
m
QUE TIENEN GRADO
MENOR O IGUAL QUE r.
EJEMPLOS:
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.


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(x
1
...x
m
) = x
m
+ p(x
1
...x
m-1
) DONDE p(x
1
...x
m-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,
2
m-1
VECES.

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

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 2
m
Y DIMENSIN:

LA TASA DE CDIGO ES:


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.

ESTE POLINOMIO DE BOOLE TIENE GRADO 4. LA PALABRA NO
PERTENECE A R(2,4).

ESTA PALABRA PERTENECE A R(2,4).
DEFINICIN: SEA C
1
UN (n,m
1
,d
1
)-CDIGO LINEAL Y C
2
UN
(n,m
2
,d
2
)-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.
PROPOSICIN: C
1
C
2
ES UN (2n,m
1
m
2
,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).

COROLARIO: EL CDIGO DE REED-MULLER R(m-1,m) EST
FORMADO POR TODAS LAS PALABRAS BINARIAS DE LONGITUD 2
m

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:

ESTA ES LA MATRIZ GENERATRIZ DEL CDIGO ASCII CON
PARIDAD.
PROPOSICIN: R(r,m) TIENE DISTANCIA MNIMA 2
m-r
POR TANTO
TIENE LOS SIGUIENTES PARMETROS:

EJEMPLO: MARINER 4 (1965):
22 FOTOS DE MARTE DE 200 X 200 DE 64 NIVELES.
2
6
NIVELES 6 Z
6
2
={000000,...,111111}.
8 1/3 BITS/S, 1 FOTO ~ 8 HORAS.
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.

Teor Informac Codigos

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Teor Informac Codigos

Transféré par

Droits d'auteur :

Formats disponibles

TEORA DE LA INFORMACIN - CDIGOS 1

Vous aimerez peut-être aussi