Modelisation orientee objet de systemes de production avec une approche transaction : resolution par des methodes analytiques et par simulation PDF Download

Author: Alain Tanguy
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description

Author: Association of SIMULA Users. Conference
Publisher:
ISBN:
Category : SIMULA (Computer program language)
Languages : en
Pages : 242

View

Book Description

Author: Association of SIMULA Users. Conference
Publisher:
ISBN:
Category : SIMULA (Computer program language)
Languages : en
Pages : 246

View

Book Description

Author: Xiaojun Ye
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description
L'approche objet permet des applications plus évoluées et plus fiables et des développements spécifiques moins couteux et évolutifs. Les objectifs de ce travail sont, d'une part, de contribuer à la conceptualisation complète de modèles de simulation à objet et d'autre part, de les implémenter en utilisant des techniques de programmation concurrente. Après une présentation, au chapitre I, des concepts des systèmes de production et de leur gestion, nous avons évalué, au chapitre II, les différents modèles de structure et de simulation pour les systèmes de production. Le chapitre III propose une démarche d'analyse pour identifier des classes d'objets en cinq types du domaine; physiques, rôles, incidents, interactions et spécifications. Chacune de ces classes est spécifiée par quatre modèles: communication, information, transition d'état et processus. Dans le chapitre IV, nous avons conceptualisé une architecture générale des objets actifs, une plateforme de simulation à objets concurrents et des classes d'objets sémantiques tels que les transactions, les moyens de production et les décisions pour l'établissement des modèles de simulation de production. Nous avons illustré, au chapitre V, l'implémentation des coopérations spatiales et temporelles entre objets concurrents dans la simulation avec des concepts processus légers basés sur l'outil Meijin++.

Author: Samira Haddou
Publisher:
ISBN:
Category :
Languages : fr
Pages : 402

View

Book Description
DANS CETTE THESE, NOUS PROPOSONS UNE METHODOLOGIE POUR LA REPRESENTATION DES CONNAISSANCES EN ECONOMETRIE, PLUS PRECISEMENT DANS LA MODELISATION ECONOMETRIQUE DE LONG TERME, EN SE BASANT SUR LES DEVELOPPEMENTS RECENTS DE L'APPROCHE ORIENTEE OBJET. LES STRATEGIES DE RESOLUTION D'UN PROBLEME DE MODELISATION ECONOMETRIQUE UTILISENT SOUVENT LES MEMES TYPES D'INFORMATION : LES VARIABLES, LES MODELES STATISTIQUES, LES SERIES DE DONNEES ET LES METHODES D'ESTIMATION ET D'EVALUATION. AINSI, DANS UNE PERSPECTIVE DE TRAITEMENT DES CONNAISSANCES, UNE REPRESENTATION A BASE D'OBJET S'AVERE LARGEMENT JUSTIFIEE. LES OBJETS UTILISES SONT DES ABSTRACTIONS STATISTIQUES DISTINCTES PLUS FACILES A COMPRENDRE ET A GERER. LA MISE A JOUR DU SCHEMA DE REPRESENTATION EST LARGEMENT FACILITEE GRACE A L'INTEGRITE ET A L'INDEPENDANCE DES OBJECTS UTILISES. LES DIFFERENTES METHODES DE TRAITEMENT CONSTITUENT LA PARTIE VOLATILE DU PROCESSUS DE MODELISATION AUXQUELLES SONT ASSOCIEES DES REGLES CONDITIONNANT LEUR MISE EN OEUVRE. LE COUPLAGE AVEC LES SYSTEMES A BASE DE REGLES DE PRODUCTION GARANTIRA L'AUTOMATISATION DE LA STRATEGIE DU RESOLUTION DU PROBLEME ET L'INTERPRETATION DES RESULTATS.

Author: SOUMEYA.. GHROUD
Publisher:
ISBN:
Category :
Languages : fr
Pages : 9

View

Book Description
L'ETUDE PORTE SUR L'APPORT DU GENIE LOGICIEL ORIENTE OBJET DANS L'INTEGRATION DES SYSTEMES DE PRODUCTION. LES DEVELOPPEMENTS ONT ETE EFFECTUES DANS LE BUT DE DEFINIR UNE METHODE DE MODELISATION ADAPTEE AUX SYSTEMES INTEGRES DE PRODUCTION (SIP) PUIS DE MODELISER LE SYSTEME DE PILOTAGE D'UNE CELLULE FLEXIBLE EXPERIMENTALE. DE NOMBREUX PROBLEMES SE SONT POSES. ILS SONT LIES ESSENTIELLEMENT AU MANQUE DE RIGUEUR DE CERTAINS FORMALISMES UTILISES, AU RECOURS A LA JUXTAPOSITION DE DIFFERENTS PARADIGMES, AFIN DE COUVRIR TOUTES LES DIMENSIONS DU SYSTEME, SANS SE PREOCCUPER DE LEUR INTEGRATION, A LA NON COUVERTURE DE TOUT LE CYCLE DE VIE, JUSQU'A L'ABSENCE D'UN SUPPORT LOGICIEL. UNE APPROCHE ORIENTEE OBJET POUR LA CONCEPTION DES SIP EST PROPOSEES. LA DEMARCHE DE MODELISATION PRECONISEE PORTE D'ABORD SUR LA DEFINITION D'UNE ARCHITECTURE D'INTEGRATION POUR LE SYSTEME A MODELISER. L'ARCHITECTURE CONCERNE LE SYSTEME DE PILOTAGE AVEC PRISE EN COMPTE DES ASPECTS INFORMATION ET COMMUNICATION. ENSUITE L'ANALYSE ET LA MODELISATION DU SYSTEME SONT EFFECTUEES POUR ABOUTIR FINALEMENT A UN MODELE EXECUTABLE DU SYSTEME. NOTRE CONTRIBUTION SE SITUE AU NIVEAU METHODOLOGIQUE. UNE METHODE COUVRANT TOUT LE CYCLE DE DEVELOPPEMENT, ET BASEE SUR UNE DEMARCHE EN DEUX ETAPES, STRUCTUREE PUIS ORIENTEE OBJET, EST DEFINIE. ELLE SE FONDE DE LA METHODE DES CAS D'UTILISATION QUI PERMET UNE APPROCHE ORIENTEE UTILISATEUR. ELLE UTILISE UN FORMALISME MIXTE ORIENTE OBJET/ RESEAUX DE PETRI ORIGINAL ET QUI EST APPLIQUEE A TROIS NIVEAUX D'ABSTRACTION SUCCESSIFS: INTERFACE, OBJETS ET OPERATIONS. LES AVANTAGES SONT ALORS LA SUPERPOSABILITE DIRECTE ENTRE LE MODELE OBJET ET LE MODELE DYNAMIQUE, LA GARANTIE DE LA TRACABILITE DU MODELE ET AINSI, L'AUTOMATISATION POSSIBLE DU CONTROLE DE COHERENCE ET DE LA GENERATION DE CODE. UNE MISE EN UVRE DE LA METHODE A CONSISTE A DEVELOPPER LE SUPERVISEUR DE LA CELLULE FLEXIBLE DE L'AIPRAO

Author: Xiaojun Ye
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Paul-Antoine Bisgambiglia
Publisher:
ISBN:
Category :
Languages : fr
Pages : 152

View

Book Description

Author: YIPING.. YANG
Publisher:
ISBN:
Category :
Languages : fr
Pages : 189

View

Book Description
L'OBJECTIF DE LA THESE EST DE PROPOSER UNE SOLUTION COHERENTE REPONDANT AU BESOIN D'UNE UTILISATION CONJOINTE DE L'APPROCHE ORIENTEE-OBJETS ET DES METHODES FORMELLES POUR LE DEVELOPPEMENT DES APPLICATIONS DES SYSTEMES DISTRIBUES QUI SONT DE PLUS EN PLUS COMPLEXES ACTUELLEMENT. NOUS AVONS DEVELOPPE UNE METHODE DE MODELISATION ET SPECIFICATION BASEE SUR UN CONTEXTE DES MULTI-FORMALISMES INTEGRES, ET SUR UNE INTRODUCTION DES CONCEPTS ORIENTES-OBJETS DANS CE CONTEXTE. LE CONCEPT DES MULTI-FORMALISMES APPORTE UNE PUISSANCE DE MODELISATION COMPLETEE PAR DIFFERENTS FORMALISMES, TANDIS QUE L'INTRODUCTION DES CONCEPTS ORIENTES-OBJETS EST CONCUE DANS LE BUT DE FACILITER L'UTILISATION DE CES FORMALISMES ET D'AMELIORER LA COHERENCE DE CETTE UTILISATION. UN PROCESSUS DE DEVELOPPEMENT HIERARCHIQUE DESCENDANT EST ADOPTE DANS CETTE METHODE. EN PARTANT DU CONTEXTE PROOFS, DONT NOUS UTILISONS LES RESEAUX CANAUX/AGENCES, LES RESEAUX DE PETRI, LE MODELE DE DONNEES NIAM, ET LE LANGAGE EXSPECT, NOTRE METHODE SE FOCALISE SUR DEUX POINTS PRINCIPAUX: L'INTRODUCTION DES CONCEPTS ORIENTES-OBJETS DANS LES MODELES SEMI-FORMELS DE HAUT NIVEAU ET LA TRANSFORMATION DE CES MODELES A OBJETS EN MODELES DE BAS NIVEAU. L'APPROCHE PROPOSEE DE TRANSFORMATION REPOSE PRINCIPALEMENT SUR UNE ARCHITECTURE 'CLIENTS/SERVEURS DU SYSTEME ORIENTE-OBJETS. DANS LE BUT DE VALIDER NOTRE METHODE, NOUS L'AVONS APPLIQUEE AUX MODELISATION, SPECIFICATION ET SIMULATION D'UNE APPLICATION DISTRIBUEE DE BUREAUTIQUE COMMUNICANTE: TELECONFERENCE DE DOCUMENT

Author: SELMA.. LIMAM
Publisher:
ISBN:
Category :
Languages : fr
Pages : 225

View

Book Description
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.