INFORMATICA

Autor: FERNANDEZ AMOROS DAVID JOSE.
Año: 2004.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: E.T.S. INGENIERIA INFORMATICA.
Centro de realización: E.T.S.I. DE INFORMATICA UNED.

Resumen: En esta tesis se trata el problema de la desambiguación del sentido de las palabras (i.e. dados un diccionario, una palabra y un contexto, decidir en qué sentido del diccionario se está usando la palabra en el contexto). Las diferentes fuentes de información utilizadas son : 1. La información de origen taxonómico basada en la relación es-un, por ejemplo, un águila es-un pájaro. 2. La información de coocurrencias. Tomando como punto de partida un corpus de casi 300 millones de palabras provinientes de libros en formato electrónico (Proyecto Gutenberg) estudiaremos pares de palabras cuyas apariciones en contextos cortos son estadísticamente dependientes. Utilizaremos varias medidas para calibrar ese grado de dependencia y emplearemos dicha información para desambiguar. 3. Información extraída de la WWW. La información de la glosas del inventario de sentidos serán complementadas con información extraída de la Web. Esta información ha sido extraída de un sistema de clasificación de documentos realizado por voluntarios (Open Directory Project) por Celina Santamaría. 4. Información proviniente de corpora bilingüe comparable. Partiendo de un corpus en inglés y otro en español se han buscado patrones sintácticos superficiales correspondientes a sintagmas nominales en ambos idiomas. A partir de este trabajo realizado por Anselmo Peñas y Fernando López Ostenero estudiaremos si es posible aprovechar las diferencias entre ambos idiomas para detectar estos sintagmas y desambiguar mediante las capacidades translingües de una base de conocimiento léxica (EuroWordNet). Se demostrará que la anotación semántica no supervisada puede lograr buenos resultados, y que hay lineas de investigación, con un importante potencial de mejora, que merecen exploradas.

Autor: IGLESIAS MAQUEDA ANA MARIA.
Año: 2004.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: Uno de los problemas más importantes de los sistemas de educación a distancia es personalizar la enseñanza a cada estudiante, adaptando su política pedagógica dependiendo de las necesidades de aprendizaje que tengan los estudiantes. Los Sistemas de Educación Adaptativos e Inteligentes en Web (del inglés Web-based Adaptive and Intelligent Educational Systems) (SEAIs en Web) son sistemas de educación basados en Internet donde se aplican técnicas de inteligencia artificial con el objetivo de adaptar el contenido del sistema a los estudiantes. Definir políticas pedagógicas efectivas en estos sistemas es uno de los principales problemas de los SEAIs en Web, decidiendo qué, cómo y cuándo mostrar el contenido del curso a los estudiantes. En el trabajo realizado en la presente tesis doctoral se propone definir el problema de soporte adaptativo a la navegación a través del contenido del sistema y de presentación de dicho contenido como un problema de Aprendizaje por Refuerzo. Al aplicar el modelo de aprendizaje por refuerzo en el módulo pedagógico del sistema, éste será capaz de aprender automáticamente la mejor política pedagógica para cada estudiante individualmente, basados únicamente en la experiencia adquirida con otros estudiantes de características de aprendizajes similares, como hace el tutor en las aulas.

Autor: MIGALLON GOMIS HECTOR FRANCISCO.
Año: 2004.
Universidad: MIGUEL HERNANDEZ.
Centro de lectura: E.T.S. DE ELCHE.
Centro de realización: E.T.S.DE ELCHE.

Resumen: EN LA TESIS SE CONSTRUYEN VARIOS ALGORITMOS ITERATIVOS PARA LA RESOLUCIÓN DE SISTEMAS DE ECUACIONES NO LINEALES EN PARALELO. LA CONVERGENCIA DE DICHOS MÉTODOS SE ESTUDIA PARA UN TIPO UN TIPO IMPORTANTE DE MATRICES, LAS H-MATRICES, QUE ADEMÁS ABARCAN OTRAS CLASES DE MATRICES INTERESANTES. EL PRIMER GRUPO DE MÉTODOS, ESTÁ BASADO EN LA TÉCNICA DE MULTIPARTICIÓN, EN PARTICULAR SE HAN UTILIZADO MODELOS NO ESTACIONARIOS. LAS MULTIPARTICIONES HAN SIDO OBTENIDAS CON FACTORIZACIONES INCOMPLETAS LU. EL SEGUNDO GRUPO DE MÉTODOS ESTÁ BASADO EN LA TÉCNICA DE MULTIPARTICION EN DOS ETAPAS, PARA LA OBTENCIÓN DE LAS PARTICIONES EXTERNAS SE HA HECHO USO DEL MÉTODO DE JACOBI POR BLOQUES, Y PARA LAS PARTICIONES INTERNAS SE HA HECHO USO DE FACTORIZACIONES INCOMPLETAS LU. AMBOS MÉTODOS SE HAN OPTIMIZADO CON LA INTRODUCCIÓN DE UN PARÁMETRO DE RELAJACIÓN, Y LA APLICACIÓN DE LAS MODIFICACIONES DE SHAMANSKII Y DE CHORD, ESTUDIANDO EN TODOS LOS CASOS LOS CRITERIOS DE CONVERGENCIA. EN ESTA MEMORIA, ADEMÁS DE ANALIZAR TEÓRICAMENTE LOS MÉTODOS DESARROLLADOS, SE ESTUDIA, DESDE UN PUNTO DE VISTA EXPERIMENTAL, EL COMPORTAMIENTO DE DICHOS MÉTODOS AL SER IMPLEMENTADOS EN DIVERSAS MÁQUINAS PARALELAS DE MEMORIA DISTRIBUIDA. SE ESTUDIA SU EFICIENCIA Y SE COMPARAN CON OTROS MÉTODOS PARALELOS, MOSTRANDO EL BUEN COMPORTAMIENTO DE LOS MISMOS. ASIMISMO SE HACE UN ANÁLISIS DE LOS MÉTODOS Y PARÁMETROS A ESCOGER ANTE UN PROBLEMA DADO.

Autor: Salamó Llorente María.
Año: 2004.
Universidad: RAMON LLULL.
Centro de lectura: E.T.S. D'ENGINYERIA ELECTRÓNICA I INFORMÁTICA.
Centro de realización: E.T.S. D'ENGINYERIA ELECTRÓNICA I INFORMÁTICA.

Resumen: La tesis se enmarca en el Razonamiento Basado en Casos, concretamente en la potenciación de la fase de recuperación para su aplicación en problemas de clasificación. El objetivo que se plantea es aportar ideas innovadoras para la mejora de la fase de recuperación del Razonamiento Basado en Casos a partir de diferentes perspectivas. Estas perspectivas surgieron a partir de un estudio previo donde se detectaron tres puntos claves de la fase de recuperación. Todas las propuestas parten de una misma base teórica, la teoría de los Rough Sets. A pesar de esta base común, cada una de las propuestas discierne de la otra según la forma de manipular y aproximar los conjuntos de atributos o de casos. La primera perspectiva que realiza esta tesis busca diferentes métodos para aproximar la relevancia de los atributos, dada la clara dependencia de los métodos de ponderación de atributos con la función de similitud utilizada en la fase de recuperación. La segunda perspectiva se concentra en los métodos para la selección de atributos. El paso entre los métodos de ponderación y selección es ínfimo. Por este motivo, se describen las pautas a seguir en un esquema de selección básico, el cual parte de los métodos de ponderación para conseguir métodos de selección de atributos. Como última perspectiva, se trata el conocimiento o memoria de casos que utilizará el sistema de Razonamiento Basado en Casos. El rendimiento de la fase de recuperación está también relacionado con la calidad de la memoria de casos y, por lo tanto, su mantenimiento es un punto clave en esta fase. Esta tesis propone un esquema para la selección de atributos y un modelo para el mantenimiento de la memoria de casos, los cuales permiten el uso de diferentes políticas sin necesidad de cambiar el propio algoritmo. Las diferentes políticas para el mantenimiento de la memoria de casos evolucionadas hacia el modelo permiten además del mantenimiento, la dispersión de la memoria de casos. La tesis se complementa con un análisis del comportamiento de la totalidad de las propuestas siguiendo una metodología y un análisis estadístico. La evaluación de las diferentes propuestas ha permitido comprobar su comportamiento frente a algoritmos similares de la bibliografía.

Autor: Beato Gutiérrez María Encarnación.
Año: 2004.
Universidad: VALLADOLID.
Centro de lectura: Departamento de Informática.
Centro de realización: Departamento de Informática.

Resumen: El lenguaje unificado de modelado (UML) posee ventajas incuestionables como técnica visual de modelado, lo que ha hecho que su aplicación creciese rápidamente desde el momento de su nacimiento. A las características propias de UML hay que unirle que existen en el mercado numerosas herramientas que ayudan en su utilización (Rational Rose, Argo UML, Rhapsody ...) pero, desafortunadamente ninguna de ellas garantiza la corrección de la especificación. Sin embargo, está comúnmente aceptado que la detección errores en las fases tempranas del desarrollo reduce el coste y el tiempo de desarrollo de manera sustancial, ya que los errores detectados no son transmitidos ni amplificados en las fases posteriores. Por ello, sería de gran utilidad una herramienta que permitiese la integración de este método semi-formal de desarrollo con algún método formal que posibilite la verificación del sistema. En este trabajo se presenta una herramienta denominada TABU (Tool for Active Behaviour of UML) que realiza esta integración, proporcionando un marco formal para la verificación del comportamiento activo de UML. La herramienta realiza una transformación automática, completa y sin intervención del usuario, del comportamiento activo recogido en UML a una especificación en SMV, centrándose principalmente en sistemas reactivos. Para todo ello, utiliza como formato de entrada XMI (XML Metadata Interchange), lo que la hace independiente de la herramienta utilizada para la especificación del sistema. Por otro lado, la herramienta presenta un asistente versátil que guía al usuario en la escritura de propiedades a verificar, utilizando lógicas temporales. La verificación se realiza de manera que el usuario no necesite disponer de conocimientos ni de lenguajes formales, ni de lógicas temporales para aprovechar su potencia, algo que tradicionalmente ha supuesto un obstáculo difícil de superar a la hora de decidirse por el uso de métodos formales. Además, no se requieren nociones sobre la forma de la especificación obtenida, es decir, no necesita conocer la estructura interna de variables o módulos que se ha obtenido, para verificarlo.

Autor: LAGE GONZALEZ JULIO.
Año: 2004.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA .
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: En este trabajo se presenta un enfoque para diseñar holísicamente, es decir, como un todo, sistemas de gestión de conocimiento a partir de iniciativas parciales: mejores prácticas, mapas de conocimientos, en espacial páginas amarillas, sistemas de lecciones aprendidas, memorias institucionales, etc.

Autor: IMBERT PAREDES RICARDO .
Año: 2004.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA .

Resumen: Tradicionalmente, aspectos tales como la simulación de comportamientos o la toma de decisión han sido relacionados con la modelización de procesos puramente racionales. En la última década, la tecnología favorita para obtener dicho propósito ha sido la de los agentes: su capacidad para reaccionar ante acontecimientos de su entorno, al tiempo que aprovechan las oportunidades que surgen para actuar en pos de sus objetivos, amén de su naturaleza autónoma y sus posibilidades de interacción social con otros pares y usuarios les hace, aparentemente, idóneos para este tipo de áreas. Sin embargo, la percepción generalizada es la de que los comportamientos de estos agentes -individualmente y en su interacción con otros pares- aún distan mucho de los que se pueden reconocer, por ejemplo, en los humanos. Esto es debido, en parte, a que el comportamiento humano no es puramente racional, sino que se ve fuertemente influenciado por una componente emocional, que ha sido sistemáticamente menospreciada. La idea dominante de que las emociones son sinónimo de comportamientos pasionales y tendentes a la pérdida de control, las ha convertido en proscritas para este tipo de sistemas, cuando lo cierto es que, convenientemente definidas y modeladas, se convierten en una fuerza complementaria a la puramente racional, capaz de explicar muchos de los comportamientos que ésta, por sí sola, es incapaz de producir. No obstante, la incorporación de un modelo emocional dentro de una arquitectura de agente no es trivial, y los esfuerzos realizados hasta la fecha en este sentido presentan ciertos inconvenientes, entre ellos la dificultad manifiesta para ser adaptados a distintos tipos de contextos y problemas sin que ello suponga un elevado coste, tanto computacional como de esfuerzo humano. La solución aportada por el presente trabajo es la propuesta de una arquitectura de carácter eminentemente emocional, de vocación genérica, para el módulo cognitivo de los agentes, denominada COGNITIVA. Su potencia principal es la separación que traza entre sus estructuras y funciones propias, y el contexto de aplicación, lo que permite, mediante un proceso de aplicación incremental, diseñado también como parte de esta tesis, adaptarla a distintos entornos y problemáticas con una flexibilidad considerable.

Autor: COMPAÑ ROSIQUE PATRICIA.
Año: 2003.
Universidad: ALICANTE.
Centro de lectura: Escuela Politécnica Superior.
Centro de realización: Escuela Politécnica Superior.

Resumen: El problema central de esta tesis es la correspondencia en el campo de la visión estereoscópica tratando de avanzar es aspectos poco tratados como el color. Éste es un problema que conlleva varias dificultades. Una de ellas viene dada por la complejidad que supone el emparejamiento de ítems correspondientes a la misma región de la escena en varias imágenes (dos en nuestro caso).En este trabajo, se aporta un modelo para estimar la correspondencia de un par estereoscópico que utiliza como técnica para enfrentarnos a dicho problema un método de relajación estocástica: el algoritmo simulated annealing. Se avanza en este contexto a través de las siguientes aportaciones:· Se ha incorporado información de distinto tipo a la función de energía, con la intención de aumentar la robustez del modelo. Se ha llevado a cabo diseñando una función de energía que integra información relativa a valores de intensidad de gris, color, transformadas no paramétricas y restricciones geométricas.· Se ha diseñado una métrica para medir la distancia entre dos colores en el modelo de color HLS. Esta medida trata de potenciar, al igual que lo hace el sistema visual humano, la diferencia en cromaticidad, aunque también se tenga en cuenta las diferencias en luminosidad y saturación. La medida de similitud aportada refleja también el hecho de que cuando la saturación de un color presenta un valor bajo, la componente que indica la cromaticidad no aporta información para caracterizar dicho color, es más, puede dar lugar a que colores muy parecidos visualmente, resulten muy diferentes en su valor de cromaticidad. Cuando se produce este caso resulta conveniente obviar la información de cromaticidad y considerar las otras componentes del color.· Se ha definido una métrica para valorar la calidad de un mapa de disparidad de una manera objetiva.· Se ha llegado a la conclusión de que la información de color mejora y acelera el proceso de obtención de un mapa de disparidad

Autor: DUARTE MUÑOZ ABRAHAM.
Año: 2003.
Universidad: REY JUAN CARLOS.
Centro de lectura: UNIVERSIDAD REY JUAN CARLOS.
Centro de realización: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.

Resumen: EN ESTA TESIS DOCTORAL SE INTRODUCE UNA NUEVA METAHEURÍSTICA LLAMADA ALGORITMOS SOCIALES JERÁRQUICOS O ALGORITMOS HS, QUE SE INSPIRA EN LAS ESTRUCTURAS Y EN EL COMPORTAMIENTO JERÁRQUICO QUE SE OBSERVA EN DIVERSIDAD DE ORGANIZACIONES HUMANAS. LA IDEA FUNDAMENTAL DE LOS ALGORITMOS HS RESIDE EN LA OPTIMIZACIÓN SIMULTÁNEA DE UN CONJUNTO DINÁMICO DE SOLUCIONES FACTIBLES Y DISJUNTAS. EL PROBLEMA SE MODELA COMO UNA SOCIEDAD QUE SE DIVIDE JERÁRQUICAMENTE EN GRUPOS, DONDE CADA GRUPO DE LA SOCIEDAD REPRESENTA UNA SOLUCIÓN FACTIBLE. EN LA EMPLEMENTACIÓN MÁS SENCILLA, ESTOS GRUPOS SE DISTRIBUYEN INCIALMENTE DE FORMA ALEATORAI SOBRE EL ESPACIO DE SOLUCIONES. MEDIANTE LAS ESTRATEGIAS DE EVOLUCIÓN SOCIAL, CADA GRUPO COMPITE CON SUS GRUPOS VECINOS, ENCONTRANDO SOLUCIONES MEJORES. EN ESTA EVOLUCIÓN SOCIAL, LOS GRUPOS DE PEOR CALIDA TIENDEN A DESAPARECER, ENRIQUECIENDO A LOS GRUPOS DE MEJOR CALIDAD. AL FINAL DEL PROCESO SOCIAL SÓLO SOBRVIVE UN GRUPO QUE CONTIEN LA SOLUCIÓN AL PROBLEMA PLANTEADO. LOS ALGORITMOS HS SE HAN APLICADO CON ÉXITO A LA RESOLUCIÓN DE PROBLEMAS COMBINATORIOS QUE PERTENECEN TANTO A LA CLASE P COMO NP. EL PRIMER PROBLEMA QUE SE HA RESUELTO UTILIZANDO LA METAHEURÍSTICA PROPUESTA ES EL PROBLEMA DEL CIRCUITO CRÍTICO EN UN GRAFO DIRIGIDO EN CUALQUIERA DE SUS VERSIONES: MÁXIMO CICLO MEDIO, MÁXIMA RELACIÓN BENEFICIO TIEMPO Y SUS VERSIONES DUALES, MÍNIMO CICLO MEDIO Y MÍNIMA RELACIÓN COSTE TIEMPO. LA RESOLUCIÓN DE CUALQUIERA DE ESTAS CUATRO VARIANTES SE LLEVA A CABO A TRAVÉS DE UNA GENERALIZACIÓN Y REINTERPRETACIÓN DEL ALGORITMO DE HOWARD EN EL MARCO DE LOS ALGORITMOS HS. ADEMÁS, SE INTRODUCEN UNA SERIE DE OPERADORES SOCIALES QUE MEJORAN EL COMPORTAMIENTO DEL ALGORITMOS ORIGINAL. PARA CONOCER LA EFICIENCIA DE LA METAHEURÍSTICA PROPUESTA, ÉSTA SE HA COMPORTADO EXPERIMENTALMENTE CON LOS ALGORITMOS DE KARP, LAWLER + BELLMAN-FORD ADAPTATIVO Y HOWARD. EN SEGUNDO LUGAR, LOS ALGORITMOS HS SE HAN APLICADO A PROBLEMAS DE PLANIFICACIÓN DE TAREAS EN EL MAROC DE LA OPTIMIZACIÓN DE BUCLES CON RECURSOS ILIMITADOS (SOFWARE PIPELINING). ESTA TÉCNICA CONSISTE EN SOLAPARA DISTINTAS ITERACIONES DEL BUCLE CON EL OBJETIVO DE CONSEGUIR PARALELISMO A NIVEL DE INSTURCCIOÓN. EL PROCESO SE DIVIDE EN DOS ETAPAS. EN LA PRIMERA DE ELLAS SE DETERMINA EL LÍMITE DE ITIRACIÓN (ITERATION BOUND) Y LA FUNCIÓN DE RESINCRONIZADO ESCALADO (SCALED RETIMING), PARA LO CUAL SE UTILIZAN LOS RESULTADOS OBTENIDOS EN LA PRIMERA APLICACIÓN DE LOS ALGORITMOS HS. LA SEGUNDA ETAPA CONSISTE EN ENCONTRAR LA PLANIFICACIÓN ÓPTIMA (LUGAR Y TIEMPO) DE LAS TAREAS QUE SE EJECUTAN EN EL BUCLE. LOS PROBLEMAS CONSIDERADOS SON : DFGs CON LÍMITES DE MAYOR QUE EL LÍMITE DE ITERACIÓN. EN TODOS ESTOS CASOS SE PROPONE UN MÉTODO QUE CONSIGUE LA PLANIFICACIÓN DE ÍNDICE ÓPTIMO. PARA TENER UNA MEDIDA CUANTITATIVA, EL MÉTODO PROPUESTO SE COMPARA EXPERIMENTALMENTE CON EL RESINCRONIZADO, EL DESPLEGADO Y DEL RESINCRONIZADO EXTENDIDO. EN TERCER LUGAR, LOS ALGORITMOS HS SE HAN APLICADO AL PROBLEMA DEL PARTICIONADO DE GRAFOS (MAX-CUT), QUE CONSISTE EN ENCONTRAR UNA DIVISIÓN DE UN GRAFO EN DOS SUBCONJUNTOS DISJUNTOS N Y P, DE TAL FORMA QUE SE MAXIMIZA LA SUMA DE PESOS DE ARCOS CARACTERIZADOS POR TENER UN EXTREMO EN N Y OTRO EN P. ESTE PROBLEMA ES NP-DURO PARA GRAFOS NO PLANOS. PARA EVALUAR LAS PRESTACIONES DE LOS ALGORITMOS HS, ÉSTOS SE COMPARAN CON UNA IMPLEMENTACIÓN DE GRASP Y UN ALGORITMO MEMÉTICO. FINALMENTE, LOS ALGORITMOS HS SE HAN APLICADO A UN PROBLEMA DE SEGMENTACIÓN JERÁRQUICA DE IMÁGENES BASADO EN REGIONES. EL MÉTODO PROPUESTO SE BASA EN EL MODELADO DE UNA IMAGEN COMO UN GRAFO NO DIRIGIDO, EL CUAL SE PARTICIONA SUCESIVAMENTE EN PARES DE REGIONES CARACTERIZADAS POR SER LAS MÁS SIGNIFICACTIVAS DE LA IMAGEN. ESTE PROCESO SE MANTIENE HASTA SATISFACER UN DETERMINADO CRITERIO. LA TAREA DEL PARTICIONADO DEL GRAFO SE RESUELVE POR MEDIO DE UNA VARIANTE DEL PROBLEMA DEL CORTE MÁXIMO, CONOCIDA COMO CORTE NORMALIZADO, UTILIZANDO LOS ALGORITMOS HS. CON OBJETO DE EVALUAR LAS PRESTACIONES DE LA NUEVA METAHEURÍSTICA, SE COMPARA SU RENDIMIENTO CON EL DE UN ALGORITMO MEMÉTICO.

Autor: LOPEZ VALLES JOSE M..
Año: 2003.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: En esta tesis se propone una nueva alternativa para el análisis estereo de la profundidad de una escena, a partir de la información de movimiento obtenida en base al Efecto de Permanencia. Los mapas de carga obtenidos a partir de las secuencias derecha e izquierda permiten analizar las correspondencias de una manera sencilla y robusta. Una vez obtenido el mapa de profundidades una nueva aplicación del Efecto de Permanencia posibilia el análisis del movimiento (velocidad y aceleración) en el marco de referencia de la escena.

Autor: FRISS DE KEREKI GUERRERO INES PATRICIA.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: Se presenta un modelo de entornos de aprendizaje basados en la gestión del conocimiento (GC). Un entorno de aprendizaje es el espacio donde es posible gestionar el conocimiento o, mejor dicho, el desconocimiento. La GC se puede considerar como el proceso de integrar la información, extraer sentido de información incompleta y renovarla. El modelo se tratará de que sea aplicable a cualquier dominio de contenido intelectual, que permita actualizar los contenidos, que contenga estrategias genéricas de enseñanza que se adapten al comportamiento del estudiante y que fomente los diferentes tipos de aprendizaje. En el modelo presentado, se combinan la gestión del conocimiento con el uso de ontologías, áreas tradicionalmente no vinculadas en los entornos de aprendizaje. Para unificar los criterios sobre cuáles conceptos de conocimientos se presentarán, es necesario definir y formalizar los diferentes tipos de conocimiento a través de una ontología. Se incluye una conceptualización sobre los tipos de conocimiento, basada en ontologías reutilizables. El modelo fue implementado en Java. El entorno desarrollado PLE:ASE ("Programming Learning Environment: an Approach to Software for Education") fue aplicado y evaluado en un curso de 1er. año de Programación Orientada a Objetos, con estudiantes de Ingeniería en Sistemas en Universidad ORT Uruguay. Se constató que el uso del entorno permite al estudiante mejorar o ampliar las formas de resolución de problemas y sus capacidades para realizar la transferencia del conocimiento. En resumen, un modelo original es presentado, pues es diferente a todos los analizados, aplicable, pues su viabilidad quedó demostrada a través del sistema PLE:ASE, eficiente, de acuerdo a los resultados de la experimentación y basado en la GC y sus técnicas, pues permite explorar, evaluar y manejar el conocimiento activamente.

Autor: PROCEL MORENO MAURICIO JORGE.
Año: 2003.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: FACULTAD DE INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: Este trabajo trata de los métodos y técnicas empleados en la búsqueda y localización de documentos a partir de una pregunta del usuario, es decir puede enmarcarse dentro de disciplina general denominada Recuperación de Información. Dentro de ésta, nos vertemos más en el conjunto de técnicas que en la actualidad se usan más como soporte a buscadores en la web -aunque no son exclusivos de ésta-, al ser técnicas que se utilizan también en búsquedas en bases de datos documentales y otros usos. Dentro de este contexto, el trabajo se encuentra en la línea basada en el análisis e interpretación de las frecuencias de los términos presentes en un documento o colección de documentos y de que en base a dicho análisis se puede establecer cuáles son los términos relevantes de los mismos. En consecuencia se puede tener un criterio no solo frecuentista sino semántico para que dichos documentos puedan ser encontrados por medio de preguntas de usuarios basados en palabras clave. Concretamente se propone un conjunto de mejoras a los métodos clásicos mediante mecanismos que permiten la contextualización de los términos estimados como "relevantes". En consecuencia el sistema podría llegar a reformular su pregunta acorde a los resultados de la primera búsqueda y llegar así a una precisión mucho mayor en amplitud (menos documentos encontrados) y en profundidad (documentos más ajustados a la pregunta efectuada por el usuario. Dicho mecanismo se basa en el establecimiento de algunos tipos de relaciones entre los términos de una pregunta y a la reformulación de dicha pregunta contra los sistemas estándares basados en los modelos de Espacio Vectorial de los espacios de información. El trabajo se ha basado en algunos estudios previos que iban en esa misma dirección (contextualización de los términos tanto en las preguntas como en los documentos), ya fuera considerando la totalidad del vocabulario existente en los documentos (Yonggang Qiu) o bien mediante una selección previa de los términos según aparecen en un documento mejor "calificado" por medio del llamado "análisis local del contexto" (Jinxi Liu). Tanto estos dos modelos como el propuesto en este trabajo de tesis se corresponden con la idea de "retroalimentación de la seudo relevancia", sin que para ello se tenga que recurrir al usuario que formuló la pregunta. El modelo que se presenta llega a resultados mejores que los anteriores como demostramos experimentalmente mediante la inclusión de un "Marco relativizador" que llega a determinar con mayor acierto el valor que corresponde a los términos que se emplean por el sistema en la reformulación de una pregunta del usuario.

Autor: SANZ TAPIA ELOY RAFAEL.
Año: 2003.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: El objetivo principal de este trabajo ha sido proponer un modelo general de coevolución cooperativa en el que la asignación de crédito a la subsoluciones que forman la sollución candidata se realiza atendiendo a diferentes criterios. El modelo propuesto ha sido aplicado principalmente en dos tipos de problemas: cobertura de vectore; evolución de superficies de respuesta. En ambos problemas se ha obtenido una mejora significativa de los resultados en medias, al combinar diferentes criterios de asignación de crédito. Además, el modelo desarrollado es fácilmente aplicable a diferentes tipos de problemas, siendo el principal aspecto a tner en cuenta la división del problema, permitiendo de esta manera que cada subproblema sea asignado a una población de subcomponentes para su evolución.

Autor: ASTRAIN ESCOLA JOSE JAVIER.
Año: 2003.
Universidad: PUBLICA DE NAVARRA.
Centro de lectura: DEPARTAMENTO DE MATEMATICA E INFORMATICA .
Centro de realización: DEPARTAMENTO DE MATEMATICA E INFORMATICA.

Resumen: En este trabajo se propone una herramienta que permite medir la similaridad entre cadenas, trabajando con cadenas imperfectas de símbolos. Se presenta un autómata fuzzy que da lugar a distintas familias de distancias de edición en función de los parámetros empleados por dicho autómata. Este autómata absorbe la decisión de un clasificador de símbolos previo capaz de determinar un grado de confianza en su decisión. La capacidad de trabajar con errores de edición y la inclusión de las decisiones tomadas en la etapa de clasificación previa hacen que el autómata fuzzy sea una contribución relevante dentro del contexto planteado en este trabajo. Cabe destacar que el autómata admite todos los tipos posibles de errores de edición sin imponer un límite al número de ocurrencias de ninguno de los tipos. Como aportación particular, se demuestra que la distancia de Levehnstein generalizada es un caso particular de una de las familias que pueden obtenerse del autómata fuzzy. Se formula el autómata fuzzy y se deforma para que sea capaz de trabajar con cadenas de símbolos fuzzy. Para dotar de la rigurosidad exigida a este trabajo, se plantea la formulación teórica del autómata fuzzy conforme a la teoría de conjuntos fuzzy correspondiente. Una vez demostrada la solidez de la teoría anteriormente expuesta, se extiende el autómata fuzzy para que pueda operar con cadenas de símbolos fuzzy, dando lugar al autómata fuzzy deformado. El autómata deformado permite retardar la toma de decisiones sobre los símbolos individuales, permitiendo de este modo que se aporte información de similaridad a símbolos. Se establecen una serie de experimentos para validar la bondad de las herramientas propuestas y comparar los resultados obtenidos con otras técnicas propuestas en la Literatura. Estos experimentos se ralizan dentro del ámbito más estudiado en la literatura: el reconocimiento de escritura, para poder comparar los resultados obenidos dentro de un corpus de prueba conocido. Una vez mostrada la capacidad de los autómatas fuzzy y fuzzy deformado para abordar problemas de reconocimiento imperfecto de símbolos, se propone abordar un problema industrial de máxima actualidad mediante dichas herramientas. Se trata de aplicar las técnicas desarrolladas a la gestión de calidad de servicio en sistemas de comunicaciones móviles. Se comprueba como puede emplearse la teoría desarrollada para resolver el problema de la predicción de trayectorias de móviles.

Autor: CUENCA MUÑOZ ANTONIO JAVIER.
Año: 2003.
Universidad: MURCIA.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA.

Resumen: En esta memoria se describe un proyecto de desarrollode software paralelo de álgebra lineal con capacidad de adapatarse automáticamente a las condiciones de su entorno con el objetivo de optimizar sus prestaciones. Se aplican distintos tipos de ajuste automáticos: número de procesadores a utilizar, topología lógica de estos procesadores, tamaño del bloque de cálculo, distribución del trabajo a realizar entre los procesadores, selección de la mejor librería en cada momento de entre las disponibles (polilibrerías) y elección del mejor algoritmo con el que resolver un problema de entre varios equivalentes(polialgoritmos). La metodología planteada es válida para distintos tipos de plataformas paralelas que se pueden programar, con un alto grado de eficiencia, mediante el paradigma de paso de mensajes. El problema del ajuste automático se ha abordado desde un punto de vista unificado, a partir del modelo analítico del tiempo de ejecución de cada rutina. Este modelo cuenta con una estructura teórica que define el comportamiento general de la rutina, sobre la que se introducen, en forma de parámetros del sistma, las características de la plataforma, de su software básico y de sus condiciones de carga de trabajo en cada momento. En plataformas donde la carga de trabajo no sufre importantes variaciones, el ajuste de la rutina se realiza en la fase de instalación.En el caso de plataformas donde la carga de trabajo oscila notablemente se ha ideado un proceso de ajuste en dos fases. Durante la instalación de la rutina se recogen las características estáticas de la plataforma para, más tarde, en el momento de la ejecucción, recoger los datos sobre la carga del sistema y realizar un ajuste de los datos inciales en función de esta carga.Los resultados alcanzados muestran cómo las rutinas se adaptan perfectamente a las características de la plataforma. El sistema software propuesto se integra en la estructura jerárquica de librerías de software de álgebra lineal clásica, de manera que para generar la información de las rutinas pertenecientes a librerías de niveles superiores se reaprovechan los datos obtenidos por las rutinas de los níveles inferiores, siguiendo el mismo patrón de reutilización existente de manera implícita en esta jeraquía de librerías.

Autor: VALDÉS VELA MERCEDES.
Año: 2003.
Universidad: MURCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El Modelado Difuso es un enfoque efectivo para la generación de modelos que utiliza un lenguaje descriptivo basado en la lógica difusa. Estos modelos se suelen extraer de los datos entrada-salida acerca de un sistema objetivo utilizando combinaciones de técnicas que, a menudo, se hacen de una manera ad hoc. Se acusa, por tanto, la falta de herramientas en las que estas combinaciaones se hagan de una manera flexible y unificada. En este trabajo, por tanto, el objetivo final es el diseño de una herramienta en la que se pueden hibridar técnicas para formar estrategias que resuelvan el proceso de modelado difuso. Para llevar a esa fase de diseño, sin embargo, se requiere un análisis previo de las técnicas de modelado difuso desde una perspectiva modular. Por tanto, en esta tesis se aborda un proceso de análisis de dichas técnicas para, en la segunda parte perfilar los fundamentos de diseño de un marco para la especificación de técnicas para, en al segunda parte perfilar los fundamentos de diseño de un marco para la especificación de técnicas de modelado difuso. Podemos resumir las aportaciones de esta tesis en los siguientes puntos: -Un marco para la especificación de técnicas de selección de variables en el DDFM. En el contexto del AC, las dimensiones a tener en cuenta a la hora de definir y clasificar técnicas de selección de variables han sido muy estudiadas. Sin embargo, hasta ahora no se había definido un marco similar para las técnicas de selección de variables en DDFM. -Una visión modular de las distintas técnicas de DDFM.Con ello queremos decir que el análisis de los métodos de DDFM realizado en al primera parte de esta tesis, se ha llevado a cabo considerándolos como módulos que requieren unas entradas y provocan unos efectos de salida. Esta visión de las técnicas facilita su combinación para formar estrategias de nivel superior, ya sea siguiendo el enfoque METHOD o a través de otras metodologías y plataformas que surjan para la hibridación en DDFM. -La identificación de distintos esquemas de interacción mediante los que se hibridan algoritmos para formar mecanismos de DDFM. -La comprobación de que las estrategias híbridas de DDFM son un enfoque válido para el modelado de sistemas complejos, mediante la realización de algunas experiencias de modelado(tanto en problemas reales como de "laboratorio"). -La definición de las informaciones a tener en cuenta a la hora de describir qué fases del DDFM es capaz de resolver una técnica, así como un mecanismo sistemático para, dada un técnica, definir sus capacidades en el contexto del DDFM. -Las funcionalidades necesarias para hibridar técnicas estrategias de nivel superior y para derivar, automáticamente, las capacidades de la estrategia compuesta a partir de las de sus componentes.

Autor: GONZÁLEZ LORCA FRANCISCO JESÚS.
Año: 2003.
Universidad: MURCIA.
Centro de lectura: COMUNICACIÓN Y DOCUMENTACIÓN .
Centro de realización: FACULTAD DE COMUNICACIÓN Y DOCUMENTACIÓN.

Resumen: Se presenta un trabajo de investigación en torno a los sistemas de automatización de flujo de trabajo, dividido en dos partes. La primera alberga los contenidos teóricos de la investigación . En primera instancia se analiza las causas de la alta dependencia tecnología que sufren las organizaciones, la cual ha originado el fenómeno denominado paradoja de la productividad y que pone de manifiesto sobre todo la carencia de integración entre los elementos integrantes de los sistemas de la organización. Esta situación no es exclusiva de la organización privada, pues la Administración Pública también la sufre. Ésta, se caracteriza por su funcionamiento besado en servicios canalizados a través de flujos de documentos y actividades. De esta forma, se propone el término oficina como concepto representativo del trabajo que tiene lugar en entornos documentales. A la oficina puede aplicarse una estructuración basada en niveles que representa, tanto el trabajo que se desarrollo como la tecnología necesaria para automizarlo. Este esquema posibilita su comparación con la estructura de la tecnología Groupware, articulada en las funciones de Comunicación, Colaboración y Coordinación, para verificar la viabilidad de su aplicación en estos entornos. La función de Coordinación es sobre la que se sustentan los Sistemas de Automatización de Flujo de Trabajo, aplicaciones orientadas a la integración de los elementos de un proceso y a proporcionar dinamismo y eficiencia en su gestión. Se presentan las definiciones, orígenes, estructura, funcionamiento, estándares y tipologías de este tipo de herrramientas, que serán la base de la sección práctica de la investigación. En la segunda parte del trabajo se propone una metodología para llevar a cabo la implantación real de un sistema de automatización de flujo de trabajo en entornos corporativos, tras comprobar la inviabilidad de MÉTRICA, como metodología específica para el desarrollo de sistemas de información, en proyectos concretos de implantación de este tipo de herramientas informáticas. El estudio se basa en el análisis de un procedimiento administrativo desarrollado en el entorno de la Administración Local mediante la aplicación de las especificaciones de la fase de Planificación de Sistemas de Información de MÉTRICA. Finalmente, y como complemento a la metodología propuesta, se ofrece un método de selección basado a la identificación y ponderación de criterios relevantes para estas aplicaciones, que facilita el proceso de su adquisición. Descriptores: Sistemas de automatización de flujo de trabajo, Metodología de implantación, MÉTRICA, Administración Pública, Automatización de oficinas.

Autor: PAULE RUIZ M. PUERTO.
Año: 2003.
Universidad: OVIEDO.
Centro de lectura: CIENCIAS DE LA EDUCACIÓN.
Centro de realización: DEPARTAMENTO DE INFORMÁTICA, MODULO 1, VIESQUES.

Resumen: En esta tesis se propone un sistema denominado Feijoo.net. Feijoo.net está implementado bajo el paradigma de la orientación a objetos y con tecnologías Web. Propone un modelo de adaptación basado en los estilos de aprendizaje. Los estilos de aprendizaje son la manera que cada persona tiene de aprender. Hay muchas clasificaciones de estilos de aprendizaje, pero la clasificación que se escoge en Feijoo.net es la clasificación del Test de CHAEA. Clasificar al usuario es un primer paso fundamental para conseguir cursos on-line de calidad. Es fundamental conocer carcterísticas del usuario para poder adaptar el contenido y la presentación de dicho contenido de un curso que se publica en al Web. Actualmente los sistemas de publicación de contenidos en la Web que no tienen en cuenta las características ni cognitivas ni perceptivas del usuario, quedando la visualización de dichos contenidos como sí de un libro se tratase. Feijoo.net realiza la adaptación de contenidos al estilo de aprendizaje del usuario. La adaptación de contenidos se hace a través de un proceso que empieza con la programación didáctica de una asignatura, sigue con la inserción de los contenidos adaptados de cada una de las unidades didácticas de las cuales consta la asignatura, continúa con la visualización de contenidos adaptados para el estudiante y finaliza con la evaluación de contenidos por parte del alumno. Fianlmente, Feijoo.net tiene en cuenta a dos agentes fundamentales: el profesor y el alumno. Ambos son piezas claves en el sistema y en el proceso de enseñanza-aprendizaje.

Autor: GONZALEZ TALLADA MARC.
Año: 2003.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: DEPT. ARQUITECTURA DE COMPUTADORS.
Centro de realización: ARQUITECTURA DE COMPUTADORS.

Resumen: This thesis is centered in the parallel programming for shared- memory architectures. Current parallel shared-memory machines are becoming larger (from 32 up to 1024 processors), leading to very high programming complexity. Although several programming models for this architectures have been proposed, recently, OpenMP has been adopted as the reference standard for the majority of vendors. One of the new features available in the OpenMP programming model is the definition of the nested parallelism. Typically the loop level parallelism is the most exploited source of parallelism in numerical applications. Several recent studies have shown that with large systems, the loop level parallelism is not enough to feed the number of processors available in the architecture. Nested parallelism appears as the way to continue increasing performance. This thesis studies the nested parallelism exploitation and proposes several mechanisms for having an efficient exploitation. The thesis contributions take form of two main extensions to the OpenMP programming model. First, the introduction of the thread groups concept in the model Second, a proposal for including in the language the possibility of coding explicit point-to-point thread synchronizations in the form of precedence relations among the work originated in the work-sharing constructs The thesis work includes a significant effort in the implementation of a powerful research platform in OpenMP topics. The platform is composed by a compiling system, supporting the majority of OpenMP constructs plus the extensions proposed in this thesis. An OpenMP runtime has been designed, starting from nthe Nthlib thread runtime, supporting the Nanothread Programming Model. The Nthlib has been modified in order to be adapted to support the OpenMP programming model. The two proposals in the thesis have been implemented inside the NthLib thread library. All the proposals have been evaluated with real applications. The evaluation has been done using some applications from the SpecOpenMP suite, the NAS benchmarcks suite and other individual applications plus some synthetic benchmarks. All the obtained results have validated the proposals. It is important to mention that the two proposals in the thesis have caused significant discussions in the Architectural Review Board (ARB), the committee in charge of the definition of the OpenMP language. Because of that been, the research group where the thesis work has been developed, has been invited in the Futures Committee, the organism in charge of the study of all the proposals to be included in the OpenMP language.

Autor: QAZZAZ BAHJAT.
Año: 2003.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: ESCUELA SUPERIOR DE INGENIERIA .
Centro de realización: ESCOLA TÈCNICA SUPERIOR D'ENGINYERIA (ETSE).