De deteccin de errores y cdigos correctores de errores

Texto de Referencia: Seccin 4.6, p. 265

En este conjunto de ejercicios, un mtodo para detectar y corregir errores en la transmisin de
mensajes codificados se construye. Resultar que los espacios vectoriales abstractos y los conceptos
de espacio nulo, rango y dimensin se necesitan para esta construccin.
Cuando se transmite un mensaje, que tiene el potencial para ser revueltos por el ruido. Esto es cierto
de mensajes de voz, y tambin es cierto de los mensajes digitales que se envan desde y hacia
computadoras.
Ahora, incluso el sonido y el vdeo se est transmitiendo de esta manera. Un mensaje digital es una
secuencia de 0 y de 1 de que codifica un mensaje dado. Se aadirn ms datos para un mensaje
binario dado que le ayudar a detectar si un error se ha hecho en la transmisin del mensaje;
aadiendo tales de datos se denomina un cdigo de deteccin de errores. Ms datos tambin se
pueden aadir al mensaje original, de modo que errores en la transmisin se pueden detectar, y
tambin para averiguar cul es el mensaje original fue a partir del mensaje posiblemente corrupto
que fue recibido. Este tipo de cdigo es un error-correccin cdigo.
Un tipo comn de cdigo de deteccin de errores se llama una comprobacin de paridad. Por
ejemplo, considere los saje salvia 1101. Aadir un 0 o 1 hasta el final de este mensaje para que el
mensaje resultante tiene un incluso nmero de 1 de. El mensaje 1.101 por lo tanto se codifica como
11011. Si el mensaje original eran 1001, sera codificado como 10 010, ya que el mensaje original ya
contaba con un nmero par de 1 de. Consideremos ahora la recepcin del mensaje 10101. Dado que
el nmero de 1 de en este mensaje es impar, un error se ha hecho en la transmisin. Sin embargo, no
se sabe cuntos errores ocurridos en dgito (s) de transporte o que se efectuaron. As, un esquema de
comprobacin de paridad detecta errores, pero hace
No ubicarlos para su correccin.
Ejemplo: El Servicio Postal de los Estados Unidos utiliza un cdigo de expresar el cdigo postal en
una carta como
serie de barras largas y cortas. Los dgitos estn codificados de la siguiente manera

Los cdigos postales se codifican y se colocan en el sobre. Una larga barra comienza y termina cada
cdigo. Un comprobacin de paridad dgito adicional est codificada. Este dgito, cuando se aade a
los que estn en el cdigo postal de cinco dgitos, produce un nmero que es un mltiplo de diez. Si
los seis dgitos codificados no se suman a un mltiplo de diez, a continuacin, debe haber ocurrido
un error en la transmisin. As, el 29.733 cdigos postales y 28.209 hacerse

Desde el 2 + 9 + 7 + 3 + 3 = 24, y 24 + 6 = 30, un 6 esta en el cdigo 29733; asimismo, un 9 fue introducido en

el cdigo 28209, ya que 8 + 2 + 2 + 0 + 9 + 9 = 30.
Con el fin de discutir los cdigos de correccin de errores, la atencin se limita a secuencias digitales:
mencionados de 0 de 1 y de. El conjunto Z 2 como el conjunto {0, 1}. Ser primero ser til para hacer la
aritmtica en Z
2 La suma y la multiplicacin por 0 y 1 se dan en las siguientes tablas:

Uno puede comprobar que estas operaciones tienen las propiedades familiares de la suma y la multiplicacin de
Nmeros reales. Una particularidad es el hecho de que desde el 1 + 1 = 0, 1 = - 1. Es decir, 1 es su propio
aditivo
inversa, y por lo tanto la resta es exactamente la misma que la adicin en Z 2 Los mensajes ahora pueden ser
expresados como vectores columna de elementos de Z 2 . Los mensajes 1001 y 1101 se expresara como

Supongamos que cada mensaje es n dgitos de longitud; el conjunto de todos los posibles mensajes de longitud
n dgitos Zn 2 . En otras palabras, Z n 2 es el conjunto de todos los vectores con n elementos tomados de Z 2
. El conjunto Z 4 2 contiene el tras diecisis vectores

Estos vectores se pueden aadir al igual que en R n ; estos vectores tambin se pueden multiplicar por escalares
tomadas de la Z 2
.
Ejemplos

De hecho, si Z 2 son los escalares, y las operaciones de suma de vectores y multiplicacin escalar como se da
en los ltimos ejemplos se utilizan, entonces Z n 2 es un espacio vectorial: dejar claro que Z 2 son los escalares,
Z n 2 se llama un espacio vectorial sobre Z 2 . El material en las Secciones 4.2 a 4.6 en matrices de nmeros
reales tambin se aplica a las matrices cuyas entradas se han tomado de Z 2 , Excepto que toda la aritmtica se
realiza en Z 2
.
Ejemplo: Para encontrar una base para el espacio de la columna, una base para el espacio nulo, y el rango de

Primera fila reducir A usando Z 2 aritmtica (recordemos que 1 + 1 = 0):

Una base para Col A es las columnas pivote de A:

As rango A = 2. Para encontrar una base para Nul A, resolver A x = 0 y obtener las

ecuaciones

Observe que estos resultados difieren de los que se calcula si A fueron tratados como una matriz de nmeros

reales; usted puede confirmar que en ese rango caso A = 3.

stos son todos los miembros de Nul A

Tenga en cuenta que el nmero de vectores en Nul A es 4 = 2 2 , Que es 2 elevado a la dimensin de Nul A.
Esto es cierto para cualquier subespacio de Z
Realidad: Si W es un subespacio de Z n 2 con dim W = k, entonces el nmero de vectores en W es igual a 2 k
. Suponga que los mensajes son cada 4 dgitos. Un cdigo de auto-correccin de estos mensajes ahora ser
creado. Una versin ms sofisticada de la comprobacin de paridad se hace; tres nmeros sern se aade al final
de cada mensaje de 4 dgitos. As, los mensajes codificados sern elementos de Z 7 2 . A empezar, tenga en
cuenta la matriz

Observe que las columnas de H, que se llamar h 1 , H 2 , ... H 7 , Resultan ser todo lo que no sea cero
miembros de Z 3 2 . Una base para el espacio nulo de H se puede encontrar que el anterior:

Por razones que se aclararn ms adelante, ser mejor tener una base diferente para Nul H.
Esta nueva base ser creada haciendo una matriz cuyas filas son los vectores en la base de edad, fila
la reduccin de esta matriz, y luego usando las filas no nulos de la matriz resultante como base para Nul H.
Este proceso es permitida por el teorema 13 de la seccin 4.6

As, el siguiente conjunto de vectores es tambin una base para Nul H

Dado que la dimensin de Nul H es 4, por el hecho anterior Nul H contiene 16 vectores. Por supuesto, Z 4 2
Tambin contiene 16 vectores, por lo que cada vector en Z 4 2 se puede codificar utilizando un vector diferente
en Nul H. Por esa razn el espacio nulo de H se llama el (7,4) cdigo de Hamming. Para codificar los vectores
en Z 4 2
, Formar una matriz A cuyas columnas son los elementos bsicos para Nul H; la matriz A ser la

Ejemplo: Para codificar el mensaje de 1101, de cmputo

Ntese que, dado que las primeras cuatro filas de A son la matriz de identidad, la multiplicacin por una mera
suma tres dgitos a la mensaje original.
La matriz H fue elegido debido a que su espacio nulo tiene algunas propiedades muy interesantes que permiten
para la deteccin y correccin de errores individuales en los mensajes transmitidos. Supongamos en este punto
que cualquier mensaje transmitido tiene a lo sumo un error en la transmisin. Si la probabilidad de un error en
la transmisin es pequea, entonces esta es una suposicin razonable. Considere la norma vectores de la base e
1 , e 2 , ... E 7 en Z 7 2

Observe que la adicin de uno de estos vectores a un mensaje codificado vector x es equivalente a hacer un
solo error en la transmisin de x. Note tambin que los vectores e1 , E 2 , ... E 7 no estn en el espacio nulo de
H, para H e yo = H yo = 0. De hecho, no es el siguiente teorema.
Teorema 1 Si H es la matriz dada anteriormente, y si x est en Nul H, entonces x + e
yo
no est en Nul H

Este resultado significa que si se hace un solo error en la transmisin de un mensaje x, entonces ese error puede
ser detectado por la comprobacin para ver si el mensaje recibido est en Nul H.
Ejemplo: Si se recibe el mensaje de 0.100.101, compruebe que

Dado que el vector de mensaje est en Nul H, ningn error de transmisin nica ha sucedido. Si un solo error
que haba pasado, el teorema dice que el vector de mensaje resultante no estara en Nul H.
Ejemplo: Si se recibe el mensaje de 0.111.001, compruebe que

Por lo tanto (suponiendo que se han realizado a lo sumo un error en la transmisin) un nico error de
transmisin
Ha ocurrido.
As que el Hamming (7,4) cdigo es un cdigo de deteccin de errores. El teorema siguiente mostrar que es
tambin un cdigo de correccin de errores.
Teorema 2 Si H es la matriz dada anteriormente, y si x = H h yo
, Entonces x + e yo est en Nul H, y x + e j no est en Nul H para j = i. Demostracin: Supongamos que x = h
yo entonces

Supongamos un mensaje x es recibida que ha tenido suceda un solo error en la transmisin. Por el teorema
1, H x = 0, por lo que H = h x yo para algunos i. El resultado en el teorema 2 implica que el error solo

En la transmisin debe haber ocurrido a la i dgitos; el cambio de este dgitos (mediante la adicin de correo
yo ax) lo har producir un vector en Nul H, y por lo tanto un vector correctamente codificada. Cambiar
cualquier otro dgito en X no produce un vector en Nul H.
Ejemplo: El mensaje 0111001 fue un error de un ejemplo anterior. De hecho,

Por el teorema 2, el error individual en la transmisin debe haber ocurrido en el segundo dgito. Por lo tanto, la
verdadero mensaje que se envi es 0011001.

Preguntas:
1. Los siguientes cdigos Servicio Postal de los Estados Unidos se encuentran en sobres; determinar si se
cometi un error en la transmisin.

2. Considere los siguientes vectores

Calcule el siguiente.
a) a + b
b) c - b + a
3. Sean a, b, yc ser lo ms en la Pregunta 2. Es el conjunto {a, b, c} linealmente independientes o linealmente
dependiente?
4. Encuentre una base para el espacio de la columna, una base para el espacio nulo, y el rango de

5. Codificar los siguientes mensajes utilizando el (7,4) cdigo de Hamming.

a) 1001
b) 0011
c) 0101

6. Cada uno de los siguientes mensajes se ha recibido, y cada uno haba sido codificado mediante el
Hamming (7,4) cdigo. Durante la transmisin a lo sumo un elemento en el vector se cambi.
Cualquiera de determinar que no se hizo ningn error en la transmisin, o encontrar el error cometido en la
transmisin y corregirlo.
a) 0101101
b) 1000011
c) 0010111
d) 0101010
e) 0111100
f) 1001101
g) 1010010
h) 1110111