Générateur de code de simulation à partir de l information de localisation du produit



Documents pareils
Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.

PROGICIELS DE GESTION INTÉGRÉS SOLUTIONS DE REPORTING

Agrégation des portefeuilles de contrats d assurance vie

Reconstruction de bâtiments en 3D à partir de nuages de points LIDAR

Pour une entreprise plus performante

Dr YAO Kouassi Patrick

Un environnement de déploiement automatique pour les applications à base de composants

Partie I : Créer la base de données. Année universitaire 2008/2009 Master 1 SIIO Projet Introduction au Décisionnel, Oracle

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE

Pour une mobilité sure et durable des

Qualité du logiciel: Méthodes de test

ASSURER LA QUALITE DES RESULTATS D ESSAI ET D ETALONNAGE Assuring the quality of test and calibration results

Compression Compression par dictionnaires

3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes

Application 1- VBA : Test de comportements d'investissements

C ) Détail volets A, B, C, D et E. Hypothèses (facteurs externes au projet) Sources de vérification. Actions Objectifs Méthode, résultats

Evaluation des performances de programmes parallèles haut niveau à base de squelettes

Towards realistic modeling of IP-level topology dynamics

UE 8 Systèmes d information de gestion Le programme

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM

Probabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

CARACTERISTIQUE D UNE DIODE ET POINT DE FONCTIONNEMENT

Je découvre Lina Maintenance

Pascale Betinelli CEA LIST. Demi-journée d'information ECHORD++ 20 avril M.E.N.E.S.R

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

Élasticité des applications à base de services dans le Cloud

Modélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire

Chafa Azzedine - Faculté de Physique U.S.T.H.B 1

DYNAMIQUE DE FORMATION DES ÉTOILES

Journée SITG, Genève 15 octobre Nicolas Lachance-Bernard M.ATDR Doctorant, Laboratoire de systèmes d information géographique

Cartographie des processus et urbanisation des SI

DEMANDE D INFORMATION RFI (Request for information)

$SSOLFDWLRQGXNULJHDJHSRXUOD FDOLEUDWLRQPRWHXU

Cours d algorithmique pour la classe de 2nde

Migration SAP HANA de PASàPAS : SAP BI, la suite logique

Programme scientifique Majeure INTELLIGENCE NUMERIQUE. Mentions Image et Réalité Virtuelle Intelligence Artificielle et Robotique

Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Stages ISOFT : UNE SOCIETE INNOVANTE. Contact : Mme Lapedra, stage@isoft.fr

OPEN DATA : CHALLENGES ET PERSPECTIVES D ENTREPOSAGE

TP N 57. Déploiement et renouvellement d une constellation de satellites

Supervision et infrastructure - Accès aux applications JAVA. Document FAQ. Page: 1 / 9 Dernière mise à jour: 15/04/12 16:14

Note de cadrage du PEPI MACS Mathématiques Appliquées & Calcul Scientifique

EXL GROUP FILIÈRE ERP - QUI SOMMES NOUS?

Processus aléatoires avec application en finance

Quels outils pour prévoir?

Solvabilité II Les impacts sur la tarification et l offre produit

Les enjeux de la mobilité et de la réalité augmentée dans les jeux éducatifs localisés. GéoEduc3D

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Outils logiciels pour la combinaison de vérification fonctionnelle et d évaluation de performances au sein de CADP

//////////////////////////////////////////////////////////////////// Administration bases de données

Cycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language

Laboratoire de Haute Sécurité. Télescope réseau et sécurité des réseaux

Master Informatique Aix-Marseille Université

Vue d ensemble de Windows PowerShell

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP

Formation Actuaire Data Scientist. Programme au 24 octobre 2014

SEANCE 4 : MECANIQUE THEOREMES FONDAMENTAUX

Conception des systèmes répartis

Algorithmes pour la planification de mouvements en robotique non-holonome

Cartographie Mobile à MINES ParisTech

Architecture distribuée

Yourcegid Secteur Public Finances : Une réponse globale aux nouveaux enjeux de la fonction publique. Collectivités. Finances

Algorithmique répartie

Examen Médian - 1 heure 30

Principe, applications et limites

MaiMoSiNE Maison de la Modélisation et de la Simulation : Nano Sciences et Environnement

Corrigé des TD 1 à 5

Education Delivery Intelligent Tool

Prénom : Matricule : Sigle et titre du cours Groupe Trimestre INF1101 Algorithmes et structures de données Tous H2004. Loc Jeudi 29/4/2004

Practice Finance & Risk Management BCBS 239 enjeux et perspectives. Equinox-Cognizant, tous droits réservés


Gestion du projet pour qu'il soit pérenne et collaboratif

Présentation Bpifrance Prêt Numérique Juin 2015

FIMA, 7 juillet 2005

Utilisation de l ingénierie des modèles pour la conception collaborative de produits mécaniques

Intelligence Economique - Business Intelligence

Projets Tutorés RT1 - Sujets octobre 2013 décembre 2013 responsable : M.Munier

Programmation de services en téléphonie sur IP

Business Process Change:

Dynamique des protéines, simulation moléculaire et physique statistique

Contrôle de la masse salariale & contrôle de gestion sociale

Analyse,, Conception des Systèmes Informatiques

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5

26th of March 2014, Paris

L exclusion mutuelle distribuée

Développement spécifique d'un système d information

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0

TP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options

Algorithmes de recherche d itinéraires en transport multimodal

Le pôle AIP Priméca Rhône-Alpes Ouest

Présentations des ateliers. 11 Mars 2015

EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE

Propagation sur réseau statique et dynamique

Les datas = le fuel du 21ième sicècle

Mémoire d actuariat - promotion complexité et limites du modèle actuariel, le rôle majeur des comportements humains.

Masses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA

T.P. FLUENT. Cours Mécanique des Fluides. 24 février 2006 NAZIH MARZOUQY

Mise en œuvre de l accréditation dans un laboratoire de biologie médicale privé

Transcription:

Générateur de code de simulation à partir de l information de localisation du produit Andrés VÉJAR Patrick CHARPENTIER prénom.nom@cran.uhp-nancy.fr Centre de Recherche en Automatique de Nancy (CRAN), CNRS UMR 7039 Groupe Thématique SYMPA, Équipe-Projet SP 3 èmes Journées Doctorales / Journées Nationales MACS JD-JN-MACS 09 17-18 mars 2009, Angers, France

Problématique La simulation de flux incontournable pour l évaluation de la dynamique des systèmes manufacturiers, utilisée dans les phases de : Design (pour Concevoir), Re-engineering (pour Améliorer), et Control, (en Exploitation). les phases de modélisation, puis de maintenance restent des opérations délicates et chronophages les résultats sont dépendants de l habileté des experts humains Automatiser ces phases (en re-engineering ou en explotation) système décisionnel système réel générateur modèle de simulation

Processus de modélisation Développement de modèles de simulation Réalité Description Modèle formel 1 Système d intérêt, modèle descriptif 2 Modèle formel (solution analytique?) 3 Modèle numérisé 4 Modèle statistique 5 Vérification et validation (Sánchez 2006) Modèle numérisé Modèle statistique D autres travaux : (Law & Kelton 82, Banks & Carson 85, Balci 90, DoD 96, Maria 97)

Etapes d une étude de simulation Développer un modèle de simulation Scenarii Réaliser une analyse de la simulation Identifier le problème Choisir les scenarii Interpréter et présenter les résultats Formuler le problème Établir le plan pour les exécutions Suggérer les alternatives possibles d action Collecter et processer les données du système réel Réaliser les exécutions de la simulation Implémentation Formuler et développer le modèle Rapport Vérifier et valider le modèle Documenter le modèle

Processus de modélisation... Outils supports Développer un modèle de simulation Outils Identifier le problème Generic or Template Based Simulation Formuler le problème Automatic Data Acquisition Collecter et processer les données du système réel Information Fusion modeling & simulation Formuler et développer le modèle Data-driven simulation tools Vérifier et valider le modèle Automate Conceptual modeling Documenter le modèle

Proposition et sujet de recherche Générateur de code de simulation à partir de l information de localisation du produit Montrer les apports, sur le contrôle et les performances d un système manufacturier, d un flux d information de localisation de produits durant leur élaboration. Système Sensoriel Système Manufacturier Système de Communication Accès Pervasif à l Information de Localisation Système de Gestion de l Information Flux d Information de Localisation

Flux d information de localisation La technologie pour localiser des objets est devenue disponible et abordable Les données spatio-temporelles liées aux produits obéissent à des règles utiles et nécessaires lors de la construction de modèles (EXEMPLE : un objet ne peut être qu à une et une seule position à un même instant, etc.) F Id Objet Position (x, y) Temps f k = (Id, x, y, t) k F = {f 0, f 1, f 2,...} Id x y t 105 10.34 20.33 27.73 Id x y t 105 15.02 18.12 25.57 Id x y t 932 07.23 44.28 23.51 Flux d information de localisation

Nomenclature du produit Atelier, trois machines et un produit a {i a} a M 1 p M 2 1 {i a} b {i b} {i a, i b} p 2 M 3 P P {i a, i b, i c} y x b c c {i c} a M 1 (a) = p 1 (p 1, b) M 2 (p 1, b) = p 2 (p 2, c) M 3 (p 2, c) = P P = M 3 (M 2 (M 1 (a), b),c)

Générateur Les seules données utilisées sont les données de localisation des produits durant leur passage en production Φ générateur F flux de données de géoloc (Id, x, y, t) Identification de parcours Identification de points de service Identification de types de produits Détermination des temps d entrée et d arrêt aux points de service m modèle de simulation manufacturier Réseaux de files d attente m 0 = m k = Φ(f k, m k 1 )

Algorithme Identifier les serveurs : Points de vitesse nulle (avec récurrence). S=Serveurs(F) Identifier les trajectoires : Arcs entre points. A=Trajectoires(F,S) Identifier produits : Graphe, p j = (A j, S j ). P=Produits(F,S,A) Générer layout : Graphe, union de l ensemble des graphes produits, L = j p j L=Layout(P) Distribution des entrées : pour chaque produit sur chaque serveur. E=Entrees(L,F) Distribution des temps d inter-arrivées : pour chaque produit sur chaque serveur. I=TempsIA(L,F) Distribution des temps de service : pour chaque produit sur chaque serveur. T=TempsS(L,F) Générer modèle. M=Gen(L,E,I,T) for d do if p P : p.i = d.i then if p.m.s = 1 then if p.m.r = d.r then p.m.a p.m.a+d.t p.m.t p.m.t d.t else m m M : m.r = p.m.r if p.m.t p.m.a < m.l then p.m.t p.m.t m.l else p.m.t p.m.a end if m.l p.m.t p.m p.m {p.m} p.m m(d.r, d.t) end if else if p.m.r = d.r then p.m.s 1 if m M : m.r = d.r then M M {p.m} end if else p.m.r d.r end if p.m.t d.t end if else m m(d.r, d.t) p p(d.i, m) P P {p} end if end for

Principe mis en œuvre Générateur Artefact du système réel Modèle généré paramètres valeurs 5 0 5 0 service, product 1, step 2 kde-g types de produits 3 nombre de machines 3 nombre d opérations 3 quantité de produits 100 temps d inter-arrivées exp, µ = 1/3 temps de service exp, µ = 13 nombre d AGV s 10 vitesse des AGV s 0.44 dimensions de l atelier 20 20 période d échantillonnage 0.5 pour la localisation 5 0 5 0 5 0 0 10 20 30 40 50 Module de simulation avec SimPy (Simulation in Python) (Muller et Vignaux, 2003) Artefact du système réel pour générer le flux de localisation des produits F F est récupéré par le module générateur de modèle de simulation Un module d analyse des données permet de vérifier les résultats obtenus

Résultats Distributions des temps inter-arrivées inter arrivals, product 0, step 0 0.07 inter arrivals, product 0, step 1 inter arrivals, product 0, step 2 0 5 10 15 20 25 30 35 40 45 0 10 20 30 40 50 60 0 5 10 15 20 25 30 35 40 45 inter arrivals, product 1, step 0 inter arrivals, product 1, step 1 inter arrivals, product 1, step 2 0 5 10 15 20 25 30 35 40 0 5 10 15 20 25 30 35 40 45 0 10 20 30 40 50 60 0.08 0.07 inter arrivals, product 2, step 0 0.08 0.07 inter arrivals, product 2, step 1 0.08 0.07 inter arrivals, product 2, step 2 0 5 10 15 20 25 0 5 10 15 20 25 30 35 40 0 5 10 15 20 25 30 35 40 45

Résultats Distributions des temps de service service, product 0, step 0 kde-g service, product 0, step 1 kde-g 5 0 5 service, product 0, step 2 kde-g 0 5 0 5 0 10 20 30 40 50 60 70 80 0 5 10 15 20 25 30 35 40 45 0 0 20 40 60 80 100 120 140 0.07 service, product 1, step 0 kde-g service, product 1, step 1 kde-g 5 0 5 0 service, product 1, step 2 kde-g 5 0 5 0 5 0 10 20 30 40 50 60 0 10 20 30 40 50 60 0 0 10 20 30 40 50 0.08 0.07 service, product 2, step 0 kde-g 0.09 0.08 0.07 service, product 2, step 1 kde-g 0 5 0 service, product 2, step 2 kde-g 5 0 5 0 5 0 5 10 15 20 25 30 35 40 0 5 10 15 20 25 30 35 0 0 20 40 60 80 100

inter arrivals, product 0, step 0 0 10 20 30 40 50 60 70 0 5 0 5 0 5 0 5 inter arrivals, product 0, step 2 0 0 20 40 60 80 100 JD-JN-MACS 09 Conclusion et Perspectives Les résultats obtenus valident la démarche mise en œuvre, ainsi que l outil développé Confirmés par des tests effectués sur des systèmes de taille plus importante (jusqu à 15 machines, 15 opérations ou phases, 15 types de produits)

inter arrivals, product 0, step 0 0 10 20 30 40 50 60 70 0 5 0 5 0 5 0 5 inter arrivals, product 0, step 2 0 0 20 40 60 80 100 JD-JN-MACS 09 Perspectives Prendre en compte les imprécisions de mesure de localisation Tests et faisabilité technologiques (GPS, accélèromètres,... ) Mise en relation Technologies-Applications Validation sur cas réels en vraie grandeur Élargir les champs d application (hors manufacturing)