Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Une Methode Ascendante De Modelisation Et Danalyse De Systemes Automatises De Production A Laide De Reseaux De Petri
Download Une Methode Ascendante De Modelisation Et Danalyse De Systemes Automatises De Production A Laide De Reseaux De Petri full books in PDF, epub, and Kindle. Read online Une Methode Ascendante De Modelisation Et Danalyse De Systemes Automatises De Production A Laide De Reseaux De Petri ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Une methode ascendante de modelisation et d'analyse de systemes automatises de production a l'aide de reseaux de Petri by : Patrick Finotto
Download or read book Une methode ascendante de modelisation et d'analyse de systemes automatises de production a l'aide de reseaux de Petri written by Patrick Finotto and published by . This book was released on 1997 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Une méthode ascendante de modélisation et d'analyse de systèmes automatisés de production à l'aide de réseaux de Pétri by : Patrick Finotto
Download or read book Une méthode ascendante de modélisation et d'analyse de systèmes automatisés de production à l'aide de réseaux de Pétri written by Patrick Finotto and published by . This book was released on 1997 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOUS PRESENTONS, DANS CE MEMOIRE, UNE METHODE DE CONCEPTION ET D'ANALYSE DES SYSTEMES AUTOMATISES DE PRODUCTION. LES RESEAUX DE PETRI DISPOSENT D'UN SYMBOLISME GRAPHIQUE SIMPLE, ET REPOSE SUR DES CONCEPTS MATHEMATIQUES QUI PERMETTENT DE PROUVER LEUR BON FONCTIONNEMENT. MALHEUREUSEMENT, LA GRANDE TAILLE DES RESEAUX OBTENUS COMPLIQUE LA CONCEPTION ET L'ANALYSE DES RESEAUX DE PETRI. NOUS AVONS DONC CHERCHE A DEFINIR UNE METHODE DE CONCEPTION MODULAIRE. LES DIFFERENTS RESEAUX DE PETRI, QUI REPRESENTENT LE COMPORTEMENT DE DIFFERENTES PARTIES DU SYSTEME GLOBAL, SONT SYNCHRONISES PAR DES TRANSITIONS COMMUNES. A CETTE METHODE, NOUS AVONS ASSOCIE UNE METHODOLOGIE DE CONCEPTION ASCENDANTE. NOUS PROPOSONS DE CONSTRUIRE DE FACON INCREMENTALE LE RESEAU DE PETRI DECRIVANT LE SYSTEME GLOBAL. POUR CELA, LE COMPORTEMENT DE CHAQUE SOUS-SYSTEME EST DECRIT DANS UN RESEAU, DE FACON INDEPENDANTE. PUIS CES SOUS-SYSTEMES SONT REGROUPES EN ENSEMBLES PLUS COMPLEXES. A CHAQUE NOUVEL ENSEMBLE, ON ASSOCIE UN RESEAU DE PETRI QUI DECRIT LA COORDINATION ENTRE LES DIFFERENTS SOUS-SYSTEMES REGROUPES. CETTE ETAPE DE REGROUPEMENT EST ENSUITE REPETEE JUSQU'A CE QUE LE SYSTEME GLOBAL AIT ETE COMPLETEMENT DECRIT. D'UNE PART, LA METHODE ASSURE UNE PRESERVATION DES INVARIANTS DE MARQUAGE LORSQUE L'ON AJOUTE UN NOUVEAU NIVEAU DE SYNCHRONISATION. NOUS AVONS EGALEMENT DONNE DES CONDITIONS NECESSAIRES POUR OBTENIR LA VIVACITE ET LA REINITIALISABILITE DU RESEAU GLOBAL, A PARTIR DES PROPRIETES DE CHAQUE SOUS-RESEAU. D'AUTRE PART, DEUX ALGORITHMES ONT ETE PROPOSES POUR CALCULER LES P ET T-SEMI-FLOTS. APPLIQUES SUR DEUX EXEMPLES, ILS APPORTENT UN GAIN EN TERME DE TEMPS DE CALCUL QUI PERMET LE CALCUL DES INVARIANTS A CHAQUE NOUVEAU MODULE CREE. ENFIN, NOUS PROPOSONS PLUSIEURS ALGORITHMES DE CONSTRUCTION DU GRAPHE DE COUVERTURE D'UN SYSTEME, A PARTIR DES GRAPHES DES SOUS-SYSTEMES QU'IL COORDONNE, DANS LE CAS OU IL LES RESEAUX DES SOUS-SYSTEMES COORDONNES SONT BORNES.
Book Synopsis ANALYSE ET MODELISATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI by : Kwang Hyung Lee
Download or read book ANALYSE ET MODELISATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI written by Kwang Hyung Lee and published by . This book was released on 1985 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: ON A CHOISI LES RESEAUX DE PETRI COMME METHODE D'ANALYSE ET DE CONCEPTION, ET COMME LANGAGE DE COMMUNICATION ENTRE LES CONCEPTEURS. L'APTITUDE DES RESEAUX DE PETRI POUR ANALYSER ET MODELISER LES SYSTEMES DE PRODUCTION EST ETUDIEE ET COMPAREE AVEC CELLE DES AUTRES MODELES GRAPHIQUES MAJEURS. ON PROPOSE UNE METHODE DE REDUCTION HIERARCHIQUE DES RESEAUX PETRI POUR ANALYSER LES RESEAUX COMPLEXES. CETTE METHODE CONSERVE LES PROPRIETES DE RESEAUX VIVANT, BORNE ET REINITIALISABLE. ELLE PERMET DE DECOMPOSER HIERARCHIQUEMENT UN RESEAU COMPLEXE ET DE L'ANALYSER PAR SON RESEAU REDUIT ET PAR SES SOUS-RESEAUX. LA MISE EN OEUVRE DE CETTE PROCEDURE DE REDUCTION EST AUTOMATISEE, ET ON L'A APPLIQUEE A UN ATELIER FLEXIBLE
Book Synopsis MODELISATION, ANALYSE, REDUCTION ET DECOMPOSITION DES SYSTEMES PAR LES RESEAUX DE PETRI by : KWANG-HYUNG.. LEE
Download or read book MODELISATION, ANALYSE, REDUCTION ET DECOMPOSITION DES SYSTEMES PAR LES RESEAUX DE PETRI written by KWANG-HYUNG.. LEE and published by . This book was released on 1987 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: ON PROPOSE DEUX METHODES DE REDUCTION DES RESEAUX DE PETRI (UNE POUR LES RESEAUX ORDINAIRES, L'AUTRE POUR LES GENERALISES). CES METHODES PERMETTENT DE DECOMPOSER HIERARCHIQUEMNT UN RESEAU COMPLEXE ET D'ANALYSER LE RESEAU INITIAL PAR SON RESEAU DEDUIT ET SES SOUS-RESEAUX VU QUE CES RESEAUX REDUITS CONSERVENT LES PROPRIETES DES RESEAUX: VIVANTS, BORNES ET A TERMINAISONS PROPRES
Book Synopsis Contribution à la modélisation incertaine des systèmes de production by : Mohamed-Salah Ouali
Download or read book Contribution à la modélisation incertaine des systèmes de production written by Mohamed-Salah Ouali and published by . This book was released on 1996 with total page 135 pages. Available in PDF, EPUB and Kindle. Book excerpt: LE TRAVAIL PRESENTE DANS CETTE THESE CONCERNE LA DESCRIPTION ET LA MODELISATION DES SYSTEMES DE PRODUCTION EN VUE DE L'EVALUATION DE L'IMPACT DES INCERTITUDES SUR LES STRUCTURES, LES ACTIVITES ET LES FLUX DANS UN SYSTEME DE PRODUCTION. CETTE PROBLEMATIQUE EST COMPLEXE, ELLE A NECESSITE LE DEVELOPPEMENT D'UNE APPROCHE SYSTEMIQUE APPELEE APPROCHE PAR LES STRUCTURES D'ORGANISATION. APRES AVOIR DISCUTE LES PRINCIPALES CARACTERISTIQUES DU SYSTEME DE PRODUCTION, UNE ANALYSE DES PROBLEMES DES STRUCTURES, DES ACTIVITES ET DES FLUX A ETE PRESENTEE. CETTE ANALYSE APPREHENDE EN PARTICULIER LES INCERTITUDES. ENSUITE, DEUX CONCEPTS FONDAMENTAUX ONT ETE DEVELOPPES POUR L'IDENTIFICATION DES ELEMENTS CONSTITUTIFS DES STRUCTURES, DES ACTIVITES ET DES FLUX DE PRODUCTION. DES MODELES DESCRIPTIFS ET DES DEFINITIONS ONT ETE PROPOSES ET COMMENTES. PAR AILLEURS, DEUX OUTILS DE MODELISATION FORMELS ONT ETE DEVELOPPES, ILS PRENNENT EN COMPTE LES INCERTITUDES: LES GRAPHES A RELATIONS FLOUES (GRF) ET LES RESEAUX DE PETRI A COLORATIONS FLOUES (RDPCF). LES GRF PERMETTENT DE REPRESENTER LES STRUCTURES ET DE LES COMPARER PAR APPLICATION DE QUELQUES ALGORITHMES D'ANALYSE. LES RDPCF PERMETTENT DE MODELISER LES ACTIVITES ET DE REPRODUIRE PAR SIMULATION LA DYNAMIQUE DES FLUX. DES MODELES DE SIMULATION D'ACTIVITES COOPERATIVES ONT ETE PROPOSES ET ANALYSES. EN FIN, UN EXEMPLE DU DOMAINE DE LA MAINTENANCE DANS UNE ENTREPRISE A SERVI DE SUPPORT DE VALIDATION DE NOS MODELES ET DE L'EVALUATION DE L'IMPACT DES INCERTITUDES SUR LES STRUCTURES, LES ACTIVITES ET LES FLUX DE PRODUCTION
Book Synopsis Conception préliminaire des systèmes de production à l'aide des réseaux de Pétri by : Vânio Murilo Savi
Download or read book Conception préliminaire des systèmes de production à l'aide des réseaux de Pétri written by Vânio Murilo Savi and published by . This book was released on 1994 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse est consacrée à l'utilisation des réseaux de Pétri pour la modélisation et l'évaluation des systèmes de production non-cycliques. Dans un premier temps, nous introduisons une classe particulière de réseaux de Pétri, les réseaux de Pétri avec transitions d'entrée et de sortie (rpes), lesquels permettant de modéliser un système de production non-cyclique. Après avoir étudié les propriétés d'une sous-classe des rpes, les rpes sans conflit, nous montrons comment décomposer un rpes et un ensemble de rpes sans conflit, et nous mettons en évidence les conditions dans lesquelles l'utilisation de ces rpes sans conflit permettra de garantir les propriétés qualitatives souhaitées pour le système. L'évaluation du système passe par la planification à court terme et l'ordonnancement. Le problème de planification consiste à déterminer le nombre de fois qu'un rpes sans conflit extrait du modèle rpes est activé dans chaque période élémentaire. Nous formulons ce problème comme un problème de programmation linéaire en nombres entiers ou un problème de programmation quadratique suivant le critère d'optimisation adopté, et nous proposons des méthodes de résolution efficaces. Nous abordons ensuite le problème de l'ordonnancement et présentons deux algorithmes heuristiques : le premier est basé sur la méthode du recuit simulé et le second sur la procédure par séparation et évaluation. Afin de faciliter l'utilisation des algorithmes nous les avons intégrés sous la forme d'un logiciel interactif. Par la suite, nous faisons une série d'études comparatives entre les algorithmes utilisés dans chacune des étapes de l'évaluation du modèle. Finalement, nous appliquons la méthodologie développée sur une batterie d'exemples de tailles importantes, et nous discutons les résultats obtenus
Book Synopsis Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés by : Hervé Hillion
Download or read book Modélisation et analyse des systèmes de production discrets par les réseaux de Petri temporisés written by Hervé Hillion and published by . This book was released on 1989 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous présentons, dans ce travail, une approche basée sur les réseaux de Petri temporisés (déterministes) pour la modélisation et l'analyse des systèmes de production discrets. L'étude porte d'une part sur les job-shops (ateliers flexibles), d'autre part sur les systèmes d'assemblage multi-niveaux. Le processus de production fonctionne de manière cyclique (il s'agit de fabrications répétitives) avec un nombre limité d'en-cours et pour des ratios de productions fixés. A partir du modèle développé pour les job-shops, qui correspond à un graphe d'évènements temporisé, nous en déduisons les caractèristiques du régime permanent et en particulier les performances (productivité, utilisation des machines...) en fonction de l'état initial et de l'ordre de passage des pièces sur les machines (séquences d'entrée). Nous examinons ensuite comment optimiser les performances en saturant la machine la plus chargée avec un minumum d'en-cours. Cet aspect est particulièrement important dans le cas des ateliers flexibles car cela revient à maximiser la productivité avec le minimum de ressources de transport. Nous montrons que cette condition est toujours réalisable pour un job-shop (quelles que soient les séquences d'entrée dans les machines) et nous proposons des algorithmes heuristiques de recherche d'un ordonnancement optimal. Dans le cas d'un système d'assemblage multi-niveaux, le modèle s'appuie sur les réseaux de Petri généralisés. L'étude des propriétés de fonctionnement périodique de ces réseaux permet de calculer les performances maximales du système de production en fonction du niveau des en-cours (qui représentent dans ce cas les matières premières et les produits semi-finis). Nous abordons également le problème d'optimisation des performances en suivant une démarche similaire à celle des job-shops.
Book Synopsis CONTRIBUTION A LA MODELISATION ET A LA SIMULATION DES SYSTEMES DE PRODUCTION DE SERVICES by : SELMA.. LIMAM
Download or read book CONTRIBUTION A LA MODELISATION ET A LA SIMULATION DES SYSTEMES DE PRODUCTION DE SERVICES written by SELMA.. LIMAM and published by . This book was released on 1999 with total page 225 pages. Available in PDF, EPUB and Kindle. Book excerpt: CES TRAVAUX S'INTERESSENT A LA MODELISATION ET A LA SIMULATION DES SYSTEMES DE PRODUCTION DE SERVICES (SPS). POUR CELA, NOUS NOUS SOMMES FIXES PLUSIEURS OBJECTIFS. NOTRE PREMIER OBJECTIF A ETE D'ETUDIER LES TYPES D'ORGANISATIONS QUI LEUR SONT ADAPTEES. NOUS AVONS OPTE POUR UNE APPROCHE PAR PROCESSUS. SUR LA BASE DE CETTE APPROCHE, NOUS AVONS ANALYSE COMMENT AMELIORER LA FIABILITE ET LA PERFORMANCE DES SPS. POUR CELA NOUS AVONS PROPOSE UNE METHODE DE MODELISATION ET DE SIMULATION DES PROCESSUS DES SPS (MOSISER). ELLE EST APPLIQUEE A DEUX VUES D'UN PROCESSUS QUE NOUS DEFINISSONS COMME SUIT : UNE PREMIERE VUE (ACTIVITES) ANALYSE UN PROCESSUS DONNE DANS SA GLOBALITE ET S'INTERESSE AU SEQUENCEMENT DE SES ACTIVITES. UNE SECONDE VUE (OPERATIONS) ANALYSE UN PROCESSUS DONNE DANS LE DETAIL DE SES ACTIVITES ET DE SES OPERATIONS ET S'INTERESSE A L'ORGANISATION DES OPERATIONS ET AU DIMENSIONNEMENT DES RESSOURCES NECESSAIRES POUR LA REALISATION D'UN PROCESSUS DONNE. LA METHODE EST REALISEE EN DEUX PHASES, UNE PHASE DE REPRESENTATION DE PROCESSUS BASEE SUR UN OUTIL DE REPRESENTATION GRAPHIQUE (ORGANIGRAMMES) ET UNE PHASE D'ANALYSE DU PROCESSUS BASEE SUR UN OUTIL DE SIMULATION (RESEAUX DE PETRI) ET SUR LE FORMALISME ORIENTE OBJETS (NOTATION UML). NOUS AVONS PROPOSE UNE METHODE POUR L'INTEGRATION UML/RESEAUX DE PETRI DE TYPE THORN. NOUS AVONS ENSUITE VALIDE LA METHODE EN L'APPLIQUANT A UN TYPE DE SPS PARTICULIER, LES SYSTEMES DE PRODUCTION TECHNIQUES ET RELATIONNELS. DANS CE CADRE, NOUS AVONS DEVELOPPE DES MODELES RESEAUX DE PETRI POUR CHACUNE DES DEUX VUES DE MOSISER, DANS LE CAS OU LES ACTIVITES DU PROCESSUS ETUDIE SONT SOUMISES A DES PERTURBATIONS EXTERNES ET INTERNES. DEUX ALGORITHMES ONT ETE DEVELOPPES POUR DETERMINER L'ORDONNANCEMENT DES ACTIVITES ET DES OPERATIONS LORSQUE DES PREFERENCES LEUR SONT ASSOCIEES.
Download or read book PETRI-S written by Dalila Boudebous and published by . This book was released on 1990 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: cette thèse présente la conception et la réalisation d'un outil d'aide au prototypage rapide des systèmes de production automatises. Cet outil s'appuie sur une description du comportement du système commande exprimée a l'aide des réseaux de pétri interprétés, et sur une approche de modélisation de l'environnement commande et du flux d'activité, pour réaliser une simulation hors site de la spécification d'un système de commande. Dans un processus de conception, cet outil peut être utilisé pour dialoguer avec l'utilisateur afin de clarifier ses besoins, pour la validation et la mise au point de la spécification du comportement d'un système de commande et pour évaluer les performances liées au choix de pilotage et au dimensionnement d'un atelier
Book Synopsis Conception des systèmes de production à l'aide des réseaux de Petri by : Feng Chu
Download or read book Conception des systèmes de production à l'aide des réseaux de Petri written by Feng Chu and published by . This book was released on 2015 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans ce travail, nous nous intéressons à la conception des systèmes de production à l'aide des réseaux de Pétri (RDP). L'objectif est de vérifier les propriétés qualitatives dans un processus de conception incrémentale. Le bon fonctionnement d'un système en phase opérationnelle nécessite une conception adéquate. Cela exige que le modèle réseaux de Pétri possède de bonnes propriétés qualitatives : la consistance, la conservation, la bornitude structurelle, la répétitivité, l'absence de blocage, vivacité, etc. Nous considérons le processus de conception incrémentale dans lequel la conception se fait étape par étape, ce qui correspond à la réalité industrielle. chaque étape consiste à ajouter des transitions et/ou des places à un modèle existant, ou à intégrer des modèles existants par fusion de places et/ou de transitions. nous nous plaçons dans l'optique d'un ingénieur qui conçoit un modèle et qui souhaite savoir, à chaque étape de la conception, si son modèle conserve ou non les propriétés requises. Les résultats rassemblés dans cette thèse fournissent une base théorique pour le développement d'un outil qui va dans ce sens. Grâce aux nouveaux résultats théoriques que nous développons, la vérification des propriétés du modèle peut être effectuée en n'examinant qu'une partie du modèle. en utilisant des méthodes basées sur l'algèbre linéaire, nous établissons des conditions nécessaires et/ou suffisantes pour préserver la consistance, la conservation, la bornitude structurelle ou la répétitivité, dans différents cas de figure. La vérification de l'absence de blocage et de la vivacité est basée sur la méthode de verrous et de trappes. Nous démontrons des théorèmes qui mettent en évidence l'évolution de la base des verrous ou des trappes au cours de la conception incrémentale. Ces résultats nous permettent de développer des algorithmes pour déterminer la base des verrous ou des trappes. Nous définissons la notion de verrou mortel à partir de laquelle nous établissons des conditions nécessaires et/ou suffisantes d'absence de blocage pour tout réseau ordinaire et de vivacité pour les réseaux asymétriques et les graphes d'événements augmentés de places de ressources partagées. Nous développons un algorithme de programmation linéaire pour vérifier l'absence de verrous mortels.
Book Synopsis Les réseaux de Petri pour la conception et la gestion des systèmes de production by : Jean-Marie Proth
Download or read book Les réseaux de Petri pour la conception et la gestion des systèmes de production written by Jean-Marie Proth and published by Elsevier Masson. This book was released on 1995 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes de production sont aujourd'hui flexibles et intégrés, donc complexes et coûteux. Ceci impose de maîtriser tous les aspects de leur conception, notamment la phase de conception préliminaire, appelée "étude papier". Celle-ci inclut la spécification fonctionnelle, la modélisation et l'évaluation du comportement du système. Les réseaux de Petri (RdP) permettent de prendre en compte ces trois facettes de l'étude. Les RdP sont des graphes bipartis qui comportent deux types de sommets, à savoir les places qui permettent de modéliser les stocks d'encours, et les transitions qui représentent les opérations. Ils ont le double avantage de fournir un support graphique naturel qui est d'une aide précieuse pour le concepteur, et de posséder des propriétés analytiques qui permettent souvent une évaluation simple du comportement du système étudié. En outre, les RdP se prêtent à la simulation lorsque le système modélisé est trop complexe pour autoriser une étude analytique. Nous sommes donc en présence d'un outil complet et efficace qui justifie amplement le présent ouvrage. La première partie du livre expose les bases des RdP et se termine par l'étude des classes élémentaires de RdP, essentiellement les graphes d'événements et les RdP contrôlables. La seconde partie est consacrée aux applications. Les principaux modules rencontrés dans les systèmes de fabrication sont passés en revue. Nous étudions ensuite les systèmes à fonctionnement cyclique pour terminer par l'étude des systèmes à fonctionnement non cyclique.
Book Synopsis Les réseaux de Petri by : Annie Choquet-Geniet
Download or read book Les réseaux de Petri written by Annie Choquet-Geniet and published by . This book was released on 2006 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le modèle des réseaux de Petri est un outil graphique de modélisation et d'analyse des systèmes parfaitement adapté à l'étude des structures de contrôle. Il permet notamment de maîtriser et d'assurer la sûreté de fonctionnement de logiciels complexes (aéronautique, transports, industrie...). Cet ouvrage présente les différentes techniques de modélisation en se référant aux nombreux concepts spécifiques des systèmes de contrôles (parallélisme, précédente, communication, partage de ressources, causalité...). Les différents modèles sont décrits en détail, du modèle de base à quelques-unes de ses extensions temporelles. Les diverses possibilités d'analyses offertes seront également étudiées. La première partie de l'ouvrage introduit le modèle de base places/transitions, et la seconde traite de quelques extensions du modèle initial pour traiter des problèmes liés aux applications de contrôle des procédés. De nombreux exercices corrigés sont également proposés à la fin de chaque chapitre. Ce livre s'adresse aux étudiants de licence et master en informatique et en mathématiques ainsi qu'aux élèves d'écoles d'ingénieurs.
Book Synopsis MODELISATION ET VALIDATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI COLORES by : ABDALLAH.. GUEBLA
Download or read book MODELISATION ET VALIDATION DES SYSTEMES DE PRODUCTION PAR LES RESEAUX DE PETRI COLORES written by ABDALLAH.. GUEBLA and published by . This book was released on 1991 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: NOMBREUX SONT LES PROCESSUS DIFFERENTS QUI PRESENTENT UNE STRUCTURE ET UN FONCTIONNEMENT SIMILAIRES. LORSQUE L'ON S'INTERESSE AUX SYSTEMES DE PRODUCTION, IL EST NECESSAIRE DE POUVOIR DISPOSER DE METHODES ET D'OUTILS PERMETTANT DE MENER A BIEN LES DIFFERENTES ETAPES ALLANT DE LA SPECIFICATION A L'IMPLANTATION, EN PASSANT PAR L'INDISPENSABLE VALIDATION. LA MODELISATION ET L'EVOLUTION DES PERFORMANCES DES SYSTEMES COMPLEXES SONT LES ELEMENTS RECHERCHES DE TOUTE ANALYSE COHERENTE. PARMI CES OUTILS, LES RESEAUX DE PETRI COLORES (EDPC) REPONDENT PARFAITEMENT A CES EXIGENCES. ILS ONT L'AVANTAGE D'ETRE CONSERVES TOUT AU LONG DE L'APPLICATION CONSIDEREE. LE MODELE OBTENU EST PLUS CONCIS ET PLUS CLAIR ET LES PROPRIETES DES RESEAUX DE PETRI RESTENT VALABLES. L'INCONVENIENT, C'EST QUE L'ANALYSE MATHEMATIQUE DES RDPC N'EST PAS SUFFISANTE POUR DETERMINER TOUTES CES PROPRIETES. LE FAIT QU'UNE SEQUENCE DE FRANCHISSEMENTS PEUT ETRE CONSIDEREE COMME UN ALPHABET, LA GAMME MULTIPLE DES JOB-SHOPS COMME UN LANGAGE REGULIER ET LA COULEUR DES JETONS PROPRE AUX RDPC COMME DES LANGAGES REGULIERS, CEUX-CI JUSTIFIENT BIEN ET EXPLIQUENT DONC LA CORRESPONDANCE ENTRE LES PDPC ET LES GRAMMAIRES. LA SIMULATION, QUANT A ELLE, REPOND AUX EXIGENCES DU CAHIER DES CHARGES POUR UNE MEILLEURE COORDINATION ET UN BON DIMENSIONNEMENT DE L'ATELIER. IL EST INTERESSANT DE FAIRE UNE ANALOGIE ENTRE LES RTDPC ET L'APPROCHE INTELLIGENCE ARTIFICIELLE. DES EXEMPLES DE MODELISATION D'ATELIERS ILLUSTRENT NOTRE TRAVAIL ET LE CHOIX DU RDPC
Book Synopsis Fonctionnements répétitifs de systèmes flexibles de production manufacturière by : Harald Ohl
Download or read book Fonctionnements répétitifs de systèmes flexibles de production manufacturière written by Harald Ohl and published by . This book was released on 1995 with total page 151 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pour appréhender la complexité de la planification et de l'ordonnancement prévisionnel d'un SFPM, nous proposons de restreindre l'étude d'abord à une période limitée et de considérer ensuite un fonctionnement répétitif. Une telle approche suppose un contexte peu perturbé et des besoins de fabrication stables, spécifiés par des ratios de production. Dans le cas de flexibilités de gammes et de ressources multiples, nous mettons en évidence l'horizon de réalisation comme nouvel indice de performance, en plus du débit de production et du niveau de l'en-cours. Nous développons une méthode progressive, s'appuyant sur une modélisation par réseaux de Petri, qui consiste à optimiser dans un premier temps le débit et l'horizon sous l'hypothèse d'un en-cours suffisant. Pour une évaluation préliminaire rapide, cette décomposition permet de contourner une partie de la complexité due au caractère discret. Bien qu'il s'agisse d'une approche par flux, nous établissons des conditions nécessaires et suffisantes pour une réalisation effective au niveau discret. En partant des résultats de l'optimisation du couple débit-horizon, la deuxième phase consiste à résoudre les indéterminismes restants en minimisant l'en-cours dans le système. Nous développons une démarche d'analyse au cours de laquelle nous mettons en évidence l'influence de différentes approches de modélisation sur le niveau de l'en-cours. Afin de les comparer nous établissons des bornes inférieures pour l'en-cours associe et montrons que celles-ci sont atteignables dans certains cas. Finalement nous proposons une heuristique d'ordonnancement qui transforme le modèle réseau de Petri en un graphe d'événements représentatif de la commande du système.
Book Synopsis Commande cyclique des systèmes flexibles de production manufacturière à l'aide des réseaux de pétri by : Ouajdi Korbaa
Download or read book Commande cyclique des systèmes flexibles de production manufacturière à l'aide des réseaux de pétri written by Ouajdi Korbaa and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous nous interessons, dans ce memoire, au probleme de commande des s.f.p.m. La complexite de ce probleme est en general trop importante pour envisager la recherche de la meilleure solution avec la prise en compte de tous les criteres (min. Temps total de production, min. En-cours). La commande cyclique se presente comme une solution interessante qui permet de reduire considerablement la complexite. Les travaux de ohl 95a et cam 97 ont permet la mise en place d'une approche structuree, utilisant les reseaux de petri comme outil de modelisation et d'analyse de performances, prenant en compte progressivement les differents indeterminismes du systeme de production afin de conserver le plus longtemps l'optimalite de la recherche. L'utilisation d'heuristiques, pour finir la resolution, est imposee par le caractere np-difficile du probleme d'ordonnancement cyclique. Nous proposons ici une etude approfondie et une extension de cette methode a plusieurs niveaux. Nous etudions tout d'abord la combinatoire des differentes phases precedant l'ordonnancement. Cette etude est indispensable dans l'optique d'une informatisation de l'approche. Dans le second chapitre, nous presentons un algorithme d'ordonnancement cyclique ainsi que une extension a la prise en compte des operations de transfert. Afin de determiner une commande entiere du systeme, nous etudions les regimes transitoires, de lancement et d'arret de la production, sous differents aspects (bornes, durees optimales, continuite des fonctions, existence d'un regime permanent). Le resultat final est une commande previsionnelle entiere du systeme depuis le lancement de la production jusqu'a son arret.
Book Synopsis Approches méthodologiques pour l'aide à la conception et à la conduite des systèmes de production by : Daniel Noyes
Download or read book Approches méthodologiques pour l'aide à la conception et à la conduite des systèmes de production written by Daniel Noyes and published by . This book was released on 1987 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce mémoire de thèse présente des travaux et résultats sur le développement et l'application d'outils et de méthodes d'aide à la conception et indirectement, à la conduite des systèmes de production. Les travaux sont principalement orientés vers le traitement des problèmes de modélisation et d'analyse des systèmes actuels qui, par une automatisation et une informatisation poussées, intègrent les concepts de productivité et de flexivité. Ces travaux sont étendus à la caractérisation d'architectures nouvelles. Les formes de représentation et d'analyse s'appuient principalement sur la modélisation markovienneet les réseaux de Petri. Sont diectement pris en compte sur les graphes d'états les aspects performances fonctionnelles et sûreté de fonctionnement pour établir des mesures caractéristiques du fonctionnement. Des méthodes et des algorithmes sont développés par rapport à ces outils pour permettre la modélisation et l'étude de systèmes complexes, de systèmes multiphases et de systèmes modulaires. Les réseaux de Petri et les graphes de Markov sont liés d'une manière interactive pour fournir une aide à l'évolution des architectures dans la démarche de conception. Une forme d'organisation modulaire des systèmes est présentée, basée sur la modularisation des machines et la définition d'architectures à partir de modules de traitement et de modules serveurs.
Book Synopsis UNE CONTRIBUTION AU GENIE AUTOMATIQUE by : JEAN MARC.. TIXADOR
Download or read book UNE CONTRIBUTION AU GENIE AUTOMATIQUE written by JEAN MARC.. TIXADOR and published by . This book was released on 1989 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: ON DECRIT L'ENVIRONNEMENT SPEX POUR LA SPECIFICATION EXECUTABLE DES MACHINES ET SYSTEMES AUTOMATISES DE PRODUCTION, ASSOCIANT ANALYSE DESCENDANTE AVEC IDEF0 ET SYNTHESE ASCENDANTE A PARTIR DE COMPOSANTS REUTILISABLES, A L'AIDE DU GRAFCET
