CODIGO Y SISTEMAS DE CODIFICACION

Autor: CHARFUELAN OLIVA MARCELA.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: E.T.S.I. TELECOMUNICACION.
Centro de realización: ESCUELA TECNICA SUPERIOR INGENIEROS TELECOMUNICACION.

Resumen: SE ANALIZA LA PROBLEMATICA DE EVALUACION DE LOS SISTEMAS DE DIALOGO HABLADO (SLDS) Y CON BASE EN ESTE ANALISIS SE PROPONE UNA METODOLOGIA GENERAL DE EVALUACION DE SISTEMAS DE DIALOGO. SE INCLUYE TAMBIEN EL DISENO DESARROLLO Y EVALUACION DE UN SISTEMA DE DIALOGO PARTICULAR, EL SISTEMA VICO. SE FORMALIZA EN LENGUAJE XML UN ESQUEMA DE ANOTACION DE DIALOGOS Y SE DESARROLLAN UNAS HERRAMIENTAS SW PARA FACILITAR ALGUNOS PASOS DE LA METODOLOGIA DE EVALUACION PROPUESTA.

Autor: ALCOVER GARAU PEDRO M..
Año: 2003.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA, UNIVERSIDAD DE MURCIA..

Resumen: Estudio. Análisis. Diseño.Implementación. Y en todo momento deslumbramiento.Estas cinco palabras, y esta actitud de fondo, logran resumir muy escuetamente el trabajo de esta tesis. Estudio de la aritmética modular; de las propiedades de los enteros; de la distribución de los números primos y de los modos de qué disponemos para su identificación; de los sistemas criptográficos más extendidos: especialmente del criptosistema de clave pública RSA; de los generadores de secuencias de bits aleatorios y de los generadores de las secuencias de bits pseudoaleatorios; de los diferentes algoritmos de factorización, especialmente de los algoritmos basados en la estrategia de FERMAT de buscar dos cuadrados congruentes con el módulo el número a factorizar, y de las características de la arquitectura de los computadores, especialmente de aquellas que más directamente influyen en la velocidad de ejecución de instrucciones. Análisis de diferentes implementaciones disponibles para el uso y manejo de enteros de gran longitud; de los diferentes tests de primalidad, y selección del de MILLER-RABIN, que hemos considerado el mejor;de los diferentes generadores de secuencias de bits pseudoaleatorios, y selección del que hemos considerado criptográficamente más seguro:BBS; de las diferentes implementaciones y mejoras que paulatinamente han ido surgiendo para el algoritmo de factorización basado en la técnica de las fracciones continuas, de los valores de sus parámetros óptimos para su mejor rendimiento, y de las principales semejanzas entre ese algoritmo y los posteriores de Car1 POMERANCE (QS) y Arjen K.LENSTRA (NFS); de las diferentes condiciones que se debe exigir al criptosistema RSA para lograr su uso alejado de ataques y trampas; y un largo proceso de análisis de la interacción entre nuestro código y nuestra máquina, buscando siempre el modo de reducir tiempos. Diseño de un nuevo modelo de entero largo, con su definición de dominio o rango de valores posibles codificables y de sus operadores; de algoritmos varios matemáticos,criptográficos; de un generador de secuencias de bits aleatorios por entrada de teclado; de un protocolo de actuación para desarrollar con orden y sistema una tarea de optimización de código. Implementación de todas las herramientas necesarias para que nuestro modelo de entero largo resulta operativo en todas las necesidades de cálculo (operadores a nivel de bit, relacionales,aritméticos,funciones matemáticas), del generador de secuencias de bits de aleatorios diseñado y del generador de secuencias de bits pseudoaleatorios BBS; de los algoritmos para los test de primalidad; de todos los procesos necesarios para lograr factorizar enteros largos producto de dos primos: bibliotecas de funciones que son requeridas por el algoritmo CFRAC y programas para factorizar inmunerables enteros (varios millones hemos factorizado en diferentes máquinas); replica de todas las implementaciones en forma de macro para lograr programas más largo pero, sobre todo, más veloces; y también de todas las herramientas necesarias para lograr analizar la interacción entre software y hardware. Y optimización del código estudiado, analizado, diseñado e implementado para factorizar enteros compuestos producto de dos primos grandes. Buscar con un protocolo diseñado, las formas de reducir tiempos de ejecución, analizando los tiempos, número de instrucciones, fallos de caché, instrucciones de salto.Buscar la manera de lograr obtener los factores de un entero, no sólo procurando algoritmos de menor complejidad computacional, sino también procurando implementaciones que renten al máximo las posibilidades de nuestros ordenadores actuales.

Autor: CERQUIDES BUENO JESÚS.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA .
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: FERRER CANCHO RAMON.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSIT AT POLITÉCNICA CATALUNYA.

Autor: FERNÁNDEZ MUÑOZ MARCEL.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.

Autor: CATALÁ ROIG NEUS.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: BRAS AMORÓS MARIA.
Año: 2002.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: MATEMÁTICAS.
Centro de realización: FACULTAT DE MATEMÁTIQUES I ESTADÍSTICA.

Autor: VALLS MARSAL MAGDA.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: MATEMATICAS.
Centro de realización: FACULTAT DE MATEMATICAS Y ESTADISTICA.

Resumen: Un esquema para compartir secretos es un protocolo criptográfico que permite distribuir fragmentos de informacion a un conjunto de participantes, de modo que ciertas coaliciones autorizadas de los mismos esten capacitadas para recuperar el secreto original. El trabajo realizado en esta tesis se centra en el estudio de los esquemas cuya seguridad es computacional (es decir, aquellos que son seguros frente a adversarios con capacidades computacionales limitadas) y que presentan propiedades dinamicas ( o sea que pueden activarse distintas estructuras de acceso y distintos secretos sin necesidad de modificar los fragmentos inicialmente distribuidos). Una de las aportaciones de este trabajo consiste en el diseño de un nuevo esquema dinamico computacionalmente seguro. El esquema que se propone permite superar algunas de las limitaciones que presentaban los esquemas existentes en la literatura: el volumen de informacion publica que se debe gestionar se ve substancialmente reducido, los protocolos de activacion de estructuras de acceso y de activación de secretos se pueden ejecutar independientemente (incluso por entidades distintas) y la reconstruccion se puede realizar por canales de comunciacion inseguros, sin necesidad de un combinador. Se analizan tambien distintas extensiones del esquema que permiten dotarlo de prestaciones adicionales, que lo hacen mas atractivo para ser utilizado como subprotocolo en aplicaciones criptograficas distribuidas. En particular, el esquema puede ser proactivo, verificable, publicamente verificable y robusto. En cuanto a la seguridad del esquema, esta queda probada ante adversarios pasivos. Tal seguridad esta basada en hipotesis estandares de intratabilidad computaciona, como es el Problema Decisional de Diffie-hellman. Por otra parte, se estudia la relacion existente entre los esquemas dinamicos computacionalmente seguros y los criptosistemas de descifrado compartido. A pesar de que ambos sistemas habian sido tratados de forma independiente, se muestra que pueden ser recogidos bajo un modelo comun. Entonces se pueden definir ciertos parametros que permiten contratar la eficiencia de los distintos protocolos. Mediante estos parametros se puede evaluar el volumen de informacion (publica y secreta) que se precisa gestionar en cada sistema, asi como el volumen de comunicaciones necesarias. Finalmente se describe y analiza una aplicación del esquema estudiado a un protocolo de criptografia de grupo: las cajas de seguridad virtuales distribuidas. Mediante este protocolo, un usuario puede depositar cierta informacion secreta a una entidad distribuida. En el momento que el secreto deba ser recuperado, sera necesaria la colaboracion de una colección de agentes autorizados por la entidad (de este modo se garantiza la accesibilidad y diponibilidad de la informacion). Ademas, tan entidad o va a tener acceso a la informacion secreta, ni incluso despues de la ejecucion del proceso de recuperacion. El ultimo lugar se plantea una modificacion del sistema que permite dotarlo tambien de proactividad.

Autor: NETTLETON DAVID FRANCIS.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÀTICS UNIVERSITAT POLITÈCNICA CATALUNYA.

Autor: DÍAZ RODRÍGUEZ SUSANA IRENE .
Año: 2000.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: Este trabajo presentará una nueva técnica de análisis de dominios, que pretende dar un salto cualitativo respecto a las técnicas de dominios desarrolladas hasta el momento, sobre todo en dos aspectos fundamentales: Por un lado la técnicas de generación automática de representaciones de dominios que se presenta aquí funde las dos fases más relevantes de un proceso de análisis de dominios en una sola, de forma que la organización de conocimiento implica la adquisición de conocimiento. Este proceso de adquisición-organización de conocimiento se realiza de forma completamente automática, lo que es doblemente importante, en primer lugar porque en estas fases actualmente se realiza un proceso simiautomático, haciéndose necesaria la intervención humana en etapas claves; en segundo lugar porque reduce los elevados costes de su realización. Por otro lado. Esta técnica supone un gran avance en tanto en cuanto que el repositorio utilizado se adapta al lenguaje de modelado UML, lo que permite reutilizar toda la información utilizada en las etapas previas a la codificación de forma rápida.

Autor: RAMOS ALVAREZ BENJAMIN.
Año: 1999.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR .
Centro de realización: UNIVERSIDAD DE ALCALÁ DE HENARES.

Resumen: Se presenta un modelo de mecanismo para garantizar un servicio de autenticación en redes, cuya arquitectura responda el modelo de cliente-servidor, basado en la generación y utilización de contraseñas desechables ( de un solo uso, one-time passwords) independientes que, con un alto grado de faiabilidad, garantice que las personas que proprocionen una palabra de paso inicial propia, sean realmente las autorizadas y nadie puede implantar la identidad de otro. El modelo incorpora algunos algoritmos existentes, bien sea para cifrar datos, bien por el uso de funcione sireversibles (one way funtions). Se trata de algoritmos de pulsada fortaleza y que se consideran idóneas para garantizar la viabilidad teórica del mecanismo ideado, así como su posterior implementación.Además, el sistema utiliza un nuevo generador de números siendo aleatorios ideado para su implementación en el mecanismo y de cuya evaluación se deduce que ofrece un alto grado de aleatoriedad, para una mayor robustez en el control global de las contraseñas que se van utilizando. El mecanismo propuesto podría ser adoptado como servició de autenticación en numerosos sistemas que necesiten controlar con suficiente garantía la autenticidad de los usuarios que pertenecen a los mismos, de forma que dichos usuarios realicen el menor esfuerzo posible para conectarse y que, por el contrario, las personas que no tengan dicha autorización deban realizar un número --- de operaciones si pretenden conseguir tal objetivo. Palabras claves: Autenticación, contraseñas desechables, números seudo aleatorios.

Autor: ABASCAL FUENTES POLICARPO.
Año: 1998.
Universidad: OVIEDO.
Centro de lectura: MATEMATICAS.

Resumen: En esta memoria se estudia el problema del reparto de secretos mediante la utilización de códigos correctores de errores, comprobándose que son un marco de trabajo idóneo para la resolución del problema, puesto que hemos visto que generalizan y engloban las soluciones clásicas. Hemos construido dos algoritmos que construyen códigos a través de sus matrices, generatriz y de chequeo, que resuelven el problema de realizar una estructura de acceso dada con una tasa de información prefijada en el caso de que éste exista; lo que nos permite asegurar una solución óptima en el caso en que se conozca la tasa de información óptima que puede alcanzar la estructura de acceso. Paralelamente, se han estudiado las estructuras de acceso, en cuanto a su tasa de información y a su construcción lo que nos ha permitido clasificarlas en distintos grupos para un posterior estudio del esquema que las pueda realizar de manera óptima.

Autor: JOVE BOIX FRANCISCO JAVIER.
Año: 1998.
Universidad: RAMON LLULL.
Centro de lectura: INGENIERIA ELECTRONICA E INFORMATICA .
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIERIA ELECTRONICA E INFORMATICA LA SALLE.

Resumen: El trabajo presentado se enmarca dentro del ambito de la vision Artificial. Un proceso comun a la mayoria de sistemas de vision artificial es la segmentacion, bloque de procesado de la imagen donde es fraccionada en entidades homogeneas o regiones. La segmentacion mediante colas de prioridad partiendo de un marcador para cada una de las regiones existentes en la imagen es una tecnica suficientemente conocida: el watershed. A pesar de ser uno de los mejores algoritmos de segmentacion si se conocen los marcadores, su punto debil esta precisamente en obtener los marcadores de todas y cada una de las regiones de la imagen. Este es un proceso a priori, donde, a pesar del amplio conjunto de algoritmos existentes, es siempre para aplicaciones muy concretas; ya que necesitan conocimientos adicionales para poder realizar el proceso adecuadamente. Para imágenes de caracteristicas concretas es factible extraer todos los marcadores de la imagen y, entonces, obtener una segmentacion optima utilizando el watershed. El problema esta en abrir el campo de imágenes y necesitar un proceso de extraccion de marcadores mas generico. Nosotros hemos propuesto un algoritmo de segmentacion donde la extraccion de los marcadores se realizade forma dinamica. Las ventajas son esencialmente, dos: 1-tan solo se extraera un marcador si es necesario de acuerdo con la informacion disponible de la imagen hasta el momento, 2-la estraccion de los marcadores se realizara de forma optima de acuerdo con la informacion disponible de la imagen, no sera un proceso a priori donde es necesario disponer de informaciones adicionales sobre el tipo de imágenes a segmentar. La habilidad de nuestro algoritmo esta en utilizar toda la informacion disponible de forma optima para determinar dinamicamente cual es la opcion mas adecuada. Crecer una region de entre las existentes o iniciar una nueva. El buen funcionamiento del algoritmo de segmentaciion en imágenes genericas nos ha llevado a probarla, con igual éxito, en aplicaciones de tele-deteccion, utilizando tecnicas de logica difusa. Hemos de añadir que se han implementado diversas variantes del algoritmo, comprobando su facil adaptacion gracias al concepto generico con que ha sido pensado, sin introducir ninguna restriccion en el planteamiento.

Autor: MARCO GOMEZ CHRISTIAN .
Año: 1996.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INGENIEROS DE TELECOMUNICACION.
Centro de realización: DEPARTAMENTO: MATEMATICA APLICADA I TELEMATICA PROGRAMA DE DOCTORADO: MATEMATICA DISCRETA I TELEMATICA.

Resumen: EN ESTA TESIS SE EMPIEZA ESTUDIANDO QUE TIPO DE CURVAS ELIPTICAS SON UTILIES PARA LOS CRIPTOSISTEMAS BASADOS EN EL LOGARITMO DISCRETO, CUANDO SE TOMA COMO GRUPO FINITO EL CONJUNTO DE PUNTOS DE LA CURVA ELIPTICA EN LA OPERACION DENOMINADA SUMA ELIPTICA. EN PRIMER LUGAR SE ANALIZAN LAS CARACTERISTICAS QUE DEBE TENER UNA CURVA ELIPTICA CRIPTOGRAFICAMENTE UTIL Y LUEGO SE CONSTRUYEN VARIAS FAMILIAS DE CURVAS ELIPTICAS ADECUADAS. EL SEGUNDO ESTUDIO QUE SE REALIZA ES EL DISEÑO DE ALGORITMOS CRIPTOGRAFICOS VERSATILES BASADOS TAMBIEN EN EL LOGARITMO DISCRETO. SE PROPONEN NUEVOS ALGORITMOS TANTO DE CIFRADO COMO DE FIRMA, SE COMPARAN CON LOS YA EXISTENTES Y SE MUESTRAN LAS BUENAS PRESTACIONES QUE POSEEN NUESTROS ALGORITMOS, DE LOS PARAMETROS QUE SUELEN CONSIDERARSE RELEVANTES. FINALMENTE EN LA TESIS SE PROPONEN ALGORITMOS DE OPTIMIZACION PARA REDUCCION MODULAR Y EXPONENCIACION MODULAR, SE ESTUDIAN LOS TIEMPOS DE EJECUCION DE TALES ALGORITMOS Y SE OBSERVA QUE SE OBTIENE UNA MEJORA MUY CONSIDERABLE FRENTE A LOS ALGORITMOS EXISTENTES. TODOS LOS ALGORITMOS QUE SE PROPONEN EN LA TESIS HAN SIDO PROGRAMADOS EN C++.

Autor: CABALLERO GIL PINO.
Año: 1995.
Universidad: LA LAGUNA.
Centro de lectura: MATEMATICAS.
Centro de realización: DEPARTAMENTO: ESTADISTICA, INVESTIGACION OPERATIVA Y COMPUTACION PROGRAMA DE DOCTORADO: ESTADISTICA E INVESTIGACION OPERATIVA (90-92).

Resumen: LA MEMORIA ESTA DEDICADA AL ESTUDIO DE LA COMPLEJIDAD LINEAL DE SECUENCIAS BINARIAS GENERADAS PARA SU APLICACION CRIPTOGRAFICA. LA MAYORIA DE LOS AUTORES QUE HAN ABORDADO ESTE TEMA SE LIMITAN A DEFINIR FAMILIAS MUY ESPECIFICAS DE FILTRADOS NO LINEALES PARA LOS QUE SE PUEDE ACOTAR LA COMPLEJIDAD LINEAL DE SUS CORRESPONDIENTES SECUENCIAS GENERADAS. AQUI SE INTRODUCE UNA NUEVA LINEA ORIGINAL Y DISTINTA QUE PERMITE ESTUDIAR EL PROBLEMA DE LA COMPLEJIDAD LINEAL PARA UN RANGO AMPLIO Y GENERAL DE FILTRADOS NO LINEALES. ES SIGNIFICATIVA LA INTRODUCCION DE NUEVOS CONCEPTOS QUE PERMITEN DETERMINAR COTAS INFERIORES Y SUPERIORES AL VALOR DE LA COMPLEJIDAD LINEAL. SEÑALO EL TEOREMA 2.1 COMO LA CONTRIBUCION MAS SOBRESALIENTE DE ESTA MEMORIA, NO SOLO POR SER EL PUNTO DE PARTIDA DE LOS RESTANTES RESULTADOS QUE AQUI SE PRESENTAN SINO TAMBIEN POR EL RANGO DE APLICABILIDAD QUE DICHO TEOREMA TIENE EN EL CAMPO DE LOS GENERADORES NO LINEALES DE SECUENCIA BINARIA. TAMBIEN ES RELEVANTE EL DISEÑO DE DOS ALGORITMOS PARA EL CALCULO DE LA COMPLEJIDAD LINEAL QUE OFRECEN COTAS NUMERICAS IMPORTANTES. SE DAN ASIMISMO PROCEDIMIENTOS ALTERNATIVOS A ESTE CALCULO QUE PONEN DE MANIFIESTO LA GRAN VARIEDAD DE HERRAMIENTAS DISPONIBLES Y LA DIFICULTAD QUE ESTE PROBLEMA ENTRAÑA.

Autor: ORTEGA JUNCUAS SERAFIN.
Año: 1995.
Universidad: VALLADOLID.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ALGEBRA, GEOMETRIA Y TOPOLOGIA PROGRAMA DE DOCTORADO: MATEMATICAS.

Resumen: HEMOS INTRODUCIDO EL CONCEPTO DE CUASIPRIMALIDAD, ESTUDIADO Y OBTENIDO UNA CONDICION NECESARIA Y SUFICIENTE DE CUASIPRIMALIDAD PARA LAS 5 CURVAS ELIPTICAS (RESPECT.8) SOBRE F2 (RESPECT. F3). COMO RESULTADO SE DEDUCE QUE LAS 5 CURVAS ELIPTICAS BINARIAS (RESPECT. 8 SOBRE F3), SON CANDIDATOS POTENCIALES A CURVAS ELIPTICAS CUASIPRIMAS SOBRE F2R (RESPECT. F3R), R N, R PRIMO Y EN CONSECUENCIA A CURVAS ELIPTICAS CRIPTOGRAFICAMENTE UTILES. VERIFICAR QUE C=NR/N1, ES PRIMO MEDIANTE ALGUN TEST DE PRIMALIDAD. UTIL AUN EN EL CASO SI C TIENE UN FACTOR PRIMO GRANDE. SE HA HECHO LA PROPUESTA DE USAR CODIGOS ELIPTICOS (EN PARTICULAR LOS DERIVADOS DE LAS CURVAS ANTERIORES, EN EL SISTEMA CRIPTOGRAFICO DE MCELIECE QUE LLAMAMOS: SISTEMA ELIPTICO DE MCELIECE. HEMOS EFECTUADO ANALISIS COMPARATIVOS CRIPTOANALITICOS: A) PARA EL ALGORITMO DE ADAMS-MEIJER; B) PARA EL ALGORITMO DE LEE-BRICKELL. OBTENIENDO COMO CONCLUSION: A IGUALES PARAMETROS N Y K, N=Q ELEVADA A M, C'=CAPACIDAD CORRECTORA DE C(E,D,G), EL FACTOR TRABAJO DEL PRIMER SISTEMA ES MENOR QUE EN EL SEGUNDO, (SIEMPRE QUE M 5, C' 1; (M 4,C' 1, CASO M.D.S.), EN BINARIO Y M 2,C' 1, EN NO BINARIO. POR TANTO SE OBTIENE UNA MAYOR SEGURIDAD O DISMINUCION DE DICHOS PARAMETROS CON EL MISMO NIVEL DE SEGURIDAD.

Autor: LUQUE RUIZ IRENE.
Año: 1994.
Universidad: GRANADA.
Centro de lectura: INFORMATICA .
Centro de realización: DEPARTAMENTO: CIENCIAS DE LA COMPUTACION E INTELIGENCIA ARTIFICIAL PROGRAMA DE DOCTORADO: TRATAMIENTO DE LA INFORMACION EN INTELIGENCIA ARTIFICIAL.

Resumen: EL TRABAJO DE INVESTIGACION HA TENIDO COMO OBJETIVO EL DISEÑO Y CONSTRUCCION DE UN NUCLEO COMPUTACIONAL SOBRE EL QUE SE APOYARIA CUALQUIER SISTEMA QUE TRATARA CONOCIMIENTO ACERCA DE LAS ESPECIES INORGANICAS.SE HA DESARROLLADO UN SISTEMA DE RECONOCIMIENTO DE LOS NOMBRES DE LAS SUSTANCIAS INORGANICAS EXPRESADOS EN LAS NOMENCLATURAS IUPAC, STOCK Y CONVENCIONAL, LOS CUALES SE HAN TRADUCIDO A UNA ESTRUCTURA DE DATOS ABSTRACTA CAPAZ DE REPRESENTAR EL CONOCIMIENTO CORRESPONDIENTE A ESTAS ESPECIES QUIMICAS. EL SISTEMA TRADUCTOR CUENTA CON UN SUBSISTEMA ENCARGADO DE LA REPARACION DE LOS ERRORES LEXICOS DETECTADOS. ESTE SUBSISTEMA INFORMA DE LAS CAUSAS DE LOS ERRORES Y APORTA UN CONJUNTO DE CADENAS REPARADORAS OBTENIDAS EN BASE AL USO DE UN MODELO PROPUESTO PARA EL CALCULO DE LA SIMILARIDAD DE CADENAS.

Autor: PUJOL BURILLO MANUEL.
Año: 1994.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: INSTITUT DE CIENCIES DE L'EDUCACIO PROGRAMA DE DOCTORADO: FORMALITZACIO DEL LLENGUATGE NATURAL.

Resumen: EN ESTA TESIS SE PROPONE UN SISTEMA INFORMATICO QUE GENERA ALTERNATIVAS DE CORRECCION ORTOGRAFICA A UNA CADENA TEXTUAL. EN PRIMER LUGAR SE REPASAN LAS TECNICAS DE CORRESPONDENCIA APROXIMADA DE CADENAS TEXTUALES QUE SE HAN USADO HASTA EL MOMENTO ACTUAL, APLICANDOSE UN CONTRASTE ESTADISTICO PARA DECIDIR LAS QUE SON MAS EFICACES. EN LA SIGUIENTE FASE SE RESUMEN LAS BASES TEORICAS DE DICHAS TECNICAS. A CONTINUACION SE ESTUDIA UN CORPUS TEXTUAL DEL QUE SE EXTRAEN DATOS NUMERICOS QUE CUANTIFICAN LAS PAUTAS DE GENERACION DE ERRORES. A PARTIR DE ELLO SE PROPONE UN CONJUNTO DE PRESTACIONES QUE HA DE SATISFACER UN CORRECTOR AUTOMATICO DE ERRORES. EN BASE AL CORPUS Y DE LAS CONVENCIONES ORTOGRAFICAS CATALANAS SE PROPONE UN ALFABETO REDUCIDO QUE PERMITE CODIFICAR INEQUIVOCAMENTE LAS PALABRAS CATALANAS. PARTIENDO DE LA TEORIA DE LA INFORMACION Y DE LOS SUBCONJUNTOS BORROSOS SE COMPLETA UN SISTEMA DE CODIFICACION BORROSA QUE OFRECE MAYOR FLEXIBILIDAD QUE LOS CLASICOS. FINALMENTE, LAS ALTERNATIVAS DE CORRECCION SE CONFRONTAN CON UNA PARTICION ADECUADA DE LA BASE DE DATOS LEXICA CON QUE SE QUIERA TRABAJAR, A FIN DE OFRECER UN CONJUNTO DE CORRECCIONES ORDENADAS SEGUN UNA PROBABILIDAD DECRECIENTE.

Autor: PUJOL CAPDEVILA JAUME.
Año: 1994.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: INFORMATICA PROGRAMA DE DOCTORADO: GRAFICOS, IMAGENES DIGITALES E INTELIGENCIA ARTIFICIAL.

Resumen: LA MAYORIA DE LOS CODIGOS UTILIZADOS EN LA DETECCION Y CORRECCION DE ERRORES DE TRANSMISION SON SUBESPACIOS VECTORIALES DEL ESPACIO FQN. EN EL CASO BINARIO (Q=2) SE CONOCEN GRAN VARIEDAD DE CODIGOS NO LINEALES PERO CON INTERESANTES PROPIEDADES EN ESTA TESIS SE ESTUDIAN UNA CLASE DE ELLOS: CODIGOS PROPELINEALES (INTRODUCIDOS POR J. RIFA) QUE INCLUYEN LOS LINEALES Y Z4- LINEALES, ENTRE OTROS ENTRE TODOS ELLOS SON ESPECIALMENTE IMPORTANTES LOS CODIGOS PROPELINEALES INVARIANTES POR TRANSLACIONES YA QUE CONSERVAN LA DISTANCIA DE HAMMING. DICHOS CODIGOS SON CLASSIFICADOS Y SE DEMUESTRA QUE TIENEN UNA ESTRUCTURA ALGEBRAICA DEL TIPO Z2A O Z4B O Q8C. ADEMAS SE PROPONEN NUEVAS FAMILIAS DE CODIGOS NO LINEALES (CON LAS MISMAS PROPIEDADES QUE LOS CODIGOS DE HAMMING Y LOS DE REED-MULLER) Y SE ESTUDIAN ALGUNAS FAMILIAS DE CODIGOS NO LINEALES CLASICOS: PREPARATA, GOETHALS,.. FINALMENTE SE CLASIFICAN CIERTAS PARTICIONES REGULARES GENERADAS A PARTIR DE CODIGOS L-PERFECTOS. SE INTRODUCEN LAS PARTICIONES L-PERFECTAS Y SE DEMUESTRA EN QUE CONDICIONES UNA PARTICION L-PERFECTA ESTA GENERADA POR UN CODIGO PROLINEAL L-PERFECTO INVARIANTE POR TRANSLACIONES

Autor: SANCHEZ CALLE VICTORIA EUGENIA.
Año: 1994.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: ELECTRONICA Y TECNOLOGIA DE COMPUTADORES PROGRAMA DE DOCTORADO: NUEVAS PERSPECTIVAS EN MICROELECTRONICA Y TECNOLOGIA DE COMPUTADORES.

Resumen: EL OBJETIVO DE ESTA TESIS ES DESARROLLAR ALGORITMOS ALTERNATIVOS DE CODIFICACION PARA LA SEÑAL DE VOZ EN BANDA ANCHA QUE INTRODUZCAN UN BAJO RETARDO DE CODIFICACION. PARA ELLO SE HA EXPLORADO TANTO EL DOMINIO DEL TIEMPO COMO EL DE LA TRANSFORMADA, PROPONIENDOSE DOS NUEVAS TECNICAS DE CODIFICACION EN CADA DOMINIO DENOMINADAS MULTIPULSO ALGEBRAICO Y CUANTIZACION TRELLIS CODED CON TRANSFORMADA, RESPECTIVAMENTE. TAMBIEN SE HA REALIZADO UN ESTUDIO SOBRE LAS PROPIEDADES DE DIAGONALIZACION DE LOS OCHO TIPOS DE TRANSFORMADAS DISCRETAS DEL COSENO (DCTS) QUE EXISTEN. EN ESTE ESTUDIO SE HA ESTABLECIDO POR PRIMERA VEZ QUE LOS OCHO TIPOS DE DCTS SE PUEDEN OBTENER COMO EL CONJUNTO ORTONORMAL COMPLETO DE AUTOVECTORES GENERADOS POR UNA FORMA GENERAL DE MATRICES SIMETRICAS QUE PUEDEN DESCOMPONERSE COMO LA SUMA DE UNA MATRIZ TOEPLITZ SIMETRICA MAS UNA MATRIZ HANKEL, O PROXIMA A HANKEL, ESCALADAS POR CIERTOS FACTORES CONSTANTES.