Академический Документы
Профессиональный Документы
Культура Документы
Hoja 3
Algebra
Cdigo de Hamming o
Para almacenar o transmitir cuatro bits de informacin y detectar cundo y dnde se ha producido o a o un unico error en un bit, se puede utilizar el siguiente esquema conocido como cdigo de Hamming. o Entre los cuatro bits de datos (b1 , b2 , b3 , b4 ) 4 se intercalan otros tres bits segn la funcin u o 2 4 7 siguiente: g: 2 2 b1 + b2 + b 4 b1 + b3 + b 4 b1 b1 b2 = b2 + b3 + b 4 . g b3 b2 b4 b3 b4
Z7 Z3 siguiente: 2 2
c1 c2 b1 c1 + b1 + b2 + b4 h c3 = c2 + b1 + b3 + b4 . b2 c3 + b2 + b3 + b4 b3 b4 Se pide: a) Demostrar que g y h son funciones lineales. b) Calcular las matrices G y H asociadas a las funciones g y h. c) Estudiar si son inyectivas y/o sobreyectivas las funciones g y h. d) Calcular el producto de las matrices H y G. e) Determinar el ncleo y la imagen de las funciones g y h. Qu relacin hay entre Img(g) y Ker(h)? u e o f ) Codicar la palabra w = (0, 1, 0, 1) p.
g) Modicar10 un bit de la palabra codicada, p, para obtener una nueva palabra, q. Cunto vale a s1 s2 = h(q)? Observar que el bit modicado ocupa la posicin s3 22 + s2 21 + s1 20 . Sirve este o s3 proceso de correccin si se modican dos o ms bits? o a
9 10
Ejercicios preparatorios - 24
Algebra
Z4 , Z2 g( + ) = g( ) + g( ). b c b c 2
b1 c1 b1 + c1 b2 c2 b2 + c2 b3 c3 b3 + c3 ( ) h b + = h b4 + c4 = h b4 + c4 c b5 c5 b5 + c5 b6 c6 b6 + c6 b7 c7 b7 + c7 b1 + c1 + b3 + c3 + b5 + c5 + b7 + c7 = b2 + c2 + b3 + c3 + b6 + c6 + b7 + c7 b4 + c4 + b5 + c5 + b6 + c6 + b7 + c7 (b1 + b3 + b5 + b7 ) + (c1 + c3 + c5 + c7 ) = (b2 + b3 + b6 + b7 ) + (c2 + c3 + c6 + c7 ) (b4 + b5 + b6 + b7 ) + (c4 + c5 + c6 + c7 ) c1 + c3 + c5 + c7 b 1 + b3 + b5 + b7 ( ) () c = b2 + b3 + b6 + b7 + c2 + c3 + c6 + c7 = h b + h c4 + c5 + c6 + c7 b 4 + b5 + b6 + b7 o o b) Descomponiendo la expresin de la aplicacin lineal g, se obtiene 1 1 0 1 1 b1 + b2 + b4 1 1 1 0 1 b1 + b3 + b4 b1 0 1 0 0 1 b1 b2 = b2 + b3 + b4 = b1 0 + b2 1 + b3 1 + b4 1 = 0 g b3 0 0 0 1 0 b2 b4 0 0 1 0 0 b3 b4 0 0 0 1 1 1 b 0 1 b 1 2 , b 0 3 b 0 4 1
1 0 0 1 1 0 0 0
0 1 0 1 0 1 0
Ejercicios preparatorios - 25
Algebra
1 1 1 G = 0 0 0 0
1 0 0 1 1 0 0
0 1 0 1 0 1 0
1 1 0 1 . 0 0 1
Descomponiendo la expresin de la aplicacin lineal h, se obtiene o o c1 c2 b1 c1 + b1 + b2 + b4 h c3 = c2 + b1 + b3 + b4 b2 c3 + b2 + b3 + b4 b3 b4 1 0 1 0 1 0 1 = c1 0 + c2 1 + b1 1 + c3 0 + b2 0 + b3 1 + b4 1 0 0 0 1 1 1 1 c1 c2 1 0 1 0 1 0 1 b1 = 0 1 1 0 0 1 1 c3 , 0 0 0 1 1 1 1 b2 b3 b4 luego la matriz asociada a la aplicacin lineal o 1 0 0 1 H= 0 0 h es 1 0 1 0 1 1 0 0 1 1 . 0 1 1 1 1
= c1 = c2 o equivalentemente b = c. = c3 = c4
Ejercicios preparatorios - 26
Z4 2
porque b1 , b2 , b3 y b4 tendr que valer 0 mientras que b1 + b2 + b4 tendr que valer 1. an a La aplicacin h no es inyectiva porque hay dos elementos distintos cuya imagen mediante h coincide: o 0 1 0 1 0 1 0 0 = h 1 = 0 . h 0 1 0 0 1 0 1 s1 para cualquier elemento s = s2 s3 x1 x2 0 1 x3 s1 1 1 x4 = s2 1 1 x5 s3 x6 x7
Z3, el sistema 2
es compatible indeterminado ya que el rango de la matriz de coecientes que est en forma a escalonada es 3 (mximo), coincide con el de la matriz ampliada (que tampoco puede superar 3) a y es menor que el nmero de incgnitas (7), luego existen elementos x 7 tales que h(x) = s. u o 2
d) Aunque en el enunciado no se especique el orden en el G, slo hay una opcin posible: o o 1 1 1 0 1 0 1 0 1 0 1 1 0 HG = 0 1 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 Al ser b
Ejercicios preparatorios - 27
Algebra
Z3 y dim ( Img(h)) = 3. 2 La imagen de g es un subespacio vectorial de Z7 y de dimensin 4 porque o 2 ( ) ( ) dim(Z4 ) = dim Ker(g) + dim Img(g) . 2
Como h es suprayectiva, Img(h) =
++ x y + + z x = z + s + u { ( ) } Img(g) = g b : b 4 = + + : , , , Z2 = r 7 : y = z + t + u . 2 2 s r = s + t + u t u El ncleo de h est formado por todos los elementos b 7 cuya imagen mediante h sea el u a 2 ( ) elemento nulo, h b = 0 , x x y y z z x = z + s + u x + z + s + u = 0 Ker(h) = r 7 : y + z + t + u = 0 = r 7 : y = z + t + u . 2 2 s r = s + t + u r + s + t + u = 0 s t t u u
1 0 0 1 1 0 0
0 1 0 1 0 1 0
g) Sea la palabra
0 1 0 q = 0 1 1 1
Ejercicios preparatorios - 28
Algebra
La expresin s3 22 + s2 21 + s1 20 = 22 + 21 = 6 proporciona la posicin en la que se ha modicado o o la palabra codicada. Si se modican dos o ms bits, este proceso de deteccin de errores no es aplicable. Por ejemplo, a o la imagen de la palabra p modicada en las posiciones 2 y 5 es 0 0 0 1 r1 h 0 = 1 = r2 0 1 r3 0 1 y r3 22 + r2 21 + r1 20 = 22 + 21 + 20 = 7 no proporciona ninguna informacin sobre las posiciones o modicadas.
Ejercicios preparatorios - 29