Quantified real constraint solving using modal intervals with applications to control

Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un gran nombre de problemes físics dins els quals intervenen sistemes d'equacions no-lineals sobre variables reals, algunes de les quals podent ésser quantificades. Els QRCs apareixen en nombrosos contextos, com l'Enginyeria de Control o la Biologia. La resolució de QRCs és un domini de recerca molt actiu dins el qual es proposen dos enfocaments diferents: l'eliminació simbòlica de quantificadors i els mètodes aproximatius. Tot i això, la resolució de problemes de grans dimensions i del cas general, resten encara problemes oberts. Aquesta tesi proposa una nova metodologia aproximativa basada en l'Anàlisi Intervalar Modal, una teoria matemàtica que permet resoldre problemes en els quals intervenen quantificadors lògics sobre variables reals. Finalment, dues aplicacions a l'Enginyeria de Control són presentades. La primera fa referència al problema de detecció de fallades i la segona consisteix en un controlador per a un vaixell a vela.

Studies of dynamics of physical agent ecosystems

This thesis addresses the problem of learning in physical heterogeneous multi-agent systems (MAS) and the analysis of the benefits of using heterogeneous MAS with respect to homogeneous ones. An algorithm is developed for this task; building on a previous work on stability in distributed systems by Tad Hogg and Bernardo Huberman, and combining two phenomena observed in natural systems, task partition and hierarchical dominance. This algorithm is devised for allowing agents to learn which are the best tasks to perform on the basis of each agent's skills and the contribution to the team global performance. Agents learn by interacting with the environment and other teammates, and get rewards from the result of the actions they perform. This algorithm is specially designed for problems where all robots have to co-operate and work simultaneously towards the same goal. One example of such a problem is role distribution in a team of heterogeneous robots that form a soccer team, where all members take decisions and co-operate simultaneously. Soccer offers the possibility of conducting research in MAS, where co-operation plays a very important role in a dynamical and changing environment. For these reasons and the experience of the University of Girona in this domain, soccer has been selected as the test-bed for this research. In the case of soccer, tasks are grouped by means of roles. One of the most interesting features of this algorithm is that it endows MAS with a high adaptability to changes in the environment. It allows the team to perform their tasks, while adapting to the environment. This is studied in several cases, for changes in the environment and in the robot's body. Other features are also analysed, especially a parameter that defines the fitness (biological concept) of each agent in the system, which contributes to performance and team adaptability. The algorithm is applied later to allow agents to learn in teams of homogeneous and heterogeneous robots which roles they have to select, in order to maximise team performance. The teams are compared and the performance is evaluated in the games against three hand-coded teams and against the different homogeneous and heterogeneous teams built in this thesis. This section focuses on the analysis of performance and task partition, in order to study the benefits of heterogeneity in physical MAS. In order to study heterogeneity from a rigorous point of view, a diversity measure is developed building on the hierarchic social entropy defined by Tucker Balch. This is adapted to quantify physical diversity in robot teams. This tool presents very interesting features, as it can be used in the future to design heterogeneous teams on the basis of the knowledge on other teams.

Time misalignments in fault detection and diagnosis

El desalineamiento temporal es la incorrespondencia de dos señales debido a una distorsión en el eje temporal. La Detección y Diagnóstico de Fallas (Fault Detection and Diagnosis-FDD) permite la detección, el diagnóstico y la corrección de fallos en un proceso. La metodología usada en FDD está dividida en dos categorías: técnicas basadas en modelos y no basadas en modelos. Esta tesis doctoral trata sobre el estudio del efecto del desalineamiento temporal en FDD. Nuestra atención se enfoca en el análisis y el diseño de sistemas FDD en caso de problemas de comunicación de datos, como retardos y pérdidas. Se proponen dos técnicas para reducir estos problemas: una basada en programación dinámica y la otra en optimización. Los métodos propuestos han sido validados sobre diferentes sistemas dinámicos: control de posición de un motor de corriente continua, una planta de laboratorio y un problema de sistemas eléctricos conocido como hueco de tensión.

VLSI architecture for motion estimation in underwater imaging

El treball desenvolupat en aquesta tesi aprofundeix i aporta solucions innovadores en el camp orientat a tractar el problema de la correspondència en imatges subaquàtiques. En aquests entorns, el que realment complica les tasques de processat és la falta de contorns ben definits per culpa d'imatges esborronades; un fet aquest que es deu fonamentalment a il·luminació deficient o a la manca d'uniformitat dels sistemes d'il·luminació artificials. Els objectius aconseguits en aquesta tesi es poden remarcar en dues grans direccions. Per millorar l'algorisme d'estimació de moviment es va proposar un nou mètode que introdueix paràmetres de textura per rebutjar falses correspondències entre parells d'imatges. Un seguit d'assaigs efectuats en imatges submarines reals han estat portats a terme per seleccionar les estratègies més adients. Amb la finalitat d'aconseguir resultats en temps real, es proposa una innovadora arquitectura VLSI per la implementació d'algunes parts de l'algorisme d'estimació de moviment amb alt cost computacional.

Servei de retirada de vehicles de la via pública del terme municipal de València basat en localització GPS i comunicacions GPRS

L’objectiu d’aquest projecte és dotar a Servicleop d’un programari que li permeti millorar la gestió dels serveis de retirada de vehicles de la via pública, que actualment s’efectua a través del canal de veu. Això s’aconseguirà mitjançant l’ús de cartografia digital i localització GPS, que permetrà optimitzar l’assignació de retirades al saber quina grua es troba en millor disposició, i PDAs que es comunicaran amb un centre de control a través de GPRS des del qual s’assignaran aquest serveis. S’oferiran facilitats sempre que sigui possible en la introducció de dades, disminuint les probabilitats de cometre errors, i tot el procés quedarà enregistrat automàticament en base de dades per a poder generar estadístiques o informes. el projecte parteix d’un altre projecte intern de Knosos anomenat Micronav.Net Serveis, en el qual també he treballat molt activament i que ofereix una solució genèrica similar a la requerida per Servicleop, empresa a la que va destinada el sistema que es presenta en aquest projecte final de carrera

Mòdul de gestió de magatzems segons el model d'organització física de "magatzem caòtic"

Creació d'una 'aplicació de gestió comercial i comptable partint de la ja existent en l’empresa Ph Systems S.L., seguint per tant la tecnologia utilitzada en aquesta aplicació, desenvolupada en Visual Basic 6 i utilitzant uns objectes i llibreries propis per facilitat l’enllaç dels formularis amb les taules de la base de dades utilitzant tant connexions ODBC com connexions OLE DB. El gestor de base de dades seleccionat per realitzar el projecte serà Oracle, que és el que actualment s’utilitza per les dades de l’aplicació de gestió d’estocs. Tasques a realitzar: Anàlisi dels requeriments del sistema. Disseny dels diferents mòduls de la futura aplicació. Obtenir una base de dades ben definida partint de la ja existent. Implementació dels mòduls de la futura aplicació. Els objectius d’aprenentatge d’aquest projecte són els següents: Millora del coneixement de la gestió d’una base de dades Oracle Millora en l’aprenentatge del llenguatge de programació Visual Basic 6

Desarrollo de una aplicación para la gestión de documentos internos de ámbito empresarial

La asesoría de empresas Ribas Álvarez tiene, actualmente, un problema con la gestión de documentos internos, que se realiza mediante correo interno y una aplicación sencilla de indexación de archivos (HTML); sin ningún tipo de supervisión ni restricción. Esta empresa dispone de un cierto número de trabajadores, los cuales pertenecen a diferentes secciones (privadas o públicas) dentro de la empresa. La información que circula dentro de la empresa, no tiene ningún tipo de seguridad pudiendo cualquier trabajador, disponer de ella aunque no le sea de utilidad. Se quiere crear una aplicación que cumpla con las necesidades que la empresa desea para la administración y gestión de documentos internos, con un control de usuarios y seguridad de acceso a esta aplicación. El objetivo básico de la aplicación seria la creación y gestión de una intranet de control y seguimiento de documentos para una asesoría de empresas

Aplicación de las TIC al Geomarketing

El geomarketing se presenta como una de las posibilidades de análisis con las tecnologías de la información geográfica con más auge en la actualidad. La localización ideal de un negocio o de una campaña publicitaria viene determinada por variables espaciales como la ubicación de la competencia, del público objetivo o encontrar las zonas con mejores accesibilidades, lo cual nos permitiría finalmente localizar aquellos lugares que potencialmente serían los más óptimos para nuestra actividad. Sumado a esto, entran en juego las nuevas tecnologías de localización mediante dispositivos móviles. La posibilidades de divulgación de la información mediante comunicaciones inalámbricas restringidas o no a zonas específicas, e incluso, la capacidad de compartir tu ubicación y estado mediante las redes sociales permite a los analistas realizar estudios de mercado, que hasta ahora eran inviables. Posteriormente, toda esta información es susceptible de ser mostrada mediante plataformas cartográficas. El usuario final puede posicionarse en un área de interés y obtener, mediante la información alfanumérica que tengan asociados los elementos del mapa, los datos que requiera

Sistema de información geográfica del Ayuntamiento de Bétera basado en software libre

El sistema de información geográfica del Ayuntamiento de Bétera nace con la necesidad de obtener una cartografía única y accesible a técnicos ubicados en distintos departamentos o edificios, ciudadanos, empresas y administraciones públicas

Cultura material i qualitat de la vida urbana

Cultura material i qualitat de la vida urbana

Cultura material y calidad de la vida urbana

Cultura material y calidad de la vida urbana

Material Culture and Quality of Urban Life

Material Culture and Quality of Urban Life

Curso que ha seguido el espediente promovido en la Junta de Comercio de Valencia a consecuencia de cierta proposición presentada por D. José Campo y Pérez... para el anticipo de cantidades destinadas a las obras y limpia del puerto del Grao [Texto impreso]

Hay un ejemplar encuadernado con: Memoria razonada sobre las mejoras de que son susceptibles los trabajos del puerto del Grao de Valencia y la población de esta ciudad destinada a la consecución definitiva del primero y al verdadero engrandecimiento de la segunda (Carreres/4681)

Incorporación de la Web 2.0 en la docencia de Proyectos e Infraestructuras de Telecomunicación II: Curso de adaptación al grado

Comunicación y póster presentados en las IX Jornadas de Redes de Investigación en Docencia Universitaria, Alicante, 16-17 junio 2011.

Herramienta virtual para la optimización del trabajo en el laboratorio docente

La reciente implantación de los grados en la Universidad de Alicante (UA) ha supuesto un cambio sustancial en lo que se refiere a la estructuración en el tiempo y los contenidos de las asignaturas implicadas. Es un hecho innegable que se ha producido una reducción de las horas que el alumno pasa en el laboratorio. En particular, en el grado de Óptica y Optometría, asignaturas como la Óptica Geométrica ha pasado de tener 45 horas de laboratorio a sólo 12 horas. Frente a este hecho los profesores involucrados, en un intento de optimizar el tiempo utilizado en el laboratorio, han optado por potenciar y primar lo referente a la realización de los montajes experimentales propiamente dichos, la toma de datos y el análisis del resultado final, sobre los diferentes cálculos matemáticos implicados en el proceso, en ocasiones bastante engorrosos. Para compensarlo se ha diseñado una herramienta didáctica que agrupa applets de los diferentes cálculos a realizar. Se pretende que el alumno, posteriormente en casa, incorpore los datos numéricos obtenidos y obtenga los resultados pertinentes favoreciendo su posterior discusión en las tutorías virtuales. Se combina así la docencia presencial y virtual permitiendo optimizar el tiempo empleado en el laboratorio y la autocorrección por parte del alumno.