Search

Trabajo presentado a Eusflat 2001, European Society for Fuzzy Logic and Technology, Leicester (Reino Unido), 2001. In this paper, we introduce a fuzzy automaton for computing the similarity between pairs of strings and a genetic method for adjusting its parameters. The fuzzy automaton models the edit operations needed to transform any string into another one. The selection of appropriate fuzzy operations and fuzzy membership values for the transitions leads to improve the system performance for a particular application. This work has been partially supported by the Government of Navarra and the Spanish Government under the research grant TIC99-0280-C0.

En esta memoria se presenta el Trabajo Fin de Máster en Ingeniería Informática realizado durante el curso 2016-2017. La motivación para realizar este trabajo se debe a la importante atención que se está poniendo en estos últimos años al desarrollo y despliegue de aplicaciones distribuidas en plataformas Cloud tanto públicas como privadas. La creciente demanda de desarrollo de aplicaciones en el Cloud se debe principalmente al modelo de ’pay-as-you go’. Básicamente consiste en pagar por la infraestructura que se emplea en cada momento. Lo atractivo de este modelo es que las complicaciones derivadas de la compra, instalación y mantenimiento de una infraestructura dedicada a las aplicaciones de la empresa se dejan a cargo de los proveedores de infraestructua (IaaS). Una de las principales ventajas de utilizar una infraestructura externa es la posibilidad de aprovisionar los recursos bajo demanda de las necesidades de la aplicación o servicio. De esta forma los propietarios del servicio pueden de manera ideal escalar (scale-up or scale-down) los recursos asignados al servicio para mantener los criterios de calidad de servicio de la aplicación (QoS). Bajo el contexto anterior aparece el concepto de Elasticidad de un servicio, término que también es conocido como aprovisionamiento dinámico o planificación de capacidad dinámico. En el trabajo de revisión que se presenta en esta memoria se analizan los aspectos anteriores y se hace una revisión de algunas técnicas utilizadas para controlar y gestionar la elasticidad de los servicios. Además también se incluye como parte del trabajo una propuesta de controlador para gestionar la elasticidad de las aplicaciones en sistemas Cloud. El controlador se basa en un algoritmo de clasificación binaria y una optimización basada en el algoritmo Hill Climbing, cuya aplicación es novedosa ya que no ha sido realizada hasta el momento en el contexto de la elasticidad. Este controlador se ha desarrollado en Matlab y utiliza un modelo de rendimiento basado en la teoría de colas para simular los tiempos de respuesta de una aplicación Cloud Máster Universitario en Ingeniería Informática por la Universidad Pública de Navarra Nafarroako Unibertsitate Publikoko Unibertsitate Masterra Informatika Ingeniaritzan

En esta tesis se presenta un algoritmo para la detección y resolución de interbloqueos en sistemas distribuidos para el modelo de solicitud único recurso. El algoritmo resuelve todos los interbloqueos que aparecen en el sistema con coste O(n) en número de mensajes, siendo n el número de procesos interbloqueados. Una de las características más notables del algoritmo propuesto es que se adapta a las modificaciones del medio (aparición y desaparición de esperas entre procesos) sin que ello incremente el coste de la computación. Dotar de dinamismo a la solución propuesta supone un claro avance porque facilita su aplicación a escenarios cambiantes como es cualquier sistema en que se quiera resolver los interbloqueos detectados. En la tesis se analizan las similitudes que existen entre el problema de elección de líder y el de detección y resolución de interbloqueo en sistemas distribuidos. En realidad, se puede decir que la resolución de interbloqueo distribuido es una versión dinámica del problema de elección de líder. La relación entre ambos problemas se mantiene cuando se analizan sus soluciones. Los algoritmos edge-chasing para resolución de interbloqueo pueden verse como versiones dinámicas de ciertos algoritmos de elección de líder en un anillo. Esto es cierto incluso si se considera la complejidad de ambos tipos de algoritmos. Los de interbloqueo mantienen la complejidad cuadrática de los algoritmos de elección de líder cuando trabajan en una configuración estática del sistema. En base a esta similitud, se diseña un nuevo algoritmo que adapta a comportamientos dinámicos un algoritmo de elección de líder de complejidad lineal. La tesis estudia diferentes mecanismos que son necesarios para conseguir que el algoritmo actualice su conocimiento de las esperas del sistema, a la vez que trata de localizar la forma de resolver un interbloqueo. Algunos de ellos, como el uso de 'memoria' ya se han utilizado en trabajos previos. Otros, como la simulación de identidad de nodos que han abandonado la ejecución, son novedosos y pudieran ser de utilidad en la adaptación de otros algoritmos a sistemas dinámicos. La corrección del algoritmo se demuestra formalmente utilizando como herramienta la teoría de Autómatas de Entrada/Salida. La demostración comprueba que el algoritmo resuelve en un tiempo finito todos los interbloqueos que aparecen en el sistema y sólo detecta un interbloqueo si éste realmente existe. En el análisis de complejidad, a diferencia de lo habitual, se han considerado todos los mensajes que el algoritmo genera. No sólo se tienen en cuenta aquéllos que permiten la detección de un interbloqueo ya formado y los necesarios para evitar falsas detecciones, sino también se contabilizan los mensajes que se generan durante el proceso de formación del interbloqueo. Programa Oficial de Doctorado en Ingeniería y Arquitectura (RD 1393/2007) Ingeniaritzako eta Arkitekturako Doktoretza Programa Ofiziala (ED 1393/2007)

Este trabajo fin de grado ha sido realizado durante las prácticas curriculares llevadas a cabo en la empresa Openbravo. En este trabajo fin de grado se aborda el desarrollo de un entorno “Fake” que emula el comportamiento de un sistema completo, el sistema de la empresa BUT, de modo que sea posible desarrollar y probar los elementos necesarios para realizar un proceso de importación de esta empresa a los sistemas de Openbravo. El objetivo consiste en poder desarrollar la infraestructura necesaria para la integración de BUT en Openbravo a pesar de que Openbravo no tiene acceso a las aplicaciones de BUT. También se aborda la construcción de serie de test, tanto unitarios como de performance, que prueben el funcionamiento de un proceso de importación. Se realiza una breve introducción que sitúe el contexto. Se analizan los requisitos del entorno Fake. Se describen los casos de uso, diagramas de clases y el diseño de los test. Se detalla la implementación y el despliegue realizado. Se explican los resultados obtenidos en las pruebas de performance. Finalmente, se mencionan las conclusiones obtenidas del TFG. Graduado o Graduada en Ingeniería Informática por la Universidad Pública de Navarra Informatika Ingeniaritzako Graduatua Nafarroako Unibertsitate Publikoan

The availability of a large number of users and the possibility of a worldwide market via internet have led to most of retailers, supermarkets, book stores etc. to offer their product lines over the internet. This circumstance has resulted in a rapid growth of electronic commerce. The fact that there are hundreds of on-line suppliers that offer the same products with different descriptions and prices propitiates a new kind of web applications under the pseudonym "Comparators". The main advantage of this kind of applications is that they allow users (i) to access the complete information of a product available on different electronic commerce catalogs, and (ii) to save the effort of browsing those different websites. The challenge of developing this type of applications is to integrate into a single catalog the same products available on different electronic commerce catalogs with different descriptions and taxonomies. Therefore, it is necessary to follow some tasks that will try to overcome the data heterogeneity that appears among the different supplier catalogs Graduado o Graduada en Ingeniería Informática por la Universidad Pública de Navarra Informatika Ingeniaritzako Graduatua Nafarroako Unibertsitate Publikoan

En este proyecto se va comprobar el funcionamiento de la aplicación para pruebas de rendimiento Rational Performance Tester de IBM-Rational. Se va a utilizar dicha herramienta para comprobar el rendimiento de 2 aplicaciones del Gobierno De Navarra: Empleo Público y Consulta Telemática de Declaraciones. El proyecto se enmarca dentro del proceso de implantación de un plan de calidad de Software para la Dirección General de Gobierno Abierto y Nuevas Tecnologías (DGGANT) del Gobierno de Navarra basado en la integración de herramientas de Prueba. Ingeniería en Informática Informatika Ingeniaritza

Con este proyecto fin de carrera se trata de mejorar la interoperabilidad y modernizar las aplicaciones CICS que operan sobre un mainframe System z de IBM. En concreto, vamos a utilizar un mainframe IBM System z10 Business Class. En general, cuando nos refiramos a mainframe nos estaremos refiriendo al mainfarme que vamos a utilizar. Lo que vamos a buscar es integrar la lógica CICS dentro de otros sistemas de información externos al mainframe como pueden ser aplicaciones Java, .NET, etc. y “modernizar” en la medida de lo posible la interfaz que nos permite interactuar con esta lógica. Ingeniería en Informática Informatika Ingeniaritza