450 likes | 567 Vues
Etude préliminaire sur le problème de Job-shop avec transport. Anthony CAUMOND, Philippe LACOMME, Nikolay TCHERNEV, Université Blaise Pascal LIMOS CNRS UMR 6158. Plan de l’exposé. Problèmes de FMS Résolution optimale: PLNE Modèle de graphe disjonctif Pistes et propositions
E N D
Etude préliminaire sur le problème deJob-shop avec transport Anthony CAUMOND, Philippe LACOMME, Nikolay TCHERNEV, Université Blaise PascalLIMOS CNRS UMR 6158
Plan de l’exposé • Problèmes de FMS • Résolution optimale: PLNE • Modèle de graphe disjonctif • Pistes et propositions • Conclusion / Perspectives
Problèmes de FMS Transporteur Une demande
Problèmes de FMS Transporteur Deux demandes ou plus
Problèmes de FMS Stations Ressource de transport (AGV) Pièce (job)
Problèmes de FMS Stations Chargement
Problèmes de FMS Stations Stock d'entrée Chargement
Problèmes de FMS Stations Unité detraitement Stock d'entrée
Problèmes de FMS Stations Unité detraitement Stock de sortie
Problèmes de FMS Stations Stock de sortie Déchargement
Problèmes de FMS Sous problèmes à résoudre conjointement: Ordonnancement des opérations sur les stations (job-shop) Ordonnancement des opérations de transport en charge
Problèmes de FMS Sous contraintes Disjonction des opérations de transport Disjonction des opérations sur les machines Temps de reconfiguration entre deux opérations de transport Capacité limitée des stocks d'entrée et de sortie Non anticipation des transports Blocage de la machine (tps de séjour ≥ tps de traitement) Nombre maximum de jobs simultanément autorisés dans le système Gestion des stocks : optimale, règle FIFO, autres règles …
Résolution optimale : PLNE ti εc Ii tmi Oi εd
Résolution optimale : PLNE Entre toute paire d’opérations de transport tj Oj εd ti Oi εd εc Ii+1 tmi+1 Oi+1 εd
Résolution optimale : PLNE tj anticipation Oj εd ti Oi εd εc Ii+1 tmi+1 Oi+1 εd
Résolution optimale : PLNE tj Oj εd ti Oi εd εc Ii+1 tmi+1 Oi+1 εd
Résolution optimale : PLNE Non blocage des machines Contrainte de précédence Disjonction des opérations Disjonction des transports en charge Transport à vide Nombre maximum de jobs simultanément autorisé Capacité des buffers d'entrée Capacité des buffers de sortie Gestion des buffers
Résolution optimale : PLNE Nombre de jobs à traiter Temps de calcul de MILP(OPT) Cmax de MILP(OPT) Temps de calcul de MILP(OPT) Cmaxde MILP(OPT) Borne supérieure Nombre d'opérations
Résolution optimale : PLNE jobset 1, layout 1 de Bilge et Ulusoy
Résolution optimale : PLNE • D'où nécessité de prendre en compte plus de contraintes dans les modèles d'évaluation
Modèle de graphe disjonctif Modèle de graphe disjonctif du job-shop Contraintesdu problème Graphe disjonctifnon orienté Ordre d’opérations Graphe disjonctiforienté Meilleur ordonnancementrespectant l’ordre d’opérations
Modèle de graphe disjonctif Modèle de graphe disjonctif du job-shop • Prends en compte: • Traitement sur les machines Job-shop avectime lags minimaux • Transport : • Temps de transport : négligé • Disjonction des opérations de transport : négligée • Anticipation du transporteur : autorisée Flow-shop avec stock de capacité limitée • Politique de gestion des stocks : • Optimale • Stock de capacité illimitée Job-shop avec transport
Modèle de graphe disjonctif Stock intermédiaire de capacité limitée Smutnicki, 98 : FS de permutation à 2 machines et buffers Nowicki, 99 : FS de permutation à m machines et buffers Hurink et Brucker, 02 : FS à m machines et buffers
Modèle de graphe disjonctif Hurink et Brucker: Modèle de graphe La contrainte de capacité limitée s’exprime par • Des "arcs de capacité" dans le graphe • Des restrictions sur la séquence desopérations sur les machines Job-shop ?
Modèle de graphe disjonctif Job-shop avec transport (Brucker et Hurink) opération machine opération transport en charge Opération de transport aprèsopération machine Opération machine aprèsopération de transport Disjonction entre deux opérations sur les machines Disjonction entre deux opérations de transport
Modèle de graphe disjonctif Job-shop avec transport (Brucker et Hurink) Graphe acyclique (si ordre valide), avec arcs de longueur positive
Modèle de graphe disjonctif Job-shop avec transport (Brucker et Hurink) Un ordre des opérations sur les machines 1 n Hurink,Knust 02 DAM contraint contraint n 1 Un ordre des opérations de transport Résoudre le job-shop avec transport Déterminer ordre des opérations sur chaque machine Déterminer ordre compatible des opérations de transport
Modèle de graphe disjonctif Job-shop avec transport et buffers Déterminer Valide pour les contraintes de gammes Valide pour les buffers Un ordre des opérations sur les machines compatibles Un ordre des opérations de transport Valide pour les contraintes de gammes Comment rester compatible avec toutes ces contraintes? Comment parcourir tout l’espace?
Pistes et propositions Job-shop avec transport et contraintes FIFO sur les stocks
Pistes et propositions Job-shop avec transport et contraintes FIFO sur les stocks
Pistes et propositions Job-shop avec transport et contraintes FIFO sur les stocks J1, J2, J3 J2 J2 J1, J2, J3 J2, J1, J3 J2, J3, J1 J1, J3 J1, J3, J2 J3, J1, J2 J1,J2, J3 J3,J2, J1 J1, J3
Pistes et propositions Job-shop avec transport et contraintes FIFO sur les stocks Un ordre des opérations sur les machines 1 1 contraint contraint n 1 Un ordre des opérations de transport Résoudre le job-shop avec transport et FIFO Déterminer ordre valide des opérations de transport
Pistes et propositions Déterminer ordre valide des opérations de transport respectant Ordre des opérations dans les jobs Contraintes FIFO Vecteur d'opérations de Bierwirth Teste si contraintes vérifiées? Procédure de réparation?
Pistes et propositions Test si contraintes vérifiées? Procédure de réparation? OK Basée sur la simulation
Pistes et propositions Entrée: ordre T des opérations de transport respectant l'ordre des jobs Sortie: ordre U des opérations de transport respectant FIFO Tant que U non plein faire Pour chaque opération i dans l'ordre T Sii est la première opération de transport oui est la prochaine opération dans un stock de sortie alors faire l'opération i mettre à jour les stocks finsi finpour finttque
Conclusion Aujourd'hui, on dispose de: • Résolution exacte pour les problèmes de petite taille • Modèle d'évaluation pour: • Jobshop • Jobshop avec transport (à vide et en charge) • Contraintes de capacité des buffers (flowshop)
Perspectives Demain, on disposera de: • Résolution exacte pour les problèmes de moyenne taille • Voisinage basé sur le chemin critique pour explorer l'espace