La modelisation au moyen des reseaux de Petri stochastiques : application aux systemes informatiques fortement synchronises PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download La modelisation au moyen des reseaux de Petri stochastiques : application aux systemes informatiques fortement synchronises PDF full book. Access full book title La modelisation au moyen des reseaux de Petri stochastiques : application aux systemes informatiques fortement synchronises by Eric Gressier-Soudan. Download full books in PDF and EPUB format.
Author: Eric Gressier-Soudan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Eric Gressier-Soudan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
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: MIGUEL.. CANALES REVECO
Publisher:
ISBN:
Category :
Languages : fr
Pages : 153
Get Book Here
Book Description
ON PRESENTE ICI UNE NOUVELLE APPROCHE DE SIMULATION POUR LES GRAPHES D'EVENEMENTS STOCHASTIQUES, QUI EST PARTICULIEREMENT APPROPRIEE POUR UNE IMPLEMENTATION SUR UNE ARCHITECTURE SIMD. CETTE APPROCHE EST FONDEE SUR DES EQUATIONS DE RECURRENCE, LINEAIRES DANS (R, MAX, +), RECEMMENT ETABLIES POUR CE TYPE DE SYSTEME. TROIS VARIANTES SONT PRESENTEES: LA VARIANTE TEMPORELLE, LA VARIANTE SPATIALE ET LA VARIANTE PAR NIVEAUX. LA VARIANTE TEMPORELLE, QUI GENERALISE POUR LES RESEAUX DE PETRI UNE METHODE INTRODUITE POUR DES FILES D'ATTENTE, EST APPROPRIEE POUR LA SIMULATION DE PETITS SYSTEMES PENDANT DES INTERVALLES LONGS. LA VARIANTE SPATIALE PERMET LA SIMULATION DE RESEAUX PLUS GRANDS ET LE CALCUL SIMPLE DES STATISTIQUES DU PROCESSUS DE MARQUAGE. LA VARIANTE PAR NIVEAUX PERMET LA SIMULATION DE SYSTEMES ENCORE PLUS GRANDS, MAIS AVEC L'UTILISATION DE PLUS DE MEMOIRE PAR PROCESSEUR. ON ETUDIE LA COMPLEXITE PARALLELE THEORIQUE DES ALGORITHMES ASSOCIES A CHAQUE VARIANTE. QUELQUES EXEMPLES D'INTERET PRATIQUE SONT PRESENTES (RESEAUX DE FILES D'ATTENTE AVEC BLOCAGE, UN MODELE D'ATELIER STOCHASTIQUE) POUR LESQUELS LE COUT DE SIMULATION DE O(NT) EVENEMENTS D'UN RESEAU DE TAILLE T, EST DE O(N LOG T) AVEC LA VARIANTE SPATIALE. AVEC UNE METHODE TRADITIONNELLE, LE COUT DE SIMULATION DU MEME SYSTEME EST D'AU MOINS O(NT). CES CONSIDERATIONS THEORIQUES ONT ETE CONFIRMEES PAR UN PROTOTYPE QUI IMPLEMENTE LA NOUVELLE APPROCHE SUR UNE CONNECTION MACHINE-2
Author: Beate Specker
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
Author: Robert Garnier (toxicologue).)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: LYONNET Patrick
Publisher: Lavoisier
ISBN: 2743064676
Category :
Languages : en
Pages : 506
Get Book Here
Book Description
De tout temps l’homme a sans doute voulu construire des choses fiables. Mais les évaluations quantifiées, probabilisées ont vu le jour récemment d’abord pour systèmes militaires (missiles, satellites) puis nucléaires, automobiles et les biens d’équipements. On peut citer que dès 1906 les constructeurs de tubes à vides américains se sont préoccupés de fiabilité, de là est née la fiabilité électronique, puis mécanique, informatique et humaine des systèmes et composants. Cette évolution contemporaine a produit de nombreux outils, concepts et méthodes. Ces développements sont au centre de l’ouvrage. Fiabilité Technique et Humaine rassemble les concepts, techniques et outils de la fiabilité des composants et systèmes en considérant toutes les technologies et dimensions, notamment la mécanique, l’électronique, l’informatique et les aspects humains. En effet, les erreurs humaines sont à l’origine de nombreuses défaillances et de ce fait ne peuvent être ignorées lors de la conception ou du maintien des installations. Les diverses formes de fiabilité, prévisionnelle, expérimentale et opérationnelle sont explicitées et illustrées aux travers d’applications industrielles. Les concepts, outils et techniques de fiabilité les plus complexes sont présentés à partir d’exemples permettant au lecteur de se familiariser avec ce domaine. La présentation très didactique de ces concepts, étayée par plus de 100 exercices et problèmes corrigés en fait un ouvrage incontournable pour la maîtrise de la fiabilité technique et humaine.
Author: Laurent Gallon
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
CETTE THESE S'INSCRIT DANS LE CADRE GENERAL DE L'UTILISATION DES TECHNIQUES FORMELLES LORS DE LA PHASE CONCEPTUELLE DES SYSTEMES DISTRIBUES TEMPS-REEL, ET CONCERNE PLUS PRECISEMENT L'EXTENSION DES POUVOIRS D'EXPRESSION ET D'ANALYSE DU MODELE RESEAUX DE PETRI TEMPORISES STOCHASTIQUES. CE MODELE, QUI APPARTIENT A LA CLASSE DES RESEAUX DE PETRI STOCHASTIQUES, ASSOCIE A CHAQUE TRANSITION UN INTERVALLE DE TEMPS, ET UNE DISTRIBUTION DE PROBABILITE SUR CET INTERVALLE (CECI PERMET DE REPRESENTER DES CARACTERISTIQUES TEMPORELLES VARIEES ET EN PARTICULIER DES CONTRAINTES) EN CE QUI CONCERNE LE POUVOIR D'EXPRESSION, NOUS AVONS INTRODUIT, D'UNE PART, LA NOTION DE MEMOIRE TEMPORELLE DE TOUTES LES SENSIBILISATIONS (CECI EST IMPORTANT POUR L'ETUDE DES PHENOMENES DE PREEMPTION QUE L'ON RENCONTRE DANS DES ALGORITHMES D'ORDONNANCEMENT ET DANS DES PROBLEMES DE SURETE DE FONCTIONNEMENT) ET D'AUTRE PART, PLUSIEURS REGLES DE TIR DE TRANSITIONS (EN PARTICULIER LES REGLES MIN ET MAX QUI PERMETTENT DES ETUDES DES CAS PIRES, ASPECT IMPORTANT DANS LES SYSTEMES TEMPS-REELS). LES GRAPHES AINSI OBTENUS ONT ETE EGALEMENT SITUES PAR RAPPORT A LA REFERENCE COMPORTEMENTALE QUE CONSTITUE LE GRAPHE DES CLASSES D'ETATS (OBTENU A PARTIR DES RESEAUX DE PETRI TEMPORELS). EN CE QUI CONCERNE LE POUVOIR D'ANALYSE, NOUS AVONS DEFINI LE CONCEPT D'AUTOMATE QUOTIENT QUANTIFIE (CONCEPT BASE, A LA FOIS, SUR LA RELATION D'EQUIVALENCE DE MILNER ET LES REGLES DE REDUCTION DE BEIZER), QUI A DEUX QUALITES IMPORTANTES : IL PERMET, D'UNE PART, D'OBTENIR DES MODELES, A LA FOIS QUALITATIFS ET QUANTITATIFS DE SERVICES DE COMMUNICATION ; ET, D'AUTRE PART, DE CONTROLER LES DIMENSIONS DES MODELES A TRAITER LORS DE LA MODELISATION D'ARCHITECTURES DE COMMUNICATION MULTICOUCHES. CE MODELE A ETE APPLIQUE A UN EXEMPLE INDUSTRIEL, LE PROTOCOLE EMBARQUE TEMPS-REEL ARINC 629 CP. L'ETUDE FAITE A MIS EN EVIDENCE LES PROPRIETES TEMPS-REEL ET DE TOLERANCE AUX PANNES DE CE PROTOCOLE.
Author: René David
Publisher: Hermes Science Publications
ISBN: 9782866013257
Category :
Languages : fr
Pages : 500
Get Book Here
Book Description
Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logiques. Créé en 1977, il est maintenant largement enseigné et utilisé en France et il est devenu une norme internationale en 1987. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue. Cette édition introduit également les réseaux de Petri synchronisés étendus, et apporte des compléments et améliorations. Du Grafcet aux réseaux de Petri, qui s'adresse en priorité aux enseignants, constitue un support de cours indispensable pour les écoles d'ingénieurs et les universités. Sa conception didactique originale le rend accessible à de nombreux lecteurs. En effet, une centaine d'exercices dont certains très élémentaires sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun de ces exercices.
Author: Souleiman Ould El Mehdi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 168
Get Book Here
Book Description
Les réseaux de Petri stochastiques sont des outils performants pour modéliser les processus industriels ainsi que les défauts et reprises qui les affectent. Dans cette thèse on s’intéresse à l’identification de la structure et des paramètres des réseaux de Petri stochastiques et stochastiques-déterministes (incluant des durées de franchissement exponentielles et constantes) à partir des séquences d’événements datés et enregistrés par les systèmes de supervision. Un algorithme d’apprentissage supervisé est développé pour construire la structure du modèle. Cet algorithme est basé sur la rétro-propagation d’une erreur associée à la causalité des événements. Ensuite, une méthode d’identification des paramètres est proposée. Cette méthode réalise une analyse statistique du contenu de la séquence et exploite un modèle de Markov isomorphe au graphe d’atteignabilité du réseau de Petri. Enfin, les modèles construits sont utilisés pour des études de fiabilité ainsi que pour détecter et localiser les défauts.
Author: Robert Garnier (toxicologue).)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 155
Get Book Here
Book Description
L'ANALYSE DES PERFORMANCES DES SYSTEMES A HAUT NIVEAU DE SURETE REQUIERT SOUVENT L'USAGE DE METHODES DE SIMULATION, QUI SONT ALORS CONFRONTEES AU PROBLEME POSE PAR LES EVENEMENTS RARES. POUR CONTOURNER CE PROBLEME, UNE METHODE D'ACCELERATION DE LA SIMULATION, DENOMMEE METHODE DU CONDITIONNEMENT TEMPOREL, EST PROPOSEE. APPLIQUEE AUX RESEAUX DE PETRI STOCHASTIQUES, ELLE PERMET, EN FORCANT L'OCCURRENCE DE CERTAINS EVENEMENTS, D'AUGMENTER LA PROBABILITE D'OCCURRENCE DES EVENEMENTS RARES, SANS INDUIRE DE BIAIS. SON EFFICACITE EST DEMONTREE SUR DES CAS D'APPLICATION ISSUS D'ETUDES INDUSTRIELLES REELLES.
