Des piles de sable aux automates de sable

par Benoît Masson

Thèse de doctorat en Informatique

Sous la direction de Enrico Formenti.


  • Résumé

    Dans cette thèse nous étudions différents systèmes dynamiques discrets permettant de simuler la formation des piles de sable. Le comportement des modèles de base SPM ou IPM(k) est bien connu dans des conditions initiales spécifiques. Nous étendons ces résultats à des conditions initiales plus générales, et nous introduisons le modèle SSPM qui ajoute de la symétrie à ces modèles et améliore leur réalisme. Dans un second temps, nous étudions un autre système dynamique, les automates de sable. Ils sont définis de manière analogue aux automates cellulaires, avec la contrainte supplémentaire qu'une configuration n'admet pas de « trous ». Ces automates peuvent simuler tous les modèles de piles de sable définis localement, et à l'aide d'un cadre mathématique solide, ils permettent d'obtenir des résultats plus généraux. Nous nous intéressons à la dynamique des automates de sable, plus précisément aux propriétés de réversibilité d'un automate, et nous étudions la décidabilité de propriétés caractérisant les piles de sable classiques : conservation des grains et périodicité ultime.

  • Titre traduit

    From sandpiles to automata


  • Résumé

    In this thesis we study several discrete dynamical systems which can simulate the formation of sandpiles. The behavior of the basic models SPM and IPM(k) is well-known under specific initial conditions. We extend these results to arbitrary initial conditions. Moreover, we introduce the model SSPM which adds symmetry to these models and improves their realism. In the second part, we study another dynamical system, namely sand automata. They are refined similarly to cellular automata, with the constraint that configurations can not contain any “hole”. These automata can simulate any locally-defined sandpile model, and their solid topological framework allows more general results. We are interested in sand automata dynamics, more precisely in the reversibility properties of sand automata. We conclude by studying the decidability of properties which characterize classical sandpile systems: grain conservation and ultimate periodicity.

Autre version

Cette thèse a donné lieu à une publication en 2007 par [CCSD] [diffusion/distribution] à Villeurbanne

Des piles de sable aux automates de sable

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (97 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 87-89. Index. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Non disponible pour le PEB
  • Cote : 06NICE4045
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.