Action : CONTRAINTES - contraintes

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00041000000000000000" id= "SECTION00041000000000000000">Optimisation combinatoire</a></h2> <a name="CONTRAINTES_domaine_Optimisation-combinatoire" id= "CONTRAINTES_domaine_Optimisation-combinatoire"></a> <p><strong>Mots clés :</strong> <i>télécommunication, ingéniérie, transport, ordonnancement, allocation de ressources, placement, planification .</i></p> <p>Les problèmes d'optimisation combinatoire rencontrés dans le monde industriel, et leur impact économique, vont croissants, qu'il s'agisse de problèmes de:</p> <ul> <li>allocation de ressources;</li> <li>ordonnancement de tâches;</li> <li>placement;</li> <li>parallélisation;</li> <li>planification de personnel, rotation d'équipages;</li> <li>transport;</li> <li>pilotage d'équipements multimode;</li> <li>etc...</li> </ul> <p>Les travaux réalisés en Recherche Opérationnelle depuis 40 ans ont abouti à une panoplie impressionnante de techniques de résolution dans des domaines variés: programmation linéaire, programmation linéaire en nombres entiers, optimisation par séparation-évaluation, relaxation Lagrangienne, recherche locale, heuristiques, algorithmes sur les graphes.</p> <p>L'apport de la programmation par contraintes se situe d'une part dans les techniques de consistance locale de contraintes qui s'appliquent à une grande variété de contraintes numériques ou symboliques, et d'autre part dans la conception de langages de programmation déclaratifs qui permettent de modéliser le problème combinatoire à l'aide de relations, combiner différentes techniques de résolution, spécifier les heuristiques, et définir les procédures d'exploration de l'espace de recherche.</p> <p>L'apport des langages déclaratifs pour ces différents aspects est un apport de génie logiciel essentiel, car il permet d'expérimenter des combinaisons d'algorithmes qu'il serait difficile de programmer sans langages de suffisament haut niveau d'abstraction. Cela explique l'obtention, en ordonnancement par exemple, de résultats meilleurs que ceux obtenus par des approches classiques, mais cela vaudra encore plus à l'avenir pour la coopération des méthodes de résolution globale et de propagation locale, ou la définition des procédures de recherche.</p> <p>Le projet Contraintes s'appuie dans ce domaine sur sa maîtrise des langages concurents avec contraintes, des solveurs de contraintes et de leurs implémentations. Les recherches sur LCC fournissent un cadre théorique pour traiter plusieurs aspects de la programmaion par contraintes qui ne se formalisent pas bien dans les cadres existants, en particulier pour la programmation des solveurs de contraintes spécifiques aux applications. Les travaux sur les contraintes floues permettent d'attaquer des applications nouvelles d'optimisation combinatoire comportant des problèmes surcontraints. Enfin nos travaux sur les environnements de mise au point répondent aux besoins spécifiques de recherches visant à améliorer la productivité et faciliter l'utilisation des outils de programmation par contraintes dans ces domaines applicatifs.</p> </body>