Variational calculation of vibrational linear and nonlinear optical properties

A variational approach for reliably calculating vibrational linear and nonlinear optical properties of molecules with large electrical and/or mechanical anharmonicity is introduced. This approach utilizes a self-consistent solution of the vibrational Schrödinger equation for the complete field-dependent potential-energy surface and, then, adds higher-level vibrational correlation corrections as desired. An initial application is made to static properties for three molecules of widely varying anharmonicity using the lowest-level vibrational correlation treatment (i.e., vibrational Møller-Plesset perturbation theory). Our results indicate when the conventional Bishop-Kirtman perturbation method can be expected to break down and when high-level vibrational correlation methods are likely to be required. Future improvements and extensions are discussed

Internal test sets studies in a group of antimalarials

Topological indices have been applied to build QSAR models for a set of 20 antimalarial cyclic peroxy cetals. In order to evaluate the reliability of the proposed linear models leave-n-out and Internal Test Sets (ITS) approaches have been considered. The proposed procedure resulted in a robust and consensued prediction equation and here it is shown why it is superior to the employed standard cross-validation algorithms involving multilinear regression models

Sistema de manteniment de l'equilibri per a un robot bípede

Dins el departament d’Electrònica, Informàtica i Automàtica de la Universitat de Girona s’han dissenyat i construït dues plataformes bípedes per a l’ús docent. La més evolucionada d’elles, finalitzada l’any 1999, està composada per dues cames d’alumini amb tres actuadors lineals cada una, simulant la funció del turmell, del genoll i del maluc. Els objectius que es pretenen aconseguir amb aquest projecte són molt concrets i tots ells estan destinats a millorar el funcionament del robot bípede. Aquests objectius són: (1) dissenyar dos graus de llibertat lineals en forma de pla XY per moure el pes que convingui per assegurar l’equilibri durant el moviment de la plataforma bípede, (2) dissenyar una placa amb una FPGA que generi senyals PWM pels vuit motors disponibles, que llegeixi els dos encoders dels motors del pla XY i que es comuniqui amb un PC equipat amb una tarja d’adquisició de dades específica, (3) dissenyar una placa de potència adequada pel control dels motors, (4) finalment realitzar un programa per comprovar el correcte funcionament de les plaques, dels actuadors i dels sensors utilitzats en la plataforma bípede

Efficient topology estimation for large scale optical mapping

Large scale image mosaicing methods are in great demand among scientists who study different aspects of the seabed, and have been fostered by impressive advances in the capabilities of underwater robots in gathering optical data from the seafloor. Cost and weight constraints mean that lowcost Remotely operated vehicles (ROVs) usually have a very limited number of sensors. When a low-cost robot carries out a seafloor survey using a down-looking camera, it usually follows a predetermined trajectory that provides several non time-consecutive overlapping image pairs. Finding these pairs (a process known as topology estimation) is indispensable to obtaining globally consistent mosaics and accurate trajectory estimates, which are necessary for a global view of the surveyed area, especially when optical sensors are the only data source. This thesis presents a set of consistent methods aimed at creating large area image mosaics from optical data obtained during surveys with low-cost underwater vehicles. First, a global alignment method developed within a Feature-based image mosaicing (FIM) framework, where nonlinear minimisation is substituted by two linear steps, is discussed. Then, a simple four-point mosaic rectifying method is proposed to reduce distortions that might occur due to lens distortions, error accumulation and the difficulties of optical imaging in an underwater medium. The topology estimation problem is addressed by means of an augmented state and extended Kalman filter combined framework, aimed at minimising the total number of matching attempts and simultaneously obtaining the best possible trajectory. Potential image pairs are predicted by taking into account the uncertainty in the trajectory. The contribution of matching an image pair is investigated using information theory principles. Lastly, a different solution to the topology estimation problem is proposed in a bundle adjustment framework. Innovative aspects include the use of fast image similarity criterion combined with a Minimum spanning tree (MST) solution, to obtain a tentative topology. This topology is improved by attempting image matching with the pairs for which there is the most overlap evidence. Unlike previous approaches for large-area mosaicing, our framework is able to deal naturally with cases where time-consecutive images cannot be matched successfully, such as completely unordered sets. Finally, the efficiency of the proposed methods is discussed and a comparison made with other state-of-the-art approaches, using a series of challenging datasets in underwater scenarios

Aspectes metodològics i aplicacions de la modelització del temps de supervivència multivariant mitjançant models mixtes

Els estudis de supervivència s'interessen pel temps que passa des de l'inici de l'estudi (diagnòstic de la malaltia, inici del tractament,...) fins que es produeix l'esdeveniment d'interès (mort, curació, millora,...). No obstant això, moltes vegades aquest esdeveniment s'observa més d'una vegada en un mateix individu durant el període de seguiment (dades de supervivència multivariant). En aquest cas, és necessari utilitzar una metodologia diferent a la utilitzada en l'anàlisi de supervivència estàndard. El principal problema que l'estudi d'aquest tipus de dades comporta és que les observacions poden no ser independents. Fins ara, aquest problema s'ha solucionat de dues maneres diferents en funció de la variable dependent. Si aquesta variable segueix una distribució de la família exponencial s'utilitzen els models lineals generalitzats mixtes (GLMM); i si aquesta variable és el temps, variable amb una distribució de probabilitat no pertanyent a aquesta família, s'utilitza l'anàlisi de supervivència multivariant. El que es pretén en aquesta tesis és unificar aquests dos enfocs, és a dir, utilitzar una variable dependent que sigui el temps amb agrupacions d'individus o d'observacions, a partir d'un GLMM, amb la finalitat d'introduir nous mètodes pel tractament d'aquest tipus de dades.

Ecologia demogràfica de la perca americana (Micropterus salmoides) a l'Estany de Banyoles

L'Estany de Banyoles, sistema peculiar tant des del punt de vista de la seva formació geològica com de les seves característiques limnològiques, conté actualment una comunitat de peixos profundament modificada respecte de la comunitat original. La perca americana (Micropterus salmoides), introduïda a finals dels anys seixanta del segle XX, és avui una de les espècies dominants en aquesta comunitat, i ocupa sobretot l'hàbitat litoral de l'Estany. Es tracta d'una espècie molt ben estudiada a Nord Amèrica des de diverses disciplines de la biologia i des de fa diverses dècades, cosa que ha comportat que actualment es disposi d'un gran volum d'informació sobre ella. Amb tot, fora del seu continent d'origen ha rebut poca atenció, malgrat l'amplia expansió que ha experimentat arreu del món. En aquesta tesi doctoral s'han abordat, amb un enfocament descriptiu, aspectes fins ara desconeguts per a l'espècie a l'Estany de Banyoles, a la península ibèrica i fins i tot a Europa. Concretament, se n'ha analitzat la condició, el creixement i la demografia, així com les seves variacions temporals. Amb aquesta finalitat, s'ha dissenyat un mostreig composat de deu campanyes de pesca intensives més alguns petits mostrejos addicionals intercalats, mostreig que s'ha allargat des del juliol del 1997 i fins el novembre del 1999. La captura dels exemplars s'ha realitzat mitjançant una tècnica de pesca elèctrica amb una embarcació posada a punt expressament per a aquest estudi, la qual s'ha mostrat considerablement eficient malgrat les dificultats que ofereix el medi. S'ha realitzat un mostreig de marcatge-recaptura basat en la mutilació d'aletes i, en alguns casos, en el marcatge amb pintura acrílica. Només en la darrera campanya (novembre del 1999) s'ha sacrificat una part important de les captures a fi de retirar-ne els otòlits per a la determinació de l'edat. Pel que fa a l'anàlisi de les dades, s'ha aplicat un ampli ventall de mètodes i models per a cada un dels aspectes estudiats, a fi de contrastar-ne els resultats i validar-ne la seva fiabilitat. En el cas de la condició, s'han aplicat mètodes d'anàlisi de la covariància (ANCOVA) i altres mètodes anàlegs, així com, paral·lelament, regressions i anàlisis derivades a partir de la relació longitud-pes. En l'estudi del creixement, s'han realitzat ajustaments de diversos models mitjançant regressions sobre dades de mida a l'edat i sobre dades d'increments de mida observats per interval de temps. També s'han aplicat anàlisis de freqüències de longitud, i, finalment, s'han aplicat mètodes de retrocàlcul a partir dels increments anuals del radi observats en els otòlits. Finalment, en el cas de l'estudi de la demografia, s'han aplicat models de marcatge-recaptura per a l'estimació de la grandària poblacional i de la supervivència, i, a més, s'han ajustat diversos models continus de supervivència sobre aquestes estimacions prèvies. També s'han estimat les capturabilitats associades a la nova tècnica de captura. Per una altra banda, s'ha implementat i realitzat un mostreig sobre la població de pescadors esportius de l'Estany encarat a determinar, bàsicament, la pressió de pesca a què es veu sotmesa l'espècie. Els resultats mostren sobretot una alta estabilitat interanual en tots els aspectes estudiats, que s'explica per l'estabilitat ambiental que, al seu torn, és característica d'aquest ecosistema lacustre. Això reverteix en una longevitat màxima observada que iguala la màxima descrita a la literatura per a l'espècie. Alhora, també s'han descrit fortes oscil·lacions estacionals tant en la condició, com en el creixement, com també en la supervivència, les quals, però, presenten certes diferències en la seva temporalitat, cosa que indica una certa diferenciació en els factors que les regulen.

Zooplankton structure and dynamics in Mediterranean marshes (Empordà Wetlands): a size-based approach

Zooplankton community structure (composition, diversity, dynamics and trophic relationships) of Mediterranian marshes, has been analysed by means of a size based approach. In temporary basins the shape of the biomass-size spectra is related to the hydrological cycle. Linear shape spectra are more frequent in flooding situations when nutrient input causes population growth of small-sized organisms, more than compensating for the effect of competitive interactions. During confinement conditions the scarcity of food would decrease zooplankton growth and increase intra- and interspecific interactions between zooplankton organisms which favour the greatest sizes thus leading to the appearance of curved shape spectra. Temporary and permanent basins have similar taxonomic composition but the latter have higher species diversity, a more simplified temporal pattern and a size distribution dominated mainly by smaller sizes. In permanents basins zooplankton growth is not only conditioned by the availability of resources but by the variable predation of planktivorous fish, so that the temporal variability of the spectra may also be a result of temporal differences in fish predation. Size diversity seems to be a better indicator of the degree of this community structure than species diversity. The tendency of size diversity to increase during succession makes it useful to discriminate between different succession stages, fact that is not achieved by analysing only species diversity since it is low both under large and frequent or small and rare disturbances. Amino acid composition differences found among stages of copepod species indicate a gradual change in diet during the life cycle of these copepods, which provide evidence of food niche partitioning during ontogeny, whereas Daphnia species show a relatively constant amino acid composition. There is a relationship between the degree of trophic niche overlap among stages of the different species and nutrient concentration. Copepods, which have low trophic niche overlap among stages are dominant in food-limited environments, probably because trophic niche partitioning during development allow them to reduce intraspecific competition between adults, juveniles and nauplii. Daphnia species are only dominant in water bodies or periods with high productivity, probably due to the high trophic niche overlap between juveniles and adults. These findings suggest that, in addition to the effect of interspecific competition, predation and abiotic factors, the intraspecific competition might play also an important role in structuring zooplankton assemblages.

El benestar psicològic en l'adolescència: la perspectiva de les ciències de la complexitat

El benestar psicològic, entès com la vessant psicològica que forma part del concepte més ampli de qualitat de vida, constitueix un àmbit d'estudi en expansió. Tot i tenir un passat més breu en comparació amb d'altres constructes psicosocials, cada vegada investigadors de les més diverses disciplines s'afegeixen a la llista d'estudiosos que fan del benestar psicològic un dels seus objectes d'investigació. Amb tot, l'estudi del benestar psicològic en l'adolescència constitueix probablement un dels àmbits en els quals la necessitat de seguir avançant es fa més evident. El seu estudi en subjectes adolescents té, a més, un doble interès. Per una part, els canvis i transicions que nois i noies experimenten durant l'adolescència comporten amb freqüència que sigui un període estressant per a molts d'ells/es, amb implicacions importants per al seu benestar psicològic. Aprofundir en el seu coneixement durant aquest període té un interès més enllà de l'estrictament científic i permet el disseny de programes de prevenció més ajustats a les problemàtiques que els/les adolescents puguin estar experimentant. L'exploració dels elements del benestar psicològic constitueix una de les estratègies d'aproximació al seu estudi. En aquesta tesi doctoral s'han seleccionat alguns dels elements que de la literatura científica es desprèn que tenen una connexió més estreta amb el benestar psicològic i que són la satisfacció amb la vida globalment i amb àmbits específics de la vida, l'autoestima, el suport social percebut, la percepció de control i els valors. Tot i que existeix un consens elevat en considerar que l'exploració d'aquests elements és de primera necessitat de cares a aprofundir en l'estructura del benestar psicològic, generalment han estat estudiats de forma separada, malgrat no falten intents d'integració teòrica. Les limitacions més importants que presenta l'estudi del benestar psicològic i el dels seus elements en l'actualitat són bàsicament de caràcter epistemològic i fan referència a la dificultat de trobar visions comunes (tant a nivell de definicions com de teories explicatives) compartides per una majoria d'investigadors socials. Aquestes limitacions justifiquen l'interès per dirigir l'atenció vers un altre tipus d'explicacions del benestar psicològic, qualitativament diferents a les disponibles, que no es refugiïn ni en reduccionismes ni en explicacions causals rígides. Les teories de la complexitat suposen una alternativa productiva en aquest sentit ja que aquelles característiques a través de les quals la complexitat ve donada (borrositat de límits, punts de catàstrofe, dimensions fractals, processos caòtics i no lineals), són, en definitiva, les mateixes propietats que caracteritzen als fenòmens psicosocials. I això inclou el de benestar psicològic. Les dades de les que disposem, obtingudes mitjançant un estudi transversal, impedeixen fer una aproximació al benestar psicològic des de totes les propietats de la complexitat esmentades a excepció de la característica de la no linealitat. L'objectiu general de la tesi ha estat el de construir un model de benestar psicològic a partir de les dades obtingudes que permetés: 1) Evidenciar relacions entre variables que fins aquests moments no han pogut ser massa explorades, 2) Contemplar aquestes relacions més enllà de la seva unidireccionalitat, i 3) Entendre el benestar psicològic en l'adolescència des d'un punt de vista més integrador i holista i, consegüentment, oferir una manera més comprehensiva d'aproximar-se a aquest fenomen. Aquesta tesi ha de ser entesa com un primer pas, fonamentalment metodològic, per l'elaboració futura de conceptualizacions sobre el benestar psicològic en l'adolescència que es basin en els principis que ens aporten les ciències de la complexitat. Malgrat els resultats obtinguts no estan absents de limitacions, obren noves perspectives d'anàlisi del benestar psicològic en l'adolescència.

Noves aproximacions a la síntesi i caracterització de poliglicols al·lílics, polihidrosiloxans i surfactants copolimèrics. Avaluació d'aquests surfactants en formulacions de poliuretà

Els polímers són una sèrie de compostos que troben un ampli ventall d'aplicacions en la indústria actual. Un exemple són les espumes de poliuretà, estructures de tipus cel·lular obtingudes mitjançant la reacció química entre compostos de tipus isocianat i compostos de tipus poliol (polièters amb diferent nombre de grups hidroxil). És imprescindible l'ús d'additius d'estructura tensioactiva (surfactants de silicona) per estabilitzar el procés d'espumació i per proporcionar una estructura cel·lular ordenada i homogènia en mida i distribució. La síntesis i caracterització de les molècules precursores (polihidrosiloxans i polièters al·lílics), l'estudi de la reacció d'hidrosililació com a via d'obtenció dels diferents surfactants per reacció d'addició entre els polihidrosiloxans i els polièters al·lílics i la caracterització i avaluació en formulacions comercials de poliuretà dels surfactants sintetitzats han constituït els objectius del present treball. MEMÒRIA La Tesi Doctoral ha estat presentada seguint el següent esquema: CAPÍTOL I. INTRODUCCIÓ A LA QUÍMICA DEL POLIURETÀ. Es presenten els principis de la química del poliuretà, fent esment dels recents avenços en la síntesis i caracterització d'aquests compostos polimèrics, així com un apartat concret centrat en els surfactants de silicona. Es presenten les estructures habituals d'aquests compostos comercials i es detallen les reaccions de síntesi i les característiques físiques que aquests compostos proporcionen a les espumes de poliuretà. CAPÍTOL II. OBJECTIUS. 1.- Síntesis y caracterització d'una àmplia gamma de poliglicols al·lílics i de polihidrosiloxans amb grups hidrur reactius, ambdós precursors d'estructures polimèriques de tipus surfactant. 2.- Estudi de la reacció d'hidrosililació com a via de formació d'enllaços Si-C no hidrolitzables, mitjançant la reacció d'addició entre els substrats al·lílics insaturats i els polisiloxans amb grups hidrur reactius. 3.- Caracterització de les estructures polimèriques de tipus surfactant sintetitzades i avaluació d'aquestes en formulacions de poliuretà, a fi de relacionar l'estructura química d'aquests oligómers amb els efectes físics que originen en l'espuma de poliuretà. CAPÍTOL III. SÍNTESI I CARACTERITZACIÓ DE SUBSTRATS AL·LÍLICS INSATURATS DE TIPUS POLIGLICOL. S'han caracteritzat per HPLC-UV una sèrie de polietilenglicols comercials. S'ha estudiat la reacció de derivatització al·lílica sobre els grups hidroxil dels polièters comercials (PEG, PPG i copolímers PEG-PPG) i s'han caracteritzat exhaustivament els productes sintetitzats (1H,13C-RMN, GC, GC-MS, FTIR, ESI-MS, HPLC-UV). S'ha iniciat un estudi de polimerització aniònica sobre nous epòxids amb un punt de diversitat molecular, sintetitzant-se i caracteritzant-se els corresponents nous polièters obtinguts. CAPÍTOL IV. SÍNTESI I CARACTERITZACIÓ DE POLIHIDROSILOXANS REACTIUS. S'estudia la síntesis de polihidrosiloxans amb grups hidrur reactius, mitjançant la reacció de polimerització aniònica d'obertura d'anell ("AROP, anionic ring opening polimerization") i mitjançant la reacció de polimerització per equilibració catiònica. Es presenta una caracterització exhaustiva dels productes sintetitzats i es descriu la naturalesa de la microestructura polimèrica a partir de la distribució bivariant dels copolímers PDMS-co-PHMS (poli(dimetilsiloxà)-co-poli(hidrometilsiloxà)). CAPÍTOL V. ESTUDI SISTEMÀTIC DE LA REACCIÓ D'HIDROSILILACIÓ. S'ha estudiat la reacció d'hidrosililació amb la finalitat de sintetitzar estructures copolimèriques poliglicol-polisiloxà a partir de la reacció de polisiloxans hidrur reactius i polièters al·lílics. S'han provat diferents catalitzadors (Pt/C 5%, cat. de Speier i cat. de Karstedt), s'han sintetitzat diferents estructures tensoactives (lineals i ramificades) i s'ha modelitzat les diferents reaccions secundàries observades, per presentar un estudi mecanístic de la reacció d'hidrosililació aplicada a la síntesis de molècules d'elevat PM a partir de la reacció entre substrats al·lílics insaturats i polihidrosiloxans. CAPÍTOL VI. AVALUACIÓ DELS SURFACTANTS EN FORMULACIONS DE POLIURETÀ. S'ha estudiat la idoneïtat dels surfactants de silicona sintetitzats en diferents formulacions de poliuretà comercials. S'ha relacionat el comportament físic d'aquests surfactants en les espumes de poliuretà amb la seva estructura química a partir de l'anàlisi per microscòpia electrònica de rastreig. CAPÍTOL VII. CONCLUSIONS. S'han esposat les conclusions extretes de cada capítol.

Modelling stereoscopic vision systems for robotic applications

Aquesta tesi s'emmarca dins del projecte CICYT TAP 1999-0443-C05-01. L'objectiu d'aquest projecte és el disseny, implementació i avaluació de robots mòbils, amb un sistema de control distribuït, sistemes de sensorització i xarxa de comunicacions per realitzar tasques de vigilància. Els robots han de poder-se moure per un entorn reconeixent la posició i orientació dels diferents objectes que l'envolten. Aquesta informació ha de permetre al robot localitzar-se dins de l'entorn on es troba per poder-se moure evitant els possibles obstacles i dur a terme la tasca encomanada. El robot ha de generar un mapa dinàmic de l'entorn que serà utilitzat per localitzar la seva posició. L'objectiu principal d'aquest projecte és aconseguir que un robot explori i construeixi un mapa de l'entorn sense la necessitat de modificar el propi entorn. Aquesta tesi està enfocada en l'estudi de la geometria dels sistemes de visió estereoscòpics formats per dues càmeres amb l'objectiu d'obtenir informació geomètrica 3D de l'entorn d'un vehicle. Aquest objectiu tracta de l'estudi del modelatge i la calibració de càmeres i en la comprensió de la geometria epipolar. Aquesta geometria està continguda en el que s'anomena emph{matriu fonamental}. Cal realitzar un estudi del càlcul de la matriu fonamental d'un sistema estereoscòpic amb la finalitat de reduir el problema de la correspondència entre dos plans imatge. Un altre objectiu és estudiar els mètodes d'estimació del moviment basats en la geometria epipolar diferencial per tal de percebre el moviment del robot i obtenir-ne la posició. Els estudis de la geometria que envolta els sistemes de visió estereoscòpics ens permeten presentar un sistema de visió per computador muntat en un robot mòbil que navega en un entorn desconegut. El sistema fa que el robot sigui capaç de generar un mapa dinàmic de l'entorn a mesura que es desplaça i determinar quin ha estat el moviment del robot per tal de emph{localitzar-se} dins del mapa. La tesi presenta un estudi comparatiu dels mètodes de calibració de càmeres més utilitzats en les últimes dècades. Aquestes tècniques cobreixen un gran ventall dels mètodes de calibració clàssics. Aquest mètodes permeten estimar els paràmetres de la càmera a partir d'un conjunt de punts 3D i de les seves corresponents projeccions 2D en una imatge. Per tant, aquest estudi descriu un total de cinc tècniques de calibració diferents que inclouen la calibració implicita respecte l'explicita i calibració lineal respecte no lineal. Cal remarcar que s'ha fet un gran esforç en utilitzar la mateixa nomenclatura i s'ha estandaritzat la notació en totes les tècniques presentades. Aquesta és una de les dificultats principals a l'hora de poder comparar les tècniques de calibració ja què cada autor defineix diferents sistemes de coordenades i diferents conjunts de paràmetres. El lector és introduït a la calibració de càmeres amb la tècnica lineal i implícita proposada per Hall i amb la tècnica lineal i explicita proposada per Faugeras-Toscani. A continuació es passa a descriure el mètode a de Faugeras incloent el modelatge de la distorsió de les lents de forma radial. Seguidament es descriu el conegut mètode proposat per Tsai, i finalment es realitza una descripció detallada del mètode de calibració proposat per Weng. Tots els mètodes són comparats tant des del punt de vista de model de càmera utilitzat com de la precisió de la calibració. S'han implementat tots aquests mètodes i s'ha analitzat la precisió presentant resultats obtinguts tant utilitzant dades sintètiques com càmeres reals. Calibrant cada una de les càmeres del sistema estereoscòpic es poden establir un conjunt de restriccions geomètri ques entre les dues imatges. Aquestes relacions són el que s'anomena geometria epipolar i estan contingudes en la matriu fonamental. Coneixent la geometria epipolar es pot: simplificar el problema de la correspondència reduint l'espai de cerca a llarg d'una línia epipolar; estimar el moviment d'una càmera quan aquesta està muntada sobre un robot mòbil per realitzar tasques de seguiment o de navegació; reconstruir una escena per aplicacions d'inspecció, propotipatge o generació de motlles. La matriu fonamental s'estima a partir d'un conjunt de punts en una imatges i les seves correspondències en una segona imatge. La tesi presenta un estat de l'art de les tècniques d'estimació de la matriu fonamental. Comença pels mètode lineals com el dels set punts o el mètode dels vuit punts, passa pels mètodes iteratius com el mètode basat en el gradient o el CFNS, fins arribar las mètodes robustos com el M-Estimators, el LMedS o el RANSAC. En aquest treball es descriuen fins a 15 mètodes amb 19 implementacions diferents. Aquestes tècniques són comparades tant des del punt de vista algorísmic com des del punt de vista de la precisió que obtenen. Es presenten el resultats obtinguts tant amb imatges reals com amb imatges sintètiques amb diferents nivells de soroll i amb diferent quantitat de falses correspondències. Tradicionalment, l'estimació del moviment d'una càmera està basada en l'aplicació de la geometria epipolar entre cada dues imatges consecutives. No obstant el cas tradicional de la geometria epipolar té algunes limitacions en el cas d'una càmera situada en un robot mòbil. Les diferencies entre dues imatges consecutives són molt petites cosa que provoca inexactituds en el càlcul de matriu fonamental. A més cal resoldre el problema de la correspondència, aquest procés és molt costós en quant a temps de computació i no és gaire efectiu per aplicacions de temps real. En aquestes circumstàncies les tècniques d'estimació del moviment d'una càmera solen basar-se en el flux òptic i en la geometria epipolar diferencial. En la tesi es realitza un recull de totes aquestes tècniques degudament classificades. Aquests mètodes són descrits unificant la notació emprada i es remarquen les semblances i les diferencies entre el cas discret i el cas diferencial de la geometria epipolar. Per tal de poder aplicar aquests mètodes a l'estimació de moviment d'un robot mòbil, aquest mètodes generals que estimen el moviment d'una càmera amb sis graus de llibertat, han estat adaptats al cas d'un robot mòbil que es desplaça en una superfície plana. Es presenten els resultats obtinguts tant amb el mètodes generals de sis graus de llibertat com amb els adaptats a un robot mòbil utilitzant dades sintètiques i seqüències d'imatges reals. Aquest tesi finalitza amb una proposta de sistema de localització i de construcció d'un mapa fent servir un sistema estereoscòpic situat en un robot mòbil. Diverses aplicacions de robòtica mòbil requereixen d'un sistema de localització amb l'objectiu de facilitar la navegació del vehicle i l'execució del les trajectòries planificades. La localització es sempre relativa al mapa de l'entorn on el robot s'està movent. La construcció de mapes en un entorn desconegut és una tasca important a realitzar per les futures generacions de robots mòbils. El sistema que es presenta realitza la localització i construeix el mapa de l'entorn de forma simultània. A la tesi es descriu el robot mòbil GRILL, que ha estat la plataforma de treball emprada per aquesta aplicació, amb el sistema de visió estereoscòpic que s'ha dissenyat i s'ha muntat en el robot. També es descriu tots el processos que intervenen en el sistema de localització i construcció del mapa. La implementació d'aquest processos ha estat possible gràcies als estudis realitzats i presentats prèviament (calibració de càmeres, estimació de la matriu fonamental, i estimació del moviment) sense els quals no s'hauria pogut plantejar aquest sistema. Finalment es presenten els mapes en diverses trajectòries realitzades pel robot GRILL en el laboratori. Les principals contribucions d'aquest treball són: ·Un estat de l'art sobre mètodes de calibració de càmeres. El mètodes són comparats tan des del punt de vista del model de càmera utilitzat com de la precisió dels mètodes. ·Un estudi dels mètodes d'estimació de la matriu fonamental. Totes les tècniques estudiades són classificades i descrites des d'un punt de vista algorísmic. ·Un recull de les tècniques d'estimació del moviment d'una càmera centrat en el mètodes basat en la geometria epipolar diferencial. Aquestes tècniques han estat adaptades per tal d'estimar el moviment d'un robot mòbil. ·Una aplicació de robòtica mòbil per tal de construir un mapa dinàmic de l'entorn i localitzar-se per mitja d'un sistema estereoscòpic. L'aplicació presentada es descriu tant des del punt de vista del maquinari com del programari que s'ha dissenyat i implementat.

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.