Global ETD Search

1	Spécification et validation d'automatismes logiques interconnectés Albukerque, Joseph 16 December 1982 (has links) (PDF) CE MEMOIRE EST COMPOSE DE TROIS CHAPITRES. LE PREMIER POSE LE PROBLEME DE LA SPECIFICATION DES SYSTEMES DE COMMANDE COMPLEXES FORMES D'UN ENSEMBLE D'AUTOMATISMES COMMUNICANTS. APRES AVOIR INTRODUIT LES RESEAUX DE PETRI EN TANT QU'OUTIL FORMEL POUR LA SPECIFICATION, IL EST MONTRE QUE CET OUTIL N'EST PAS CONTRADICTOIRE AVEC UNE APPROCHE STRUCTUREE. QUELQUES REGLES DE STRUCTURATION SONT PROPOSEES. CETTE DEMARCHE EST ILLUSTREE PAR UN EXEMPLE CONCRET. LE SECOND CHAPITRE MONTRE COMMENT UNE SPECIFICATION STRUCTUREE PEUT ETRE VALIDEE. LE TROISIEME CHAPITRE PROPOSE UN LANGAGE DE SPECIFICATION ADAPTE A LA DESCRIPTION STRUCTUREE D'AUTOMATISMES INTERCONNECTES. CE LANGAGE EST FONDE SUR L'UTILISATION DES RESEAUX DE PETRI. UN LOGICIEL D'ANALYSE SYNTAXIQUE ET SEMANTIQUE A ETE DEVELOPPE SUR MICROCALCULATEUR EN LANGAGE PASCAL. CE LOGICIEL TRADUIT LA SPECIFICATION EN TABLES ET EST CONCU DE FACON A PERMETTRE LE TELECHARGEMENT D'AUTOMATES PROGRAMMABLES SPECIALISES AUTOMATISME LOGIQUE RESEAU PETRI SPECIFICATION SYSTEME COMPLEXE SYSTEME INTERCONNECTE AUTOMATE PROGRAMMABLE PASCAL LOGICIEL LANGAGE EVOLUE
2	Prédiction des conflits dans des systèmes homme-machine Pizziol, S. 29 November 2013 (has links) (PDF) Prédiction des conflits dans le systèmes homme-machine. Le travail fait partie de la recherche consacrée à des problèmes d'interaction homme-machine et aux conflits entre l'homme et la machine qui pourrait découler de ces situations. SYSTEME HOMME MACHINE CONFLIT SITUATION RESEAU PETRI THEORIE
3	Validation et mise en oeuvre de la synchronisation dans un système multiprocesseur à mémoire dupliquée Latapie, Guy 14 November 1980 (has links) (PDF) ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES SYNCHRONISATION MODELISATION MULTIPROGRAMMATION SEMAPHORE MONITEUR RESEAU PETRI MULTIPROCESSEUR SYSTEME INFORMATIQUE MULTITRAITEMENT ALGORITHME SECURITE SYSTEME TOLERANT LES PANNES MATRICE INCIDENCE MULTIPROGRAMMING MULTIPROCESSING ALGORITHM SAFETY
4	Analyse et simulation en langage APL de systèmes de commande décrits par des réseaux de Petri Renalier, Jean 17 June 1977 (has links) (PDF) Indisponible LANGAGE SIMULATION APL RESEAU PETRI SYSTEME COMMANDE ANALYSE SYSTEME SIMULATION SYSTEME INFORMATIQUE AUTOMATE SYNCHRONISATION CONCEPTION ASSISTEE TRAITEMENT PARALLELE PROGRAMME SIMULATION

1

Page generated in 0.022 seconds