Application of modal interval analysis to the simulation of the behaviour of dynamic systems with uncertain parameters

Els models matemàtics quantitatius són simplificacions de la realitat i per tant el comportament obtingut per simulació d'aquests models difereix dels reals. L'ús de models quantitatius complexes no és una solució perquè en la majoria dels casos hi ha alguna incertesa en el sistema real que no pot ser representada amb aquests models. Una forma de representar aquesta incertesa és mitjançant models qualitatius o semiqualitatius. Un model d'aquest tipus de fet representa un conjunt de models. La simulació del comportament de models quantitatius genera una trajectòria en el temps per a cada variable de sortida. Aquest no pot ser el resultat de la simulació d'un conjunt de models. Una forma de representar el comportament en aquest cas és mitjançant envolupants. L'envolupant exacta és complete, és a dir, inclou tots els possibles comportaments del model, i correcta, és a dir, tots els punts dins de l'envolupant pertanyen a la sortida de, com a mínim, una instància del model. La generació d'una envolupant així normalment és una tasca molt dura que es pot abordar, per exemple, mitjançant algorismes d'optimització global o comprovació de consistència. Per aquesta raó, en molts casos s'obtenen aproximacions a l'envolupant exacta. Una aproximació completa però no correcta a l'envolupant exacta és una envolupant sobredimensionada, mentre que una envolupant correcta però no completa és subdimensionada. Aquestes propietats s'han estudiat per diferents simuladors per a sistemes incerts.

Integració 3D de detectors de píxels híbrids

La miniaturització de la industria microelectrònica és un fet del tot inqüestionables i la tecnologia CMOS no n'és una excepció. En conseqüència la comunitat científica s'ha plantejat dos grans reptes: En primer lloc portar la tecnologia CMOS el més lluny possible ('Beyond CMOS') tot desenvolupant sistemes d'altes prestacions com microprocessadors, micro - nanosistemes o bé sistemes de píxels. I en segon lloc encetar una nova generació electrònica basada en tecnologies totalment diferents dins l'àmbit de les Nanotecnologies. Tots aquests avanços exigeixen una recerca i innovació constant en la resta d'àrees complementaries com són les d'encapsulat. L'encapsulat ha de satisfer bàsicament tres funcions: Interfície elèctrica del sistema amb l'exterior, Proporcionar un suport mecànic al sistema i Proporcionar un camí de dissipació de calor. Per tant, si tenim en compte que la majoria d'aquests dispositius d'altes prestacions demanden un alt nombre d'entrades i sortides, els mòduls multixip (MCMs) i la tecnologia flip chip es presenten com una solució molt interessant per aquests tipus de dispositiu. L'objectiu d'aquesta tesi és la de desenvolupar una tecnologia de mòduls multixip basada en interconnexions flip chip per a la integració de detectors de píxels híbrids, que inclou: 1) El desenvolupament d'una tecnologia de bumping basada en bumps de soldadura Sn/Ag eutèctics dipositats per electrodeposició amb un pitch de 50µm, i 2) El desenvolupament d'una tecnologia de vies d'or en silici que permet interconnectar i apilar xips verticalment (3D packaging) amb un pitch de 100µm. Finalment aquesta alta capacitat d'interconnexió dels encapsulats flip chip ha permès que sistemes de píxels tradicionalment monolítics puguin evolucionar cap a sistemes híbrids més compactes i complexes, i que en aquesta tesi s'ha vist reflectit transferint la tecnologia desenvolupada al camp de la física d'altes energies, en concret implantant el sistema de bump bonding d'un mamògraf digital. Addicionalment s'ha implantat també un dispositiu detector híbrid modular per a la reconstrucció d'imatges 3D en temps real, que ha donat lloc a una patent.

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.

L'evolució dels models de turisme litoral: el Regne Unit, la Costa brava i Cuba

La tesi es centra en una anàlisi prèvia de les implicacions de la teoria del cicle de vida aplicada a les destinacions turístiques pel geògraf canadenc Richard W. Butler (1982) i en un estudi del significat de l'aparició del postmodernisme i les seves repercussions en el turisme, a la vegada que es resegueix la història que ha fet possible l'aparició del turisme massificat de sol i platja. Tot això és la base teòrica imprescindible per poder estudiar empíricament les destinacions de Saltburn (Regne Unit), l'Estartit (Costa Brava) i Cayo Coco (Cuba), utilitzant el cicle de vida per escriure la seva història i veure les polítiques de desenvolupament i regeneració turística que s'han seguit i si aquestes es poden qualificar de postfordistes. La principal conclusió és que el concepte del cicle de vida es limita a ser una eina de diagnòstic a posteriori. El cicle de vida, com a instrument prescriptiu, no serveix. Es específic per a cada destinació, amb unes etapes i punts d'inflexió que només es poden establir en restrospectiva. El cicle de vida és una eina descriptiva molt útil per entendre l'evolució de les destinacions turístiques i els seus mercats, però vigilant de no caure en falses exploracions o perillosos determinismes.

En la prehistòria dels hisendats. De senyors útils a propietaris (vegueria de Girona, 1486-1730)

A la vegueria de Girona, entre 1486 i 1730, es produeix el procés de formació històrica d'un grup social que sorgit de la pagesia s'anirà diferenciant progressivament d'aquesta: els senyors útils i propietaris de masos. Aquest grup social basa el seu poder econòmic i polític en l'acumulació de masos: font de rendes i font de l'estatus social assolit dins la parròquia i la universitat on fixa la seva residència. El seu pes social el manifesta a través dels seus espais de sociabilitat (especialment la parròquia, veritable espai de representació), però també manifesta la seva posició de preeminència, fet que pot abocar als conflictes amb el conjunt de la comunitat. Un conflicte que es planteja en termes de diferenciació dels uns i d'igualtat dels altres. És l'enfrontament entre dues visions de la societat: l'individualisme enfront el comunitarisme.

La difusió de l'arqueologia mitjançant els museus arqueològics: avaluació dels visitants dels museus arqueològics de Catalunya i anàlisi dels conceptes que aquests museus transmeten al públic

The aim of the thesis is to present the visitors knowledge from Archaeology museums in Catalonia, based on the Archaeology museums of Catalonia. In Catalonia there are no studies about the public of these museums. Lack objective data about the public from which they rise to raise our hypotheses regarding the impact of archaeological museums on the population. From a methodological and systematic analysis we can get closer to the knowledge of the general characteristics of the public of these museums. We focus on the visitors through interviews and surveys with observation and indirect functions of museums related to public exposure of their content, and assessing the impact of exposure and whether it has achieved their goals. From there you hire the evolution that has taken Archaeology in our country and if museums are analyzing whether a meeting between researchers and the public. The evaluation presented on visitors and the exhibition halls aims to provide information about museums and approach to the dissemination of knowledge in reference to the archeology in museums in Catalonia.

Mirades turístiques a la ciutat. Anàlisi del comportament dels visitants del Barri Vell de Girona

Mirades Turístiques a la ciutat és un estudi sobre el comportament del turisme en les ciutats monumentals, a partir de l'experiència viscuda pels visitants del Barri Vell de Girona. Una recerca que ha pretès determinar, precisament, la forma com els visitants entren en contacte amb el patrimoni monumental de la ciutat medieval. A partir, d'identificar quins factors influeixen (i quins no) en el comportament dels turistes durant la seva visita, tant pel que fa referència als factors ambientals generals (la meteorologia, la congestió, la informació...) com els factors singulars de cada visitant. Per tal d'assolir aquests objectius, en hem plantejat una sèrie d'hipòtesis de treball: 1. Existeix una manera turística d'apropar-se al patrimoni que té les seves pròpies regles, les seves estructures específiques i en conseqüència la necessitat d'uns instruments de gestió particulars. 2. L'aproximació del turista al patrimoni monumental és el resultat de dues forces aparentment contradictòries. D'una banda, el turista tendeix a reproduir pautes de comportament socialment construïdes que prenen la forma d'un ritual. D'altra banda, més enllà d'aquest patró comú, cada visitant viu una experiència singular. Per tant, la relació amb el patrimoni és el resultat d'un subtil equilibri entre experiència i ritual. 3. El consum turístic del patrimoni depèn de la relació entre quatre factors. El primer, la imatge del lloc, és la projecció (sovint idealitzada) de l'espai de visita, una metàfora de la ciutat. El segon, el codi d'interpretació turístic , actua com una mena de ritual, un guió no escrit de la pràctica turística. En tercer lloc, el substrat material que són els components artístics, històrics o culturals de la destinació: la geometria del casc, les visuals, el pes de la història o el valor estètic de les peces condicionen, com és obvi, la mirada turística. Finalment, l'experiència està condicionada per la gestió (pública i privada) del turisme: informació, fluxos, interpretació... L'estudi s'ha sustentat en una metodologia inèdita basada en l'observació directa a partir del seguiment dels visitants durant els seus recorreguts. Hem observat el visitants i hem recollit la informació bàsica de la seva visita: l'itinerari, els monuments visitats, les actituds manifestades, els temps d'estada... Aquesta metodologia ha estat ja implementada en alguns estudis de públic de diversos museus. S'han recollit tres tipus de dades: dades relacionades amb els arcs (segment de carrer entre dues interseccions), dades relacionades amb els nodes (els elements d'interès) i dades relacionades amb el visitant. Les tres fonts estan unides per un identificador comú, que és el codi del turista. Això ens ha permès vincular les dades dels visitants amb el seu recorregut i la seva visita als monuments de la ciutat. Els resultats de l'estudi ens han permès identificar els factors que singularitzen l'apropament dels visitants al patrimoni i que el diferencien d'altres formes de relació o ús. És a dir, els factors que incideixen en el comportament dels visitants de Girona. Així mateix, hem pogut definir models d'itineraris amb una estructura interna molt compacta però molt diferents entre ells; que ens evidencien que, malgrat les regularitats detectades en les visites dels turistes de la ciutat, també existeixen elements diferencials en el seu comportament. Hem detectat quatre models de recorreguts urbans que hem anomenat: itinerari bàsic, comercial, complex i de les muralles, que a l'hora es poden subdividir en varies categories. Finalment, els estadístics multivariants ens han permès demostrar que la relació entre el turista i el patrimoni respon almenys a quatre formes de consum diferenciades, que hem anomenat "no turistes", "rituals", "interessats" i "erudits".

Rhode. Caracterització del jaciment i de les produccions dels seus tallers ceràmics

RESUM En la primera part de la tesi es revisen els materials arqueològics i els documents de les excavacions antigues al jaciment grec de la Ciutadella de Roses (Alt Empordà). Es fan estudis comparatius i de conjunt amb els resultats proporcionats per les excavacions recents. A partir d'aquí s'obté una periodització del jaciment, des del moment de la fundació de la colònia massaliota de Rhode, al segon quart del segle IV aC, fins a la fi de la ciutat, al 195 aC. Es tracten aspectes de topografia, urbanisme i estudi dels edificis. La segona part analitza les produccions dels tallers ceràmics (vernissos negres, pastes clares, ceràmiques de cuina i altres produccions secundàries). Es fa una nova classificació, un estudi de les formes, de la cronologia i paral·lels. S'estudien les instal·lacions dels tallers, els forns, la seva capacitat, les argiles i les terreres. Es conclou amb una caracterització socioeconòmica i històrica de la ciutat, i dels aspectes històrics relacionats amb les fases de la seva fundació, desenvolupament i fi.