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

Visual SLAM for 3D large-scale seabed acquisition employing underwater vehicles

This paper presents a novel technique to align partial 3D reconstructions of the seabed acquired by a stereo camera mounted on an autonomous underwater vehicle. Vehicle localization and seabed mapping is performed simultaneously by means of an Extended Kalman Filter. Passive landmarks are detected on the images and characterized considering 2D and 3D features. Landmarks are re-observed while the robot is navigating and data association becomes easier but robust. Once the survey is completed, vehicle trajectory is smoothed by a Rauch-Tung-Striebel filter obtaining an even better alignment of the 3D views and yet a large-scale acquisition of the seabed

Visual SLAM for underwater vehicles using video velocity log and natural landmarks

A visual SLAM system has been implemented and optimised for real-time deployment on an AUV equipped with calibrated stereo cameras. The system incorporates a novel approach to landmark description in which landmarks are local sub maps that consist of a cloud of 3D points and their associated SIFT/SURF descriptors. Landmarks are also sparsely distributed which simplifies and accelerates data association and map updates. In addition to landmark-based localisation the system utilises visual odometry to estimate the pose of the vehicle in 6 degrees of freedom by identifying temporal matches between consecutive local sub maps and computing the motion. Both the extended Kalman filter and unscented Kalman filter have been considered for filtering the observations. The output of the filter is also smoothed using the Rauch-Tung-Striebel (RTS) method to obtain a better alignment of the sequence of local sub maps and to deliver a large-scale 3D acquisition of the surveyed area. Synthetic experiments have been performed using a simulation environment in which ray tracing is used to generate synthetic images for the stereo system

Manteniment de vehicles autopropulsats : fam??lia professional. Garantia social : iniciaci?? professional. Cicles formatius grau mitj??. Cicles formatius grau superior

Material cofinanciado por el Fondo Social Europeo. Este material forma parte de una carpeta titulada Formaci??n profesional: oferta educativa, compuesta por un conjunto de folletos y un cd-rom

El currículum i la premsa escrita : dos vehicles de comunicació per a l'aprenentatge. ' El currículum y la prensa escrita: dos vehículos de comunicación para el aprendizaje'.

Mostrar que la incorporación de aprendizajes que tengan que ver con el conocimiento y uso de la prensa diaria en los currículums de enseñanza formal no universitaria, optimiza diferentes elementos del sistema educativo y da respuesta a objetivos básicos de la educación del alumno.. La prensa como facilitadora de la comprensión y la comunicación entre profesor-alumno, y en el ámbito general del currículum escolar.. Realiza un análisis teórico sobre el tema del currículum y la prensa. Presenta el modelo teórico con la descripción de cada fase que se desarrolla. Lleva a cabo un vaciado de información en revistas infantiles y juveniles catalanas y de diarios. Propone la adaptación del modelo a otras realidades culturales. Comenta las conclusiones y marca las pautas para continuar este trabajo del modelo propuesto.El resultado positivo y la experiencia durante ocho años del proyecto 'L'Avui Eina Didàctica a l'Escola' lleva a cabo antes de la investigación, es la base del desarrollo de esta investigación.. Revistas y diarios.. La prensa debe ser un elemento de refuerzo para conseguir éxito en los en los estudios y formación del alumnado. Es un elemento optimizador y retroalimentador dels diseño, la planificación y la implementación de objetivos y contenidos del currículum. También es un soporte en la adquisición de competencias intelectuales y afectivas..

Manteniment de vehicles autopropulsats. 'Mantenimiento de vehículos autopropulsados'.

Materiales curriculares sobre vehículos autopropulsados para profesorado de FP. Se desarrollan los capítulos siguientes: 1. Carrocería, 2. Electromecánica de vehículos y 3. Automoción. Para cada contenido se ofrece un volumen con el currículum especificado y otro volumen con orientaciones para su desarrollo. En total consta de 6 volúmenes reunidos en una misma carpeta.

Selective submap joining SLAM for autonomous vehicles

Simultaneous Localization and Mapping (SLAM) do not result in consistent maps of large areas because of gradual increase of the uncertainty for long term missions. In addition, as the size of the map grows the computational cost increases, making SLAM solutions unsuitable for on-line applications. This thesis surveys SLAM approaches paying special attention to those approaches aimed to work on large scenarios. Special focus is given to existing underwater SLAM applications. A technique based on using independent local maps together with a global stochastic map is presented. This technique is called Selective Submap Joining SLAM (SSJS). A global map contains relative transformations between local maps, which are updated once a new loop is detected. Maps sharing several features are fused, maintaining the correlation between landmarks and vehicle's pose. The use of local maps reduces computational costs and improves map consistency as compared to state of the art techniques.

A proposal to estimate the motion of an underwater vehicle through visual mosaicking

This thesis proposes a solution to the problem of estimating the motion of an Unmanned Underwater Vehicle (UUV). Our approach is based on the integration of the incremental measurements which are provided by a vision system. When the vehicle is close to the underwater terrain, it constructs a visual map (so called "mosaic") of the area where the mission takes place while, at the same time, it localizes itself on this map, following the Concurrent Mapping and Localization strategy. The proposed methodology to achieve this goal is based on a feature-based mosaicking algorithm. A down-looking camera is attached to the underwater vehicle. As the vehicle moves, a sequence of images of the sea-floor is acquired by the camera. For every image of the sequence, a set of characteristic features is detected by means of a corner detector. Then, their correspondences are found in the next image of the sequence. Solving the correspondence problem in an accurate and reliable way is a difficult task in computer vision. We consider different alternatives to solve this problem by introducing a detailed analysis of the textural characteristics of the image. This is done in two phases: first comparing different texture operators individually, and next selecting those that best characterize the point/matching pair and using them together to obtain a more robust characterization. Various alternatives are also studied to merge the information provided by the individual texture operators. Finally, the best approach in terms of robustness and efficiency is proposed. After the correspondences have been solved, for every pair of consecutive images we obtain a list of image features in the first image and their matchings in the next frame. Our aim is now to recover the apparent motion of the camera from these features. Although an accurate texture analysis is devoted to the matching pro-cedure, some false matches (known as outliers) could still appear among the right correspon-dences. For this reason, a robust estimation technique is used to estimate the planar transformation (homography) which explains the dominant motion of the image. Next, this homography is used to warp the processed image to the common mosaic frame, constructing a composite image formed by every frame of the sequence. With the aim of estimating the position of the vehicle as the mosaic is being constructed, the 3D motion of the vehicle can be computed from the measurements obtained by a sonar altimeter and the incremental motion computed from the homography. Unfortunately, as the mosaic increases in size, image local alignment errors increase the inaccuracies associated to the position of the vehicle. Occasionally, the trajectory described by the vehicle may cross over itself. In this situation new information is available, and the system can readjust the position estimates. Our proposal consists not only in localizing the vehicle, but also in readjusting the trajectory described by the vehicle when crossover information is obtained. This is achieved by implementing an Augmented State Kalman Filter (ASKF). Kalman filtering appears as an adequate framework to deal with position estimates and their associated covariances. Finally, some experimental results are shown. A laboratory setup has been used to analyze and evaluate the accuracy of the mosaicking system. This setup enables a quantitative measurement of the accumulated errors of the mosaics created in the lab. Then, the results obtained from real sea trials using the URIS underwater vehicle are shown.

Servei de retirada de vehicles de la via pública del terme municipal de València basat en localització GPS i comunicacions GPRS

L’objectiu d’aquest projecte és dotar a Servicleop d’un programari que li permeti millorar la gestió dels serveis de retirada de vehicles de la via pública, que actualment s’efectua a través del canal de veu. Això s’aconseguirà mitjançant l’ús de cartografia digital i localització GPS, que permetrà optimitzar l’assignació de retirades al saber quina grua es troba en millor disposició, i PDAs que es comunicaran amb un centre de control a través de GPRS des del qual s’assignaran aquest serveis. S’oferiran facilitats sempre que sigui possible en la introducció de dades, disminuint les probabilitats de cometre errors, i tot el procés quedarà enregistrat automàticament en base de dades per a poder generar estadístiques o informes. el projecte parteix d’un altre projecte intern de Knosos anomenat Micronav.Net Serveis, en el qual també he treballat molt activament i que ofereix una solució genèrica similar a la requerida per Servicleop, empresa a la que va destinada el sistema que es presenta en aquest projecte final de carrera

Declines of Aerial Insectivores in North America Follow a Geographic Gradient

North American birds that feed on aerial insects are experiencing widespread population declines. An analysis of the North American Breeding Bird Survey trend estimates for 1966 to 2006 suggests that declines in this guild are significantly stronger than in passerines in general. The pattern of decline also shows a striking geographical gradient, with aerial insectivore declines becoming more prevalent towards the northeast of North America. Declines are also more acute in species that migrate long distances compared to those that migrate short distances. The declines become manifest, almost without exception, in the mid 1980s. The taxonomic breadth of these downward trends suggests that declines in aerial insectivore populations are linked to changes in populations of flying insects, and these changes might be indicative of underlying ecosystem changes.

Visual Object Recognition Using Deformable Models of Vehicles

This workshop paper reports recent developments to a vision system for traffic interpretation which relies extensively on the use of geometrical and scene context. Firstly, a new approach to pose refinement is reported, based on forces derived from prominent image derivatives found close to an initial hypothesis. Secondly, a parameterised vehicle model is reported, able to represent different vehicle classes. This general vehicle model has been fitted to sample data, and subjected to a Principal Component Analysis to create a deformable model of common car types having 6 parameters. We show that the new pose recovery technique is also able to operate on the PCA model, to allow the structure of an initial vehicle hypothesis to be adapted to fit the prevailing context. We report initial experiments with the model, which demonstrate significant improvements to pose recovery.

Determining nugget: sill ratios of standardized variograms from aerial photographs to krige sparse soil data

Maps of kriged soil properties for precision agriculture are often based on a variogram estimated from too few data because the costs of sampling and analysis are often prohibitive. If the variogram has been computed by the usual method of moments, it is likely to be unstable when there are fewer than 100 data. The scale of variation in soil properties should be investigated prior to sampling by computing a variogram from ancillary data, such as an aerial photograph of the bare soil. If the sampling interval suggested by this is large in relation to the size of the field there will be too few data to estimate a reliable variogram for kriging. Standardized variograms from aerial photographs can be used with standardized soil data that are sparse, provided the data are spatially structured and the nugget:sill ratio is similar to that of a reliable variogram of the property. The problem remains of how to set this ratio in the absence of an accurate variogram. Several methods of estimating the nugget:sill ratio for selected soil properties are proposed and evaluated. Standardized variograms with nugget:sill ratios set by these methods are more similar to those computed from intensive soil data than are variograms computed from sparse soil data. The results of cross-validation and mapping show that the standardized variograms provide more accurate estimates, and preserve the main patterns of variation better than those computed from sparse data.