Modélisation et exploration d'un écosystème à dynamique spatiale par des outils de model-checking - DUMAS - Dépôt Universitaire de Mémoires Après Soutenance Accéder directement au contenu
Mémoires Année : 2015

Modelling and exploration of an ecosystem with spatial dynamic by model-checking

Modélisation et exploration d'un écosystème à dynamique spatiale par des outils de model-checking

Pierre Gaignon
  • Fonction : Auteur

Résumé

The representation of large ecosystem is problematic, because of necessary needs to model it. New approaches are developed to answer this problem. This report offers à new qualitative approach to represent populations inside a landscape, which is evolving under human actions. The innovation is te modelling of population flows with timed automata, a qualitative modelling method. It has been possible to create a method, which starts from the modelling of a landscape and ends at the creation of its possible development and the analysis of the factors promoting agronomic and ecological criteria. However, the actual tools are still limited and do not permit real applications.
La représentation de larges écosystèmes pose le problème des moyens nécessaires pour les modéliser. Pour cela, de nouvelles approches se développent pour pallier à ce problème. Ce rapport propose une nouvelle approche qualitative pour représenter des populations au sein d’un paysage soumis à l’action humaine. L’innovation vient de la modélisation des flux de population entre différents éléments paysagers en utilisant des automates temporisés, une méthode de modélisation qualitative. Il a ainsi été possible de réaliser une méthode partant de la modélisation du paysage jusqu’à la génération de ses évolutions possibles, et l’analyse des facteurs favorisant les critères agronomiques et écologies étudiés. Cependant, les outils à disposition restent limités et ne permettent pas encore d’application réelle.
Fichier principal
Vignette du fichier
2015_GAIGNON_PIERRE_STATISTIQUES.pdf (4.93 Mo) Télécharger le fichier
Loading...

Dates et versions

dumas-01253878 , version 1 (11-01-2016)

Identifiants

  • HAL Id : dumas-01253878 , version 1

Citer

Pierre Gaignon. Modélisation et exploration d'un écosystème à dynamique spatiale par des outils de model-checking . Statistiques [stat]. 2015. ⟨dumas-01253878⟩
137 Consultations
194 Téléchargements

Partager

Gmail Facebook X LinkedIn More