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

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.

Laquímica.net, una proposta per millorar la relació entre universitat i la secundària

Sota el lema "Química entre nosaltres: descobrim la química a Girona", el projecte LaQuimica.Net iniciat l’any 2004 vol promoure la divulgació de la química en l'entorn geogràfic de la UdG, estimular l'estudi i la recerca en química en l'àmbit de secundària, i fomentar la incorporació dels estudiants de secundària a l'ensenyament superior. En aquest marc, en els darrers anys, el departament de química de la Universitat de Girona ve desenvolupant tota una sèrie d'activitats adreçades tant a estudiants de secundària com al públic en general. Pel que fa als estudiants de secundària, s’ofereixen un conjunt d’activitats entre les que cal destacar “El Dissabte de la Química”, el “[Nano]reacciona!” i les pràctiques ofertes a grupsclasse. “El Dissabte de la Química” consta d’una conferència d’uns 30-40 minuts seguida de 4 tallers on els estudiants poden practicar diferents aspectes de la química. Amb “[Nano]reacciona!” els estudiants de secundària presenten els seus treballs de recerca relacionats amb la química mitjançant un pòster que confeccionen ells mateixos. Finalment, a les pràctiques de grups-classe els estudiants d’un determinat curs de secundària fan una pràctica completa en un dels laboratoris de docència del nostre departament. Pel que fa als professors de secundària s’organitza el “Congrés de Docència en Química a Secundària”, en el que participen una sèrie d’experts en el tema de la didàctica de la química o de les ciències en general i on els professors de secundària podem fer una comunicació curta amb alguna de les seves experiències personals a l’aula. Finalment, pel que fa al públic en general, durant la Setmana de la Ciència s’organitza “La Fira de la Química”, una activitat que pretén donar a conèixer alguns aspectes d’aquesta ciència, així com també mostrar com ens influeix la química en la nostra vida diària

Plataforma redGIS.NET para el acceso libre a datos y funciones geográficas

The redGIS.NET project is led by the Geomatics Unit in the University of Alicante's Geography Institute, and financed by the Vice-Chancellor of Research Office under the umbrella of the COPLA inititive, promoting open source software in this university. (...)

Publiradio.net: innovación docente e investigación sobre publicidad radiofónica en el marco del EEES

La adaptación del sistema universitario catalán y español al Espacio Europeo de Educación Superior (EEES) está favoreciendo la aparición de nuevas metodologías docentes en respuesta a los requerimientos del llamado European Credit Transfer System (ECTS), una modalidad de crédito cuya principal característica consiste, como ya es ampliamente conocido, en focalizar la atención en el estudiante y, especialmente, en generar un proceso interactivo en el que el alumno se convierta en responsable activo de la adquisición de conocimientos. En el ámbito de las Ciencias de la Comunicación, una de las iniciativas más destacables de aproximación al EEES comienza en el año 2004, cuando el Departament d'Universitats, Investigació i Societat de la Informació de la Generalitat de Catalunya (DURSI) eligió a varios centros catalanes para que aplicaran de manera experimental el nuevo sistema común de créditos derivados de la Declaración de Bolonia. La Universidad Autónoma de Barcelona (UAB) fue uno de ellos, y ésta, a su vez, decidió poner en práctica la prueba piloto en la licenciatura de Publicidad y Relaciones Públicas. Es a partir de ese momento cuando los profesores del Departament de Comunicació Audiovisual i Publicitat de la UAB que forman el grupo de investigación Publiradio2 deciden poner en marcha un proyecto que, en el marco de las asignaturas de creatividad y de radio publicitaria, respondiera a las exigencias de la cultura docente en la que se inspira el crédito ECTS. Nace así Publiradio.net, un aplicativo on-line para la creación de publicidad radiofónica destinado, también, a facilitar y potenciar el aprendizaje autónomo entre los estudiantes, a fomentar, en sintonía con las apreciaciones de Aguaded, la utilización de 'técnicas y procedimientos que permitan al alumnado su análisis y uso como lenguajes propios' y a impulsar y facilitar a los estudiantes la investigación en publicidad radiofónica

Mission control system for dam inspection with an AUV

This paper presents a complete control architecture that has been designed to fulfill predefined missions with an autonomous underwater vehicle (AUV). The control architecture has three levels of control: mission level, task level and vehicle level. The novelty of the work resides in the mission level, which is built with a Petri network that defines the sequence of tasks that are executed depending on the unpredictable situations that may occur. The task control system is composed of a set of active behaviours and a coordinator that selects the most appropriate vehicle action at each moment. The paper focuses on the design of the mission controller and its interaction with the task controller. Simulations, inspired on an industrial underwater inspection of a dam grate, show the effectiveness of the control architecture

Student's watcher : comparison between ASP.NET and PHP+CSS

"Student’s Watcher” is a small Web application which wants to show in a visual, simple and fast way, the evolution of the students. The main project table displays such things as marks and comments about students. We can add a comment for each mark to explain why this mark. The objective is to be able to know if some student has a problem, how is going his year, marks in other courses, or even, to know if he has a bad week in a different subjects. We can see the evolution of students in past years to do an objective comparison. It also allows inserting global comments of student, we have a list of these, and all professors can add new ones, where we can see more general valuations. “Student’s Watcher” was begun in ASP.net, but finally my project would be developed in PHP, HTML and CSS. This project wants to be a comparison between two of most important languages used nowadays, ASPX and PHP