Cette thèse s'intéresse aux problématiques fondamentales d'optimisation combinatoire qui se dégagent de la modélisation structurelle et algorithmique du dimensionnement des réseaux d'infrastructure de télécommunication. L'optimisation de ces réseaux est essentielle aux opérateurs de télécommunication, qui demandent la garantie d'une exploitation efficace des ressources déployées.<br /><br />Nous donnons une nouvelle modélisation des réseaux optiques WDM multifibres. En considérant un routage agrégé au niveau des câbles, nous optons pour une nouvelle lecture des contraintes d'affectation de longueurs d'onde fondée sur des conflits de groupe.<br /><br />Nous étudions aussi le problème de coloration de chemins, issu de l'affectation de longueurs d'onde dans les réseaux optiques monofibres. Nous développons, pour la relaxation linéaire de ce problème, un algorithme polynomial efficace dans les arbres de degré borné, puis, par extension, dans les graphes de largeur arborescente bornée. Nous majorons le coût d'une telle coloration dans les arbres binaires et donnons une (1+5/(3e)+o(1))-approximation aléatoire pour la coloration entière dans les arbres de degré borné, ce qui améliore le meilleur algorithme connu pour ce cas.<br /><br />Nous présentons enfin des avancées algorithmiques pour les problèmes de multiflot entier et fractionnaire. Nous donnons un algorithme d'arrondi aléatoire incrémental pour l'approximation du multiflot entier. Motivés par le besoin d'un calcul rapide de multiflot fractionnaire pour l'algorithme précédent, nous nous intéressons aux approximations combinatoires de ce problème. En employant des techniques de calcul dynamique des plus courts chemins, nous améliorons l'un des meilleurs algorithme de la littérature.<br />Webstats4U - Free web site statistics

Notre travail porte sur le problème de bin-packing qui consiste à déterminer le nombre minimum de grands rectangles (bins) nécessaires pour ranger un ensemble de petits rectangles (objets). Ce problème d'optimisation combinatoire est NP-difficile au sens fort. Nous proposons des prétraitements des objets permettant la valorisation des espaces perdus dans les bins et la diminution de la taille du problème à résoudre. Nous proposons une nouvelle méthode d'évaluation de bornes inférieures tenant compte de la possibilité de tourner les objets de 90 degrés. Nous procédons à une résolution approchée du problème grâce à deux nouvelles méthodes : une heuristique et un algorithme de recherche tabou.

Cette thèse s'inscrit dans le cadre du développement d'outils d'aide à la décision pour la configuration des lignes d'usinage modulaires à partir d'équipements standard. Le problème de configuration se pose en termes de sélection d'un sous-ensemble d'unités d'usinage et de leur affectation aux postes de travail définissant ainsi la structure de la ligne. Le problème revient à trouver la meilleure solution en termes de coût de mise en oeuvre en prenant en compte différents types de contraintes : productivité minimum à assurer, précédence, incompatibilité et capacité de stations et ligne. Le cœur de la thèse est dédié à l'étude des lignes avec un mode d'activation parallèle des unités d'usinage dans les stations. Dans ce cas, le début d'un cycle est marqué par l'enclenchement simultané de toutes les unités d'usinage de la ligne. Pour ce problème, nous avons proposé un modèle générique pour une approche par programmation par contraintes et deux modèles linéaires en nombres entiers.

Je présente dans ce mémoire un bilan de mon activité scientifique effectuée au sein des groupes POC (Parallèlisation et Optimisation Combinatoire) et SID (Systèmes d'Information Distribués) de l'équipe ROI (Recherche Opérationnelle et Informatique) du laboratoire LAMIH à l'UVHC. <br /><br />Mes travaux de recherche se divisent en trois parties:<br /><br /> - l'étude du problème du sac-à-dos non borné, problème classique de l'optimisation combinatoire, dont nous mettons en évidence des propriétés fondamentales et pour lequel nous avons dérivé, implanté et mis à disposition deux algorithmes qui tirent avantage des propriétés découvertes;<br /><br /> - une approche algorithmique parallèle/distribuée pour la<br /> bio-informatique notamment le problème de repliement de protéïnes qui est un problème reconnu comme l'un des plus difficiles posés à la science informatique dans le contexte de la bio-informatique;<br /><br /> - le développement d'une plate-forme ouverte d'expérimentations pour la méthode formelle B, l'étude de la modularité du langage B et d'extensions de B pour générer des composants logiciels ainsi que l'étude de l' adjonction au langage B d'une logique temporelle.<br /> <br /> Nous montrons comment les approches utilisées dans une recherche en optimisation combinatoire d'une part et en spécification formelle d'autre part peuvent s'enrichir et se féconder mutuellement.

Thèse doctorat : Informatique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3368. Résumé en français et en anglais. Bibliogr. p. 167-186.

Habilitation à diriger des recherches : Sciences physiques : Lille 1 : 2003. / Synthèse de travaux. N° d'ordre (Lille 1) : 400. Curriculum vitae. Bibliogr. p. 97-100. Liste des publications.

Thèse doctorat : Informatique : Rennes 1 : 2005. Thèse doctorat : Informatique : Universidad de la República (Montevideo) : 2005. / Thèse soutenue en co-tutelle. Bibliogr. p. 215-226.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3633. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. [185]-199.

Reproduction de : Habilitation à diriger des recherches : Informatique : Lille 1 : 2005. / Synthèse des travaux en français. Recueil de publications en anglais non reproduit dans la version électronique. N° d'ordre (Lille 1) : 466. Curriculum vitae. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 97-103. Liste des publications et des communications.

Reproduction de : Habilitation à driger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 476. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 99-107. Liste des publications.