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
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.
Domaines
Statistiques [stat]
Loading...