Procedures d'optimisation exactes et approchees sur les structures de sequence contrainte

par Eric Boucher

Thèse de doctorat en Sciences appliquées

Sous la direction de Bruno Legeard.

Soutenue en 1997

à Besançon .

mots clés

Résumé

Les travaux presentes dans cette these s'inscrivent dans la partie du langage de plc ensembliste clps dediee aux structures de sequence. Ils s'appliquent a completer ce fragment par la mise en uvre de procedures d'optimisation. Celles-ci permettent, a partir d'un ensemble clos totalement instancie, d'une sequence contrainte definie sur cet ensemble et d'une fonction de cout, d'obtenir les valeurs admissibles de cette sequence minimisant ou maximisant la fonction de cout. Les premiers resultats de recherche consistent en plusieurs propositions de methodes exactes et approchees d'optimisation. Chacune d'elles fait l'objet de calcul de complexite et est validee par la resolution de benchmarks. De plus, une des procedures exactes est appliquee avec succes a la resolution d'un probleme industriel d'ordonnancement des mouvements d'un robot sur une ligne de galvanoplastie. Un second fragment des resultats de recherche concerne des propositions visant d'une part a renforcer la detection d'inconsistances en presence de contraintes heterogenes, et d'autre part a ameliorer les performances des procedures d'optimisation. Une derniere partie des resultats de recherche resulte d'une approche resolument tournee vers l'utilisateur de procedures d'optimisation, et plus generalement de langages de plc. Nous proposons d'assister l'utilisateur en lui fournissant des outils graphiques d'aide a la resolution (en l'occurrence a l'optimisation). Ces outils, souvent absents des langages de programmation, permettent de transmettre a l'utilisateur les resultats et les effets de procedures internes et complexes en terme de courbes et de graphiques. Ils permettent ainsi une mise au point et une utilisation facilitee et surtout plus efficace des differentes methodes de resolution.

Titre traduit

Exact and heuristic procedures on constraint sequence structures

Pas de résumé disponible.