INFORMATICA, 3

Autor: MARICHAL PLASENCIA ROBERTO LUIS.
Año: 2002.
Universidad: LA LAGUNA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: En esta tesis se plantea el objetivo de hacer menos opaca la representación interna de una clase particular de redes neuronales dinámicas, mediante el análisis de las dinámicas no lineales posibles. Dada la capacidad de representación de una red de este tipo, capaz de emular casi cualquier sistema dinámico, el llevar a cabo esta tarea por completo resulta imposible. Por ello, se han fijado como objeto de análisis sistemas sencillos de una y dos neuronas (espacios de estados de una y dos dimensiones). Aun así, en el sistema de dos neuronas se encuentran dinámicas tan complejas como caos, órbitas cuasiperiódicas y configuraciones con múltiples puntos fijos. Cada una de estas dinámicas, así como las transiciones entre ellas (bifurcaciones) han sido objeto de estudio. Además de hacer explícito el funcionamiento de las redes, se pretendía también utilizar ese conocimiento en el problema del entrenamiento, que en este tipo de sistemas es muy complejo y constituye uno de los problemas prácticos fundamentales. Se intenta elaborar un catálogo con las bifurcaciones presentes en el sistema, tarea necesariamente incompleta debido a su complejidad, salvo en el caso simple de una sola neurona. Aquí la herramienta fundamental es la forma normal, que permite determinar las condiciones para la aparición de cada bifurcación. Se han interpretado las dinámicas en términos de la forma de las trayectorias más comunes, así como los de los dominios de atracción de los conjuntos invariantes que las determinan. Se ha prestado especial atención a las trayectorias cuasiperiódicas y las bifurcaciones que las originan, estableciendo condiciones sobre su estabilidad. Las configuraciones caóticas también han sido objeto de estudio especial, intentando caracterizar la aparición y forma de los atractores. Desde el punto de vista experimental se han tratado diferentes problemas, al objeto de estudiar las dinámicas de las redes que una vez entrenadas, los resolvían, así como de obtener conclusiones sobre los métodos de entrenamiento. Los tres principales problemas tratados han sido la detección de dos patrones temporales simples, la caracterización de la señal de un tipo de potencial evocados visual y el problema de identificación de una planta correspondiente a un motor de corriente continua controlado en el inducido.

Autor: CARBONELL SOTO LORENZO.
Año: 2002.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: * Historia de los Estudios Oficiales de Informática en España desde sus comienzos en 1969 hasta nuestros días. * Análisis de las propuestas curriculares de los estudios en informática más significativas anteriores a 1992. * Revisión de las principales teorías Sociológicas sobre relación entre educación y logro laboral. * Encuesta a los licenciados en la titulación de Informática en la Universidad de Alicante en el periodo 1984-2001 referida a: - Su periodo de formación. - Su periodo laboral-profesional. * Análisis descriptivo y de relación de los datos obtenidos en la encuesta. PROPÓSITO Recabar información sobre los titulados en Informática en la universidad de Alicante durante el periodo de 1984-2001.

Autor: MARCOS MORA M. CARMEN.
Año: 2002.
Universidad: ZARAGOZA.
Centro de lectura: FILOSOFÍA Y LETRAS.
Centro de realización: UNIVERSIDAD DE ZARAGOZA.

Resumen: La disciplina conocida como Interacción Persona-Ordenador se ocupa de estudiar tanto la parte tecnológica como la parte humana en la relación de las personas en el uso de los aparatos, y apuesta por la mejora de las interfaces de manera que éstas sean fáciles de usar e intutivas para los usuarios. La aplicación de estos estudios al diseño de interfaces de sistemas de recuperación de información mejorará los sistemas actuales llevando a un uso más eficiente de los mismos. La inclusión de la visualización como forma de presentar la información también va a contribuir a mejorar la interacción de las personas con los sistemas de recuperación de información, tal y como demuestran algunas aplicaciones que ya se han desarrollado en este ámbito, si bien por el momento son pocos los sistemas que se han implementado en entornos reales. Centrándonos en las interfaces de los sistemas de recuperación de información, y concretamente en los catálogos automatizados de las bibliotecas accesibles a través de la Web, se exponen los problemas que estos sistemas plantean a los usuarios en la búsqueda por materias y en la fase de identificación de documentos relevantes a su necesidad de información. Se propone un modelo conceptual con características que llevarían a solucionar -o al menos a paliar- esos inconvenientes. En futuros trabajos podría realizarse un prototipo para evaluar hasta qué punto la propuesta mejora la satisfacción de los usuarios. Este trabajo debería llevarse a cabo interdisciplinar integrado por especialistas en Ciencias de la Documentación, Informática, Diseño, Ergonomía, Psicología, Sociología y Lingüística.

Autor: ALARCÓN SÁNCHEZ PEDRO ANTONIO DE.
Año: 2002.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA DE INGENIERÍA INFORMÁTICA, U.A.M..

Resumen: El procesamiento, análisis y almacenamiento en bases de datos de imágenes tridimensionales constituyen tareas cruciales en multitud de disciplinas científicas como en el caso de las imágenes obtenidas en medicina mediante tomografía axial computerizada. En el caso particular de imágenes de macromoléculas biológicas, el creciente aumento en el número y calidad de los datos estructurales de macromoléculas biológicas producidos mediante técnicas de microscopía electrónica y procesamiento de imagen, demandan la creación de herramientas informáticas que faciliten su análisis, almacenamiento y recuperación en bases de datos. Sin embargo, los estudios sobre la representación, comparación estructural y análisis de propiedades geométricas para estructuras moleculares descritas en forma de mapas tridimensionales de intensidad a media o baja resolución representan una fracción ínfima si se compara con aquellos disponibles para datos de alta resolución representan una fracción ínfima si se compara con aquellos disponibles para datos de alta resolución. En el presente trabajo doctoral se aborda el problema de la extracción y cuantificación de propiedades. La pieza clave, y objetivo principal del trabajo de tesis, es la obtención de un modelo geométrico de representación (y su algoritmo de construcción) a partir de imágenes tridimensionales de intensidad. Dicho modelo debe cumplir ciertas propiedades: * Representación eficiente y compacta repecto al volumen original. * Representación de la superficie del objeto y los valores de intensidad en el interior del mismo. * Codificación de la geometría y topología del objeto tridimensional. * Computación automática. Además, dentro del contexto del análisis estructural de macromoléculas biológicas el modelo de representación debe hacer posible: * Cuantificación automática de métricas asociadas al volumen, superficie y tamaño de las macromoléculas. * Segmentación, análisis y medida automáticas de sub-estructuras moleculares como cavidades y canales. * Recuperación por contenido geométrico en bases de datos estructurales. * Integración y análisis conjunto de estructuras en todos los rangos de resolución (integración multirresolución). Los resultados alcanzados han sido aplicados a un campo de aplicación específico, sin embargo, la aplicación en otras disciplinas científicas donde se trata con imágenes tridimensionales de intensidad es directa.

Autor: COBOS PÉREZ RUTH.
Año: 2002.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: La Web puede considerarse como la herramienta de compartición de conocimiento e información más universal y extendida hoy en día. Sin embargo, este medio presenta el problema de la sobrecarga de información. Hay demasiada información y es difícil identificar la que es de utilidad. Se han realizado distintos esfuerzos para poder trabajar con la creciente masa de información y conocimiento que nos encontramos en la Web, siendo este trabajo de tesis una alternativa en esta dirección. En esta tesis se propone gestionar el conocimiento de una comunidad de usuarios mediante un mecanismo que permita la compilación de conocimiento de forma distribuida e incremental, de manera que un determinado corpus de conocimiento, tras la interacción con sus usuarios, evolucione a un estado más refinado o estructurado. El objetivo del mecanismo es conseguir cristalizar el conocimiento de una comunidad de usuarios como resultado de las interacciones de sus componentes, sin la necesidad del trabajo de ningún editor o persona encargada de esta tarea. El conocimiento que cristaliza es aquel que es el más aceptado por la comunidad, mientras que por contra, el conocimiento que no obtiene suficiente aceptación es candidato a ser eliminado del área de conocimiento de la comunidad. Es importante destacar que el conocimiento de la comunidad está en evolución y presenta distintos estados de madurez. Por lo tanto, se plantea proporcionar mecanismos distintos de trabajo en las distintas fases por las que pasa el conocimiento de la comunidad. Inicialmente, cuando no hay suficiente masa crítica de conocimiento e interacciones sobre él, se hace necesaria la figura de un grupo coordinador encargado de realizar las principales tareas de evaluación del conocimiento. En el momento en el que se consigue la suficiente masa crítica entonces el mecanismo de cristalización se basa en el trabajo de evaluación colaborativa de comunidades virtuales de expertos. Para poder en práctica el mecanismo planteado se ha diseñado e implementado un sistema de trabajo en grupo para la gestión del conocimiento en entorno a Web: KnowCat ("Knowledge Catalyser" o "catalizador de conocimiento"). Este sistema permite a una comunidad de usuarios compartir, evaluar y estructurar su conocimiento colectivo, con el fin de poder obtener en cada momento el conocimiento relevante y de calidad sobre el área de conocimiento de su interés. Las hipótesis que fundamentan la propuesta planteada para la gestión del conocimiento de una comunidad de usuarios y los mecanismos de cristalización del conocimiento propuestos, y que además sustentan el diseño del sistema KnowCat, han sido corroboradas satisfactoriamente con la realización de diversas experincias, durante los últimos cinco años académicos. Las experincias realizadas nos dan evidencias de que el sistema es útil para motivar a comunidades de usuarios a que compartan su conocimiento con el fin de construir entre todos un repositorio activo de conocimiento de calidad.

Autor: PASCUAL MONTANO ALBERTO DOMINGO .
Año: 2002.
Universidad: AUTONOMA DE MADRID.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INFORMÁTICA.

Resumen: Se presenta un sistema para la organización de datos n-dimensionales en una representación de menro dimensión, de manera no lineal y no supervisada. Los tipos de métodos presentados aquí son usualmente conocidos como mapas auto-organizativos y son parecidos, aunque no idénticos, a los bien conocidos mapas auto-organizativos de Kohonen. La idea básica es una combinación de agrupamiento de datos (clustering) y proyección suave de estos en un espacio de dimensión menor (usualmente una malla bi-dimensional). El sistema propuesto consiste en versiones modificadas del funcional del bien conocido algoritmo de agrupamiento c-medias difuso, donde los centros de grupos o vectores diccionarios se encuentran distribuidos en una malla regular de baja dimensionalidad, para lo cual se adicciona a los funcionales un término de penalización con el objetivo de garantizar una distribución suave de los valores de los vectores diccionarios en dicha malla. En uno de los casos la fidelidad a los datos y los vectores diccionarios, y en el otro caso el nuevo funcional está basado en la estimación de la densidad de probabilidad de los datos de entrada. Se presentan además cuatro aplicaciones prácticas de los métodos propuestos en el campo de la bioinformática y la biología computacional: clasificación de imágenes de microscopía electrónica, clasificación de volúmenes tomográficos, modelado de forma y topología en imágenes tridimensionales y exploración de datos de expresión génica.

Autor: ANCHORENA SERGIO OSCAR.
Año: 2002.
Universidad: PAIS VASCO.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En esta tesis se integra la Teoría de los Juegos Evolutivos y los Sistemas de Eco-Gramáticas (EG) como herramientas que permiten modelar el comportamiento de los Sistemas Complejos. Se elaboran modelos de EG simples (SEG) capaces de desarrollar las principales dinámicas, de este tipo de sistemas evolutivos: Equilibrio dinámico, a través de Estrategias Evolutivamente Estables; Caos, con las dinámicas de la ecuación Logística y Autocatálisis, a través de las dinámicas del Bruselador, modelo de autocatálisis cruzada. Se integran los tres casos en un modelo más general de juego evolutivo, que extiende al clásico y que se ha llamado "Juego Estratégicamente Orientado" (JEO). Se realizan también aportes a la teoría de EG: su formulación y clasificación en términos de eco-agentes, introduciendo en los modelos reproducción, muerte y, desarrollo y adaptación de los agentes. Se analizan las dinámicas de PArikh normalizadas generadas por estos sistemas, asimilándolas a las producidas por los replicadores de los JEO.

Autor: LOSADA GARCÍA LUIS JAVIER.
Año: 2002.
Universidad: LAS PALMAS DE GRAN CANARIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La presente tesis se engloba en la línea de los trabajos realizados por el GEDLC de la ULPGC durante los últimos años, en el ámbito de las aplicaciones orientadas a la lingüística computacional. A partir de los trabajos de reconocimiento y generación morfológica automáticos se pasa al siguiente nivel en el campo de la lingüística: la sintaxis. En esta tesis se han logrado soluciones a los problemas que se producen a la hora de realizar la automatización de la sintaxis. Como resultado de los trabajos realizados se han desarrollado dos motores DeFuSE -Desambiguador Funcional de Sentencias del Español- y AMoSinE -Analizador Morfo-Sintáctico del Español. DeFuSe de orienta a los procesos de desambiguación funcional sirviendo como base para aplicaciones de niveles superiores. La desambiguación funcional se ha desarrollado en función de un estudio de las relaciones de vecindad en el seno de las estructuras básicas de la gramática española -los sintagmas. Permite además la posibilidad de tener en consideración o no las palabras antiguas o desusadas permitiendo su mejor adaptación a textos antiguos o actuales. AMoSinE se trata de un motor orientado al análisis de las estructuras sintácticas de una sentencia, almacenando estas y poniéndolas ha disposición de otras aplicaciones. El motor se basa en una definición en forma de reglas simples de la gramática española; las cuales son utilizadas durante el proceso de generación de árboles de representación que son generados a través del algoritmo de tipo chart árboles múltiples virutales al que se le incorporan una serie de mecanismos de poda a los que hemos denominado desambiguación estructural. Este motor no parte de la sentencia en sí, sino que utiliza los resultados de DeFuSe. En ambos casos se han desarrollado interfaces de usuario dando lugar a dos aplicaciones finales.

Autor: ÁLVAREZ MACÍAS JOSÉ LUIS.
Año: 2002.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA .
Centro de realización: E.T.S. DE INGENIERÍA INFORMÁTICA.

Resumen: El objetivo perseguido en esta tesis viene motivado por la inquietud de resolver, mediante la aplicación de algoritmos evolutivos (AE), dos problemas detectados en el sistema C4.5. El primero de ellos, es la limitación para inducir modelos de clasificación con fronteras no ortogonales y el segundo, la escasa adecuación de los resultados para facilitar la interpretación a un experto humano. Una primera contribución, en relación con el primer problema, ha sido el desarrollo de la herramienta CGO cuya base es el propio C4.5 y un AE. Esta herramienta dispone de las ventajas del C4.5 y, mediante el AE, tiene la capacidad de inducir modelos de clasificación oblicuos. Por otro lado, se ha desarrollado COBLI que, mediante un AE, permite inducir un modelo de clasificación oblicuo no jerárquico. Los hiperplanos que conforman este modelo de clasificación determinan regiones no ortogonales en el espacio de búsqueda para cada una de las clases. Finalmente, en relación con el primer problema, se presenta la herramienta CGC basada, al igual que CGO, en el C4.5 y un AE, con la diferencia que, esta última, induce modelos de clasificación basados en superficies cónicas. Esta herramienta presenta como ventaja la posibilidad de inducir regiones de una clase, incluidas dentro de una región de otra clase. El segundo problema, sobre el que se ofrecen mejoras, es la preocupación por acercar el modelo de clasificación inducida hacia una fácil interpretación por parte de un experto humano. Así, se ha implementado la herramienta ELIPSES que, como CGC, está basada en la inducción de regiones cónicas. A diferencia de CGC, ésta ofrece un modelo semicualitativo del conocimiento extraído y una visualización gráfica. Finalmente, esta tesis contribuye, en el campo de la ingeniería del software, a la mejora de los procesos de desarrollo. Para ello, se ha aplicado ELIPSES a un conjunto de bases de datos generadas mediante la simulación de un modelo dinámico. Los resultados ofrecidos aportan conocimiento para analizar proyectos una vez finalizados o para tomar decisiones sobre futuros proyectos en los que se deban satisfacer una planificación inicial de coste, tiempo y calidad.

Autor: MATA VÁZQUEZ JACINTO.
Año: 2002.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S. DE INGENIERÍA INFORMÁTICA.

Resumen: El trabajo desarrollado en esta tesis doctoral se sitúa dentro del proceso de extracción de conocimiento en bases de datos (KDD, Knowledge Discovery in Databases), y más concretamente en el área del aprendizaje no supervisado. Aunque sin olvidar el resto de las etapas del KDD, este trabajo se centra en la fase de Minería de Datos (Data Mínimo), y como técnica para la obtención de conocimiento, el objeto de estudio han sido las reglas de asociación. Actualmente existen numerosos algoritmos eficientes para encontrar este tipo de reglas pero la mayoría de ellos trabajan con bases de datos transaccionales o requieren que los dominios de los atributos de la base de datos sean discretos. Pero en el mundo real existen numerosas bases de datos donde la información es numérica. La mayor parte de las herramientas que trabajan sobre dominios continuos simplemente se limitan a discretizar dichos dominios mediante alguna estrategia concreta para tratarlos, posteriormente, como si fueran discretos. Nosotros pensamos que los métodos de discretización desvirtúan, en cierta medida, el resultado final de las reglas obtenidas, al no tener en cuenta, durante el proceso de división de los dominios numéricos, algunas de las medidas indicadoras del interés de las reglas de asociación, como pueden ser el soporte y la confianza. Esta tesis propone una herramienta que extrae reglas de asociación en bases de datos numéricas. El proceso de discretización, es decir, la búsqueda de los intervalos más adecuados para cada dominio numérico, se realiza en el propio proceso de búsqueda, no en un paso anterior. Ante la imposibilidad de poder establecer una heurística que decida, de forma precisa, la división de los dominios numéricos, hemos optado por la utilización de los algoritmos evolutivos como estrategia de búsqueda de los límites de los intervalos más precisos desde la óptica de las reglas de asociación.

Autor: MORENO GONZÁLEZ M. AUXILIADORA.
Año: 2002.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA Y ESTADÍSTICA.

Resumen: Debido a sus múltiples aplicaciones, el diseño de redes es uno de los problemas más estudiados dentro de la Geometría Computacional. El problema que se plantea es el de concectar una nube de puntos mediante una buena red, donde la calidad de la red se medirá según lo que se requiera de ella. Así, en muchos de estos problemas es interesante encontrar grafos con pocas aristas que aproximen la distancia entre cada pareja de puntos. Estos grafos llamados spanners han sido ampliamente estudiados, principalmente en la métrica euclídea. Sin embargo, puesto que en muchos casos las redes son ortogonales, la métrica que refleja las distancias entre los puntos es la métrica L1. En este trabajo consideramos el problema de la construcción de spanners en la métrica L1, no sólo adaptando métodos ya conocidos para la métrica euclídea sino diseñando nuevos métodos basados en las propiedades geométricas específicas de esta métrica. Además, hacemos un estudio más detallado para el diseño de redes sin cruces y redes sin ciclos.

Autor: REYES COLUMÉ PEDRO.
Año: 2002.
Universidad: SEVILLA .
Centro de lectura: MATEMÁTICAS.
Centro de realización: FACULTAD DE INFORMÁTICA Y ESTADÍSTICA.

Resumen: El etiquetado es una de las grandes áreas de investigación dentro de la Geometría Computacional. Así lo avalan la gran cantidad de trabajos que, motivados por sus aplicaciones en diferentes áreas como la Cartografía, se elaboran por parte de la comunidad científica internacional y el gran número de conferencias y encuentros que sobre la materia se realizan periódicamente. Este interés queda refrendado por el hecho de que la ACM lo incoropora como área preferente de investigación dentro del campo de la Geometría Computacional. Dentro de este campo, y debido a la enorme complejidad de sus problemas, aparecen multitud de variantes del problema general. Una de estas variantes es la consistente en el etiquetado de puntos con etiquetas rectangulares. Esta variante presenta dos modelos: etiquetado con etiquetas fijas, donde cada etiqueta puede ser colocada en un número finito de puntos, y etiquetado con etiquetas deslizantes, de forma que cada etiqueta puede ser colocada de forma que el punto quede situado a cualquiera de los puntos del contorno de la etiqueta. En numerosos problemas de etiquetado (redes de metro, mapas de carretera) los puntos a etiquetar son alineados. Estos modelos de etiquetado son el objeto de estudio de la primera parte de la memoria, donde se estudiará la complejidad computacional de los distintos problemas que se pueden plantear, tanto cuando los puntos estén situados sobre una línea horizontal como en una línea oblicua. Estudiaremos en esta primera parte tanto los problemas de decisión como los correspondientes problemas de optimización del tamaño de las etiquetas. Motivado por la naturaleza NP-dura de uno de estos problemas (el correspondiente a etiquetados de puntos alineados sobre una línea horizontal con etiquetas rectangulares deslizantes) y de otro problema de etiquetado (etiquetado con etiquetas rectangulares de área mínima y vértices prefijados) y la relación de estos problemas que da origen a todos ellos (problema de conexión de parejas con puntos trazados ortogonales con lo sumo un codo), en la segunda parte de la memoria presentaremos algoritmos de aproximación para estos problemas de optimización del número de etiquetas. Realizaremos esta aproximación tanto mediante algoritmos deterministas, como mediante el uso de los algoritmos genéticos, con la particularidad de que la codificación presentada es la misma para los tres problemas, a pesar de que los problemas de decisión asociados a cada uno de ellos son de distinta naturaleza ya que uno de ellos es polinomial, y los otros dos son NP-completos, siendo uno de ellos fuertemente NP-completo, mientras que el otro admite un algoritmo pseudo-polinomial.

Autor: MORENO VELO FRANCISCO JOSÉ.
Año: 2002.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA.
Centro de realización: INSTITUTO DE MICROELECTRÓNICA DE SEVILLA - CNM.

Resumen: Los sistemas de inferencia basados en lógica difusa se utilizan en multitud de aplicaciones entre las que cabe citar los sistemas expertos (como sistemas de análisis financiero, de diagnóstico médico o de toma de decisiones), el reconocimiento de patrones (con múltiples aplicaciones en visión artificial y reconocimiento de voz, entre otras) o los sistemas de control (como sistemas de navegación de vehículos y de robots y todo tipo de controladores industriales). Esta Tesis presenta un entorno de desarrollo de sistemas difusos, llamado Xfuzzy 3.0, cuya características más importantes es su capacidad para diseñar difusos muy complejos. Con esta finalidad se ha definido un lenguaje de especificación formal, llamado XFL3, que contempla aspectos cmo la definición de sistemas jerárquicos (que facilita la descripción modular de los sistemas), el uso de modificaciones lingüísticos y operadores relacionales (que dan al lenguaje una alta expresividad para describir relaciones complejas de forma compacta) y la posibilidad de ampliar libremente el conjunto de funciones asociadas a cada operación a desarrollar en el proceso de inferencia. El entorno está formado por un amplio conjunto de herramientas, dedicadas a faciliar las diferentes etapas de desarrollo de un sistema difuso: descripción, ajuste, verificación y síntesis. De especial interés resulta la herramienta de ajuste automático, que contiene un gran número de algoritmos de aprendizaje supervisado que pueden ser aplicados a los sistemas difusos con independencia de su grado de complejidad. El trabajo incluye un buen número de ejemplos de aplicación de estas herramientas. Entre ellos cabe destacar el de un sistema difuso para controlar el aparcamiento en batería de un vehículo autónomo, que se ha desarrollado desde la etapa de descripción inicial hasta su implantación con éxito sobre un vehículo eléctrico.

Autor: MARTÍNEZ MONÉS ALEJANDRA.
Año: 2002.
Universidad: VALLADOLID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE CIENCIAS.

Resumen: El uso de medios computacionales en el dominio del Aprendizaje Colaborativo Asistido por Ordenador o CSCL (Computer Supported Collaborative Learning) ha sido considerado una oportunidad para la investigación, no sólo para la definición de nuevos escenarios de aprendizaje, sino también como soporte a la evaluación de los mismos. Este documento trata con detalle el problema del apoyo computacional a la evaluación formativa de aspectos participativos del aprendizaje en entornos CSCL. La motivación inicial del mismo fue la necesidad de refinar el marco DELFOS en aspectos relacionados con la evaluación de los procesos de aprendizaje apoyados por las aplicaciones diseñadas por medio de dicho marco. Como punto de partida teórico se ha adoptado la perspectiva del aprendizaje situado, que enfatiza la interdependencia entre contexto y aprendizaje, de forma que cada uno de ellos no se puede estudiar sin el otro. Como consecuencia de ello se extrae la necesidad de plantear la evaluación desde un enfoque interpretativo, y de tomar la acción -entendida como el reflejo de la subjetividad humana en un determinado contexto-como unidad básica para el análisis. Se propone un método mixto de evaluación que describe cómo integrar fuentes de datos y métodos de análisis de diferente origen y naturaleza en un esquema global que busca la complementariedad entre dichos datos y métodos. Las fuentes de datos incluyen observaciones, cuestionarios, grupos de discusión y datos recogidos automáticamente por el sistema. En cuanto a los métodos de análisis, se introducen métodos cuantitativos, cualitativos, y de análisis de redes sociales. El proceso de evaluación se apoya en una serie de herramientas, entre las que dstaca SAMSA, desarrollada para el apoyo automático al análisis de redes sociales. El análisis automático se apoya en un modelo de la acción colaborativo y la representación del mismo en XML. En ella se incluyen aspectos relacionados con el contexto de la acción, que adopta y extiende conceptos que ya habían sido propuestos en DELFOS. Las acciones se representan en un enfoque de abajo hacia arriba, cuya ventaja principal es que los elementos que constituyen la representación pueden ser proporcionados potencialmente por todo sistema que apoye la colaboración. El nivel de abstracción definido es apropiado para dar soporte a funciones de análisis de interacción. El uso de XML como lenguaje para la representación aporta varias ventajas, debidas fundamentalmente a su condición de estándar ampliamente aceptado. Ambas propuestas, método y modelo, han sido definidas y validadas de forma interativa, en un caso de estudio longitudinal, consistente en la evaluación formativa de una asignatura universitaria donde se aplicó una metodología basada en proyectos y apoyada por un sistema CSCL. Adicionalmente, las porpuestas se han probado en otras dos experiencias de características diferentes al caso inicial. En conjunto, las tres experiencias han permitido comprobar la validez de las propuestas para un amplio rango de situaciones de colaboración, así como identificar posibilidades de ampliación que se incluyen dentro de las propuestas de trabajo futuro.

Autor: SORIANO CAMINO FRANCISCO JAVIER.
Año: 2002.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA (UNIVERSIDAD POLITÉCNICA DE MADRID).

Resumen: La tesis presenta un modelo de arquitectura para gestión holónica de sistemas y servicios distribuidos mediante sociedades de agentes autónomos, cuyos objetivos fundamentales son el incremento del grado de automatización asociado a las tareas de gestión, el aumento de la escalabilidad de las soluciones de gestión, soporte para delegación tanto por dominios como por macro-tareas, y un alto grado de interoperabilidad en entornos abiertos. A partir de estos objetivos se ha desarrollado un modelo de información formal de tipo semántico, basado en lógica descriptiva que permite un mayor grado de automatización en la gestión en base a la utilización de agentes autónomos racionales, capaces de razonar, inferir e integrar de forma dinámica conocimiento y servicios conceptualizados mediante el modelo CIM y formalizados a nivel semántico mediante lógica descriptiva. El modelo de información incluye además un "mapping" a nivel de meta-modelo de CIM al lenguaje de especificación de ontologías OWL, que supone un significativo avance en el área de la representación y el intercambio basado en XML de modelos y meta-información. A nivel de interacción, el modelo aporta un lenguaje de especificación formal de conversaciones entre agentes basado en la teoría de actos ilocucionales y aporta una semántica operacional para dicho lenguaje que facilita la labor de verificación de propiedades formales asociadas al protocolo de interacción, así como el aprendizaje automático de este último. Se ha desarrollado también un modelo de organización holónico y orientado a roles cuyas principales características están alineadas con las demandadas por los servicios distribuidos emergentes e incluyen la ausencia de control central, estabilidad, capacidades de reestructuración dinámica, capacidades de cooperación, y facilidades de adaptación a diferentes culturas organizativas. El modelo incluye un submodelo normativo adeucado al carácter autónomo de los holones de gestión basado en las lógicas modales deontológica y de acción.

Autor: MARBÁN GALLEGO ÓSCAR.
Año: 2002.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Data Mining surgió como línea de investigación a finales de la década de los 80 con el propósito de buscar una solución al problema de descubrimiento de conocimiento en bases de datos. El conocimiento adquirido de las bases de datos se utiliza para dar soporte a los procesos de toma de decisiones en las empresas. En este sentido, el desarrollo de técnicas de Data Mining sirvió como soporte para los proyectos de CRM. Desde entonces son muchos los proyectos de este tipo que se han venido desarrollando en todo tipo de organizaciones. Sin embargo, aún a día de hoy estos proyectos se realizan sin una estimación clara de ningún tipo de recursos. Como consecuencia, si bien son muchos los proyectos que se han terminado con éxito, son numerosas las referencias de fracasos de proyectos de Data Mining por falta de estimación al comienzo de los mismos. Los veinte años de investigación en Data Mining han dado como resultado un gran número de referencias bibliográficas referente a algoritmos de descubrimiento, sin embargo, son escasas las referencias que abordan el problema de aplicación de Data Mining en una empresa desde la perspectiva de la Ingeniería del Software. De hecho la única aproximación es la definición del modelo de proceso estándar CRISP-DM. Tanto los estándares de modelo de proceso para desarrollo de software como el propuesto de CRISP-DM incluyen procesos y tareas similares con relación a la generación del Presupuesto y del Plan de proyecto. En el caso de desarrollo de software, la estimación de la duración y del esfuerzo que llevará la realización del proyecto se apoya en múltiples métodos de estimación como SLIM, SEER-SEM, PRICE-S o COCOMO, entre otros. Si lo que se trata es de hacer la estimación para un proyecto de Data Mining estos métodos no resultan apropiados, dado que su entrada principal es el tamaño de software a desarrollar, y en los proyectos de Data Mining no se trata de desarrollar software. Aunque para ciertos tipos de problemas de Data Mining hay métodos de estimación en fases avanzadas del proyecto no hay un método genérico de estimación, cuyos resultados, esfuerzo y tiempo, sirvan como punto de partida para realizar el plan de proyecto y el presupuesto. Esta es la motivación central de este trabajo de tesis doctoral en el que se propone establecer un método paramétrico de estimación para proyectos de Data Mining. Con este propósito se definen en esta tesis los principales drivers de coste para establecer, basándose en proyectos reales y mediatne regresión lineal la ecuación del modelo.

Autor: FUERTES CASTRO JOSÉ LUIS.
Año: 2002.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La calidad del software es fundamental en todo desarrollo informático, aunque no se le presenta suficiente atenciáon, quizás debido a los escasos trabajos en este tema hasta la fecha. Se plantea la necesidad de un modelo de calidad completo, presentando un nuevo modelo de calidad, obtenido tras un estudio pormenorizado de los modelos de calidad existentes, centrado en el paradigma orientado a objetos (00). Este modelo descompone la calidad del software en una serie de factores y éstos en un conjunto de criterios con atributos medibles con medidas. El modelo incluye un conjunto de criterios con atributos medibles con medidas. El modelo incluye un conjunto de medidas, diseñadas para su aplicación dentro de la 00. Se ha diseñado un método de aplicación del modelo para que pueda ser utilizado por los desarrolladores de sistemas 00. Este trabajo, ha llenado un hueco existente en esta área, pues no existen modelos de calidad completos para la 00; aunque hay medidas para la 00, no se han asociado a los atributos que determinan la calidad del software, por lo que su utilidad resulta basante cuestionable y nunca se ha asociado un modelo de calidad con un método de aplicación, por lo que su utilidad quedaba considerablemente mermada, quedando a expensas de la habilidad y experiencia del Ingeniero del Software que lo utilizara. El modelo de calidad se ha validado realizando un juego de experimentos, que han consistido en la aplicación del modelo sobre una serie de sistemas 00. Los resultados han demostrado su utilidad práctica para determinar la calidad global de los sistemas y para identificar aquellas partes susceptibles de ser mejoradas.

Autor: EIBE GARCÍA SANTIAGO.
Año: 2002.
Universidad: POLITECNICA DE MADRID .
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El objetivo principal de esta tesis es contribuir con el desarrollo de la tecnología de redes activas abordando el problema que supone la devaluación del rendimiento en los nodos activos de la red debido al procesamiento del código asociado a los paquetes activos. A tal efecto se plantea y diseña una propuesta de arquitectura de modo activo en cluster.

Autor: GARRIDO TEJERO ANTONIO.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INFORMÁTICA APLICADA.

Resumen: En la última década se ha producido un rápido avance en los algoritmos de planificación automática dentro del área de la inteligencia artificial. Esto ha venido motivado por los importantes retos planteados por los procesos de planificación y optimización, tanto en su vertiente de investigación teórica como en su vertiente de apliación práctica. El rápido avance de los algoritmos de planificación ha permitido que dichos algoritmos hayan madurado lo suficiente para que se utilicen en un gran campo de aplicaciones prácticas. Este avance se debe, en gran medida, a la aproximación basada en grafos de planificación. Dicha aproximación supuso un importante punto de inflexión en la investigación en planificación al manejar una estructura compacta que codifica eficientemente información sobre la estructura del problema. No obstante, los dominios de planificación se han venido simplificando de una forma tan estricta que los resultados obtenidos son difícilmente aplicables a entornos reales. Afortunadamente, la investigación más reciente permite abordar características más complejas, como por ejemplo: 1,- Gestión explícita de la temporalidad de los planes. 2,- Definición de modelos de acciones más expresivas. 3,- Utilización de técnicas heurísticas para mejorar el rendimiento del planificador. 4,- Razonamiento sobre la utilización de recursos. 5,- Especificación de un entorno no determinista y con incertidumbre. El trabajo realizado en esta tesis se centra, principalmente, en las tres primeras características y su objetivo es el de avanzar en el conocimiento de la problemática temporal en dominios más expresivos de planificación, utilizando una aproximación basada en grafos de planificación. Esta tesis describe la relación entre los procesos de planificación y scheduling y plantea, en primer lugar, un sistema de planificación temporal (TPSYS, Temporal Planning SYStem) capaz de manejar acciones con duración en un modelo conservativo de acciones. Este sistema se estructura en tres etapas consecutivas. En la primera etapa se realiza el cálculo de las relaciones de exclusión estáticas, independientes del tiempo, y que siempre se cumplen. La segunda etapa consiste en la generación de un grafo de planificación temporal. Por último, la tercera etapa realiza la extracción de un plan temporal de duración óptima. En segundo lugar, se plantea una extensión del sistema de planificación para manejar un modelo de acciones más reales y expresivas, dotadas de condiciones y efectos locales. Este modelo más permisivo permite obtener planes de mejor calidad, proporcionando al planificador mayor libertad a la hora de planificar acciones concurrentes. Esto impone ciertas modificaciones en el comportamiento inicial de TPSYS, a la vez que requiere una formalización más precisa del cálculo de las relaciones de exclusión. Con el objetivo de mejorar el rendimiento del algoritmo de planificación, se propone una nueva aproximación de búsqueda basada en técnicas heurísticas y de menor compromiso que permite la construcción incremental de los planes. Aunque esta aproximación no garantiza las propiedades de optimalidad y completitud de la búsqueda, en general proporciona planes de calidad equiparable a otros planificadores actuales. Finalmente, para mostrar la aplicabilidad de la aproximación de planificación se presenta una evaluación de la misma en dos escenarios distintos. El primero se basa en un conjunto de problemas artificiales o benchmarks, mientras que el segundo consiste en un caso de prueba de posible aplicación real basado en un problema de rescate.

Autor: ALONSO JORDÁ PEDRO.
Año: 2002.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.

Resumen: El desplazamiento de rango de ciertas matrices puede ser aprovechado para resolver con un coste reducido sistemas de ecuaciones lineales o el problema lineal de mínimos cuadrados. Existen numerosas aplicaciones en las que surgen este tipo de matrices. Sin embargo, la paralelización de estos algoritmos rápidos es un campo poco tratado debido, principalmente a que es difícil obtener algoritmos eficientes y escalables con este tipo de matrices. Se trata de algoritmos con un coste muy reducido y una gran dependencia entre las operaciones. Este problema es especialmente importante cuando se trata con arquitecturas paralelas con memoria distribuida. En esta tesis han sido desarrollados diversos algoritmos paralelos portables y eficientes que resuelven sistemas de ecuaciones y el problema lineal de mínimos cuadrados con matrices de Toeplitz. Además, se ha tratado de que los algoritmos obtenidos sean estables y ofrezcan resultados precisos. Las implementaciones se han llevado a cabo sobre una arquitectura paralela distribuida de alta disponibilidad como son los clusters de ordenadores personales. Se aplica, con buenos resultados, uno de los algoritmos desarrollados a un caso práctico: el diseño de filtros digitales para la reproducción de sonido multicanal.