Simuler Automate

Ce document reprend la plupart des travaux de recherche publiés après ma thèse de troisième cycle [30]. J'ai volontairement omis les publications [7, 21] écrites en collaboration car elles ne suivent pas le fil directeur de la simulation d'automates cellulaires. Comme en atteste le titre de cette thèse, je me concentre sur des résultats de simulation de deux types ; dans la première partie je simule le fonctionnement d'automates cellulaires par d'autres modèles de calcul et dans la seconde, je m'intéresse à la simulation d'automates cellulaires définis sur des graphes de Cayley en changeant le graphe de connexion des cellules. Merci tout d'abord à mes rapporteurs : I. Guessarian pour ses remarques pertinentes, R. Cori pour son rapport chaleureux et L. Vuillon pour son enthousiasme communicatif. Je remercie I. Bond-qui m'incite à écrire cette habilitation depuis longtemps-, J. Mazoyer et E. Formenti, les deux spécialistes des automates cellulaires, d'avoir accepté de faire partie de ce jury. Merci à tous de vous être libérés le temps d'une soutenance. Merci à C. Peyrat et P. Solé, mes co-auteurs du projet Recif, qui m'ont permis de mener à bien certains travaux. Merci également aux collègues de Sophia, de Nice, de France et de l'étranger. Grâce à E. Grandjean et M. Santha et aux différents GDR et PRC qu'ils ont animé, j'ai pu découvrir de nouveaux domaines de l'informatique. Je suis reconnaissant à A. Petit de son intérêt et de sa confiance qui ont été constants depuis dix ans. Enfin, merci à J. Gruska ; s'il n'a pas (encore) réussi à me convertir au calcul quantique, il m'a poussé à écrire un livre. Je suis redevable aux étudiants qui me permettent d'étendre mes connaissances, tant du coté du système unix que de celui des courbes elliptiques. Je dois beaucoup à mes amis pour toutes nos discussions. Merci également à ceux qui étaient là pour recevoir mes coups de shinaï et à ceux avec lesquels ramer est un plaisir.

L'avenir, 2019

kimahia

HeinOnline, 2012

RESUME : Cet article porte sur l'optimisation de lignes d'assemblage robotisées équipées de robots de prise et dépose. De ce fait, les robots sont utilisés pour saisir les composants défilant sur le convoyeur de prise et les positionner dans les positions du produit final sur le convoyeur de dépose. Ainsi, le problème d'optimisation consiste à améliorer les performances de ces lignes et d'assurer la répartition et l'équilibrage de charges des lignes robotisées en respectant des contraintes technologiques. Pour répondre à un besoin industriel, on propose des méthodes d'optimisation couplées avec des automates programmables. Ce type de couplage nécessite un temps de réponse très court. De ce fait, on propose des métaheuristiques pour résoudre ce problème, comme des colonies de fourmis, un algorithme par essaim particulaire et un algorithme génétique. Ces algorithmes sont hybridés avec une recherche locale guidée. Les performances des méthodes développées ont été évaluées par comparaison avec des solutions optimales obtenues à l'aide du modeleur Cplex et la méthode d'énumération complète.