Université de Valenciennes et du Hainaut-Cambrésis

Transcription

1 Des outils pour l optimisation et la robustesse Marc Sevaux Université de Valenciennes et du Hainaut-Cambrésis Laboratoire d Automatique, de Mécanique et d Informatique Industrielles et Humaines (UMR CNRS 8530) Le Mont Houy Bat Jonas 2 F Valenciennes cedex 9 France [email protected] Séminaire Ecole Nationale d Ingénieurs de Tarbes Février / 47

2 : des outils pour la robustesse : rappel Principe d une métaheuristique robuste Présentation du problème d un algorithme génétique numériques s et perspectives 2 / 47

4 Parcours & Curriculum vitæ Depuis septembre 1999 Maître de conférences, 61 e section IUT de Valenciennes Dept. OGP Cambrai LAMIH Equipe Systèmes de Production Formation & Parcours DEUG, Licence et Maîtrise, IMA ( ) DEA Informatique et Opérationnelle, Paris 6 ( ) Doctorat, Université de Paris 6 / EMN ( ) Ingénieur de recherche, EMN ( ) 4 / 47

5 et supports de cours Cours enseignés Opérationnelle, Informatique Mathématiques de la décision, Programmation linéaire, Sécurité informatique, Qualité Gestion de production, Ordonnancement Supports de cours Supports de cours électronique (RO, MD) Passage des cours en ligne (Info) Deux livres 5 / 47

6 Thématiques de recherche Production ning Reactive ning Control Policies 1 Machine # Late Jobs // Machine Weighted # Late Jobs 1 Machine Weighted # Late Jobs 1 Machine TWT Robust scheduling Bi objective CARP CARP Robust VRP Linear and integer programming Heuristics Metaheuristics Multi objective optimisation 6 / 47

7 Activités de recherche Animation du groupe http :// Organisation de 4 etings (Londres, Paris, Anvers, Nottingham) Collaborations internationales et nationales (Université Polytechnique de Hong-Kong, Université d Anvers, MIT) (UTT, EMN, UBP, IMA, UTC) Editeur associé de 4 revues internationales (JOH, INFOR, IJCM, IJSP) Encadrement de 3 thèses, de plusieurs DEA Examinateur et rapporteurs de 3 thèses 7 / 47

8 Alcatel 12 mois 2003/04 Algorithmes d optimisation du trafic SNCF 24.2ke 3 ans 2000/03 Thèse CIFRE Yann Le Quéré Centre Hospitalier 48ke 3 ans 2000/03 Optimisation des flux logistiques SART 42.7ke 18 mois 2003/04 MOST 27.4ke 18 mois 2001/02 MAE MIC 2003 (850e) et IEPM 1999 (530e) PAI Univ. Polytech. Hong-Kong 8ke 2003/04 8 / 47

10 , un besoin Données changeantes, incertaines vs. Optimalité Très peu d études en optimisation Deux types de robustesse Solution de qualité robuste [quality robustness] Solution robuste [solution robustness] 10 / 47

11 Définition de la qualité d une solution La qualité de la solution reste élevée s il y a une variation des données du problème. Exemple : problèmes de localisation de la solution Une solution est robuste si elle change très peu avec une variation des données du problème. Exemple : problèmes de tournées de véhicules On ne s intéresse qu à la robustesse de la qualité d une solution. 11 / 47

12 Exemple 1 12 / 47

13 Exemple / 47

14 Proposer des solutions de qualité robuste d optimisation Algorithme robuste Algorithme standard Règles en ligne/à posteriori Solution 14 / 47

15 : introduction générale Métaheuristique (mathematical programming glossary) : cadre général pour les heuristiques en vue de résoudre des problèmes difficiles. On trouve deux catégories principales les méthodes de recherche locale méthode de [plus grande] descente, recuit simulé, méthodes à seuil, méthode GRASP, recherche taboue, recherche à voisinage variable, etc. les méthodes à population algorithme génétique, algorithme mémétique, colonies de fourmies, recherche dispersée, etc. 15 / 47

16 Algorithme génétique Introduit par [Holland 1975] Basé sur le principe d évolution naturelle Solution codée en 0/1 Opérateurs génétiques (mutation, croisement) Popularisé par [Goldberg 1989] dans tous les domaines de l optimisation 16 / 47

17 Principe général Une population d individus (de solutions) évolue Deux individus se lient pour former un ou deux descendants (croisement) Un individu peut muter (mutation) Des individus disparaissent de la population (décès) Renouvellement par génération ou incrémentale 17 / 47

18 Algorithme génétique en pseudo-code Algorithm 1: GA [MA] template Generate an initial population P while Stopping conditions are not met do Selection : p 1 and p 2 from P Crossover : p 1 p 2 c Mutation : mutate c under probability p m [Local Search : apply a LS operator to c with probability p hs ] if c satisfies conditions for addition in P then Select r in P c replaces r in P else Discard c endif endw 18 / 47

19 Avantages et inconvénients + Parallélisme intrinsèque + Facilité d implémentation + Beaucoup de littérature Choix des opérateurs crucial Paramétrage important Pas de stabilité des paramètres 19 / 47

20 Principe d une métaheuristique robuste Ne concerne que la recherche d une solution de qualité robuste. Idée principale : Utiliser une métaheuristique Evaluer la robustesse d une solution Guider la recherche suivant la robustesse 20 / 47

21 Principe général Premiers travaux par [Sörensen 2001] Principe 1 Ajouter du bruit δ à la solution courante x = x + δ est une solution dérivée Principe 2 Ecrire une nouvelle fonction d évaluation robuste f r (x) Evaluer une série de solutions dérivées et les combiner, par exemple : f r (x) = 1 m m c i f (x + δ i ) i=1 x + δ i est la i solution dérivée, c i un poids associé et m le nombre de solutions dérivées 21 / 47

22 Exemple 1 f r (x) = i= 1 f (x + i) 22 / 47

23 Exemple < f (x) = : exp 2 x 0.1 p 0.8 sin(5πx) 0.4 < x 0.6 exp 2 x f r (x) = 1 21 sin 6 (5πx) X+10 i= 10 f (x + i 100 ) sinon 23 / 47

24 industrielles Ces méthodes ont été appliquées avec succès sur plusieurs problème en production de biens et de services : ification Ordonnancement Logistique de transport 24 / 47

25 Application en ordonnancement Dans notre cas, pour l industrie automobile Pas ou peu de stock Ordonnancement juste à temps ning à long ou moyen terme Incertitudes des fournisseurs = Nécessité de ré-ajuster le plan régulièrement 25 / 47

26 Industrie automobile Car sequence : Ordre des voitures sur les lignes de montages La planification à long terme fixe une car sequence Les pièces détachées doivent être livrées juste à temps Pièces détachées Stands de montage Car sequence Performance : Minimiser le nombre pondéré de livraisons en retard 26 / 47

27 Implications La car sequence du planning à long terme détermine les dates de livraison des pièces détachées Inconvénients Une livraison non-effectuée oblige à retirer une voiture de la car sequence Paramètres Les durées d assemblage et dates de fin d assemblage sont connues et considérées comme fixes Incertitude Un sous-traitant peut être légèrement en retard les dates de livraison des pièces peuvent varier Est-ce que cette variation est acceptable? En d autres mots, pouvons-nous accepter une arrivée tardive, attendre la fin de l assemblage sans perdre en performance? Quelle serait alors la meilleure car sequence pour cela? 27 / 47

28 Modélisation en ordonnancement à une machine Ensemble de n jobs (les assemblages) J = J 1,..., J n à séquencer sur une machine unique La préemption n est pas autorisée Charactéristiques r j : dates de disponibilité (dates de livraison) p j : durées d exécution (durées de montage) d j : dates dues (dates de fin d assemblage) w j : poids (importance de la livraison) Variables t j : date de début d exécution (t j r j ) C j : date de fin d exécution (C j = t j + p j ) U j : variable biniaire (job J j est en retard ou non) 28 / 47

29 Conditions Si C j d j, Si C j > d j, J j est terminé à l heure ou en avance J j est en retard Objectif Minimiser le nombre pondéré de jobs en retard Classification standard : 1 r j w j U j N P-difficile au sens fort [Lenstra et al. 77] Remarque importante Les jobs en retard peuvent être ordonnancés arbitrairement après l ensemble des jobs en avance Incertitude Les dates de disponibilité peuvent être modifiées (augmentées d une valeur δ). 29 / 47

30 Un AG pour l ordonnancement robuste Variations Les dates de disponibilité peuvent augmenter légèrement Solution dérivée Une instance où des jobs ont une date de disponibilité augmentée de δ Fonction d évaluation robuste On calcule une moyenne pour 100 instances modifiées Gestion de la population On utilise f r (x) à la place de f (x) pour l évaluation L algorithme génétique est guidé par une valeur robuste qui conduira à une car sequence robuste 30 / 47

31 Paramètres de l AG Chromosome = permutation des n jobs Evaluation : moteur Fifo Remplacement incrémental Croisement : X1 (croisement à un point) Mutation : GPI (General Pairwise Interchange) Taux de mutation : 25% 31 / 47

32 Paramètres de l AG (suite) Opérateur de croisement P1 P2 Point de croisement Opérateur de mutation X GPI O / 47

33 numériques Un nouveau générateur de problèmes permet de proposer des instances basées sur une journée de 80 périodes. Les ordres de fabrication ont une grande probabilité d arriver le matin et les dates dues avec une grande probabilité l après-midi. Dates de disponibilité distribuées suivant une loi Gamma Γ(0.2, 4) (Mean = 20, St. dev. = 10) Dates dues distribuées suivant la même loi Gamma (Mean = 20, St. dev. = 10) mais en partant de la fin de l horizon Durées d exécution uniformément distribuées dans [1, d i r i ] Poids uniformément distribués dans [1, 10] 33 / 47

34 Répartition des dates Frequency Release dates Due dates Time periods 34 / 47

35 Méthode expérimentale Standard GA Read data Robust GA Read data Simulation Read data Apply GA with standard evaluation function Standard sequence Apply GA with robust evaluation function Robust sequence Create 1000 replications with modified data Eval. through std. sequence Get results and analyse Eval. through robust seq. Instances modifiées : 20% des jobs sont aléatoirement choisis et leur date de disponibilité augmentée de δ = / 47

36 Détails pour n = 80 Best sol. Av. value (1000 replic) Av. dev. (1000 replic) (%) Name Std.GA Rob.GA Std.GA Rob.GA Std.GA Rob.GA ODD ODD ODD ODD ODD ODD ODD ODD ODD ODD / 47

37 Détails pour n = 80 (suite) Best sol. Av. value (1000 replic) Av. dev. (1000 replic) (%) Name Std.GA Rob.GA Std.GA Rob.GA Std.GA Rob.GA ODD ODD ODD ODD ODD ODD ODD ODD ODD ODD / 47

38 Résumé des résultats Number Average dev. (1000 replic) CPU Time (s) of jobs Std.GA (%) Rob.GA (%) Std.GA Rob.GA Average / 47

39 Meilleure solution vs solution robuste Standard GA Robust GA f(x) CPU Time (s) 39 / 47

40 Evaluation robuste et évaluation réelle Real fitness Robust fitness f(x) CPU Time (s) 40 / 47

41 Comment les décideurs peuvent-ils incorporer le risque dans leur décision finale? Faire en sorte que la solution de qualité robuste ait une faible probabilité de dévier de sa valeur de fonction objectif. Calculer l ecart-type des valeurs d objectif des solutions dérivées Tracer une courbe f r (x) / σ Choisir une solution sur la frontière Pareto 41 / 47

42 Choisir une solution robuste Solutions Std. Deviation Robust fitness 42 / 47

43 Solutions initiales et front Pareto Solutions Initial solutions Pareto solutions Std. Deviation Robust fitness 43 / 47

44 Front Pareto 25 Pareto solutions Std. Deviation Robust fitness 44 / 47

45 en production de biens et de services Le même cadre général est appliqué à d autres problèmes d optimisation combinatoire : ification ification réactive des tâches de maintenance des TGV pour l EIMM d Hellemmes (Lille) théorique associé : RCPSP avec contraintes additionnelles Thèse de Yann Le Quéré Logistique de transport Tournées de véhicules en milieu incertain théorique associé : VRP stochastique 45 / 47

46 et perspectives Alternative intéressante aux méthodes statistiques Remarques Facile à implémenter adaptable à de nombreux problèmes bons resultats mais lent Perspectives Améliorer les temps de calculs Activer l évaluation robuste après un certain temps Améliorer la qualité des solutions Modifier la fonction d évaluation robuste Coupler les évaluations robustes avec des évaluations statistiques 46 / 47

47 , K. Sörensen et Y. Le Quéré. Flexibilité et robustesse en ordonnancement, Chapitre : pour la planification et l ordonnancement robuste. Hermès, Paris, pp , K. Sörensen et. Robust and flexible vehicle routing in practical situations Proceedings of 5th triennial symposium on transportation analysis, TRISTAN V, Plus d informations sur 47 / 47