Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
Le sujet porte sur l'étude de la calculabilité des systèmes distribués dans la famille de modèles des adversaires de message. Plusieurs approches mathématiques sont mises en œuvre. Notamment des méthodes topologiques s'inscrivant dans les avancées récentes du domaine, mais également des méthodes géométriques, combinatoires, et des systèmes dynamiques. Dans une première partie, nous nous intéressons aux problèmes du Consensus et de l'Accord k-Ensembliste qui sont des formes d'accords exacts, c'est à dire que les valeurs décidées doivent être parmi celles qui sont proposées. En complément de FG11, nous avons caractérisé topologiquement la solvabilité du Consensus Binaire à Deux Processus dans le modèle général des adversaires de message donnant ainsi une meilleure intuition du résultat. Nous avons également caractérisé la solvabilité de l'Accord k-Ensembliste dans les adversaires d'omissions en donnant le nombre de fautes de type omissions que le système peut tolérer tout en résolvant le problème sur un graphe de communication support. En ce faisant, nous nous sommes appuyé sur une méthode topologique que nous avons étendu pour nos modèles graphiques. Enfin, avons étudié dans la deuxième partie des variantes approchées de l'Accord k-Ensembliste. Désormais, les valeurs de décisions nécessitent d'êtres proches l'une de l'autre selon des critères bien définis. Plusieurs variantes ont été étudiés, notamment une version asymptotique n'exigeant pas de terminaison explicite des processus mais requérant une certaine convergence des valeurs. Les résultats explicitent la diversité et la complexité des questions enjeu. ; Our subject is about computability of distributed systems in the messageadversaries family of models.For this purpose, several mathematical approaches are carried out.For instance, based on recent advances in the subject, we use well knowntopological methods to solve our problems.But we also used geometric, combinatorial and dynamical systems methods.In the first part, we are interested in the Consensus ...