Using petri nets to specify and execute missions for autonomous underwater vehicles

This paper presents the design and implementation of a mission control system (MCS) for an autonomous underwater vehicle (AUV) based on Petri nets. In the proposed approach the Petri nets are used to specify as well as to execute the desired autonomous vehicle mission. The mission is easily described using an imperative programming language called mission control language (MCL) that formally describes the mission execution thread. A mission control language compiler (MCL-C) able to automatically translate the MCL into a Petri net is described and a real-time Petri net player that allows to execute the resulting Petri net onboard an AUV are also presented

Construcció i explotació d'un magatzem de dades per a l'anàlisi d'informació sobre trànsit rodat de vehicles

Aquest document defineix la construcció i explotació d'un magatzem de dades per a la Fundació d'Estudis per a la Conducció Responsable. L'objectiu del projecte és homogeneïtzar la informació que rep la fundació, des de diverses fonts i en diferents formats, consolidar-la en un únic magatzem de dades i habilitar eines que facilitin la seva explotació i anàlisi. La consecució d'aquestes fites és determinant perquè la direcció conegui l'evolució del trànsit rodat de vehicles a Catalunya i minimitzi el riscos en cas de qualsevol presa de decisions.

Television and the construction of identity: Barcelona, Olympic host

This document, originally published as part of the book The Keys of success: the social, sporting, economic and communications impact of Barcelona’92, comes from a larger study that looked at all aspects of television in the Olympics and can be found in its original version, in Miquel de Moragas Spà, Nancy K. Rivenburgh and James F. Larson (1996). Television in the Olympics. London: John Libbey.

Systematic Construction of Goal-Oriented COTS Taxonomies

Informe de investigación realizado a partir de una estancia en el Department of Computer and Information Science de la Norwegian University of Science and Technology (NTNU), Noruega, entre setiembre i diciembre de 2006. El uso de componentes de software llamados Commercial-Off-The-Shelf (COTS) en el desarrollo de sistemas basados en componentes implica varios retos. Uno de ellos es la falta de información disponible y adecuada para dar soporte al proceso de selección de componentes a ser integrados. Para lidiar con estos problemas, se esta desarrollando un trabajo de tesis que propone un método llamado GOThIC (Goal-Oriented Taxonomy and reuse Infrastructure Construction). El método está orientado a construir una infrastructura de reuse para facilitar la búsqueda y reuse de componentes COTS. La estancia en la NTNU, reportada en este documento, tuvo como objetivo primordial las mejora del método y la obtención de datos empíricos para darle soporte. Algunos de los principales resultados fueron la obtención de datos empíricos fundamentando la utilización del método en ámbitos industriales de selección de componentes COTS, así como una nueva estrategia para conseguir de forma factible e incremental, la federación y reuso de los diferentes esfuerzos existentes para encontrar, seleccionar y mantener componentes COTS y Open Source (OSS) -comúnmente llamados componentes Off-The-Shelf (OTS) - en forma estructurada.

A general construction of internal sheaves in algebraic set theory

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothen-dieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

The new role of the mass media in the construction of sport and Olympic values

This paper was presented in the International Symposium on Toward the Creation of New-Sport Cultures, undertaken in Osaka, Japan, in January 28, 1996. The main purpose is to make an interpretation of the cultural values of sport and Olympism in contemporary society, considering the enormous influence that the media have on them.

The loop group and the cobar construction

"Vegeu el resum a l'inici del document del fitxer adjunt."

Development of a tool for the construction of "ground truth" for complex color images with text

Aquesta memoria resumeix el treball de final de carrera d’Enginyeria Superior d’Informàtica. Explicarà les principals raons que han motivat el projecte així com exemples que il·lustren l’aplicació resultant. En aquest cas el software intentarà resoldre la actual necessitat que hi ha de tenir dades de Ground Truth per als algoritmes de segmentació de text per imatges de color complexes. Tots els procesos seran explicats en els diferents capítols partint de la definició del problema, la planificació, els requeriments i el disseny fins a completar la il·lustració dels resultats del programa i les dades de Ground Truth resultants.

Elections in 2009? Progress and obstacles in the construction of peace in the Ivory Coast

In 2002 in the Ivory Coast three months of armed conflict ended with the division of the country. Two regions were separated by an interposition line controlled by the French Forces Licorne. This significant peace process was maintained over time, but characterized for lack of mutual confidence and political immobility, which led to an impasse and the continuation of Laurent Gbagbo in the presidency. Moreover, the peace building process was less successful because the different political agreements failed to address some of the main national problems, such as land property and identity issues. The following paper aims first to analyze the main facts and causes that instigated the conflict since the coup d’état in 2002. Secondly, the paper will analyze the peace process and point out the key elements of the Ouagadougou Peace Agreement (2007): the creation of a new and unique armed forces structure, as well as the identification of the population and implementation of an electoral process. The main goal is to provide the International Catalan Institute for Peace (ICIP) a working tool in order to send an electoral observation mission to this African country by November 2009.

Élections en 2009? Progrès et obstacles dans la construction de la paix en Côte d'Ivoire

Trois mois de conflit armé en Côte d’Ivoire pendant l’année 2002 finirent par provoquer la division du pays en deux régions, séparées par une ligne d’interposition contrôlée par les Forces Licorne françaises. Le processus de paix se prolongea dans le temps, caractérisé par un manque de confiance mutuelle et une immobilité politique. Ces faits ont débouché sur une situation d’impasse et la permanence de Laurent Gbagbo à la présidence du pays. De plus, les différents accords politiques n’aidèrent pas le processus de construction de la paix, puisqu’ils n’abordaient pas certains problèmes principaux du pays, comme par exemple la propriété des terres et les sujets concernant l’identité. Ce document de travail aspire, tout d’abord, à analyser les faits principaux et les causes qui provoquèrent le conflit à partir du coup d’état de 2002. En deuxième lieu, le document analyse le processus de paix et signale les éléments clé de l’Accord de Paix d’Ouagadougou (2007): la création d’une nouvelle et unique structure des forces armées, ainsi que l’identification de la population et la réalisation d’un processus électoral. L’objectif principal est de fournir un outil de travail à l’Institut Catalan International pour la Paix (ICIP) afin d’envoyer une mission d’observation électorale dans ce pays africain.

Sistema encastat de monitorització d'informació múltiple: implementació per a vehicles

Aquest projecte es centra en l’àmbit de l’automoció, i la seva finalitat es ampliar la informació que proporciona el fabricant d’un vehicle als usuaris. Un dels punts claus del sistema es que aquest quedi completament integrat, per tant, utilitza dispositius externs inclosos al vehicle com ara el display que anteriorment s’utilitzava per a mostrar informació del radiocasset, i una maneta amb dos botons utilitzada per al control del sistema. El sistema mostra diferents tipus d’informació com ara la velocitat instantània del vehicle, revolucions del motor, velocitat màxima, distància parcial recorreguda, hora i data. A més de mostrar informació, aquest es capaç d’emmagatzemar-la en un suport extraïble per a una posterior explotació a un ordinador convencional. El sistema no està pensat per a ser un projecte tancat, sinó que esta dissenyat per a ser ampliat en quant a funcionalitats, i per tant aquest projecte es considera una primera versió.

Passes fins a futurs canvis legislatius a l’àmbit penal en material de conducció de vehicles. Estudi quantitatiu de cocaïna i heroïna en saliva de conductors

Estudi de la presència de cocaïna i opiacis en saliva, en subjectes sospitosos de conduir sota els efectes de les drogues. Aplicació d’un test d’immunoassaig (Cozart). Confirmació i quantificació dels resultats positius (CG-EM). Comparació amb alteracions clíniques en els subjectes. No hi ha diferències entre concentracions de droga i signes clínics avaluades