Académique Documents
Professionnel Documents
Culture Documents
E. r. s.
IngenieroK fie 'IVIt*(M>niunira(!n
TESIS
DOCTORAL
TESIS DOCTORAL
'^. .^^^1
P R E F A C I O
La presente Tesis constituye el fruto de los estudios y desarrollos iniciados por el autor a prime ros de 1.967 con ocasin de un Cursillo dictado en la E.T.S, de Ingenieros de Telecomunicacin ^1_/ donde viene desempeando durante estos aos un cargo de docen cia e investigacin en rgimen de plena dedicacin. Los trabajos se han continuado despus con -
una beca del Fondo IBM para Investigacin concedida por el Centro de Clculo de la Universidad de Madrid a cuyo Comit Ejecutivo desea manifestar su agradecimiento en la persona del Director del Centro, Sr. Briones, por la ayuda econmica, sugerencias y aliento y por las faciM dades concedidas para utilizar el ordenador 7090 con el que se han realizado la mayor parte de los clculos numricos. El autor desea tambin manifestar su gratitud a su Director de Tesis, Cat. D. Luis Urqu, por sus valiosas orientaciones y constante apoyo, a los Profeso res Sez Vacas y Pontana, que compartieron con l la -
al Sr. Moreno Cruz por su ayuda en la revisin del manus crito, a la Srta. Pachn, por su colaboracin en la preparacin de los programas para el ordenador y al Sr. Molina, por el dibujo de figuras y curvas. De un modo especial desea agradecer a su esposa el constante apoyo prestado y la penosa labor de meca nografiado y preparacin para la presentacin.
J.M.H.R.
V .
JUSTIFICACIN DE LA TESIS
El problema general a cuya resolucin contribuimos con esta Tesis, consiste en el estudio de un s i _ s tema mixto de control de errores en la transmisin de datos. La necesidad de profundizar en los estudios relativos al control de errores, ha quedado expuesta en numerosas publicaciones ^J/1 CCITT XJ^ 13J^ U>J ^^^ como por el
la transmisin de Matos con el advenimiento de los sistemas en tiempo real y los de teleproceso. Con objeto de transmitir informacin digital sobre los canales existentes para los cuales la probab_i lidad media de error en los bits es superior al valor requerido, se hace necesario emplear alguna forma de proteccin o control que mejore la confiabilidad. Son conocidos, en mayor o menor grado, procedimientos de codificacin que permiten la deteccin o correccin de los errores que aparecen en una transmi sin, as como sus ventajas e inconvenientes.
Estos procedimientos han aplicado extensivamen te conceptos algebraicos a los problemas de codificacin, con objeto de permitir una uniformidad en el tratamiento de los mismos, as como la bsqueda de relaciones algo rtmicas que simplifiquen la instrumentacin de codifica^ dores y decod.ificadores. En general, en las transmisiones digitales se emplean cdigos bitiarios por lo que nuestro trabajo ha considerado tales cdigos si bien, se ha efectuado una generalizacin para cdigos con 2"^ smbolos. El sistema mixto que hemos considerado constituye una mejora del R clsico (como todos los mtodos -
hxbridos) y se apoya en la estructura de grupo de los c _ digos binarios. Como se ver en el Captulo dedicado a su exposicin, se basa en una divisin por zonas del dia grama normalizado propio de tales cdigos. En relacin con el mtodo estudiado, ha sido preciso resolver algunos problemas adicionales, como el del estudio de la distribucin de los pesos de las palabras de un cdigo, el de simplificacin del procedimiento de correccin de errores, aprovechando las propiedades de permutacin de los cdigos estudiados, la descomposicin en factores de polinomios y otros. Hemos resumido tambin las caractersticas ms fundamentales de los cdigos-grupo binarios en cuyo marco encaja nuestro trabajo.
Opinamos que el problema de la codificacin es preciso situarlo dentro del ms amplio de la comunicacin. Es por ello por lo gue dedicaremos el primer Ca' ptalo a tratar de los elementos bsicos de una comunicacin, para que, reconocida la necesidad de utilizar cdigos, se expongan seguidamente definiciones, termin logia y una primera y sencilla clasificacin Ms a d e lante se tratar de las propiedades de los cdigos que se derivan de la Teora de la Informacin, y ms concre_ tamente de los Teoremas de Shannon. A continuacin, se discute brevemente el problema de la confiabilidad. En el "Captulo II se ha resumido la teora -
relativa a los cdigos lineales que sern los que constituyan la base de nuestro estudio, el cual se aplicar mas concretamente a los cdigos cclicos, cuyo anlisis se efecta en el Captulo III. En el Captulo V se presentan los mtodos cl sicos de control de errores. En el VI se estudia el si_s tema ob;3eto de nuestro trabajo, as como su generalizacin. Para la obtencin de resultados numricos es pre-
ciso conocer la estructura interna de cada cdigo, problema que hemos resuelto en el Captulo IV. Los clculos efectivos y comparaciones se han efectuado en el Captulo VII.
CAPITULO I
INTROmCGION
1.1
ESTRUCTURA DE UN SISTEMA DE GOIJUNICACION DIGITAL La comunicacin constituye una transferencia o intercambio de informacin entre dos puntos a travs de un medio que los separa. Todo proceso de comunica cin puede representarse esquemticamente como ilustra la Pig.1.1.1, en la que aparecen sus tres elementos bsi_ eos: Transmisor, Receptor y Va de Transmisin o canal.
Puente de Informacin
Codificador
Canal
Decodificador
- Uso
Transmisor
Ruido
Receptor
validez, puesto que engloba a comunicaciones entre puntos lejanos as como aquellas que tienen lugar entre r ganos ms o menos prximos pero pertenecientes a un mis mo sistema como, por ejemplo, enlaces registros-unidad
de control o unidades perifericas-memoria de un computa dor. La informacin debe fluir por el canal mate rializndose de alguna forma, utilizando como soporte alguna magnitud elctrica, constituyendo entonces la seal. Todo proceso de comunicacin se iniciar en la fuente q_ue genera los mensajes que deben transmitirse -mensajes que integran la informacin a cursar-. Tales mensajes estn constituidos por grupos de elementos o smbolos elegidos de entre una coleccin finita de los mismos, denominada alfabeto fuente, (Puede estar -
constituido, por ejemplo, por letras, nmeros y signos especiales). Hemos supuesto que la fuente es digital; no puede generar un continuo de valores. Muchas fuentes cumplen esta condicin y an otras de naturaleza continua pueden transformarse" en stas mediante un muestreo seguido de una cuantificacin. El canal nos viene impuesto, con un conjunto de limitaciones que implican el que sea selectivo con relacin a , las seales que pueden pasar por l, I3ado el canal, las fuentes pueden tener naturaleza muy diversa, por lo que se desprende la necesidad de efectuar alguna transomiacin de todos y cada uno de loa smbolos que forman los mensajes emitidos por una fuente, en seales elctricas aptas para viajar por el canal. Toda trans
formacin de este tipo se denomina codificacin, consti tuyendo una variacin en el soporte de la informacin. Confirmando estas ideas generales, observamos cmo el empleo de la codificacin surge con la comunica cin a distancia. Se usa ya un cdigo en los primeros telgrafos pticos. Posteriormente, la telegrafa elctrica implanta el cdigo Morse, vigente en la actuali dad. Modernamente, el tratamiento de la informacin requiere tambin la utilizacin de cdigos por la particu lar naturaleza de los rganos de clculo, control, r e gistro y comunicacin con el exterior. Tambin se em plean cdigos en sealizacin, telemedida, etc. La teora de cdigos ha ido creciendo cLUiz anrq.uicamente, a medida que lo han hecho las necesidades. Hoy da se ha comenzado a estudiar sistemticame?ite, aunque creemos que no existe todava un tratamiento unificado de la. misma. Volviendo a la consideracin del sistema de comunicaciones, hemos de resaltar que no slo se busca con la codificacin la mera posibilidad del envo de in formacin por el canal, como ya se ha apuntado. El 6bj tivo es ms ambicioso. Es deseable que la transmisin o el uso del canal se haga en las mejores condiciones posibles. Bsicamente, sto comporta la consideracin de dos factores esenciales:
V
a) Con la codificacin se pracura hacer un uso "efi
V,
ciente" del canal. Por ejemplo, emplearlo el mnimo de tiempo para una cantidad de informacin dada, lo que puede repercutir en optimizar el coste de la -
transmisin; o q.ue coexistan en el mismo las sea les de- informacin y control. Otras veces se atiende a la obtencin de caractersticas especiales, c mo por ejemplo, el secreto de la transmisin. t) Se trata tambin, por medio de los cdigos, de au/ mentar la confiabilidad de la transmisin, sto es,' que el mensaje recibido sea un fiel reflejo del que fu transmitido. Las posibles alteraciones en los mensajes son debidas a que en los ceinales aparecen fluctuaciones aleatorias de magnitudes elctricas que se mezclan -en general aditivamente- con la senal que se est transmitiendo, deformndola y o c a sionando recepciones errneas de smbolos. Existen as errores en la transmisin. Segn la aplicacin que se persiga se impondrn diferentes cotas supe rieres al porcentaje tplerable de errores. Por m e dio de la codificacin trataremos tambin de ejer cer un cierto grado de control sobre estos errores. En virtud de las ideas expuestas, aparece en
tonces el transmisor dividido en dos grandes bloques: la fuente de informacin propiamente dicha y el codificador u rgano que realiza la codificacin o transforma cin de que hemos hablado.
Una vez obtenida la informacin en el lado r e _ ceptor, ser,preciso someterla a la opracin inversa con el fin de entregar los mensajes tal y como los gene_ r la fuente empleando su mismo alfabeto. Esta misin la lleva a cabo el decodificador, que forma parte integrante del receptor, cerrndose as el ciclo de la transmisin. . Conviene ahora concretar un poco el modelo de canal que aceptaremos para nuestro estudio. El canal lo supondremos sin memoria y quedar definido por un alfabeto de entrada y otro de salida (formado por el conjunto de smbolos que se vayan a
transmitir y a recibir) y una matriz de probabilidades, cuyos elementos dan la probabilidad condicional de obt ner una salida determinada cuando la entrada es una dada. Consideraremos, adems, que el canal es binario con dos entradas que representaremos por (a-, a^) y i o s salidas (b^, bg) y la matriz del canal ser
Pid = 1
Pig. 1.1.2 Simplificaremos ms este modelo del canal, considerando el llamado binario simtrico (BSC), cuya matriz es:
Vp
q.'
Fig. 1.1.3 hemos representado las entradas y salidas como O y 1. El parmetro p, caracterstico del canal, se denomina probabilidad de error del canal y representa la probabilidad de que haya un error en la transmisin (cambio de un smbolo por otro). El nmero p se asigna a cada dgito transmitido y puede estimarse por el co
ciente entre el nmero total de bits errneos y el nme ro total de bits transmitidos, medido en un periodo suficientemente grande. Si no se tiene un conocimiento "a priori" sobre el comportamiento del canal, se supone que cada bit tiene la probabilidad de error p. Los valores usuales de p estn comprendidos en el margen 10"^-10~-^ T^J* <
'A continuacin se da una tabla con las probabilidades de algunos casos que manejaremos ampliamente, en funcin de p f 6 _ _ / . Probabilidad de que en un grupo de n bits Uno particular sea errneo Uno particular sea correcto Todo el grupo sea correcto Al menos haya un error en el grupo Todo el grupo sea errneo ..... i Expresin ^ p q = 1-P (l-p) 1-q^ p^ 1-p^ npq^~ (2)p\^~^
Al menos haya un bit correcto Haya un error slo en un bit Haya k errores
Todos los canales se caracterizan por un parmetro intrnseco fundamental, denominado capacidad y que representa la mxima cantidad de informacin -o mxima velocidad de informacin- que puede transmitirse por ellos.
Para el caso de un canal binario simtrico con una probabilidad de error p, y que transmita N dgitos s s binarios (O' y 1' ) por segundo, su capacidad es ^ 1 _ 7 :
C = N
[ 1 + Polog p + q log q] q = 1- p
bits/seg
(Los logaritmos se toman en base dos para la medida de C en bits/seg.). Ms adelante emplearemos este concepto.
1.2
CODIFICACIN. DEFINICIONES Y TEmiIKOLOGIA La accin del codificador consiste en transfor mar cada smbolo de la fuente en un grupo de smbolos pertenecientes a un conjunto llamado alfabeto cdigo -de dimensiones ms reducidas que el alfabeto fuente-. A este grupo se le llama palabra-cdigo. Al nmero de smbolos de cada palabra-cdigo se le denomina longitud de d i _ cha palabra. Smbolo I Puente J Codificacin r Palabra A L Cdigo
Consideremos una fuente de informacin A, c u yo alfabeto est formado por los smbolos (a^, ap, ... a ). A la correspondencia que permite asignar a cada smbolo -
d todas las palabras-cdigo que corresponden a los 9mb los de la fuente se llama libro-cdigo o, simplemente, c digo, cuando no haya lugar a confusiones. Por e;jemplo, sea el alfabeto fuente a^, a2, a^, a^ go 0,1, un cdigo puede ser:
^1 ag ^3
a>,
y el alfabeto-cdi
00
,
010
, 011-
'4
Consideraremos en adelante que los cdigos que manejamos son binarios. Su alfabeto tiene slo dos smb los que representaremos por 0,1. Actualmente son los cdigos que ms se utilizan por cuanto que son muy idneos para la transmisin y los rganos de registro y trata miento de que disponemos son del tipo biestable. La definicin que se ha dado de codificacin es muy amplia. Para que los cdigos sean tiles, es preciso imponer algunas condiciones adicionales, que bsica mente son: 1 A cada smbolo fuente debe corresponder una palabracdigo distinta (No singularidad, del cdigo).
i
2.
Deben ser unvocamente decodificables, lo cual impli ca que recibida una palabra-cdigo no exista incerti dumbre en la decodificacin. Si los smbolos a codifL
oar son a- ... a ^ ^ y las longitudes de las palabrascdigo que s^ les asigna 1^ ^n ^ " ' ' ^ condicin queda asegurada si se cumple la desigualdad de Mac Millan C^J n i=1 Como ejemplo, observemos que con ^ dxgi
tos binarios, pueden codificarse n smbolos fuente "(n ^ 2^) con longitudes de palabras-cdigo iguales entre s y a k y stos cdigos son unvocos puesto
i=1
Toda la problemtica- de la codificacin har referencia de una forma u otra a los siguientes aspectos bsicos: a ) Tamao del libro-cdigo b) Mtodo de generacin de las palabras-cdigo c) Porcentaje de errores (Conflabilidad) ; d) Instrumentacin del codificador y decodificador e) Retardo de codificacin y decodificacin.
1.3
puede hacerse siguiendo dos criterios distintos: V , a) De un modo directo, haciendo corresponder a cada sim bolo de la fuente una palabra-Gdigo. h) Estableciendo la correspondencia en funcin de las prohabilidades de los smbolos de la fuente. El criterio, a) se utiliza muy ampliamente e m plendose palabras-cdigo de una misma longitud 1 para codificar todos y cada uno de los smbolos de la fuente. Estos cdigos son, por trmino medio, ms largos que los de la clase b) por l que su transmisin es menos oficien te econmicamente y el someterlos a tratamiento requiere ms espacio y rganos elementales. Sin embargo, tienen ]a ventaja de que la codificacin puede hacerse sin necesidad de un conocimiento previo de la estadstica de la -
fuente. Su empleo est obligado en aquellos casos en que la longitud debe ser fija como ocurre, por ejemplo, en telefona automtica y en el proceso de la informacin donde se reservan espacios de memoria de igual longitud para alojar las palabras-cdigo. Ya hemos dicho que actualmente se sigue la t nica de la codificacin binaria. Para codificar una fuen te de n smbolos, hay que elegir palabras de longitud k tal que 2 > n. Si la base del cdigo fuera mayor, el -
mismo nmero de smbolos requerira palabras-cdigo ms cortas, con el consiguiente ahorro en el volumen de equipo.
El criterio b) se ha seguido en aquellos casos en que no se exige una constancia en la longitud y se C nocen las probabilidades de los smbolos de la fuente. Al smbolo a^ de probabilidad p se le hace corresponder una palabra-cdigo de longitud 1.. Se define, entonces, la longitud media L del siguiente modo:
^ = ^
Pili
Puede hacerse pequeo el valor L si se codifica de modo que se asignen las palabras-cdigo ms largas a los smbolos menos probables y a la inversa. El ejem po tpico de esta clase de cdigos, es el Morse, El empleo de estos cdigos conduce a una mayor eficiencia en la transmisin en el sentido de ocupar el canal el menor tiempo posible para una cantidad de informacin dada. -
Tambin si fueran empleados en el proceso de la informacin se conseguira una reduccin en el volumen de equipo. Tal vez la razn de que no se hayan empleado hasta el momento sea debida a dificultades tecjiolgicas de im-
V
plantacin, quedando abierta una puerta para un poste rior desarrollo de estas ideas. Aqu reside la aplicacin ms brillante e inm diata de las conclusiones de la Teora de la Informacin que se materializa en dos principios bsicos conocidos C mo Teoremas de Shannon ^QJ/*
El primer Teorema de Shannon o de la codificacin sin ruidos permite atribuir un significado a la can tidad de informacin. Segn el Teorema, la cantidad m e dia de informacin por smbolo emitido por la fuente, r presenta el nmero medio de dgitos binarios (binits) ne cesarios para codificar cada smbolo de la fuente. Por consiguiente, ya en el caso ideal en que la transmisin sea sin ruidos tenemos fijada una cota in ferior a la longitud de las palabras-cdigo. Si llamamos H ( A ) a la entropa -o cantidad media de informacin- de la fuente, el valor mnimo posi ble de L, es:
Todo aumento en la longitud media, sobre el va lor mnimo, comporta la introduccin de redundancia en el cdigo. Si la longitud media es L, la medida de la re_ dundancia del cdigo es:
Al cociente H
1.4
portancia el estudio de sistemas de codificacin condu centes a la consecucin de transmisiones confiables en presencia de ruido. Esta necesidad es cada da mayor en las aplicaciones, como telemetra, sistemas de computa cin centralizados, telecontrol, sealizacin, etc. Si bien el primer Teorema de Shannon establece las condiciones para la codificacin ptima o ms efi ciento en ausencia de ruido, y a partir de l se han encontrado procedimientos para la construccin de cdigos ptimos -por ejemplo los cdigos de Huffman ^9j/-i no -
ruido. Lados una fuente y un canal con ruidos, aqulla entrega informacin a una velocidad determinada y ste tiene una capacidad definida, que representa la mxima velocidad de informacin que es capaz de transmitir. Para el caso de un canal binario simtrico, cuya probabili_ dad de error sea p, y transmita N Binits/seg., la capaci_ dad vimos que era: C = N (1 4 - p loaag p + q log q) bits/seg. (q = 1-p) El segundo Teorema de Shannon afirma que, m e diante una codificacin conveniente, es posible transmitir informacin por el canal a una velocidad muy prxima al lmite impuesto por la capacidad y con una probabilidad de error tan pequea como se desee. Sin embargo, el Teorema, aunque prueba la existencia de cdigos para los cuales pueden conseguirse los objetivos sealados, no su
ministra ningn procedimiento para construirlos. Realmen te, a esperanzas para al futuro, poro no rna que unas vagas indicaciones actualmente, acerca del diseo de los sistemas de transmisin de datos, A modo de ejemplo pod mos citar el de un canal "binario capaz de transmitir
1000 smlDolos por segundo con una probabilidad de error de lO""-^. Su capacidad sera: C = 990 bits/seg. Supongamos que mediante un cdigo apropiado -
conseguimos transmitir informacin a esa velocidad, sto es, seguimos enviando 1000 smbolos pero algunos de ellos son redundantes por lo que la transferencia neta de informacin es inferior. Sin embargo, oon slo un 1 io de prdida de informacin, se conseguira la anulacin de los errores Por qu tolerar entonces tales errores? La respuesta a esta pregunta es doble. Por una parte, hemos dicho ya que"no se han encontrado los cdigos cuya existencia predice el segundo Teorema de Shan non. Por otro lado, aparece ahora un factor nuevo que es el de la complejidad de los sistemas codificador y decodificador. Complejidad que producir dos efectos: el de encarecer los equipos y el de hacer lentas las operaciones de codificacin y decodificacin. Esta complejidad aumentar cuando mediante la estructura de cdigo que empleamos, pretendamos acercarnos a la capacidad del canal y al porcentaje cero erro
que en cuanto a eficiencia en el uso del canal tenemos L aplicar el segando Teorema de Shannon. Los mtodos de codificacin que permiten el -
control de los errores en las comunicaciones digitales se basan en aadir ciertas condiciones al alfabeto de 1'^ y O'.-Estos mtodos permiten la deteccin de los -
errores en un mensaje digital recibido, su coreccin y la exacta reconstiruccin del mensaje a pesar de los err res que hayan aparecido durante la transmisin. El problema de la complejidad del codificador y decodificador l i a impuesto la necesidad de dedicarle -
gran atencin y un gran porcentaje del trabajo efectuado y actualmente en marcba en cdigos se dedica a la bsque_ da de tcnicas de codificacin que permitan procedimientos sencillos de decodificar. De todo lo dicho se deduce que es preciso buscar un.equilibrio entre eficiencia de uso del canal, porcentaje admisible de errores y complejidad. Las estructuras de cdigo empleadas en el control de errores se dividen en dos grandes grupos ^0,11_7! a) Cdigos bloque, en los cuales cada elemento de infor macin se codifica con una palabra-cdigo de longi tud constante. "b) cdigos en los cuales cada elemento de informacin -
va a influir en la codificacin de los siguientes (no "bloque). En todo caso, toda palabra-cdigo, en los que permite el control de errores, va a tener dos partes
constituyentes. Una formada por los dgitos llamados de informacin, que son los estrictamente necesarios para la representacin del smbolo de la fuente -de acuerdo con todo lo dicho en el apartado 1,3 y, otra, integrada por dgitos adicionales o redundantes que se encargan del control de los errores, o "protegen" el cdigo prin cipalo Se ha puesto mucho nfasis en los ltimos aos en la bsqueda de relaciones algebraicas y algoritmos -
para la generacin de cdigos con propiedades convenientes. Los procedimientos algebraicos tienen una doble finalidad: a) La propia generacin de los cdigos de una forma sistemtica. b) La de permitir la instrumentacin de codificadores y decodifleaderes, a travs de la teora de autmatas lineales y circuitos secuenciales. Los cdigos de control de paridad, sobre los que versar este trabajo, constituyen una amplia familia denominada tambin de cdigos lineales [2, 3, 7, 10,
s s n-tuplas 1' y O' , el conjunto de todas las palabrascdigo vlidas constituye un subespacio vectorial del e paci de todas las n-tuplas. Trataremos de ellos en el Captulo II. En el Captulo III se estudiar una subclase muy importante de estos cdigos, constituida por los lia mados cdigos cclicos.
CAPITULO II
CDIGOS LINEALES
2.1
siendo p un nmero primo y m un nmero entero positivo. Consideremos el conjunto V de todas las -
\,q =
j ( ^ 1 ^n)
I aiCKqj
(2.1.1)
V, es un espacio vectorial de dimensin n sobre K. "f'iq A menos que se indique lo contrario, haremos en nuestro estudio p = 2, m = 1, representando los elje mentos de K por 0,1 que llamaremos en adelante dgi
tos binarios o, simplemente, dgitos, lo que equivale a considerar n - tupias binarias. dad representaremos Y^ ^ por V Kq por K. Si v6.Vj^ se llama norma o peso de Hamming y se representa por w(v) al nmero de componentes no n u las de v; si v^ ^^n' ^ 2 ^ ^ n ^ llama distancia de Hamming entre v- y Vp y se representa por d(v^,V2) al nPara mayor comodi
y el cuerpo de base
mero de posiciones en que difieren v ] y Vp. Puede fcil mente comprobarse que
(2.1.2)
ya que en el cuerpo K la suma mdulo dos ( ) equivale a la diferencia. La distancia de Hamming constituye una mtrica dentro de V^.
2.2
I3EFINIGI0N Un cdigo lineal C es un subespacio de V^^. A los elementos de C se les llama vectores o palabras-cdigo. Los cdigos lineales se llaman tambin cdigos de grupo puesto que el subespacio C tiene estructura de -
grupo. En todo cdigo lineal C hay elementos de dos categoras: a) b) Dgitos de informacin Dgitos de control
Los dgitos de control son combinaciones l i neales de los de informacin. Se dice que un cdigo lineal es sistemtico o separable cuando en cada palabra-cdigo aparecen los d^ gitos de informacin y control separados. En general los primeros preceden a los segundos. -
la longitud del cdigo. Evidentemente n = r-l-k. El cdi go se designa mediante la notacin (n,k). La estructura de cualquier palabra-cdigo, s e _ r, por consiguiente:
nDgitos de informacin
Dgitos de control
El cociente r/n nos da la redundancia del cdigo. La construccin de cdigos con gran capacidad de
2.3
ESTUDIOMETRICO DE UN CDIGO LINEAL La distancia mnima entre dos palabras cuale quiera de un cdigo, se llama distancia mnima del cdi go y constituye un parmetro fundamental del mismo. Si al transmitir una palabra-cdigo se producen k errores en la transmisin, la distancia entre la palabra transmi_ tida y recibida ser k. El concepto de distancia es til porque proporciona un criterio sencillo de medir la capa cidad de un cdigo para detectar errores, en virtud de los Teoremas siguientes:
V
Teorema 2,3*1 Si la distancia- mnima del cdigo es d ^ ^ ^ d ^ d ^ ^ ^ errores. pueden detectarse Demostracin En efecto, sean a,b palabras-cdigo tales que d(a,b) = d . Supongamos que se.transmite "b, y hay k ^ d errores, recibindose c. Se tendr: d (b,c) = k c no puede ser una palabra-cdigo ya que en el mismo existe una palabra b tal que d (b,c) = k < d^ por lo , que si el receptor conoce las palabras-cdigo desechar b. El mximo valor de k es d "< d ^ ^ ^ ya Q . u e d+1 = d ^ ^ ^ .
Demostracin Segn el teorema anterior, podrn detectarse 2t errores. Ahora bien, si se detectan 2t pueden corregirse t, ya que si un cdigo es capaz de detectar t o dos los errores dobles puede, alternativamente, corregir todos los sencillos. En efecto, supongamos que hay un error. Vamos a ir cambiando cada dgito de la palabra recibida con objeto de, localizarle. Si cambiamos uno que estaba bien (o sea, introducimos otro error) lo acusa, pues detecta dos. Luego cuando ya no detecte el cambio es porque lo hemos corregido". Si detecta cuatro puede corregir dos. En efe to, vamos cambiando de dos en dos los dgitos con lo que.
o pasamos a cuatro errores (y lo detecta) o reducimos a cero los errores. Si se exige al cdigo que detecte d errores y corrija t (t ^ d), la distancia mnima ha de ser
TABLA 2.3.1 Distancia mnima 1 2 3 4 5 Posibilidades Ninguna Deteccin de un error Correccin de un error Correccin de un error y deteccin de dos Correccin de dos err res.
2.4
ESTRUCTURA DE LOS CDIGOS LINEALES Sea B una base deO. subespacio correspondiente al cdigo C. Sea B (k x n) la matriz correspondiente a la base ^ nada, C es el subespacio-fila de B cuyo rango es y IS su reducida a la forma cannica escalo
igual a la dimensin del subespacio, que coincide con el nmero de filas de B. Cualquier palabra-cdigo ser igual a una combinacin lineal de filas de B B. La e tructura de B es:
B = (U, P)
(2.4.1)
k + 1 c^)(2.4.2)
la submatriz P corresponde, a las condiciones de paridad del cdigo. Los dgitos de paridad c . (k 4 - 1 -^ i ^ n) se
J
o b t e n d r n p o r medio de l a s k Ci = Z J n = 1
ecuaciones:
i Pr,i n na
( k + 1 ^ j ^ n )
(2.4.3)
denominadas ecuaciones de paridad. De todo lo anterior se deduce que el nmero de dgitos de informacin es igual a la dimensin k del sub espacio C y el nmero de palabras-cdigo posibles con k dgitos de informacin es 2 , numero de combinaciones li^ neales posibles de las filas de B.
que llamaremos vectores-cdigo o palabras-cdigo, eliminando la necesidad de una lista de las mismas. En lo sucesivo se representar por G. Sea C el subespacio ortogonal de C. Este sub-
espacio define un cdigo llamado dual u ortogonal del C. Gomo dim (C ) = n - k, este cdigo tendr n * ^= n - k = k de control. Si (c^...c )e C
se tiene:
L. i
Cj^ c^ = O
(condicin de ortogonalidad)
(2.4.4)
Sea H C
condicin o H^ = O (2.4.5)
Z i
Cj^ h^ = O
(2.4.6)
Estas ecuaciones se denominan ecuaciones generalizadas de control de paridad y H es la matriz de control de paridad. Conocida la matriz G = (P) la matriz H correspondiente, es:
H = (P^U)
(2.4.7)
Los cdigos lineales tienen siempre como palabra-cdigo la (0 0 ... 0) por lo que en ellos la distancia mnima es igual al peso mnimo de sus palabras. Es importante conocer este valor pues en (2,3) se ha visto
cmo las posibilidades de deteccin y/o correccin de un cdigo dependen de su distancia mnima. De (2.4.6) se d.e_ duce el siguiente
Teorema 2.4.1
Corolario.- La distancia mnima de un cdigo lineal C, s e _ r d^ si, y slo si, cada conjunto de d ^ ^ ^ - 1 columnas de H son linealmente independientes.
2.5
VECTORES ERROR En el curso de la transmisin pueden introducir se errores que consideraremos actan aditivamente cam blando algunos dgitos de la palabra transmitida. Para estudiar su accin consideraremos que toda palabra recibida es igual a la suma md 2 y de un vector error. de la palabra transmitida
r^^)
(2.5.1)
2.6
SNDROMES El sndrome es un vector que nos indica, al r cibir una palabra, si ha ocurrido o no un error. Adems son bsicos para el control de los errores como veremos despus.
Definicin 2.6.1
el sndrome S, de la forma siguiente: S = H.R^ Propiedades 1, El sndrome es un control de las relaciones de paridad-sobre la palabra recibida. Se trata de un vector de r = n - k componentes. Por consiguiente, hay 2^ (2.6.1)
sndromes posibles y como hay 2^ vectores error pos bles, cada sndrome corresponder a TP'/TF res. 2. Dada una palabra recibida R el conjunto de todos los posibles vectores error que pueden dar lugar a R est formado por todos los vectores E que tienen el mismo sndrome que R. En efecto, si no fuera as: = 2 erro-
HR^ ^ HE^ =0
H(R^-E^) 7 ^O
=0
H.C^ ^ O
(2.6.2)
lo cual es imposible.
Consecuencias: a) Si R es una palabra-cdigo, el sndrome es cero. Por consiguiente, todo vector recibido con sndrome nulo se dar por vlido. . b) Si X e y tienen el mismo sndrome:
3.
Como cada fila de H corresponde a una ecuacin de con trol de paridad a la que deben satisfacer las pala bras-cdigo, el peso w(S) del sndrome correspondiente-a una palabra recibida x, indica el nmero de ecua cienes de control a las que no verifica x.
2.7
digo C como uno de sus subgrupos, podemos clasificar los elementos de V con el siguiente criterio: estarn en la misma clase si, y solo
X, y e V
si, x-yeC sto es, si su diferencia es una palabra-cdi^ go. El con^junto cociente V^/C de esta clasificacin se acostumbra a disponerlo en forma de cuadro, constituyen-
do el llamado: Diagrama normalizado del cdigo. Como el cdigo es lineal, todas las palabras-cdigo estarn en una misma clase. Se toma como representante de cada clase al vector de la misma que tenga el menor peso. La forma de contruir el diagrama es la siguien te: Se escriben en la primera fila todas las palabras-c digo, empezando por la de menor peso (que ser la 00...0). Se toma una palabra de V^^ no contenida en la fila anterior y se suma a todas las de la primera fila; as quedar escrita la segunda, ..., se toma una palabra de V no conte_
nida en las i-1 primeras filas y se suma con todas las de la primera y as obtenemos la fila i. El proceso se cont nua hasta agotar todas las palabras de V . Cada fila del diagrama es una clase distinta. Se puede proceder ahora a la ordenacin colocando como representantes y encabezando cada fila, a los vectores de peso mnimo de la misma. El nmero de clases es 2^ = 2^"'^ ya que hay 2^ elementos en V^^ y 2^ palabras-cdigo en C. Se llama peso de una clase al peso del representante. Segn vimos anteriormente, a cada sndrome le corresponden 2 vectores error y todos los vectores error
del mismo sndrome estn en la misma clase, luego se puede representar tambin cada clase por el sndrome correspondiente. Segn sto vemos ahora como la condicin a) qu da reflejada: La clase correspondiente al sndrome cero -
es la formada por las palabras-cdigo. La disposicin prctica del diagrama normalizado es la siguiente: sndromes 00..O n(i) Pesos clases O Repres. Cdigo
1
11(1)
n (n)
3i 6 I 1 T
^(D)
^ 2^
Definicin 2.7.1
3iei
I.
In (j) = 2^
(2o7.l)
en cuyo caso, el diagrama normalizado contiene todos los representantes de las clases de pesos 0,1, ... i. ITCJ) = Definicin 2.7.2 q)
d <^ i
cuando su diagrama normalizado contiene todos los representantes de clases de pesos 0,1, ... i y algunos de peso ees: i ^ i+l i + 1, pero ninguno de peso superior. Se tiene enton
TiCj)
(2,7.2)
por lo que
' ()
j> i + 1
En el Captulo VI trataremos con detalle de la estructura del diagrama normalizado para algunos tipos de cdigos.
2.8
ERIPLEO HEL DIAGRMIA NOmiALIZAIXD EN LA lECODIFICACION Recibida una palabra R el vector error tiene que estar necesariamente en su clase ya que en virtud de (2,6.b) tiene el mismo sndrome. Seleccionando uno, tendramos una posible palabra-cdigo transmitida. Segn -
se efecte esta eleccin tendremos distintos tipos de d e _ codificadores, a) Decodificadores completos Hacen corresponder a cada palabra recibida una palabra-cdigo. Se emplean como correctores de errores. Recibida una palabra, se calcula el sndrome con lo que queda definida la clase. Se considera entonces que el error es igual al representante de la clase. Restando de la palabra recibida el error, queda la transmitida. Por construccin del diagrama sia es la palabra-cdigo situada en la misma columna.
El diagrama de operaciones ser: Se recibe una palabra Calcular el sndrome Buscar el representante de la clase Sumarlo al vector recibido
Para la decodificacin basta disponer una n-k tabla con los 2 representantes de clase y sus sndromes. El teorema que sigue permite conocer cundo una palabra ser decodificada correctamente.
Teorema 2.8,1
como tabla de decodificacin, el vector x ser co recctamente decodificado si, y solo si, el vector error es un representante de clase V(n,k) h^ h2 h^k -
g j Si + ^2
Si
gi + 112
Six-c=g.
x=c+g.
aparecer x en la co-
lumna correspondiente a la palabra cdigo c por lo que habr una correcta decodificacin de x. Si X - c ; ^ g., X estar en alguna clase, por ejemplo en la de representante g.
J
f i l a j pero no debajo de c, por l o que se decodifica r dando c' = x 4- g . 7^ c. Si hay menos de i e r r o r e s e l procedimiento da l a pal a b r a - c d i g o t r a n s m i t i d a , por l o que se dice que co-
rrige hasta i errores. Si hay i + 1 corrige solamente aquellas posiciones que correspondan a unos en los representantes de las clases de peso i + 1 por lo -
que se dice que corrige la fraccin i 4 - l/2^ de los errores de orden i 4 - 1. Si hay ms posiciones errneas la decodificacin da una palabra-cdigo diferente de la transmitida. La calidad de la decodificacin viene dada por el si guente
Teorema 2.8.2
emplea en un canal BSC. Suponiendo que todos los ve_c tores-cdigo tienen la misma probabilidad de ser transmitidos, la probabilidad media de decodifica cin correcta es la mayor posible cuando se emplea c mo sistema de decodificacin el diagrama normalizado. Sea x^^ el vector situado en la fila i, c lujnna del diagrama, que se de codificar segn el encabezamiento x j = c . de su columna. La distancia es d (x-^, X. ) = d. .. La probabilidad de decodifica cin correcta cuando se transmite c^, es; 2^-^- 1 T. i = O d. . P ^ n-di-i q " ^
p(Corr I c.) = ^
(2.8.1)
(sto e s , l a probabilidad de que transmitiendo X^J se reciba cualquiera de los de l a columna, incluso x^^) Y el valor, promediado para l a s 2 palabras-cdigo es l a probabilidad de que l a palabra recibida est en la columna j cuando difieren en d. . posiciones:
d^. = d ( x ^ j , X Q J ) = w(c^), es: d. . n - d . . p ^'^ q ^ (2.8.2) Cada vector recibido nos da un trmino de d.^ "^~^ii la suma; como p q '' decrece, el trmino es mximo si se decodifica empleando el ms prximo. Si es el nmero de representantes de clase de peso i entonces: -
p ( C o r r ) = p ( c .) p ( C o r r | c^) = 2 - K 2_
(2.8.3)
b)
Decodificadores incompletos Dan una palabra-cdigo de salida si, y solo si, la palabra recibida est en unas clases prefi jadas (generalmente se eligen las de peso w comprendido entre O e i) y en el caso contrario o indican que hay n error no corregible o bien solicitan la repeticin -por transmisin- de la palabra recibida. Sobre este tipo de decodificadores, con la
variante de retransmisin, se apoyar nuestro trabajo por lo que en el Captulo VI volveremos a manejar el diagrama normalizado.
2.9
RELACIN ENTRE LOS SNDROMES Y LA MATRIZ H A continuacin se expone una interpretacin d ternativa de los sndromes. El sndrome es igual a la suma de las columnas de H que corresponden a las posiciones errneas. En efe_c to: S = HE^ = (h^.. .h^) o
* Sj^/
h c
[O =1
no error en P2 sicin i
V 1
i i
S = (h. 4 . h. + ... 4 . h. ) ^1 ^2 ^k Aparece entonces una relacin entre los sndromes y las posiciones en las que hay error. Si existe un solo error el sndrome ser igual a la columna i de H, luego estableciendo la correspondencia sndrome-columnaposicin errnea, podremos corregir el error a partir del sndrome siempre que las columnas de H sean distintas entre s y no nulas. En este caso el diagrama normalizado d e _ be contener los n vectores-error posibles de peso 1. Para poder establecer la correspondencia necesitaremos una co-
leccin de n + 1 sndromes, n para cubrir todas las p _ o sibilidadea de error y 1 para el caso en que no haya error. Como hay 2^ sndromes, habr de ser: 2^^-n 4 . 1 A la misma conclusin se llega aplicando la Teora de la Informacin, En efecto: para corregir un error en un bloque de n dgitos -de los cuales k son -, de informacin y r de control-, es preciso disponer de logpCh 4 - i) unidades de informacin y como sta viene suministrada por los r dgitos de control, deber cumplirse 2''^^ n 4 - 1
CAPITULO III
CCLICOS
CCLICOS
SeaCL el lgebra de las clases de restos de n polinomios mod (x^ + 1) sobre Y^ Gi es un anillo conmutativo. Puede establecerse un isomorfismo entre ^ V en la forma siguiente: y
CQ + C.X4-C2X
+ ... + o
Ti
El ideal d corresponde por (i) a un subespa ci de V por lo que constituye un cdigo lineal. n Si hacemos g(x) = x de (ii) resulta que el
subespacio es invariante para toda permutacin cclica de coordenadas, constituyendo un cdigo cclico en el
cual toda permutacin cclica de una palabra-cdigo es otra palabra-cdigo. La elaooln da x J-l, 00 basa en que en el lgebra de polinomios md x^4-1, un subespa CO" es cclico si, y solo si, es un ideal T'^J
En lo que sigue, consideraremos que n es impar. De esta forma, x 4 1 no tiene raices mltiples ya que X +1 y su derivada formal nx'"'" 4-1, son polinomios primos entre s. Por consiguiente, x^4-1, podr descomponerse en factores distintos entre s. ,
Lema 3.1.2
Todo i d e a l c3 de Cl consta de todos l o s m l t i n pos (enCL ) de un polinomio g(x) que divide a x^4-1 y g(x) es el nico polinomio de grado mnimo en d ^l^JT". Se dice que g(x) es el factor generador del idale) y del cdigo C. Al polinomio li(x) = x^+l/g(x) se le llama fa_c tor recproco del ideal y del cdigo. Si el grado de li(x) es k, el subespacio i s o morfo a o tiene dimensin k /~16_7' dicindose tambin que la dimensin del ideal es k. Consideraremos que g(x) no tiene el factor x. Por consiguiente: El grado de h(x) es igual al nmero de dgitos de informacin del cdigo, y el grado de g(x) es igual al nmero de dgitos de control.
El polinomio correspondiente a toda palabracdigo es un elemento del ideal por lo que por (ii) ser un mltiplo de g(x) (reducido md. x +l). Este ideal o cdigo es el espacio nulo del ideal generado por h(x) cuyo cdigo asociado ser el dual u ortogonal del co rrespondiente a g(x). En virtud del isomorfismo anterior hablaremos indistintamente de vectores, palabras o polinomios cd_i go. ' Todo polinomio cdigo se obtendr multiplican do cualquier polinomio f(x) de grado inferior a k por g(x). Sin embargo, con objeto de que el cdigo sea sepa rabie puede emplearse otro mtodo de generacin de las palabras-cdigo con el cual los k trminos de mayor gra do del polinomio cdigo corresponden a los dgitos de informaeir<Snr-y-losres-tantes-a los de control. Para c o dificar el polinomio informacin p(x) se divide x " -pCx) por g(x) x^"^p(x) = c(x) g(x) + r(x) ' (3.1.1)
X " " p(x) contiene los dgitos de informacin en las posiciones de mayor grado con coeficientes cero para los trminos de grado inferior a n-k, ya que grad < n-k. Si sumamos el resto r(x) x^-^ p(x) + r(x) (3.1.2) (r(x))
s(x) y contiene los dgitos de control alojados en las n-k ltimae posioionoa. De esto modo quedan separados los dgitos de informacin j los de control.
3.2
REPRESENTACIN FiATRICIAL Varaos ahora a ver cmo se encuentra la matriz G a partir del polinomio generador del cdigo g(x). Para ello habr que buscar k n-tuplas que correspondan a palabras-cdigo y sean linealmente independientes; por ejemplo las que corresponden a x-^g(x) T=k-1, k-2,... x^-''g(xK x^-^g(x) G = g(x) Se obtiene as una matriz G que es cclica, _ s to es, sus filas son permutaciones cclicas unas de otras, pero que no est en la forma cannica (IP) si (3.2.1) Oj/,
bien genera el mismo cdigo pues es una base del subespaci. Para obtener G en forma cannica hay que deter minar los dgitos de paridad que corresponden a los vectores de informacin de la base de los mismos, (IOO..O; 010..O, etc.) Estos dgitos se obtienen por divisin del polinomio-informacin por g(x), tomando el resto. La -
~-
particulares como filas de G-, sta aparece en forma cannica. Entonces el mtodo consistir en hallar los res_ tos (md. g(x)) de X (i = n-1,. n-2, ... r) y los k po-
linomios x"^ + R. forman la matriz g ( x ) . Esta forma de escribir la matriz G corresponde al mtodo de construccin de palabras-cdigo descrito en (3.2.1) para el caso particular en que sea
I
H =
x^hCx)
(3.2.2)
rr-i' li(x) H tambin es cclica pero no est en la forma cannica (P I ) y para ponerla en esta forma, calcula mos los restos de x"^ (i = k, k+l, ..., n-l) m.d. b.(x) y escribiremos los polinomios x"^ + R^^ al revs para que quede la submatriz I en segundo lugar. Las filas de H son palabras del cdigo dual y, por consiguiente, mlt_i pos de h.(x). Tambin puede escribirse H a partir de las ca ses de restos de g ( x ) .
Definicin 3.2.1 Los cdigos cclicos pueden definirse tambin dando las races -que estarn en un cuerpo de extensindel polinomio generador g(x). Esta definicin se aplica concretamente a una subclase muy importante de cdigos cclicos -cdigos BCH- como se ver ms adelante. Si las races de g(x) son ^i > ^2 '^r stos valores debern anular a todo polinomio f(x) correspondiente a una palabra-cdigo vlida. Si el polinomio mnimo de O. es m.(x) esto implica que f(x) debe ser divisible por m(x) .... m^(x) y, por consiguiente, por su m.c.m. Por lo tanto: g(x) = m.c.m. {m^(x) .... m^(x)j (3.2.3) -
deben ser races de x^4-1, por lo que el orden de cada una dividir a n. Vamos a obtener una expresin para la matriz H en el caso en que el cdigo se describa por las r a ces del polinomio generador. Como hemos visto, el polinomio f(x) correspon de a una palabra-cdigo si V i 2 n-1 (1 c^oL^ .... oti ) (a^ a^ f ( ^ j _ ) = O sto es: rn a^^^^) = O
(l<i<r) (3.2.-
H o
I ! !
(3.2.5)
1 a -^
que puede escribirse en forma binaria escribiendo las expresiones binarias de d? en el cuerpo de extensin.
Una primera consecuencia que aprovechamos en nuestro estudio es la siguiente: Si o( es elemento primitivo de GP(2'^) y consi_ deramos la matriz m ,c<2 - 2^
H = (1,P( , oi.^,
(3.2.6)
al representarla en forma binaria nos encontramos con todos los tipos posibles de columnas de longitud m, por lo que el cdigo corregir todos los errores sencillos ^ 1 5 _ 7 . La funcin mnima de o ( y por consiguiente el p linomio generador, es un polinomio primitivo. Estos cdigos son los de Hamming, correctores de un error. Con objeto de permitir la deteccin de errores, se incluye un dgito global de paridad ^ 2 , 3 _ 7 lo que implica con- siderar la raiz 1, y-por consiguiente, el factor x + 1 de g(x).
3.3
(BCH) ?7,18_7
Gilmente instrumentalDles, con diferentes longitudes y redundancia. Su eficacia en deteccin y correccin de errores no ha sido superada por los cdigos conocidos de longitud fija. Cono ya dijimos anteriormente, estos cdigos quedan definidos por las races de su polinomio generador. Aqu consideraremos cdigos binarios, sto es, los smbolos pertenecen al cuerpo GP(2), Sea o * , un elemento del cuerpo de Galois GF(2 ) y m un entero. El cdigo -
consta de todos los polinomios f(x) sobre GP(2) cuyas races son
Tomaremos m
= 0,1
[J^Q ^ O " ^ ' '
... m !-d-2j e igual al orden e de la raz C X ya que (C^%)^ = 0(%-^ = 1 y C ^ =1 por lo que ( C y V ) ^ = 51%^+^ = 1 luego n ^ e. Por otra parte,
e|n, luego
si 0 1 = 1, ( O t ^ ) = i, sto es, el orden de cada ele ment ^ '^ divide a e. Entonces n no puede ser mayor que e, por lo que n = e. Determinado el grado del polinomio generador puede encontrarse el nmero de dgitos de informacin y de control. La distancia mnima del cdigo es: ^"^ En efecto, la matriz H es (3.2,5): -
c{ m.
(c^ 1^0)2
n-1
( c<^o+1)
1 H =
oL^o+1
( ^mo+1)'
n-1 (3.3.1)
n-1i ^ _ ^ r n o + . _ d - 2 _ ( _ ^ m ^ - 2 ^ ^ ^ ^ ^ ^ ^ ^m,+d-2 ^^ |
Si formamos el determinante de d-1 columnas cualesquiera m^N^I ( 0(^0) ( 0(^0+1)^1 m.N^2 ( o^^o) (ocn^o+1)^2 ^^^ ( c^mo)^=1 ( ocnio+1)^d.1
A=
(ci"^o+d-2^^1 ( ^mo4.d-2)2 ( ^mo4.d-2)^'i-1
(3.3.2)1
podemos escribir
1 d-1
J1
(3.3.
Vandermonde, luego:
A r :
(3.3.4 k>i
por lo que si dos races cualesquiera no son iguales A j r ^ Oy por consiguiente, no hay relacin de dependencia lineal entre d - 1 -
mnima del cdigo es d. (Teorema 2.4.1). En el caso binario, o (,o t , o4 } ... son ra-
conjunto de las races, De esta forma, para HIQ = 1 drenaos como races:
ten
(3.3.5) = 2t 4 - 1, por
lo que puede corregir todas las combinaciones de t o me nos errores. El polinomio generador ser: g(x) = mcm|m^(x), m^Cx), ... m2^_^(x)] (3.3.6)
I
Como los polinomios mnimos son irreducibles y por lo tanto primos entre s, se tiene: g(x) = m^(x). m (x) ... m^^^^Cx) (3.3.7)
y la longitud n del cdigo es igual al periodo de m-(x) Para m^=0, las races sern: o 1, c^ , 0^^ En este caso n i (x) = l+x d^^'^ (3.3.8)
corresponde a la raz 1 entrar siempre en la expresin de g(x) La distancia mnima es jj, = 2t 4 - 2, pudindose corregir c errores y detectarse d, con d > c y 2t 4 . ' 2 = c+d4-1, -
1 + x^, por lo que habr que conocer la descomposicin factorial de este binomio para elegir los m.(x), lo que se ha realizado en el apartado (3.5). Cualquier factor
de 1 4 - X 'podr utilizarse como polinomio generador, del que sern mltiplos (mod.x*^ 4 - 1) todos los polinomios-c_6 digo. Teorema 3.3.1 Dado un e n t e r o t > 0 e x i s t e siempre un cdigo BCH capaz de c o r r e g i r todas l a s combinaciones de t
o -
El grado de g(x) es igual al nmero de dgitos de control (3.1). Por otra parte, el grado de cada polinomio mnimo es menor o igual a m y existen t polinomios en (3.3.5). Como g(x).h(x) = x^ 4 -1 y x^ 4 -1=
T[{K-O^)
siendo 0 ( una raz primitiva de orden n de 1 en el cuerpo GP(2 ), podemos clasificar las potencias de c < en dos categoras: i) Races de g(x); ii) Races de h.(x) Si o ^ es raz de g(x) tamtin lo son sus conjugadas: 0 ^ -^ C^J'
El nmero de races del grupo (i) es igual al grado de g(x) y, por consiguiente, al de dgitos de con trol. El nmero de races del grupo (ii) ser entonces igual al de dgitos de informacin.
n 7 15
k 4
t
1
11 7 5
1 2 3 1 2 3 4 5 1 2 3 4 5 6 7 10 11 13 15
mm^ .m-3
m^ ,m-imc
m-1
31
26 21 16 11 6
63
57 51 45 39 36 30 24 18 16 10 7
6/63 12/63 18/63 24/63 27/63 33/63 39/63 45/63 47/63 53/63 56/63
m^ ,in.-^,ms-isrj,m.q
m .m^.m-,m^.m^,m m^ .m-3.mc<mo*mg ^1 1-^13 m^ .m^^.m(-.m/^.mq. m- ^.m^3.m^5 m^ ,m^.m(-om,^.mQ,m^ m^ .m^.m[-.m,y.mq. m^
r^3-^5
r'i3-'i5
Si ft no es raz primitiva de GF(2 ) el cdigo se dice generado por elementos no primitivos. Sea 3 = c<^ siendo c < elemento primitivo de GF(2"^). El orden de 3 y, por consiguiente, la longitud del cdigo es: n=2 -l/r, ^En' est3,~"clas-e -estn incluidos los cdigos deri vados de las factorizaciones de x^+1 como veremos en el apartado 3.5. Tomamos las longitudes (impares) tales que para un entero n, sea n-r = 2 - 1 , sto es, 2^-1, no sea primo. A continuacin se da una Tabla ^ 3 _ / para n ^ 65 de estos cdigos TABLA 3.: 1.2 i
n
21
k
12 6 4 12 5 3 13 11 8 4 15 3 15 29 23
11 7 5
t 2 3
. 4
Redundancia 9/21 15/21 17/21 ' 11/23 20/25 24/27 20/33 24/35 27/35 31/35 24/39 36/39 28/43 16/45 22/45 34/45 38/45 40/45
n
47 \9
Redundancia 23/47 42/49 45/49 16/51 24/51 ' 32/51 40/51 42/51 40/55 50/55 36/57 54/57 24/65 36/65 48/65 60/65
23 25 27 33 35
39 43 45
12 2 4 2 2 3 7 3
6
3 2 3
4 7 10
24 7 4 51 ~ 35 27 19 11 9 55 15 5 21' 57 3 41 65 29 17 5
2 3 10 2 4 5 8 9 2 5 2 9 2 3 5 6
3.4
PROPIEDADES TE LOS CDIGOS CCLICOS Teorema 3.4.1 Todo cdigo generado por g(x) de grado r ^ 1 detecta todos los errores simples. Demostracin Supongamos que hay un error en la posicin i. Entonces: E(x) = x y si g(x) tiene ms de un trmino
E(x) no es divisible por g(x). Consecuencia - Si g(x) = 1 4 - x, se detectan los errores simples. Este es el caso de control de par, dad ms sencillo (emplea slo 1 dgito de control).
Teorema 3.4.2 Todo polinomio divisible por 14-x tiene un numero par de trminos. Demostracin Sea f(x) = x^ 4-"1x:^+...= q(x).(l + x ) . Si hace_ mos X = 1, quedar: 1 4 -1 4 - ."^.4- 1 = 0 , luego n ha de ser par. Consecuencia - Todas las palabras-cdigo deben tener un numero par de unos para que sean vlidas, sto es: han de ser de peso par.
\,
Definioin 3.4.3 Se dice que g(x) es de exponente e, si e es el menor entero para el cual g(x) |x4- 1, o sea, 3f(x) I x^4. 1 = f(x).g(x)
Los teoremas que siguen permitirn efectuar una seleccin de los cdigos cclicos a los que pueden aplicarse el mtodo mixto de control.
Teorema 3.4.4Todo cdigo generado por g(x) detecta todos los errores sencillos y dotles si la longitud n del cdigo es : : ^ que el exponente e de g(x). Demostracin Supongamos que hay dos errores en las posici_o nes o coordenadas (variables) i, j < n . Entonces: E(x) = X } x ^ ,
dir a x-^ + x * ^ pues entonces no seran detectables. Como g(x) no es divisible por x-^ ( 1 ^ i) no tiene el factor x. Supongamos i <: j; x-^ + x * ^ = x-^(l + x*)""^)
Estudiemos el cociente
bastar ver si g(x) divide a 1 4 - x*^" . Como por hipotesis es de exponente e, g(x) dividir a 1 4 -x * J solo si, j-i ^ e si y -
ponente j-i). Ahora bien, coniG j-i <:n ^ e (por hiptesis) resulta que no puede ser j " i ^ e, luego no divide a 1 4 - x*^""^. Como e ^ n, g(x) no puede ser 1 ni x, luego detecta todos los errores simples (tendr ms de un tr mino). Lado un entero positivo m, existe al menos un polinomio p(x) de grado m y exponente 2^- 1 mximo. Este (o stos) polinomios son irreducibles y primitivos y estn tabulados. Entonces para todo m existe, al menos, un cdigo de longitud n = 2"^- 1 que detecta errores dobles (o corrige uno sencillo) generado por un polinomio g(x) de grado m, con m dgitos de control y n-m de informa cin. Se trata d los cdigos de Hamming ya vistos en (2.9) y (3.2).
Teorema 3.4-.3 Todo cdigo generado por g(x) = (14-x) p (x) detecta todos los errores aislados, dobles y triples si n 4 e siendo i) e el exponente de p(x).
ii)
(Teorema 3.4.4).' Si p(x) es primitivo se tienen cdigos de longitud mxima (equivalentes a los de Hamming). La distancia mnima para estos cdigos es d = 4 , por lo -
que pueden corregir un error y detectar dos. Debido a la posibilidad mixta de control que ofrecen sern util_i zados posteriormente en nuestro estudio Definicin 3.4.6 Dada una palabra-cdigo de longitud n, se lia ma rfaga o paquete de errores de longitud b a un v e c tor error dentro del cual el nmero de dgitos comprendido entre el primero y ltimo errores, incluyendo s tos, es b. La presencia de errores en rfagas suele t e ner lugar espordicamente, pero es importante que el c _ digo proporcione alguna proteccin frente a este tipo de errores. Los cdigos cclicos son muy idneos para hacer frente a las rfagas. Las posibilidades de correccin se discutirn al final del Captulo VI, 3.5 FACTORIZACION DE x^ I - 1 Con objeto de poder efectuar una seleccin de cdigos a la que aplicaremos el mtodo hbrido, hemos preparado una Tabla con la descomposicin en factores de X 4-1 para n^s 31 que ser el margen de valores -
que emplearemos. Se ha seguido para la descomposicin un mtodo propio [16] y los factores se presentan en forma octal, indicndose a continuacin el grado y el exponente de cada factor.
TABLA 3.5.1 n 4 FACTORIZAGION DE x"' - . 1 PARA n 1 3 5 7' (3,1 9 11 (3,1 (3,1 (3,1,1) (3,1,1)(7,2,3) (3,1,1)(37,4,5) (13,3,7)(15,3,7) (7,2,3)(111,6,9) (5777,10,11) (17777,12,13) (7,2,3)(37,4,5)(31,4,15)(23,4,15) (471,8,17)(727,8,17) (1777777,16,19) (7,2,3)(15,3,7)(127,6,21)(165,6,21) (5343,11,23)(6165,11,23) (37,4,5)(410241,20,25) (111,6,9)(1001001,18,27) (3777777777,28,29) n ^31
23 (3,1 25 (3,1
27 (3,1 29 31 (3,1
3.5.1
Los cdigos BCH primitivos de la Tabla se obtie-^m nen para n = 2 - 1, tomando como polinomio gene-
3.5.2
Los cdigos no primitivos de la Tabla pueden con_s truirse siempre que n sea un factor de 2^-'[.
i
Si -
2-1 = n.s, una de las raices del polinomio genera dor e x . es igual a [S^ siendo [ i . Gt'FiZ^), Los po-
linomios mnimos de o y sus potencias sern los que den el polinomio generador 'del cdigo. Si no existe ningn valor de m para el que se cumpla la anterior relacin para un n dado, no pueden encon trarse cdigos BCH de esa longitud con ti*-1, 3.5.3 Para cualquier n, si tomamos como generador iin p linomio de exponente n, tendremos un cdigo corre tor de un error. 3.5.4 Si se toma como generador el factor 1 + x multipli_ cado por un polinomio de exponente n, se tiene un cdigo corrector de 1 error y detector de dos.
3.6
BCH. Pueden seguirse dos mtodos para la obtencin de las ecuaciones necesarias para la correccin: el mtodo matricial y el polinmico. Ambos conducen al mismo resultado, teniendo el segundo la ventaja de que es ms sen cilio instrumentar los clculos necesarios. Expondremos brevemente, en primer lugar, el mtodo matricial por ser ms intuitivo y lo conectaremos s guidamente con el polinmico.
3.6.1
Tratamiento msitricial En el caso e los cdigos correctores de un error se establece un isomorfismo entre cada sndrome y la posicin o coordenada del dgito errneo dentro de la palabra recibida. Como en e te caso el sndrome es igual a una columna de la matriz H, este isomorfismo puede considerarse establecido entre cada columna de H y la coordenada' del vector donde est el error. Si el vector error es: E = (e., ..,, e ) con un error en la po 1 n sicin j (e. = 1, r S = h . si es e. = o (i / ^ Q)),el sndrome s H = (h ... h ).
Se dice por ello que cada columna de H controla una posicin o coordenada de la palabracdigo recibida. El problema que se plantea es, conocido el sndrome, determinar la posicin err nea puesto, que una" vez encontrada bastar cambiar el dgito situado en ella para tener corregido el error. Si H tiene de dimensiones r x n, el sin drome ser un vector r-dimensional. Si el cdigo es primitivo, cada sndrome, y por consiguiente cada columna de H, podr asociarse a un elemento distinto del cuerpo GP(2''^). Como n = 2^-1, todos los elementos no nulos de este cuerpo correspon den a un solo sndrome y viceversa, puesto que -
existen
es primitivo, puede
los elementos de un cuerpo de Galois pueden escr_i birse como potencias de uno de ellos, tales poten cias sern las que se asignen a cada una de las coordenadas de los vectores-cdigo, por lo que el sndrome ser, en general: S = o ( J siendo U un elemento de GP(2'^). Conocido el sndrome, podr determinarse inmediatamente j y la coordenada donde est el error. As en los cdigos BCH primitivos, con %~ 1 y t = 1 (3.6.1)
blece la correspondencia
-o(
siendo '^ elemento primitivo de GP(2"'^). Si hay un error en la coordenada j, se tiene: (0:Sj^n-l) E = (O, O y el sndrome ser: 1 0)
? = h. = aJ1 -1 S = H.Eo ^
(3-6.2)
.k-1 e, inversamente, si S = a hay un error en la coordenada k Para corregirlo, basta almacensur el vector recibido en una memoria tampdn y proceder a que salgan secuencialmente sus componentes, cambiando el dgito cuando salga la componente k. Si el cdigo puede corregir t errores, la estnici 2i 2^i tura de la matriz H, teniendo presente que a = a ^ s a que son independientes : 1 1 H = 2t-l,^2 V 2t-l.g-lv 2t-l a^ .n-1 (a^)?.. (a^""^)^ (3,6.3)
Para m
= 1, y
1 1 H =
1 a
^2t-l
.n-1
(3.6.4) (a2)2t-l.. (a^-l)2*-l/
Para m^ o = O. Puede considerarse la matriz formada por t 6 t 4- 1 grupos de elementos (segi5n sea m s O, 1) cada uno de los cuales constitDiye una fila de la misma. Si hay t errores, E = (O, ... , e^^,, , e^p, ..., e. , O ) , con e. s 1 para j ^ 1,2, ... t y
El sndrome
se denominar ahora sndrome total y constar de t 6 t 4 1 sndromes parciales. Consideraremos slo el caso m = 1, ya que si m = O uno de los s i n -
vez observado su valor, estamos en el caso ante rior. El sndrome parcial S, es igual al producto de la submatriz definida por el grupo de filas k por E-^, Sj^ = (1, o<2k-1^ ( o(2k-1)''"'').ET T (3.6.5) son O, 1,
S. = e, + e, ^ ^ " U
4 . e, ( ^^"'')
, o bien
(3.6.6)
Encontramos entonces t sndromes, que definirn un sistema de t ecuaciones con t inc6gn tas, que resuelto dentro del cuerpo de Galois nos permitir conocer las coordenadas donde estn los dgitos errneoso 3.6.2 Tratamiento polinmico Sean: C = (c ... c ^) la palabra-c o n-1 ^ digo transmitida, R = (r ... r , . ) la palabra r
cibida y E = (e
c.x^ ^
(3.6.7)
r.x^ ^ e.x^ ^
(3.6.8)
(3.6.9)
Como hemos supuesto (2.5.1) que los err res son aditivos, se tendr:
races de g(x). y C(x) = k(x).g(x), estos valores anularn a C(x), luego en virtud de (2.6.10), ser: -
(;j=1,2,..2t) (3.6.11)
y ste ser el sndrome parcial de orden j corre_s pendiente a R. Si dividimos R(x) entre el polinomio mnimo m ^ ^ 4,-J_T(X)
-o-'J
se tendr:
(3.6.12)
(3.6.13)
btenindose as el sincerme como el resto de la divisin particularizado para oC^o "3~ . Esta es -, la ventaja del mtodo polinmico so"bre^ el matri oial, ya que puede instrumentarse fcilmente la operacin de divisin en el decodificador emplean do registros de desplazamiento. En el caso matricial se oTotuvieron t -
sndromes. Aqu aparecen, en principio, 2t, pero sin embargo, no todos son independientes, ya que si p es la caracterstica del cuerpo al que perte_ necen los elementos , se tiene:
s / = Z ^ ( ^""o^'-^U^^
R [( oC^o'-^-'')^] = S^p
(3.6.14
S^ = Sg^ ^6 = S32
(3.6.15)
y el nmero de sndromes necesarios queda reducido a t<, 3.6.3 Mtodo de correccin Designaremos a partir de ahora a las : coordenadas de un vector en las que existan errores con X, ( k = 1,2, ... t ) . A estas magnitudes
se les llama localizadores de error y sern e l e mentes de GF(2 ). Los sndromes aparecern entonces como sumas de las potencias de X, . De este m_o do evitamos manejar potencias de 0( con exponentes complicados. Se tiene entonces, para el smbolo k . . . 0^-^ " -X^ por lo que ( tx^^o-J-j-l )k-1 ^
S.=
Y.
X,^
m :$ :^m^4-2t-1
(3.6.16)
siendo ^^3' el nmero de errores. El clculo de los sndromes se realiza dividiendo por los polinomios mnimos como ya se h.a dicho. Una vez conocidos, y teniendo presentes las relaciones (3.6.15), la expresin (3.6.16) es un sistema de ecuaciones que,tericamente, permite calcular las X. y tener as determinadas las posiciones o coordenadas en las que estn los errores. Sin embargo eJ^' sistema (3.6.16) es de ecuaciones no lineales por lo que no se resuelve -
V ,
directamente sino a travs de un procedimiento in directo. Para ello se construye un polinomio -de ahxora en adelante se llamar polinomio localiza dor de errores- cuyas races sean X^ .... X . -
(Si hay v ? -^ t -errores, las t - i^ races, sern cero). Este polinomio ser de la forma:
x " * ^ (3.6.17
(T^ ...(51
tales. El paso siguiente consiste en buscar relaci nes entre las C -incgnitas- y los sndromes con
objeto de obtener los coeficientes del polinomio y poder determinar sus races.
i
sucesiva-
(3.6.20)
(3.6.21)
que se transferira S 2 C 1
4-S O " 1 2
Procediendo de este modo, encontramos las siguientes relaciones entre los sndromes S. y las (T denominadas identidades de Newton ^19,22_7'; para el caso en que haya menos de errores: t -
1
S2 ^, 4 . S^ (T^ + 0 3
= S,^
= S3 I (3.6.23)
^ ^3 " " 2 ^ ^2 ^3 ^ ^1 ^4 ^ S
= ^5
s^
Sg
1
S^
o
1
o .... o
o ... o
A=
^2t-1 ^2t-2 Si Ay0
(3.6.24)
C'
se supone que
resuelve el sistema formado por t - 1 ecuaciones para 3.6.4 O". con i = 1 , 2, ...21; - 3 .
Resolucin de la ecuacin (3.6.17) Seguiremos, con algunas modificaciones, el mtodo de Chien ^^^J. Vamos a escribir nueva
a(x) = y^^
t-1
(3.6.17) Si una de las raices fuera 1, se tendra t k=1 y seria inmediato comprobar la existencia de la misma.~ Si no se cumple esta condicin podemos transformar (3.6.17) en otras ecuaciones cuyas races sean 1 y a partir de ellas, deshaciendo
la transformacin encontraremos las races buscadas. Vamos entonces a estudiar la transforma cin y el comportamiento de las races frente a ella. Gomo las O " , son elementos de un cuerpo
o( CT^
puesto q _ u . e nos da otro elomonto del miamo cuerpo y el proceso puede instrumentarse por medio de r gistros de desplazamiento y sumadores md, 2, Si hacemos la transformacin y escribimos la ecuacin: O " . = '^ ^,
1 -
0=^_^ X 4 - O"^ = O
(3.6.24)
es fcil ver que las races de 6" son iguales a las de O" multiplicadas por ck , es decir "despla zadas" una unidad. En efecto, sea B una raz de
6 :
^'^' J . <S^ p^"'' + ... + (5^__^ p + 6-t = O (3.6.25:
( J = x"^ ! - C ^ t J ^ x ' ' ^ " ' ' 4 - ... 4 - O^"''' 6 ^ _ _ ^ ^ x4 - o ( ' ' ^ ( r ^= O
t y multiplicando por OL
queda:
Si /3 es ana r a z de (5" , se t e n d r :
(pol-1)
I - ^t = O
4. 0-^ ifck-h
ta: -1 A =/50(-'
=0
p = d.p
(3.6.28)
S
r\J
= O l ^ ' ^ ^k
+ ^
(3.6.29)
^^
t"-T
0"(x) = X
4 -( 5 * ^X
4 - ... 4 - O"
las races -
de a , A
-/S-^-U/3_. _ ^
Podemos ahora (para ello disponemos de T } hacer que 1 sea raz de ( T lo cual implicara
t
rJ
que
y"
i._-i
( J " , = 1.
se ver el valor de T que corresponde. En tonces se tendr / 5= o ( = o( como raz de C . La manera de hacerlo es ir dando desplaza mientes unitarios a
/^ 2 G"p((^2= ^ '
C " ^ =
o( 5 "
Para la realizacin prctica se dispone de t' registros en los c^ue se colocan C- Cp ... C., Inicialmente se suman los contenidos de los regis_ tros. Si la suma es 1 corresponde a la raz x = 1, Si no lo es, el registro q_ue contiene tiplica por O , el que contiene C O" por se mul_ OC'^, -
etc. (12 desplazamiento). Nuevamente se comprueba la suma. En el intervalo k los registros contie nenias magnitudes 1, ^ 0 1 ^ , ^2 ^ ^^' * ^ ^ ^''^^ y el valor de C" ( Qk ) viene dado por la suma de los contenidos de los registros. En el intervalo siguiente se multiplica el registro que contena ^^OL^ por el , el de ^^ck^^ por c^ ^ ... el -
multiplicaciones en GF(2^)
que se realizan simultneamente. Para valores reducidos de t m sto puede conseguirse en cada -
suma de los registros es 1, hemos encontrado la '^ n'Z raz X = o ~ " = O ~ corrigindose el dgito correspondiente a la coordenada n - ^ . Las ra-
de las coordenadas de error. Con objeto de sinorc nizar y disminuir el tiempo de decodificacin se asocia a cada potencia negativa de oL una coorde-
nada del vector. De esta loria la salida de los d _ gitos tiene lugar secuencialmente con cada desplazamiento y si se l i a encontrado x = oC"" se corr_i
ge el dgito cuando .sale de la memoria tampon. 3.6.5 Resumen del mtodo A continuacin se da un diagrama-resumen de las operaciones.
Palabra recibida
o.
Par
Incomp.
'
Detectados 2 errores
cr
Correccin
3.6.6
Aplicacin al caso t = 2 En el caso de correccin de errores d o bles, el mtodo general se simplifica notablemente. Si X y Xp representan las coordenadas donde estn
1 (3.6.31)
(3.6.32)
x2 + S^x 4 . (S^ +
^ ^1
)= O
(3.6.33)
que corresponde al polinomio localizador de erro res. Se observar que, en este caso, no ha sido preciso calcular explcitamente las ( T ya que h e mos conseguido obtener directamente el polinomio (3.6.33). La ecuacin (3.6.33) puede resolverse -
aplicando el mtodo (3.6.4) si bien con objeto de conseguir el sincronismo al que se hizo referencia
en (3.6.4) la vamos a transformar en otra cuyas races sean las inversas de las coordenadas de
error. De (3.6.33) se deduce fcilmente, con esta condicin, la ecuacin: 2 S 5 (z) = 1 + S^ z + (s^ + _2_)
z2 = o
(3.6.34)
a la que aplicaremos el, mtodo (3.6.4) y de esta forma cuando la suma de los contenidos de los r e gistros sea 1, se corrige el dgito que en ese momento abandona la memoria-tampn. En el apartado (3.7.1) se presenta la instrumentacin completa de un codificador y decodificador para el cdigo (15,7) que es capaz de corregir hasta 2 errores, siguiendo estas ideas, A continuacin se hace una pequea discu sin sobre las races de la ecuacin (3.6,34). En el Captulo VI (apartado 6,6.2 ) se discutir -
f^
No hay error
S. = S = O S^ j Q; s = S^
1 + S z <S-(z) =
1 error 2
14-S^z4-(S.
S^ 2 J^ _^ ) z =1
2 errores
s^ ^ o ! s^ ^ s:J
3.7
IKSTRUI.ISNTACIQK DE LOS CDIGOS CCLICOS Las operaciones fundairientales de codificacin y decodificacin utilizan multiplicadores, divisores y. ~ sumadores mdulo 2, q _ u e se construyen empleando registros de desplazamiento y puertas lgicas de tipo "O exclusivo". Presentaremos aqu, en forma resumida, los circuitos multiplicadores y divisorios. Pueden encontrarse e _ s tudios ms detallados en numerosas publicaciones 20, 21J 3.7.1 Circuito multiplicador
I I I I I I
[2, 3,
Sea f(x) = a
polinomio multiplicador. Por el punto E van entran do los dgitos correspondientes al multiplicando, a razn de uno por cada intervalo del reloj que -
controla los registros. Por el punto S van apare ciendo los dgitos,del resultado, saliendo el ulti_ mo despus que ha entrado el ltimo dgito del muIL tiplicando. Los coeficientes se han representado en los circuitos en forma de crculo (Pig. 3.7.1). En el caso binario estos circuitos corresponden a conexin o no conexin. En la Pig. 3.7.2 se da un ejemplo de circuito que multiplica por x 4-x4-1. 3.7.2 Circuito divisor Si el polinomio divisor es: b 4 - ... 4 -b 4 - b^ x 4 -
Salida
Entrada
(O
Fig 3.7.1
G)
fe)
Fig 3.7.2
(Sy
Entrada
(b>^
Salida
tr.<K
Fig 3.7.3
s
i
x*
X*
M i 4L
^V
J ~
*\2^
Fig 3.7.4
S -
GG el ae la ?is. 3.7.3. I ^ o c dgitos o CO.. x . ^ . . . ^ . . "tec dol polinoi.iio dividenlo van enerando por 1. El ro;iG-tro est inicialr.'.on'te a coro. Los d;i"oc del cociente van obtenindose por 3, en forir^ secuencial. Al finalizar la entrada, el resto de la divisin queda acumulado en el registro. En el caso "binario los coeficientes c . son O 6 1, por lo que equivalen en el oircuixo a no conexin o conexin, respectivaaente. 2n la ?ig. 3.7.4 se ha representado un circuito que divide entre x ^4 -x 4 - 1.
T r
3.7.3
Instrumentacin de la codificacin y decodificacir: En virtud del procedimiento expuesto en (3.7.2) los dgitos de informacin sern los prime ros en salir al canal. Guando termine se dispone su salida en el registro del resto de la divisin n-1 j _ del polinomio ^ c. x por g(x) por lo que se i=m " ^ conecta el registro al canal para dar salida al resto que contiene los dgitos de control, en los r desplazamientos sucesivos del registro. Una vez finaliza'da la operacin, el registro se carga con ceros quedando preparado para una nueva operacin. El inconveniente de un divisor convenci_o nal empleado como codificador es que a continua
n-J
ceros para completar el polinomio I
i=m
.
e x
" '
con
objeto de obtener el resto, lo que representa una demora equivalente a r intervalos de reloj o desplazamientos. Este inconveniente puede salvarse realimentando el registro como se indica en el ejemplo de la Pig. 3.7.5, en la que se ha represen tado un circuito en la que los dgitos de control estn disponibles en el registro en cuanto termi nan de entrar los de informacin. Se trata de un codificador para el cdigo de Hamming (7,4). El decodificador comprender en general tres elementos: a) una memoria tampn donde se acu mulen los dgitos recibidos de cada bloque; b) un conjunto de registros conectados como divisores -
para la obtencin de los sndromes; o) un dispositivo calculador programiado para ejecutar operaciones en el cuerpo GP(2"'^), y t registros donde se resolver por el mtodo cclico la ecuacin corres_ . pendiente al polinomio localizador! Se ha represen tado en la Fig. 3.7.6. 3.7.4 Ejemplo de circuitos codificador y decodificador para un cdigo corrector de dos errores Se ha elegido como ejemplo el cdigo -
BCH (15,7). En la Pig. 3.7.7 se ha representado el codificador, construido de acuerdo con la observa-
K*>
<i>
COCIENTE
Fig 3.7.5
Diq. C e r cana?
)-
D9. Correg-
ru
r~r
ZI
Galculo de l a s ff'* a partir de los Sj
t
Ot
i W
g-t-i.
m
I. <'
m
m.
^
(r
Divisin por po?. min.
ITl
^
1
<
FIG. 3.7.6
clon..antexlor.. j i o ^ s registros se disponen para efe_c tuar la divisin por el polinomio generador g(x) que es:
Las fases de funcionamiento son: 1) Colocar S^, Sg y S^ en "CON". 2) La fuente emite los dgitos de informacin secuencialmente. Estos pasan al canal y simiiltnearaente se procede a la divisin en el registro. A continuacin de la entrada del ltimo de ellos S , S2 y S^ pasan a "ES". 3) En los 8 intervalos siguientes el registro entrega al canal los 8 dgitos de control. 4) Se pone a cero el registro, quedando el conjun .to preparado para generar un nuevo bloque. En la Pig. 3.7.8 se ha dibujado el decodificador que contiene en primer lugar, una memo ria tampn donde se acumula el bloque recibido. Pa ralelamente dispone de dos registros para efectuar la divisin del polinomio correspondiente a la palabra recibida por m '(x) y m^(x). En estos regis
Jl
Fuente
Fig. 3.7.7
x3
x'^
-o*
* > *
1
x.oi'
KSB
xc
^sA l ^
*^ _ C (
^o
fe
fe
V
^
-^o
-^ 1
PIG.3.7.8
tros quedarn los restos de las divisiones. El sin drome S^ es = r, (01^). S^ = R( o t ) = r^ (Ot ) y S^ = R(o(^) =
Para obtener S^ a partir del resto se dispone un circuito adicional que calcule r,( ck ) en funcin de r^(o( ). Este circuito es el B de la
Eig. 3.7.7 y su conexionado se ha efectuado tenien do en cuenta la expresin "binaria de los cubos de los elementos del cuerpo GF(2^). En el circuito C de la figura se procede a la bsqueda cclica de las races. Cargados los registros con los coeficientes de la ecuacin loca lizadora, en cada intervalo de reloj se multiplica 2 el registro superior por o l y el inferior por OC , y se suman en paralelo los contenidos comparando los con 1, Si la suma es 1, no corresponde a ningu na raz, por lo qu el dgito que en ese momento abandona la memoria no se altera. Si la suma es O, se ha obtenido una raz y es preciso cambiar el d_ gito que sale de la memoria. Por sto se ha dis puesto un inversor a la salida del sumador.
iJQ vl 'u-j.(2i)in en (3l) cue pera lo3 o.ii r;os cclicos dada una palabra-cdi^o, todas las perniu. tacioncs cclicas de ella constituyen palabras-cdigo vlidas. En la repi-esentacin polinrca toda permuta, cin equivale a una multiplicacin por x (mdulo x^+l) Cada palibra (o polinomio) con toda su plyade cclica se denomina ciclo y al nmero de palabras de cada ciclo, longitud o periodo del ciclo. El periodo de un polinomio r(x) es el mnimo entero T tal que X r(x) = r(x)
Siendo T T el periodo del ciclo correspondiente al polinomio (o palabra-cdigo) r(x) de grado n-1, T^ n r(x) xr(x) .... X "^ r(x) y
forman un ciclo completo de palabras-cdigo. Todas las palabras de un mismo ciclo tienen el mismo peso, y una cualquiera se denomina represen tante del ciclo. Si en un cdigo podemos encontrar todos los representantes de ciclos tendremos resuelto el probl_e ma de hallar la distribucin de pesos de sus palabras. La suma de los periodos de todos los representantes de ciclo ser igual al nmero total de pala, bras-cdigo. Por consiguiente, dado un cdigo bastar hallar los representantes de sus ciclos y sus perio
dos para conocer la distribucin de pesos de sus pala brae, :S1 oloulo de loa rd|>)r8a@ntQ,nte> dd oiolo sa ha ra en primer lugar para los cdigos correspondientes a ideales mnimos y a continuacin se generalizar pa ra ideales cualesquiera puesto que son iguales a la suma directa de ideales mnimos. Comenzaremos entonces por definir unos poli_ nomios asociados a los ideales que sern de importancia para la determinacin de los representantes, y s^ seguir por la definicin de ideales mnimos y ortog nales para pasar despus a estudiar los ciclos de tales ideales,
4.3
IDEMPOTENTES DE UN IDEAL Lema 4.31 En cada ideal 3 de Q ^ existe un polinomio nico u(x) i) ii) iii) ct)n las siguientes propiedades: u(x) es idempotente =^ u (x) = u(x)
co, respectivamente del ideal. Como n es impar, son primos entre s, por lo que existen dos polinomios, a(x) y "bCx), primos con h(x) y g(x), respectivamente, tales que: g(x).a(x) + h(x).b(x) = 1 Entonces el idempotente de J, es: u(x) = g(x) a(x) = 1 4 - h(x) b(x) (4.3.2) (4.3.1)
En efecto u(x) 3 por ser mltiplo de g(x) y mult^ plicando (4.3.2) poru(x), se obtiene: u(x).g(x).a(x) + u(x).h(x) b(x) = u(x) pero (4.3.2) u(x) g(x) a(x) = u^(x), luego: u2(x) + u<x) h(x) b(x) = u(x) y aplicando de nuevo (4.3.2), se tiene: u2(x) + g(x) a(x) h(x) b(x) = u(x) Como h(x) g(x) = x^+1, el segundo trmino es el cero del ideal, luego: u2(x) = u(x) (4.3.3)
El polinomio u(x) definido en (4.3.2) es idempoten te y pertenece al ideal. ii) El ideal u(x)c}, tiene como generador el mod (x^+1, u(x)) que es g(x), luego este ideal es anlogo al Q.
iii) Sea f(x)t). Si tomamos como generador u(x), se tendr f(x) = f'(x).u(x). Multiplicando por u(x), se tiene: f(x).u(x) = f'(x) u^(x) = f'(x).u(x) = = f(x), luego del ideal. u(x) acta como elemento unidad -
4.4 IDEALES MNIMOS Un ideal M es mnimo cuando no contiene nin Qxxn subideal salvo el O,
Lema 4.4.1 i) M es un ideal mnimo si, y solo si, su factor recproco es irreducible. ii) Si M. y M. son ideales mnimos M.H M . = 0(i ^ j) y en este caso la dimensin de la unin es la su ma d las dimensiones, iii) Todo ideal J de O. es la unin de ideales mni n mos de ^ n . ^ n es la unin de todos sus ideales mnimos.
Demostracin i) En efecto la dimensin es mnima por ser li(x) irreducible. ii) Si fuera M.OM. = M^^, Mj^ sera un subideal de Mj^ y Mj y estos no seran mnimos..
iii) Sea h(x) el polinomio recproco de un ideal < i ; h(x) = = f.(x) ... f^(x)f entonces J contiene los polinomios v ideales mnimos M. -
de factor recproco ^x) y, por consiguiente, su unin y la dimensin es la suma de los grados de los f.(x). Los idempotentes de los ideales mnimos M. del anill ^ CLn -
respectivamente, son ortogonales si, y solo si, g(x) li(x) = X 4 1 o, de otro modo, el factor generador de un ideal es el recproco de su ortogonal. Lema 4.3.2 Si u(x) es e l idempotente de tJ , 1 4 - u(x) es e l idempotente de . <J , g
En e f e c t o , de ( 4 . 3 . 2 ) se deduce que nerado por h ( x ) , t i e n e como idempotente v(x) = h(x) b ( x ) = 1 4- g(x) a ( x ) = 1 4- u(x) Lema 4 . 5 . 3
(4.5.1)
Si m.(x), m2(x) pertenecen al ideal mnimo M, la anulacin de m^.mg implica la de m^ o la de mg. Demostracin Supongamos que mr 4 O, Sea L el conjunto de polinomios l(x)M =t> 1 4 - Ig 6L tales que Im^ = 0. Si 1., Ip 6 .L y si 1 eL y m 6M
=> mi L lue= M
o L es n u l o . Sea B e l iderapotente de M. Entonces 9 m2 = = nip '^ O luego L = O de donde B j L por l o q.u.e m. = 0 . L / M y entonces
4.6
ETEmiINACION DEL PERIODO DE UN POLINOMIO La determinacin del periodo de un polino mi constituye el primer problema bsico, en virtud de lo indicado en el apartado 4.2. Se basa en el s i guiente Lema 4.6.1 Dado un polinomio cualquiera r(x) del a n i llo Cl , su periodo es igual al exponente del factor recproco del ideal al que pertenece tal polinomio. Demostracin Sea r(x) el polinomio dado. Si r(x) t i
este ideal est generado por a(x) = mcd { r(x), x^4-l| . Sea b(x) = x^+l/a(x). Supongamos que b(x) es de exponente e. En-~ toncos existe un polinomio a'(x) tal que Sea r(x) = lc(x) a(x) k(x) es primo con x^+1 ya que si no lo fuera a(x) no sera el mcd anterior. Tendremos: r(x) (x+l) = lc(x) a(x) b(x) a'(x) = k(x) (x^+i) a'(x)=0 x ^^^^ _ a'(x) b(x) "
dentro del anillo. Luego r(x) (x4-l) O sO-x^rCx) r(x) y la longitud del ciclo es 1 ^ e. (4.6.1)
Seaahora 1 el periodo de r(x); 1' <: n y r(x) ( x " ' - + 1) = O de donde (fuera del anillo) k(x) a(x) (x-^ + 1) = l(x) (x^ + 1) = l(x) a(x) b(x) o sea, k(x) ( x ^ + 1) = l(x) b(x) k(x) y b(x) no tienen factores comunes pues k y x +1 son primos entre s y "blx +1, luego "blx f1 por lo que si el exponente de b(x) es e, se tendr: e < 1 (4.6.2)
Vamos a ver ahora q . u e todos los polinomios de un mismo ideal mnimo tienen periodos iguales entre s y al del idempotente primitivo del ideal. Lema 4.6.2 ' Sea el ideal mnimo M cuyo idempotente tiene como periodo -
ideal el polinomio
8 ( x ) , se tiene;
m(x) = k(x) 6 (x) y m(x) 6 (x) = m(x) por ser 8 (x) idempotente. Sean los periodos de Tendremos: '^(8) y 'H(m)
8 ( x) -^ ni(x) respectivamente. -
m(x)x
= m(x) 8 (x)x
de donde:
' n ( 6)
y como ambos factores pertenecen al ideal, y m8 j O en virtud del Lema 4.5.4 ha de verificarse;
eCx*"^"^^ + 1) = o n\^i e ) ^
'TT(8) = m(m)
y por el Lema (4.6.1) este periodo es igual al del polinomio irreducible del ideal. Concluimos entonces: Todos los polinomios de un ideal mnimo tienen el mismo periodo, que es igual g i l exponente del factor recproco del ideal..
4.7
REPRESENTANTES S CICLOS Encontrado ya el periodo de los ciclos de un ideal mnimo, queda por determinar el nmero de re_ presentantes de ciclo y su expresin matemtica para evaluar su peso. Sea el ideal mnimo generado por g(x) = con li(x) irreducible. Lema 4.7.1 i) Todo ideal mnimo es isomorfo al cuerpo GP(2 ) siendo h el grado del factor recproco del ideal. ii) En todo ideal mnimo hay cuya expresin es: g(x), siendo 0 1 (x) g(x), ...., ol^~ (x) g(x) s = 2 - 1/ e 1 h(x)
Demostracin i) Cualq.uier polinomio del ideal es de la forma k(x) g(x) (con exponentes reducidos md. n ) , y ser de grado n-1. Como el grado de g es n-k, pode mos elegir como factores k(x) todos los polinomios de grado h-1 que son isomorfos al cuerpo GP(2"),
Si se tiene:
* k, (x)
c^(x) = c.(x) =
establecindose la correspondencia
ot^ ^
o^U)]
(4.7.3)
V,
a o l " ^ + N*' le corresponde pdr (4.7.1) k.(x) + k.(x) y en virtud de (4.7.2) c.(x) + c.(x), luego se trata' de un isomorfismo. ii) En virtud del lema (4.6,1) la longitud de los ciclos es igual al exponente e de h(x). Como hay 2^ - 1 polinomios (excluido el cero) habr ciclos. Un representante de ciclo es, desde luego g(x) (basta hacer^ k(x) = i). Vamos a demostrar que otro representante es '^ (x).g(x), para lo cual habr que comprobar que ol(x).g(x) est en distinto ciclo que g(x). -2^-1
El grado de W (x). es h = n-g por ser un poli_ nomio primitivo de GP(2^). Entonces el producto O l (x),g(x) ser de grado n, luego en el idel le c o rresponder el polinomio reducido md. x^ 4 - 1. Sea: 0 ( (x).g(x) = x^ + 1 4 - r(x) (4.7.4)
(x) ser de grado n-1 y corresponder en el ideal al producto o (x).g(x). Vamos a ver si est en el mi
mo ciclo que g(x) lo que equivale a comprobar si es igual a alguna permutacin cclica de g(x). Tales permutaciones son de la forma: x-'-.g(x) , 0 < i < : n - 1 - g Si as fuera, empleando (4.7,4) se tendra: (oi(x) Vx^).g(x) = x^ 4 .1 (4.7.4)
y reduciendo md. x^ + 1 (dentro del ideal), quedar: (c(x) 4 . x^) g(x) = 0 . (4.7.5) o
como el ideal es mnimo, en virtud del Lema 4.5.4 g(x) = O, que dara O (x) = x^ lo cual es imposible por ser O (x) primitivo. o
De un modo general, para 0 ( g(x), se tendr: 0(2 g(x) = k(x) (x^ 4 . 1) 4 . r(x) (4.7.6)
y en el ideal, sto es equivalente a: ( ol^Cx) + x=^) g(x) = O por lo que podemos aplicar el razonamiento anterior. En el caso de los cdigos BCH donde n = 2^ - 1, si h(x) es de exponente n, es tamlDin -
primitivo por lo que su grado es m y el ideal mnimo tiene un solo ciclo de longitud n. En este caso el cdigo dual, generado por h.(x) es de tipo de Hamming con distancia mnima igual a 3. Como es fcil hallar el espectro del anterior tambin lo ser por la frmula de Mac Williams [ 23J -
hallar el del dual, o sea, es inmediato encontrar la distribucin de peso en los cdigos de Hamming. Si h(x) no es de exponente n, los ideales mnimos tendrn ms de un ciclo de periodo inferior a n. " .
Si n j^ 2^ - 1 (cdigos cclicos en general) aunque h(x) sea de exponente m, habr varios ciclos de periodo n en el ideal mnimo y ser preciso determinar los representantes de los mismos. Si se emplea el idempotente primitivo para general el ideal, los representantes de ciclo pueden ponerse en la forma [24] : 8(x), ol(x) 6 (x), ,..., o^^'^Cx) e(x)
No es preciso obtener los pesos de todos los polinomios del conjunto anterior ya que los vectores 0(^(x) e (x) y O^^x) 6 (x) -
cada una un ciclo de ndices y bastar examinar sola mente un trmino de cada clase.
4.8
GENERALIZACIN A IDEALES CUALESQUIERA Vamos ahora a generalizar estas ideas al caso de un ideal cualquiera J . Una vez encontrados los representantes de ciclos para los ideales M. para el ideal M. U M. Teorema 4.8.1 Sean m^ mp ... ni los representantes de ciclos del ideal M. de periodo 1 1. y n . ^ .., n los y -
M. pueden encontrarse -
mediante el siguiente
correspondientes al ideal M., de periodo 1T.. Sean D = mcd ( IT. , 71.) y 'H = mcm (^ . , T 1 .)
periodo n
DenoG'tiv.'.cin Sean m y n p o l i n o r a i o s de l o s i d e a l e s 1.1. y 1.1^ de p e r i o d o s yaremos en e l Lema 4 . 9 . 2 Se mx"-!mx = verifica: nx mx = y inx4. nx = nx nx s i , y solo si 7T (n) y " ^ ^ (n) r e s p e c t i v a r a e r x t e . ITos a p o -
siguiente
pertenece al M.
trminos son permutaciones cclicas de m y n. Como II. n I v l . = O mx'^ mx^ = nx*^ se tendr nx ^ = O (4.8.1)
Sean ahora H = mcm h = mcd { 'n(m), { n(m), tlin)} tT(n)f (4.8.2) (4.8.3) habr 'n(m),tr(n) y se suh-
En la expresin mx " ^ 4 - nx
dividirn en h ciclos de periodo H. Los representantes pueden ser de la forma mx''4n (^=0, I - nx 1... h-l). , entonces (4.8.4)
Sea A el periodo de mx
o b i o n (Lema 4 . 9 . 2 ) : ^ J- ^ = p. rnd v?- 4- A = \5- md luego, X = H = q H mx' 4n y mx'^-n = (q > 1) (4.3.7) si 7 T (m) 4> 7 T (n) =^ )^ = X = 7T (.11) 7T(n)
e s t a r n en e l miGnio c i c l o iiix"4-n
(4.8.3)
(4.3.9) (4.8.TC)
md T (n) ^
Luego P y
Le -
ferentes. Entonces hay al menos h ciclos distintos de periodo T V> ? ' H. Como slo hay H.h polinomios diferentes, la nica posibilidad es que existan h ciclos de periodo H. En el caso de la unin de ms de dos ideales se ir aplicando sucesivamente, la propiedad asociativa. Esto es, si se tiene:
M, U M. U l V
1 J K
(4.8.11)
Si g(x) = m^(x) m (x) ... m^(x) y x^4-1 = m. (x) m (x) .... m^Cx) el ideal generado por g es la unin M^ U M2 U ... U Mg
(4.8.12)
(4.8.13)
Si g(x) no incluye el factor x + 1, uno de los ideales (4.8,13) tiene como factor recproco el X + 1, que es de exponente 1 y corresponde a la palabra-cdigo ( 1 1 . . . . 1 ) . Como estos cdigos son de tipo BCH, podemos afirmar que todo cdigo BCH tendr como palabra-cdigo
-La
I ....
1.
En las Tablas del Apndice I se dan las distribuciones de los pesos de las palabras de varios cdigos que emplearemos posteriormente, obtenidos median te el procedimiento anterior.
CAPITULO V
METO]X)S DE CONTROL EB ERRORES 5.1 INTRODUCCIN En este Captulo expondremos los sistemas: prcticos de control de errores para la transmisin de datos en serie sobre redes telefnicas a velocidades superiores a 1o200 baudios. 5.2 SISTEMAS DETECTORES En tales sistemas se indica al usuario que un carcter, palabra o mensaje tiene uno o ms erro res, identificndose las palabras errneas. No se emplea-ra-s-que-un-solocanal, Esto es tolerable en la transmisin de mensajes convencionales -por ejemplo telegramas- y el usuario puede reconstruir fcilmente el texto, aun cuando este alterado, debido a la redun dancia natural de todo .idioma, 5.3 -SISTEJ/LAS CON CORRECCIN
I
Entregan los mensajes con los errores corre_ gidos. Se utiliza esta tcnica en aplicaciones tales como la transmisin y proceso de datos, donde es impe_ rativo que el mensaje se entregue al usuario sin err_o res. La correccin de errores puede conseguirse me diante tres procedimientos: 5.3.1 Solicitando la retransmisin de las palabrascdigo en las que se haya detectado un error. (Realimentacin de informacin o decisin).
5.3.2
Empleando un cdigo ms complejo que permita en recepcin la deteccin y correccin de errjo res.
5.3.3
Mediante un procedimiento hbrido que participa de las dos tcnicas anteriores, y ofrece dos variantes: a) Correccin parcial de errores, identificando el resto. TD) Correccin parcial directa y realimentacin para los errores no corregidos. En la fig. 5.3.1 hemos representado es-
Control Errore
r
Deteccin
1
Correccin
T
ARQ
EEC
Hbrido
Pigv 5.3.1 La eleccin de un modo de operaci(?n u otro viene muchas veces impuesta por los requerimientos de
los usuarios independientemente de la efectividad del cdigo para combatir los errores. La eleccin de uha u otra tcnica estar gobernada por criterios de efectividad talee como:
necesidad de transmisin sncrona, restricciones de formato, de^ las que iremos tratando.
Mtodo 5o31
que l canal de transmisin introduce pocos errores y se dispone de un canal de retorno de calidad. Sin em bargo con este mtodo hay una rpida deterioracin -
cuando aumenta la proporcin de errores. Emplea, preferentemente, cdigos bloque con dgitos redundantes y comprende bsicamente dos estrategias de funciona miento. Aqu estudiaremos con detalle una de ellas.
Este mtodo constituye la base del hbrido, elegido para nuestro trabajo, que puede considerarse, como ya veremos, como un ARQ muy mejorado por lo que ser expuesto con detalle ya que el hbrido incorpora r la mayora de sus peculiaridades y al tratar de l se indicarn sus detalles propios.
El funcionamiento del sistema es como sigue: El transmisor entre el envo de cada bloque deja p a
sar un tiempo muerto durante el cual el receptor examina el bloque anterior y decide si lo acepta o no. En este caso solicita la retransmisin del bloque recibido con algn error detectado. El transmisor espera siempre la recepcin de una seal ya sea la OK -bloque aceptado, transmita el siguiente-, o la RQ -repita la-transmisin del bloque anterior-. En el -
caso en que no pueda interpretar la seal de retorno, considera que es de tipo RQ. Con este mtodo se han de tener en cuenta los siguientes factores y condici_o nes, para conseguir que sea eficaz: 1) Redundancia de los bloques: La redundancia incorporada al mensaje que har posible la deteccin de los errores debe ser adecuada ya que el sistema, globalmente, no -
puede mejorar las posibilidades de tal deteccin. Este problema est relacionado con el de la longitud de los bloques y el tipo de cdigo que se e m plee. " V
2) Longitud de l o s bloques
Es un factor importante para conseguir el empleo ms eficaz del canal. Puede establecerse una vez que la distribucin estadstica de los
errores es conocida, o suponiendo una determinada. No se. ha llegado aun a un acuerdo sobre la longi tud ptima [4]- , la cual por otra parte, puede ser
distinta de la req^uerida en vitud de otras consid_e raciones ajenas a la transmisin, si laien sto p u . e _ de soslayarse con el empleo de memorias tampn que, en general, resultan necesarias para el control de los errores. Cuando el ruido del canal es notable, conviene emplear longitudes reducidas ya q.ue enton ees es mayor la probabilidad de encontrar un mensa Je correcto o corregible disminuyendo as el tiempo de retransmisin y sto nos ha conducido a e m plear en nuestro trabajo longitudes inferiores a 31 bits en todos los casos, 3) Proteccin de las seales de realimentacin La seal OK deber protegerse con redundancia para su transmisin por el canal de retorno, ya que si un RQ se transforma en OK se perder un mensaje con la consiguiente disminucin en la eficacia del sistema. -Si ocurre lo contrario, el mensaje se retransmitir innecesariamente y si bien sto no altera la conflabilidad, disminuye la eficacia en el empleo del caiial. Pueden emplearse a este respecto dos bloques, uno de m ceros para la seal OK y otro de m unos para la RQ, /y el transnd sor al recibir una seal contar el nmero de unos. Si es superior a m/2 proceder a,la repeticin. 4) Identificacin de los bloques Es preciso que el receptor pueda identi-
ficar los mensajes que recibe con objeto de saber si son nuevos o repeticiones de otros desechados, lo que se realiza agregando algunos bits al prin cipio de cada mensaje en forma de un cdigo de direccin y siguiendo un ciclo binario consiguindose una "autoproteccin de los mismos".
Atendiendo a estas condiciones puede con seguirse un mtodo de control muy confiable.
El canal de retorno puede ser de velocidad reducida (75 baudios) puesto que las seales realimentadas son cortas.
En la Pig. 5.3.2 hemos representado grficamente la actuacin de esta estrategia, que ser objeto de un anlisis posterior.
Un inconveniente del sistema anterior es la disminucin de rendimiento que ocasiona el tiem po muerto, que si bien puede hacerse pequeo, es aprovechable para el envo de informacin.
Transmita nuevo mensaje k - dg.inform. r - dg.control Repetir mensaje Reposo % Repetir mensaje
Correcto 1 - P.
Error detectado
No imprimir Enviar RQ
Error no detectado
I.Iensaje aceptado lo r e p e t i d o
Pig.. 5.3.2
5.4
ANLISIS lEL COMPORTAMIENTO SEL SISTEIJA ARQ Vamos a determinar las caractersticas ms importantes de funcionamiento del sistema de la Pig. 5o3.2, calculando la probabilidad de error del sistema P g o probabilidad de que un mensaje no sea recibido correctamente nunca, y la velocidad neta de informacin del conjiznto que depende del nmero medio de retransmisiones. 5.4.1 Probabilidad de error del sistema Sean: P_ la probabilidad de error en un bloque recibido, P la probabilidad de que el d error se detecte y P la de que pase sin ser detectado. Evidentemente: P^, e = P^ d + Pu
P'Q, ^'^'VI
probabilidades similares a
las anteriores pero referidas al mensa ~~ ~~3e~decontrol que se enva por el c a nal de retorno. Se tendr tambin:
pi
- pi
4. pi
El sistema se ha concebido de forma que si en la seal de control de retorno se detecta un error, se interprete como RQ, ya que no se dispone de medios para conocer el error. -
En estas condiciones, cuando se e n va.la seal OK slo se admite si llega sin errores, lo cual ocurre con una probabilidad igual a 1-P' . En caso contrario se considera que es de tipo RQ, lo que tiene una probabilidad igual a P'Q. Si se enva RQ, puede ocurrir que -
llegue con errores y stos no se detecten. Entonces se interpreta como OK. La probabilidad, correspondiente es P' En los dems casos, la seal se considera como RQ y la probabilidad es 1-P'^. Para el clculo de Pj, observaremos que los mensajes recibidos pueden dividirse en tres categoras: i) Mensajes re'cibidos correctamente en algn momento (con alguna o ninguna retransmi si(5n). Llamaremos P Q a la probabilidad para este caso. ,
2) Mensajes no recibidos correctamente. Se de tect(5 el error en la lltima retransmisin pero la seal RQ se interpret mal en el transmisor y no hubo retransmisin ulte rior. Probabilidad P^j. 3) Mensajes no recibidos correctamente porque
Dado un mensaje determinado en la fuente pueden presentarse los siguientes casos; a) Se recibe correctEimente. Probabilidad 1-P^i b) Se recibe con error. Este caso admite dos variedades: b,l) Se detecta el error. Entonces se enva la seal RQ al transmisor. b.2) No se detecta el error. Se enva la V seal OK al receptor. Ambas variedades pueden dar lugar a su vez a dos situaciones diferentes, segn que las seales de retorno se interpreten o no correctamente en el treoismisor. b.1.1 La seal RQ se interpreta bien. La probabilidad ser: P(1 - P'e + P'd) Pd (1 - P'u) b*12 La seE. RQ se interpreta como OK. La probabilidad es: ^d ^ u (5.4.3)
^5.4.2)
b.2.1
En los casos (b.1.l) y (b.2.2) hay retransmisin por lo que no influyen en las categoras finales de los mensajes mencionadas anteriormente, ya que al efectuarse la retransmisin estamos en las condiciones iniciales. Todos estos casos son exclusivos y exhaustivos por lo que:
+ \
P'e * 1
(5.4.6)
Con estos resultados podemos ah ra calcular las probabilidades PQ, P^^ y P^ anteriores. Aplicando el Teorema de Bayes [6] se tiene: 1 - ^e
Pn
(5,4.7)
p^
(5.4.8)
Py -
(5.4.9)
V u + ^u (^-^'e)
^-Ji ^ :
1-P e 4-P * -^d P' u 4 . P u ^'d - P ' e)'
(5.4.10
Suponiendo errores independien tes, Isto es, que los canales de ida y retorno son del tipo "binario simtrico con probabilidades de error p y p', respectiva mente, se tendr: P^ = 1 - (l-p)^= 1 - CL^ En el caso ideal en que el canal de retorno no introduzca errores, se tiene, respectivamente:
^0
s=
- ^
.
1 -
(5.4.11)
1 - ^ + ^u
^D
=
1 - ^d
P., ^U
'^B
=
^u
-^d
(5.4.12)
1 - ^ + ^u
^
1 -^d
A continuaoin se darn l a s expresin* do F|s para dif rentos tipo de cdigos, 5.4.1.1 Cdifcos con simple c o n t r o l de p a r i d a d
P^ =
P^ q^-^'
(5.4.13)
I
(j) p d^-
(5.4.14)
De l a s i d e n t i d a d e s
(4-p)"=
1 = (a+p)" = f
Se obtiene:
P, =
'
Z Z
(J) P V - - [l-(l-2p)^]
t5.4.15)
^=^^^^^^
P^ =
(J) P V - ^ - ^ [U(l-2p)^-2q^]
(5.4.16) Consideraremos que las seales de
control OK y RQ constan de s bits iguales ca da una. Tendremos entonces: P'e = 1 - ^*^ (5.4.17)
P'.
(5.4.18
y,
Pu = P ' ^
(5.4.19)
/
La expresin (5.4.10) se transfor-, ma entonces en: [l-(l-2p)n] , p.s^ [u(l-2p)^-2<i^ q'S ^E = aq'^+l [l-(l-2p)"] pS4. [i4.(l-2p)^-2q^]q'S (5.4.20) Y en el caso ideal, p= O, q.'= 1, luego: 1 - 2q" 4. (l-2p)'i ' 1 + (1 - 2p)^
PE =
(5.4.21)
5.4.1.2 cdigos con controles mltiples En este caso se detectan todas las ... conbineteionesdeu^d menos errores siendo d = d- - 1 y d cdigo. Entonces: la distancia mnima del -
'd * ^
(5.4.22)
p= X I (?) p'-(i-p)''"^
i=1 y despus de algunas transformaciones, se encuentra; P. = 1 (-1)^"^ (?) [ Z (-l)^(^)] P^ i=1 j=1 ^ (5.4.23)
P. = X (-l)M?) [ lzMlpi
i=1 Por otra parte, 2
(5.4.24)
P^ = 1 - 4 - P^ = P^ - P^ y escribindola en funcin de p, se tiene: P^= I (-1)^-^^ (?)!" I (-1)^ (^)lp^ ^ i=1 ^ L 3=0 3J para d = 2, resulta:
(5.4.25)
(5.4.26)
P^
(5.4.27)
Llevando (5.4.22) a (5.4.10) puede escribirse la probabilidad de error para este caso. Se tiene:
_ d
1 - Z (?) pi q^-i
Pg (5.4.29)
1-1 V
5.4.2
(?) pi ^'^
Velocidad neta de informaoin en el sistema Defihimos. la velocidad heta de i n formacin de la forma siguiente: R s NS de bits de informacin N2 total de bits El nimero medio total de bits por mensaje es igual a n 4 - 1 + s. Por trmino medio habr E repeticiones por mensaje, siendo E la esperanza matemtica del nmero de repeticiones para cada mensaje. Por consiguiente: _ R B (n - r) E n +1 + s . (5.4.30)
Considerando las repeticiones el pr ceso sigue una distiM-laucin geomtrloa con una probabilidad P de que no haya retransmisin, o bien de que una retransmisin dada; sea la lt_i ma para un mensaje y otra Q = 1-P de que exista repeticin. El valor de P se determinar -
Se deduce entonces que P es la suma' de las probabilidades correspondientes a las siguientes situaciones: a) que un mensaje se reciba sin error o con error no deteotable y que en ambos casos haya una interpretacin correcta de la s e _ nal OK. Probabilidad: (l-P>P,) (i - P'^) b) que un mensaje se reciba con un error deteotable y haya una confusin en la seal RQ. Probabilidad: P P'^. Por onsiguiente: P (1-Pe+Pj (1 - P^) 4 . P^ P'^ El valor de E para esta distribu cin, es C6j : 2 l/P (5.4.32)
(5.4.31)
R =
n 4 -T 4 -s
}^-
1.
n 4-t4- s
(5.4.34)
5.4.3
Comentarios sobre el sistema ARQ Entre los inconvenientes de estos sistemas hemos de destacar la necesidad de -
disponer de un canal simultneo de retorno, si bien cuando no sea sto realizable puede emplearse para la retransmisin el canal prin cipal funcionando en semiduplex o en dplex empleando la segunda estrategia. Adems, por su propia naturaleza no pueden mantener el -
sincronismo entre transmisor y receptor, lo cual slo puede conseguirse por medio de mem rias tampn, que suelen reducirse a cintas -
perforadas, y as se hace en sistemas telegr fieos transocenicos donde se emplea mucho este sistema. Tampoco se hace un uso eficaz del canal pues se procede a la retransmisin de todo un bloque independientemente de los err res que contenga. Desde luego se necesita ms redundancia que en el caso de transmisin uiii -
direccional con deteccin debido a la gran c o n flabilidad impueata a las seales de realimentacin e identificacin. El requisito de retransmi sin no siempre puede satisfacerse como ocurre, por ejemplo, en la mayora de los sistemas, que trabajan en tiempo real o cuando una estacin -
principal deba enviar datos a varias secundarias ya que si alguna solicita retransmisin, sta s e _ ra dirigida a todas, Gomo lmite prctico podemos indicar que est justificado el empleo de e _ s ' te mtodo cuando el porcentaje de bloques que se retransmiten es inferior o igual al 2 ^, ya que entonces no parece aconsejable la utilizacin de los (5o3.2) que incorporan mayor complejidad y redundancia a los sistemas. Sin embargo, cuando el ruido afecte en forma pseudoperidica a b l o ques consecutivos, el sistema es totalmente ineficaz. De acuerdo con los Teoremas 3.4.1 3.4.5 a
error a los que se puede aplicar el mtodo ARQ, destacando la posibilidad que ofrecen de detec cin de rfagas de errores.
Capacidad de deteccin Nmero impar de errores Los errores Rfagas de b ^ 4 QQ'fo de las de b = 5 94^ de las superiores Nmero impar de errores Dos rfagas de b ^ 2 Una rfaga de b ^ 5 93,8/. de las de b = 6 96,9^ de las superiores Hasta 6 errores Rfaga de b J 11 99,95 de las de b = 12 99,955 de las superiores 5.5
k(max) Cualquiera
r 1
ig(x) 14-x
11
A 1+x+x^ i A (l+x+x^) ( U x )
10
22
11
2 A ( ^ ^ in ii 1+x +x^+x^+x4-x'^4-x''
SISTEMS CON CORRECCIN EN EL RECEPTOR El mtodo (5.3.2) emplea mayor redundancia en los mensajes, lo que reduce la velocidad neta de transfe_ rencia de informacin del sistema. Pueden utilizarse cdigos bloque o no. En algunos casos el uso de cdigos no bloque -por ejemplo, los convolucionales-, ha permitido reducir la complejidad del decodificador. Este sistema es muy eficaz cuando las caractersticas del canal son tales que, prcticamente, todos los errores observados constituyen una pequea propor cin de todos los casos posibles de error. En el caso de ruidos espordicos, supera al ARQ, pero no as en condi-
clones severas de ruido ya que las posibilidades de correccin son limitadas. Los principios de este sistema han sido v i r tualmente conocidos desde hace tiempo. Slo hoy da con los avances experimentados en la teora de cdigos c clicos, cuya instrumentacin es relativamente simple, han comenzado a encontrar aplicacin prctica. El diagrama bsico de funcionamiento se ha re_ presentado en la Fig. 5.5.1
Uso
Datos Codificador Canal De codificador
Ruido
Fig. 5.5.1
Este mtodo permite un flujo continuo de i n formacin entre los puntos A y B y el sincronismo puede establecerse fcilmente o El retardo de la transmisin ser funcin del originado en el canal y en la decodif^ cacin. Considerando los cdigos BCH, defihidos como ya se vio en el Captulo III por los parmetros n, k, y t, tales cdigos permiten corregir todas las combinaci nes de e^ t errores.
Para e > t pueden corregirse algunos errores si el cdigo no es compacto. Sin embargo, con objeto de dar un criterio unificado, se cohsidera que una palabracdigo ae deoodifioa correctamente si, y solo ai, contiene e < t errores. Por consiguiente, la probabilidad de error de salida , vendr dada por:
K =
P^'<d)
(5.5.1)
siendo p (j) la probabilidad de'que haya j errores en una palabra de longitud n. Considerando un canal binario simtrico de probabilidad de error p, se encuentra:
Pp =
(5.5.2)
Hemos desarrollado explcitamente (5.5.2) en funcin de la probabilidad de error del canal p, para los casos ms corrientes de t ^ i y t =1 Pg = 1-q^-npq^-l = i-(l-p)^-np(l-p)^-^
i
t = 2. Se tiene:
(5.5.3)
(5.5.4)
v^"
(5.5.5)
(5.5.6)
La velocidad neta de informacin, de acuerdo con la definicin (5.4.2), para estos cdigos, viene da da por:
R=i^ n
(5.5.7)
CAPITULO VI
MTODO
HBRIDO KS
i
CONTROL KE ERRORES
6.1
INTRODUCCIN El mtodo hbrido (5.3.3), base de nuestro e s _ tudip, participa de los anteriores, ARQ y EEC. Especficamente, si se presentan errores alea
" /
torios puede utilizarse la tcnica de correccin y de jar la transmisin para la eliminacin de errores residuales. Tambin el procedimiento puede emplearse para -' combatir las rfagas de errores, sobre la base de corre gir estas rfagas por retransmisin y empleando la c o rreccin directa para los intervalos entre rfagas. La idea bsica es emplear el mtodo (5.3.3) con capacidad de correccin limitada, con lo cual no se aade excesiva redundancia, para convertir el canal dado en otro ficticio con una probabilidad de error inferior, pudindose entonces ya emplear con ventaja el mtodo ARQ. Con algo de equipo adicional puede instrumentarse este mtodo. El esquema general de este mtodo se da en la Pig. 6.1.1. , En este Captulo se expondr el fundamento -
del mtodo, seleccionando a continuacin algunos cdi gos a los que se les puede aplicar para estudiar des pues su estructura, lo que permitir obtener las probabilidades de error y repeticin.
Seal de retorno CODIFICADOR Corre coi n D e te coi 6n Idehtj, ficacin Mensaje nuevo
Canal de retorno
J c Canal a de i da
o
T R A N S M I S O R
Canal de ida
Traduccin^ Identificacin
CODIFICADOR C o r r e ccin4-Deteccin
S e a l de retorno S a l i d a de Datos
Canal de retorno
R E C E P T O R
Pig.
6.1.1
6.2
consiste en dividir el diagrama normalizado del cdigo en zonas, cada una de las cuales contendr lina o ms clases adjuntas. Denominaremos zona O del. diagrama a la consti_ tuida por la clase correspondiente al cdigo; el peso de esta clase es 0. El nmero de palabras en la zona O es entonces igual a 2 , nimero de palabras-cdigo posibles. Toda palabra recibida que est situada en la zona O, ser interpretada por el decodificador como palabracdigo vlida. La zona 1 est formada por todas las clases de peso 1. Como los cdigos que estudiaremos son capa ees de corregir al menos un error, todas las palabras de peso 1 son representantes de clase, por lo que habr k n clases en la zona 1 y, por consiguiente, 2 ,n pala brao. Toda palabra recibida situada en la zona 1 ser objoto de correccin por parte del decodificador. Antes de proseguir hemos de hacer una d i v i sin en el estudio, considerando dos posibilidades: 6.2.1 Que el cdigo corrija slo un error, detecte siempre la presencia de 2 y, en algunos casos, la de errores de orden (peso) superior. 6.2.2 Que el cdigo corrija 2,3, ... hasta t errores -
Se han estudiado ambas posibilidades. Hemos considerado conveniente separar, la primera ya que en mu chos casos no resulta adecuado aumentar la capacidad c _ o rrectora del cdigo debido a la complejidad que sto im plica en el equipo decodificador. Elegida la posibilidad (6,2,1), las restantes, palabras del diagrama se agrupan en la zona 2 o zona d deteccin. Esta zona contiene todas las clases de peso 2, puesto que el cdigo permite la deteccin de todos los eri^ores dobles y algunas de peso superior cuyo nme, ro depender del tipo de cdigo que se emplee, 1 nmero de clases de esta zona ser 2^ - (n 4 - 1) y en ellas estarn contend9,s las (3) palabras posibles de peso 2. El nmero de palabras en la zona es
V.
'
'
2^ [ 2 ^ - (n + 1)]
sto es, las palabras restantes. Toda palabra recibida en la zona 2 originar que el decodificador solici-^e su repeticin por haberse detectado la presencia de errores. En el caso (6.2,2), la zona 1 o de correccin contiene las clases de pesos 1,2, ... t completas pue
to que permite la correccin de errores sencillos, d o bles ... de orden t. Se tiene que cumplir para los dgi tos de control:
^^>
(6.2.2)
q) 2\
El nmero total de vectores en esta zona ser:
/
2^
I
i=0
(J)
^
(6.2.3)
Heoibido un vector, si queda en la subzona 1i (l<i*t),. el decodificador interpretar que han ocurri_ do i errores y los corregir. La zona 2 6 zona de deteccin contendr los restantes vectores, sto es:
2 ^ 1 [2^ -
(6.2.4)
Para todo vector recibido, situado en esa zona, el decodificador pedir la repeticin, como ya se "'Ir
ha dicho. Para poder aplicar el mtodo, debe verificart se que 2^ > (?) para los valores elegidos de t y i=0 ^ t ^ r. Si es 2^ a (?) estamos e presencia de un c<5i=0 ^
digo compacto que slo puede emplearse como corrector de errores, no siendo posible aplicar l mtodo hbrido a esta clase de cdigos, puesto que no permiten la utilizacin de decodificadores incompletos. No obstante, si t> 1 podemos limitar la capacidad correctora a B < t errores, dimensionando nuevamente las zonas para aplicar nuestro mtodo. Como a cada palabra recibida le corresponde -. de modo nico un sndrome y cada sndrome define una ? clase, que pertenecer a alguna de las zonas, no es pre_ ciso que el decodificador tenga que conocer todo el dia grama normalizado. Bastar simplemente emplear un dete tor de sndrome cuya salida ordenar la decisin a ado2 tar por el decodificador. El caso lmite del mtodo hbrido se tiene pa ra t =' 0-.~E3ta'mos entonoas-en presencia de un mtodo -
de decodificacin muy incompleto,- en virtud del cual solamente s decodifica cuando-la palabra recibida es una palabra-cdigo, solicitndose la repeticin en caso coQtrario* En este caso la zona 1 no existe y todo el diagrama normalizado constituir la zona 2. Pueden darse dos casos: a) El vector error es nulo. Entonces la decodificacin es correcta.
<3>
b) El vector error no es nulo pero la palabra recibida es una palabra-odigo (Lo que equivale cuando se ma
precisamente una palabra-cdigo. Entonces la decod ficacin es incorrecta. Un esquema elemental de esta estrategia, es el de la Fig. 6.2.1 :
1
T
Palabra Transmitida
Vector Error
'
Palabra Recibida
Si
yPalabras, No
cdigo y
Solicitud Repeticin
Si
No
Decod. Correcta
Error de Decodif.
Fig. 6.2.1
En el caso de un canal BSC, las probabilidades correspondientes a esta estrategia, son: 19) Probabilidad de error de decodificacin. Es igual a la probabilidad de que el vector error sea idntico a una palabra-cdigo.
PT, =
1 n-i A(i)p^q
i=1
P^ = 1 - (Pj; +
PQ)
Tambin pueden escribirse las probabilidades empleando la funcin generatriz de los pesos. Se tiene:
PE -4
[ <5(|)-l]
6.3
SELECCIN HE CDIGOS La eleccin de cdigos se basar en la factorizacin de la Tabla 3.3.1 puesto que emplearemos cdl gos cclicos. Para todos ellos sern aplicables los mtodos generales de correccin descritos en el Captulo III, si bien detallaremos algunos de ellos en este Captulo.
acuerdo con las consideraciones del apartado anterior: 6.3.1 6.3.2 cdigos que corrigen un error; cdigos que corrigen t errores.
6.3.1
cdigos correctores de un error En el primer caso se elige como genera' dor g(x) el producto de (un polinomio irreducible de exponente e = n por el factor 1 4 - x. La pre-
sencia de este factor 1 4 - x (o lo que es lo mismo, la raz x O) equivale a aadir una fila de unos a la matriz H, lo que permite la'deteccin' de los errores dobles, puesto que su existencia se pondr de manifiesto por la anulacin del pr_i mer dgito del sndrome correspondiehte a la palabra recibida con dos errores. ' Como la longitud del cdigo se conser-
a costa de perder un dgito de informacin. Esta condicin, adems, implica que el peso de todas las palabras-cdigo, debe ser par. , Segn sea el polinomio irreducible, tendremos dos subgrupos de cdigos dentro de este grupo. .
w
: ^
Subgrupo 6.311. Para los cdigos de este subgrupo, el polinomio ser primitivo y si su grado es m, se tendr: n = 2^ - 1, y se establecer una corres^ pendencia biuhvoca entre los elementos del cuer po GP(2'^) y las columnas de la matriz reducida'. A los cdigos del presente subgrupo se les llamar cdigos primitivos. El grado de g(x),' para estos cdigos es m 4 - 1, por lo que el niimero de dgitos de control ser r = m + 1 y la r e _ dundancia<m + l/n. Si no se incluyese el factor 1 + x, se tendra r = m y el ndmero de clases del dia-
grama normalizado sera 2^ = n + 1, sto es, la clase correspondiente al cdigo y todas las de peso 1, por lo que el cdigo sera compacto y no podra emplearse la decodificacin incompleta y, por consiguiente, tampoco.el mtodo hbrido. La adicin del factor 1 4 -x de clases pasa a ser implica que el nimero
2 ^ ^ > n + 1, luego el c-
digo dejar de ser compacto y podr emplearse la decodificacin incompleta. De esta forma se
l) En adelante llamaremos matriz reducida a la subma triz que se obtiene suprimiendo la primera fila de H. (Pila formada por unos).
Para n < 31, los cdigos comprendidos en este subgrupo son los indicados en la Tabla 6.3.1.
Tabla 6.3.1
/
n 7 15 31 3 10 25
Subgrupo 6.3.1.2 El segundo subgrupo est constituido por aquellos cdigos para los cuales n^2^-1. Antes de proseguir conviene hacer una seleccin previa, basada en el siguiente criterio: n Si 1 + X = (l+x) p(x) siendo p(x) irre_ ducible, solamente podramos elegir como genera dor p(x) y atn j pipi-W^Q-n^g. obtener un cdigo con slo un elemento de informacin y n-1 de control, los cuales, como p(x) es un polinomio completo S ran repeticiones del anterior. Los cdigos de e ta naturaleza constituyen el caso trivial de codi ficacin por repeticin y decodificacin por may
ra y no se han considerado. lEsta situacin se presentar siempre que en el cuerpo de las clases de restos de ent ros md. n, el orden del 2 sea n-1 [i 6] .
En la Tabla (3.5.1) se observa que esta situacin corresponde a los casos n = 11, 13 19 y 29. Excluidos tales casos, para los restantes valores de n, se tomar como generador el < producto de 1 + x, por un polinomio de exponente e = n. La discusin anterior sobre la influen cia del factor 1 4 - x en el cdigo es perfectamen te aplicable a este subgrupo de cdigos. Si s es el grado del polinomio de exponente n, se tiene: 2^ = 1 (n), o sea ( 2 ^ - 1 ) = a.n y el polinomio genera u i i subgrupo multiplicativo del cuerpo GP(2), Si j a es una de, sus races, se tiene ft e s 01^ siendo O' un elemento primitivo de
CTP(2)
y el orden de
es
s, pudindose esta-
blecer tambin una correspondencia biunvoca entre las columnas de la matriz H reducida y l o s elementos del cuerpo GP(2^) que corresponden al subgrupo generado por el polinomio que estamos manejando. La eleccin de uno u otro polinomio de exponente n como factor de g(x) es indiferente -
desde el punto de vista global del cdigo. Los diferentes cdigos posibles son todos equivalantes entre s, pudindose pasar de unos a otros por medio de permutaciones en las coordenadas de las palabras-cdigo. El nmero de dgitos de control de estos cdigos es r = s 4 - 1, por lo que habr 2 " * " ' clases en el diagrama normalizado. /
Como 2^- 1 > n, ser tambin 2"''''>n+1, luego"stos caigOB~no son compactos, por lo que podrn utilizarse para ellos los decodificadores incompletos y aplicarse el mtodo hbrido. La distancia mnima para estos cdigos es tambin d = 4 . En algunos casos es superior puesto que se trata de cdigos tipo QR. A continuacin se da una Tabla con los cdigos de este subgrupo para n <31. -
Se han excluido de ella los.cdigos de redundancia superior a 0,6 por considerar este valor excesivo para la utilizacin que se va a hacer de los cdigos.
V
Tabla^' 6.3.2 n 17 21 23 k 8 14 11 ^(x) (l+xXUx^+x^+x^+x) (l+x)(l4.x+x2+x^4-x^) . ^Redundancia 9/17 l/3 12/23
(I4.x)(l4.x4-x54.x^+x'^+.x94.x'''')
;>
6.3.2
Cdifos que corrii^en t errores V En este caso se elegirn varias races ' del polinomio generador. En general la corree .
cin de t errores supone un aumento 'notable en la redundancia, por lo que no se ha considerado conveniente incrementarla ms aadiendo una par dad global. Ha de tenerse en-cuenta tambin que estos cdigos dejan de ser compactos para t>1,/ por lo que pueden emplearse decodificadores inr completos y el mtodo hbrido para ellos. Por -
otra parte, con el aumento de t tambin aumentan la complejidad del decodificador y el retardo de decodificacin por lo que hemos limitado el valor de t a 2, El empleo del mtodo hbrido permite * corregir una gran parte de los errores de orden superior a dos por retransmisin. De esta forma se consigue el compromiso ms conveniente entre los factores anteriores.' La distancia mnima para estos cdigos es d^ a : 5 (3.3.7) y todos ellos son cuasiperfe_c
tos [ 25] .
Pueden clasificarse tambin en dos sub grupos, de forma paralela a la expresada en (6.3.1). Subgrupo 6.3.2,1 Est formado por aquellos cdigos para >-
.">
los que la longitud n es n = 2"^ 1, y son del tipo BCH primitivos. Para definir g(x) se especificarn sus races, d y o t ^ por lo que g(x) ser igual al
g(x) = m^(x).m2(x)
/
d e n t r o d e l cuerpo (JF{2^),
E l grado de m-(x) e s m
y e l de m^ e s , a l o sumo, m, por l o que e l nmero de d g i t o s de c o n t r o l s e r menor o i g u a l que 2m (Teorema 3 . 3 . 1 ) . Bn-iar-T-abla s i g u i e n t e se d e t a l l a n l o s dos cdigos p o s i b l e s de e s t e subgrupo p a r a n < 3 1 .
(l+x4.x^)(Ux+x^4.x^4.x^)
(l+x4-x^4.x^4.x5)(Ux2+x^4.x^4.x5) 10/31
Subgrupo 6.3.2.2 Lo constituyen los cdigos generados por elementos no primitivos. Si n es su longitud, debe existir un enteros tal que nl2^- 1, o bien: (2- i) = a.n, y se especificarn races Q ,
de g(x) siendo = 0 1 ^
o ( un elemento priml
siendo m
y m,
do n el exponente de m (x). El nimero de dgitos/ de control, igual al grado de^fic), ser tambin -
mnima de tales cdigos es 5. De este subgrupo se ha excluido el cdigo (25,5) por presentar una redundancia supe rior a 0,6. Los restantes, para n < 3 1 , se deta lian en la Tabla que sigue.
En los apartados 6.7 y 6,8 se estudiarn las estructuras de la matriz H , ' ' sndromes y d i a grama normalizado para estos cdigos.
^4
6.4.1
Caractersticas generales Los datos se transmiten a velocidades de 2400-4800 baudios. Se dividen en bloques de tamao fijo. Los terminales transmisor y receptor operan en sincronismo. Las transiciones de las sea- / les entrantes efectan y mantienen el sincr_o ~
nismo de los bits, Los dgitos de control se generan en regis tros de desplazamiento. La numeracin (identificacin) de los bloques permite la correcta continuacin de la transmisin despus de alguna interrupcin. Se emplea canal, de retorno para las seales de decisin o en caso de no ser posible, el funcionamiento semiduplex. Consideraremos que el canal de ida y el de retorno (cuando exista) son del tipo binario simtrico con probabilidades de error p y p' respectivamente, 6.4.2 Funcionamiento El proceso de funcionamiento es anlogo al expuesto en (5.4), salvo que ahora se considerar un bloque como vlido y, por consiguien
te se aceptar, en los siguientes casos: a) Cuando llegue sin errores o con errores o o ~ rregilDles (peso del vector error < t). Proba bilidad:Pjj (decodificacin correcta). b) Cuando llegue con ms de t errores pero est en las zonas O 1 del diagrama normalizado. En este caso los errores pasan sin detectar y la correccin es falsa. Probabilidad:P -^
(hay decodificacin pero es incorrecta). En i ambos casos se enviar al transmisor la s e nal de decisin "OK" o contine. La probabilidad de q . u e haya decodif cacin (correcta o no) ser:
^D = ^Dc-^^u
^^^''^
Por consiguiente, P^ ser igual a la probabilidad de que una palabra este en las zonas O 1 del diagrama normalizado. Si la palabra recibida queda situada en la zona 2, se considera que hay un error d e tectable y que, por consiguiente, se solicita la retransmisin mediante el envo de la seal de decisin RQ. La probabilidad correspondiente
>
oada palabra reoibida la har 1 roptor anaJlizando el sndrome. Con esta salvedad es vlida la e8trate_ gia de la Pig. 5.3.2 y aqu representamos slo para mayor claridad la parte en que se diferencia ('ig. 6.4.1). Los bloques se envan sucesivamente, -/ La seal de decisin se retransmite una vez analizado cada bloque. Cada bloque transmitido comprende: a) Seal de identifioaoln (eventualmente constar de las de encabezamiento y arranque). b) Bits de datos. c) Bits de, control.-
Pig, 6.4.1
Asss
^
BLOQUE I
h^H
BLOQUE 2
BL0QUE3
KM
BLOQUE 4
B C
BLOQUE 2 BLOQUE 3
lLpd2--\^\
I BL0QUE2^0^-
BU)QUE3
BLOQUE 2
sibilidades. Se observar que las seales de identi. ficaoin se utilizan para el control. Si un bloque es aceptado se enva como seaJ. de retorno la de identificacin del bloque siguiente. Si no lo es, se retransmite la seal de identificacin
. /
del bloque en el que se han detectado los erro res. Vamos a explicar brevemente la Fig. 6,4.2 que est referida al receptor. Las seales de retorno se han indicado por rombos. Lnea A.- Se recibe la seal de sincr nismo. Se enva la de identificacin del bloque n2 1. Se recibe el bloque que se acepta. Se e n va entonces como"OK la identificacin I del bl que n2 2. Este se acepta y - se enva la identificacin O del bloque 3 etc. ,
Lnea B.- Se ha detectado un error en el bloque 2, Se retransmite su seal de identifi_ cacin I. Lnea 0.- El transmisor repite el bloque 2. Una vez recibido correctamente (seal de decisin 0) sigue con el bloque 3.
Lnea D- Si nuevamente se recibi mal el bloque 2, se repite otra vez. Lneas E y F.- Si una seal de deci si6n no se interpreta en el transmisor dentro de un cierto tiempo desde la ltima transmisin de un bloque, ste repite el bloque de referen cia. Si se recibe bien vendr seguido de la s e nal de identificacin correspondiente al siguien te bloque y pasar al usuario si lleva correcto 5u hmero-deIdentificacin (lnea E). Si es incorrecto, se borrar en el receptor a pesar de haberlo recibido correctamente (lnea P). Cuando un bloque se acepta, se pasan al equipo terminal sus dgitos de informacin, suprimiendo las seales adicionales (identificacin y proteccin) requeridas en la transmisin (copia limpia). 64.3 Parmetros del sistema De forma similar a la tratada en obtendremos para este sistema dos magnitudes fun damentales: la probabilidad de error Pj, y la velocidad neta de informacin R. Las expresiones generales aon vlidas sin ms que sustituir el valor 1 - P^ Se tiene as: por ^J^Q*
P.
!2
(6.4.1)
P^ =
(6.4.2)
(6.4.3)
La probaloilidad de e r r o r e s :
Jg-T- '
^d^'u + \^^-^'
-^.^^
(6.4.4)
., ^ ^. C6.4.5;
gp =- ^Pg
(6.4.6)
PE = % = - i - = 1 -V Z S f i
\,
'
(6.4.7)
^^-^^^^-^H)
n 4" T 4- s
\\
(6.4.8)
Los valores de
PJ^Q -^U
^ ^d epeide
rn del tipo de cdigo empleado y, concretamente, de la estructura de su diagrama normalizado, por lo quo dedicaremos los apartados siguientes al estudio de esta estructura para la familia de C digos descrita en el apartado 6.3,.lo que nos ~ permitir encontrar expresiones para las anteri_o res probabilidades. Para ello necesitaremos con_o cer el espectro de los cdigos (Captulo IV) y establecer una clasificacin de las n-tupias segn sea su peso y distancia de las palabras-cdi_ go. Este problema se ha resuelto en el apartado que sigue. Los valores de P', y P'
U 6
dependern -
de la proteccin que se de a las seales de realimentacin. A este respecto se liarn las mismas suposiciones que en (5.4.1.1), por lo que tendr^ mos: , P e = 1 _ q'S ' (6.4.9) (6.4.10) (6.4.11)
>
6.5
CLASIFICACIN DE n-TUPLAS En este apartado plaiteamos y resolvemos el siguiente problema. Determinacin del nmero de palabras de peso k q_ue estn a una distancia j de una palabra-cdigo de peso i. Representaremos este nmero por W"^ ^, cin viene dada por el siguiente
/
La solu
Teorema 6.51
' '
El nmero de palabras de peso l e que estn a distancia j de una palabra-cdigo de peso i, es:
3,k=() (!:^)
con Demostracin s = i + J - 2 s
(s-s-D
Sea c. una palabra-cdigo cualquiera de peso i y S.(c.) el conjunto de palabras que distan j de 0^^, sto es, las que estn en la superficie de una "bola" de centro c. y radio j. El nmero total de ellas es (j) puesto que para obtener una cualquiera, elegimos una pa labra a . de peso ; ) y la sumamos a CJ . S.(c.) constituye una clasificacin del c o n junto de las 2^ palabras, realizada sobre la base de
tas, se tiene:
V,
n
U
;j=0
S re.) = Z
J ^ 3=0
("J) = 2^
J
,
\\
(6.5.2)
Vamos a ver ahora cual es la distribucin de peso dentro de cada clase'. Supongamos que en las ; ) posiciones de c. q.ue -' corresponden a los unos de a . hay s unos y, por consi guiente, j - s ceros. Como al efectuar la suma c^+a. -
Aumento de peso:
Disminucin de peso:
lE = i + (j-q) - q = i . 4 - J - 2 S
(6.5.3)
Dada la expresin de k, se observa inmediatamente que, dentro de cada clase, no todos los pesos son posibles. Segn sea i 4 - j sern pares o impares. En virtud de los razonamientos anteriores, de ber cumplirse:
(6.5.4) n -ki
Vamos a ver ahora cuntas palabras hay de cada peso. Entre i unos, debemos elegir s, lo cual conduce a ( ^ ) posibilidades. Por otra parte, hay que elegir independientemente i - 3 ceros en las n - i posiciones restantes, lo cual puede efectuarse de ( ^ I g) formas distintas. En total, tendremos entonces: /
( ^ ) ( ^ ~ ^) palabras de peso k q . u e distan ; j de una palabra-cdigo de peso i, siendo k = i + - 2 s . A continuacin se presenta una Tabla ejemplo para i = 4 en la que se ve cmo se reparten dentro de cada clase las palabras de diferente peso.
Il;^t>
*
i/,*
:)k!::^-:f'M^mM
Tabla 6,5.1
8
(4)(5)
O
(?)=9 (|)=36 ()=84 5 6 7
()5(?)
(H^) ^4 (Ha)
'20' 10
()(?) ()(t)
20
30
()(l) 40 " ^
(i)()
60
^^&
(|)=126 8 5 ()=126 9
()(l) '40-^
60-^
(|Hi)
^10
(5)(i)
40
()(!) 20
( :i)() 30^
(1)=84 ^0
(f)=36 11
1,2,3,4
2,3,4
(i^(?)
3,4
(Kl)
i.,...
rv3
126
^\->fi\
84 36 o
6.6
ESTRUCTURA KB LA MATRIZ lE CONTROL. SINDROaiES 6.6.1 Cdigos del grupo 63.1 La matriz H de control de paridad est formada por una primera fila de unos y una subma triz a la que hemos llamado matriz reducida y d signaremos con H'. La constitucin de esta ma triz reducida depende del tipo de cdigo. Para los cdigos primitivos (Grupo ^
6.3.1.1). La submatriz est formada por todos los elementos del cuerpo GP(2^),
H = (,)
(6.6.1)
Los elementos de H' forman el cuerpo GP(2 ). En el caso de los cdigos no primiti vos (Grupo 6.3.1.2), H' est constituida por los elementos de la formaft ... ^ ~ co^ 3 =W
(6.6.3)
subgrupo multiplicativo y cclico K dentro del cuerpo GF(2^). Las reglas de adicin dentro de K pueden deducirse a partir de la factorizacin de x^ 4 -1 -
aditivo. El conocimiento de la estructura de H' para un caso u otro nos permitir determinar los' tipos de sndromes y, por consiguiente, los de clases adjuntas. 6.6.1.1 sndromes 'Los sndromes son nmeros binarios de r dgitos. El primero de ellos nos informa de la ausencia de -
error.o de la paridad de su peso, y los r-1 restantes, indican la zona del diagrama donde estar la palabra-recibida. Los 2^ sndromes posibles pueden clasificarse en la forma siguiente: a) Clase 1 sndrome O, Existe un slo sndrome en esta clase. Se obtendr
cuando la palabra recibida sea una pala bra-cdigo, lo que puede ocurrir si no hay errores o si el vector coincide con
una palabra-cdigo. Corresponden, a la zona O del diagrama. b) Clase 2 sndromes cuyo primer dgito es 1 y los r-1 restantes son iguales a las columnas de H'. Se obtienen siem pre que haya un error aislado (vector -. error de peso 1) o cuando haya un nme-r ro impar de errores de forma que la suma de los elementos de las columnas de H' correspondientes a las posiciones -
errneas sea igual a una columna de H". Hay n sndromes de este tipo y permiten la correccin de errores aislados. Estn en correspondencia con la zona 1 del diagrama. c) Clase 3 sndromes cuyo primer dgito es O y los restantes son iguales a los 2r 1 -1 vectores binarios de longitud r-1 no nulos. Sealan la presencia de errores pares, \salvo aquellos que sean iguales a las palabras-cdigo. Para los cdigos primitivos el. nmero de sndromes de esta clase es -
n, ya que n = 2^'~^-'1,
tivos dicho ndmero ee 2^" - 1 . d) Clase 4 sndromes cuyo primer dgito es 1 y los r-1 restantes, corresponden a un elemento que no est en H'. Corres_ penden a un nmero impar de errores superior a l . '
En el caso de los cdigos pr^. mitivos slo hay un elemento en estas condiciones, el cero, por lo que los -
r-1 dgitos son ceros, y por consiguien te, slo exiactir un sndrome de esta clase. Conviene destacar que, de haberse prescindido del dgito de paridad -
global, estos errores no seran advert_i dos por el de codificador puesto que pr_o duciran un sndrome nulo. Por consi guente, podemos detectar una cierta fraccin de errores triples. Para los cdigos no primiti vos habr 2-n elementos en estas condi_ cienes, puesto que los restantes n c o rresponden a la clase 2. Se presentarn cuando la suma de las columnas de H' -
n e a s no s e a n i n g n e l e m e n t o de H ' . E l
N = l+n+n--l = 2n4-2 = aCa^"*"-! )+2=2^ (6.6.4) b) cdigos no primitivos N = Un4-2^"''-U2^-n ya gue s = r-1 = 2.2^"''= 2^ (6.6.5)
del diagrama. El sndrome puede considerarse dividido en 4,08 partes, una formada por el primer dgito y otra constituida por los r-1 restantes. Ambas influyen en la seleccin de la zona que corresponde a cada palabra recibiday se obtienen separada y paralelamente dividiendo el poli_ . nomio asociado a esta palabra por 1 4 -x y m(x), respectivamente, siendo g(x) = = (l+x).m(x), y tomando el resto en cada caso. El resto de dividir por 1 I -x da el primer dgito del sndrome y es -
igual a la suma md. 2 de los dgitos de la palabra recibida (paridad) y el de dividir por ni(x), los r-1 dgitos -
restantes. Ambas divisiones se instru mentan por medio de registros de despl^ zamiento. En la Fig. 6.6.1 se presenta un diagrama de operaciones del decodifi^ cador para estos cdigos.
Palabra recibida
/O
No
Si
I ZONA 2 i Repeticin
I ZONA T I
Decodificacin con correccin de 1 error
Fig. 6.6.1
6.6.2
O6digo3 del grupo 6.3.2 La forma general de la matriz H para estos cdigos, con t = 2, es:
/ 1 o c H \ 1 tL^
(6.6.6)
donde CL es un elemento primitivo del cuerpo -, GP(2-'^) para los cdigos del subgrupo 6.3.2.1 o
una potencia de un elekento primitivo de GP(2) para los del subgrupo 6.3.2.2.
/ /
4.8
) pode-
Todos los cdigos BCH son autocomplemen tarios. Esto es, dada una palabra-cdigo c . exisj
la su-
ma c . 4 - c . es la palabra de peso mximo. Demostracin Basta recordar la conclusin (4#8,12 ) y el hecho de que los cdigos son lineales, en virtud del cual si c . pertenece al cdigo como J
el vector o palabra Cj = 1
.,..
tambin per
Consecuencia 6.6,2.2 El espectro de un cdigo BCH es s i m trico, cumplindose que A ( ) = A(n-j). Esto facilita notablemente el estudio del diagrama normalizado, al que se traslada esta propiedad de simetra, como veremos ms a d e irrte*. 6.6.2.1 sndromes Dividiremos el sndrome general S, en dos partes S ( , 36 y S, como en -
r-dimensionales. Los 2
bles se clasificarn del modo siguiente: a) Clase 1 Formada por el sndrome nulo, S. = S = 0 . Corresponde a la zona O -
vectores,
, b)
c) Clase 3 Constituida por los sndromes que corresponden a dos errores. Se oa racteriza por ser S pudiendo ser S. S^ = O 0 ; ^ O S y S^ / S^, Hay ()
f O,
sndromes de este tipo. Las clases 2 y 3 definen la zona 1 del diagrama. d) Clase 4 En ella estarn todos los sin dromes para los cuales no tenga races la ecuacin ( 3.6,34 ' ), Su nmero [ i + n 4-(^)] . -
ser igual a 2^ -
(3.6.34)
de nuevo la existencia de races viene dada por el siguiente Teorema 6.6.2.2 / 2 La ecuacin a^ 4 - a^ x + a x tiene races en el. cuerpo GP(2'^) si, y solo si, 2 TpCaQag a^) = 0 . Demostracin No la presentamos aqu por no ser til
[3] . La aplioacin del Teorema 6.6.2.2 requiere la siguiente Definicin 6.6.2.3 Se llama traza de un elemento del cuer po GF(2^) respecto a GP(2) a n-1 ^ i=0 oi
pende a tres errores tales que o ( 4 -o l * ^ + o(^ = o, o sea, la suma de los elementos del cuerpo corres_ pendiente a^ dos posiciones errneas es igual al elemento que corresponde a la tercera. Hay n pos_i bilidades para este caso. /
A modo de aplicacin, hemos preparado la Tabla 6.6.2,1 en la que se indican las diferen tes clases de sndromfes en correspondencia con las clases adjuntas del diagrama y su peso, para los cdigos BCH primitivos de longitud n = 2 - 1, y m par, utilizando el Teorema de V/elch [3] .
TalDla 6.6.2.1
Clase de
sndrome
Peso de la clase
adjunta
Qr^-i,Tr,-t-o
lizado
Si = O , S3 = O
n/3 * 2n/3
'
^/
O A = No cubo
S^;^ O A = Cubo
n fn-1 - 2 . (-2)"^^]
VA/s^)=o
S^?^ O A = No cubo
6
n [nJ-1 - (-2)^^]
VA/s3) = 1
^^0 A = Cubo
3
n[n4.1 4- 2 ( - 2 ) ^ ^ ]
Los sndromes S. y S.,, son: S, = m^ ( o * - ), 1 3 1 1 S^ = in^(ol-^) ( 3.6.13 ) y se obtendrn en paral lo dividiendo el polinomio asoaciado a la palabra que entre en el decodificador por m^(x) y m^(x) y calculando despus m^( W-^), todo ello por medio de registros de desplazamiento. En la Fig. 6.6.2 se ha representado el diagrama de operaciones que debe ejecutar el dec_o dificador para estos cdigos.
Palabra recibida
Obtencin de sndromes
Pig, 6.6.2
6.7
ISSgRUOTURA TML PIAQRAIVU N0RMALIZA3X) Los resultados y conclusiones de los aparta dos anteriores, Junto con algunos Teoremas que expondre_ mos aqu, nos permitirn conocer la estructura del diagrama normalizado para los cdigos cclicos y, en part cular, para los seleccionados en (6.3). Determinaremos aqu para cada zona, el nmero de clases de los diferen tes pesos que contiene, as como la distribucin de los pesos de los vectores dentro de cada zona. Zona O .- Est constituida por las clases de peso cero, correspondiendo al sndrome cero. Contendr las palabrascdigo. La distribucin de pesos en ella vendr dada por la del cdigo A(i), siendo A(i) el nmero de palabras-c^ digo de peso i. Evidentemente el nmero de vectores en esta zona es 2 y, desde luego, lk() i =-2^ . , (6.7.1)
Zona 1 o de correccin.- Est formada por todas las clases de peso e, tal que 0 * e t , siendo t la capacidad de correccin del cdigo. Todos los vectores de peso e son representantes de la clase del mismo peso. La matriz H tiene exactamente t filas formadas por elementos del cuerpo GP(2^). La estructura de esta zona, se deduce del siguiente
Teorema 6.71 En los cdigos correctores de t errores, ninguna palabra del diagrama puede estar a una distancia d ^ t de ms de una palabra-cdigo, V Demostracin La distancia mnima; del cdigo, es d^ = 2t 4 -1 Supongamos que no se cumpliera el Teorema. Entonces ,
r 4 - s ^ 2t
d(c^,C2)
luego,
r 4 -s ^
ble ya que la distancia mnima es 2t 4 - 1." El nmero de palabras de peso w que estn a una distancia ; ) de alguna palabra del cdigo (no espec ficada) es
(6.7.2)
Consecuenoia El nmero de palabras de peso w que estn en las clases de peso ^ t, ser:
t 0=0
n Z i=0
A(i) W^ ^ d'W
(6.7.3)
De aqu se deduce inmediatamente el conteni / do de la zona 1 de correccin del diagrama, que esta-! r formada por subzonas en correspondencia con los nme ros 1,2, .... t. La subzona le (l<e<^t) contendr las clases de peso e. El nmero de vectores de peso w en esta subz^o na ser:
con w=i4-e-2s y
s e
(6.7.4)
C(w) =
s=0
(^-f2S)(n-(w-e+2s))^(^_3^2s) '
"
(6.7.5)
mximo de las palabras-cdigo. El nmero de palabras en la subzona e, es igual a 2^(2); sto es:
I C(w) = ( ^ ) 2^ w En efecto:
(6.7.6)
Consideremos las pala"bras-c6digo de peso d. Su contribucin a la suma (6.7.7) viene dada por:
V d=o
(6.7.8)
ya que basta hacer v /= d 4 - e - 2s en (6.7.7). La suma (6,7.8) es igual a ( ^ ) A(d) ya que d es fijo, luego:
'6'
I c ( w ) = (n) lA(d) = (2) 2^ w d puesto que la suma de las A(d) nos da la totalidad de palabras del cdigo. Zona 2 de deteccin
La estructura de la zona 2 depende de la case del cdigo y de los valores de t. Para obtener la probabilidad de repeticin no es preciso conocer con exactitud la constitucin de la zona 2 como veremos en (6.9)..Si es preciso, sin embargo, conocer su contenido para estudiar la accin de los decodificadores completos, lo que resulta importante a
V?
la hora de comparar los diferantes mtodos de decodifioaoin. Por este motivo se ha estudiado la constitucin de esta zona para los cdigos seleccionados en (6.3). Hemos encontrado que en el caso particular de los cdigos BCH primitivos, aparecen unas propiedades de sime tra muy interesantes q ^ u e simplifican notablemente el estudio, como consecuencia de la particular estructura de estos cdigos. En general, podemos afirmar que un c _ digo tendr al menos una clase de peso t 4 - 1 si dado un sndrome general (S S^ ... S2^_-|), es posible encon trar t + 1 elementos no nulos del cuerpo GP(2 ), ^1 * ^2 * * * aa^.-j, tales que:
a^ 4" a o "^ " t * "+1 " 1 ~ ^"1
-.
2t-1, 2t-1, a. 4 - ag 4 -
Nosotros aplicaremos estas relaciones para t = 1 y t = 2. De este modo puede demostrarse que los
cdigos BCH primitivos, para t = 2 son cuasiperfectos [25J. Para t = 1, se vio en (6.3) como la inclusin del dgito de paridad global implicaba que los cdigos del subgrupo 6.3.1.1 dejaran de ser compactos.
Esto equivale a un desdoblamiento en el dia grama normalizado. El cdigo (n,k) generado por m^(x) tena dos grupos de clases en su diagrama: la clase O y n clases de peso 1, Al aadir el factor 1 + x; g(x) = = (i 4 - x) m^(x) y el cdigo tiene 1 clase de peso O, -n de pesos 1 y 2 y 1 de peso 3. Cada clase tiene ahora la mitad de elementos que antes puesto que el cdigo -
tiene un dgito menos de informacin, y su nmero se ha duplicado ya que n permanece fijo. Teorema 6.7.2 El peso mximo de una p a l a b r a en l o s cdigos c o r r e c t o r e s de t e r r o r e s es n - (2t + 1 ) , de --lar-palabra"-depres-o-iti Demostracin En efecto, estos cdigos son simtricos (Consecuencia (6.6.2.2)) y como el peso mnimo es d = 2t4-1 (prescindiendo del vector cero), el peso mximo ser n -(2t + i) (prescindiendo del vector de peso n) y se tendr adems A(2t 4 - l).= A [n-(2t4.l)] Consecuencias 1. Para t = 1 el peso mximo ser n-3. Si prescindiendo
el cdigo detecta dos errores como los pesos son pares, desaparece la palabra de peso n, por lo que no hay que hacer la salvedad relativa a ella.
2i,
de peso 3, ya que el vector de peso n en el diagrama se obtendr sumando un vector de peso 3 a una de las palabras de peso n-3 del cdigo. Llegamos as a la conclu sin de que existen clases de peso 3 por un camino distinto al de (6.6.1.1). Estas clases adjuntas correspondern a los sndromes de la clase 4 que all se estudia ron. 3-. Como en una clase puede tomarse como re-i
presentante uno cualquiera de sus vectores, si tomamos el de mximo peso encontraremos que la clase est forma da por los vectores complementarios de los del cdigo. 4^. Por consiguiente, el desdoblamiento del
que hemos hablado tiene lugar en el cdigo perfecto dan do las clases de pesos O y 3 del cuasiperfecto, puesto que aq-ue 1 e ra--au t x x t o i i ^ L L e i i i g . n t ar i o. Esto no es ms que un caso particular de la simetra que exhibe el diagrama para estos cdigos y que enunciamos en el siguiente Teorema 6.7.3 El nmero de palabras de peso w en la clase de peso i es igual al nmero de palabras de peso n-w en la clase de peso 3 - i Demostracin El caso i = O est demostrado en la conclu sin anterior. Vamos a comprobar sihora que el nmero de (i = O, i) -
en l a c l a s e de p e s o -
2, Sea V, un v e c t o r de l a c l a s e de peso 2 . Se t e n d r :
v ^ = c^ 4- e^^
w(e^) = 2
(6.7.10)
v^ = c^ 4-6^
(6.7.11)
Gomo vT es de peso impar estar, o en la clase de peso 1, o en la de peso 3. Supongamos que perten_e ce a esta ultima. Entonces su complementario pertenecera al cdigo en virtud de la conclusin anterior y esto implicara que e. fuese una palabra cdigo, lo cual es imposible. Resumiendo, la zona 2 para esta familia de c digos queda dividida en dos subzonas que contienen clases de pesos 2 y 3 y son complementarios de las zonas 1 y O respectivamente. En la subzona que comprende las clases de peso 2 el nmero de palabras de peso w ser:
C(w) =
I
w, par
{^) - A(w)
(6.7.12)
con d - 2<?W'*n~1
en ninguna otra zona del diagrama, salvo la zona O (cdigo). Adems el nmero de palabras en la subzona ser
Zc(w) = Z
v / v / par
e) - Z A ( W ) = 2^-1-2^ (6.7.13)
v;
Anlogamen-te, se deduce que en la subzona que comprende las clases de peso 3, el nmero de vectores de peso w es: :C(w) = A(n - w) (6.7.15)
primitivos, la zona 2 est tambin formada por dos subzonas, cuyas clases tienen pesos 2 y 3. La diferencia radica en que ambas subzonas son ms amplias. La subzona 22 est formada por las m = 2 -1
clases que estn en correspondencia con cada uno de los sndromes de la forma Oa. ... a , como ya se discuti en (6,6,i) y en ella estn todos los (p) vectores de peso 2 de los que m sern representantes. Los pesos de los
vectores de esta zona vuelven a ser pares. Como no hay palabras de peso par en ninguna otra zona del diagrama(salvo la zona 0), se tendr:
(6.7.16)
vectores, y -
(6.7.17)
La subzona 23 est constituida por 2^- a clases de peso 3 en correspondencia con los sndromes de la forma 1b^ ... b . Los pesos de todas las palabras de esta subzona volvern a ser impares y vendrn dados por
w = i 4 - 3 - 2s
(6.7.18)
La ltima clase del diagrama contendr todas las palabras complementarias de las del cdigo, y
(6.7.19)
Siendo C.(w) el nmero de vectores de peso w en la z o na 1. En el caso de los cdigos BCH,primitivos o no, para t = 2, ya se indic que son cuasiperfectos. En es-
te caso la zona de deteccin est formada solamente por clases de peso 3. El nmero de palabras de peso w, en esta zona, vendr dado por:
C(w) = Q)
- C^nt.^^'^
(6.7.20)
siendo C
tengan las zonas anteriores, O, 1 y 2. En (6,6,2) se vio como estos cdigos son auta complementarios. Esta propiedad puede generalizarse al diagrama normalizado que presenta una complementacin o simetra dentro de cada clase, que enunciaremos del modo siguiente: Teorema 6.7,4 En cada grupo de clases de peso e, el nmero de vectores de peso w es igual al nmero de vectores de peso n - w. Demostracin Sea C (w) el nmero de vectores de peso w en las clases de peso e. Vamos a demostrar que C (w) = = C (n-w) o bien (6,7.5): .
^ (n-w-e+2S)(w+e-2s)^(^_^_3^2s) s=0 -^
(6.7.21)
de
A(i) = A ( n - i ) . s^ 4- Sp = e
A (w-e4-2s^) = A (n-v/-e-l-2s2)
(6.7.22)
p u e s t o que
(w-e4-2s ) 4. (n-v/-e4-2s2) = ^
y, por o t r a
parte (6.7.23)
e - s^
(6.7.24)
Como Cg_j^^(w) = C
. C(w) = C(n-w)
(6.7.25)
2)
La simetra que acabamos de estudiar permite redu cir los clculoa relativos a la distribucin de pesos de las clases prcticamente a la mitad.
3)
Para e = O, caso que corresponde a la zor^a O la de las palabras-cdigo, el peso mximo del mismo (prescindiendo del nico vector de peso n ) , es
w = n-d = n - (2t 4 - 1) en concordancia con el Teom rema 6.7.2. Se han incluido en este grupo los cdigos (17, 9) y (23, 12) (Golay) pues para ellos es t = 2 aunque la teora general da para ellos t = 1. Se -
trata de cdigos especiales QR (residuo cuadrtico) y son ms potentes que lo que caba esperar de la mera consideracin de las races de su polinomio ge_ nerador. La estructura de su diagrama normalizado sigue las reglas estudiadas en general para t = 2. Debido a esta circunstancia, no es prctica la i n clusin del factor 1 4 - x por lo que los cdigos (7,8) y (23, 1l) seleccionados,en principio los
desechamos, estudiando en su lugar los mencionados (17, 9) y (23, 12). El cdigo (17, 8) no puede decodificarse mediante los mtodos convencionales [ _ 3 J del Captulo III, pero independientemente de la tcnica de de
particularidad de -ser compacto; sto es, su diagrama normalizado contiene todas las clases de pesos O, 1, 2, y 3 ya que el nmero de clases es 2 cumple: (^0^)4.(23)4.(|2)4.(23) = 2 11 y se
Esto significa que puede emplearse con el modo corrector puro, corrigiendo hasta 3 errores. Entonces es preciso ampliar el algoritmo de decodificacin. Ahora bien, tambin podemos aplicar el me todo hbrido para t = 2 y hacer que los errores tri_ pies sean slo detectados. Esto tiene la ventaja de que puede emplearse la misma, ecuacin ( ' ) -
que para los cdigos BCH con t = 2, simplificndose el decodificador, con la notable circunstancia de que el sndrome parcial S = r^ ( Q / ^ ) siendo r^(x) -
a la palabra recibida por m-(x), debido a que 3 es una potencia de 2 md. 23. Por todo ello, se emplea este cdigo en estas condiciones de decodificacin. En el Apndice II se da el contenido del diagrama normalizado para los cdigos seleccionados en (6.3), construido de acuerdo con todo lo que antecede.
6.8
PHOEBILISADES DEL
SIST3MA
El estudio realizado del diagrama nornializado es esencial para el clculo exacto de las probabilidades P^^^, P^, P^ y P^ de (6.4). La relacin se basa en el siguiente Teorema 6,8.1 En caa zona del diagrama estn todos los vectores error que, actuando sobre una palabra-cdigo, dan un vector de la misma zona. Demostracin Basta demostrar que la conclusin anterior es vlida para cada clase de la zona considerada. Sea C una clase, o. una palabra-cdigo cual_ quiera y a. C.. Se tendr
c .4 - b. = a.
J 1
y habr que demostrar que b..C.. Esto es evidente, ya que a ^ i4 b . es una pal abra-cdigo, luego en virtud de (2.7) b^ C^. Consecuencias Esto nos permite clasificar los vectoreserror. Aquellos que pertenezcan a las zonas 0 6 1 -
del
diagrama, provocan la decodiiicacin (correcta o incorrecta) y son tratados como errores corregibles para alguna de las 2 palabras-cdigo.
La decodificacion slo ser correcta cuando los vectores error sean iguales a los representantes de las clases de las zonas. Por consiguiente, slo sern detectables aquellos vectores error que no sean c rregibles, esto es, los que estn situados en la zona 2 del diagrama. En la clasificacin de vectores error,' llamaremos: D(i), al nmero de vectores error de peso i que son -
detectables. V/(i), al numero de vectores error de peso i no detectables y, por lo tanto, que originan correocio nes falsas. (La correccin da una palabra-cdigo diferente de la transmitida),
i
N(i),
numero de vectores error de peso i que dan l u gar a una decodificacin correcta. Evidentemente se tiene:
(6.8.1)
fq)
N(i) = < O
0<i^t
(6,8.2) t <i^n
El nmero de palabras en las zonas O, 1 ser N = 2^ y en la zona 2 D = I D(i) , i=0 Luego: D(i) 4 . 2^ E i=0 1=0 N(i) = 2^ (6.8.5) (6.8.4) n
i=0
N(i)
(6.8.3)
(6.8.6)
Estamos ahora en condiciones de calcular las probabilidades correspondientes a las diversas situaciones. La probabilidad de decodificacin P^ ser igual a la de que el vector error est en las zonas O 6 1 del diagrama. Luego:
PD=
P(i<t) 4 . ^
p(i>t)
(6.8.7),
(?)
0 bien
o.
^
(?)
Y\
P^ = I (?) P V " ^ + Z
^ i=0 ^
i=t4-1
W(i) P V ^
(6.8.8)
Recordando la expresin de W(i) obtenida .en (6,7)> puede escribirse P-. en forma ms compacta:
,V
A(i)(M(-i)pi-^-2V-''-'^-'"' (5.8.9)
^ J~^
La probabilidad de decodificacin correcta ser igual a la de que ocurran O, 1, ... t luego errores, -
(6.8.10)
P = r
^
i=t4-1
ISII m P V ^ = I
(5) ^
i=t+1
'w(i) P V ^ (6.8.11)
La probabilidad de repeticin es igual a l a de que el e r r o r est en l a zona 2 del diagrama, sto es, de que sea detectable:
P^ =
^
Z
i=t+1
D(i) PV""^
(6.8.13)'
La expresin (6.8.8) puede e s c r i b i r s e em. pleando l a funcin generatriz de pesos del cdigo. Para e l l o construmos l a funcin:
(6.8.15)
Se observar que Pyj es igual a la suma de los t primeros trminos del polinomio f (x,p/q). Considerando la identidad J26j
(6.8.16)
podemos escribir:
.n-i f(x) = f(x,p/q) = q^ I^ A(i) (x + f)^ (i 4 - 22)^
i=o
(6.8.17)
f(x) = (q + p x ) ^ G ( P - L ^ L ) qV- PX
V
(6.8.18)
Si representamos por f^'5'(x) la derivada ;j-siina de f(x) y consideramos-que f^'(x) f(x), como Pj> es igual a la suma de los primeros trminos de f(x) para x = 1, desarrollando por Taylor (6.8.18) tendr mos;
Y.
^-^^^^-^
'^J^(0)
(6.8.19)
Esta expresin conduce a un resultado compa to para P y > pero tiene el inconveniente de ser de ms difcil programacin que la (6,8.7) por la complejidad de las derivadas. Con estos valores de probabilidades podemos establecer ya los parmetros finales del sist ma hbrido. Basta llevar estos valores a las expresiones (6.4.3). ,
A continuacin se dan los valores mximos asintticos para estas probabilidades en el caso lmite de p = 1/2. Haciendo p = l/2 en (6.8.8), (6.8.10) y (6.8.11) y recordando (6.8.6), se obtiene:
j independiente de n (6.8.20)
p
D
_I- ^ ^V
2^ i=0 ^ 2^-1 t
(6.8.21)
(6.8.22)
Estos valores pueden emplearse como cotas de calidad del sistema en aquellos casos en que sea com pie ja la determinacin del contenido del diagrama normalizado.
6.9
CDIGOS GENERALIZADOS IB 2^ SMBOLOS [27] En los cdigos BCH "binarios se trabaja en dos cuerpos distintos: el cuerpo de los smbolos de cada pa labra-cdigo, GF(2) y el cuerpo de extensin GFCa"^) cuyos elementos se asocian con las coordenadas de cada -
vector para efectuar la correccin de errores de acuerdo con lo expuesto en el Captulo III, Para los cdigos BCH primitivos, la longitud n de cada palabra es n = 2 - 1, como ya se vio en ( 3.3 ). 1
Una posible generalizacin se establece consi derando que los smbolos pertenecen a un cuerpo de base ms amplio, GP(q) siendo q = p^; p,primo y m entero. El cuerpo de extensin ser GF(q^) y la longitud de los -
smbolos y de coordenadas. La longitud ser y cada smbolo del cdigo ser una m-tupla
6.10
POSIBILIDADES LE ESTOS CDIGOS Pueden obtenerse cdigos generalizados corre tores de t errores de smbolos, haciendo que las races P del polinomio generador sean 1,ot,0('^,.,. ( x 2t1 siendo ^ una raz primitiva de orden n de 1 en GP(2'^).
El grado del polinomio generador y, por consiguiente, el nmero de dgitos de control en cada palabra-cdigo ser: 2t.
binarios se trata de cdigos correctores de rfagas, ya que la existencia de un error en un smbolo implica errores en los dgitos con ^<e^m. e
rrige smbolos no importa que haya uno o ms errores de dgitos en ellos. De hecho, la capacidad de correccin de dgitos ser mayor cuando todos ellos sean errneos. De todo lo anterior se deduce que la corree cin de t errores de smbolo implica la de t rfagas b _ i narias de longitud gitud mk, siendo m o bien, de 2(-) rfagas de lonk- t,
o cualquier combinacin compatible de ellas como, por ejemplo, una de longitud mt, que corresponde a mt dgi_
tos errneos consecutivos. Si en el canal son de espe rar rfagas largas, se aumentar m. Los parmetros de estos cdigos, junto con los valores numricos que utilizaremos, son: m : nmero de dgitos binarios / smbolo n : nmero de smbolos / bloque m.n : nmero de dgitos binarios / bloque t : nmero de smbolos corregibles 2t : nmero de smbolos de control / bloque .... n-2t: 2t/n: 6 63 ^8 1-6 ^-12
6.11
CODIFICACIN Y lEGQDIPIGACION En las operaciones de codificacin y decodifi cacin, los smbolos de m dgitos se consideran elementos del cuerpo GF(2^) y podrn representarse como poten cias 0 1 " ^ de un elemento primitivo ( X de este cuerpo (O < i 2 ^ - 2 ) . Resumiremos aqu las caractersticas de estas operaciones ya que el estudio detallado de las mismas, es anlogo al efectuado en el Captulo III para los cdigos convencionales. La matriz de control es: -
/ 1 1 H =
1 O
^'^
0 1 n-1
(6.11.1)
^ ^
Por consiguiente, si C = (c , c^, ..., c_-i) es una palabra-cdigo, las ecuaciones de paridad, sern: T 2'-2 Z i=0
H.C
=O
c. o{^^ = 0
( = 0,1,...2t-l) (6.11.2)
Tambin puede aplicarse el tratamiento polin mico en virtud del cual se considerar todo polinomio cdigo como mltiplo del polinomio generador. Los coef_i cientes de tales polinomios (smbolos del cdigo) son elementos de GP(2^) como ya qued dicho.
S=HR^; S,= O
Z r. ^^ i=0 ^
(3=0,1,... 2t-1)
(6.11.3)
V
o bien, si el vector error es E = (OQ, e^, ... j ^ . j ) se tiene: r. = o. 4 - e.
1 i
21^-2
1
. '
S. = ^.
I e, i=0 ^
^^.
(6.11.4)
Tambin, con la interpretacin polinmica, S. R(6I"^) E ( c i l L ^ ) siendo R(x) y E(x) los polinomios correspondientes a la palabra recibida y al vector error, respectivamente. -
612 APLICACIN DEL MTODO HBRIDO En estos cdigos, para la correccin de los errores no basta con conocer la coordenada de la pala bra recibida dohde est el error, sino el valor de ste. Si hay un error de valor Y.
J
en la coordenada j, y el J J
(6.12.1)
De aqu que para la correccin de los errores sea necesario resolver el sistema:
= E Y^ot^^ = I Y ^ X ^
(6.12.2)
siendo X, la variable de localizacin (Captulo III). Si no hay errores, las e. son cero y los S . tambin. El reoi)roco no es cierto puesto que si el vector error es una palabra-cdigo tambin pertenecera al cdigo la palabra recibida y este caso constituye una posibilidad de error. La estrategia de decodificacin que se va a seguir es anloga a la expuesta en ( 6 4 ) sto -
es, el diagrama normalizado se divide en zonas. Cada sndrome general corresponde de modo nico a una zona. Segn sea la zona donde est la palabra recibida, se toma la decisin oportuna. Si el sndrome general es O se considera que estamos en la zona O, o del cdigo y se acepta sin ms la palabra-cdigo. Si el sndrome general hace compatible el sistema (6.12.2), se considera que hay menos de 2t errores (zona 1 o de correccin) y se efecta la co rreccin. Si el sndrome general no permite la resolucin de (6.12.2) es que estamos en la zona 2 de d e teccin y, en ese caso, se solicitar la repeticin de la palabra.
6.13
ciadas a esta estrategia slo puede hacerse como ya se vl6 en el Captulo VI cuando se conoce la estructura del diagrama normalizado, lo cual implica el conoc, miento del espectro del cdigo. Como para estos cdi gos estas magnitudes son muy complejas, obtendremos J) aqu cotas para las probabilidades que constituyen una generalizacin de las dadas en (6.8) para el caso bina rio puro. La probabilidad de que no se detecten los errores es igual a la de que el vector error est s i tuado en las zonas O 1 deJ> diagrama y no sea un r e presentante de clase. El numero de clases en la zona de correccin es: N, = Z (?) n^ (6.13.1)
ya que (^) n^
i=0
^
i -
smbolos no ceros. Dentro de cada clase el nmero de km vectores distintos del representante es 2 - 1, luego el nmero total de vectores, ser:
( 2 ^ - 1) I (?) n^ i=0 ^
(6.13.2)
Podemos entonces estimar el valor de la probabilidad P de que los errores no se detecten divi
(2^- ^)Z
P = pnm
q) ni
(6.13.3)
Si bien (75.3) puede emplearse como cota, es posible obtener un valor ms prximo a la realidad considerando que para que los errores no se detecten debe haber ms de t. Entonces tendremos:
(2^- ^)x q) n ^
P^ = onm P (>t) (6.13.4)
exista error en un smbolo y se supone independencia en los errores, se tendr: n P (>t) = I (^)p^ q"--^ (d. = 1 - P.) i=t4.1 > T ' '
(6.13.5)
Como cada smbolo consta de m dgitos binarios p^ = p (al menos un error en un dgito binario) Si p es la probabilidad de error para los dgitos binarios, ser: P^ = 1 - q " " ( q . = 1 - p) (6.13.6)
Luego:
P(>t)=
I
l-t4.1
(^-^)
1-(l-p)^p-
(1-p)^ (6,13.7)
La probabilidad de decodificacin correcta se_ r igual a la de que haya t menos errores en los smbolos, luego:
'j,^^q)^ C '
i=0 viniendo dado p^ por (7.5.6).
^^-^3.7)
'
La probabilidad de retransmisin es igual a la de deteccin de los errores y, por consiguiente, a la de que el vector error este en la zona 2 del diagra ma. Son vlidas las relaciones por lo que: P^ = 1 - P33 y como \=^D-^Do resulta: P^=1-P^VPj,^ (6.13.10) ^-^^-S' (6.13.8)
En el caso ideal en que las seales de retor no se interpreten correctamente, la velocidad de infor macin es:
R=
^:JL n 4 - 3 +1
(6.13.11)
CAPITULO VII
RESULTADOS Y CONCLUSIONES
7.1
APLICACIN NUMRICA Se han considerado tres casos: a) Deteccin solamente, b) Correccin solamente.
Los cdigos objeto de la aplicacin numrica han sido los seleccionados en (6,3). Se han preparado cuatro programas en el lenguaje FORTRAN IV para el ordenador IBM7090 del Centro de Cal culo de la Universidad de Madrid, Tres ellos cubren los supuestos (a), (b) y .(c) anteriores y el cuarto se ocupa de los clculos relativos a los cdigos generalizados de (6,9), El listado de los programas se da en el Apndice IV. Estos programas permiten calcul^-r los valores de la probabilidad de error en el bloque P la longitud n y de las P en funcin de
cdigos en funcin de la probabilidad de error p del o a nal BSC, que se ha hecho variar entre 10" y 10"*^ con algunos valores intermedios. Las expresiones de las probabilidades P y P^^,
ner los trminos correspondientes a potencias de p de or den elevado, aunque vengan multiplicados por coeficien tes grandes. Por esta circunstancia, todos los programas se han escrito de forma que limiten automticamente el nmero de trminos que han de tomarse de cada frmula. En cada caso solamente se consideran los trminos superi res a 10"
1 f
caractersticas del ordenador trabajando en dohle precisin. Al final, una vez obtenida la suma, se redondea el/ resultado para obtenerlo con 12 15 decimales, segn -
los casos. Dados los pequeos valores que cabe esperar para P y P^, esta solucin constituye un compromiso ra-
zonable, que evita el desarrollo terico de expresiones aproximadas puesto que el ordenador de acuerdo con las instrucciones del programa, selecciona los trminos que van a influir en el resultado final. En la Pig. 7.1.1 se presenta el organigrama g neral bsico para los programas relativos a los casos (a), (b) y (c). Hemos preferido obtener P a la' probabilidad -
de error P^ ya que, P g es funcin creciente de P^, por lo que para efectuar comparaciones basta estudiar P . -
Por otra parte, en los cdigos correctores P = P . El valor obtenido de P^ permite tambin estimar el nmero medio de retransmisiones en los casos (a) y (c). Para -
START
Lectura de datos
3= 0,1 10-3
Si
Conservar y sumar
P = 0,1+p
Si
Si
Pig, 7.1.1
Para cada uno de los casos anteriores, se han preparado tablas de valores y curvas. Para el dibujo de las curvas s est justificado el empleo de expresiones aproximadas, sobre todo en el margen de valores de p -
comprendido entre 10~ - 10" y para valores an ms pequeos. En la Tabla que sigue, se resumen las aproxima cienes utilizadas. Tabla 7.1.1 d = =2 Pg np d = 4 np t = 1 np t = 2 np
P^ P
(5)P^ np-(5)p2
(^)P^ np-(|)p2
(^)p2
(5)P^
tipo de cdigo y se ha representado en las Pigs. 7.2.1 y 7.2.2 en funcin de p para las longitudes de bloque utilizadas (n = 7,15,17,21,23,31). 7.1.1 Deteccin solamente Elegido un cdigo de parmetros n,k,t, sabemos que puede detectar hasta d = 2t errores. Para t = 1, d = 2, hemos aplicado las expresiones (5.4.23) y (5.4.24), para P^ y P^, y para t = 2, d = 4, las (5.4.25) y (5.4.26).
En las TalDlas del Apndice III se dan los resultados oTDtenidoa para loo diferentes c digos, indicndose tanabin el valor de la probab lidad de error en el TDloq.ue P . Estos valores se han representado en las Pigs. 7.2.3, 7.2.4, 7.2.5 y 7.2.6. Se observa un aumento en la probabili dad P con la longitud del bloque, consecuencia -
mar ganancia de proteccin del sistema, para las longitudes de bloque consideradas. 7.1.2 Correccin solamente Se ha calculado la probabilidad P que no haya correccin para t = 1 y de -
t = 2, uti-
lizando las expresiones (5.5.4-) y (5.5.5). Los r sultados obtenidos se dan en las Tablas del Apndice III en las que se han indicado tambin a ttulo comparativo las probabilidades de error en el bloque P . En las Pigs. 7.2.7 representado los valores de P estudiados. Se observa que, en este caso, P^^ es mayor que en el de deteccin simple, para un mismo cdigo. Esto es consecuencia de ser d > t. Sin em bargo, la probabilidad de repeticin es nula. y 7.2.8 se han
7.1.3
7.2.11
En el caso t = 2 la variacin de P y P
en las Pigs. 7.2.13 y 7.2.14, respectivamente. Debido a los valores particulares de estas probabilidades para el cdigo de Golay (23,12) se han representado aparte, en las Pigs. 7.2,15 a 7,2,18, 7.1.4 cdigos generalizados En la Pig. 7,1,2 se da el organigrama del programa preparado para el estudio de un
ejemplo de cdigos generalizados correctores de rfagas. Se ha considerado el caso de m = 6 con lo que n = 63 y se ha hecho variar t entre 1 y 6, Hemos obtenido los valores de P , P y PTJ y P Q , que se encuentran en las Tablas del Apndice III. Asimismo se han representado en laSPige, 72.19 a 7.2,22.
r^^
p = 0,1.10-3
Calculo de pi y qi Calcular cada tlrmino de P
Anular el "tlrmino
Si
No
Conservar y sumar
Si
Calcular ^u -^Dc -^r
t = til
Si
Pigo 7 . 1 . 2
7.2
GOMICNTARIQ JE LOS RESULTADOS Y CONCLUSIONES 7o2.1 Conclusiones !:;enerales En todos los casos estudiados se ha observado el efecto de umbral, caracterstico de -
los sistemas digitales y que consiste en la rpida degradacin de la probabilidad de error -en el bloque y en el cdigo- cuando la probabilidad de error p en los dgitos binarios vara entre 10"-^ 2 ' y 10"" . Todas las curvas dibujadas tienden asinti mticamente al punto lmite p, = 1 P = P , = 1 . Como es lgico, P aumenta con la longitud del -
Tabla 7.2. .1 Relacin de me ij< ^^a Pu/Pe Pu' /Pe ^ p = 10-^ p = 10- t (7,3) (7,4) (7,4) (15,10) (15,11) (15,11) Hbrido Detector Corrector Hbrido Detector Corrector
cdigo
Mtodo
1
4.10-^' 5.10-^ 3.10"^ 4.10""^ 5.10-^ 3.10-42,8.10-7 3.10"*^ 7.10"^
2,8.10"5
3.10"^ 7.10"^
./..
t = 2 (15,7) (15,7) (15,7) Hbrido Detector Corrector 10"^ 2.10-''0 3.10"^ 10-"^ 2.10-''^ 3.10"'^
7.2,2
Conolusiones relativas a P 7.2,2.1 Comparacin de los mtodos corrector puro e hbrido Se ha observado una disminu cin notable en el valor de P . Esto es consecuencia de que al emplear el mtodo de correccin solamente las palabras recibidas, en la que hemos llamado zona de deteccin, o no se codifican, o se consj. dera que el vector error para ellas es el representante de clase, por lo que ha br error salvo cuando este ltimo caso sea cierto, lo que ocurre un nmero limi tado de veces. En el caso, hbrido, estas palabras provocan una retransmisin, eli_ minndose la anterior posibilidad de pr duccin de errores. A continuacin se da una pequ a Tabla que relaciona los cocientes '
( P ^ ) c o r r / ( ;P^)hbr. p = 10~^ p = 10-47,5.10^ 2,5.10^ 6,2.10^ 3,2.10^ t = 2 7,5.10^ 2,5.10^ 6,2.10^ 3,3.103
15 17 31
2,5 2 2,4
2,5 2 2,4
es menor cuanto mayor es t debido a que todo incremento de t reduce la zona de deteccin, quedando adems en ella las palabras de peso ms elevado y, por consiguiente, menos probables, resultando ser ambas probabilidades, del mismo o r den de magnitud. No se ha considerado en esta comparacin el cdigo de Golay (23,12) por ser compacto con t = 3. El empleo -
del mtodo hbrido para este cdigo sola mente podr recomendarse para simplifi
car la constitucin del decodificador, pero no para mejorar la probalDilidad de error. En el caso t = 1, el aumento de redundancia es moderado, de slo 1 d_ gito binario, lo que implica un incremen to en el porcentaje del l/n 5^. Para
. t = 2, no hay aumento en la redundancia , sino una estrategia de decodificacin di, frente, 7,2,2.2 Comparacin entre los mtodos detector puro e hbrido Para t = 1, los valores de P^ en ambos casos son del mismo orden de -
magnitud, si bien algo inferiores con el mtodo hbrido, lo cual es consecuencia de que los cdigos empleados permitan la deteccin de los errores dobles adems de la correccin de los sencillos. La -
ventaja del mtodo hbrido se manifiesta en la reduccin de la probabilidad de retransmisin P^.Si es t = 2 hay una gran venta ja a favor del mtodo detector puro en cuanto a P , que, sin embargo, se contra rresta con el enorme incremento que expe_ -
rimenta entonces la probatiilidad de r e tranamisin. 7.2o3 Conclusiones relativas a P^ . Aqu comparamos solamente los mtodos detector e hbrido, puesto que en el caso corrector no ha lugar a retransmisiones. El nmero medio de repeticiones o re transmisiones es igual a P^l-P^, y puede estimar ,
se, aproximadamente, por P . En todos los casos estudiados se observa una drstica disminucin en este nmero con el mtodo hbrido. Esta reduccin es ms notable cunto mayor es t, consecuencia lgica del incremento en la capacidad correctora del cdigo, que disminuye la probabilidad de -
error no corregido y, por consiguiente, la de retransmisin. A continuacin, se dan los valores del cociente (P )det./(P )hbr. )r. para los distintos tipos de cdigos y p = lO""-^ y 10"^, -
Tlala 7.23
]Relacin
Longitud n (d = 2 ; t = 1) 7 15 21 31 (d = 4 ; t = 2) 15 17 23 31
5,51.10"^
8,33.10^
1,32.10^ 1,20.10^
1,29,10^ 1,19.10^
la ventaja del mtodo hbrido disminuye cuando n aumenta para t fijo. En cualquier caso, (P )det > (P^)li'br, si bien, para bloques largos es poco perceptible la correccin de uno o dos errores. De aqu que sea preciso en estos casos aumentar t, con lo que se volvern a conseguir -
relaciones entre probabilidades de valores supe riores. P incide en el rgimen neto de transmi
sien como ya se vi en los Captulos V y VI en la expresin de R. Por consiguiente, la disminucin obtenida en Pj. con el mtodo hbrido, implica un aumento en la velocidad efectiva de la informacin.
"'
' 1
- 1
,
-
_ ..
;._ ,.-__
- -- _.
n s. 31 . .
21
.
^^15
fL ^ ^c
d
1
_._,.,'., .,.
1. , .-_.
...
_-J _
-j
-j
----^
^^-^-
r _ . . . .
--
>y
^y
...__.-.
\
fnJr
ti
.?
r
* j
%
i
'i
1,
,J;:J-:I^
--fr^
\^V .T
_.1
-I
c
,
' ' '
.,,#
'
^^^^^zn^ --/!
~-^-^
,\
-j
1
-'
, 1
1
1
;
. ^
._ -^_
lo"
-4 3 10" 102
P e
FIG. 7.2.1
-:-.:;:
---
__ ^i '
.. 1 1 j ~ ^ ^
; . .
_::.
T " - -Z-
. -
- :-::-^ . '
---:--]-;---::
-'<"'".'
n
1
z:-3-:_:-.
- -1
.-
j- -
h
,
z-z:~^
"---'^-'-'^~V
_ . . , ; , 7 , . - . " '
. . J : = ^ : :
r
-i ,
- - - ! -
;-~r-^"i.]
'--
1 -
1 ^1
..
j^ ~ h "
. -
. ^ _ _ ^
i
'._
!~~.,,"" 1 - . L
-
1
-
--. 1 \jr'
-
-y^^-Ezr-L ^
\ -- \ : ""^^
: - . ; . ! : . - . j (.J
1 \ \ , \
b-[.;: "
... . ^ . ,
!. ' '
-M^
-i > \
1 . '
f--r----:
I
.:.. T~-y .
j r i - : [ - ' -i-
::"":-.
'
1
_Z1;L Z 1
' 1 "
" '
:_::_._
* '\ \-^
!
1
...
" t
---
' : -.
\U.
i1
1
1 Id'
i
r :-_-ZZ. .^Jl
1 i
.
j C j ^ "_i
1
-~-r___
E"
I ? ^~/
^ "
**'
' '
-j
. ^ i
...1
i ' r" 1 i Fi
^.^-'".Z_:! :..j
\ \ , ^
- V ^
- , , ... _
.
- r
-y ^ /
|. .
(
1
^y
---4- --I--^
- ' -
\
V
-'
-] 1
" ^
nn
-1
' ; - '
.-i
ii
1I H
j.
^ ^ j
. - ... \ . ,
1:- I .L-.::-_
. --
. [
r
-
^ , -. 1
1
1 . . _
'-^ 4--=^ ~ 1
_, _j
1 1
! (--! 1
... .
1 -t~
, -\
^..
^^ _
1 , .. ,. ,.
1
1
"
--
lo'
i
4
-i
.]C -3 . 10
-2
IC>
Pe
F=IG. 7.2 2
P^-
d2
FIG 7.2.3
r1 10
10'
.o'
i-
10
11 ^
10'
rT^ : 10
P^-da2
FIG.7.2.4
2
Pyd=4
r ;_; : -
^
- "
.1
i - -
. ^ ...,-....ITJ-ll''"" "i"l.
-.. .. T - ..-n-rrrj
j
:
. ' ,
! .. i
-i i -
""1 1 i
i
z
1
!
-~y-~^
i - i
" !
' -
i
r-- 1
"23,12
--
.-1 ]..
.__
y
1" ; - [
-4
- -
//\'y
y
.._
r i--1..-.
' 1 ;
.,
1 1
_ ,
1
. ...
__^
^.^. f
i
^.
i 1
_i
.\ \
1 r
'y\yy
.
i L.. i
1 ..::! j 1 '
1
-Vy y y\ y y y y y
i
1 ! i
1
/y
y
^r ^r
'
-.r:" .._. -
;^
^,. ^^jj-^.,
' ! -
\ .
"
'
y "-y-y y;f ^ 1
_ _ -
A-
1 1
1 Z7Z
^r
V/
X
9
'
1
1
1
i
"Z~
-
,
1
_,
p:::,;. ^
- -
- . . _ :i_ .-
.-..,. , _ 1
10
d=4
FIG.7.2.6
ni - t = I
FIG.J.2.7
T-n>
Hl
tr2
FIG.7.2.8
^ < *
; . ; , .
'^
.?
v--
(0^
. ^ ) ' L*
V .
.:.T
1 .A.i.i
"'
. ^ . * ,..
ri^
. ' 11*. i
^-"' %
.^f^^ 1
'' nf-
M
'a^^
c'. ^
'.
..
.
'
't
. " .
,:
**
, -
* ;-..
''
'
"T" '
' * , , ' ' .
T"-
^r
'
'
V -
';
#iv..,i>^...
T
? * " '
. .
11,1
"--^
ni'
n
-sr**-^
i
,J
, '
*
_M.1L' . -
.:
.,_^-__
'
.
, '
j j
_ .
f ^ -',:>,
. * ' , :
'"
' ; , " "
^ / '__"!
.#^
V
i 1
Id
=s=d
* ' 'lili
-%^r
r^
.~.-.^-,
" * l ' p * l l l
^.
* . -
f=
r* 21^
*-*"
rrrrr:
K ^
....
!"""*,\a 5 3 ^
.^ .
'
.
{Q9
j.
, ;::^
~lP --r-
:T . -1 i .,' ^
'
r-
'.
2.fO -s 3.10 -3 P
Flg.
7.2.9
i-3 10
'.:_
...1
. .
, .
-
._
. -^
1
^1
hW-^
T
_
1
- 1
.^^.
,. - .
. .
^ ^ ^ ~
a
:
pi-:
'__^
I
. .
.^,
H
- /-i
: _ : ^ ^.. ^^
t-
.l.J. Jr'7;_ .-
I-4
\---r
/ ^
-jf^J
" '"'1
.. -...
- -'T '
~
-
-- . .
!.__
. _
[.-.
J \
-i j J
i I
10^
i-i .." -.
1 - ^
r-^
---zu
"-''
-/
yf
-T . .
-V 1 r-^-
"7
i.
1 "*""""'""
J h i
-
---
. jjL
V-
*T
'
1
..
i ,''"
:^
1 ~ ,
i
1
'
- .. ,
fl
,_ i1
1
1
4
. , t
1
i[
-^^^j
--rrr:
r^
#~ ~
._1
, ,
^o'
lo1 1 3-3
2.1(D-'
10-^
'
9-. t = 1
FIG.7.2.10
T;25
1=1
FIG.7.2.11
15.11 C 7*. 4 0
-2 10
^ - " " ^ ^
7.4 D 7.3 H
1
fo^
15.7D
1(5*
^ 0 ^ ^ ^ ^ ^ ^ ^ ^
/^
/
^^^^1^ --*"
^o'
' X '
icJ
l^
10'
^ 10
pyp..
FIG.7.2.12
O*
- ,
-
._..
.. ; ,
^Wti
_., .
h
__ , '
^
1 1
^ .
' / i~
' ^y-y
' ^ -^^-
Jr
_. i
-V
-_._
-y
<d*
1 ^ 1 1
^~~-
( -
_ , J
.1
' - j _ 1 , ,.
~ i
- -f
1
_ -y -y~ -
.._ . _
~ - - ,
-----
1 '
L;
1
. - ,r"
, V
1p L _J
j
i " j 1
i1
i
i
H
-1
*'
o'
-i L-
-"
y...
r *,^
'5;-1 .__
-v1
' '
,.
r*"
-_
,1 hj
.
J 11
i
--1
1 1
lo'
" ~fi"^ JT ^ ^ ,
-A
-
1 ~"-
. ,
o'
2. o-^ 4 <
r'
Pu t
2. I0-*
3. .0-*
> i
Fig
7L13
O"'
"
.. ,._..
yx f- "
p:
.
~Tr:=^ prrrq
1 ''" ' 1
.,
'
"~^^^
flti^ ..
^^1
- ^ K ^
^
i5.1__
'A
.--
'
>
j
i
j /
M-*
z::^
.--..
/
1 - -- 1
,
-^
,
_ .-
A/
/
--i
---H
,.-(' >
JA "
"' V ,
j...
't
f o ' ,.
-
-^
f f'
MI
rV-^
v;. ' ^1 ^.r
.j:
_^
'
-~~
t*
,
'"" 'A'l
--*
_
~
...
1
I
1
1
<d
-~]
'
_ .
. - -
~-
io^
2.40
fO
Pp t=2
2.40
-3
3.40
Fig 7.2.U
-9
10
Pin
'y\%
'^
i'
10"
, ^ 2.10^
10"
2.10^
-3 3.10
Fig. 7.2.15
Pin
-7 10
-8 10
<h'
2.10
10^
Fig. 7.2.16
-3 10
Pr
f
10^
^^^
m'
l'
10^ "
Fig. 7.2.17
fo'
Jr^
-5 10 23A^
-6 10
-7 10
fo"
-9 10
10^
10"^
2.10"
-3 P 3.W
Fg 7.2.18
t4
t=5
t=6
O^P
FIQ. 7.2.20
t=l
t=2
t=3
10^
-4 10
10
10-^
10
10
'-3
2 10
_ . -3
P^
t =1 2 3
FiG.7.2.21
FIG.7.2.22
APNDICE I
k 4
Jt 1 A(0)
A(3)
Espectro = A(7) = 1
= A(4)
= = = = =: = A(15) AC12) A(11 A(10) A(9) A(8)
=
= = = = = =
7
1 35 105 168 280 435
15
'
11
A(0) A(3)
A(4)
15
= = = =
= = = = A(8) =
1 18 30 15 1 15 1 5 35 168 728. 2665 7995 20280 44616 85449 142415 207760 1 267120 186 203165 806 2635 7905
./.
15
'
A(0) = A(15) = A(7) = A(8) = A(0} = = = = = = = = = = = A(0) = = = A{5) = A(I5) = A(6) = A(7) = A(8) =
A(9)
A(31) A(28)
31
26
A(27)
A(26) A(25)
31
21
A(24) A23) A(22) A(2I) A(20 A{19) A18 A(31) A(17) A26) A(l6) A25)
= = = = = = = = = = = = = = = = =
A(24) = A(23) =
A(22)
= 18910
Espectro A(21) A(20) A(19) A(I8) A(17) A(16) = = = = = = 41602 85560 142600 195300 251100 301971 1 155 465 5208 8680 18259 1 186 310 527
31
16
A(0)
31
11
= = = = = = = = = =
A(31) = A(24) = A(23) = A(20 = A(19) = A(I6) = A(31) = A(20 = A(19) = A(16)
n 17
Espectro
2
A A A '6, A A .8
A 17, A A 11 A io; A
:9)
1 34 68 68 85
23
12
= =
=
1 7
1
15
10
17
A(0) =
1 85 68 34
68
21
14
31
25
A(0) = 1 A4) = 84 A(6) = 924 A(8) = 2982 . ACIO) = 5796 AC12) = 4340 A(I4) = 1956 A(16 273 A(0) = = 1 A(18) A 4 = 28 35 A(6) = 728 A(8) = 7995 A(10) = 44616 A(I2) = 142415 A(I4) = 267120 A(I6) = 303165 A(l8) = 207760 A(20) 85449 A(22) = 20280 A(24 = 2665 A(26) = 168 A(28) = 5
ZONA 0
N2 CLASES 1
PESO CLASES O
NS PALABRAS
CDIGO
56
2 SulDzona a
C(2 = 21 0(4) = 2 8
56
Totales
16
128
TABLA
II - 2 t = 1
CDIGO (15,10),
ZONA
N2 CLASES
PESO CLASES
Ng PALABRAS 1024-
A(10}=
A(12)= CDIGO
35
15
Al 1 = 15 C( 3, = 420 C( 5, =2835 Ci 7. =6000 Cl 9, 4725 G( 11)=1 =1260 Cl 13)= 105 ZONA DE CORRECCIN
15360
o 2 Subzona a
15
15360
Subzona b
1024
totales
32
32768
TABLA
II - 3
CDIGO (31,25). t; = 1
ZOM 0
N2 CLASES 1
PESO CLASES 0
NS PALABRAS
A22)
A(24)
1 1085 22568 247845 1383096 4414865 8280720 9398115 6440560 2648919 628680 82615 5208 155
33554432
31
C(1) 31 0 3 4340 0(5) 164703 0(7) = 2546960 -0(9) = 19531395 0(11 = 82023396 0(13 1=199812515 1=291142080 C(l5 0(17 1=256901805 0(19 1=136705660' = 42969069 0(21 1 1 0(23 = 7640880 0(25 1 = 713713 0(27 1 = 30380 C(29J1 = 465
ZONA
N2 CLASES
PESO CLASES
DISTRIB.PESOS
N2 PALABRAS
Subzona a
31
0(2) = 0(4) = 0(6 = 0(8) = 0(10)= 0(12)= 0(14)= 0(16)= 0(18)= 0(20)= . 0(22)= 0(24)= 0(26)= 0(28)= C(30)=
465 30380 713713 7640880 42969069 136705660 256901805 291142080 199812515 82023396 19531395 2546960 164703 4340 31
1040187392
Subzona b
C(3)= 0(5)= 0 7 = C(9) = 0(1l)= C(13)= 0(15)= C(17)= C(19)= C(21= 0(23)= 0(25)= 0(27)= C(3l)=
155 5208 82615 628680 2648919 6440560 9398115 8280720 4414865 1383096 247845 22568 1085 1
33554432
ZONA lE DETEOOION
'^^ales
64
2147483 648
Ti\3LA
II t = 1
CDIGO (21, U ) ,
ZONA
CLASES
PESO CLASES
DISTRIB.PESOS A(0^
N2 PALABRAS 16384
21
344064
19,
c c
^ ^ i
43
Subzona b
= 994 = 13377 = 78564 =197204 =236880 =137046 c l = 36204 15, C( = 4116 17, Cl 126 19, C( 21 1 C(
704512
128
2097152
TABLA
II ~ 5 t = 2
CDIGO ( 1 3 . 7 ) .
ZOM
O
N2 CLASES
PESO CLASES
N2 PALABRAS 128
COLIGO 15 1920
105
Cl C< Cl Cl C( C( C( C( Cl Cl Cl C(
= 105 = 180 = 450 =1215 =2040 =2730 =2730 =2040 10)=1215 1l)= 450 12)= 180 13)= 105
13440
ZOA-E-QBBECCION
135
= 275 = 825 =1590 =2650 =3300 =3300 =2650 10)=1590 1l)= 825 12)= 275 LE DETECCIN
17280
32768
TABLA
II - 6 t = 2
CDIGO (17,9),
ZONA
N2 CLASES
PESO CLASES
Na PALABRAS 1 34 68 68 85 512
' . 9 )
COLIGO 17
Al 1
136
A '2' A 3 A A 5, A 6 A 7, A Q[ A >9, A 10; A(11 A(12: A 13, A 14, A 15, ZONA lE CORRECCIN A 3, A A, A ,5, A, 6 A j' A A .8; A ;9, A 10, A 11 A 12; A(1 4)= 13<
17 170 408 884 1428 1445 1445 1428 884 408 170 17 136 340 1020 3468 6868 10064 12920 12920 10064 6868 3468 1020 340 136 340 1190 2278 4556 7888 9860 986O 7888 4556 2278 1190 340
8704
69632
52224
Totales
256
ZONA
lE
DETECCIN
131074
TABLA
11-7
CDIGO (23,12), t = 2 ZONA O N2 CLASES PESO CLASES O DISTRIB.PESOS A(0} = ^(23; A(7) = Ahe^ A ( 8 ) = A(15. A(1l)= A(12, CODI&O
A( 1 A A( 6; A A< 7, A A( 8 A A( A A( 9. 10) = A A( 11)= A A A A A A A A A ,2 ,5, 6, ,7, ,9, '22; 17, 16, 14, 13, 12,
23
23 1771 4048 4048 7590 14168 15456 253 5313 14168 28336 60720 101200 138138 170016
94208
253
A(21
1036288
A(I8;
A(17,
A(I6, A(I5,
A( 14.
A 20; A 19, A, A 18, 5, 6 A 17, A A' 15. A 14< ,9, 10)= A' 13< 11) = A 12.
3,
7254016
TABLA
II - 8
:o'
6 , 8 ,9, io;
11
12, 13, ,14 15,
CDIGO
1 186 806 2635 7905 18910 41602 85560 142600 195300 251100 301971
31
Cl C( C( Cl Ci Cl Cl Cl Cl Cl Cl Cl Cl
1 4;
465
C(2) = C3) = cu) = C(5) = C(6) = C(7) = C(8) = C(9) = C10)= C11)= C(l2)= C(13)= C(l4= C(15)=
31 930 4836 23281 83390 233430 597835 1357180 20 2584842 'C(18 19. 4250100 0(1 7, C(16) = 6224800 8044965 9100236 C(29) = 465 0(28) = 1860 0(27) = 12090 C(26 = 79515 0 ( 2 5 ) = 342240 C(24) = 1183890 0 ( 2 3 ) = 3568410 0 ( 2 2 ) = 9177240 C ( 2 l ) =20147985 C(20 =38424810 0 ( 1 9 ) =64099320 C(18) =93663595 C(17=120382920 C(16>=136503540
65011712
975175680
ZONA DE CORRECCIN
./..
ZONA 2
NS CLASES 257
PESO CLASES 3
LISTRIB.PESOS Cf3) = G(4) = 0(5 = 0(6 = 0(7 = 0(8) = 0(9) = 0(10)= C(1l)= 0(12)= C(13)= C(14)= 0(15)= C28) = C(27) = 0(26) = C 25) = 0(24) = 0(23) = 0(22) = C(2l) = 0(20) = 0(19) = 0(18) = 0(17) = 0(16) = 2635 18445 85374 369954 -1359660 4078960 10367890 22805398 43577103 72628505 106169380 136503540 154634448
1 ^ 2 -PALABRAS
EE lETEOOION 1105199104
APNDICE III
TABLAS DE RESULTADOS
TABLA I I I - 1
Pj,, Py,
PR
D =
Q Q Q (O
oe
lu
Ul
Q O
o o
l u Q O
oe
l u
UNDRFLOW AT 03702 IN MQ 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 21 21 21 21
0.10-03 0.20-03 0.30-03 0.40-03 0.50-03 0.60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.6D-02 0.7D-02 80-02 90-02 lD-01 10-03 0.20-03 0.30-03 0.40-03 0.50-03 0.60-03 0.70-03 O.flO-03 0.90-03 0.10-02 0.20-02 0.30-02 O . 40-02 0.50-02 O. 60-02 0. 70-02 0. 80-02 0. 90-02 0. 10-01 0.10-03 0.20-03 0.3D-03 0.40-03 0.5D-03 0.60-03 0.70-03 0.80-03
69979000000701399160000110209811000057027966400017903494750004370419244000906048897100167905586560028640628299004586069790000698900.13916001116600.20811005644500.27664017812500.344750434218D0.412440899032D0.47971166304400. 54656283277500. 61299453066100. 679006894930Do, 14989500002700.29958000043600.44905500220800.59832000697300.74737501701600.896220035264D0.104485506529D0.11932801113300.13414951782300.148950027150D0.29580043199200.4405521747770O, 583206^3483700. 7237665924790Q. 86223421082700. 9986130176290O, 1132906387030 O, 1265120221270 0. 1395257932390 0.20979000012000.41916000191200. 62811000967100. 8366400305390O, 10447500744900. 12524401543400. 14597102856900.1666560486960-(
3498950000000-10 2'^9832000000D-09 9^41495000000-09 2237312000000-08 ^368437500000-08 "^546392000000-08 1197978950000-07 1787699200000-07 2544610950000-07 0.348950000000D-07 0.2783200000000-06 9364950000000-06 2213120000000-05 ^309375000000-05 '^23920000000-05 ^175289500000-04 1748992000000-04 02't826 0950 00 00-04 3.3395000000000-04 0'=^54590500000D-09 0.3633448000000-08 0.1225183050000-07 0-290151680000D-07 0.5661906250000-07 0.9774928800000-07 0.155081790500D-06 2312826880000-06 3290082705000-06 ^509050000000-06 357448000000D-05 1195330500000-04 2807168000000-04 5'=3l56250000D-04 9297288000000-04 1^*62329050000-03 2161868800000-03 3048277050000-03 ^140500000000-03 1328204500000-08 0.1061127200000-07 0.3576456450000-07 0. 8^66035200000-07 O, 1651278125000-06 0. 2849530320000-06 4518790045000-06 0. 0.6736056320000-06
0.6997900349960-03 0.1399160279940-02 0.2098110944720-02 0.2796642239100-02 0.3494754372810-02 0.4192447555470-02 0.4889721996600-02 0.5586577905670-02 0.6283015492050-02 0,6979034965020-02 0.1391627944070-01 0.2081194217010-01 0.2766623106150-01 0.3447935319050-01 0.4125151480300-01 0.4798292131710-01 0.5467377732630-01 0.6132428660130-01 0.6793465209300-01 0.1498950454860-0? 0.2995803637820-02 0.4490562273950-02 0.5983229085090-02 0.7473806789780-02 0.896229810333D-P2 0.1044870573780-qi 0.1193303240190-01 0.1341528080120-01 0.1489545363800-01 0.2958361825580-01 0.440671751611D-0 0.5834877361470-01 0.7243103118170-01 0.8631653407960-01 0.1000078375230 OO 0.1135074660640 00 0.126817913930D 00 0.1399416453590 O 0.2097901329400-02 0.419161Q63043D-02 0.6281135861570-02 0.836648^966990-02 0.1044766587660-01 0.1252468650590-01 0.1459755475640-01 0.1666627851520-01
21 21 21 21 21 21 21 21 21 21 21 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 $IBSYS
0.9D-03 O.lD-02 0.2D-02 0.30-02 0.^0-02 0.50-02 0.6D-02 D.70-02 0.8D-02 0.90-02 0.10-01 0.10-03 0.20-03 0.30-03 0.40-03 0.50-03 0.60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02' 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01
0.18729907793<^ 0.2079001186821 0.4116018826061 0.61110944805^1 0.8064295990331 0.9975716241281 0.1184547192901 0.1367370231771 0.1546056799451 0.1720624961831 0.189109466623( 0.3095350006281 0.6iai40010042( 0.9258150507671 0.1232560160231 0.153837539066 0.184326080895 0.214721649666 0.2450242549761 0.275233907863^ 0.3053506207<?t| 0.6014097964M 0.88819890328N 0.1165752369^| 0.14341166407^ 0.1693349138691 0.19435172125! 0,2184697082^1 0,24169727736T| 0,2640435044!
0.9577897245000-06 0.1312045000000-05 0.1035272000000-04 0.3445564500000-04 0.8052352000000-04 0.1550281250000-03 0.2640103200000-03 0.4130800450000-03 0.607416320000D-03 0.8517672450000-03 0.115045000000D-02 0.448556050000D-08 0.3580896800000-07 0.1206004005000-06 0.2852634880000-06 0-555975312500D-06 0.9586864080000-06 -^^J?i20760500-05 0.2262775808000-05 ^^^92244050D-05 0.4400605000000-05 o*?t?^^0000D-04 ^ni9005000D-03 0.2635148800000-03 n-4r'^25000D-03 0.8485840800000-03 -^}fi^2605000-02 0.1914798080000-02 -^^^52940500D-02 0.3551050000000-02
0.187308656552D-0I 0.207913240353D-0I 0.4117054488770-01 0.6114543012050-01 0.807236084570D-Q1 0.9991257212680-01 0.H8719679174D 00 0.1371521557310 00 0.155217098252D 00 0.1729214757130 00 0.190272131779D 00 0.3095354491860-02 0.6181435909710-02 0.9258271110550-02 0.1232588687620-01 0.1538430991370-01 0.1843356685530-01 0.2147368425870-01 0.245046e860740-Ql 0.2752660631080-01 0.3053946370420-01 0.601754^195040-01 0.8893385709230-01 0.1168397959760 00 0.1439177290450 00 0.170191^289590 00 0.195684008727D QO 0.220417539377D 00 0.2444150671650 00 0.2676966303460 00
TABLA I I I - 2
^ E ' ^U' ^R
^ = ^
TECCION
SOLO
D = f
PD
PU
PE
UNDRFLOW AT 14056 IN MQ UNDRFLOW AT 14065 IN MQ UNDRFLOW AT 14066 IN MQ UNDRFLOW AT 14067 IN MQ 15 15 UNDRFLOW AT 14056 IN MQ 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 23 23 23 23 23 23 23 23 0.10-03 0.20-03 0.30-03 0.40-03 0. 50-03 0. 60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40^02 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01 0.10-03 20-03 30-03 40-03 50-03 60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.60-02 0.70-02 0.80-02 90-02 10-01 10-03 0.20-03 0.30-03 0. 40-03 0. 50-03 0.60-03 0.70-03 0.80-03 0.1498950454860-05 0.299580363782D-O 0.4490562273940-0; 0.5983229085060-0^ 0.7473806789690-0! O.896229810310D-0J 0.1044870573730-01 0.1193303240090-0 0.1341528079940-0 0.1489545363500-0 0.2958361816000-0 0.4406717443500-01 0.5834877056000-01 0.7243102187500-0! 0.863165109600D-0| 0.1000077876350 0.1135073689600 0.1268177392350 0.1399413500000 0.1698640679760-1 0.3394565436190-( 0.508777834072D-I 0.6778283459070-1 0.8466084951250-( 0.1015118657160-" 0.1183359266860-( 0.135133071852D-( 0.151903341585D-( 0.168646776209D-I 0.3346140192000-1 0.4979416722000-1 0.658669107200D-I 0.816835125000D-( 0.9724779552000-1 0.112563525620D 0.1276344115200 0.1424641D48200 0.1570562000000 0.229747177011D-( 0.458989415383D-( 0.6877277745270-1 0.915963311731D-< 0.114369708216D-( 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0.1498950454860-02 0.2995803637820-02 0.4490562273950-02 0.5983229085090-02 7473806789780-02 8962298103330-02 1044870573780-01 1193303240190-01 1341528080120-01 1489545363800-01 2958361825580-01 4406717516110-01 5834877361470-01 7243103118170-01 8631653407960-01 1000078375230 00 0.1135074^60640 00 0.1268179^39300 00 1399416453590 00 1698640679760-02 3394565436190-02 0.5087778340740-02 0.6778283459140-02 0.8466084851440-02 0.1015118657200-01 0.1183359266960-01 0.1351330718720-01 1519033416210-01 1686467762620-01 3346140211720-01 0.4979416871470-01 0.6586691700610-01 0.8168353164560-01 0.9724784306590-01 0,1125636281820 Op 0.1276346110840 OQ 0.1424644^37300 OO 0.1570568066160 00 0.2297471770110-02 0.4589894153840-02 0.6877277745360-02 0.9159633117660-02 0.1143697082260-01 0.1370930139100-01 0.159766353326D-01 0.1823898^13600-01
Q <
lAI
Q Q Q Ui
< .
m
Q
O
Q
E i3
Q Q Q
V)
23 23 23 23 23 23 23 23 23 23 23 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 SIBSYS
0.9D-03 ! \ 0 .20^9635524920-0 O.lD-02 0. 2274876214500-0 0.2D-02 0. 4500202632000-0 0.3D-02 0. 667700997450D-0 0.'fD-02 0. 0.5D-02 0. 880630771200D-0 0.6D-02 0. 1088908406250 O 0.7D-02, 0. 129263059920D 0( 0.80-02 c 0. 1491891921450 0< 0.9D-02 0. 168678481920D O O.lD-01 0. 187739961345D 0^ 0.10-03 0. 2063824500000 O 0.20-03 0. 0.30-03 0. 3095354491850-0 O.^D-03 0. 618143590966D-0 0.50-03 0. 925827111013D-0 0.60-03 0. 1232588687450-0 0.70-03 0. 15384399084D-0 0.80-03 0. 1843356684210-0 0.90-03 0. 2147368423030-0 0.10-02 0. 0.20-02 0. 2450468855190-0 0.30-02 0. 2752660621080-0 O.^D-02 0. 3053946353500-0 0.50-02 0. 6017545656000-0 0.60-02 0. 8893381633500-0 0.70-02 0. 116839624960D O 0.80-02 0. 1439172093750 0( 0.90-02 0. 0.10-01 0. 170190141360D 0< 195681237535D 0^ 220412559360D 0 2444054131350 Oj 267680350000D O
0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0.
0. 2049635526910-01 0. 227487621785D-01 0.4500202739030-01 0.667701078486D-01 0. 8806311116710-01 0. 108890944220D 00 0. 129263316933D 00 0. 149189746007D 00 0. 168679558574D 00 0. 187741895789D 00 0. 2063857163560 00 0.3095354491860-02 0. 6181435909710-02 0. 9258271110550-02 0. 123258B68762D-01 0. 1538430991370-01 0. 1843356685530-01 0. 2147368425870-01 0. 2450468860740-01 0. 2752660631080-01 0. 3053946370420-01 0. 6017545195040-01 0. 8893385709230-01 0. 1168397^59760 O 0. 143917729045D 00 0. 1701914^89590 00 0. 1956840q8727D 00 0. 220417939377D 00 0. 2444150671550 0. 2676966303460 oo 00
3
Q
...:.^;^,:........l..x
E s
TABLA I I I - 3
T = 1
N 7 7 7 7 7 U."^DRFLO^ AT 1^^03 IN MQ UNDRFLOW AT 1^^12 IN MQ UNDRFLOW AT 14413 IN MQ 7 UMDRFLOW AT 14413 IN MQ 7 7 7 7 7 7 7 7 7 7 7 7 7 UNDRFLOW AT 14403 IN MQ 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 21 21 21 21 21 21 21 21 21 21
0.6D-03| 0.70-03; 0.8D-03J 0. 90-031 0. 1D-02 0,20-02 0.30-02 0.40-02! 0.50-02 0.60-02! 0.70-02; 0.80-021 0.90-02 0.10-01
0.4192440000000-02 0.4889710000000-02 0.5586560000000-02 0.6282990000000-02 0.6979000000000-02 0.1391600000000-01 0.2081100000000-01 0.2766400000000-01 0.3447500000000-01 0.4124400000000-01 0.4797100000000-01 0.5465600000000-01 0.6129900000000-01 0.6790000000000-01 1498950000000-02 2995800000000-02 4490550000000-02 5983200000000-02 7473750000000-02 8962200000000-02 1044855000000-01 1193280000000-01 0.1341495000000-01 0.1f8950000000D-01 2958000000000-01 4405500000000-01 5832000000000-01 7237500000000-01 8622000000000-01 9985500000000-01 1132800000000 00 1264950000000 00 0.1395000000000 00 0.2097900000000-02 O, 4191600000000-02 0. 6281100000000-02 0. 8366400000000-02 O, 1044750000000-01 O, 1252440000000-01 0. 1459710000000-01 O, 1666560000000-01 0. 1872990000000-01 0.2079000000000-01
0754489360147D-05 0.1026601519640-04 0.1340420298050-04 0.1695903884090-04 0.2093010491600-04 Q.8344167731420-04 Q.1871184846140-03 .3315467941270-03 .5163153630460-03 p.7410154284470-03 0.1005240697320-02 0.1308587336650-02 0.1650653963460-02 0.2031041634940-02 0.1049090409380-05 6.4192726548160-05 0.9425463140330-05 0.16741864709ip-04 0.261365055625^0-04 6.376039697791,0-04 b.51138851193^0-04 6.6673575338250-04 q.843892B9649QD-04 0.1040940830130-03 p.4127851372130-03 6.9207587942430-03 6.1622796121580-02 0.2513772225520-02 0.3588654871520-02 0.4842503121940-02 0.6270465990720-02 0.7867781114980-02 p.9629773443360-02 2097341794690-05 0. 8378748701970-05 1882832523790-04 0.3343021881560-04 p.5216861964810-04 p.7502776D65lb-04 6.101991917347D-03 i.l3304540776tD-03 0.1681725923560-03 6.20735787387^0-03
D Q Q
i'j
n o D
U
4
u m O
21 21 21 21 21 21 21 21 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31
n
D
UJ
Q Q
0.(116000000000-01 0.611100000000D-01 0.a06400000000D-01 0.997500000000D-01 0. llS'e^OOOOOOOD 00 0. 136710000000D 00 0. 154560000000D 00 0. 171990000000D 00 0. 189000000000D 00 0.309535000000D-02 0.6181400000000-02 9258150000000-02 1232560000000-01 1538375000000-01 184326000000D-01 2147215000000-01 0.245024000000D-01 0.2752335000000-01 3053500000000-01 6014000000000-01 3881500000000-01 1165600000000 00 143375000000D 00 1692600000000 00 194215000000D 00 218240000000D 00 241335000000D 00 0.263500000000D 00
0.8190046926040-03 0.1819614772050-02 0.3194274230480-02 0.4928471697920-02 0.7008089210470-02 0.941939328650D-02 0.121490261812D-01 0.1518399731660-01 0.1851167488330-01 0.4641019432710-05 0.1852823081470-04 0.4160803295060-04 0.7382704956750-04 0.1151321285060-03 0.1654703409140-03 0.2247889804440-03 0.2930355624480-03 0.3701578231850-03 0.4561037190220-03 O.1789568805000-02 0.3949753491110-02 0.6888123988660-02 0.1055817929810-01 0.1491537844240-01 0.1991707005040-01 0.2552242422120-01 0.3169236659890-01 0.3838951459520-01
O D U
g
O
TABLA I I I - 4
^U
^ =2
r^
31
31 J MB 31 I HR 31 | HB 31 M iR
H |m
31 31
$IBSYS
31 ^ Hii 31 ^ B
31 M H1 31 9 |1 31 p Hi 31 ^ Mi 31 ^mB 31 ^ gi 31 ^ g1 31 ^mi 31 ^ Hi M |I ^ HI
0.0D-3 O.lD-0?
0 Tnn ?
O.ID-'^?.
D.RD-'">2
0.9D-02 O.lD-01
0.361113587003D-07 0.122I32082178D-06 0,290106981555D-06 0.567806661165D-06 0.9832332103020-06 0.156462U506^D-05 0.234044018904D-05 0.3339393't7581D-05 0.<>590421868<f2D-05 0.3750341922330-0' 0.1292641800880-03 0.3129198685050-03 0. 6241758975200-03 0.1101538132610-02 0.1786461249070-02 0.2723503474510-02 0. 3960487955220-02 0.5548670993410-02
-^
n
r-.
rr-
'
O
v^
i n
p'
o
'.-^
\.-
C:
O O
CG'^ RECCION
SOLO
T*2
^w
V . ,
r
V^
13 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23
0 .ID -03 0 .20 -03 0 .3D -03 0 . '^D-03 0 .50 -03 0 .60 -03 0 .70 -03 0 PD-03 0 .-^o-03 0 .ID -02 0 .20 -02 0 .30 -02 0 .40 -02 0 .50 -02 3 .60 -02 0 .70 -02 0 ..^0 -02 0 .90 -02 0 .10--01 0 . 10-03 0 .20 -03 0 .3 0-03 .4 0-03 0. so--03 0 .50--03 0 .70--03 0. 8 0-03 0. 90--03 0. .10--02 0. ,20--02 D. 3 0-02 0. 4 0-02 0. 50-02 0. 60-02 0. 70-02 3. RO-02 0. 90-02 0. 10-01 0. 10- 03 0. 20- 03 0. 30- 03 0. 40- ^3 0. 5 0- 03 0. 60- 03 0. 70- 03 0. 80- 03 0. 00- 03 0. 10- 02 0. 20- 02 0. 30- 02 0. 4 0-02 D. 50- 02 0. 6D- 02 0. 7D- 02 D. 80- 02 D. 90- 02 0. 10- 01 0. in-03
PU O,,45540968018000.>364655776896D' -08 .1231821332020--07 . 2 9 2 2 5 0 1 6 7 0 9 3 0 -07 0. 0 . 5 7 1 3 1 5 0 1 3 4 4 5 0 -07 0.9881211541750--07 0 . 1 5 7 0 5 1 2 4 3 6 8 2 D -06 0 . 2 3 4 6 4 3 2 2 9 2 7 9 0 -06 0 . 3 3 4 3 9 2 3 9 5 5 9 4 0 -06 0 . 4 5 9 1 1 3 0 6 8 1 4 7 D -06 0. 3706099791590--05 0. 1262111007240--04 0 . 3 0 1 8 6 9 7 7 0 2 7 2 0 -04 0.5949147087530--04 0. 1 0 3 7 2 9 5 9 0 3 5 0 0 --03 0. 1662058921360--03 0. 2503368588450--03 0.. 3 5 9 6 5 3 3 0 6 0 5 2 0 -03 0. 4 9 7 8 0 2 8 2 8 9 0 5 0 -03 0.. 6 8 0 7 1 4 3 7 1 2 8 0 0 -09 0., 5 4 5 1 4 3 5 8 8 8 8 8 0 -08 0.. 1 8 4 1 7 9 2 4 3 1 1 3 0 -07 0< 4 3 7 0 3 1 6 4 6 9 7 6 0 -07 0. 8 5 4 4 7 4 1 2 1 8 6 0 0 -07 0.. 1 4 7 8 0 8 2 3 6 8 5 6 0 -06 0., 2 3 4 9 6 0 5 6 8 6 8 7 0 -06 0 . 3 5 1 0 9 5 7 4 2 6 0 7 0 -06 0 . 5 0 0 4 2 6 5 4 3 6 2 3 0 -06 0.. 6 8 7 1 7 7 2 5 2 0 5 2 0 -06 0., 5 5 5 5 4 3 6 0 5 4 1 1 0 -05 0. 1 8 9 4 7 4 5 2 9 6 6 4 0 -04 0., 4 5 3 8 6 3 7 0 8 0 6 1 0 -04 0.. 8 9 5 8 0 4 8 1 7 4 1 4 0 -04 0., 1 5 6 4 2 8 0 0 4 0 0 2 0 -03 0., 2 5 1 0 2 1 9 5 3 7 5 1 0 -03 0., 3 7 8 6 5 5 1 1 3 6 8 4 0 -03 0., 5 4 4 8 2 5 0 9 9 9 4 0 0 -03 0., 7 5 5 2 3 9 5 2 8 9 3 9 0 -03 0., 1 7 7 3 6 5 8 5 1 9 9 5 0 -08 0., 1 4 2 1 0 5 6 8 6 7 0 7 0 -07 0., 4 8 0 3 2 6 6 7 8 3 8 3 0 -07 0., 1 1 4 0 2 6 1 3 5 5 3 5 0 -06 0., 2 2 3 0 4 1 6 3 7 4 8 9 0 -06 0., 3 8 5 9 9 4 5 7 0 4 7 8 0 -06 . 6 1 3 8 6 5 3 0 7 8 9 1 0 -06 . 9 1 7 6 9 9 4 4 6 0 2 5 0 -06 0. , 1 3 0 8 6 3 8 0 5 1 1 3 0 -05 0. . 1 7 9 7 7 6 7 9 0 7 1 6 0 -05 0. . 1 4 5 9 9 5 6 5 6 8 7 4 0 -04 0. . 5 0 0 1 8 5 6 9 2 5 6 0 0 -04 0. . 1 2 0 3 5 5 5 7 5 1 7 6 0 -03 0. , 2 3 8 6 2 5 1 0 8 0 7 9 0 -03 . 4 1 8 5 8 2 3 1 2 5 2 8 0 -03 , 6 7 4 7 5 0 6 4 9 3 4 7 0 -03 0< , 1 0 2 2 4 5 0 4 1 6 9 3 0 -02 0. 0 . 1 4 7 7 8 2 8 1 1 8 4 7 0 -02 0. 0.205788669651D-02 0 . 4 5 0 4 ^ 4 9 7 0 2 0 2 0 0 8
o,
'.
'
n)
'
'
'v-^ '
^ . -
^ . ' '
's-y'
O
^
o o
O G
- -s---^ " . * , -- * '"' "^ ' ^ ' ' '' ^
o,
o,
O
^
i
J i .
TABLA I I I - 5
Pj,, P y ' ^R
IBRIDO
T = 1
PROftAl
:S DE ERlOR Y REPETLCIOM
PIN
POC
PR
^NDRFLOW A T '^NDRFLOW
14300 IN MQ
AT 14307 IN MQ
' " ' O l ^ F L O k / AT 14310 IN MQ ^'^'ORRLOW AT 14311 IN MQ AT 14300 IN MQ 7 0.10-03 0.20-03 0.3D-03 0.4D-03 0.5D-03 0.60-03 0.70-03 0.80-03 0.9D-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.60-02 0.70-02 0.8D-02 0.90-02 0.2798944409! 0.2238320084f 0.7551497760' 0.1789313641' 0.34934426462" 0.6034404975' 0.9578817627* 0.1429304691; 0.2034320834( 0.278951677311 0.2223253673' 0.74753572698 0.17652914878] 0.343489792491 0.999999790070D 00 0.9999991605600 00 0.9999981118890 00 0.9999966444770 00 0.9999947587430 00 0.999992455106D 00 0.9999897339850 00 0.9999865957970 00 0.9999830^09610 00 0.9999790698950 00 0.9999165583230 00 0.999812881515D 00 0.999668453'2060 00 0.9994836846370 00 0.9992589845720 00 0.9989947593030 00 0.9986914126630 00 0.998349346037D 00 0.2099020217640-06 0.8392163364790-06 0.1887355701220-05 0.3353733374570-05 0.5237763117670-05 0.753885919724D-05 0.1025643637960-04 0.133899099345D-04 0.16938,69563310-04 0.2090220974880-04 0.8321935194780-04 0.1863709488870-03 0.3297815026400-03 0.5128804651220-03 0.7351022082740-03 0.9958859943630-03 0.1294675946400-02 0.163092101B71D-02
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7
0.59132201744|
0.93547029630^ 0.13911390246 0.19732944751]
15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 31 31 31 31 31 31 31 31 31 31 31 31 31
O.lD-03 0.2D-03 0.3D-03 O.^D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.3D-02 0.4D-02 0.5D-02 0.6D-02 0.7D-02 0.8D-02 0.90-02 O.lD-01 0.10-03 0.20-03 0.30-03 0.^0-03 0.50-03 0.60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02
0.41950670715 0.33521132536 0.11300097635 0.26753964488 0.52192479338 0.90082704684 0.14288003419 0.21302822755 0.30295944586' 0.41509428533! 0.32819734999] 0.109473262781 0.25646280979; 0.49505732494 0.84547591172^ 0.13269195536C 0.195760209051 0.275478046141 0.37347842264< 0.13961193312 0.11138022171J
fV
0.9999989509100 00 0.99999580?2730 00 0.9999905745370 00 0.999983258135D 00 0.9999738634940 00 0.999962396030D 00 0.9999488611490 00 0.9999332642470 00 0.9999156107100 00 0.9998959059170 00 0.9995872148630 00 0.9990792412060 00 0.9983772038780 00
. *>
0.1048670904610-05 0.4189374436140-05 0.9414163044060-05 0.1671511074690-04 0.2608431308420-04 0.3751388707600-04 0.5099597116130-04 0.6652272515680-04 0.8408633020550-04 0.1036789887290-03 0.4095031637150-03 0.9098114679660-03 0.1597149840610-02 0.2464266493020-02 0.3504107280350-02 0.4709811166590-02 0.6074705781660-02 0.7592303068830-02 0.9256295020720-02 0.4640879824710-05 0.1852711701520-04 0.4160428428330-04 0.7381818844400-04 0.1151148695400-03 0.1654405999860-03 0.2247418836760-03 0.2929654551280-03 0.3700582786170-03 0.4559675473160-03 0.1788509168580-02 0.3946274671040-02 0.6880102205020-02
0.374867015201 0.9999583919670 00 0.88611281090S > ^ 9 9 2 6 1 7 2 9 5 0 D 00 0.172589685321 0.99^8848678710 00 0.297409313843 0.9998345296590 00 0.470967714272 0.9997752110200 00 0.701073238901 0.9997069644380 00 0.995445712526 0.9996298421770 00 0.136171708465 0.9995438962810 00 0.105963642283 0.998210431195D 00 0.347882006491 0.9960502465090 00 0.802178364157 0.9931118760110 00
31 31 31 31 31 31 SIBSYS
PROBABII COI
PIN
PDC
PR
r " ^ ^ P l . O W AT 13561 IN MQ P L Q V Aj 135^2 IN MQ " ^ ^ P t O W AT 13551 IN MQ 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 O.lD-03 0.2D-03 0,30-03 0.40-03 0.5D-03 0.6D-03 0.70-03 0.80-03 0.90-03 O.lD-02 0.20-02 0.30-02 0.40-02 0.5D-02 0.60-02 0.70-02 0.80-02 0.90-02 0.335404093388 0.267847566349 0.902382962797 0.213519031345 0.416290237837 0.718074766870 0.113825571524 0.169607709932 0.241064451290 0.330092580270 0.259437479722 0.860248705159 0.200340346675 0.384447795898 0.652725893402 0.101843151436 0.149375461249 0.208987091027 0.999997902658D 00 0.999991621251D 00 0.999981171675D 00 0.999966569781D 00 0.999947831380D 00 0.999924-9722390 00 0.9998980080830 00 0.9998669545920 00 0.99983182T408D 00 0,9997926421260 00 0,9991809953070 00 0.9981803852280 00 0.996805725770D 00 0.9950715283020 00 0.992991910790D 00 0.9905806067I3D 00 0.98785O973819D 00 0.984816002683D 00 0.2097006393140-05 0.8376070228190-05 0.18B193014102D-04 0.3340886691560-04 0.5212699062590-04 0.7495595317690-04 0.101878091778D-03 0.1328758000600-03 0.1679315279070-03 0.2070277812960-03 0.8164103178090-03 0.1811012285000-02 ' 0.3174240195820-02 0.4890026918330-02 0.6942816621140-02 0.9317550135070-02 0.1199965072000-01 0.1497501022560-01
TABLA I I I - 6
HIBRIIX)
T = 2
PIN
PDC
?\
m
O
PROBABILIDADES DE ERROR Y REPETICIN CDIGOS BCH PRIMITIVOS CON T=2
r
O
c o
MTODO HBRIDO 0.2747544969320-09 0.2196044679440-08 0.7404979851520-08 0.1753675138440-07 0.3422064637220-07 0.590800696143D-07 0.9373254356020-07 0.1397897293480-06 0.198857436962D-06 0.2725356385010-06 0.2160739499210-05 0.722709632262D-05 0.169772072472D-04 0.3286102008990-04 0.5627404023430-04 0.8855852233130-04 0.131004643086D-03 0.184851655325D-03 0.2512890235860-03 0.339645311B75D-09 0.2714295288530-08 0.9151127577930-08 0.2166879198300-07 0.4227743033440-07
m r >
1 5 1 3 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 17 17 17 17 17
O.lD-03 0.2D-03 0.30-03 O.^D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.30-02 0.^0-02 0.50-02 0.6D-02 0.70-02 0.80-02 0.9D-02 0.10-01 0.10-03 0.20-03 0.3D-03 0.^0-03 0.50-03
0.17983807350BD-09 0.1437410351550-08 0.484689585169D-08 0.1147860320430-07 0.223989794364D-07 0.3867061873980-07 0.6135227122320-07 0.914988516490D-07 0.1301614481540-06 0.178387330953D-06 0.1414313888060-05 0.4730550776440-05 0.1111271975390-04 0.2151013661830-04 0.3683663939910-04 0.579714015840D-04 0.8575973061110-04 0.121013851849D-03 0.1645136782920-03 0.3396431937280-09 0.2714294196970-08 0.9151130040650-08 0.2166880615490-07 0.4227747949500-07
0.999999999545D 0.9999999963670 0.9999999877480 0.9999999709850 0.9999999433800 0.9999999022490 0.9999998449150 0.9999997687110 0.9999996709B1D 0,9999995490770 0.9999964249470 0.9999880423530 0.9999719100730 0.9999456288430 0.9999068893200 0.999853470076D 0.9997032356260 0.999694134493D 0.999584197298D 0.9999999993210 0.99999999457ID 0.999999981698D 0.9999999566620 0.9999999154450
z
H
o o
m
O
>
ya
o c o
m r
>
r-
c
2
<
m as
(A
O
>
a o
m
> D
1/ 17 17 17 17 17 17 17 17 17 17 17 17 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23 23
0.7!)-0 3 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.3D-02 O.^D-02 0.5D-02 0.6D-02 0.7D-02 0.8D-02 0.9D-02 O.lD-01 O.lD-03 0.2D-03 0.3D-03 O.^D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.30-02 O.^D-02 0.50-02 0.60-02 0.70-02 0.80-02 0.9D-02 O.lD-01
0.'J9')'r)976R468D 00 0.9999996547520 00 0.9999995089430 00 0.9999993271030 00 0.9999946730600 00 0.9999822094070 00 0.9999582703230 00 0.9999193483860 00 0.9998620904260 00 0.9997832934530 00 0.9996799006690 00 0.9995489975660 00 0.9993878080930 00 0.9999999982320 00 0.9999999858740 00 0.9999999523980 00 0.9999998873340 00 Hi 0.9999997802790 00 0.9999996208910 00 0.999999398891D 00 0.9999991040630 00 0.9999987262520 00 0.9999982553640 00 0.9999862506440 00
0.1157658219290-06 0.1726235325240-06 0.2455281775670-06 0.336447698035D-06 0.2663444663600-05 0.8895105525930-05 0,2086404506560-04 0.403234169891D-04 0.6894891703880-04 0.1083407508290-03 0.1600255668850-03 0.2254583552410-03 0.3060243120560-03 0.1768348245610-08 0.1412556072110-07 0.4760230271070-07 0.1126659486260-06 0.2197208182060-06 0.379108422044D-06 0.6011076781890-06 0.8959351553430-06 0.1273745299570-05 0.1744630670100-05 0.I37491923619D-04 0.4571234293800-04 0.1067409552000-03 0.2053721059350-03 0.3495944479830-03 0.5468689789270-03 0.8041492198970-03 0.I1279008I759D-02 152412058256D-02 O m
0.2^55291283080-06
0.3364<f930778&D-06
0.2663405551370-05 0.8895486993400-05 0.2086563183320-04 0.4032819685450-04 0.6896065695850-04 0.1083657965570-03 0.1600737637860-03 0.2255440784680-03 0.3061675947690-03 0.5303621809160-16 0.1694163141920-14 0.1284234102180-13 0.5402198352650-13 0.1645709617320-12 0.4087822448650-12 0.8819795803680-12 0.1716527614010-11 0.308777684^050-11 0.521994384147D-11 0.1641114686080-09 0.1224377862290-08 0.5069049379500-08 O.1519816293970-07 0.3715429160830-07 0.7889541268250-07 0.1511184449490-06 0.2675366332430-06 0.4451138II643D-06
z
H 30
O O
m o
t>
r
O
>
c m
r
<
m
(A
o > o
O
S
> 30
:is
0.2-03 0.3D-03 O.^D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.3D-02 0.4D-02 0.5D-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01
0.1''+^176433161D-07 0.A990A6710653D-07 0.11804^51^8200-06 0.2300723217160-06 0.3967315671710-06 0.6286745667110-06 0.9364629852900-06 0.1330568344100-05 0.1821372524920-05 0.1426876866370-04 0.4715955196350-04 0.1094729244530-03 0.2093962106070-03 0.3543689088700-03 0.5511246150200-03 0.8057309168260-03 0,1123627354890-02 0.1509661540120-02
n.9'9')99964191D 00 0.9999998793970 00 0.9999997147260 00 0.9999994439930 00 0.9999990412350 00 0.9999984807090 00 0.9999977368920 00 0.9999967844790 00 0.9999955983830 00 0.9999655181630 00 0.9998860385470 00 0.9997354707090 00 0.9994940480700 00 0.999143821303D 00 0.9986685579060 00 0.9980536461610 00 0.9972860033070 00 0.996353987791D 00
0.2099165319350-07 0.70698204290BD-07 0.1672293871160-06 0.3259347367560-06 0.5620337754090-06 0.8906166763520-06 0.132664496366D-05 0.1884952190000-05 0.2580244620080-05 0.2021306803990-04 0.6680190097630-04 0.1550563661970-03 0.2965557196470-03 0.5018097885220-03 0.7803174786550-03 0.114062292259D-02 0.1590369338460-02 0.2136350668700-02 O
31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 SIBSYS
m
2 H 30 O D
m
O
>
c o m c z
<
m ao
(A
o o
m
>
>
TABLA III - 7
CDIGOS GENERALIZADOS
63
PR
PU
PDC
0.2109686216178460 0.8232152612031030
0.6647185933644530-03 0.2593781418084630-02
0.9993141845444740 00 0.9973238970557950 00 0.9941257273540100 00 0.9898109492827100 00 0.9844657796931280 00 0.9781716256374760 00 0.9710053202854950 00 0.9630393480562540 00 0.9543420594364980 00 0.9449778759368980 00 0.8263860167520280 00 0.6892870938798860 00 0.5568432727784920 00 0.4395727292945520 00 0.3409732184829560 00 0.2608738222022450 00 0.1973821744119930 00 0.1479755882442790 00 0.1100797393478790 00
i
!
0.3D-03 0.40-03 0.50-03 0.60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 0-lD-Ol
0.1807027229981940 0.5693569922991510-02
0.3134327124998951
0.9875618004790160-02
0.4778593160891801 0.6714783129129^11
0.1505636099078330-01 0.2115689604961100-01
0.8919261826280111
0.2810275353187720-01
0.1136973179913071
0.3582367876383260-01
0.1404516726322021
^'42534238371800D-01
0.1692575105459671
^5332954895764270-01
0.5340664523750321
0.1682733187242220 00
0.9558063030073891
^3011548430900400 00 0.4295244646165440 00
0.136322626049640( 0.1723970608128171 ^5431875646241660 00 0.2027279650175111 0.6387539850152930 00 0.2273679160218301 07163893861955720 00 0.2468990381448611 0*7779279217735200 00 0.2620973532256901 0*825814676433152P 00 0.2737547676811511 0.8625447838840060 00
63
M 6
PR O.lD-03 0.2D-03 0.3D-03 0.4D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.3D-02 O.^D-02 0.5D-02 0.6D-02 0-7D-02 0.8D-02 0.9D-02 O.lD-01 0.4^863832524555<rD0.3491136873029^900.11461535690'^0'^6D^ 0.264291359339974DJ 0.50217938<312018D^ 0.8442<9036097866DH 0.130'370967799<0DJ
0.189447779518609D|
PU 0.3856642820185440-05 0.3001096252865250-04 0.9852713619621180-04 0.227193558179058D-03 0.4316899404172500-03 0.7257442807907940-03 0.1121280249588480-02 0.1628555516390720-02 0.2256291513222490-02 0.3011795104678850-02 0.1839805068409490-01 0.4767926330348560-01 0.8729721897028450-01 0.1325235354254670 00 0.1791576039676360 00 0.2240916275778560 00 0.2653401687057650 00 0.301852732023136D 00 0.3332696330957970 00
PDC 0.9999916569739270 00 0.9999350776687410 00 0.9997868575069000 00 0.999508515082481D 00 0.9990661306752710 00 0.9984300066831110 00 0.997574348782612D 00 0.9964769666884230 00 0.9951189934382300 00 0.9934846221853470 00 0.9601997323543780 00 0.896856059741966D 00 0.8111510431516150 00 0.7133135314255690 00 0.6124306476216550 00 0.5152254492672960 00 0.4259930080119190 00 0.3470058469582250 00 0.2790420668405500 00
0.26247150'854739D 0.350358270997442DJ 0.214022169615266D 0.554646769545483DJ 0.1015517378781010 0.1541629331489640 0.2084117484107090 0.260682923154849D 0.3086668232823160 0.351141421018639D 0.3876883000636530
63 M = 6
PU O.lD-03 0.2D-03 0.3D-03 0.^0-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.3D-02 0.<D-02 0.5D-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01 0.64127774590527800.1084107988067610-07 0.99644770151785500.1684538398696520-06 0.48991717113144900.8282263980934210-06 0.15038189727478700.2542271723747990-05 0.35658946139827100.6028300754425610-05 0.71819342778944900.129238430860934D0.21415973234878400.33322810499025700.493379134308081D0.59192651046933200.22556338701263400.53881697020257400.99861044779008400.1579242140119390 0.2242286939711780 0.2946822938340850 0.3656001466952000 0.4340366072685060 0.1214137391071810-04 0.2184832180332010-04 0.3620<t63912003810-04 0.5633366811564760-04 0.8340789984754940-04 0.1000677646649990-02 0.3813247680146470-02 0.9108936467310220-02 0.1688194624065420-01 0.2669777886809910-01 0.3790684110716960-01 0.4981733020708140-01 0.6180630330618790-01 0.7337578618968900-01
PDC 0.9999999250311450 00 0.9999988350984590 00 0.9999942726018910 00 0.9999824195385490 00 0.9999583127531060 00 0.9999160392833100 00 0.9998489132473360 00 0.9997496356285310 00 0.9996104382268940 00 0.9994232129658440 00 0.9930800572486570 00 0.9736304136185900 00 0.9370093665124320 00 0.8832570089803370 00 0.8153780071199610 00 0.7378644649216520 00 0.6555003759588340 00 0.5725935499986120 00 0.4925876065418050 00
N = 63
M = 6
?R
PU 0.1769669855478680-10 0.5494400417127950-09 0.4048229160416420-08 0.1655227701189280-07 0.4901368401581090-07 0.1183433202044890-06 0.2482038896297290-06 0.4695804332403360-06 0.8211550042931430-06 0.1349509911003590-05 0.3203169353891230-04 0.1809138399838950-03 0.5686775590919110-03 0.1298579547915960-02 0.2425877241199200-02 0.3950306359935630-02 0.5824339010113960-02 0.7968720257878590-02 0.1028900822260030-01
POC 0.9999999994697120 00 0.9999999835359660 00 0.9999998786943810 00 0.9999995040092520 00 0.9999985312997310 00 0.999996453829808D 00 0.9999925625440200 00 0.9999859289723240 00 0.9999753940028740 00 0.999959561791848D 00 0.9990401668930700 00 0.9945788975251610 00 0.9829595164015810 00 0.9610879256026220 00 0.9273083302136360 00 0.8816286493831590 00 0.8254730615149590 00 0.7612164491393490 00 0.6916887732634490 00
O.lD-03 0.20-03 0.3D-03 0.4D-03 0.50-03 0.60-03 0.70-03 0.80-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01
N = 63
M = 6
PR O.lD-03 0.2D-03 0.3D-03 0.4D-03 0.5D-03 0.6D-03 0.7D-03 0.8D-03 0.9D-03 O.lD-02 0.2D-02 0.30-02 0.4D-02 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 0.10-01 0.3060218745076780' 0.1896139911750080' 0.20943218825841800.1141089434053550" 0.4221155197603471 0.122230086718744C 0.2989000905118111 0.645881377436819C 0.126984535520069! 0.2317323522738061 0.1092761756453231 0.9189474295966391 0.381997236130599{ 0.1080540096234941 0.2398277858794301 0.4506838680472241 0.7504279501605311 0.1140192938731490 0.1612961036158120
PU 0-1862349102730700-13 0-U5576592927989D-11 O* 1276596960792420-10 0.6955529791208510-10 0-2573012901264670-09 0-7450558781260880-09 0.1821951357342260-08 0.3936982629985220-08 0-7740367333777710-08 0-1412529112430070-07 0-6660950794014430-06 0-5601462144077830-05 0-2328471671433910-04 0-6586453424161400-04 O-1461874989201970-03 0.2747152388198800-03 0-^574248340387840-03 0-6950068499713110-03 0.9831835742763790-03
POC 0.9999999999969210 00 0.9999999998092300 00 0.9999999978929120 00 0.9999999885195500 00 0.9999999575311470 00 0.9999998770248570 00 0.9999996992779580 00 0.9999993501816400 00 0.9999987224142770 00 0.9999976685511860 00 0.9998900577292750 00 0.9990754511082590 00 0.9961567429219800 00 0.9891287345034090 00 0.9758710339131370 00 0.9546568979564580 00 0.9244997801499080 00 0.8852856992768800 00 0.8377207128099110 00
N 63
T = 6
PU O.lD-03 0.2D-03 0.3D-03 0.4D-03 0.5D-03 0.60-03 0.70-03 0.8D-03 0.90-03 0.10-02 0.20-02 0.30-02 0.40-02 0.50-02 0.60-02 0.70-02 0.80-02 0.90-02 O.ID-Ol $IBSYS 0.1998 0.1866 0.3082 0.2238 0.103 0.359 0.1025! 0.253 0.559 0.113 0.106 0.133 0.737 0.259 0.686 0.149 0.282 0.4781 0.744 MM 25280-13 138730-11 83470-10 3590D-09 08570-08 44970-08 86380-07 27730-07 16140-07 84390-06 86020-04 88110-03 99440-03 77880-02 0.1352764395788010-16 0.1678489920074090-14 0.2779991273784680-13 0.2018858840716650-12 0.9331965795817640-12 0.32^1489956433150-11 0.9244444258929560-11 0.2282122005810770-10 0.50^5762439777290-10 0.1022716869135900-09 0.960640702869454D-08 0.1206235519768550-06 0.6651460537442290-06 0.2338458044276920-05 0.6188984645124660-05 0.1347408232335090-04 0.2544376634667770-04 0.431252511181781P-04 0.6716156438913000-04
POC 0.9999999999999800 00 0.9999999999981320 00 0.9999999999691460 00 0.9999999997759430 00 0.9999999989643360 00 0.9999999964026130 00 0.9999999897405740 00 0.9999999746731620 00 0.9999999440024680 00 0.9999998864995750 00 0.9999893388748570 00 0.9998661328030390 00 0.9992618254369260 00 0.9974047951793780 00 0.9931315069667200 00 0.9850465551501020 00 0.9717626812937470 00 0.9521398898449700 00 0.9254645529822100 00
'$m57480-01
90600-01 40120-01
34920-02
91150-01
APNDICE lY
PROGRAMAS EE ORDENADOR
PROGRAiA A
Pj^ D = 2.4
DIMENSinri N{4) DOUBLE PRECISIN PEBO) DOUBLE PRECISIN RN,P,PDDRI,RtX,PU,Yl,S,Z,T,V DOUBLE PRECISIN COMB DOUBLE PRECISIN RM,SM,TM 50HN(M) = 1,4) READ(5,50)(N(M),M 50 rORMAT(4I2) WRI TE(6,40) 40 F0RMAT(1H1,57X,18HDETECCI0N SOLO D=2///) WRITE(6,41) 41 F0RMAT(15X,1HN,15X,1HP,16X,2HPD,27X,2HPU,27X,2HPE///) K=0 D092M=1,4 RN=N{M)
N1 = N ( M )
l '
P=l.D-4 93 K=K+1 PD=(RN*P)-({RN(RN-l.D0))*(P**2)y2.D0) X=2.D0 D01I=4,20 RI = I RIl=I/2 DRI=RI R=X*C0MR(N1,I)*(P**I) RM=DABS(R) IF(RM-1.0-18)4,4,5 5 IF({RI/2.)-RIl)2,3,2 3 X=-(X+(DRI-1.D0)) GOTOl 2 X=X+(DRI-1.D0) 1 PD = T ' D+R 4 PU=0.D0 Y1=1.D0 0061=3,20 RI = I DRI=RI RIl=I/2 S=Y1*C0MB(N1,I)*(P**I) SV! = DABS(S) IF(SM-1.D-18)7,7,8 8 IF{(RI/2.)-RIl)9,lO,9 9 Y1=-(Y1+(DRI-1.D0)) G0T06 10 Y1=Y1+(DRI-1.D0) 6 PU=P+S 7 PE(K)={RN*P)-((RN*(RN-1.D0))*lP**2)/2.D0) Z=1.D0 D011I=3,20 RI = I DRI=RI RIl=I/2 T=ZC0MB(N1,I)*{P**I) TM=DABS(T) IF(TM-1.0-18)12,12,81 81 IF((RI/2.)-RIl)14,15,14
Ol/li
D2T1 14 Z = -1.D0 EFN SOURCE STATEMENT IFN(S)
GOToii
15 Z=1.D0 11 PE(K)=PE(K)+T
12 42 W^IT0(6,42)NlTp,PDtPUPE(K) FORMAK15X,I2,10X,D7.1f3X,D19.12f9X,D19.12,9X,D19.12) IF{P.LT.0.95D-3)G0T090 IF(P.LT.0.95D-2)G0T091 G0T092 P=P+l.D-4
90
3 C Q
'
Q O
4
E
o
01/i
DETEC4 EFN SOURCE STATEMENT IFN(^S) DIMENSIN N(^) DOUBLE PRECISIN RN,PD,P,V,S,X,PU,VI, XI,PEtZtDRItT DOUBLE PRECISIN COMB DOUBLE PRECISIN XM,X1M,TM N(l)=15 N(2)=17 N(3)=23 N{4)=31 WRITEI6,40) F0RMAT(1H1,57X,18HDETECCI0N SOLO D=4///) WRITE{6,41) F0RM,AT(15X,1HN,15X,1HP,16X,2HPD,27X,2HPU,27X,2HPE///) D092M=1,4 RN=N(M) P=1.D-A PD=D.DO D01I=1,NI V=O.DO D02K=1,4 S=l l-l.DO)*K)*COMB(I,<) V=V+S X={ (-l.nO)*(I-4))*COMB(NI,I)*V*(P**I) XW=DABS(X) IF(XM-1.0-18)3,3,1 PD=PD+X PU=O.DO DD4I=1,NI D05K=1,5 V1 = 0.D0 Sl=l: {-l.DO)**(K-l))*COMB(I,K-l) V1 = V1 + S1 Xl = | {-l.DO)*( I + l) )*C0MB{NI,I)*S1*(P**I) X1M=DABS(X1) IF(X1M-I.D-18)6,6,4 PU=PU+X1 PE=(RN*P)-({RN*RN-1.D0))*(P**2)/2.D0) Z=1.D0 00111=3,20 DRI=RI Rii = i/2 T=Z*COMB(NI,I)*{P**I) TM = DABS(T) IF(TM-1,D-18)12,12,81 IF((RI72.)-RI1)14,15,14 Z=-1.D0 GOTOll , Z=1.D0 PE=PE+T WRITE(6,42)NI,P,PD,PU,PE F0RMAT(15X,I2,10X,D7.1,3X,D19.12,9X,D19.12,9X,D19.12) IF{P.LT.0.95D-3)G0T090 IF(P.LT.0.95D-2)G0T091 G0T092
Q ? : C i ^ < q Q Tj r . : ^ ^ : ^ ' 5 ^ u ^ Q ! ^ :) O ; ; ! U g ^ ^ 1 : ; ^ , ij
40 41
93
1 3
4 6
SI 14 15 11 12 42
EFN
SOURCE STATEMEMT
IFN(S)
Q <r
C5
Q Q
9
>
144
Q O " O U
s
O
FACTOR
^1 FACT = Y^!=FACT
C3MB=1.D0 GOTOPO
'0MB = F A C T ( L ) / ( F A C T ( M ) * F A : T { L - M ) )
END
PROGRAMA B
CALCULO DE Py
CORRECCIN SOLAIvIENTE T = 1,2
C'
Cv,
DIMENSIN N(4) : - DIMENSIN NA(4) READStDNMJjMsltt) 1 F0RMAT{fI2) READ(5,30)(NA(M),M=1,^) DOUBLE PRECISIN RN,P,PU,DRI,V,AB \ DOUELE PRECISIN VM,BM '' " ' DOURLE PRECISIN PE(aO) DOUBLE PRECISIN COMB WRITE(6,53) ' 53 F0RMAT(1H1,57X,19HC0RRECCI0N SOLO T*!///) WRI TE(6,^4) A^ FORMAT(20X,lHN,20X,lHPt^OX,2HPEt'tOXt2HPU) K=0 D027M = 1,^ V RN=N(M) N1 = N{M) ~ P=l.D-4 28 K=K+I PU=0.DO DD2^I=2,Nl DRI=I V=( (-l.DO)**I)*(DRI-l.D0)*COMB(Nlf I)*(P**I) VM=DABS(V) 1F(VM-I.0-18)23,23t24 2<f PU = PU + V 23 RIl PE(K)=(RN*P)-((RN*(RN-1.D0))*(P**2)/2.D0) = I/2 ,..,-, A BM=DAOS{B) = 1.D0 D070I=3,20 IF(BM-1.0-18)71,71,72 72 DRI=I IF((RI/2.)-RIl)73,7^,73 RI = I , 7^ A=1.D0 G0T070 73 A = -1.D0 70 PE(K)=PE(K)+B 71 WRITE(6,43)N1,P,PE(K),PU , ^3 F0RMATU8X,12,17X,D7.1,27X,D9.12,21X,D19.12) IF(P.LT.0.95D-3)G0T025 : ^ : 1F|P.LT.0.95D-2)G0T026 "
G0T027 G0T028 ; . ^ - r : " " :^:^ ; ; : / : : . ? ' T ; ^ ::v''':TL;:r;'
i I 1 1 | }
/ ' '
32 FORMAT(30X,1HN,30X,2HP,50X,2HPU) D033M=1,4
MSUMA RM=MA(M)
EFN
SOURCE STATEMENT
IFN(S)
P=l.D-4
38 PU=O.DO DD3rI=3,Ml DRI = I V=(DRI-l.D0)*(DRI-2.D0)/2.DO*COMB(Nl,I)*(P**n VM=DABS(V) IF(VM-1.0-18)35,35,3^ 34 PU=PU+V 35 WRITE(6,36)N1,P,PU 36 FnRMAT(28X,I2,27X,D7.1,37X,D19.12) IF(P.LT.0.95D-3)G0T039 IF(P.LT.0.95D-2)G0T037 G0T033 39 P=P+l.D-4 G0T038 37 P=P+l.D-3 GQT038 33 COMTINUE STOP EMD "
. .
d P. C ^
n ' T :: ^ ; ;
^ %
/ I
D
<rr ~J
lii
'..
. . . .
"
l U
Q O
ce
.,#.,..;..
b
U
PROGRALIA C
^R 1.2
- WR'ITE(6,24) 24 F0RMAT(1H1,3(/)) WRITE{6,22) ^2 F0RMAT(45X,36HPR0BABILIDA0ES DE ERROR Y REPETIC10N///50Xt30HC00IG0 2S BCH PRIMITIVOS CON T=1///60X,14HMET0D0 HBRIDO////) , WRITE16,11) 11 F0RMAT(15X,lHN,15X,lHP,15X,3HPIN,26X,3HPDCf25X,2HPR//// D0U8LE PRECISIN PDC,QiPfPT,PIN,PR,RN,R DOUBLE PRECISIN A(40),B(40)tC(40),X(40) DOUBLE PRECISIN COMB , I^EADStlXAtDfl'lfS) 1 F0RMAT(8(D9.1,1X)) , '^EAD(5,2)(B(I),I = 1,16) 2 F0RMAT(8(D9.1,1X)) '^EAD(5,3)(C(n,I = l,32) 3 F0RMAT(5(D14.1,2X)) N=.7 RN=N
] l P-l-D-4
* ^ Q=%l.DOO-P P[JC=(Q**N)*(RN*P*(Q**IN-1))) PT=O.DOO MA=N+I D04I = 1,,MA D[>4J=1,2 D04K=l,J F(N.EQ.7)G0T05 ^ G0T06 ^ X(I)=A(I) S0T07 * P(N.EQ.15)G0T08 GOT09
^;<i)=B(i)
y ;n)=c(i)
'^=.X(n*C0MB(I-l,K-l)*(C0HB(N-I*l,J-K))*(P**(I*J-<2*K)))*(Q**N-CI* 1J-(2*K)))) ^0 PIN=PT-PDC ^^=1.D00-PT 1? J'^ITE(6,12)N,P,PIN,PDC,PR ^ ;0RMAT(15X,I2,10X,D7.1,3X,019.12,10X,D18.12,10X,018.12//) ^tP.LT.O. 950-3 )G0T090 if^(P.LT.0.95D-2)G0T09l ^ ' ^ ^.Pn.D-4 ^1 P=.Pn.D-3 ,. S0T014 ^5 N . N 4 . 8 RN=N P<N.EQ.23)G0T013 iPlN.LT.35)G0T015 STOP
12/09/69
PD
[ ! F N
SOURCE
STATEMCMT
IFN(S)
W^ITr(6,2A 2 ' ^ Fn''.VAT(lHl,2n(/) ) WRIT[;(6,22) 36HPRnCARILIDADES DE ERRO^ Y REPETCI0N///50X,30HC0DISO TlVnS CDN T = 2///60X,L^HMET0D0 HBRIDO) W^ITh6,40) WRIT:-:(6,23) 23 F D R M A K lsx, IHN.l'XflHP, 15X , 3HPI N, 26X, 3HPDCf 26X t 2HPR////) DOUL-Lr ^ R F C I S i n ; j P D C Q , P , P T , P I M , P R , R N , R D3'jr,L:. p R n c i s i f T ) C O M B DOSLL P R C I S I O N A(f) B ( 4 ) , C ( 4 0 ) , X ( ^ D ) , E ( 4 0 ) ^-"^ A P { ? , ? ) ( U I ) , I = 1T 16 ) FnRVAT;,;(D9.i,lx)) ' ^ E A D I ^ , ! ) (A( I ) , 1 = 1,8) FHRf-'AK - i ( D 9 . 1 , l X ) ) ^t:AD(3,5n) {r( I ) , 1=1,10) 50 f ' 3 R M A T ( 5 ( D l A . l , 2 X ) ) ^EAn(5,3) ( C { I ) ,1= 1,32) f'QRMAK ' > ( D l / . l t 2 X ) ) N=i5 RN = ".j 15 P = 1.D-/, H Q =1.D00-P PDC=(Q**Nj) + ( R [ 4 * p ( Q * * ( S J - l ) ) ) + ( R N * ( R M - l . D 0 ) / 2 . D 0 * ( P * * 2 ) * ( Q * * ( N - 2 ) ) ) PI^J = 0.DOO 0041=?,3 D34J=1,3 D04K=l,j ^^"(^.^0.15)^0103 ^f'N.rQ.17)G0T09
^l^t !.:O.23)GOT051
8 9
'n=H(i)
7 jn)=c()
Y^=X(I)*CnMB(I-l,K-l)*(COMB(N-I+l,J-K))*{P**(I+J-(2*K)))*{Q**{N-(1+ ^J-(2*K) ) ) )
>ROGRAI.IA D
CALCULO DE P^ ^ u
^R
CODIGOS GENERALIZADOS
j ; ) ! i , 1 I I ! ; i r * ii ) j I I !
DOUBLE PRECISIN P,Q,P1,Q1,PU,PDC,PR,PG,R,T,RNtX OOUBLE PRECISIN COMB M = 63 RN=N M=6 . 003NT1,6 I K=N-(2*NT) W^ITEt.l) 1 F0RMAT(1H1,40X,6HN 63,40X,5HM = 6,////) WRITE(6,^)NT '^ F0RMAT(65X,^HT = ,11,////) WRITE(6,2) 2 F0RMAT{25X,IHP,25X,2HPR,25X,2HPU,25X,3HPDC,//) P=l.D-4 ^'* Q=1.D0-P P1 = 1.D0-(Q**M) ^ Ql=Q**M -S> MA = rjT + l P3=0.D0 D05I=MA,N ' ^ = COMB{N,n*(Pl**I)*(Ql**(N-I)) ^ ^ ^ lFlR-1.0-17)6,6,5 I P3=PG+R ^ PU=O.DO D07I=1,MA , T=C0MB(N,I-l)*(RN**(I-l))*PG/(2.D0**t2*NT*M)) ' PU = PU+T PDC=O.DO D0BI=1,MA X=COMB(N,I-l)(Pl**tI-l))*(Ql**(N-l+l)) IFIX-1.D-17)9,9,8 2 PDC = PDC-X l o' P'^=1.00-PU-PDC W^ITE(6,10)P,PR,PU,PDC P0RMAT(22X,D7.1,13X,D22.15,6X,D22.15,7X,D22.15,//) 90 F(P.LT.0.95D-3)G0T090 I'=(P.LT.0.95D-2)G0T091 91 G0T03 P=P+1.D-^ GOTQl/ P'P+'l.D-S GOTOI^ CONTINU STOP END
BIBLIOGRAFA
C^J
JM. HERNANDO, "Introduccin a la Teora de la I n formacin y Codificacin". E.T.S. Ing. de Telecomunicacin, 1967. W.W. PETERSON, "Error-Correcting Codes". The M.I.T. Press John Wiley & Sons Inc - 1962. E.R. BERLEKAMP, "Algebraic Coding Theory. Mac-Graw Hill, 1968. C.C.I.T.T. Transmisin de datos (Libro Azul) III Asamblea Plenaria, Ginebra, 1964. C.C.I.T.T. Transmisin de Datos (Libro Blanco) IV Asamblea Plenaria, Mar del Plata, 1968. J.M. HERNANDO, "Probabilidades y Estadstica", E.T.S. Ing. de Telecomunicacin, 1968. P.M. REZA, "An Introduction to Information Theory", M-ac-Graw Hill, 1963. C E . SHANNON, "A Mathematical Theory of Communica tion", Bell System Tech. J. 27 - 1948, pgs. 379/ 423. D.A. HUPBIAN, "A Method for the Construction of Minimum Redundancy Codes", Proc. IR, Sept. 1952, pgs. 1098/1101. J.M. HERNANDO, "Aspectos Generales de la Teora de la Codificacin", Conferencia presentada al Centro de Clculo de la Universidad de Madrid, abril, 1969.
/~2_7
/"3_7
"^J
C^J
^^J
/"7_7'
/~8_7
C^J
1^
f"10_/
Z"ll_7
R.T. CHIEN, D.T. TANG, Oodin for Error Control". IBM Systems Journal, Enero 1959, pgs. 48/86. .
Z~12_7
M. KESENBERGS, "Comparison of the 3-out-of-7 AR with Bose - Chaudhuri _ Hocquenghem - Coding - ^ Systems" IR, Trans. on Communication Systems, Junio 1963, pgs. 202/212. H.C.A.-VAN DUUREN, "Error Probability and Transmission Speed on Circuits Using Error Detection and Automatic Repetition of Signis", IR Trans. on Communication Systems, Marzo 1961, pgs. 38/50. D. SLEPIAN, "A Class of Binary Signalling Alpha TDGts", Bell System Tech. Journal Vol. 35, Enero 1956, pgs. 203/234. ' -
C^lJ
^14_7
r^5j
R.W. HAIMING, "Error Detecting and Error Corree ting Codes", Bell System Tech. Journ. Vol XXVI, N2 2, pgs. 147/160. J.M. HERNANDO, B. FONTANA, P. SAEZ VACAS, "Autmatas Lineales, Cuerpos de Galois, Cdigos", Memoria presentada al Comit Ejecutivo del Centro de Clcu lo de la Universidad de Madrid, Diciembre, 1969. " " R.C. BOSE & D.K. RAY - CHAUDHURI, "On a class of Error Correcting Binar;^ Group Codes", Information and Control, Vol. 3, pgs. 68/79, 1960. H.C. BOSE, D.K. RAY - CHAUDHURI, "Purther Results on Error - Correcting Binary Group Codes", Informa tion and Control, Vol. 3, pgs. 279/290, 1960. R.T. CHIEN, "Cyclic Decoding Procedures for the BCH Codes", IEEE Trans. on Information Theory, Vol, 11-10, N2 4, 1964, pgs. 357/363. V/.H. KAUTZ,"Linear Sequential Switching Circuits", Holden-Day Inc. 1965. B. ELSPAS, "The Theory of Autonomous Linear Sequential Networks", I.R.E. Trans. on Circuit Theory, Vol CT-6 N2 1, 1959, pgs. 45/60.
./..
*^
~16_7
C^lJ
C^^J
"19_7"
C20J
C^^J
f22J7'
E.R. BSRLEKA.P, "On Decoding Binary Bose-ChaudhuriHocquenghem Codes", IEEE, Trans. on Information Theory, Oct. 1965, pgs. 577/580. Jo Me WILLIAMS, "A Theorem on the Distribution of Weights in a Sys-tematic Code", Bell Syst. Tech. Journal, Enero 1963, pgs. 79/95. J.M. aOETHALS, "Analysis of Weight Distribution in Binary Cyolic Codes", IEEE Trans. on Information Theory, Correspondanoe, Julio 1966, pg. 401.
Z~23_7'
C'^^J
"^
C'5_J
D. GORENSTEIN, W.W. PETERSON, N. ZIERLER, "Two-error Correcting BCH Codes Are Quasi-perfect", Information ^ and Control, Vol. 3, 1960, pgs. 291/294. S.P. LLOYD,"Binary Block Coding", Bell Syst. Tech. Journal, Marzo 1957, pgs. 517/537. ^
D. GORENSTEIN, N. ZIERLER, "A class of Error-correo- ^ ting Codes in p^ simbols ", Journal SIAM, Junio 1961, pgs. 207/214.