ZebraNet Analysé dans le Modèle des Protocoles de Population

Résumé : Nous étudions le protocole de collecte de données du projet ZebraNet, dans le modèle des protocoles de population. Dans ce projet des capteurs sont attachés à une population de zèbres, en Afrique Centrale, et fournissent des données aux biologistes qui étudient leurs structures migratoires et comportementales. Nous montrons qu'un protocole voisin de celui utilisé dans ce projet ne se termine pas. Cela entraîne que le protocole originel ne se termine pas non plus. Aussi proposons nous une modification qui fournit la terminaison. Nous prouvons la correction de ce protocole modifié et nous analysons sa complexité en temps au pire, dans le modèle des protocoles de population avec temps de couverture. La comparaison de cette complexité avec celle du protocole optimal est très défavorable. Le protocole de collecte de données de ZebraNet a fait l'objet de simulations, mais c'est la première fois, à notre connaissance, qu'est réalisée une étude purement analytique.
Type de document :
Communication dans un congrès
Ducourthial, Bertrand et Felber, Pascal. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00586503
Contributeur : Joffroy Beauquier <>
Soumis le : jeudi 21 avril 2011 - 22:05:08
Dernière modification le : jeudi 9 février 2017 - 15:53:00
Document(s) archivé(s) le : vendredi 22 juillet 2011 - 03:02:54

Fichier

Algoteldef.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00586503, version 2

Citation

Joffroy Beauquier, Janna Burman, Valentin Malykh. ZebraNet Analysé dans le Modèle des Protocoles de Population. Ducourthial, Bertrand et Felber, Pascal. 13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France. 2011. <inria-00586503v2>

Partager

Métriques

Consultations de
la notice

175

Téléchargements du document

107