Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Linear and nonlinear terrain deformation maps from a reduced set of interferometric SAR images

In this paper, an advanced technique for the generation of deformation maps using synthetic aperture radar (SAR) data is presented. The algorithm estimates the linear and nonlinear components of the displacement, the error of the digital elevation model (DEM) used to cancel the topographic terms, and the atmospheric artifacts from a reduced set of low spatial resolution interferograms. The pixel candidates are selected from those presenting a good coherence level in the whole set of interferograms and the resulting nonuniform mesh tessellated with the Delauney triangulation to establish connections among them. The linear component of movement and DEM error are estimated adjusting a linear model to the data only on the connections. Later on, this information, once unwrapped to retrieve the absolute values, is used to calculate the nonlinear component of movement and atmospheric artifacts with alternate filtering techniques in both the temporal and spatial domains. The method presents high flexibility with respect to the required number of images and the baselines length. However, better results are obtained with large datasets of short baseline interferograms. The technique has been tested with European Remote Sensing SAR data from an area of Catalonia (Spain) and validated with on-field precise leveling measurements.

Diagnosi i pla de gestió ambiental del casal de joves de Haër (Senegal)

Per tal de fer front al deteriorament i la destrucció de l’única infraestructura comuna per a joves existent al barri de Haër (M’lomp), l’associació de joves “Les Criquets de Haër” ha dut a terme un projecte de construcció d’un Casal de Joves, el qual pretén fer front no només a la manca d’infraestructures sinó també a la falta de tallers en condicions, de llocs de treball i d’espai agrícola. Amb l’objectiu de construir un centre integrat en el medi i amb capacitat per atendre les necessitats tant dels joves de Haër com d’altres poblacions properes, s’ha optat per realitzar una diagnosi ambiental del terreny on es construirà el complex. La informació obtinguda en aquesta diagnosi ha permès determinar els possibles impactes que la construcció del casal pot suposar per al medi i, a partir d’aquí, elaborar un pla de gestió ambiental dissenyant les mesures correctores més adequades per a la mitigació dels impactes detectats. Les actuacions plantejades en el Pla de gestió ambiental s’han dissenyat tenint en compte el context social i econòmic en el qual es desenvolupen les obres, així com també la predisposició de la població per a dur-les a terme i garantir-ne la continuïtat.

Estudi del banc de llavors d'un sòl

Treball de recerca realitzat per una alumna d'ensenyament secundari i guardonat amb un Premi CIRIT per fomentar l'esperit cientí­fic del Jovent l'any 2009. Es tracta d'un estudi basat en les capacitats naturals regeneratives del sòl. Aquesta investigació se centra en quin grau és possible que la coberta vegetal d'unes terres que han patit pertorbacions externes (incendis, talades, etc.) pugui regenerar-se i desenvolupar-se de manera natural. De manera que, la recerca està basada en bon grau en el banc de llavors que posseeix un determinat terreny, ja que és a partir d'aquest d'on es tornarà a repoblar l'indret en qüestió. Concretament, la hipòtesi directora del treball afirma que sense la intervenció humana és possible l'aparició de nova vegetació després de l'efecte d'una pertorbació que hagi danyat totalment la coberta vegetal d'un indret. La part més experimental consisteix molt esquemàticament en realitzar diversos mostrejos a tres terrenys de diferent tipus, concretament un bosc, un conreu i un camp abandonat, per sotmetre'ls a estudi durant aproximadament cinc mesos. A partir d'aquest estudi apareixeran un seguit de conclusions que no tan sols tenen a veure amb la hipòtesi plantejada prèviament. La recerca ha conduït a conclusions incialment no tingudes en compte, però la idea principal del treball és que sí que és possible la regeneració natural de la coberta vegetal d'un indret a partir dels propàguls que aquest conté.

Modelos de viento aplicados a la mejora en la predicción de incendios forestales

La predicción de incendios forestales es uno de los grandes retos de la comunidad científica debido al impacto medioambiental, humano y económico que tienen en la sociedad. El comportamiento de este fenómeno es difícil de modelar debido a la gran cantidad de variables que intervienen y la dificultad que implica su correcta medición. Los simuladores de fuego son herramientas muy útiles pero, actualmente, los resultados que obtenemos tienen un alto grado de imprecisión. Desde nuestro grupo se ha trabajado en la predicción en dos etapas, donde antes de realizar cualquier predicción, se incorpora una etapa de ajuste de los parámetros de entrada para obtener mejores predicciones. Pese a la mejora que supone este nuevo paradigma de predicción, las simulaciones sobre incendios reales tienen un alto grado de error por el efecto de las condiciones meteorológicas que, usualmente, varían de manera notable durante el transcurso de la simulación. Uno de los factores más determinantes en el comportamiento de un incendio, junto con las características del terreno, es el viento. Los modelos de predicción son extremadamente sensibles al cambio en los componentes de dirección y velocidad del viento por lo que cualquier mejora que podamos introducir para mejorar la calidad de estas componentes influye directamente en la calidad de la predicción. Nuestro sistema de predicción utiliza la dirección y velocidad del viento de forma global en todo el terreno, y lo que proponemos con este trabajo es introducir un modelo de vientos que nos permita generar vientos locales en todas las celdas en las que se divide el terreno. Este viento local dependerá del viento general y de las características del terreno de dichas celdas. Consideramos que la utilización de un viento general no es suficiente para realizar una buena predicción del comportamiento de un incendio y hemos comprobado que la inclusión de un simulador de campo de vientos en nuestro sistema puede llegar a mejorar nuestras predicciones considerablemente. Los resultados obtenidos en los experimentos sintéticos que hemos realizado nos hacen ser optimistas, puesto que consideramos que la inclusión de componentes de viento locales permitirá mejorar nuestras predicciones en incendios reales.

Can You Home Again? Desertion and Control of Hometowns in Civil Wars

What allows an armed group in a civil war to prevent desertion? This paper addresses this question with a focus on control in the rearguard. Most past studies focus on motivations for desertion. They explain desertion in terms of where soldiers stand in relation to the macro themes of the war, or in terms of an inability to provide positive incentives to overcome the collective action problem. However, since individuals decide whether and how to participate in civil wars for multiple reasons, responding to a variety of local conditions in an environment of threat and violence, a focus only on macro-level motivations is incomplete. The opportunities side of the ledger deserves more attention. I therefore turn my attention to how control by an armed group eliminates soldiers’ opportunities to desert. In particular, I consider the control that an armed group maintains over soldiers’ hometowns, treating geographic terrain as an important exogenous indicator of the ease of control. Rough terrain at home affords soldiers and their families and friends advantages in ease of hiding, the difficulty of using force, and local knowledge. Based on an original dataset of soldiers from Santander Province in the Spanish Civil War, gathered from archival sources, I find statistical evidence that the rougher the terrain in a soldier’s home municipality, the more likely he is to desert. I find complementary qualitative evidence indicating that soldiers from rough-terrain communities took active advantage of their greater opportunities for evasion. This finding has important implications for the way observers interpret different soldiers’ decisions to desert or remain fighting, for the prospect that structural factors may shape the cohesion of armed groups, and for the possibility that local knowledge may be a double-edged sword, making soldiers simultaneously good at fighting and good at deserting.

Desarrollo de un videojuego basado en inteligencia artificial

El projecte Desarrollo de un videojuego basado en inteligencia artificial té com a objectiu el desenvolupament d'un videojoc d'estratègia on el jugador haurà de planificar una defensa capaç de resistir l'atac de l'enemic. El jugador haurà de triar com emprar els seus recursos per col·locar diferents tipus de terreny i diferents tipus de soldats. Posteriorment, quan aparegui l'enemic, els soldats actuaran d'acord als seus mecanismes de presa de decisions (encara que alguns soldats poden ser controlats pel jugador), igual que els enemics.

Construcció d'un SIG municipal Aplicat a les necessitats bàsiques d'una població qualsevol

Els Sistemes d'Informació Geogràfics (SIG), han estat fins ara una eina molt potent a l'hora de gestionar molts aspectes relacionat amb el terreny. En aquest document, s'intenta posar de manifest aquest fet, i per portar a terme aquest objectiu, s'ha estructurat en dos grans blocs, un teòric, i un altre pràctic, que es complementen amb un tercer, més específic, que amplia, amb aspectes teòrics, la part pràctica del TFC, que tracta sobre temes cadastrals.

El riu Llobregat i la seva relació amb el territori en l'època romana

S'ha estudiat la conca del riu i la seva desembocadura durant l'època romana; seguidament s'ha creat una consulta interactiva amb informació associada d'alguns dels jaciments; i finalment s'ha introduit un model digital de terreny, a partir del qual s'han analitzat les conques de drenatge del riu i s'han realitzat vistes en tres dimensions de tota la zona.

El Riu Llobregat i la seva relació amb el territori en l'època romana

El Geomedia© facilita agrupar tota la informació com: perfils de terreny, tipus de jaciments, mapes geològics, fonts històriques... per establir la ubicació del riu en època romana i finalment, avaluar els efectes d'una riuada.

Towards Detecting Changes in Underwater Image Sequences

Detecting changes between images of the same scene taken at different times is of great interest for monitoring and understanding the environment. It is widely used for on-land application but suffers from different constraints. Unfortunately, Change detection algorithms require highly accurate geometric and photometric registration. This requirement has precluded their use in underwater imagery in the past. In this paper, the change detection techniques available nowadays for on-land application were analyzed and a method to automatically detect the changes in sequences of underwater images is proposed. Target application scenarios are habitat restoration sites, or area monitoring after sudden impacts from hurricanes or ship groundings. The method is based on the creation of a 3D terrain model from one image sequence over an area of interest. This model allows for synthesizing textured views that correspond to the same viewpoints of a second image sequence. The generated views are photometrically matched and corrected against the corresponding frames from the second sequence. Standard change detection techniques are then applied to find areas of difference. Additionally, the paper shows that it is possible to detect false positives, resulting from non-rigid objects, by applying the same change detection method to the first sequence exclusively. The developed method was able to correctly find the changes between two challenging sequences of images from a coral reef taken one year apart and acquired with two different cameras

Monocular-based 3-D seafloor reconstruction and ortho-mosaicing by piecewise planar representation

Photo-mosaicing techniques have become popular for seafloor mapping in various marine science applications. However, the common methods cannot accurately map regions with high relief and topographical variations. Ortho-mosaicing borrowed from photogrammetry is an alternative technique that enables taking into account the 3-D shape of the terrain. A serious bottleneck is the volume of elevation information that needs to be estimated from the video data, fused, and processed for the generation of a composite ortho-photo that covers a relatively large seafloor area. We present a framework that combines the advantages of dense depth-map and 3-D feature estimation techniques based on visual motion cues. The main goal is to identify and reconstruct certain key terrain feature points that adequately represent the surface with minimal complexity in the form of piecewise planar patches. The proposed implementation utilizes local depth maps for feature selection, while tracking over several views enables 3-D reconstruction by bundle adjustment. Experimental results with synthetic and real data validate the effectiveness of the proposed approach

Identificació de paisatges funcionals mitjançant anàlisi cluster

El terme paisatge i les seves aplicacions són cada dia més utilitzats per les administracions i altres entitats com a eina de gestió del territori. Aprofitant la gran quantitat de dades en bases compatibles amb SIG (Sistemes d’Informació Geogràfica) existents a Catalunya s’ha desenvolupat una síntesi cartogràfica on s’identifiquen els Paisatges Funcionals (PF) de Catalunya, concepte que fa referència al comportament fisico-ecològic del terreny a partir de variables topogràfiques i climàtiques convenientment transformades i agregades. S’ha utilitzat un mètode semiautomàtic i iteratiu de classificació no supervisada (clustering) que permet la creació d’una llegenda jeràrquica o nivells de generalització. S’ha obtingut com a resultat el Mapa de Paisatges Funcionals de Catalunya (MPFC) amb una llegenda de 26 categories de paisatges i 5 nivells de generalització amb una resolució espacial de 180 m. Paral·lelament, s’han realitzat validacions indirectes sobre el mapa obtingut a partir dels coneixements naturalistes i la cartografia existent, així com també d’un mapa d’incertesa (aplicant lògica difusa) que aporten informació de la fiabilitat de la classificació realitzada. Els Paisatges Funcionals obtinguts permeten relacionar zones de condicions topo-climàtiques homogènies i dividir el territori en zones caracteritzades ambientalment i no políticament amb la intenció que sigui d’utilitat a l’hora de millorar la gestió dels recursos naturals i la planificació d’actuacions humanes.

Pèrdua d’ energia de pedalada en una MTB de doble suspensió

L' objectiu d' aquest projecte és crear un sistema de càlcul per estudiar el desplaçament dels amortidors al llarg del cicle de pedalada, que són la causa de la dissipació d' energia. Tot el projecte s' ha desenvolupat de forma teòrica i l' estudi que s' ha dut a terme ha estat estàtic. Els resultats obtinguts són una aproximació del que seria de s' hagués estudiat dinàmicament

Administració pública electronica i immigracio: una nova oportunitat per una societat xarxa catalana inclusiva

Aquest projecte explora dues dinàmiques socials interrelacionades: a) L'increment de la diversitat cultural al territori català i la necessitat d'implementar polítiques públiques per millorar la convivència i la cohesió social. b) El desenvolupament de la societat xarxa catalana mitjançant la disseminació de les noves tecnologies de la informació i la comunicació en I'espai de I'administració pública. Mes en concret, el projecte aborda la qüestió de la participació de les persones immigrades en la societat xarxa catalana mitjançant una metodologia que combina la investigació online i offline. Es posa un especial èmfasi en I'estudi de I ‘accés i ús dels serveis oferts per I'administració pública electrònica de les persones immigrades a Catalunya. Els nous usuaris i usuàries dels serveis públics presenten condicionants i necessitats particulars que depenen del seu origen cultural i de la seva situació administrativa. Aquest projecte estudia el grau d'adequació de la e-Administració a les demandes i necessitats especifiques d'aquest grup de població. En aquest sentit, I'estudi explora les possibilitats per a poder promoure la cohesió social mitjançant el desenvolupament d'una administració pública electronica mes inclusiva i interactiva a Catalunya. L’anàlisi de I'adaptació i adopció de I'administració electrònica catalana en el context de la població immigrada s'ha fet des d'un doble camí metodològic. D' una banda, s'ha realitzat una incursió en com I'administració pública catalana, tant local com autonòmica, s'ha adaptat a la diversitat dels seus usuaris mitjançant I'observació de webs i entrevistes a responsables tècnics i polítics. D'altra banda, s'han fet entrevistes amb persones immigrades amb perfils socio-culturals diversos. podem apuntar que I'administració pública electrònica a Catalunya es una realitat per a moltes persones immigrades que ja han provat de fer-la servir per a usos socialment importants. Existeixen, però, impediments tant des de la pròpia dinàmica de I'administració, que no ha posat aquesta qüestió en un lloc prioritari, com des de les persones que desconfien dels seus propis coneixements i no sempre troben allò que busquen. Amb tot, ens trobem amb un espai que obre expectatives de futur molt amplies. Un espai molt idoni per a repensar les formes que exigeixen els reptes de la nova ciutadania