INFORMATICA, 2

Autor: VALENZUELA MUÑOZ JESÚS.
Año: 2003.
Universidad: SEVILLA .
Centro de lectura: MATEMÁTICAS.
Centro de realización: E.T.S. INGENIERÍA INFORMÁTICA.

Resumen: En los casi treinta años de historia de la Geometría Computacional, sólo recientemente se han comenzado a estudiar problemas en superficies distintas del plano, estudio que es necesario desde el momento en que surgen problemas para cuya modelización se requiere el uso de otros espacios. En esta memoria se aborda la extensión de las estructuras clásicas de la Geometría Computacional a las superficies de órbitas euclídeas (Euclidean 2-orbifolds) o caleidoscopios. Para ello es necesario en primer lugar distinguir cuándo un conjunto sobre una superficie está lo suficientemente agrupado como para presentar un comportamiento plano. Se dice que un conjunto está en posición euclídea cuando sobre él pueden aplicarse algoritmos planos para construir estructuras típicas de la Geometría Computacional. En esta memoria se presenta una definición del término para las superficies de órbitas euclídeas que generaliza la existente para el cilindro, el cono y el toro, junto con algoritmos que permiten su determinación. Se estudia también la construcción de la envolvente métricamente convexa sobre estas superficies, comprobándose que, si el conjunto está en posición euclídea, la forma de su envolvente es la que tendría de estar sobre el plano. En caso contrario la envolvente convexa es demasiado grande, perdiendo gran parte de su utilidad. En el caso de que un conjunto no esté en posición euclídea, se presentan métodos para la búsqueda de sus subconjuntos con mayor cardinal que sí cumplan la propiedad, llamados subconjuntos máximos para la posición euclídea o SMPE. También se establece la relación entre la conexión del grafo de triangulaciones de un polígono o una nube de puntos en una superficie cerrada y conexa y la métrica de la superficie, probándose que siempre puede construirse una métrica para la que aparecen grafos de triangulaciones no conexos. Para su métrica habitual se estudia la conexión del grafo en las superficies localmente euclídeas (cilindro, toro, cilindro retorcido y botella de Klein)

Autor: RUIZ CORTES DAVID.
Año: 2003.
Universidad: SEVILLA.
Centro de lectura: INFORMATICA.
Centro de realización: ETSII.

Resumen: En esta tesis doctoral presentamos una nueva noción de selección justa a la que hemos denominado R-Conspirancy-Free Fairness. Su ventaja fundamental respecto a otras es que restringe el conjunto de posibles ejecuciones de un programa a aquéllas que no presentan los problemas de las conspiraciones y finitud justa y, además, se puede adaptar a las carcterísticas del programa.

Autor: MARQUES PUIG JOAN MANUEL.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO DE ARQUITECTURA DE COMPUTADORES.

Autor: PALOP DEL RIO BELEN.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: MATEMÁTICAS.
Centro de realización: FACULTAD DE MATEMÁTICAS Y ESTADÍSTICA.

Autor: PUEBLA MARTÍNEZ ÁNGEL LUIS.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Uno de los métodos de identificación personal más fiables que se conocen (sólo superado por el reconocimimento mediante ADN,) es la utilización de las impresiones dactilares de un individuo. Desde finales del siglo pasado se conoce dicha utilidad, pero no es sino a principios de este siglo cuando se formulan los primeros sistemas de clasificación de impresiones dactilares (Galton, Henry, Vucetich, Olóriz,..) que, convenientemente modificados, han subsistido hasta nuestros días. Los sistemas comerciales que resuelven el problema se basan en modelos y algoritmos de comparación propietarios de cada fabricante. Así mismo el coste de dichos sistemas, dado su alto número de componentes tipo caja negra, es muy elevado. Por otra parte el modelado de objetos basados en gramáticas es uno de los métodos más elegantes y que más información permite almacenar. El problema de la utilización de los mismos es el alto coste computacional que necesitan los procesos de parsing. En esta Tesis Doctoral se presenta un nuevo procedimiento de trazado automático de las crestas que forman una impresión dactilar y/o huella latente. También se presenta un nuevo modelo descriptivo de impresiones dactilares proponiéndose la descripción sintáctica mediante una gramática que presenta la impresión dactilar. Cada elemento (token) del lenguaje será generado a partir de elementos estructurales extraídos de la imagen que se denominan puntos característicos o minucias. La identificación y la verificación de identidad se resolverán mediante dos métodos alternativos: comparación borrosa y no borrosa de los elementos lingüísticos de dos impresiones dactilares una indubitada y otra objeto de comprobación.

Autor: GARCÍA GRANADA FERNANDO.
Año: 2003.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.

Resumen: En este trabajo se ha desarrollado una aproximación para abordar la tarea de comprensión de un sistema de diálogo hablado para un entorno semántico restringido. El sistema de comprensión representa diferentes niveles de conocimiento del lenguaje a través de modelos de estados finitos, que se aprenden de forma automática a partir de corpora anotados con información semántica. Para la construcción del sistema de comprensión se han empleado métodos estocásticos, aprendizaje automático a partir de datos y técnicas de inferencia gramatical. Estos modelos emplean una representación de dos niveles en la que se considera la información de las secuencias de unidades semánticas presentes en el corpus, así como la información de las palabras asociadas a cada una de estas unidades semánticas, permitiendo una segmentación y un etiquetado secuencial de la frase completa de entrada. Un sistema de reglas convierte esta segmentación en un frame semántico, que es la representación elegida por esta tarea. La aproximación propuesta ha sido aplicada para desarrollar el módulo de comprensión de un sistema de diálogo hablado que atiende a preguntas en lenguaje natural a través de la línea telefónica, sobre horarios y preciso de trenes de largo recorrido. Los resultados obtenidos, evaluados sobre la representación semántica que da como salida el sistema de comprensión, han sido satisfactorios. Podemos considerar que el uso de este tipo de métodos es adecuado para resovler el tipo de tarea abordada.

Autor: FERMOSO GARCÍA ANA M..
Año: 2003.
Universidad: DEUSTO.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEUSTO.

Resumen: En los negocios electrónicos, e-business, se trabaja con gran cantidad de información. Si bien una cantidad significativa de dicha información esta en XML, formato que se está convirtiendo en el estándar de facto para el intercambio de información a través de la web en general y los negocios en Internet en particular, mucha otra está almacenada en las tradicionales bases de datos relacionales. Esto plantea la necesidad y dificultad de trabajar de forma conjunta con ambos tipos de información. Existen numerosos trabajos que relacionan el formato XML y el de las bases de datos relacionales, pero al analizarlos quedan patenten sus limitaciones. En muchos casos, por ejemplo, el acceso bajo un determinado formato a información que inicialmente está en otro, exige su convesión para hacerla accesible. Para evitar dichos inconvenientes, en esta tsis se propone un sistema de consulta con el que poder acceder a información almacenada en bases de datos relacionales bajo un entorno de consulta basado en XML. Para el usuario este proceso resultará transparente gracias a que la consulta será muy similar a la que se realiza para información en XML, y además, el resultado también se presentará en formato XML. XBD, este nuevo entorno de consulta a bases de datos relacionales basado en XML, incluye los siguientes aspectos: 1,- Un modelo de adaptación, valido para cualquier base de datos relacional, que la habilita para ser consultada desde un entorno XML sin que sus datos tengan que sufrir ningún tipo de transformación y manteniéndose permanentemente actualizados. 2,- Dos nuevos lenguajes, XSL adaptado y XQuery adaptado, derivados de los lenguajes de consulta XSL y Query, basados en XML, para poder consultar a través de ellos las bases de datos relacionales. 3,- Una herramienta que automatiza y da soporte al sistema de consulta que permite acceso a bases de datos relacionales bajo un entorno con apariencia web, para lo cuál estará basado en XML.

Autor: MARTÍNEZ LLARIO JOSÉ CARLOS.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: E.TÉCNICA SUPERIOR DE INGENIERÍA GEODÉSICA, CARTO.
Centro de realización: E. TÉCNICA SUPERIOR DE INGENIERÍA GEODÉSICA, CARTOGRÁFICA Y TOPOGRÁFICA.

Resumen: Al modelar un objeto de pequeño tamaño mediante procesos fotogramétricos monoscópicos y estereoscópicos, únicamente se utiliza la parte de imagen del fotograma en la que se encuentra contenido el mismo, de forma que la parte de imagen que no contiene al objeto no es aprovechable. Esta investigación se centra en buscar una alternativa a la fotogrametría terrestre o a los sistemas láser, para obtener el modelado completo de objetos cercanos de forma automatizada, utilizando sólo la parte de la imagen correspondiente al borde del objeto. Dado que el borde del objeto contiene muy poca información, es necesario disponer de muchas tomas fotogramétricas que proporcionen otras tantas secciones (en realidad no son propiamente secciones, sino proyecciones del contorno del objeto). Como el instrumento fotográfico más sencillo para obtener muchas tomas fotogramétricas es la cámara de vídeo, será el instrumento utilizado en todo el proyecto, aunque las conclusiones no se encuentran limitadas a este tipo de imágenes. Perfectamente podría usarse una cámara digital y una buena secuencia de imágenes que recubra el área del objeto completamente. Para la obtención de los fotogramas que definirán el objeto, se han utilizado técnicas videogramétricas, compensando la baja resolución de las imágenes, con el gran número de la mismas que se dispone. La metodología propuesta en esta investigación para la obtención de las coordenadas tridimensionales del objeto, no se basa en las técnicas conocidas de identificación de puntos homólogos, ya sea de manera manual mediante visión estereoscópica, o automática apoyándose en técnicas de correlación de imágenes, sino que el principio del método desarrollado, consiste en el estudio de la geometría que definen todos los bordes del objeto, en todas las imágenes que se dispongan de él, para obtener su modelado. Para poder llevar a cabo todas las fases, cálculos y pruebas de esta investigación, ha sido necesario desarrollar paralelamente un software donde comprobar todas la metodologías y algoritmos propuestos. A lo largo de esta memoria se muestran diversas capturas de las ventanas de diálogo del software para de esta forma seguir de una manera más rigurosa toda la investigación.

Autor: BLANCO PÉREZ VICENTE JOSÉ.
Año: 2002.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FÍSICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: El principal resultado de este trabajo es el desarrollo de una herramienta de análisis, predicción y visualización del rendimiento de la ejecución de métodos iterativos en el sistema multicomputador AP3000 de Fujitsu. Esta herramienta puede ser utilizada por el usuario de estos códigos para seleccionar la mejor combinación de método, recondicionador e implementación paralela para su problema concreto. En la herramienta se han incluido modelos de coste que permiten estimar el tiempo de ejecucción de estos métodos sin la necesidad de ejecutarlos. La implementación de una librería de métodos iterativos surgió de un proyecto de evaluación del multicomputador AP3000, del compilador de HPR y de la librería de pase de mensajes MPI disponibles en este sistema. Se eligió un conjunto representativo de métodos iterativos para sistemas lineales dispersos como aplicación. Primero se realizó una codificación eficiente de estos métodos usando "paralelismo de datos" como estrategia de programación. Muchas de las operaciones de vectores que se realizan en estas aplicaciones son implementadas eficientemente por un compilador de HPF, ya que son operaciones regulares de álgebra densa. El problema radica esencialmente en las computaciones irregulares, y fue resuelto con el uso de funciones intrínsecas. Aún así, una implementación basada en "pase de mensajes" resulta más eficiente que la implementación en HPF, y aprovechamos esta situación para investigar soluciones basadas en MPI para las computaciones irregulares que involucran a la matriz dispersa, y la posibilidad de integrar estos códigos en los métodos desarrollados en HPF. Esta combinación de modelos de programación implica una redistribución de datos entre el "mundo HPF" y el "mundo MPI", que también fueron objeto prioritario de estudio dentro del proyecto propuesto por Fujitsu y el CESGA. Una de las contribuciones más relevantes de esta tesis es la introducción de modelos de coste sencillos, tanto para las computaciones como para las comunicaciones, que se realizan en los códigos paralelos de la librería de métodos iterativos. El modelado de las computaciones se ha realizado en base al número de operaciones en punto flotante (FLOPs), que caracteriza el coste computacional de los códigos, al ser estos eminentemente dependientes de las computaciones con números reales, y porque los modelos de predicción están elaborados para un sistema específico, el AP3000 de Fujitsu. En el caso de las comunicaciones también se han introducido modelos sencillos para caracterizar el coste de estas operaciones. Para la implementación en HPF se utiliza un modelo basado en una aproximación lineal para las comunicaciones punto a punto que se generan al compilar estos códigos. Para la versión híbrida que incluye códigos en MPI, se han caracterizado las operaciones colectivas utilizadas usando también modelos que caracterizan el algoritmo que las implementa. Por su velocidad de evaluación, estos modelos de rendimiento pueden ser utilizados en una herramienta de análisis, predicción y visualización de rendimiento de manera adecuada. Se ha desarrollado una herramienta que no sólo muestra al usuario de la librería de métodos iterativos información acerca del rendimiento de la ejecución de estos códigos en el sistema AP3000, sino que además ofrece información acerca de las características de la matriz dispersa que representa al problema y que es fundamental para la elección del método adecuado.

Autor: RIVERO CEJUDO M. LINAREJOS.
Año: 2002.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: Se ha presentado una formalización matemática para la representación y manipulación de sólidos con caras planas variedad y no variedad, con o sin agujeros, basada en el concepto de cadena simplicial y susceptible de ser utilizada en espacios n-dimensionales. La nueva representación es una representación híbrida entre un sistema B-rep y un esquema constructivo; pues los símplices de la cadena simplicial se obtienen directamente de la representación de la frontera sin procesamientos previos, y aplicando sobre ellos las operaciones de suma y producto de las cadenas se obtiene la cadena simplicial asociada al sólido. Además, la nueva representación es inambigua y única para un punto de referencia elegido. El modelo ha sido presentado de forma detallada para dos y tres dimensiones, describiéndose las estructuras de datos a seguir en cada una de ellas; ambas estructuras son sencillas y concisas pues ocupan una cantidad mínima de memoria. En 3D se ha asumido que se trabaja con sólidos con caras triangulares, fundamental por las ventajas que ello aporta en cuanto a facilidad de representación respecto a otras estructuras, y por la sencillez de los algoritmos que manejan sólidos con caras tan simples, mejorando la eficiencia de los mismos. También se han formalizado las operaciones booleanas entre sólidos en dos y tres dimensiones, presentando teoremas que prueban la correctitud de las operaciones booleanas regularizadas obtendias a partir de las cadenas simpliciales y de sus operaciones algebraicas, de modo que se pueden obtener las operaciones booleanas a través de las operaciones de suma y productor entre símplices. Para conseguir una eficiente implementación de los operadores booleanos regularizados, se ha propuesto una simplificación del operador intersección basada en los conceptos de subordinación, nivel y capa definidos para los símpleces de una cadena, que permite el cálculo de la intersección, unión y diferencia entre sólidos de una manera simple y eficaz, sin la existencia de casos especiales y reduciendo los problemas de precisión numérica. Los algoritmos para las operaciones booleanas en 2D y 3D han sido completamente detallados. En 2D se ha realizado una comparativa espacial y temporal con respecto a los algoritmos más relevantes en el cálculo de las operaciones bolleanas a partir de las fronteras de los polígonos, obteniéndose que nuestros algoritmos son de los más eficientes en espacio y tiempo. Respecto a 3D, han sido presentados algoritmos para las operaciones booleanas entre sólidos representados mediante mallas triangulares. Además los algoritmos presentados para las operaciones booleanas, tanto en dos como en tres dimensiones, tienen la posibilidad de obtener las tres operaciones booleanas simultáneamente casi en el tiempo requerido para calcular únicamente la operación de intersección, frente a otras soluciones, unión y diferencia. Como aplicación de los conceptos de subordinación, nivel y capa de un sólido, se ha presentado una descomposición diferente a partir de la frontera de un sólido que supone un método de conversión de B-rep a CSG. Este método requiere el cálculo de las capas de los sólidos, por ello se han presentado algoritmos tanto en 2D (basado en la técnica del barrido) como en 3D. Todos los algoritmos presentados son robustos al estar basados en elementos sencillos y en operaciones de suma y producto entre enteros. Además todos están respaldados por un sistema formal, el cual asegura la validez de los resultados obtenidos.

Autor: ROMERO LÓPEZ GUSTAVO.
Año: 2002.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: En esta tesis se propone un nuevo método de visualización multidimensional para algoritmos evolutivos basado en el empleo de los mapas autoorganizativos de Kohonen, y se demuestra su utilidad a través de su aplicación a un conjunto de problemas típicos del área. El objetivo del método es poder representar en un plano el espacio de búsqueda de un algoritmo evolutivo independientemente de su número de dimensiones. Permite visualizar un espacio de búsqueda completo o ciertas partes del mismo, como, por ejemplo, las zonas exploradas durante su ejecucción o por las que se desplazan los individuos de una población en un instante dado. La visualización puede ser útil en muchos aspectos, de entre los cuales cabe destacar la identificación de características de la población, la visualización del espacio explorado durante la ejecucción de un algoritmo evolutivo y la visualización del espacio de búsqueda de un problema. Esto nos servirá para poder escoger tanto los operadores como los parámetros de un algoritmo evolutivo, para comprobar cómo funciona y si en efecto evoluciona correctamente.

Autor: VEGA RODRÍGUEZ MIGUEL ÁNGEL.
Año: 2002.
Universidad: EXTREMADURA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA (CÁCERES).

Resumen: Este trabajo de investigación presenta una metodología de implementación hardware, sobre dispositivas de lógica programable (FPGAS), de algoritmos empleados en aplicaciones de procesamiento digital de imágenes. Demostrándose, por una parte, la mejora de rendimiento conseguida respecto de las implementaciones usuales en software gracias a la utilización directa del hardware y de técnicas de paralelismo; y por otro lado, y aprovechando el carácter reconfigurable de este tipo de dispositivos lógicos (FPGAS), que es posible construir una plataforma de computación cuya arquitectura queda ser modificada pro el software para adaptarse en cada instante a las necesidades de una aplicación concreta de visión artificial. En este sentido, se ha demostrado la validez del sistema mediante su aplicación a llos casos concretos de visión artificial dentro del entorno industrial: inspección visual automática de jamón ibérico y de cerdo.

Autor: CABUCHOLA MORENO SANTIAGO .
Año: 2002.
Universidad: MALAGA.
Centro de lectura: MEDICINA.

Resumen: Básicamente la presente tesis se fundamenta en dos pilares: 1,- La incapacidad permanente (I.P.) desde el punto de vista de la Seguridad Social en España. 2,- La aplicación de técnicas modernas de Inteligencia Artificial y Prospección de Datos. El material ha sido un total de 978 exptes., de I.P., tramitados en la Dirección Provincial del Instituto Nacional de la Seguridad Social de Málaga. El resultado de ello ha sido, entre otras consideraciones, la elaboración de un programa informático denominado S.A.V.I. (Sistema de Ayuda a la Incapacidad) según el cual sobre la base de datos citada de 978 exptes., se han analizado los siguientes items: edad; sexo; profesión (clasificadas según la CNO-94); enfermedades alegadas (2817 enfermedades clasificadas según la CIE-9-MC) y, repercusión laboral de cada una de ellas con tres categorias de esta repercusión laboral (baja, media y alta); tiempo en situación de incapacidad temporal y, contingencia determinante (enfermedad común o profesional, accidente de trabajo y no laboral). Tras analizar los items citados y en base a los resultados obtenidos en los 978 exptes., el S.A.V.I., emite en porcentajes si existe o no incapacidad laboral permanente. Las conclusiones más significativas son: 1,- El S.A.V.I., puede llegar a ser un valioso instrumento de gestión para la Seguridad Social, así como un referente para los ciudadanos en la valoración "a grosso modo" de la I.P. 2,- El papel del médico evaluador es imprescindible en la evaluación de la I.P., constituyendo estas técnicas un instrumento más de ayuda a su ejercicio profesional. 3,- El caso típico corresponde a un varón, peón agricola, de 52 años 17 meses en situación de I.T., por enfermedad común debida a trastornos del disco intervertebral, comprendido en el grupo 13 de la CIE-9-MC, con una repercusión laboral baja y que se le califica como "No incapacidad".

Autor: MARTÍNEZ PÉREZ GREGORIO.
Año: 2002.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Los mecanismos que se han venido utilizando hasta ahora para gestionar redes, servicios y aplicaciones están empezando a mostrar limitaciones importantes debido, sobre todo, al aumento que están experimentando, tanto en tamaño como en complejidad, los sistemas a gestionar. El origen del problema proviene tanto del creciente interés que están mostrando los proveedores de servicios y los operadores de telecomunicaciones por ofrecer nuevas aplicaciones y nuevos servicios del estilo de redes privadas virtuales, servicios de videoconferencia, o soporte de movilidad en las comunicaciones, como por el hecho de que el equipamiento de red sea cada día más numeroso y heterogéno, lo que lo hace ser, sin duda, más complejo de gestionar. En este contexto parece clara la necesidad de una nueva aproximación a los sistemas de gestión, caracterizada por ser segura y automatizada, y por reflejar en la medida de lo posible el carácter distribuido de los sistemas actuales de comunicaciones que se desean gestionar. En el contexto que se acaba de expresar en los anteriores apartados se define esta tesis doctoral, que tiene como principal objetivo el aportar una solución a las limitaciones que se acaban de comentar, mediante la propuesta de un entorno de seguridad capaz de gestionar políticas en redes IP. Para lograr este objetivo toma como punto de partida el uso de Ipsec y de criptografía de clave pública como mecanismos para la provisión de servicios de seguridad. Por otra parte, se basa en la labor de estandarización que se está llevando a cabo en el seno del IETF con el odjetivo de crear entornos de comunicaciones gestionados por políticas. Nuestra solución concreta está basada en dos elementos principales, a saber, un sistema de gestión de confianza y un entorno de gestión de políticas. El primero de ellos se basa en el diseño de una infraestructura de clave pública que hemos denominado UMU-PKIv6, y un sistema de tarjetas inteligentes Java Card y un middleware criptográfico. El segundo de los elementos de la solución propuesta consiste en un entorno de gestión de políticas que hemos denominado UMU-PBNM, el cual está compuesto a su vez por dos elementos, a saber, un lenguaje de políticas especificado en XML y basado en el modelo de información estándar PCIM del IETF, y una arquitectura de gestión de las políticas que se hayan definido, caracterizada por ser segura, flexible y distribuida.

Autor: SÁNCHEZ CARPENA GRACIA.
Año: 2002.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA .
Centro de realización: UNIVERSIDAD DE VALENCIA.

Resumen: En este trabajo se proponen nuevos algoritmos evolutivos multiobjetivos basados en el concepto de óptimo pareto para realizar modelos difusos aproximativos que sean precisos y al mismo tiempo interpretables. Para diseñar y evaluar nuevas técnicas evolutivas multiobjetivo se ha utilizado el campo de la optimización multiobjetivo general como un banco de pruebas idoneo, dando lugar a un conjunto de algoritmos evolutivos multiobjetivo muy eficientes con resultados que mejoran los obtenidos por algunos de los algoritmos evolutivos multiobjetivos más actuales.

Autor: NAVARRETE SÁNCHEZ ISABEL.
Año: 2002.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La repreentación y el razonamiento sobre conocimiento temporal es un importante aspecto de las tareas de resolución de problemas e un amplio rango de dominios en Inteligencia Artficial y Ciencias de la Computación. Por tanto es importante establecer modelos suficientemente expresivos para representar relaciones temporales complejas y desarrollar algoritmos eficientes para resolver las tareas de razonamiento. Una tarea de razonamiento temporal puede verse como un caso particular de un problema de satisfacción de restricciones (CSP) donde las variables representan entidades temporales y las restricciones representan un conjunto de relaciones temporales permitidas entre ellas. Se han propuestos varios formalismos para modelar las relaciones temporales entre objetos temporales. El álgebra de intervalos e álgebras de puntos son dos de los modelos más representativos para razonar con información temporal cualitativa. Otros formalismos se han introducido para tratar con información métrica. Por otra parte se ha tratado de integrar tanto la información cualitativa como cuantitativa entre puntos e intervalos en un único modelo computacional basado en restricciones para razonamiento temporal. Los objetivos que se pretenden conseguir en este trabajo de tesis doctoral es el desarrollo de modelos y algoritmos de gestión de restricciones temporales que permitan incluir puntos y duraciones como entidades temporales y tratar tanto con información cualitativa como métrica. Objetivos concretos de la tesis son: Introducir un modelo de razonamiento cualitativo con puntos y duraciones (PDN). Estudiar diversas tareas de razonamiento desarrollando algoritmos que los resuelvan. Caracterizar la complejidad computacional de los algoritmos. Ampliar el modelo (PDN) para introducir información temporal métrica y de nuevo desarrollar algoritmos para resolver las principales tareas de razonamiento. De los modelos propuestos identificar los que son intratables y en ese caso encontrar submodelos computacionalmente eficientes.

Autor: VEGA MENÉNDEZ JAVIER ANGEL.
Año: 2002.
Universidad: OVIEDO.
Centro de lectura: INFORMÁTICA .
Centro de realización: DEPARTAMENTO DE INFORMÁTICA.

Resumen: Ha sido desarrollado el progrma optimum (Obtención de poliedros tipo por manipulación en Umbela), para el estudio de cualquier forma poliédrica que parta del método conocido como manipulación en umbela: más concretamente nos hemos centrado en las formas poliédricas regulares y arquimedianas y en las familias de poliedros derivadas de estas formas, obteniendo gráfica y textualmente toda la información relativa a dichos poliedros. Además hemos determinado su compacidad tanto por el método clásico de medida de la compacidad, que relaciona el área y el volumen de los poliedros tratados, como por un nuevo método de medida de la compacidad que relaciona la menor de las esferas inscritas con la esfera circunscrita única que envuelve a todo poliedro que parta de una manipulación en umbela. Para ambos métodos de valoración de la compacidad, hemos obtenido el poliedro más "compacto" de cada familia, así como una serie de poliedros que poseen la característica común de tener esfera inscrita única.

Autor: MUÑIZ SÁNCHEZ RUBÉN.
Año: 2002.
Universidad: OVIEDO.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPARTAMENTO DE INFORMÁTICA.

Resumen: En múltiples aplicaciones de visión artificial, el uso de imágenes monocromas ha sido una práctica habitual, debido por una parte al coste añadido de los dispositivos de adquisición de imágenes, y por otra al coste computacional adicional requerido para procesar la información en color. El campo de la clasificación de texturas no ha sido una excepción, y no ha sido hasta finales de la década pasada cuando varios autores han comenzado a estudiar las ventajas que proporciona el uso de color. El presente trabajo presenta una técnica novedosa basada en el uso de imágenes cociente, que permite realizar un análisis de texturas en color con vistas a una posterior clasificación, para comprobar la validez del método se han realizado dos experimentos: uno consistente en la clasificación de un conjunto de 30 texturas en color, extraídas de una base de datos del MIT conocida como VisTex, y otro formado por un conjunto de 6 texturas, digitalizado con medios propios bajo distintas condiciones de iluminación. Este segundo experimento nos ha servido para demostrar una interesante propiedad del cociente de bandas: la independencia de la intensidad de la fuente de luz que incide sobre las superficies que se tratan de identificar. En ambos casos, los resultados han sido plenamente satisfactorios.

Autor: MARTÍN-MERINO ACERA MANUEL.
Año: 2002.
Universidad: SALAMANCA .
Centro de lectura: FÍSICA.
Centro de realización: FACULTAD DE FÍSICAS - SALAMANCA.

Resumen: Los mapas de palabras son herramientas útiles que permiten visualizar de forma intuitiva las relaciones entre términos. Sin embargo, los algoritmos propuestos en la literatura presentan dos problemas. En primer lugar, se basan en similaridades que con frecuencia no reflejan las proximidades semánticas entre términos. Por lo tanto, las relaciones semánticas sugeridas por los mapas carecen de sentido en muchas ocasiones. Como muestra empíricamente esta investigación, ello es debido al carácter asimétrico de las relaciones entre términos y al carácter disperso de la representación vectorial. En segundo lugar, los mapas propuestos en la literatura no son capaces de visualizar relaciones jerárquicas. En esta tesis desarrollamos nuevos algoritmos que evitan estos problemas. En primer lugar, proponemos nuevas variantes de los Mapas Autoorganizativos (SOM) y de algunos algoritmos de escalado multidimensional (MDS) que incorporan medidas asimétricas para mejorar la posición de los términos específicos en el mapa. También extendemos los mapas SOM al caso de distancias no euclídeas (capaces de modelar mejor las relaciones entre términos) utilizando técnicas kernel para mejorar la calidad de los mapas. Finalmente, modificamos el escalado de Kruskai incorporando distancias locales que permiten modelar mejor las proximidades para datos dispersos. Por último, proponemos un nuevo SOM asimétrico capaz de visualizar jerarquías de términos utilizando exclusivamente una matriz de similaridades asimétrica. Los nuevos algoritmos han sido probados exhaustivamente sobre dos colecciones textuales reales. La primera, dispone de tesauro, lo que permite evaluar fácilmente las relaciones inducidas por el mapa. La segunda es un problema real correspondiente a los abstracts de la librería digital de la ACM. Los resultados experimentales muestran que nuestros algoritmos mejoran significativamente los resultados para las alternativas presentadas en la literatura según varias medidas objetivas definidas.

Autor: GONZÁLEZ MORALES DANIEL.
Año: 2002.
Universidad: LA LAGUNA.
Centro de lectura: INFORMÁTICA.
Centro de realización: CENTRO SUPERIOR DE INFORMÁTICA.

Resumen: Esta memoria se enmarca en el contexto de la computación en paralelo y de la resolución de problemas de programación dinámica. Un dificultad inherente al paralelismo la encontramos en la distancia que actualmente existe entre las arquitecturas paralelas y el usuario no especializado. El desarrollo de esqueletos de programas y procedimientos generales con los que abordar la programación en paralelo, está siendo motivo de numerosos trabajos y estudios como un instrumento con que reducir esta distancia. Los objetivos de esta memoria se centran en el desarrollo de esqueletos y herramientas de alto nivel que permitan al usuario la implementación de programas paralelos de programación dinámica independientes de la arquitectura destino. La programación dinámica es una importante técnica de resolución de problemas que ha sido ampliamente utilizada en numerosos campos de la ciencia. Es un hecho establecido que la técnica conlleva un consumo de cómputo y de memoria que, en ocasiones, hacen necesario e luso de computadores paralelos para poder hacer un uso efectivo de la misma. El esqueleto permite a un usuario no experto en paralelismo obtener códigos de programación dinámica paralelos partiendo únicamente de códigos secuenciales. La base de la paralelización de estos algoritmos la encontramos en el paralelismo de segmentación o paralelismo pipeline. Un inconveniente añadido al uso de los computadores aparece con la gran variedad y diversidad de arquitecturas. Aunque la portabilidad de los programas paralelos está garantizada mediante el uso de librerías estándar, es aún una cuestión abierta la portabilidad de la eficiencia de tales programas. Un contraste decepcionante lo encontramos en el pico de rendimiento que en teoría ofrecen las arquitecturas paralelas y el rendimiento que en la práctica se obtiene. En este sentido la memoria de tesis aborda y resuelve el problema de sintonizado de aplicaciones pipeline sobre diversas arquitecturas. De este modo el esqueleto desarrollado admite el desarrollo automático de programas paralelos eficientes de programación dinámica. Se han abordado mediante las herramientas desarrolladas varios problemas de optimización combinatoria, problemas de optimización de recursos, problemas de la mochila y problemas de planificación de caminos más cortos entre otros.