2 resultados para planificador

em Universitat de Girona, Spain


Relevância:

10.00% 10.00%

Publicador:

Resumo:

El planificador de Rutas Turísticas de la Diputación de Badajoz recoge una visión integrada de la provincia, tanto desde su estructura espacial como temática y a partir de la información recogida en las distintas bases de datos alfanuméricas, georreferenciadas, se constituye en una herramienta de presentación de datos clasificados, con componente temporal y espacial, adecuados para la toma de decisiones, ofreciendo la posibilidad de simular y gestionar la información turística de la provincia para ponerla al servicio de los ciudadanos. En el proyecto se ha llevado a cabo la implementación de una aplicación web, basada en el desarrollo de un nuevo módulo de Gestión de información turística, la implantación de un Servidor de Mapas para la publicación de información que es visible a través de un visor web cartográfico y una serie de Geoservicios que permiten la generación y consulta de rutas e información turística disponible en la provincia de Badajoz. Para su desarrollo se ha planteado la utilización de software libre en todos los niveles de la aplicación y en lo referente a Información Geográfica, se han observado los estándares promovidos por InspirE, OGC e ISO tanto en el tratamiento de los datos como en el desarrollo de las aplicaciones

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.