INFORMATICA, 4

Autor: MORENO GARCÍA JUAN.
Año: 2002.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA SUPERIOR DE CIUDAD REAL.

Resumen: Esta Tesis trata el modelado de sistemas dinámicos. Se ha utilizado lógica difusa (también llamada lógica borrosa o Fuzzy Logic) para el modelado lingüístico (mediante variables lingüísticas) de sistemas dinámicas. Así se presenta un nuevo método de representación de sistemas dinámicos basado en estados y transiciones lingüísticas llamado cadenas difusas temporales (CDTs). Se ha desarrollado un algoritmo de inferencia sobre CDTs. También se han relacionado los modelos de reglas difusas con las CDTs, proponiendo un algoritmo de conversión de modelos difusos a CDTs. Se presentan dos algoritmos de inducción de CDTs utilizando una búsqueda ciega. El primero basado en modelos difusos, y el segundo es una inducción directa a CDTs a partir de un conjunto de ejemplos. Finalmente se han probado las CDTs sobre movimientos humanos: el primer caso es la marcha humana y el segundo es un movimiento deportivo, el lanzamiento de peso. Para el estudio de estos movimientos se presentan los modelos biomecánicos de ambos movimientos destacando los aspectos más interesantes de los mismos, y posteriormente se comprueba que las CDTs obtenidas reflejan dichos aspectos. Así, las CDTs son una nueva línea de trabajo para el modelado de sistemas dinámico basada en el orden de los estados y transiciones lingüísticas que las componen, representan a los sistemas dinámicos cometiendo un error aceptable, y tienen un alto componente cualitativo gracias a la definicion de etiquetas lingüísticas a priori.

Autor: BRAVO SANTOS CRESCENCIO.
Año: 2002.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA SUPERIOR DE INFORMÁTICA DE CIUDAD REAL.

Resumen: Los Sistemas Colaborativos son un área de crecimiento interés para los investigadores que se está utilizando para mejorar los procesos de aprendizaje y trabajo en grupo y a distancia. En esta investigación se ha trabajado en el estudio y desarrollo de sistemas para el aprendizaje colaborativo en tiempo real, profundizando en la problemática de los entornos de aprendizaje del diseño mediante simulación, y se ha propuesto una arquitectura y un modelo de interacción síncrona que se basan en el principio metodológico del Constructivismo y en los métoso instruccionales del Aprendizaje Basado en Problemas y del Aprendizaje Mediante Diseño. La arquitectura propuesta engloba una dimensión física y otra funcional. La arquitectura física se basa en un enfoque cliente/servidor y describe los componentes hardware y software que materializan el entorno. La arquitectura funcional identifica un conjunto de niveles (Organización, Experiencia y Análisis), de subsistemas y de herramientas que dan forma al entorno planteado. Se ha empleado la metáfora del espacio de trabajo para organizar las tareas a realizar con las herramientas correspondientes. Los subsistemas indentificados son los siguientes: * Subsistemas Gestor de Actividades: Se encarga de gestionar información de usuarios y grupos, así como de definir y proponer actividades de resolución de problemas. * Subsistema de Comunicación y Coordinación: Contiene tanto herramientas asíncronas que se utilizan para la organización de las sesiones de trabajo como herramientas síncronas que se emplean durante la resolución de problemas. * Subsistema de Diseño y Simulación: Apuesta por la colaboración síncrona para la organización del trabajo, la parametrización de variables, el diseño de modelos en superficies de trabajo compartidas como solución a un problema y la simulación para la validación y refinamiento de los modelos. * Subsistema de Monitorización y Análisis de Actividades: Permite sintetizar y analizar la información recogida durante la realización de las actividades, tanto de la interacción efectuada por los usuarios como de la solución al problema. El modelo semiestructurado de interacción empleado en el diseño y simulación propone Protocolos de Colaboración, Técnicas de Estructuración Flexible y la utilización del Lenguaje como Acción para estructurar el trabajo. Las herramientas empleadas para la realización de las tareas se basan en la manipulación directa basada en el Modelo Objeto-Acción, en mecanismos de soporte a la comunicación, coordinación y toma de decisiones y en técnicas de awareness para facilitar la colaboración en tiempo real. Para aplicar y validar estos planteamientos se ha construido un entorno colaborativo completo aplicado al aprendizaje de la Domótica. Este desarrollo ha tenido en cuenta al usuario desde las primeras etapas y se ha efectuado en varias iteraciones que han dado lugar a diversos prototipos. Se ha aplicado evaluación informativa y heurística para mejorar la efectividad y depurar estos productos software. Este entorno, llamado DomoSim-TPC, se ha utilizado en situaciones reales de enseñanza en grupo y a distancia, obteniéndose datos que se han analizado y han permitido extraer conclusiones sobre nuestra propuesta.

Autor: LORENZO IGLESIAS EVA M..
Año: 2002.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En el marco de esta tesis se ha desarrollado un nuevo esquema de compresión de especial interés en el campo de las bases de datos textuales. La nueva codificación, denominada codificación Densa con Post-Etiquetado posee las siguientes características: * Es un esquema de compresión basado en palabras; es decir, los símbolos a comprimir son palabras y no caracteres. * Es una codificación de prefijo libre, lo que garantiza la decodificación inmediata del texto comprimido. * Soporta la descompresión de porciones arbitrarias de texto gracias a la incorporación de marcas que permiten distinguir los códigos dentro del texto comprimido. * Es posible realizar búsquedas eficientes de palabras de un modo exacto, aproximado o utilizando expresiones regulares, directamente sobre el texto comprimido. * Alcanza mejores ratios de compresión que otras técnicas de compresión similares. * Los procesos de codificación y decodificación son sencillos y rápidos. Se han demostrado analítica y experimentalmente las ventajas de la codificación Densa con Post-Etiquetado en términos de tamaño final del fichero comprimido. Los estudios teóricos se han realizado considerando diferentes distribuciones de palabras en el texto, entre las que se incluye la propuesta por la ley de Zipf. Para el estudio emprírico se han empleado corpus de textos en inglés de la colección TREC-4 y corpus ad hoc de documentos escritos en lenguas romances (en concreto, en castellano, portugués y gallego). Una de las conclusiones obtenidas como resultado de los estudios experimentales anteriores es la reducción en la eficiencia de la comprensión y de la recuperación cuando se aplican codificaciones basadas en palabras (como la nueva codificación Densa con Post-Etiquetado) sobre textos romances. El problema es originado por el importante incremento del vocabulario en esas lenguas y el tipo de distribución que caracteriza los textos. Como consecuencia, se propone una adaptación de los esquemas basados en palabras mediante el preprocesamiento de los corpus antes de la comprensión utilizando una nueva herramienta basada en ingeniería lingüística que también se ha desarrollado en este trabajo. Por último, se incluyen un conjunto de estudios experimentales que demuestran la efectividad del método propuesto, tanto en el aspecto de la comprensión como a la hora de realizar búsquedas aproximadas sobre el texto comprimido.

Autor: GALDAMEZ SAIZ PABLO.
Año: 2001.
Universidad: POLITECNICA DE VALENCIA.
Centro de realización: DPTO. DE SISTEMAS INFORMATICOS Y COMPUTACION.

Resumen: Debido al abaratamiento de los ordenadores, al continuo aumento de la velocidad y fiabilidad de los sistemas de comunicaciones, y a la progresiva demanda del mercado de sistemas mas robustos y eficientes, los sistemas distribuidos altamente disponibles estan recibiendo un interes creciente tanto desde el punto de vista comercial como de investigacion. Hidra ha sido el resultado fundamental de 2 proyectos de investigacion financiados por la CICYT y ha dado lugar a varias publicaciones y ponencias en congresos nacionales e internacionales. Se trata de una arquitectura diseñada para servir de soporte al desarrollo de sistemas y aplicaciones altamente disponibles. Esta compuesta de un Gestor de Invocaciones a Objetos (ORB) altamente disponible como soporte a objetos replicados y diversos servicios relacionados con transacciones distribuidas, control de concurrencia y recolección de residuos. El diseño se ha realizado para permitir la inclusion de Hidra como parte del nucleo de un sistema operativo, permitiendo construir, no solo aplicaciones altamente disponibles, sino tambien componentes del sistema operativo que permitan el desarrollo futuro de un sistema operativo distribuido que ofrezca la imagen de sistema unico. Hidra proporciona el concepto de objeto como la pieza basica con la que se construiran las aplicaciones. Los objetos podran estar replicados o ser objetos normales de implementacion unica. La ubicación de los objetos y su condicion de replicados es transparente a los usuarios de dichos objetos, garantizando en el caso de los objetos replicados una mayor disponibilidad. El sistema incluye recoleccion de residuos para todos los objetos, permitiendo el desarrollo de sistemas que no consuman mas recursos que los estrictamente necesarios, sin la sobrecarga que le supondria al programador realizar tal tarea sin soporte. Hidra esta compuesta por dos partes fundamentales: el soporte a objetos y el soporte a un modelo especifico de replicacion, el modelo coordinador-cohorte. Esta tesis se centra en el soporte a objetos de la arquitectura Hidra, detallando la estructura de las referencias a objeto, el recolector de residuos y los protocolos necesarios para su gestion, describiendo como se toleran los fallos y como se garantiza alta disponibilidad. Se demuestra la corrección de uno de los algoritmos mas representativos y se propone un mecanismo para facilitar la depuración del sistema.

Autor: ALBERCA BJRREGAARD PABLO GABRIEL.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: CIENCIAS.
Centro de realización: UNIVERSIDAD DE MÁLAGA.

Resumen: En esta tesis doctoral se presentan una serie de resultados matemáticos con la ayuda de la implementación de estructuras algebraicas en un sistema computacional. En primer lugar,no sólo se perfila un primer modelo algebraico en física de partículas sino que se aporta uno que alberga a todos los que quarks (sus antiquarks) y a los observables que los representan. En este contexto, se determinan los automorfismos y derivaciones de las álgebras de composición reales, publicada esta parte en la revista Hadronic Journal. Se completa esta primera parte con el diseño de una rutina para la determinación del rango de las álgebras de Lie de matrices. A continuación, se analiza con detalle el álgebra de Lie de las derivaciones de las álgebras de Cayley. En concreto, se resuelve el problema de la simplicidad de estas álgebras en los casos de característica 2 y 3, no contemplados en el Teorema de Cartan-Jacobson, de forma que son simples si la característica es distinta de 3. Es en esta parte donde además del objetivo, se aportan una serie de técnicas computacionales que son aprovechables en otros contextos. Este bloque está recientemente aceptado para su publicación en Journal of Álgebra. En la última parte de esta tesis, se estudia la posible simplicidad de las álgebras de derivaciones de las álgebras de Jordan excepcionales H3(C,-). Establece la no simplicidad en el caso split de característica 2 con una implementación de las ecuaciones de McCrimmon en un sistema computacional, caso no considerado en el Teorema de Chevalley-Schafer. Se añade una prueba fuera de esta carcterística puramente computacional . En esta parte se utilizan las técnicas introducidas en el bloque anterior.

Autor: FORTES RUIZ M. INMACULADA.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: INFORMATICA .
Centro de realización: E.T.S.I. INFORMATICA.

Resumen: Este trabajo se enmarca dentro del area de descubrimiento de conocimiento, concretamente en el area de la prospeccion de datos. En los ultimos años, la capacidad de generar y almacenar datos ha crecido de una forma considerable llegando a cantidades enormes. Por lo tanto, surge la necesidad de desarrollar nuevas tecnicas con la capacidad para analizar de manera automatica grandes volumenes de datos y cuyo fin es obtener informacion util y valiosa. Dentro del descubrimiento de conocimiento se encuentra el area de la prospeccion de datos. Este trabajo se centra en las tareas de asociacion, clasificacion y prospeccion en la red. En el capitulo 1 hacemos un rapido recorrido por las nociones basicas utilizadas en los siguientes capitulos. En el capitulo 2 incluimos como primera aportacion de este trabajo la generalizacion de la busqueda en bases de datos de conjuntos frecuentes con atributos positivos y negativos. En primer lugar, se formaliza el problema introduciendo un lenguaje, una relacion de especializacion y un predicado adecuados. A partir de ahí, se introducen las definiciones necesarias para los itemsets con atributos negativos para a continuacion presentar las proposiciones que nos llevaran a los algoritmos que se han desarrollado para obtener todos los conjuntos frecuentes con el menor esfuerzo computacional, es decir, evitado evaluar directamente cada conjunto en la base de datos y calculando su frecuencia a partir de las frecuencias ya calculadas de determinados conjuntos. En el capitulo 3 adaptamos los algoritmos de aprendizaje de arboles de decision para considerar las experiencias que tienen valores desconocidos en algun atributo. Definimos un criterio general de division, asignamos valores a los valores desconocidos teniendo en cuenta la informacion dado por los valores del atributo y de la clase y estudiamos la prediccion de observaciones con valores desconocidos. Incluimos resultados experimentales sobre la evaluacion de nuestro metodo en distintas bases de datos. Por ultimo, modelamos el problema de la asignacion de valores como un problema de decision con riesgo para incluir parametros de confianza y de error en la construccion del arbol de decision. En el capitulo 4 desarrollamos los algoritmos de inferencia de gramaticas regulares probabilisticas y gramaticas regulares difusas. Tambien se estudia la obtencion de la cadena de Markov asociada a la gramatica regular probabilistica y como a partir de la cadena se realiza un estudio estadistico del lenguaje generado por la gramatica. Se incluye un caso practico donde hemos implementado nuestros algoritmos. Finalmente se han añadido unos apendices con los algoritmos de busqueda de conjuntos frecuentes con un numero maximo de atributos negativos. Tambien se incluye un algoritmo que organiza la busqueda de conjuntos frecuentes con atributos negativos de forma diferente a los algoritmos dados en el capitulo 2.

Autor: SANCHEZ NAVARRO FRANCISCO JESUS.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: DEPARTAMENTO DE ARQUITECTURA DE COMPUTADORES.

Resumen: Las memorias cache fueron incorporadas en los microprocesadores ya desde los primeros tiempos, y representan la solucion mas comun para tratar la diferencia de velocidad entre el procesador y la memoria. Sin embargo, muchos estudios señalan que la capacidad de almacenamiento de la cache es malgastada muchas veces, locual tiene un impacto directo en el rendimiento del procesador. Aunque una caché esta diseñada para explotar diferentes tipos de localidad, todas las referencia a memoria son tratadas de la misma forma, ignorando comportamientos particulares de localidad. En esta tesis se demuestra como un analisis de localidad de datos puede ayudar al investigador a entender donde y porque ocurren los fallos de cache y proponer entonces diferentes tecnicas que hacen uso de esta informacion con el objetivo de mejorar el rendimiento de la memoria cache. Proponemos tecnicas e las cuales la informacion de localidad obtenida por el analizador de localidad es pasada desde el compilador el hardware a traves del ISA para guiar el manejo de los accesos a memoria. Hemos desarrollado un analisis estatico de localidad de datos. Este analisis esta basado en los vectores de reuso y contiene los tres tipicos pasos: reuso, volumen y analisis de interferencias. Comparando con trabajos previos, tanto el analisis de volumenes como el de interferencias ha sido mejorado utilizando informacion de profiling asi como un analisis de interferencias mas preciso. El analizador de localidad de datos propuestos ha sido incluido como un paso mas en un compilador de investigcion. Los resultados demuestran que, para aplicaciones numericas, el analisis es muy preciso y el overhead de calculo es bajo. Este analisis es la base para todas las otras partes de la tesis. Ademas, para algunas propuestas en el ultima parte de la tesis, hemos usado un analisis es la base para todas las otras partes de la tesis. Ademas, para algunas propuestas en la ultima parte de la tesis, hemos usado un analisis de localidad de datos basado en las ecuaciones de fallos de cache. Este analisis, aunque requiere mas tiempo de calculo, es mas preciso y mas apropiado para caches asociativas por conjuntos. El uso de dos analisis de localidad diferentes tambien demuestra que las propuestas arquitectonicas de esta tesis son independientes del analisis de localidad particular utilizado. Despues de mostrar la precision del analisis, lo hemos utilizado para estudiar el comportamiento de localidad exhibido por los programas APECfp95. Este tipo de analisis es necesario antes de proponer alguna nueva tecnica ya que ayuda al investigador a entender porque ocurren los fallos de cache. Se muestra que con el analisis propuesto se puede estudiar de forma muy precisa la localidad de un programa y detectar donde estan los "pupntos negros" asi como la razon de estos fallos en cache. Este estudio del comportamiento de localidad de diferentes programas es la base y motivacion para las diferentes tecnicas propuestas en esta tesis para mejorar el rendimiento de la memoria. Asi, usando el analisis de localidad de datos y basandonos en los resultados obtenidos despues de analizar el comportamiento de localidad de un conjunto de programas, proponemos utilizar este analisis con el objetivo de guiar tres tecnicas diferentes: (i) manejo de caches multimodulo, (ii) prebusqueda software par bucles con planificacion modulo, y (iii) planificacion de instrucciones de arquitecturas VLIW clusterizadas. El primer uso del analisis de localidad propuesto es el manejo de una novedosa organizacioni de cache. Esta cache soporta bypass y/o esta compuesta por diferentes modulos, cada una orientado a explotar un tipo particular de localidad. La mayor diferencia de este cache con respecto propuestas previas es que la decision de "cachear" o no, en que modulo un nuevo bloque es almacenado, esta controlado por algunos bits en las intrucciones de memoria ("pistas" de localidad). Estas "pistas"(hints) son fijadas en tiempo de compilacion utilizando el analisis de localidad propuesto. Asi, la complejidad del manejo de este cache se mantiene bajo ya que no requiere ningun hardware adicional. Los resultados demuestran que caches mas pequeñas con un manejo dee ste cache se mantiene bajo que no requiere ningun hardware adicional. Los resultados demuestran que caches mas pequeñas con un manejo mas inteligente pueden funcionar tan bien (o mejor) que caches convencionales más grandes. Hemos utilizado tambien el analisis de localidad para estudiar la interacción entre la segmentacion software y la prebusqueda software. La segmentacion software es una tecnica muy efectiva para la planificacion de codigo en bucles (principalmente en aplicacioens numericas en procesadores VLIW). El esquema mas popular de prebusqueda software se llama planificacioin modulo. Muchos trabajos sobre planificacion modulo se pueden encontrar en la literatura, pero casi todos ellos consideran una suposicion critica: consideran un comportamiento optimista de la cache ( en otras palabras, usan siempre la latencia de acierto cuando planifican instrucciones de memoria). Asi, los resultados que representan ignoran los efectos del bloqueo debido a dependencias con instrucciones de memoria. En esta parte de la tesis mostramos que esta suposicion puede llevar a planificaciones cuyo rendimiento es bastante mas bajo cuando se considera una memoria real. Nosotros proponemos un algoritmo ppara planificar instrucciones de memoria en bucles con planificacion modulo. Hemos estudiado diferentes estrategias de prebusqueda software y finalmente hemos propuestos un algoritmo que realiza prebusqueda basandose en el analisis de localidad y en la forma del grafo de dependencias del bucle. Los resultados obtenidos demuestran que el esquema propuesto mejora el rendimiento de las otras heuristicas ya que obtienen un mejor compromiso entre tiempo de calculo y de bloqueo. Finalmente, el ultimo uso del analisis de localidad estudiado en esta tesis es para guiar un planificador de instrucciones para arquitecturas VLIW clusterizadas. Las arquitecturas clusterizadas estan siendo una tendencia comun en el disño de procesadores empotrados/DSP. Tipicamente, el nucleo de estos procesadores esta basado en un diseño VLIW el cual participa tanto en el banco de registros como las unidades funcionales. En este trabajo vamos un paso mas alla y tambien hacemos la particion de la memoria cache. En este caso, tanto las comunicaciones entre registros como entre memorias han de ser consideradas. Nosotros proponemos un algoritmo que realiza la participacion del grafo asi como la planificacion de instrucciones en un unico paso en lugar de hacerlo secuencialmente, lo cual se demuestra que es mas efectivo. Este algoritmo es mejorado añadiendo una analisis basado en las ecuaciones de fallos de cache con el objetivo de guiar en la planificacion de las instrucciones en un unico paso en lugar de hacerlo secuencialmente, lo cual se demuestra que es mas efectivo. Este algoritmo es mejorado añadiendo un analisis basado en las ecuaciones de fallos de cache con el objetivo de guiar en la planificacion de las instruccinoes de memoria para reducir no solo comunicaciones entre registros, sino tambien fallos de cache.

Autor: LUZON GARCIA M. VICTORIA.
Año: 2001.
Universidad: VIGO.
Centro de lectura: INFORMATICA.
Centro de realización: ESCUELA SUPERIOR DE INGENIERIA INFORMATICA.

Resumen: Una de las ventajas mas relevantes en el Diseño Asistido por Computador (CAD) ha sido el diseño basado en restricciones. El usuario describe un objeto mediante la definicion de un conjunto de elementos geometricos y un conjunto de restriccionies geometricas relativas a dichos elementos. La principal tarea de los sistemas CAD es comprobar si el conjunto de restricciones geometrica define de forma precisa el objeto, y en ese caso, determinar la posicion y orientacion de los elementos geometricos. Cuando existe una solucion, el usuario espera que el solver le proporcione una determinada instancia y no cualquier instancia del espacio de soluciones. El problema de generar automaticamente la instancia esperada es un problema abierto y se conoce como el problema de la selección de la solucion deseada. Existen diversas cuestiones que hacen que el problema de la selección de la sociedad deseada. Existen diversas cuestiones que hacen que el problema tenga una dificultad elevada. De importancia capital resulta el hecho que, hasta el momento, no se ha dado una definicion aceptable del propio problema es decir, hasta ahora no se sabe que es aquello que el usuario espera, y por tanto, no se sabe como caracterizar la solucion deseada. Los solvers actualmente existentes, cuando tratan el problema de las solucion deseada lo mas que hacen es ofrecer un sistema de navegacion interactiva por el espacio de soluciones. Dicha navegacion, basicamente, recorre de manera exahustiva al espacio de instancias solucion hasta que se encuentra la deseada. Dado que el numero de instancias es exponencial en el numero de elementos geometricos que intervienen en el problema, no parece esta una solucion practica viable. El objetivo principal de este trabajo es desarrollar un metodo que encuentre la solucion a un Problema de Satisfaccion de Restricciones Geometricas (PRSG), es decir, localice la solucion deseada por el usuario dentro de la familia de objetos generados por el propio PSRG. Este objetivo general se puede descomponer en varios objetivos particulares que se enuncian a continuacion: 1. Diseñar un metodo selector basado en un estudio de la orientacion de los elementos geometricos en el croquis. 2. Plantear el problema de la selección de la solulcion deseada como un problema de optimizacion combinatoria. Diseñar al algoritmo voraz para resolver dicho problema. 3. Diseñar un metodo de resolucion que aplicara la teoria genetica al problema de la selección de la solucion deseada por el usuario. 4. Plantear una mejora al metodo anterior, de forma que, en lugar de obtener una unica solucion al PSRG,se puedan obtener todas aquellas que posean el mayor numero posible de caracteristicas que el usuario ha definido a priori.

Autor: GARCIA CARBAJAL SANTIAGO.
Año: 2001.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DPTO. DE INFORMÁTICA.

Resumen: En el caso de aprendizaje por refuerzo existen dos enfoques que se han venido utilizando sobre problemas de control y planfificación. En este tesis se aplican técnicas de computación evolutiva a diversos problemas clásico en este campo y a un problema de control real: la inducción de la política de control de una central térmica. La metodología desarrolla está basada en la utilización de técnicas de programación genética dirigida por gramáticas que permiten la introducción automática de conocimiento experto en el algoritmo de aprendizaje.

Autor: PORTILLO FERNANDEZ JOSE RAMON.
Año: 2001.
Universidad: SEVILLA .
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA Y ESTADISTICA.

Resumen: El área de investigación sobre dibujos de grafos constituye una importante conexión entre diversos campos de la Matemática, tales como la Algoritmica, la geometria Computacional y la Teoria Topológica de Grafos. Dentro de ella, el estudio de las inmersiones ortogonales ocupan un lugar importante por su aplicación a diversos problemas: diseño de circuitos VLSI, donde da lugar a diversos problemas de optimización, creación de diagramas de flujo y organigramas, diseño de bases de datos en Ingenieria del Software y problemas de etiquetado de mapas y otras aplicaciones en Sistemas de Información Geografica. Motivados por el trabajo de Raghavan et al. Sobre el conocido problema EOSP (emparejamiento ortogonal simple en el plano), nos planteamos en primer lugar la extensión de este problema a otras superficies. Este tema constituye la primera parte de la memoria que se presenta. Se estudian en ella la complejidad computacional de los problemas de emparejamiento ortogonal simple (EOS), mostrando en primer lugar el comportamiento polinomial del problema cuando únicamente existen dos posibles caminos entre cada pareja de puntos. Sin embargo, el problema con un mayor numero de caminos entre cada pareja de puntos. Sin embargo, el problema con un mayor numero de caminos, asi como el problema general resultan ser NP-completos y el problema de optimización asociado a este ultimo es por lo tanto NP-duro. Otra ampliación necesaria del problema EOSP es estudiar, no las conexiones entre parejas, sino entre grupos de puntos usando inmersiones ortogonales de grafos, permitiendo un numero de codos superior a uno por cada inmersión. Este estudio, realizado en el pleno ocupa la segunda parte de la memoria. En ella se clasifican los problemas de conexión ortogonal plana según su complejidad computacional. En primer lugar, caracterizamos una serie de problemas resolubles en tiempo polinomial mediante reducción a problemas de Logica Simbolica o sumando tecnicas de Geometria Computacional. A continuación se estudia una familia de problemas directamente relacionados con problemas de etiquetado, obteniendo una caracterización completa de la complejidad computacional del problema del trazado sin cruces de triangulos ortogonales en el plano en función del numero de codos, incluyendo la condicion de NP-completitud. Finalmente, se dan condiciones necesarias para que el problema de conexión ortogonal plana sea NP-completo, estudiando asimismo diversos problemas que no verifican alguna de estas condiciones pero que tambien tienen complejidad NP.

Autor: GARCÍA LÓPEZ PEDRO ANTONIO.
Año: 2001.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: UNVIERSIDAD DE MURCIA.

Resumen: En este trabajo se abordan aspectos relacionados con el diseño de arquitecturas software para sistemas colaborativos multi-usuario. Más concretamente, esta tesis se centra en la definición de una plataforma genérica de desarrollo de aplicaciones gropuware basada en componentes. El dominio de aplicación elegido es el de los sistemas multi-usuario de aprendizaje colaborativo sobre servicios distribuidos abiertos. Una aportación relevante de este trabajo de investigación es la definición de un modelo genérico de plataforma de colaboración que considera dos planos diferenciados: el conceptual y el arquitectónico. Desde el punto de vista conceptual define cuatro de servicios colaborativos esenciales: gestión de sesiones, artefactos colaborativos, coordinación y monitorización. Desde el punto de vista arquitectónico define un marco de trabajo orientado a componentes que implementa estos servicios sobre una arquitectura distribuida avanzada. La generación del modelo permite su implementación sobre diferentes plataformas, tecnologías y servicios distribuidos. Otra aportación esencial del presente trabajo es la definición de un marco de trabajo para aplicaciones colaborativas, que extiende un modelo de componentes estándar (JavaBeans), para proporcionarle de modo transparente servicios distribuidos como persistencia remota o un sistema de eventos distribuido. Otros trabajos habían utilizado componentes estándar en entornos de colaboración, pero ninguno había extendido un modelo extendido para proporcionarle servicios distribuidos y de colaboración. Las aportaciones principales de este modelo se sintetizan en: 1,- Se simplifica el desarrollo de componentes de colaboración mediante el uso de un estándar aceptado. 2,- La utilización de los servicios distribuidos y de colaboración se realiza de modo transparente y sin necesidad de adquirir conocimientos de informática distribuida. 3,- Se crea un sistema que integra de modo coherente servicios del modelo de componentes de servidor Enterprise Java Beans con el modelo de componentes del cliente Java Beans. Por último, el modelo de bus de colaboración como eje del sistema constituye también una innovación a destacar. Este bus, construido sobre un sistema de notificación de publicación/suscripción, tiene una doble funcionalidad muy importante: por un lado soluciona el problema de la propagación de estado para las aplicaciones colaborativas mediante la creación de un servicio de eventos distribuido, y por otro lado es una fuente de datos primordial para los sistemas de monitorización de información que se benefician de las capacidades de filtrado del sistema de notificaciones. Aunque otros sistemas colaborativos han utilizado los sistemas de notificaciones para una de esos dos objetivos, ninguna han combinado esta doble funcionalidad definiendo sistemas de monitorización que se combinen de forma idónea con la plataforma de propagación de estado. A lo largo de la memoria, se ilustran las bandades de nuestra propuesta mediante la especificación e implementación de servicios concretos. Entre los servicios desarrollados destacamos un entorno tridimensional de colaboración y un sistema de monitorización de un sistema de aprendizaje.

Autor: TRIVIÑO RODRÍGUEZ JOSE LUIS.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S. INGENIERIA INFORMATICA.

Resumen: Esta tesis presenta un modelo novedoso para el estudio de la dinamica temporal de un sistema basado en las cadenas de Markov de orden variable. Este modelo recibe el nombre de Grafo sufijo de Predicción Multiatributo (MPSG). El enfoque principal de este modelo se basa en representar el estado del sistema por medio de la combinación de los valores de diferentes atributos o características del mismo. De esta forma, este modelo puede entenderse como una extensión de las cadenas de Markov de longitud variable a un sistema multiatributo. Debido a la representación utilizada, el modelo MPSG combina el análisis de la evolución temporal del sistema con el estudio de las relaciones causa/efecto entre los diferentes atributos del mismo. Por tanto, este modelo puede ser considerado también como una extensión de la dimensión temporal de los árboles de decisión. Basándonos en lo anterior, se puede afirmar que el modelo MPSG constituye una unificación de dos de los más importantes modelos existentes: las cadenas de Markov y los árboles de decisión. Respecto a la aplicabilidad práctica de modelo MPSG, considerando la expresividad del modelo de hipótesis elegido, es fácil constatar la existencia de numerosos problemas a los que puede ser aplicado. En esta tesis se muestran dos aplicaciones: Análisis morfológico del castellano y modelado y generación de música. En ambas aplicaciones, este modelo ha obtenido resultados similares o mejores que otros enfoques anteriores.

Autor: SÁNCHEZ MERINO SIXTO.
Año: 2001.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: Estudio y recopilación de los principales sistemas de colas con demandas repetidas, disciplina constante de reintentos, un único servidor y varios flujos de entrada. Se considera el caso básico, el sistema con demandas no persistentes y el sistema con vacaciones en el servidor. También se estudia una variante de estos modelos que considera demandas prioritarias. En este sistema se obtienen resultados considerando, tanto la disciplina clásicas de reintentos como la disciplina constante de reintentos. Para cada uno de ellos, se obtienen expresiones explícitas de las funciones generatrices de probabilidad de la distribución estacionaria del sistema y, a partir de ellas, los índices de productividad más significativos. Para ellos, se realizan un estudio del proceso estocástico asociado y de la cadena de Markov inducida, resolviendo analíticamente las ecuaciones de equilibrio. Además, se realiza un estudio de la ergodicidad del proceso y de la cadena obteniendo una condición necesaria y suficiente para la estabilidad del sistema. Los modelos estudiados aportan una variedad de procedimientos de resolución que pueden ser aplicadas a otros sistemas de colas con varios flujos de entrada y descubren una muestra significativa de técnicas y herramientas útiles de análisis matemático. La unificación de la notación se puede generalizar y adaptar a nuevos sistemas, simplificando notablemente los cálculos y la expresión de los resultados. Se presenta un algoritmo de simulación y se incluye el código fuente de un programa escrito en lenguaje C que utiliza este algoritmo para obtener índices de productividad el sistema básico con la finalidad de proporcionar un modelo elemental de simulador.

Autor: SÁNCHEZ LÓPEZ ANA M. .
Año: 2001.
Universidad: VIGO.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: En esta memoria, se aborda la mejora del comportamiento de los Algoritmos Genéticos con Codificación Real mediante el diseño de operadores de cruce que logren el acertado equilibrio entre la diversidad y la presión selectiva para obtener buenos resultados sobre un amplio abanico de posibles problemas de búsqueda. Para ello, nos centramos en la propuesta y estudio de operadores de cruce con múltiples descendientes homogéneos e hibrídos. Limitamos nuestro estudio a operadores de cruce con múltiples descendientes aplicados sobre dos padres y que operan con un mecanismo de selección de descendientes consistentes en escoger a los dos hijos con mejor adaptación para sustituir a los padres en la nueva población. Esta restricción se realiza para poder analizar aisladamente la influencia de los modelos presentados para la generación de múltiples descendientes sobre la efectividad del operador de cruce. Se ha realizado un estudio profundo de los operadores de cruce aparecidos en la literatura para trabajar con codificación real, y que son aplicable sobre dos padres. En particular se ha realizado una taxonomía que los clasifica atendiendo a las características de los mecanismos de generación de descendientes empleados y a los niveles de diversidad que se derivan de su forma de actuar. Se han diseñado operadores de cruce con múltiples descendientes homogéneos con selección de los dos mejores. Para ello se generan 2,4,6,8,16,32,64 y 128 descendientes, todos ellos con el mismo mecanismo de generación, para estudiar el peso de los múltiples descendientes en la evolución y el aumento de la presión selectiva que lleva asociado el mecanismo de selección. Los operadores que se han utilizado son representativos de cada uno de los grupos de la taxonomía presentada. Además se investiga la influencia que tienen el número de evaluaciones realizadas y el valor de los parámetros de control asociados a algunos de estos operadores. También se proponen diversas versiones de operadores de cruce con múltiples descendientes híbridos. Se han desarrollado operadores que producen 2,4,6 y 8 descendientes, generándose cada descendiente, o par de ellos, con un mecanismo de generación distinto.

Autor: LAVÍN PUENTE VÍCTOR.
Año: 2001.
Universidad: PAIS VASCO .
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA DE LA UPV/EHU.

Autor: TOMEU HARDASMAL ANTONIO JORGE.
Año: 2001.
Universidad: CADIZ.
Centro de lectura: CIENCIAS.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: El objeto de la Tesis Doctoral es la realización de una síntesis de paradigmas: de una parte, el modelo de cálculo teórico de los autónomas celulares; de la otra, los modelos clásicos de cifrado tanto en flujo de bits (cifrados Vernam), como en bloque (redes de Feistel). El resultado final serán criptosistemas clásicos integrando autómatas celulares y ofreciendos unos niveles de seguridad razonables. El primer paso es proceder a definir un criterio que permita el análisis del espacio de autómatas celulares codificados mediante reglas aditivas, de forma automatizada, con el objetivo de lograr una base de datos de muestras que actúen de manera aleatoria. El criterio elegido para la selección ha sido el diseño de una batería de test de aleatoriedad que, integrados en un software de propósito específico permiten el análisis del espacio de reglas citado. Fruto de tal análisis es una base de datos (potencialmente ampliable) que recoge los autónomas celulares con reglas aditivas que superan la batería de test, y para los cuales además se calculan tres parámetros adicionales: distancia media de Hamming interconfiguración, entropía de configuración y entropía temporal. En base a todo ello es posible escoger de entre los autómatas clasificados aquellos que se comportan de forma aleatoria. A continuación se integraron autómatas celulares binarios extraidos de la base de datos en esquemas de cifrado en flujo de bits, realizándose la implementación del cifrado y el correspondiente criptoanálisis estadístico, que fue superado en varios de los casos de estudio. No obstante, la literatura muestra un resultado que establece la isomorfia entre autómatas celulares y registros lineales de desplazamiento realimentado, a partir de la cual es algoritmo de Berlekamp-Massey se constituye en un potencial mecanismo de criptoanálisis capaz de romper la cifra. Para evitarlo, se propone (integrando nuevamente autómatas celulares) las soluciones estándar basadas en la no linealización de las cifras, el uso de un control de reloj y otras. La siguiente fase fue la integración de los autómatas celulares en un red de Feistel correspondiente al esquema DES (Data Encryption Standard), elimando las S-cajas del mismo y sustityéndolas por una autómata celular. Como aportación adicional se diseñó un algoritmo de cálculo de subclaves intermedias dato-dependiente, que dota de una mayor seguridad al cifrado. El posterior criptoanálisis estadístico, previa implementación de la cifra resultó adecuado. Se completó el estudio con la integración de S-cajas junto al autómata celular cifrante, al objeto de incrementar la seguridad. La tercera fase del estudio llevó a plantear la integración de no ya uno, sino varios autómatas celulares de una red de Feistel, para lo cual fue necesario desarrollar el concepto de red de Feistel polifuncional, y desarrollar un argumento formal que mostrase su involutividad, hecho lo cual es correspondiente critpoanálisis estadístico mostró resultados positivo. Finalmente, y únicamente a nivel teórico, se integraron los autómatas celulares en redes de Feistel no equilibradas, que permiten tamaños variables de bloque durante el proceso de cifrado.

Autor: MARHUENDA GARCÍA MARCO ANTONIO.
Año: 2001.
Universidad: MIGUEL HERNANDEZ .
Centro de realización: UNIVERSIDAD MIGUEL HERNÁNDEZ.

Resumen: Sistema de Docencia Virtual de código abierto implementado sobre Linux que mejora los desarrollos de dicha plataforma en funcionalidades de uso etc …, con un protocolo de transferencia de material docente en tiempo real y estadístico variados sobre pruebas tipo test.

Autor: BOLAÑOS MEDINA ALICIA KARINA.
Año: 2001.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: TRADUCCIÓN E INTERPRETACIÓN.
Centro de realización: FACULTAD DE TRADUCCIÓN E INTERPRETACIÓN.

Resumen: Al analizar el estado de la cuestión de la didáctica de la traducción en el ámbito universitario en relación con la realidad profesional, hemos detectado una doble laguna: por un lado, la necesidad de acercar la docencia universitaria de la traducción técnica a las necesidades de la sociedad del conocimiento, y, en particular, a las exigencias de un mercado que ha experimentado cambios drásticos en los últimos años y que continúa en plena evolución; por el otro, la escasez de investigaciones empíricas en el aula de traducción que intenten dar respuesta a esta necesidad. Esta tesis pretende contribuir a llenar, al menos puntualmente y en la medida de nuestras posibilidades, estos vacíos, mediante el diseño de una metodología específica para la enseñanza de la localización de sitios web acorde con las exigencias profesionales y su aplicación en un contexto real de enseñanza universitaria. Nuestro método se apoya en una filosofía de trabajo que concibe la traducción como actividad compartida, aboga por la incorporación de las nuevas tecnologías e incorpora la recreación con fines pedagógicos de todas las fases tanto administrativas como documentales, terminológicas y de traducción de un encargo real. Del análisis de los resultados se concluye, entre otros, que esta metodología innovadora, que parte de los conocimientos previos de los estudiantes y, más concretamente del modelo didáctico general asimilado por ellos en cursos anteriores, resulta eficaz en términos de aprendizaje y motivación por parte de los alumnos, quienes han asimismo valorado positivamente las aplicaciones para la realización de encargos de traducción del entorno virtual de trabajo colaborativo utilizado.

Autor: CARRERA RIUDAVETS FRANCISCO JAVIER.
Año: 2001.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En esta tesis se desarrolla un sistema capaz de resolver y responder a cualquier aspecto morfológico de una palabra del español que abarca todo lo relacionado con la morfología flexiva, derivativa y la prefijación, de cualquier palabra del español, para el establecimiento de relaciones morfosemánticas. Permite el reconocimiento, la generación y la manipulación de las relaciones morfosemánticas a partir de cualquier palabra, así como el del campo morfosemántico al que pertenece, categoría gramatical de la base y de sus palabras relacionadas, incluye la recuperación de toda su información lexicogenética hasta llegar a una primitiva, la gestión y control de los afijos en el tratamiento de sus relaciones, así como la regularidad en la relación establecida y otros aspectos. Se organiza, sobre un corpus suficientemente amplio, un estudio taxonómico, exhaustivo y sistemático de los afijos utilizados en las relaciones morfosemánticas que proporciona una visión global del comportamiento y productividad de las palabras del español en los principales procesos de formación -sufijación, prefijación, parasíntesis, supresión, regresión, modificación-cero, apócope, metátesis y otros no clasificables que generan grafías alternativas- y se establece una descripción pormenorizada de las relaciones entre palabra y afijo en el marco de la funcionalidad, formalidad y semántica. Se obtiene una aplicación diseñada para ser de utilidad a quienes tratan con documentos en español: lexicólogos, analistas de estilo, recuperadores de información textual, traductores, etc. Una intuitiva interfaz gráfica, con manejo de ventanas de diálogo, botones y demás herramientas, facilita la interacción hombre-máquina. Esto supone un primer paso hacia las múltiples posibilidades informáticas y aplicaciones especializadas que deben desarrollarse sobre esta base de conocimiento.

Autor: CORBALÁN GONZÁLEZ JULITA.
Año: 2001.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: DEPARTAMENTO DE ARQUITECTURA DE COMPUTADORES.