Procedimiento de refutación para un conjunto de restricciones sobre documentos XML

We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.

Construcción de un sistema de información para la gestión de la documentación técnica adaptada a un dispositivo móvil.

Desarrollo de aplicación para dispositivos con sistema operativo Android 4.x para consulta de documentación técnica y nueva funcionalidad para la realización de instrucciones. Español.

Reconocimiento automático de objetos de interés in imágenes aéreas

El objetivo principal de este proyecto es la detección automática de objetos de interés en imágenes aéreas de zonas urbanas mediante el uso de descriptores característicos. Los descriptores considerados para esta tarea han sido los histogramas color y los descriptores LBP (Local Binary Pattern), así como la concatenación de ambos dando lugar a descriptores híbridos

Detección de comunidades en redes complejas basada en la sincronización

El estudio de las redes complejas atrae cada vez más el interés de muchos investigadores por muchas razones obvias. Muchos sistemas tanto reales como tecnológicos pueden representarse como redes complejas, es decir, un conjunto de entidades en interacción de acuerdo a propiedades topológicas no triviales. La interacción entre los elementos de la red puede describir comportamientos globales tales como el tráfico en Internet, el servicio de suministro de electricidad o la evolución de los mercados. Una de las propiedades topológicas de los grafos que caracterizan estos sistemas complejos es la estructura de comunidad. La detección de comunidades tiene como objetivo la identificación de los módulos o grupos con alguna o varias propiedades en común basándose únicamente en la información codificada en la topología del grafo. La detección de comunidades es importante no sólo para caracterizar el grafo, sino que además ofrece información sobre la formación de la red así como sobre su funcionalidad. El estudio de las leyes subyacentes que gobiernan la dinámica y evolución de los sistemas complejos y la caracterización de sus grafos revela que las redes a gran escala, generalmente, se caracterizan por topologías complejas y estructuras heterogéneas. La estructura de conectividad de estas redes se manifiesta por la presencia de comunidades (clusters o grupos), es decir, conjuntos de nodos que comparten propiedades comunes o juegan roles similares en la red. Las comunidades pueden representar relaciones de amistad en las redes sociales, páginas web con una temática similar, o rutas bioquímicas en las redes metabólicas. Formalmente, una red es un grafo compuesto por un gran número de nodos altamente interconectados donde una comunidad se resalta por la presencia de un gran número de aristas conectando nodos dentro de grupos individuales, pero con baja concentración de aristas entre estos grupos. El mejor modo para establecer la estructura de comunidad de una red compleja es un problema todavía sin resolver. Durante los últimos años, se han propuesto muchos algoritmos que persiguen extraer la partición óptima de una red en comunidades. El clustering espectral, los algoritmos de particionamiento de grafos, los métodos basados en la modularidad o los algoritmos basados en la sincronización son sólo algunos de estos algoritmos de extracción de comunidades. Los algoritmos dinámicos basados en la sincronización han sido estudiados por varios autores, y han demostrado que la monitorización del proceso dinámico de la sincronización permite revelar las diferentes escalas topologicas presentes en una red compleja. Muchos de estos algoritmos se basan en el modelo Kuramoto o en algunas de sus variantes como el modelo de opinión, donde cada oscilador aislado es modelado en un espacio unidimensional. El objetivo principal del presente proyecto es la implementación de un algoritmo de detección de comunidades basado en la sincronización de osciladores acoplados. Cada oscilador ha sido modelado mediante el sistema dinámico de Rossler, un sistema de ecuaciones diferenciales definido en un espacio tridimensional.

Soporte a la explotación de datos y gestión de una red de sensores

El seguimiento de distintas especies de animales contribuye en gran medida a su estudio y, por tanto, a su conservación y control. Los avances tecnológicos de los últimos años han facilitado las posibilidades de seguimiento con la creación de distintos dispositivos que permiten conocer los movimientos de la especie que se desea estudiar. Uno de los sistemas más utilizados consiste en la utilización de dispositivos GPS incorporados al espécimen sobre el que se realiza el seguimiento y cuya señal es recogida por satélites que se encargan de almacenar y posteriormente reenviar la información para su almacenamiento y procesamiento en el laboratorio. El principal problema de este sistema es su elevado coste. Existen alternativas que no presentan un coste tal alto, tales como el uso de módulos basados en telefonía móvil. Sin embargo, tienen limitaciones de cobertura, por lo que no es aplicable en todos los ámbitos. Este proyecto forma parte de una propuesta que ofrece realizar seguimiento de ejemplares de una especie de ave, la gaviota Patiamarilla, en Gipuzkoa mediante la utilización de una red de sensores y que tiene varias ventajas frente a las opciones presentadas anteriormente. En este proyecto en concreto se ha diseñado e implementado el módulo que permite recoger la información obtenida por el conjunto de sensores (cada ejemplar lleva incorporado un sensor que permite registrar su posición) y enviarla a un servidor centralizado para su posterior consulta y análisis. Adicionalmente, también se permite consultar el último estado registrado de cada dispositivo de seguimiento, además de contemplar la posibilidad de actualizar su software.

Testing the performance and feasibility of Bluetooth communications in pervasive systems

Smart and mobile environments require seamless connections. However, due to the frequent process of ''discovery'' and disconnection of mobile devices while data interchange is happening, wireless connections are often interrupted. To minimize this drawback, a protocol that enables an easy and fast synchronization is crucial. Bearing this in mind, Bluetooth technology appears to be a suitable solution to carry on such connections due to the discovery and pairing capabilities it provides. Nonetheless, the time and energy spent when several devices are being discovered and used at the same time still needs to be managed properly. It is essential that this process of discovery takes as little time and energy as possible. In addition to this, it is believed that the performance of the communications is not constant when the transmission speeds and throughput increase, but this has not been proved formally. Therefore, the purpose of this project is twofold: Firstly, to design and build a framework-system capable of performing controlled Bluetooth device discovery, pairing and communications. Secondly, to analyze and test the scalability and performance of the \emph{classic} Bluetooth standard under different scenarios and with various sensors and devices using the framework developed. To achieve the first goal, a generic Bluetooth platform will be used to control the test conditions and to form a ubiquitous wireless system connected to an Android Smartphone. For the latter goal, various stress-tests will be carried on to measure the consumption rate of battery life as well as the quality of the communications between the devices involved.

TrustedPals plataformarako middlewarearen inplementazioa eta simulazioa

Sistema banatuak zenbait konputagailu edo gailu autonomoaz osaturiko sareak dira, non algoritmo banatuen bidez partaide guztien lana koordinatzen da entitate bakarra izatearen irudia emanez. Eredu honi esker sistemaren sendotasuna handitzen da, posible baita sistemak aurrera jarraitzea zenbait partaidek huts egin arren. Sistema banatuak diseinatzeak badu zenbait zailtasun, prozesu guztien arteko koordinazioa lortu behar baita. Erronka nagusietako bat adostasuna edo consensus lortzea da; hau da, prozesu guztiak ados jartzea zerbait erabaki behar dutenean. Ingurune desberdinetan planteatu badaiteke ere, lan honetan Byzantine ingurunean egingo da. Ingurune honetan partaideen hutsegiteak ausaz gerta daitezke eta edozein momentutan. Horrez gain, hutsegite horiek edozein motakoak izan daitezke, hala nola, prozesu bat bertan behera geratzea edota prozesu baten eskaera okerra edo lekuz kanpokoa egitea. Aurkeztutako consensus arazoa garrantzi handikoa da sistema banatuen arloan, honen bitartez beste hainbat helburu lortu baitaitezke. Horien artean Secure Multy-party Computation (SMC) dugu, non sare banatu bateko partaide guztiek adostasuna lotu behar dute partaide bakoitzaren informazioa gainontzekoei ezkutatuz. Horren adibide bezala “aberatsaren arazoa” azaldu ohi da, non partaide guztiek aurkitu behar dute zein den beraien artean aberatsena, partaide bakoitzak gainontzekoen “aberastasuna” ezagutu ahal izan gabe. SMC erabili daiteke soluzioa emateko planteamendu bera jarraitzen duten aplikazio erreal askori, hala nola, enkante pribatuak edo bozketak. SMC inplementatu ahal izateko TrustedPals izeneko plataforma dugu, non diseinu modularra jarraituz smartcard bat eta algoritmo banatuak konbinatzen dira lehenengo consensus eta ondoren SMC lortzeko. Karrera amaierako proiektu honen helburua TrustedPals proposamenaren alde praktikoa jorratzea izango da. Horretarako proposamenaren algoritmo banatuak inplementatu eta simulatuko dira zenbait probetako kasuetan. Simulazioak bideratzeko gertaera diskretuko NS-3 simulagailuan erabiliko da. Simulazio eszenario desberdinak inplementatuko dira eta ondoren emaitzak aztertuko dira.

Vigilancia digital

En esta memoria se presenta un Proyecto Final de Carrera de Ingeniería Informática para la Universidad del País Vasco - Euskal Herriko Unibertsitatea, proyecto que ha sido llevado a cabo en las empresas PCI Security Doctors y S21sec. El objetivo de este proyecto ha sido establecer las bases que envuelven la Vigilancia Digital desde la fase de diseño hasta la implantación de una plataforma para llevar a cabo esta actividad. Al mismo tiempo, se ha realizado un estudio sobre la legislación aplicable a esta disciplina y se ha estudiado la viabilidad de monitorizar nuevas fuentes de información. La parte más importante del proyecto ha girado en torno a la plataforma de Vigilancia Digital desarrollada por S21sec IRATI con la que se ha trabajado durante gran parte del proceso.

Herramienta de creación de modelos STL parametrizables mediante Processing

Este Proyecto de Fin de Carrera ha sido realizado en colaboración con la empresa Ultra-Lab y el centro Arteleku y trata sobre el diseño, desarrollo e implementación de una interfaz visual para la creación, manipulación, transformación y visualización de diferentes figuras en un entorno 3D. Estas herramientas visuales dan soporte al usuario para que este pueda realizar múltiples modificaciones de las figuras con las que está trabajando de una forma fácil, intuitiva y eficiente.

Procesamiento de Imágenes Satelitales Multiespectrales

En este proyecto se ha realizado el procesamiento de una imagen satelital multiespectral de México concretamente centrada en la región del Lago de Chapala. Este proceso tiene como objetivo la distinción de tierra y agua mediante un proceso semi-automático utilizando distintos software o herramientas informáticas. Dentro del proyecto podemos destacar ciertas fases u operaciones como el preprocesado realizado a la imagen satelital donde se han aplicado una serie de transformaciones, la aplicación de técnicas de clasificación supervisada mediante la realización de entrenamiento y testeo con regiones de interés extraídas de la imagen satelital para la obtención de clasificadores o la aplicación de estos clasificadores en la binarización de la imagen, obteniendo una imagen binaria donde un valor representa agua y otro tierra. También podemos destacar el empleo de índices de agua y vegetación como una herramienta fundamental en la detección y en el análisis de cuerpos de agua. Éstos han marcado la calidad de los resultados obtenidos en el proyecto.

Estudio y Desarrollo de un Sistema de Control de un Cuadricoptero

En el proyecto se desarrolla un Controlador de Vuelo para un cuadricóptero. La función del sistema es garantizar la estabilidad y mantener la dirección en vuelo. IDIOMA: Castellano

Sistemas BPM en la gestión de ensayos clínicos

Evaluación de BPMS aplicado a la gestión de ensayos clínicos.Creación de un prototipo a partir de un estudio clínico real.

Babelium Project: Android gailuetarako Adobe AIR prototipoa

Android gailu eramangarrietan erabiltzeko Babelium Project-en prototipoa.

FastService

El proyecto FastService, se trata de un sistema de gestión de pedidos para los restaurantes. La idea es que un usuario se pueda sentar en la mesa del restaurante y sin tener la necesidad de llamar al camarero pueda realizar los pedidos a través de su dispositivo Android.

Twitter Kopy

Erabiltzaile baten Twitter kontuko iruzkinen babes kopiak eta kudeaketa egiteko aplikazioa.