Author: Lionel Amodeo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description

Author: Lionel Amodeo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 175

Get Book Here

Book Description
Le travail présenté dans cette thèse constitue une contribution à la simplification et à la commande des réseaux de Petri stochastiques, utilisés pour la modélisation et l'étude des systèmes de production. Dans le contexte industriel actuel ou l'étude des systèmes manufacturiers s'avère de plus en plus complexe, nous apportons une méthode de réducation de modèles stochastiques, conduisans à une diminution du temps d'obtention des performances des systèmes. Les travaux se résument en deux grands points : Tout d'abord, une méthode de simplification graphique et analytique des réseaux de Petri stochastiques a été développée. Elle effectue un découplage du RDPS suivant les dynamiques des probabilités de marquage, et utilise les techniques de perturbations singulières en continu et en discret. En résultat, nous obtenons deux sous-systèmes aux évolutions lentes ou rapides et aux dimensions réduites facilitant ainsi leur analyse. Utilisant la propriété des processus de markov de la partie lente, une technique de construction du RDPS lent a été développée. La simplification est alors graphique pour le RDPS et analytique pour le processus de Markov. Ensuite, nous avont étendu cette méthode de simplification aux RDPS à commande avec une application à la recherche de la commande optimale.

Author: Alice Yalaoui
Publisher: John Wiley & Sons
ISBN: 1118569571
Category : Mathematics
Languages : en
Pages : 226

Get Book Here

Book Description
This book aims to help engineers, Masters students and young researchers to understand and gain a general knowledge of logistic systems optimization problems and techniques, such as system design, layout, stock management, quality management, lot-sizing or scheduling. It summarizes the evaluation and optimization methods used to solve the most frequent problems. In particular, the authors also emphasize some recent and interesting scientific developments, as well as presenting some industrial applications and some solved instances from real-life cases. Performance evaluation tools (Petri nets, the Markov process, discrete event simulation, etc.) and optimization techniques (branch-and-bound, dynamic programming, genetic algorithms, ant colony optimization, etc.) are presented first. Then, new optimization methods are presented to solve systems design problems, layout problems and buffer-sizing optimization. Forecasting methods, inventory optimization, packing problems, lot-sizing quality management and scheduling are presented with examples in the final chapters.

Author: AKLI.. AMRAH
Publisher:
ISBN:
Category :
Languages : fr
Pages : 149

Get Book Here

Book Description
L'UTILISATION DU MODELE RESEAU DE PETRI CONTINU A VITESSES MAXIMALES CONTROLABLES (RDPCVC), NOUS A CONDUIT A PRESENTER UN CERTAIN NOMBRE DE METHODOLOGIES POUR L'ANALYSE ET LA COMMANDE DES SYSTEMES DE PRODUCTION. LA THEORIE DES SYSTEMES CONTINUS, PERMET D'ETUDIER DEUX PROPRIETES RELATIVES A L'ANALYSE DES SYSTEMES A EVENEMENTS DISCRETS EN GENERAL ET LES SYSTEMES DE PRODUCTION EN PARTICULIER : LA STABILITE ET L'ACCESSIBILITE. L'ETUDE DE LA STABILITE UTILISE UNE APPROCHE BASEE SUR LE PRINCIPE DE COMPARAISON. LA PROPRIETE D'ACCESSIBILITE CONCERNE LE DOMAINE DES MARQUAGES ACCESSIBLES REPRESENTANT LE DOMAINE DE VARIATION DES NIVEAUX MOYENS DES STOCKS DES LIGNES DE FABRICATION. L'ENSEMBLE DES ALGORITHMES ETABLIS PERMET UNE DETERMINATION SYSTEMATIQUE DES DOMAINES DE MARQUAGES ACCESSIBLES STATIONNAIRES. SUITE A LA RESOLUTION DU PROBLEME DE L'ACCESSIBILITE, NOUS AVONS ENONCE DES PROPRIETES DONNANT DES CONDITIONS NECESSAIRES ET / OU SUFFISANTES SUR LE CHOIX DES NIVEAUX MOYENS DESIRES DES STOCKS. LES NIVEAUX MOYENS DES STOCKS CONSTITUENT UN ETAT EVOLUTIF DU SYSTEME DONT ON A ETUDIE LA COMMANDE EN BOUCLE OUVERTE. LE CALCUL DE LA COMMANDE EST BASE SUR DES METHODES D'OPTIMISATION SOUS CONTRAINTES. LES RESULTATS DE CETTE ETUDE NOUS ONT SERVI A RESOUDRE UN PROBLEME PRATIQUE, CELUI DE LA COMMANDE DU FLUX DE SORTIE DE CES LIGNES. POUR ETENDRE L'ETUDE DE LA COMMANDE DU FLUX DE SORTIE A UNE CLASSE PLUS LARGE DE SYSTEMES DE PRODUCTION NOUS AVONS ELABORE UNE SECONDE APPROCHE INSPIREE DES TRAVAUX DE SHARIFNIA ET EGILMEZ. EN TENANT COMPTE DES CONTRAINTES DE CAPACITE DANS LA PROCEDURE DE SYNTHESE DE LA COMMANDE ET EN NE REPRESENTANT PAR UN MODELE RDPCVC QUE LA PARTIE OPERATIVE DU SYSTEME, LE MODELE ANALYTIQUE RDPCVC D'UNE CLASSE DE SYSTEMES DE PRODUCTION EST LINEAIRE ET STATIONNAIRE. L'UTILISATION DU PRINCIPE DE L'INVARIANCE POSITIVE DES DOMAINES ENGENDRES PAR LES CONTRAINTES, NOUS A PERMIS DE DEDUIRE DES CONDITIONS SUFFISANTES GARANTISSANT L'EXISTENCE D'UN RETOUR D'ETAT LINEAIRE POUR CES SYSTEMES.

Author: Karim Labadi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 202

Get Book Here

Book Description
Le travail présenté dans cette thèse constitue une contribution à la modélisation et à l’analyse de performances des systèmes logistiques à l’aide d’un nouveau modèle de réseaux de Pétri stochastiques. Il s’agit d’une problématique au centre des préoccupations actuelles des entreprises industrielles mais très peu abordée par la communauté des réseaux de Pétri. Dans ce travail, nous développons un nouveau modèle de réseaux de Pétri dits réseaux de Pétri lots déterministes et stochastiques (BDSPNs) capable de supporter les caractéristiques essentielles des systèmes logistiques et plus généralement des systèmes à événements discrets. Ils sont particulièrement adaptés pour la modélisation de flux évoluant en quantités discrètes (lots de différentes tailles et variables) et ils permettent de prendre en compte des activités plus spécifiques telles que les commandes des clients, l’approvisionnement des stocks, la production et la livraison en mode lot. Les BDSPNs permettent par leur formalisme graphique et mathématique de capturer pertinemment et simplement cet aspect lot omniprésent dans différentes locations de ces systèmes et qui s’implique très considérablement dans leur comportement et par conséquent dans leur analyse. Nos travaux portent à la fois sur la théorie d’un nouveau modèle, sur ses techniques d’analyse et sur ses applications aux systèmes logistiques. Ainsi, les résultats obtenus et les applications effectuées font des BDSPNs un outil de modélisation performant aussi bien pour l’analyse que pour la simulation

Author: F. Dicesare
Publisher: Springer
ISBN:
Category : Business & Economics
Languages : en
Pages : 316

Get Book Here

Book Description
M. Silva Significant changes have been occurring in industrialized countries since the Second World War. Production is moving towards sophisticated high qUality products, economy of scale has been replaced by economy of scope, jerky demands are progressively replacing steady demands, and competi tiveness is becoming a worldwide phenomenon. These trends require highly automated manufacturing systems with small set-up times and high flex ibility. As a consequence, implementation and running costs of modem manufacturing systems are drastically increasing, whereas their fields of application remain limited, and every day become even narrower, which increases the risk of early obsolescence. This is the reason why designers are trying to improve the preliminary design phase, also known as the 'paper study phase'. The preliminary design phase includes, but is not limited to, the func tional specification, and the evaluation of the system. Many tools exist to support the functional specification of manufactur ing systems. IDEFO is one of these tools. It leads, using a top-down ap proach, to a precise functional description of the required system. However, its use cannot be extended further. In general, the evaluation starts with a modeling step, which depends on the evaluation tool used, and ends by applying the model to find out its main dynamic characteristics. Two main approaches can be used to perform this task, namely simulation and math ematical approach. Using simulation, the modeling tool is either a classical computer language, or a simulation language.

Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 614

Get Book Here

Book Description

Author: Eugénia Minca-Georgescu
Publisher:
ISBN:
Category :
Languages : fr
Pages : 237

Get Book Here

Book Description

Author: Eric Gressier-Soudan
Publisher:
ISBN:
Category :
Languages : fr
Pages :

Get Book Here

Book Description
NOTRE TRAVAIL CONTRIBUE À MONTRER L'IMPORTANDE DES RDPS AU MOYEN D'EXEMPLES DE MODÉLISATION ISSUS DU DOMAINE INDUSTRIEL. POUR CES EXEMPLES, LES TECHNIQUES D'ÉVALUATION DE PERFORMANCE HABITUELLES, COMME LES RÉSEAUX DE FILES D'ATTENTE, OU LES PROCESSUS SEMI-MARKOVIENS, SONT MAL ADAPTÉES. LES EXEMPLES ETUDIÉS SONT: 1) LA COMPARAISON DE STRATÉGIES D'ORDONNANCEMENT DE TÂCHES, 2) L'ÉVALUATION D'ETHERNET, PROTOCOLE TRES UTILISÉ DANS LES RÉSEAUX LOCAUX, 3) LA VALIDATION D'UNE ARCHITECTURE DE RESEAU LOCAL INDUSTRIEL (ARLIC). NOUS APPELONS MODÉLISATION EXTENSIVE, L'APPROCHE QUI CONSISTE À DÉCRIRE EN UN SEUL MODÈLE RDPS FERMÉ TOUS LES ÉTATS ET CHANGEMENTS D'ÉTAT D'UN SYSTÈME. C'EST LA SEULE MÉTHODE EMPLOYÉE JUSQU'À MAINTENANT. LA CONDUITE DES ÉTUDES PRÉCÉDENTES NOUS A AMENÉ, SUR LE PLAN PRATIQUE À DÉGAGER UNE MÉTHODOLOGIE DE MODÉLISATION AU MOYEN DES RDPS ET SUR LE PLAN THÉORIQUE À DÉVELOPPER DES MÉTHODES APPROXIMATIVES POUR PALLIER LES INSUFFISANCES DE LA MODÉLISATION EXTENSIVE. CETTE DERNIÈRE ENTRAINE, DANS DE NOMBREUX CAS PRATIQUES, L'EXPLOSION COMBINATOIRE DE L'ESPACE D'ETATS DES MODELES. COMME POUR CERTAINES TECHNIQUES APPROXIMATIVES UTILISÉES DANS LES RÉSEAUX DE FILES D'ATTENTE QUAND IL N'EST PAS POSSIBLE D'OBTENIR DES SOLUTIONS EXACTES, NOUS AVONS PROPOSÉ DES MÉTHODES FONDÉES SUR LE DÉCOUPAGE D'UN MODÈLE RDPS EN SOUS-MODÈLES. NOUS NOUS SOMMES SERVIS D'UNE MÉTHODE D'ISOLATION QUAND LES INTERACTIONS ENTRE PARTITIONS D'UN MODÈLE PEUVENT ÊTRE ESTIMÉES PAR UNE FONCTION SIMPLE NE DÉPENDANT QUE DU NOMBRE DE PARTITIONS ET DE PARAMÈTRES EXOGENES. À CAUSE DE LA COMPLEXITÉ DES INTERACTIONS ENTRE SOUS-MODÈLES, LA MÉTHODE PRÉCÉDENTE NE S'APPLIQUE PAS TOUJOURS. NOUS AVONS ALORS PROPOSÉ, POUR LES MODÈLES RDPS DONT LES CONTRAINTES DE SYNCHRONISATION S'EXPRIMENT EN TERME DE SCHEMAS DE PRODUCTION-CONSOMMATION, DES CONDITIONS DE PARTITIONNEMENT ET UN ALGORITHME DE TYPE POINT FIXE QUI PERMETTENT LE CALCUL APPROCHÉ DE LA

Author: Belhassen Mazigh
Publisher:
ISBN:
Category :
Languages : fr
Pages : 314

Get Book Here

Book Description
Dans cette thèse nous montrons les capacités des RdPSG à modéliser et à évaluer les performances et les grandeurs de la sûreté de fonctionnement des systèmes de production sujets à des pannes et réparables. Nous montrons que les RdPSG permettent au concepteur d'évaluer et de comparer différentes architectures et politiques avec une grande aisance et rapidité. Plusieurs grandeurs peuvent être utilisées pour évaluer les performances d'une structure donnée. La disponibilité et le MTBF sont les mesures les plus intéressantes pour comparer différentes stratégies de la sûrete de fonctionnement. Le facteur coût peut être inclus dans l'évaluation (coût de l'installation, de sa mise en marche, des réparations, de l'entretien, etc.). Dans le cas des systèmes de production complexes, on utilise une méthode d'agrégation basée sur la théorie du modèle équivalent. Cette technique a été validée sur un exemple industriel (chaîne de production de porte de voiture). Une bibliothèque formée par des modules de base a été créée. Un outil d'aide à l'évaluation des systèmes de production, utilisant ces modules, a été développé dans le but de faciliter la modélisation et accélérer l'évaluation