CIENCIA DE LOS ORDENADORES

Autor: AYALA PALENZUELA ROSA M..
Año: 2002.
Universidad: ALMERÍA.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: ESCUELA POLITECNICA SUPERIOR.

Resumen: En la tesis se presenta el resultado de un trabajo de investigación que propone una metodología para la búsqueda del mejor --- para una imagen dada. Esta metodología se basa en un proceso automático que va aplicando algunos algoritmos de clasificación conocidos basados en el reconocimiento --- de patrones. Además, para cada algoritmo de clasificación aplicado se va modificando el conjunto de parámetros asociados, así como el conjunto de muestras utilizado para centrar el clasificado y el -- de clases que se pueden discriminar en la imagen. Cada una de estos posibles combinaciones se obtendrá una clasificación que será evaluada en base a un indicador de rendimiento (método estadístico que establece la eficacia del clasificador y de los patrones utilizado para entrenar al clasificador). Como resultado final, el algoritmo propuesto ofrece el método de clasificación, el número de clases discriminadas, en la imagen, el conjunto de muestras utilizadas para entrenar al --, el conjunto de muestras utilizadas para entrenar al clasificador y los valores -- a los parámetros susceptibles de centros que hayan máximo el indicador de rendimiento. Este indicador de rendimiento se calcula en base a tres medidas estadísticas: A,- Se --- de las muestras del computo de internamiento. B,- Calidad de los resultados obtenidos comparándolos con el conjunto de muestras seleccionado. C,- Confiabilidad de la clasificación obtenida.

Autor: MARTINEZ RAMIREZ ROEL ELFEGO.
Año: 2003.
Universidad: POLITÉCNICA DE CATALUÑA.
Centro de lectura: LSI.
Centro de realización: EDIFICI C6 Campus NORD.

Autor: GALINDO CHACON DAVID.
Año: 2003.
Universidad: POLITÉCNICA DE CATALUÑA.
Centro de lectura: SALA D'ACTES DE LA FME, EDIFICI U, CAMPUS SUD.
Centro de realización: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Autor: DÍAZ ESTEBAN ALBERTO.
Año: 2004.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FACULTAD DE INFORMACIÓN.
Centro de realización: FACULTAD DE INFORMACIÓN.

Resumen: En los últimos años, la información disponible en formato electrónico se ha incrementado de tal manera que es muy dificil no verse saturado cuando uno intenta encontrar'la información que realmente le interesa. Los contenidos Web aparecen de muy diversas maneras en distintos dominios de aplicación pero en la mayoáa de ellos la forma de presentación de la información es la misma para todos los usuarios, es decir, esos contenidos son estáticos en el sentido de que no se adaptan a cada usuario desde dos puntos de vista: ni son presentados de manera diferente para cada usuario ni se adaptan a los cambios en los intereses del usuario a lo largo del tiempo. La personalización de-contenidos Web trata de eliminar la sobrecarga de información mediante la adaptación de los contenidos a cada tipo de usuario y a lo largo del tiempo. En esta tesis se muestra un enfoque integrado de personalización de contenidos Web, aplicado a servicios de noticias, basado en tres funcionalidades principales: selección de contenidos, adaptación del modelo de usuario y presentación de resultados, Todos estos procesos están basados en la representación de los intereses del usuario que estarán reflejadas en un perfil o modelo de usuario, La selección de contenidos se refiere a la elección entre todos los documentos de entrada de aquellos más interesantes para un usuario dado. La adaptación del modelo de usuario es necesaria ya que las necesidades de los usuarios cambian a lo largo del tiempo, sobre todo como resultado de su interacción con la información que reciben. La presentación de resultados consiste en, una vez seleccionados los elementos de información que más' le interesan a un usuario, mostrar un documento resultado que. contenga, para cada elemento seleccionado, un extracto que sea indicativo de su contenido. En particular, se ha generado un resumen personalizado por cada elemento de información seleccionado para cada usuario. El modelo de usuario utilizado integra cuatro tipos de sistemas de referencia que permiten representar los intereses de los usuarios desde diferentes puntos de vista, Estos intereses están divididos en dos tipos: intereses a largo plazo e intereses a corto plazo. Los primeros representan intereses del usuario que permanecen constantes a lo largo del tiempo, mientras que los segundos representan los intereses que se van modificando, A su vez, el modelo a largo plazo utiliza tres métodos de clasificación que permiten al usuario definir sus necesidades de información desde 3 puntos de vista diferentes: un sistema de clasificación dependiente del dominio, donde los documentos están preclasificados por el autor del documento (p,ej secciones en un periódico), un sistema de clasificación independiente del dominio, obtenido a partir de las categorías del primer nivel de Yahoo España y un conjunto de palabras clave. Los distintos procesos de personalización se basan en técnicas estadísticas de clasificación de texto que se aplican tanto a los documentos como a-los modelos de usuario. Las tareas de clasificación de texto que se utilizan están relacionadas con la recuperación de información, la categorización de textos, la real1mentación y la generación de resúmenes. La evaluación de los sistemas de personalización es especialmente compleja debido a que son necesarias las opiniones de distintos usuarios para poder obtener conclusiones relevantes sobre su funcionamiento. Para evaluar los distintos procesos de personalización se han generado varias colecciones de evaluación donde se almacenan los juicios de relevancia de varios usuarios durante varios días de utilización del sistema. Estas colecciones han permitido probar los distintos enfoques propuestos para determinar cuál de ellos era la mejor elección, Además estas colecciones pueden ser utilizadas posteriormente por otros investigadores para comparar los resultados de sus técnicas de personalización. Las evaluaciones realizadas ha 8 n mostra 447 do que la propuesta de personalización basada en la combinación de modelos de usuario a largo y corto plazo, con resúmenes personalizados como forma de presentar los resultados finales, permite disminuir la sobrecarga de información de los usuarios, independientemente del dominio y del idioma, en un sistema de personalización de contenidos Web aplicado a servicios de noticias.

Autor: FERNÁNDEZ CONDE CARLOS JAVIER.
Año: 2004.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: FACULTAD DE INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Este trabajo aborda la problemática del uso de frameworks orientados a objetos como mecanismo para la reutilización de software. El problema se aborda desde la perspectiva de que el aprendizaje de los farmeworks dificulta en gran medida su reutilización y a su vez, la escasez y deficiencias en la documentación, dificulta el aprendizaje del uso de frameworks. La solución presentada consta de un sofisticado modelo de documentación basado en conocimiento, una metodología para la extracción del mismo y una propuesta que se apoya en técnicas de inteligencia artificial para su explotación. Dado que esta documentación no es ni mucho menos estática, también se define el ciclo de vida de la misma, desde su generación hasta las fases de uso por parte de los usuarios en un entorno colaborativo. El modelo de documentación consta de tres partes descriptivas para análisis de dominio, diseño del framework e implementación, y las relaciones necesarias para que el modelo sea conexo. La representación del modelo de dominio se realiza utilizando UML, la del diseño mediante UML-F y la de código, usando una técnica que genera documentaciones formalmente analizables (Javadoc). El soporte común para los tres modelos es el uso de Lógicas descriptivas. Los mecanismos para la extracción de las documentaciones usan técnicas de recuperación de información y conocimiento de programación orientada a objetos para apoyar en la generación de la documentación de diseño UML y el de implementación. El ciclo de uso y el ciclo de vida de la documentación se apoya en técnicas de razonamiento basado en casos rico en conocimiento, dando un enfoque evolutivo al modelo iCookbook. Junto con el modelo, el trabajo define una arquitectura software capaz de proporcionar el entorno colaborativo necesario para complementar la generación y evolución de las documentaciones, incluyendo una figura de revisor-bibliotecario, encargado de aprobar las nuevas recetas a aprender.

Autor: RODRÍGUEZ DAMIÁN MARÍA.
Año: 2005.
Universidad: VIGO.
Centro de lectura: ESCUELA SUPERIOR.
Centro de realización: UNIVERSIDAD DE VIGO.

Resumen: El objetivo de esta tesis doctoral es la investigación en el diseño de un sistema de visión por computador para el recuento automático de pólenes de especies de la familia Urticaceae. El objetivo consta de dos partes: clasificación y recuento de granos de polen. Se propone y evalúa un sistema genérico. El sistema propuesto consta de varias etapas, destancando tres de ellos. Detección del grano de polen en la imagen digital utilizando técnicas como la transformada de Hough y filtros Gagor, la otra etapa es la extración del contorno del grano de polen y la tercera la classificación del grano en función de las caracteristicas de forma y textura extraidas.

Autor: ARIAS FISTEUS JESUS.
Año: 2005.
Universidad: CARLOS III DE MADRID.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.
Centro de realización: UNIVERSIDAD CARLOS III DE MADRID.

Resumen: En esta tesis doctoral se realizan aportaciones en el ámbito de la verificación de requisitos funcionales de procesos de negocio. Por una parte, se propone una arquitectura abierta, modular y extensible para la verificación de procesos, que permite la integración de distintos lenguajes de definición de procesos y herramientas de verificación, y se basa en un sistema formal intermedio. Por otra parte, se define este sistema formal intermedio, llamado "Modelo Formal Común" (CFM), que se basa en sistemas de estado-transición etiquetados, pero con una notación y abstracciones orientadas a la representación de procesos de negocio. Con el objetivo de comprobar la expresividad y adecuación de este formalismo para la representación de los mismos, se realiza un análisis basado en "patrones de workflow". Adicionalmente, se integra BPEL4WS, un lenguaje de definición de composiciones de servicios Web basado en procesos, en la arquitectura. Para ello, se define su semántica en términos del formalismo, así como una metodología de transformación de definiciones de procesos BPEL4WS a definiciones CFM. También se integran en la arquitectura dos herramientas de verificación: los 'model checkers' Spin y NuSMV, mediante la definición de una transformación entre definiciones CFM y los lenguajes de entrada de estas herramientas.

Autor: MORENO NOGUER FRANCESC D'ASSIS.
Año: 2005.
Universidad: POLITÉCNICA DE CATALUÑA.
Centro de lectura: Sala d'Actes FME.
Centro de realización: EDIFICI U DESPATX 518 Campus SUD.

Resumen: L'anàlisi de moviment i seguiment d'objectes ha estat un dels pricipals focus d'atenció en la comunitat de visió per computador durant les dues darreres dècades. L'interès per aquesta àrea de recerca resideix en el seu ample ventall d'aplicabilitat, que s'extén des de tasques de navegació de vehicles autònoms i robots, fins a aplications en la indústria de l'entreteniment i realitat virtual. Tot i que s'han aconseguit resultats espectaculars en problemes específics, el seguiment d'objectes continua essent un problema obert, ja que els mètodes disponibles són propensos a ser sensibles a diversos factors i condicions no estacionàries de l'entorn, com ara moviments impredictibles de l'objecte a seguir, canvis suaus o abruptes de la il·luminació, proximitat d'objectes similars o fons confusos. Enfront aquests factors de confusió la integració de múltiples característiques ha demostrat que permet millorar la robustesa dels algoritmes de seguiment. En els darrers anys, degut a la creixent capacitat de càlcul dels ordinadors, hi ha hagut un significatiu increment en el disseny de complexes sistemes de seguiment que consideren simultàniament múltiples característiques de l'objecte. No obstant, la majoria d'aquests algoritmes estan basats en heurístiques i regles ad-hoc formulades per aplications específiques, fent-ne impossible l'extrapolació a noves condicions de l'entorn. En aquesta tesi proposem un marc probabilístic general per integrar el nombre de característiques de l'objecte que siguin necessàries, permetent que interactuin mútuament per tal d'estimar-ne el seu estat amb precisió, i per tant, estimar amb precisió la posició de l'objecte que s'està seguint. Aquest marc, s'utilitza posteriorment per dissenyar un algoritme de seguiment, que es valida en diverses seqüències de vídeo que contenen canvis abruptes de posició i il·luminació, camuflament de l'objecte i deformacions no rígides. Entre les característiques que s'han utilitzat per representar l'objecte, cal destacar la paramatrització robusta del color en un espai de color dependent de l'objecte, que permet distingir-lo del fons més clarament que altres espais de color típicament ulitzats al llarg de la literatura. En la darrera part de la tesi dissenyem una tècnica per re-il·luminar tant escenes estàtiques com en moviment, de les que s'en desconeix la geometria. La re-il·luminació es realitza amb un mètode âbasat en imatges', on la generació de les images de l'escena sota noves condicions d'il·luminació s'aconsegueix a partir de combinacions lineals d'un conjunt d'imatges de referència pre-capturades, i que han estat generades il·luminant l'escena amb patrons de llum coneguts. Com que la posició i intensitat de les fonts d'il.luminació que formen aquests patrons de llum es pot controlar, és natural preguntar-nos: quina és la manera més òptima d'il·luminar una escena per tal de reduir el nombre d'imatges de referència? Demostrem que la millor manera d'il·luminar l'escena (és a dir, la que minimitza el nombre d'imatges de referència) no és utilitzant una seqüència de fonts d'il·luminació puntuals, com es fa generalment, sinó a través d'una seqüència de patrons de llum d'una base d'il·luminació depenent de l'objecte. És important destacar que quan es re-il·luminen seqüències de vídeo, les imatges successives s'han d'alinear respecte a un sistema de coordenades comú. Com que cada imatge ha estat generada per un patró de llum diferent il·uminant l'escena, es produiran canvis d'il·luminació bruscos entre imatges de referència consecutives. Sota aquestes circumstàncies, el mètode de seguiment proposat en aquesta tesi juga un paper fonamental. Finalment, presentem diversos resultats on re-il·luminem seqüències de vídeo reals d'objectes i cares d'actors en moviment. En cada cas, tot i que s'adquireix un únic vídeo, som capaços de re-il·luminar una i altra vegada, controlant la direcció de la llum, la seva intensitat, i el color.

Autor: LOPEZ JAQUERO VICTOR.
Año: 2005.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: En la última década se ha realizado un gran esfuerzo en la investigación de métodos que permitan la inclusión del diseño de la interfaz de usuario dentro de un proceso de desarrollo basado en modelos, intentando obtener beneficios tales como la automatización de la generación de la interfaz de usuario, la generación de dicha interfaz para distintos dispositivos o lenguajes a partir de unos modelos comunes o la mejora de las propiedades de usabilidad del sistema. Sin embargo, el avance tecnológico la aparición de dispositivos que suponen un cambio importante en la forma en que el usuario interactúa con los sistemas. El usuario ahora puede interactuar con el sistema en un coche, en la calle, desde un teléfono móvil, una PDA o el tradicional PC. Este cambio en los hábitos en la interacción hombre máquina ha supuesto la necesidad de aportar soluciones que permitan diseñar interfaces de usuario capaces de funcionar bajo distintas plataformas y condiciones. Aunque es posible llevar un desarrollo separado para cada familia de dispositivos, asumiendo el alto coste de desarrollo y mantenimiento que ello supone, es todavía más difícil si no imposible diseñar interfaces de usuario para cada una de las situaciones en la que la interfaz de usuario puede ser potencialmente usada. Una solución más eficiente sería la generación de interfaces de usuario capaces de acomodarse a los distintos tipos de dispositivos, entornos de uso, e incluso tipos de usuarios de forma automática, aunque ello supone sin duda la modificación de los actuales métodos de desarrollo de interfaces de usuario. Para afrontar este reto, dentro de este trabajo, se propone la ampliación de los métodos actuales basados en modelos para el diseño de interfaces de usuario con los mecanismos necesarios para el diseño de las capacidades de adaptación necesarias dentro de las distintas fases del desarrollo de una interfaz de usuario. Para afrontar este reto, dentro de este trabajo, se propone la ampliación de los métodos actuales basados en modelos para el diseño de interfaces de usuario con los mecanismos necesarios para el diseño de las capacidades de adaptación necesarias dentro de las distintas fases del desarrollo de una interfaz de usuario. Estas extensiones son recopiladas dentro de AB-UIDE (Agent-Based User Interface Development Environment). El método permite la generación de interfaces de usuario capaces de adaptarse a las distintas situaciones que potencialmente pueden surgir durante el proceso de interacción. El método es apoyado por una arquitectura basada en un sistema multi-agente que permite proporcionar el usuario las capacidades de adaptación diseñadas usando el método AB-UIDE propuesto. Los agentes del sistema multi-agente colaboran para proporcionar inteligentemente al usuario las adaptaciones más adecuadas en cada situación que se presenta durante la interacción con la interfaz de usuario diseñada.

Autor: CORCOLES TENDERO JOSE EDUARDO.
Año: 2005.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.

Resumen: Con el crecimiento experimentado en los últimos años de la Web (World Wide Web) se ha detectado una insuficiencia sustancial en los métodos disponibles para encontrar y manejar la información. Los métodos tradicionales de la Web están limitados a la búsqueda o comparación de palabras clave. Para eliminar estas limitaciones se necesitan operaciones de más alto nivel que permitan comparar, consultar, analizar, combinar y/o integrar los datos de la Web con el fin de aplicar sobre ellos técnicas de discriminación más parecidas a la humana. En esta línea, la comunidad científica ha establecido los cimientos de lo que será el siguiente nivel de la Web, la Web Semántica (Berners-Lee et al., 2001). Dentro de la Web Semántica, un dominio que requiere una especial atención es la semántica de la información espacial (Semantic-Geospatial Web) [Egenhofer, 2002]. En este dominio se integra la potencialidad que tiene la información espacial en la Web con la elasticidad de servicios que proporciona la Web Semántica. El objetivo seguido a lo largo de esta tesis es contribuir a los fines buscados para la Web Semántica Geoespacial (Semantic Geospatial Web), y por extensión para la Web Semántica. Para ello se ha desarrollado una solución que permite la búsqueda de recursos espaciales y no-especiales en un mismo nivel de integración y localizados en diferentes fuentes. Un recurso no-espacial se define como cualquier recurso disponible actualmente en la Web, por ejemplo, documentos (HTML, PDF, Ms-Word..), imágenes (GIF, JPG) etc. Por otro lado, un recurso espacial es la representación de una entidad o conjunto de entidades geométricas mediante Geographic Markup Language - GML. Los puntos clave de esta arquitectura se pueden resumir en: la definición de un lenguaje de consulta sobre GML, un estudio de diferentes alternativas para almacenar y consultar GML eficientemente, y la definición de una arquitectura basada en mediador que, mediante una ontología de dominio, permita la integración de los recursos no-espaciales con recursos espaciales.

Autor: ROMANI ALSO SANTIAGO.
Año: 2005.
Universidad: POLITÉCNICA DE CATALUÑA.
Centro de lectura: SALA DEL LLAC DEL RECTORAT-CAMPUS NORD.
Centro de realización: EDIFICI C6 Campus NORD.

Autor: DIAZ DESCALZO GREGORIO.
Año: 2005.
Universidad: CASTILLA-LA MANCHA.
Centro de lectura: FAC. CIEN. JURI. Y SOCIALES DE TOLEDO.
Centro de realización: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Resumen: A partir del año 2000 todas las tecnologías relacionadas con Internet, la red de redes, han sufrido un espectacular desarrollo. Especialmente hemos visto un auge desmesurado de los procesos de negocio que han decidido realizar sus gestiones usando Internet como plataforma de comunicación. De esta forma se han empezado a crear una gran diversidad de tecnologías asociadas a Internet con la intención de ampliar las capacidades tecnológicas disponibles. Un caso claro son los servicios web. Esta tecnología propone la construcción de nuevos programas usando Internet como base distribuida en la que los distintos servicios accederán a los datos y recursos accesibles a través de la web. Por lo tanto la concepción que tendremos de los mismos podrá compararse con ladrillos que montados uno sobre otro crearán nuevos espacios en los que se ofertarán una gran cantidad de servicios. Uno de los servicios más importantes es el comercio electrónico que puede llegar a manejar grandes sumas de dinero. Es por ello que recientemente ha nacido la necesidad de comprobar que los sistemas desarrollados para ofrecer este servicio tengan un alto grado de confiabilidad. Por lo que estos sistemas deberán haber sido concebidos con el menor grado de errores posibles o incluso ninguno. Es por esta causa que se deben aplicar a esta nueva tecnología técnicas formales que nos permitan saber cuando los nuevos sistemas creados tienen o no errores. Una técnica ampliamente usada es la verificación y asociada en numerosas ocasiones podemos encontrar la técnica conocida como "Model Checking". Esta técnica usada en las etapas más tempranas de la concepción de los sistemas software nos puede ayudar a encontrar los errores de los que adolece nuestro nuevo sistema. Pero también es necesario determinar cuales son las capacidades que nuestro sistema debe desarrollar. Las cuales una vez identificadas pasaran a ser requisitos que el producto final deberá cumplir. Por lo tanto estos requisitos también deberán ser recopilados y comprobados mediante técnicas como la que previamente hemos nombrado "Model Checking". Así pues una vez definidos las técnicas y el área de aplicación se debe decidir una forma sistemática que nos permita decidir u obtener la información de cuando nuestro sistema habrá sido verificado con éxito. Por lo tanto es necesario desarrollar una metodología que indique claramente las diferentes etapas necesarias para su aplicación. La primera de ellas que llamaremos fase de análisis realiza la tarea de la adquisición de los requisitos del sistema que en posteriores etapas se convertirán en las propiedades que comprobaremos. En esta etapa se usará modelos guiados por objetivos para la adquisición de los requisitos. La segunda etapa o etapa de diseño se identifica con el modelado del sistema. Usaremos para el modelado diagramas de secuencia y actividad UML. La tercera etapa estará dedicada a la implementación mediante el lenguaje WS-CDL. La cuarta etapa se realizará la verificación usando la herramienta UPPAAL.

Autor: Porcel Gallego Carlos Gustavo.
Año: 2005.
Universidad: GRANADA.
Centro de lectura: Facultad de Biblioteconomía y Documentación.
Centro de realización: E.T.S. Ingeniería Informática.

Resumen: En los últimos años, la revolución digital está provocando un gran crecimiento de la cantidad de información que se crea y distribuye en formato electrónico. El cómo acceder a dicha información se está convirtiendo en un problema clave en nuestra sociedad actual. Los usuarios necesitan cada vez más de herramientas automáticas que les ayuden a filtrar la gran cantidad de información que se encuentra disponible. La aplicación de técnicas de Inteligencia Artificial permite mejorar los sistemas de acceso a la información. Destacamos dos tipos de sistemas de acceso a la información, los más tradicionales basados en técnicas de Recuperación de Información (RI) que dan respuesta a necesidades puntuales representadas mediante consultas que los usuarios introducen en el sistema, y los basados en técnicas de Filtrado de Información (FI) que dan respuesta a necesidades más persistentes que se deducen a partir de perfiles de usuario. En esta memoria nos proponemos profundizar en el diseño de sistemas de acceso a la información realizando algunas propuestas de mejora basadas en hibridaciones de sistemas de acceso a la información basados en RI y FI, junto con la aplicación de técnicas de Inteligencia Artificial tales como el modelado lingüistico difuso.

Autor: MONTENEGRO MONTES JOSÉ ANTONIO.
Año: 2005.
Universidad: MÁLAGA.
Centro de lectura: INFORMÁTICA.
Centro de realización: INFORMÁTICA.

Resumen: El objetivo de esta tesis es el diseño de un servicio escalable de autorización. Para tal fin, fue necesario establecer un prototipo de Infraestructura de Administración de Privilegios (PMI) que de forma semejante a su hononima Infraestructura de Clave Pública (PKI) tiene como elementos básico el concepto de certificado. En el caso de las PMI tenemos el concepto de certificado de atributo y el certificado de las PKI pasa a denominarse certificado de clave pública o identidad. El desarrollo de la PMI requería como paso inicial la inclusión de los certificados de atributos en la librería OpenSSL. Una vez diseñado e implementados los elementos de la PMI, introducimos el concepto de Infraestructura de Autorización y Autenticación (AAI). Las AAI es el vínculo de un servicio de autenticación y autorización como puede ser el caso de una PKI con una PMI. Una propuesta es el establecimiento de una AAI basada en autenticación biométrica, denominada de Infraestructura de Autenticación Biométrica y Autorización (BAAI). Además se determinó oportuno el establecimiento de servicios de autorización complementarios como es el caso de la autorización anónima, adecuación del prototipo de PMI a entornos ubicuos y el establecimiento de un modo de PMI on-line para subsanar el problema de las listas de revocación. Una vez establecido el servicio de autorización se consideró necesario el requisito de escalabilidad, para ello era necesario incluir el servicio de delegación dentro de la autorización. Esta acción requería hacer un estudio comparativo del concepto de delegación en las soluciones existentes, llegando a la conclusión que la delegación estaba más cerca de la transferencia de la identidad que la transferencia de privilegios. Por tal motivo, se estima necesario crear un modelo de delegación de grano fino basado en la delegación de atributos. Además, para facilitar la creación de las sentencias de delegación y autorización, hemos diseñado un lenguaje de modelado de sentencias de delegación y autorización visual que mediante una herramienta asiste a los usuarios a crear sentencias de autorización y delegación, así como traducirlas a las cadenas de certificados de atributos correspondientes. El desarrollo de servicios de seguridad no tiene sentido sin la correcta vinculación con el proceso de creación del software, por lo que el trabajo de tesis incluye una metodología para captar los requisitos de seguridad en las etapas tempranas del ciclo de creación de software. Este hecho permitirá a los diseñadores establecer los servicios de seguridad apropiados que necesita el software a diseñar, así como donde deben ser incluidos y su interacción con los distintos requisitos funcionales.

Autor: CUESTA INFANTE ALFREDO.
Año: 2005.
Universidad: NACIONAL DE EDUCACIÓN A DISTANCIA.
Centro de lectura: E.T.S. INGENIERÍA INFORMÁTICA.

Resumen: Las estrategias de control multifrecuencia (MF) surgen como una solución a numerosas situaciones en las que resulta imposible o innecesario utilizar el mismos periodo de muestreo en todas las variables discretas que puedan aparecen en el sistema de control. Por otro lado, más del 90% de los lazos de control incluyen reguladores PID. Estos suscita el interés por adaptar este tipo de reguladores al ámbito multifrecuencia: especialmente a las situaciones denominadas MRIC (Multi-Rate Input Controller), en las que el controlador debe actualizar la señal de control N veces por cada muestra del error. Este trabajo aborda el estudio de reguladores PID multifrecuencia (PIDMF) planteándose los siguientes objetivos: Obtener un modelo matemático del PIDMF que conserve el significado de los parámetros de sintonía, demostrar el efecto que la situación MF introducida en el controlador tiene en la acción de control, obtener reglas de sintonía en el dominio temporal y frecuencial y desarrollar una herramienta informática para aplicar dichas reglas. Para el cumplimiento de estos objetivos e ha utilizado la técnica de modelado de los operadores de Kranc. Las reglas de sintonía se han desarrollado tomando como punto de partida los métodos de Ziegler-Nichols. Finalmente la herramienta informática se ha desarrollado en Matlab 7 y SysQuake 2.3. Como resultado, el PIDMF es capaz de satisfacer requisitos de robustez actuando con mayor suavidad y eficacia que un PID monofrecuencia en aquellos casos en los que el periodo de muestreo del error tiene un valor impuesto muy alto.

Autor: PASTOR VARGAS RAFAEL.
Año: 2005.
Universidad: NACIONAL DE EDUCACIÓN A DISTANCIA.
Centro de lectura: E.T.S. INGENIERÍA INFORMÁTICA.

Resumen: El objetivo fundamental es realizar aportaciones al diseño estructurado e implementación experimentales a través de Internet, propugnando una metodología de desarrollo que emplea XML como lenguaje de especificación. Para ello inicialmente se describe el estado del arte en el campo del desarrollo de laboratorios remotos/virtuales en línea y las actuaciones de los principales grupos de investigación e iniciativas relevantes, haciendo hincapié en las aproximaciones que definen arquitectura de redes de laboratorios. A continuación, se demuestra la necesidad de usar un lenguaje como XML para la especificación de los componentes de un laboratorio, además de proponer la forma de implementar dicha definición mediante las herramientas de desarrollo disponibles en la actualidad. Una vez definida la especificación de componentes y la estructura formal de un laboratorio, se desarrolla la metodología de implementación que se apoya sobre la definición de componentes realizada mediante XML. Esta metodología de implementación se apoya sobre tres componentes software que dan apoyo a dicha metodología: el applet de experimentación, el servidor de publicación del laboratorio y el servidor de la red de laboratorios. Finalmente, se presentan los ejemplos de laboratorios desarrollados mediante la metodología propuesta, con objeto de demostrar la utilidad de la especificación, lo que demuestra la validez de la aproximación.

Autor: AMIGO CABRERA ENRIQUE.
Año: 2005.
Universidad: NACIONAL DE EDUCACIÓN A DISTANCIA.
Centro de lectura: E.T.S. INGENIERÍA INFORMÁTICA.

Resumen: En esta tesis se desarrolla un modelo interactivo de acceso a la información orientado a la tarea de "Síntesis de Información", definida como el proceso de extraer, organizar y relacionar entre sí las piezas de información contenidas en un conjunto de documentos relevantes, con el fin de obtener un informe sin informe que satisfaga una necesidad de información compleja. En primer lugar, se realiza en esta tesis una revisión del estado del arte en cuanto a técnicas de resumen automático, tarea que subsume a la Síntesis de Información. Se revisan también los esquemas de interacción entre usuario y máquina en sistemas de acceso a la información, y metodología de evaluación. En segundo lugar, se desarrolla un marco de trabajo compuesto por un corpus de informes generados manualmente, ISCORPUS, y una metodología de evaluación, QARLA, adaptada a nuestro problema. En tercer lugar, se realiza una serie de estudios empíricos sobre el papel de los conceptos clave del asunto tratado en el informe, con vistas al desarrollo y evaluación de un modelo interactivo. Desde el análisis de ISCORPUS, se concluye que la tarea de síntesis de Información, es básicamente extractiva, y presenta diferencias importante dependiendo del tipo de tema tratado. Podemos distinguir entre los asuntos que evolucionan a lo largo del tiempo, (por ejemplo, "el rol del Gobierno España en la guerra de Irak", y los asuntos que tratan diferentes instancias de un mismos tipo de evento por ejemplo, "campañas europeas contra el racismo". QARLA es un marco de evaluación de sistemas de resumen desarrollado en el contexto de este trabajo. La entrada al marco consiste en un con junto de resúmenes de referencia generados manualmente, un conjunto de resúmenes de referencia generados automáticamente, y un conjunto de métrica de similitud. QARLA proporciona una medida para evaluar la calidad de cualquier conjunto de métricas de similitud, una medida para evaluar la calidad de un resumen empleando el conjunto óptimo de métricas de similitud, y una medida para comprobar si el conjunto de resúmenes automática de referencia es fiable o si, por el contrario, puede producir resultados sesgados. En relación a trabajos anteriores, QARLA es capaz de evaluar y aplicar un conjunto de criterios de similitud sin necesidad de aplicar criterios de pesado entre éstos. En esta tesis se proporciona evidencias cuantitativas sobre la efectividad de este marco en la evaluación de resúmenes mediante la combinación de métricas. Empleamos el marco QARLA en los experimentos desarrollados a lo largo de la tesis. Los experimentos desarrollados en esta tesis a partir de QARLA e ISCORPUS nos permiten concluir que las frases seleccionadas o el vocabulario incluido en un informe son rasgos que no discriminan entre informes generados manualmente e informes generado automáticamente mediante estrategias básicas. Sin embargo, la combinación de estos rasgos con la distribución de "conceptos clave" aumenta la capacidad de discriminación, otras palabras, la distribución de conceptos clave debe ser tenida en cuenta en el proceso de desarrollo y evaluación de sistemas de Síntesis de Información. Además, concluimos que considerar información sintáctica superficial mejora la extracción automática de conceptos clave, y que la predicción de distribución de conceptos clave en informes modelo puede ser empleada para el desarrollo de sistemas de Síntesis de Información. Finalmente, presentamos "PRISMA", un modelo interactivo basado en niveles intermedios de acceso a la información, y definidos en base a las evidencias empíricas obtenidas en los experimentos anteriores. Comparamos dos estrategias básicas de exploración de contenidos en el contexto de la Síntesis de Información: exploración de títulos frente a exploración de conceptos clave. Los resultados obtenidos muestran que la exploración de conceptos clave ofrecen claras ventajas respecto a la exploración de títulos de documentos.

Autor: GARCIA BRINGAS PABLO.
Año: 2006.
Universidad: DEUSTO.
Centro de lectura: FACULTAD DE INGENIERIA.
Centro de realización: FACULTAD DE INGENIERÍA.

Resumen: Ante la creciente magnitud del problema del aseguramiento de la Seguridad de la Información en sistemas y redes de comunicaciones de todo tipo, los tradicionales mecanismos pasivos de aislamiento y control de acceso se muestran insuficientes para contener el extraordinariamente ascendente número de ataques e intentos de intrusión, bien indiscriminados, bien selectivos, que se producen en la actualidad. De este modo, en dichas circunstancia, el área de conocimiento de la Detección de Intrusiones, caracterizada fundamentalmente por su comportamiento activo y por el uso de técnicas de Inteligencia Artificial más o menos ambiciosas y sofisticadas, se muestra como una de las tecnologías de seguridad más prometedoras, a medio plazo. Así, es posible encontrar actualmente soluciones comerciales de detección sólidas y de reconocido prestigio, las cuales, bien orientadas a la monitorización de equipamientos específicos, bien orientadas a la supervisión de redes de comunicación completas, abogan por la utilización de modelos de representación de conocimiento e inferencia basados en el concepto de Sistema Experto, de encadenamiento de reglas. De esta manera, por lo general , el conocimiento disponible en relación con ataques documentados contra dichos equipamientos o redes de comunicación, queda representado en forma de reglas de producción, confeccionadas por el administrador humano. Dichos Sistemas de Detección de Usos Indebidos, se caracterizan por ser muy precisos en sus decisiones, amén de por un habitual alto nivel de eficiencia. Sin embargo, presentan una importante limitación: no son capaces de responder ante lo que no conocen. O lo que es lo mismo, ante la posibilidad de que un hipotético atacante pueda disponer del conocimiento del sistema de detección (cuestión realmente factible en la mayoría de casos), para a opartir de él introducir ligeras modificaciones en sus procedimientos de ataque que camuflen sus acciones, o bien ante ataques completamente novedosos, simplemente no hay respuesta. Por ello, la comunidad científica estudia actualmente posibles soluciones a este inconveniente, apareciendo el concepto de Detección de Anomalías como un elemento de análisis indispensable a medio plazo, bien en forma de complemento al tradicional enfoque de detección de usos indebidos, patrones o firmas, o bien como superconjunto semántico de éste. Para ello, en general, dicho enfoque de Detección de Anomalías, persigue el objetivo de ser capaz de proporcionar una respuesta incluso ante situaciones de riesgo no conocidas de antemano, en base a la elaboración del perfil de comportamiento del sistema a monitorizar, y al cálculo de desviaciones de la actividad cotidiana con respecto a dicho perfil. Así, toda desviación suficientemente significativa será considerada como una anomalía del sistema, y susceptible por tanto de ser notificada al operador humano en forma de señal de alarma, de manera que sea posible un análisis pormenorizado de las causas de dicha alarma, o de procesarse automáticamente, en la línea del paradigma de Prevención de Intrusiones. De esta forma, con el objetivo de proporcionar una respuesta completa por parte del sistema de detección, tanto ante ataques conocidos como ante ataques no conocidos, la presente tesis doctoral explora el camino de la unificación de los dos grandes paradigmas de Detección de Intrusiones, mediante la utilización de modelos de representación de conocimiento e inferencia de conclusiones basados en el concepto de Red Bayesiana, el cual contempla de manera intrínseca toda la potencia de representatividad de los tradicionales Sistemas Expertos basados en reglas, amén de un amplio conjunto de poderosas capacidades adicionales, como son: inferencia explicativa de conclusiones, encadenamiento omnidireccional de relaciones de causalidad y/o correlación, representación intrínseca de la magnitud temporal, aprendizaje estructural (o Data Mining Bayesiano) a partir de los datos, aprendizaje paramétrico completo o secuencial 8 a partir 614 de dichos datos, capacidad de adaptación del modelo de conocimiento a variaciones del sistema observado, o posibilidad de obtención, mediante análisis de sensibilidades, de un esquema cualitativo y cuantitativo de la representatividad y grado de interdependencia de los parámetros que componen el ámbito del problema. De este modo, a partir de los estudios y experimentaciones llevadas a cabo en la presente tesis doctoral, se consigue un potente modelo de representación de conocimiento a partir del cual se desarrolla un motor de razonamiento adaptativo capaz de inferir conclusiones que contemplan, de un modo unificado y homogéneo en el tratamiento de los diversos tipos de parámetros de detección, tanto conocimiento propio del paradigma de Detección de Usos Indebidos, por un lado, como conocimiento característico del paradigma de Detección de Anomalías, por otro.

Autor: GARCIA FANJUL JOSE.
Año: 2006.
Universidad: OVIEDO.
Centro de lectura: DEPARTAMENTO DE INFORMATICA.
Centro de realización: DEPARTAMENTO DE INFORMATICA. UNIVERSIDAD DE OVIEDO.

Resumen: En los últimos años se ha detectado un importante y sostenido aumento en la inversión que las empresas dedican al desarrollo de software basado en servicios (SOAs). El desarrollo de SOAs y, especialmente, los procesos de prueba de este tipo de software plantean un reto a los ingenieros que algunos autores califican como un cambio de paradigma en la ingeniería del software. Entre los retos que deben afrontarse en los procesos de prueba cabe destacar, por ejemplo, la falta de información homogénea acerca de los servicios disponibles y el coste asociado a la ejecución de SOAs. Una parte muy importante de los SOAs existentes hoy en día son composiciones de servicios y, concretamente, aquellas especificadas utilizando el estándar BPEL, que se ha convertido en un estándar de facto. En esta tesis se describe un método sistemático de generación de casos de prueba para composiciones de servicios especificadas en el lenguaje BPEL. Se utiliza el comprobador de modelos SPIN para generar automáticamente las especificaciones de los casos. Inicialmente se expone cómo obtener un modelo de comportamiento operacional expresado en el lenguaje PROMELA (el lenguaje de entrada de SPIN) a partir de la especificación de una composición de servicios expresada en BPEL. A continuación en el método se aplica un criterio de suficiencia dado, lo que se traduce en la instrumentación del modelo PROMELA y la obtención sistemática de un conjunto de requisitos de prueba. En la tesis se utilizan dos criterios de suficiencia diferentes basados en transiciones: cobertura de transiciones y cobertura de pares de transiciones adyacentes. Cada uno de los requisitos se transforma en una propiedad en lógica temporal LTL que se incluye como entrada de la herramienta SPIN. Al ejecutar el comprobador de modelos, se obtendrá un contraejemplo que cumple, al menos, el requisito incluido en la fórmula y que se transforma en un caso de prueba. Pa ilustrar y validar el método, se incluyen dos casos de estudio en los que se generan casos de prueba para dos especififcaciones de composiciones extraídas del etándar BPEL (loan approval y shipping service). Se ha estudiado la eficacia de los casos de prueba generados para dichas composiciones utilizando análisis de mutación.

Autor: AKEMI GALVEZ TOMIDA.
Año: 2006.
Universidad: CANTABRIA.
Centro de lectura: E.T.S. DE INGENIEROS DE C.C.P..
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Resumen: La principal aportación de la tesis consiste en un conjunto de métodos generales para la resolución de diversos problemas de interrogación de superficies y procesado geométrico, de gran interés tanto desde el punto de vista matemático como de sus aplicaciones prácticas. Los métodos introducidos en esta tesis permiten la obtención de diversas curvas características sobre superficies, la determinación de curvas (sobre superficies) de isodistancia con respecto de un punto dado (métodos polares) o de una curva dada (curvas paralelas) y el cálculo eficiente de curvas de intersección de dos superficies (enunciadas tanto en forma paramétrica como implícita). La metodología ha sido aplicada a: 1) Obtención de curvas características sobre superficies: Curvas proyección de un campo vectorial sobre una superficie, el punto sobre una superficie paramétrica que está a distancia mínima de un punto arbitrario externo a la superficie, curvas sección, curvas geodésicas, curvas hélices, curvas silueta. 2) Determinación de curvas sobre superficies de isodistancia con respecto de un punto o de una curva dados: Curvas de isodistancia polar y curvas paralelas. 3) Cálculo eficiente de curvas de intersección de dos superficies. Casos paramétrico-implícito, paramétrico-paramétrico e implícito-implícito. Otra de las aportaciones de la tesis es la aplicación de una herramienta muy reciente de inteligencia artificial, las redes funcionales, para la resolución del problema de reconstrucción de superficies: dada una nube de puntos, se busca una superficie NURBS que aproxime dicha nube de puntos, de forma que se satisfagan ciertas restricciones funcionales. Otra aportación de la tesis es el sistema informático CG&CAGDTutor, imlementado en Matlab y con una versión ejecutable independiente, está orientado al mundo delCAGD (Computer-Aided Geomereic Design) y los gráficos por computador.