A mission control system for an autonomous underwater vehicle

The presented work focuses on the theoretical and practical aspects concerning the design and development of a formal method to build a mission control system for autonomous underwater vehicles bringing systematic design principles for the formal description of missions using Petri nets. The proposed methodology compounds Petri net building blocks within it to de_ne a mission plan for which it is proved that formal properties, such as reachability and reusability, hold as long as these same properties are also guaranteed by each Petri net building block. To simplify the de_nition of these Petri net blocks as well as their composition, a high level language called Mission Control Language has been developed. Moreover, a methodology to ensure coordination constraints for teams of multiple robots as well as the de_nition of an interface between the proposed system and an on-board planner able to plan/replan sequences of prede_ned mission plans is included as well. Results of experiments with several real underwater vehicles and simulations involving an autonomous surface craft and an autonomous underwater vehicles are presented to show the system's capabilities.

Simplification, approximation and deformation of large models

The high level of realism and interaction in many computer graphic applications requires techniques for processing complex geometric models. First, we present a method that provides an accurate low-resolution approximation from a multi-chart textured model that guarantees geometric fidelity and correct preservation of the appearance attributes. Then, we introduce a mesh structure called Compact Model that approximates dense triangular meshes while preserving sharp features, allowing adaptive reconstructions and supporting textured models. Next, we design a new space deformation technique called *Cages based on a multi-level system of cages that preserves the smoothness of the mesh between neighbouring cages and is extremely versatile, allowing the use of heterogeneous sets of coordinates and different levels of deformation. Finally, we propose a hybrid method that allows to apply any deformation technique on large models obtaining high quality results with a reduced memory footprint and a high performance.

Educació ambiental: un enfocament metodològic en formació inicial del professorat d'Educació Primària

Aquesta tesi se situa en una perspectiva de l'Educació Ambiental adreçada a la Sostenibilitat i com a nucli catalitzador d'una Educació per al Canvi. Amb la investigació que es presenta es pretén, a més, contribuir a reduir el buit existent entre el marc teòric de l'Educació Ambiental i la seva transposició didàctica en la formació inicial del professorat, i al mateix temps poder fer aportacions significatives en el camp dels enfocaments pedagògics i estratègies metodològiques d'aquest àmbit de l'educació. En primer lloc, es presenta una anàlisi del marc teòric que ha informat el desenvolupament de l'Educació Ambiental, la seva reorientació i reconceptualització en la dècada dels anys noranta, i s'exposen el debat i les tendències actuals. A continuació es presenta l'anàlisi del nivell d'incorporació de l'Educació Ambiental, així com dels factors que en limiten o dificulten una plena integració, tant a nivell de l'etapa d'educació primària, com en la formació inicial del professorat. Es porta també a terme una revisió i una anàlisi exhaustiva de l'estat actual de la investigació en Educació Ambiental, a nivell nacional i internacional, i a partir d'ella es revela el dèficit que existeix, particularment, en la investigació educativa en Educació Ambiental en la formació inicial del professorat, i sobretot en el camp dels enfocaments pedagògics i estratègies metodològiques. El propòsit concret de la investigació se centra en: (i) analitzar l'impacte d'un enfocament metodològic (metodologia triaxial) aplicat en un curs d'Educació Ambiental en formació inicial del professorat; (ii) explorar el procés de formació en Educació Ambiental des del propi pensament dels estudiants. Aquest propòsit general ha portat la definició dels objectius d'investigació següents: (a) dissenyar i aplicar un enfocament metodològic triaxial en la formació en Educació Ambiental del professorat; (b) dissenyar i aplicar els instruments que promouen el procés de reflexió, individual i col·lectiu, en els estudiants; (c) explorar el procés de formació en Educació Ambiental des del pensament dels estudiants i a través dels instruments utilitzats per a la reflexió; (d) valorar la metodologia triaxial en la formació en Educació Ambiental de futurs i futures mestres d'Educació Primària. Cal destacar que la metodologia triaxial elaborada i aplicada es basa en la integració de tres eixos processals: procés d'investigació, procés de reflexió i procés de treball cooperatiu, i és consistent amb el model teòric que s'exposa i es defensa en la investigació (el capítol 5 tracta, concretament, del disseny, estructuració i desenvolupament del curs fonamentat en aquesta metodologia) La investigació se situa en el paradigma interpretatiu d'investigació educativa i en una metodologia d'anàlisi qualitativa. La mostra l'ha constituïda un grup classe, 42 estudiants, del 3r curs dels estudis de Magisteri, curs 1998/99, de la Universitat de Girona. Els instruments d'anàlisi han estat els instruments de reflexió, individual i col·lectiva, utilitzats en el curs. Destaquem l'ús d'un diari de grup, especialment dissenyat i estructurat per a promoure la reflexió col·lectiva, com l'aportació més rellevant en relació als instruments per a la reflexió. El diari de grup ha estat l'instrument vertebrador de la metodologia d'anàlisi qualitativa, i, tal com s'ha aplicat en aquesta investigació, s'ha validat com a un instrument nuclear i eficaç per a la reflexió de grup, i per explorar i analitzar el procés de formació en Educació Ambiental i de la formació professional general del grup d'estudiants. La resta d'instruments han estat, bàsicament, qüestionaris individuals, en diferents moments del curs; els documents produïts pels estudiants (propostes didàctiques en Educació Ambiental) i la memòria de la investigadora. La triangulació s'ha realitzat a través de tots els instruments. En la investigació es presenta, de manera detallada, com s'ha dut a terme el procés d'anàlisi de cadascun dels instruments i els resultats extrets. L'anàlisi dels resultats ha permès dibuixar l'evolució del pensament dels estudiants al llarg del curs i realitzar una anàlisi holística i multidimensional del seu procés de formació en Educació Ambiental. S'ha produït un canvi substancial en relació a la comprensió i assumpció dels components de l'Educació Ambiental: rellevància, holisme, educació crítica, educació en valors, capacitat de responsabilitat, d'acció i d'atendre diferents punts de vista i perspectives. Al llarg del curs i del procés hi ha una clara potenciació de qualitats dinàmiques. Al mateix temps, l'anàlisi revela la interdependència real i efectiva dels tres processos que configuren la metodologia triaxial i la seva clara influència en la formació en Educació Ambiental del grup d'estudiants i en la construcció dels seus models didàctics. En la investigació es conclou, entre altres aspectes, que l'enfocament metodològic, basat en un procés triaxial, aplicat en la formació inicial del grup de futurs i futures mestres, ha resultat de gran eficàcia i rellevància en la seva formació en Educació Ambiental i, també, en la seva formació com a professionals investigadors, crítico- reflexius, amb capacitat d'innovació i amb un grau més alt d' "empowerment". Cal dir que la metodologia triaxial es revela amb altes possibilitats de transferència i adaptabilitat a altres estudis. La transferibilitat d'aquesta metodologia serà objecte de seguiment investigatiu amb el propòsit de trobar les orientacions pedagògiques més adequades a cada àmbit i situació, ja que pot oferir aportacions valuoses en el camp de l'Ambientalització Curricular dels estudis universitaris.

Integration of knowledge-based, qualitative and numeric tools for real time dynamic systems supervision

The proposal presented in this thesis is to provide designers of knowledge based supervisory systems of dynamic systems with a framework to facilitate their tasks avoiding interface problems among tools, data flow and management. The approach is thought to be useful to both control and process engineers in assisting their tasks. The use of AI technologies to diagnose and perform control loops and, of course, assist process supervisory tasks such as fault detection and diagnose, are in the scope of this work. Special effort has been put in integration of tools for assisting expert supervisory systems design. With this aim the experience of Computer Aided Control Systems Design (CACSD) frameworks have been analysed and used to design a Computer Aided Supervisory Systems (CASSD) framework. In this sense, some basic facilities are required to be available in this proposed framework: ·