INFORMATICA, 7

Autor: GIL TOMÁS DANIEL.
Año: 1999.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: UNIVERSIDAD POLITECNICA DE VALENCIA.

Resumen: La presente tesis aborda el problema de la Validación experimental de Sistemas Tolerantes a Fallos basados en la Inyección de Fallos sobre modelos VHDL. En primer lugar se ha realizado un estudio del estado del arte de la inyección de fallos en sistemas de computadores, resaltando las técnicas más utilizadas, sus características principales y algunas herramientas diseñadas para llevarlas a término. Se hace especial hincapié en la inyección mediante simulación. Se ha generado un conjunto de modelos de fallos para ser implementados con el lenguaje VHDL en el proceso de inyección. Se ha trabajado en dos grupos de niveles de abstracción: el nivel lógico/RTL y el nivel algorítmico. El primero abarca las descripciones estructurales del lenguaje VHDL, mientras que el segundo está relacionado con las descripciones comportamentales. Se ha aplicado una metodología bottom-up en la generación de los modelos, partiendo del estudio del conocimiento del mecanismo físico que origina el fallo y viendo los efectos en los sucesivos nievles de abstracción. Se estudian modelos tanto para fallos permanentes como para transitorios, haciendo especial énfasis en la tecnología CMOS. Se ha mostrado las buenas relaciones que es posible establecer entre el lenguaje VHDL y la técnica de inyección de fallos en simulación. En la primera parte se presentan brevemente las características generales del lenguaje VHDL, subrayando algunos aspectos de interés del mismo. En una segunda parte se describen varios mecanismos de inyección de fallos susceptibles de ser implementados en los modelos VHDL. Se desarrolla con detalle la implementación de estas técnicas, describiendo tanto las arquitecturas estructurales como las comportamentales de los componentes inyectores. Por último se efectúa un análisis comparativo de las distintas técnicas de inyección planteadas, resaltando sus ventajas e inconvenientes. Se ha diseñado también una herramienta de inyección que tiene por objeto aplicar en forma automática las técnicas de inyección sobre un modelo VHDL de un sistema dado. La herramienta está preparada para inyectar fallos en modelos VHDL descritos en el nivel de chip, incluyendo el nivel de puerta lógica, el nivel de registro y también el nivel algorítmico en las descripciones comportamentales. La herramienta funciona en PC para Windows, y el diseño ha sido realizado alrededor de un simulador comercial. Por último se ha efectuado la validación experimental de un sistema microcomputador tolerante a fallos mediante inyección de fallos mediante inyección de fallos en el modelo VHDL. Las campañas de inyección se han desarrollado en 2 fases. En la primera fase se estudia el síndrome de errores del sistema microcomputador no tolerante a fallos. Se extraen resultados sobre el porcentaje de errores producidos, su latencia de propagación y su clasificación. En la segunda fase se introducen los mecanismos de detección y tolerancia a fallos y se realiza la validación propiamente dicha. Se extraen los parámetros de la Garantía de Funcionamiento. Básicamente consisten en las coberturas y latencias de propagación, detección y recuperación

Autor: PRIETO CAMPOS BEATRIZ.
Año: 1999.
Universidad: GRANADA.
Centro de lectura: CIENCIAS.

Resumen: El problema de separación ciega de fuentes consiste en la obtención de las señales generadas por p fuentes a partir de las mezclas detectadas por q sensores, conociendo tan sólo estas últimas. La mezcla de señales tiene lugar en el medio en que se propagan y en los sensores. Los trabajos presentados hasta ahora para resolver el problema de la separación ciega de fuentes se pueden encuadrar dentro de uno de dos enfoques: estadístico o geométrico. El presente trabajo pretende contribuir al desarrollo de algoritmos de separación de señales siguiendo este último enfoque, y se ha realizado tratando de cubrir los siguientes objetivos: (1) Presentar de forma completa y compacta los fundamentos teóricos de losmétodos de separación ciega de fuentes basados en propiedades geométricas; (2) concebir e implementar un entorno de simulación para desarrollar y probar algoritmos de separación ciega de señales; y (3) desarrollar nuevos algoritmos geométricos de separación, fáciles de comprender e implementar, con tiempos de convergencia adecuados, y que además puedan superar algunas de las limitaciones que presentan los basados en principios de naturaleza estadística.#

Autor: MIRAS CALVO MIGUEL ANGEL.
Año: 1999.
Universidad: VIGO.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.
Centro de realización: FACULTAD DE CIENCIAS ECONOMICAS Y EMPRESARIALES.

Resumen: La presente memoria se divide en tres capitulos: En el primero de ellos y abundando en la creciente literatura dedicada a la medición de los niveles de eficiencia e integración de los mercados financieros, se definen medidas del nivel de oportunidades de arbitraje. Se extienden las medidas de arbitraje de Balbas-Muños y la medida de integración fuerte de Chen-Knez al caso de un modelo de un único periodo en el que hay horquilla de precios. Las medidas de arbitraje propuestas indican si hay arbitraje en el mercado y, en caso afirmativo, dan una idea precisa de cuanto dinero se puede ganar y de cómo hay que invertir para hacerlo. Además, proporcionan una interesante herramienta para el estudio del efecto de los costes de transacción en el mercado. Desde el punto de vista matemático, se emplean tecnicas de optimización lineal y convexa en dimensión infinita. Ya en el Capitulo 2 y para un modelo de un mercado financiero en tiempo discreto finito, el teorema fundamental de la valoración de activos afirma que la ausencia de arbitraje equivale a la existencia de una medida de probabilidad, equivalente a la probabilidad base, con respecto a la cual el sistema de precios es una martingala. En el caso infinito numerable, esta propiedad esencial deja de ser válida. Precisamente, el resultado principal de este capítulo es una caracterización de la ausencia de arbitraje, en el caso infinito numerable, a través de la existencia de una medida de martingala en un espacio adecuado. Las herramientas matemáticas que se emplean son: la teoria de los sistemas proyectivos de espacios topológicos y la teoría de los sistemas proyectivos de medidas de Radon. En el capitulo 3 se retoma el problema de definir medidas del nivel de oportunidades de arbitraje. El interés del capitulo reside en presentar medias de arbitraje dinamicas. Se estudian dos medidas numericas y dos medidas estocásticas del nivel de arbitraje en un mercado en tiempo discreto finito. Estas medidas dinámicas, definidas a partir de diversos programas de optimización, escolares y vectoriales, en dimensión infinita, extienden las ya conocidas en los modelos estáticos.

Autor: FAEIXENET BOSCH JORDI.
Año: 1999.
Universidad: GIRONA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: EPS. V D G.

Resumen: Esta tesis presenta un nuevo metodo de descripcion de escenas exteriores basado en una estrategia "top-down". La estrategia consiste en un conjunto de procesos distribuidos compuestos por diversos procesos de segmentacion que se encargan del reconocimiento de los objetos de interes, y un proceso coordinador encargado de controlar la segmentacion. El sistema que se propone incluye un metodo de aprendizaje que permite generar modelos especialmente diseñados para soportar la gran variabilidad de apariencia que tienen los objetos de las escenas exteriores debido a las diferentes condiciones meteorologicas y luminosas que las afectan. Los resultados de describir imágenes exteriores en diferentes epocas del año y diferentes condiciones meteorologicas avalan nuestra propuesta.

Autor: MARTIN GARZÓN GRACIA ESTHER.
Año: 1999.
Universidad: ALMERIA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: ESCUELA POLITECNICA SUPERIOR.

Resumen: Se propone una implementación paralela de una estrategia de tipo directo para determinar los autovalores y autovectores de uan matriz, A, simétrica. Se supone que A es de tipo disperso y de gran dimensión. La solución de este problema se descompone en las fases que siguen: 1,- FASE DE ESTRUCTURACIÓN DE LA MATRIZ DE ENTRADA. Se establece la descomposición matricial A=QTQt, donde T es tridiagonal y Q es ortonormal. Para llevar a cabo esta fase, se ha desarrollado la implantación paralela del Método de Lanczos basada en la descomposición en dominios de los datos de entrada. Debido a que los datos de entrada son irregulares se ha diseñado una etapa de preprocesamiento denominada Pivoting-Block que es poco costosa y garantiza que la computación esté equilibrada. 2,- SOLUCIÓN DEL PROBLEMA DE AUTOVALORES Y AUTOVECTORES DE LA MATRIZ ESTRUCTURADA, T. En esta fase se generan los autovalores de T, (T = MDMt). Se han implementado dos métodos alternativos para llevar a cabo esta fase: el Método de la Bisección y el Método de Cuppen de tipo Divide y Vencerás.La implementación paralela de estos métodos se ha basado en una descomposicion en dominios de los datos de entrada y de salida. 3,- DETERMINACIÓN DE LOS AUTOVECTORES DE LA MATRIZ DE ENTRADA, G. Para la determinación de las columnas de G, se efectúa el producto G = QM.La paralelización de esta fse se basa en la descomposición en dominios establecida por los resutlados de las etapas previas. Las implementaciones paralelas han sido evaluadas a través de medidas obtenidas en un sistema multiprocesador Gray T3E con 32 nodos,utilizando como interface paraleleo PVM. En esta evaluación se han analizado un conjunto de parámetros que permiten analizar e identificar los procesos o mecanismos que afectan al rendimiento del sistema multiprocesador.

Autor: URBANO SALIDO CRISTÓBAL.
Año: 1999.
Universidad: BARCELONA.
Centro de lectura: PEDAGOGÍA.
Centro de realización: PEDAGOGÍA.

Resumen: Contribución al análisis de las técnicas bibliométricas aplicadas a los estudios de uso de información en el ámbito de las bibliotecas universitarias. Dentro del amplio campo de las técnicas bibliométricas, se ha elegido como tema de estudio el análisis de citas aplicado a publicaciones generadas por los usuarios de bibliotecas. Se ha realizado un estudio teórico de la cuestión y una posterior aplicación práctica de las técnicas analizadas para determinar el uso de información de los doctorados en informática por la Universitat Politécncia de Catalunya UPC entre 1996 y 1998. El trabajo experimental se ha desarrollado a partir de de tesis doctorales del Departamento de Arquitectura de Computadores y del Departamento de Lenguajes y Sistemas Informáticos. Tras tratar estadísticamente 54 tesis y 6.807 referencias bibligráficas se han obtenido diversos indicadores bibliométricos de la bibliografía citada y se ha procedido al contraste con los datos ISI Journal citation report, con el catálogo de la biblioteca, con estadísticas de uso de la biblioteca, y con la bibliografía sobre estudios bibliométricos del área de ciencias de la computación. Los resultados obtenidos ofrecen una imagen detallada del consumo de información del colectivo estudiado que permite tanto el análisis de la colección de la biblioteca, como la caracterización de la investigación realizada en los departamentos estudiados. Se concluye la utilidad de los estudios basados en análisis de citas de enfoque local, ya que se trata de un método eficiente para determinar el uso de información, especialmente teniendo en consideración que los métodos alternativos utilizados en la medición del uso de colecciones están excesivamente limitados por la condición del acceso físico.Esta situación, gracias al rápido abance de la edición electrónica, se verá modificada en un breve plazo de tiempo, por lo que conocer qué usan realmente los investigadores de una determinada área de conocimiento en una universidad puede ser un dato de gran interés en el proceso de volver a definir las políticas de adquisiciones a la vista del nuevo entorno digital.

Autor: GONZALEZ PEREZ CESAR.
Año: 1999.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: GEOGRAFIA E HISTORIA.

Resumen: Esta tesis presenta una propuesta teórica, metodológica y tecnológica para el diseño y construcción de sistemas de información aplicados a la gestión de recursos culturales. En concreto, se introduce el tema con una parte descriptiva y crítica acerca del estado actual de la cuestión, en la cual se describe cuál es el uso que hoy en día se hace de los sistemas de información en el ámbito de los recursos culturales, se critica tal situación, y se plantean problemas y cuestiones acerca de cómo mejorar dicho estado actual. Seguidamente se realiza una propuesta teórico-metodológica para resolver los problemas anteriormente planteados. Esta propuesta incluye fundamentaciones teóricas, pertenecientes tanto al dominio de los recursos culturales como al dominio informático, así como directrices metodológicas que puedan posibilitar la resolución de dichos problemas. Las primeras se centran en el uso del concepto de representación para la definición de sistemas de información, mientras que en la segunda se desarrolla toda una metodología de trabajo integral basada en el paradigma orientado a objetos. A continuación se elaboran diferentes propuestas tecnológicas específicas, centradas en distintos aspectos, desde la arquitectura de aplicaciones hasta la gestión documental y el versionado, pasando por la utilización de modelos cartográficos del paisaje y el adecuado empleo de metainformación en las bases de datos. Posteriormente se ofrece una descripción exhaustiva de un producto concreto, el SIA+, mostrando en qué aspectos se ajusta éste a la propuesta teórico-metodológica de las partes anteriores, y en qué aspectos diverge. Finalmente, se elaboran unas conclusiones acerca de la posibilidad de diseñar y construir sistemas de información para recursos culturales utilizando la propuesta explicada.

Autor: LOPES DE OLIVEIRA WILLIAM.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACION .

Resumen: El cumplimiento de los requisitos de calidad es fundamental para el éxito de cualquier producto comercial, incluido el software. La definición de la arquitectura del software es una de las primeras y más importantes decisiones a tomar en el proceso de desarrollo, con una gran influencia sobre la calidad final del producto o sistema y por tanto, su evaluación debe ser hecha lo antes posible. La arquitectura del software se encuentra bastante avanzada en su proceso de formalización y en el desarrollo del soporte metodológico para su construcción, y es oportuno iniciar también la formalización y el desarrollo del soporte necesario para su evaluación, así podrá ser utilizada de manera controlada y científica, aportando los beneficios que se plantean con su utilización en el proceso de desarrollo del software. Esta tesis demuestra la viabilidad de esta iniciativa aportando el soporte conceptual y operacional para ello.

Autor: JIMENEZ CASTELLS MARTA.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: RUIZ SEPULVEDA AMPARO.
Año: 1998.
Universidad: MALAGA.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.

Resumen: En el presente trabajo, tras un análisis del estado del arte en redes neuronales artificiales y problemas de, Optimización, proponemos la utilización del paradigma de computación neuronal para ellos, construyendo una metodología que permite, eficientemente, la resolución de distintos problemas de toma de decisiones basados en optimización. Analizamos, también, los distintos requisitos que es preciso considerar en las Intranet corporativas, con el objetivo de proponer una solución integral que los resuelva e incorpore las nuevas tendencias de computación distribuida. Una vez establecidas las consideraciones previas de implementación, procedemos a definir los algoritmos en los que se traduce nuestra metodología, específicamente para los problemas combinatorios y elegimos el problema del viajante de negocios para comparar los resultados obtenidos con las incluidas en las publicaciones más relevantes y de referencia actual. Definimos un algoritmo con recorrido inicial válido que permite concluir que obtiene no solo mejores resultados, sino también con menos iteraciones. Para mejorar los problemas de grandes dimensiones, estudiamos y proponemos una estrategia de escape de mínimos locales que obtiene, como antes, mejores resultados que los obtenidos por Peng et alt. y Li. Por último, se establece un mecanismo de comparación que permite identificar las características más relevantes de los distintos algoritmos de combinatorios, definiendo numerosas líneas abiertas de investigación y mejora de la metodología propuesta.

Autor: MARICHAL PLASENCIA GRACILIANO NICOLAS.
Año: 1998.
Universidad: LA LAGUNA.
Centro de lectura: CENTRO SUPERIOR DE INFORMATICA.

Resumen: Este trabajo de investigación se enmarca dentro del campo de la Robótica. En él proponemos una red neuronal dinámica con el objeto de determinar la dinámica de un robot manipulador, obviando el uso de técnicas clásicas, dada la alta carga computacional y dado que dan un modelo nominal. Se han introducido diferentes modificaciones en la red Neuronal dinámica inicialmente propuesta. Se muestran varios resultados en donde se confirma la bondad de la red neuronal dinámica propuesta. En un afán por simplificar esta red se introduce dependencia de unas neuronas respecto a otras de la misma capa. Esta nueva red nos lleva a una red de 2 capas con un número de neuronas inferior a la de la red neuronal inicialmente propuesta. Se ha aplicado esta red al problema de determinar la dinámica inversa de un robot PUMA. Por otro lado, se ha abordado el problema de la cinemática inversa. Se han aplicado las Redes Neuronales estáticas como primera forma de afrontarlo obteniendo resultados sobre algunos ejemplos. Como estrategia alternativa se ha estudiado el entrenamiento de las Redes Neuronales Estáticas mediante algoritmos genéticos. Se ha estudiado el problema del control de los manipuladores introduciendo un esquema basado en Redes Neuronales Estáticas y Redes Neuronales Dinámicas. Por último se ha abordado el problema del control de robtos móviles. Se ha utilizado una estrategia Neuro Fuzzy que nos ha permitido extraer de forma automática las reglas Fuzzy y funciones de Pertenencia, todo ello a partir de la información suministrada por un operador. La efectividad de esta técnica se ilustra a través de varias simulaciones y varios resultados obtenidos de forma experimental.

Autor: FORTES GALVEZ JOSE.
Año: 1998.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMATICA.

Resumen: Desde la invención por Donald Knuth del análisis sintáctico LR(k) -el método práctico más potente que permite analizar el texto de entrada conforme va siendo leído-, un gran esfuerzo investigador se ha concentrado en desarrollar técnicas eficientes para abordar el problema del tamaño cuando K 1, que sin embargo no han sido consideradas suficientemente satisfactorias en la práctica, donde está firmemente establecido el más sencillo pero menos potente método LALR(1). Esta tesis afirma que esta situación no es enteramente satisfactoria para la generación de analizadores para lenguajes de programación, y propone un enfoque nuevo discriminante inverso al análisis LR(k) completo, mediante la construcción de un autómata de estados finitos que explore el sufijo mínimo de la pila desde su cima para discriminar cada acción de análisis ascendente, cuya corrección y linealidad de tiempo de análisis se demuestran aquí formalmente. El método ha sido implementadoy evaluado para gramáticas prácticas, resultando en analizadores con potencia LR(1) completa considerablemente menores que los analizadores producidos por generadores basados en LALR(1), tales como yacc, y en un despreciable coste de exploración de la pila. Elloha sido posible porque los analizadores clásicos directos construyen un reconocedor para el lenguaje completo desde la base a la cima de pilas más ventanas de prelectura, mientras que el analizador discriminante inverso utiliza típicamente unos pocos sómbolos de la cima de la pila más la ventana, donde se concentra la mayor parte de la información para el análisis, lo que era evidente para los primeros diseñadores de analizadores de precedencia.#

Autor: HUERTA GUIJARRO JOAQUIN.
Año: 1998.
Universidad: JAUME I DE CASTELLON.
Centro de lectura: TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: La presente tesis desarrolla un modelo multirresolución basado en técnicas de particionamiento espacial, concretamente basado en árboles binarios de particionamiento espacial (árboles BSP). Mediante este tipo de modelos se acelera la visualización de entornos tridimensionales complejos. Para ello se adapta la cantidad de detalle que se utiliza para la visualización a la distancia desde la que se esta observando cada objeto. Cuando la distancia sea grande se utiliza una representación muy simplificada puesto que en cualquier caso, los detalles no se apreciarían desde dicha distancia. Cuando el modelo esta cerca se utiliza una representación que contenga todos los detalles para que no se produzcan perdidas en la calidad de la visualización. Mediante el modelo multirresolución desarrollado se pueden obtener multitud de representaciones con distintas resolución. Para almacenar estas representaciones se utiliza un árbol BSP. El uso de este tipo de estructura proporciona una preclasificación del orden de visualización de los polígonos del modelo. Esta ordenación permite acelarar la visualización ya que, independientemente del punto de vista, no es necesaria ninguna operación adicional para calcular la visibilidad de una escena.#

Autor: GALVEZ GALVEZ JUAN FRANCISCO.
Año: 1998.
Universidad: VIGO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: E.S. DE INGENIEROS INDUSTRIALES.

Resumen: Un problema muy interesante en Inteligencia Artificial es la clasificación de información imprecisa. Distintos autores han estudiado este problema y han desarrollado teorias para solucionarlo. Una de las teorias que más éxito ha tenido es la de Conjuntos Aproximados, desarrollada por Z.Pawlak. Esta teoria asume que el conocimiento esta constituido por bloques basicos, y su finalidad es la de clasificar información. El problema es que no permite la generación de reglas de decisión con un error asociado (incertidumbre). Como una extensión de esta teoria W. Ziarko desarrolló el modelo de Conjuntos Aproximados con Precisión Variable, que permite su aplicación a problemas no deterministas. Partiendo de los estudios de W. Ziardo, esta tesis propone un modelo que permite reducir un sistema causal. Para ello, se redifinen los conceptos necesarios del modelo de Conjuntos Aproximados de Pawlak, permitiendo la introducción de incertidumbre tanto a nivel de bloques constitutivos del conocimiento, como a nivel de clasificación. Así, se consigue la generación de reglas de decisión más fuertes, en el sentido de que, clasifican más objetos y hay menos atributos como antecedentes. Al modelo resultante se le ha denominado Modelo de Conjuntos Aproximados con Incertidumbre(CAI).

Autor: GONZALEZ RODRIGUEZ OSCAR M..
Año: 1997.
Universidad: VALLADOLID.
Centro de lectura: CIENCIAS .
Centro de realización: DEPARTAMENTO: INFORMATICA (ATC, CCIA Y LSI). PROGRAMA DE DOCTORADO: TECNOLOGIAS DE LA INFORMACION.

Resumen: En esta Tesis se presenta un nuevo sistema basado en lápiz electrónico para la enseñanza de la composición escrita de forma colaborativa. El objetivo del sistema es mejorar el proceso de aprendizaje y enseñanza de la composición. El sistema aprovecha la interacción natural y sencilla que se da entre profesor y alumnos derivada del uso de gestos anotaciones y comentarios manuscritos. El protocolo de comunicación se basa en la transmisión de eventos gráficos, proporcionando una forma más eficiente de almacenamiento, capacidad de registro temporal y espacial de las interacciones que se dan lugar durante una sesión de trabajo, y la posibilidad de realizar un análisis posterior de toda la información registrada. El sistema se engloba dentro del interés actual en crear las llamadas aulas virtuales.

Autor: MONTOYA DATO FRANCISCO JOSE.
Año: 1997.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: DE INFORMATICA: LENGUAJES Y SISTEMAS INFORMATICOS PROGRAMA DE DOCTORADO: INFORMATICA.

Resumen: En el diseño de sistemas de control robusto no lineales mediante QFT (lo que se conoce como NLQFT), se propone la transformación del problema no lineal original en otro problema "lineal equivalente" para aplicar en éste el proceso de diseño clásico propuesto por QFT para sistemas lineales. Este proceso de transformación no está exento de problemas de tipo práctico: a) el problema de validación: es preciso asegurar que si se obtiene un diseño válido para el problema lineal equivalente, este mismo diseño es válido para el problema lineal original. b) en la práctica, el problema lineal equivalente no puede ser resuelto tal como es expuesto en teoría, porque supondría la realización de un número infinito de cálculos, y así, en la práctica hay que conformarse con resolver una versión "finita" de ese problema, y no es evidente cómo realizar la elección de esa versión finita. c) aún en el caso en que dispongamos de una versión finita de este problema, aparece un nuevo problema de validación del diseño no sólo por el hecho de estar resolviendo el problema lineal, sino porque ni siquiera estamos resolviendo éste sino una aproximación finita del mismo; y d) el proceso de diseño en términos finitos debe ser computacionalmente tratable: no es demasiado útil un método de transformación y validación del problema, si el procedimiento resultante es irrealizable en la práctica. En particular, una de las aproximaciones finitas que hay que realizar más problemática es la elección del conjunto finito de "salidas aceptables". El problema a) se encontraba resuelto antes de esta Tesis, y constituye su punto de partida. Los objetivos marcados en este trabajo han sido: 1) obtener un resultado teórico que garantice la validación del diseño obtenido con el conjunto finito de salidas aceptables. 2) diseñar un método práctico de selección de este conjunto finito 3) analizar y optimizar el algoritmo de cálculo resultante. En este trabajo se resuelve 1) aportando un teorema de validación que garantiza la existencia y validación de una solución al problema lineal finito equivalente, que es solución también del problema no lineal original; se resuelve 2) proporcionando dos métodos prácticos de construcción de conjuntos finitos de salidas aceptables basado en 3-redes, a partir de las propiedades de compacidad del conjunto de salidas aceptables, uno de ellos a partir de la norma usual del supremo, y otro proponiendo una redefinición del espacio de señales y su norma; y 3) se implementa y optimiza en términos de tiempo de computación un conjunto de herramientas CACSD sobre el entorno de cálculo científico MATLAB.

Autor: PEINADO DOMINGUEZ ALBERTO .
Año: 1997.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DEL SOFTWARE PROGRAMA DE DOCTORADO: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DEL SOFTWARE.

Resumen: El objeto de esta memoria es el estudio de los polinomios cuadráticos sobre cuerpos finitos y sus aplicaciones a la construccion de secuencias pseudo-aleatorias, al diseño decifradores en flujo y al criptosistema de clave pública definido por el generador BBS. Se obtienen tres resultados generales de interés teórico: 1) se caracterizan los primos para los cuales se alcanza exactamente la longitud máxima de los cilos de la función x1-x2 sobre Zp. Este resultado tiene una aplicación directa en el uso eficiente del generador BBS como criptosistema de clave pública; 2) se aprueba que, contrariamente, los ciclos de las funciones cuadrática sobre GF(pn),p 2 son de longitud pequeña en relación con pn, y su convergencia a cero es especialmente rápida cuando n aumenta, de modo que tales funciones no son de interés en las aplicaciones; 3) se caracteriza los ciclos de longitud máxima de las funciones cuadráticas sobre GF(2n), que resulta ser de longitud 2n1-2, para todo n -4. Tales funciones son especialmente útiles para la generación de secuencias pseudoaleatorias, cuya complejidad respecto de diversos tests estadísticos también se analiza.

Autor: REYES DE LOS MOZOS MARIO.
Año: 1997.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: CIENCIAS.
Centro de realización: DEPARTAMENTO: DEPARTAMENTO DE INFORMATICA PROGRAMA DE DOCTORADO: PROGRAMA DE MICROELECTRONICA.

Resumen: En el presente trabajo se ilustra el uso de las metodologías comprendidas en soft computing en aplicaciones del campo médico. No se pretende hacer un barrido de las posibles aplicaciones médicas que pueden aparecer, ni tampoco se pretende estudiar todas las metodologías de SC y su posible uso en este tipo de aplicaciones, sino que se presenta el uso de algunas de estas técnicas en el estudio de una determinada enfermedad. En concreto, el estudio se realiza sobre el glaucoma, enfermedad ocular asintomática de elevada frecuencia y grave, ya que puede provocar un gran deterioro de la función visual constituyendo una de las principales causas de ceguera en los países desarrollados. Dos son los aspectos interesantes en el estudio del glaucoma: (1) el diagnóstico en estadios incipientes, y (2) la evaluación de pacientes respecto al glaucoma. El primer punto permite detectar el glaucoma de forma precoz, permitiendo aplicar el tratamiento al paciente afectado. Y el segundo punto indica qué pacientes son más sospechosos de presentar glaucoma, y por tanto, indica sobre qué pacientes hay que centrar la atención.

Autor: TOURIÑO DOMINGUEZ JUAN.
Año: 1997.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO: ELECTRONICA Y SISTEMAS PROGRAMA DE DOCTORADO: INGENIERIA DE COMPUTADORES (BIENIO 1993-95) .

Resumen: La tesis doctoral se centra en el estudio y desarrollo de métodos eficientes para la paralelización de algoritmos de factorización QR de matrices dispersas. La descomposición QR tiene diversas aplicaciones en el álgebra lineal, apareciendo en el núcleo de muchos códigos numéricos. En esta tesis se consideran tres métodos de factorización QR: el algoritmo de Gram-Schmidt modificado, las transformaciones de Householder y las rotaciones de Givens. También se considera la aplicación de dicha factorización a la resolución de problemas de mínimos cuadrados. El estudio de la paralelización de estos algoritmos se realiza sobre arquitecturas multiprocesador con memoria distribuida. Sobre esta clase de plataformas se siguen diversas aproximaciones. La primera de ellas consiste en el diseño y optimización manual de los diversos algoritmos paralelos. Se desarrollan diferentes estructuras de datos para almacenar las matrices dispersas, así como se prueban diferentes estrategias para su distribución en las memorias locales. También se aplica una nueva estrategia para reducir el llenado que se produce en la matriz dispersa mientras se realiza la factorización. En una segunda aproximación se incorporan las diversas operaciones de manejo y control de las estructuras de datos utilizadas, así como de las comunicaciones, en una librería, para ser llamada durante la ejecución de los algoritmos. De esta manera se facilita, y se generaliza, la programación paralela de algoritmos de factorización de matrices dispersas, especialmente QR. Estas funciones, a su vez, podrían ser llamadas por un compilador. El tercer enfoque supone un cambio cualitativo con respecto a los dos anteriores, y consiste en semiautomatizar el desarrollo de esta clase de algoritmos paralelos. En concreto, se analizan y se proponen nuevas extensiones a la sintaxis de HPF (High Performance Fortran), un lenguaje estándar de paralelismo de datos. De esta forma se pueden codificar con HPF los algoritmos paralelos diseñados anteriormente, con la ventaja de que su estructura se aproxima a los correspondientes códigos secuenciales. Adicionalmente, se diseña un módulo de compilación y un soporte en tiempo de ejecución que incorporan estas nuevas funcionalidades. Como objetivo principal de esta estrategia, se pretende liberar al programador de la tediosa labor de programar códigos paralelos. Esta idea se lleva a su extremo en la cuarta y última aproximación, que es una introducción a técnicas de paralelización totalmente automática de códigos numéricos para factorizaciones dispersas. Finalmente, se incluyen diversos análisis experimentales (tiempos de ejecución, eficiencias ...) para los enfoques anteriormente descritos, utilizando como base los algoritmos para la factorización QR dispersa.

Autor: GOLOBARDES RIBE ELISABET.
Año: 1997.
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: Este trabajo se ha desarrollado bajo dos grandes objetivos. Por un lado, consiste en evaluar las posibilidades del razonamiento basado en casos (CBR) para resolver un problema cualquiera de clasificacion. Y por otro, lado, pretende aportar diferentes variantes y/o mejoras al razonamiento basado en casos para resolver problemas de clasificacion. A partir de estos propositos iniciales, la tesis realiza distintas aportaciones, de las cuales se podrian destacar las siguientes: En primer lugar, propone una taxonomia de los problemas de clasificacion desde la perspectiva del razonamiento basado en casos. En segundo lugar, se ha diseñado, implementado y desarrollado el sistema clasificador basado en casos llamado CaB-CS(Case-Based Classifier System), a partir del cual se han evaluado las posibilidades del CBR para resolver un problema de clasificacion cualquier. Y, en el cual, se han incorporado variantes y/o mejoras del CBR, como: nuevas funciones, de similitud, ponderaciones automaticas de la relevancia de los atributos, politicas de olvido,etc. Y en cuatro lugar, conviene destacar que utilizando las diferentes variantes y/o mejoras, se ha conseguido por los distintos problemas una menor memoria de casos, aumentando el porcentaje de aciertos, y disminuyendo el coste computacional, es decir, se ha obtenido un mejor rendimiento del CBR para resolver problemas de clasificacion.