Simulation d'une machine à papier et conception d'un logiciel temps réel d'aide à sa conduite PDF Download

Author: Patrick NORBERT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 122

View

Book Description

Author: Olivier Giraud
Publisher:
ISBN:
Category :
Languages : fr
Pages : 268

View

Book Description
LE PROJET FONDATEUR DE L'ACROE EST LE DEVELOPPEMENT ET LA PROMOTION D'OUTILS DE SIMULATION INFORMATIQUE D'OBJETS DU MONDE REEL PAR LA MODELISATION DES PHENOMENES PHYSIQUES QUI LE COMPOSENT ET LE REGISSENT. CE PROJET DONNE NAISSANCE A DES RECHERCHES SUR TROIS AXES : LA DEFINITION D'UN FORMALISME DE CONCEPTION MODULAIRE DES MODELES PHYSIQUES (CORDIS-ANIMA), LA CONCEPTION DE LOGICIELS IMPLEMENTANT CE FORMALISME ET LA RECHERCHE D'OUTILS D'INTERACTION HOMME-MACHINE A HAUTE PERFORMANCE. MON ETUDE PORTE SUR LA REALISATION D'UN LOGICIEL DE SIMULATION EN TEMPS REEL EXPLOITANT AU MAXIMUM L'ARCHITECTURE TELURIS COMPOSEE D'UN ORDINATEUR POWERCHALLENGE MULTIPROCESSEUR DE SILICON GRAPHICS AVEC SA CARTE VIDEO, D'UNE CARTE D'ENTREE-SORTIE SONORE SPECIFIQUE ET DU TRANSDUCTEUR GESTUEL RETROACTIF DE L'ACROE. LA PREMIERE PARTIE DU DOCUMENT PROPOSE UNE ETUDE DE LA MISE EN FORME ALGORITHMIQUE DU FORMALISME CORDIS-ANIMA DANS TOUS SES ASPECTS : CARACTERISATION DES MODULES ET PLACEMENT DE LEUR EXECUTION DANS DES ALGORITHMES SEQUENTIELS EN RESPECTANT LE FLUX DE DONNEES CIRCULANT ENTRE CES MODULES POUR DES SIMULATIONS MONO A MULTIFREQUENCE ET MONO A MULTIPROCESSEUR. LA DEUXIEME PARTIE PRESENTE L'ANALYSE DES PERFORMANCES DE CALCUL DES DISPOSITIFS D'INTERACTION ET DE LA MACHINE DE CALCUL. NOUS Y OBSERVONS EN PARTICULIER LE DEBIT DE COMMUNICATION ENTRE CES ELEMENTS AINSI QU'ENTRE LES PROCESSEURS ET LA MEMOIRE DE LA MACHINE DE CALCUL ET PAR EXTENSION ENTRE LES PROCESSEURS POUR UNE SIMULATION MULTIPROCESSEUR PAR MEMOIRE PARTAGEE. Y SONT AUSSI DEVELOPPES QUELQUES ELEMENTS DECRIVANT LE COMPORTEMENT DU COMPILATEUR DE LANGAGE C DU SYSTEME QUI NOUS ONT PERMIS D'ECRIRE DU CODE A HAUT RENDEMENT POUR LES PROCESSEURS MIPS R8000. ENFIN, DANS UNE TROISIEME PARTIE, JE DECRIS L'IMPLEMENTATION DU MOTEUR DE CALCUL FAITE EN FONCTION DES OBSERVATIONS DE PERFORMANCE EFFECTIVE ET DE LA COMPILATION DES DIVERSES EXPERIMENTATIONS DE MODELISATION ET DE SIMULATION CONSTITUANT LE PATRIMOINE DE L'ACROE.

Author: Jean-Baptiste Chaudron
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description
Ce travail de thèse s'inscrit dans le projet plus global PRISE (Plate-forme de Recherche pour l'Ingénierie des Systèmes Embarqués) dont l'objectif principal est le développement d'une plateforme d'exécution pour les logiciels embarqués. De tels logiciels sont dits critiques et ils sont, par conséquent, soumis à des règles de conception spécifiques. Notamment, ces logiciels doivent répondre à des contraintes de temps réel et ainsi garantir des comportements temporels prédictifs afin de toujours donner des résultats justes avec le respect d'échéances temporelles.L'objectif de cette thèse est d'évaluer l'utilisation des techniques de la simulation distribuée (et particulièrement de la norme HLA) pour répondre aux besoins de simulation hybride et temps réel de la plate-forme. Afin de respecter ces contraintes et garantir la prédictibilité temporelle d'une simulation distribuée, il faut avoir une vision complète de l'ensemble du problème et notamment des différents niveaux d'actions : applicatif, intergiciel, logiciel, matériel et aussi formel pour la validation du comportement temporel.Cette thèse se base sur la RTI (Run Time Infrastructure, intergiciel HLA) de l'ONERA : le CERTI et propose une démarche méthodologique adaptée à ces différents niveaux d'actions. Des cas d'étude, notamment un simulateur du vol d'un avion, ont été spécifiés, implémentés et expérimentés sur la plate-forme PRISE.

Author: Henri Schneider
Publisher:
ISBN:
Category :
Languages : fr
Pages : 166

View

Book Description
LA SURVEILLANCE ET LE DIAGNOSTIC DES ENTRAINEMENTS A VITESSE VARIABLE DE FORTE PUISSANCE CONSTITUENT ACTUELLEMENT DEUX PROBLEMES POUR LE CONCEPTEUR CONFRONTE A UNE COMPLEXITE CROISSANTE DES SYSTEMES. DANS CE DOMAINE, L'UTILISATION D'UN SIMULATEUR ANALOGIQUE COMME MODELE TEMPS REEL, PERMET D'ENVISAGER DES SOLUTIONS INTERESSANTES, INSPIREES DES THEORIES DE LA REDONDANCE ANALYTIQUE. L'ETUDE PRESENTEE ICI S'ATTACHE A LA RESOLUTION DES PROBLEMES SPECIFIQUES POSES PAR UNE SIMULATION TEMPS REEL DES ELEMENTS CONSTITUTIFS D'UN SYSTEME ELECTROTECHNIQUE (FILTRES, CONVERTISSEURS, MACHINES, CHARGES). LA RECHERCHE DE PERFORMANCES ACCRUES EN TERME DE RAPIDITE DE CALCUL, ENCOMBREMENT ET CONVIVIALITE DEBOUCHE NATURELLEMENT SUR L'ETUDE DE CIRCUITS INTEGRES SPECIFIQUES (ASIC). LES PREMIERS RESULTATS FONT APPARAITRE DES PERSPECTIVES DES PLUS MOTIVANTES. LE SIMULATEUR MIS AU POINT AU COURS DE CES RECHERCHES SE PRESENTE SOUS FORME D'UNE MAQUETTE POUVANT ETRE ASSOCIEE A UN CALCULATEUR NUMERIQUE ET OFFRANT AINSI UNE GRANDE SOUPLESSE D'UTILISATION. LES PROPRIETES DE CE SIMULATEUR AINSI QUE LES PERFORMANCES OBTENUES PRESENTENT DE NOUVELLES SOLUTIONS AUX PROBLEMES D'ESTIMATION DES PARAMETRES CACHES, A LA MESURE DE VARIABLES INACCESSIBLES OU ENCORE A LA GESTION DES MARCHES DEGRADEES D'UN SYSTEME

Author: Tesnim Abdellatif
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description
Les systèmes temps-réels sont des systèmes qui sont soumis à "des contraintes de temps", comme par exemple le délais de réponse d'un système à un événement physique. Souvent les temps de réponse sont de l'ordre du milliseconde et parfois même du microseconde. Construire des systèmes temps-réels nécessite l'utilisation de méthodologies de conception et de mise en œuvre qui garantissent la propriété de respect des contraintes de temps, par exemple un système doit réagir dans les limites définies par l'utilisateur tels que les délais et la périodicité. Un délai non respecté dans systèmes temps-réel critique est catastrophique, comme par exemple dans les systèmes automobiles. Si un airbag se déclanche tard dans un accident de voiture, même quelques millisecondes trop tard peuvent conduire à des répercussions graves. Dans les systèmes temps-réels non critiques, une perte significative de performance et de QoS peuvent se produire, comme par exemple dans les réseaux de systèmes multimédia. Contribution: Nous fournissons une méthode de conception rigoureuse des systèmes temps-réel. L'implèmentation est générée à partir d'une application logicielle temps-réel et une plate-forme cible, en utilisant les deux modèles suivants: * Un modèle abstrait représentant le comportement de l'application logicielle en temps réel sous forme d' un automate temporisé. Celui-ci décrit des contraintes temporelles définies par l'utilisateur qui sont indépendantes de la plateforme. Ses transitions sont intemporelles et correspondent à l'exécution des différentes instructions de l'application. * Un modèle physique représentant le comportement du logiciel en temps réel s'exécutant sur une plate-forme donnée. Il est obtenu par l'attribution des temps d'exécution aux transitions du modèle abstrait. Une condition nécessaire pour garantir l'implémentabilité dy système est la "time-safety", c'est à dire, toute séquence d'exécution du modèle physique est également une séquence d'exécution du modèle abstrait. "Time-safety" signifie que la plate-forme est assez rapide pour répondre aux exigences de synchronisation de l'application. Comme les temps d'exécution des actions ne sont pas connus avec exactitude, "time-safety" est vérifiée pour les temps d'exécution pire cas es actions en faisant l' hypothèse de la robustesse. La robustesse signifie que la "time-safety" est préservée lorsqu'on augmente la vitesse de la plate-forme d'exécution. Pour des logiciels et plate-forme d'exécution correspondant à un modèle robuste, nous définissons un moteur d'exécution qui coordonne l'exécution du logiciel d'application afin de répondre à ses contraintes temporelles. En outre, en cas de non-robustesse, le moteur d'exécution permet de détecter les violations de contraintes temporelles en arrêtant l'exécution. Nous avons mis en place le moteur d'exécution pour les programmes BIP. Nous avons validé la méthode pour la conception et la mise en œuvre du robot Dala. Nous montrons les avantages obtenus en termes d'utilisation du processeur et l'amélioration de la latence de la réaction.

Author: Mostafa Mahmoud Sami (auteur d'une thèse de sciences.)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 165

View

Book Description
Spécification et mise en oeuvre des automatismes logiques: caractéristiques d'un automate programmable, réseau de Petri interprète, conception et mise en oeuvre d'une simulation. La simulation en temps réel d'un système de commande logique: la simulation autour des transitions, la simulation autour des places, la simulation mixte, évaluation des performances et comparaison, les expressions logiques, la simulation de la partie opérative. La réalisation: description du materiel, logiciel, problème du test

Author: Jean-Louis Boulanger
Publisher: John Wiley & Sons
ISBN: 1119122481
Category : Technology & Engineering
Languages : en
Pages : 376

View

Book Description
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.

Author: Sven Boermeester
Publisher:
ISBN: 9781949677072
Category :
Languages : en
Pages :

View

Book Description
Innovate Bristol highlights and celebrates those companies and individuals that are actively working at building a better tomorrow for all. Innovation Ecosystems thrive through the involvement and support of companies and individuals from all industries, which is why the Innovate series not only focuses on the innovators but also those people whom the Innovation Ecosystem, would not be able to thrive without.

Author: World Bank
Publisher: World Bank Publications
ISBN: 1464814414
Category : Business & Economics
Languages : en
Pages : 241

View

Book Description
Seventeen in a series of annual reports comparing business regulation in 190 economies, Doing Business 2020 measures aspects of regulation affecting 10 areas of everyday business activity.

Author: Mohamed Haddar
Publisher: Springer Science & Business Media
ISBN: 3642371434
Category : Technology & Engineering
Languages : en
Pages : 653

View

Book Description
The 5th International Congress on Design and Modeling of Mechanical Systems (CMSM) was held in Djerba, Tunisia on March 25-27, 2013 and followed four previous successful editions, which brought together international experts in the fields of design and modeling of mechanical systems, thus contributing to the exchange of information and skills and leading to a considerable progress in research among the participating teams. The fifth edition of the congress (CMSM ́2013), organized by the Unit of Mechanics, Modeling and Manufacturing (U2MP) of the National School of Engineers of Sfax, Tunisia, the Mechanical Engineering Laboratory (MBL) of the National School of Engineers of Monastir, Tunisia and the Mechanics Laboratory of Sousse (LMS) of the National School of Engineers of Sousse, Tunisia, saw a significant increase of the international participation. This edition brought together nearly 300 attendees who exposed their work on the following topics: mechatronics and robotics, dynamics of mechanical systems, fluid structure interaction and vibroacoustics, modeling and analysis of materials and structures, design and manufacturing of mechanical systems. This book is the proceedings of CMSM ́2013 and contains a careful selection of high quality contributions, which were exposed during various sessions of the congress. The original articles presented here provide an overview of recent research advancements accomplished in the field mechanical engineering.