Implementació d'un sistema de compressió de dades en el dispositiu mota Cou24 sota TinyOS.

Les limitacions en la capacitat d'emmagatzemament dels dispositius sensors sense fils o motes és consubstancial al seu disseny, però pot convertir-se en un problema en determinades situacions. Aquest projecte de fi de carrera ha esta motivat per l'interès en superar aquestes limitacions en una situació concreta: una mota dedicada a prendre mostres amb alguns dels seus sensors que passa un període llarg de temps sense poder comunicar amb la base. Per aconseguir aquest objectiu s'ha dissenyat i implementat un sistema que comprimeix les mostres en una mota només quan l'espai d'emmagatzemament està pròxim a exhaurir-se. Aquest procés de compressió pot repetir-se indefinidament i cada vegada que actua elimina només les mostres menys significatives, tot preservant la freqüència del mostreig.A continuació es descriu l'algorisme que s'ha dissenyat, respectuós amb les capacitats de processament de la mota, la implementació que s'ha fet en nesC per a una mota Cou24 amb TinyOS, el programari complementari que s'ha desenvolupat en Java per a PC, i el resultat de les proves que s'han fet de tot aquest conjunt.

Reciprocal regulation of brain and muscle Arnt-like protein 1 and peroxisome proliferator-activated receptor alpha defines a novel positive feedback loop in the rodent liver circadian clock.

Recent evidence has emerged that peroxisome proliferator-activated receptor alpha (PPARalpha), which is largely involved in lipid metabolism, can play an important role in connecting circadian biology and metabolism. In the present study, we investigated the mechanisms by which PPARalpha influences the pacemakers acting in the central clock located in the suprachiasmatic nucleus and in the peripheral oscillator of the liver. We demonstrate that PPARalpha plays a specific role in the peripheral circadian control because it is required to maintain the circadian rhythm of the master clock gene brain and muscle Arnt-like protein 1 (bmal1) in vivo. This regulation occurs via a direct binding of PPARalpha on a potential PPARalpha response element located in the bmal1 promoter. Reversely, BMAL1 is an upstream regulator of PPARalpha gene expression. We further demonstrate that fenofibrate induces circadian rhythm of clock gene expression in cell culture and up-regulates hepatic bmal1 in vivo. Together, these results provide evidence for an additional regulatory feedback loop involving BMAL1 and PPARalpha in peripheral clocks.

Problemas en la implementación de algoritmos de routing de alta complejidad en dispositivos móviles: el caso Itiner@

La aparición de terminales de telefonía móvil cada vez más potentes abre un nuevo abanico de posibilidades en cuanto a usos y aplicaciones. Sin embargo, y dadas las limitaciones tanto de memoria como de CPU que tienen estos dispositivos, algunas de las aplicaciones potenciales resultan muy difíciles o incluso imposibles de llevar a la práctica. Este es el caso, por ejemplo, de aplicaciones de cálculo de rutas. En el contexto del proyecto Itiner@, un asistente para rutas turísticas completamente autónomo que debe funcionar incluso sin conexión a Internet, todos los procesos deben ejecutarse íntegramente de forma local en el dispositivo móvil. Dado que es un proyecto orientado al ocio, es importante que la experiencia del usuario sea satisfactoria, por lo que además de poder ejecutar el algoritmo de cálculo de rutas, el sistema debe hacerlo de forma rápida. En este sentido, los algoritmos recursivos habituales son demasiado costosos o lentos para su uso en Itiner@ y ha sido necesario reinventar este tipo de algoritmos en función de las limitaciones que tienen estos dispositivos. En el presente trabajo se presenta el proceso seguido y las dificultades encontradas para implementar un algoritmo recursivo de cálculo de rutas que se ejecute íntegramente en un dispositivo móvil Android de forma eficiente. Así, finalmente se llega a un algoritmo recursivo de cálculo de rutas para dispositivos móviles que se ejecuta de forma más eficiente frente a algoritmos directamente portados a dispositivos móviles. La principal contribución del trabajo es doble: por un lado ofrece algunas guías útiles al desarrollo de algoritmos más eficientes para dispositivos móviles; y por el otro, muestra un algoritmo de cálculo de rutas que funciona con un tiempo de respuesta aceptable, en un entorno exigente, como es el de las aplicaciones de turismo en móviles

Optimització i personalització del càlcul de rutes en dispositius mòbils

Aquest estudi es centra en trobar la ruta que millor satisfaci les necessitats i preferències de l'usuari (personalització). Així, partint d'algorismes de routing existents, caldrà estudiar quin és el millor algorisme per implementar la funció de cost que doni la "bellesa" de la ruta per l'usuari.

Estudi comparatiu de l'algorisme basat en una colònia artificial d'abelles

La finalitat d'aquest projecte és la realització d'un estudi comparatiu de l'algoritme basat en una colònia artificial d'abelles, Artificial Bee Colony (ABC), comparat amb un conjunt d'algoritmes fonamentats en el paradigma de la computació evolutiva. S'utilitzarà l'eficàcia a l'hora d'optimitzar diverses funcions com a mesura comparativa. Els algoritmes amb els quals es comparara l'algoritme ABC són: algoritmes genètics, evolució diferencial i optimització amb eixam de partícules.

Evaluación de la disponibilidad de los servicios desplegados sobre Volunteer Computing

Implementación y evaluación de un algoritmo híbrido que selecciona el conjunto de nodos de menor coste que permite desplegar un servicio, con una disponibilidad determinada, en un entorno de computación voluntaria.

Algorithm creation and optimization for the crew pairing problem

Algoritmo que optimiza y crea pairings para tripulaciones de líneas aéreas mediante la posterior programación en Java.

Implementación de un criptosistema de clave pública basado en estrellas de isogenias

Uno de los problemas en los que se basa la seguridad de los criptosistemas de clave pública es el problema del logaritmo discreto. Para ello es necesario buscar conjuntos finitos con una estructura de grupo abeliano y determinar su orden. El problema del logaritmo discreto puede ser resuelto en tiempo polinomial usando el algoritmo de Shar para un ordenador cuántico. La mayoria de los criptosistemas actuales se volveran inseguros cuando el tamaño del registro cuántico sea suficiente. Se propone un problema matemático que hipotéticamente es fuerte frente a ordenadores cuánticos. Consiste en la búsqueda de una isogenia entre curvas elípticas sobre un cuerpo finito.