Author: Yves Maguer
Publisher:
ISBN:
Category :
Languages : fr
Pages : 458
Book Description
Étude d'un générateur de systèmes experts de diagnostic d'équipements embarqués et de planification des tests exécutés par un système automatique
Author: Yves Maguer
Publisher:
ISBN:
Category :
Languages : fr
Pages : 458
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 458
Book Description
Etude d'un générateur de systèmes experts
Author: Gilles BRIDON
Publisher:
ISBN:
Category :
Languages : fr
Pages : 232
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 232
Book Description
Diagnostic automatique des défaillances d'un processus industriel complexe
Author: Guy Hard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 286
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 286
Book Description
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués
Author: Jonathan Lasalle
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Book Description
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement. La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Book Description
Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement. La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée.
Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts [Integrating tools for constraints expression and satisfaction in an expert system shell].
Author: Institut National de Recherche en Informatique et en Automatique
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 43
Book Description
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 43
Book Description
In-Vessel Melt Retention and Ex-Vessel Corium Cooling: IAEA Tecdoc No. 1906
Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
ISBN: 9789201063205
Category : Technology & Engineering
Languages : en
Pages : 72
Book Description
This publication results from a technical meeting on phenomenology and technologies relevant to in-vessel melt retention (IVMR) and ex-vessel corium cooling (EVCC). The purpose of the publication is to capture the state of knowledge, at the time of that meeting, related to phenomenology and technologies as well as the challenges and pending issues relevant to IVMR and EVCC for water cooled reactors by summarizing the information provided by the meeting participants in a form useful to practitioners in Member States.
Publisher: International Atomic Energy Agency
ISBN: 9789201063205
Category : Technology & Engineering
Languages : en
Pages : 72
Book Description
This publication results from a technical meeting on phenomenology and technologies relevant to in-vessel melt retention (IVMR) and ex-vessel corium cooling (EVCC). The purpose of the publication is to capture the state of knowledge, at the time of that meeting, related to phenomenology and technologies as well as the challenges and pending issues relevant to IVMR and EVCC for water cooled reactors by summarizing the information provided by the meeting participants in a form useful to practitioners in Member States.
CIKM'13
Author: CIKM 13 Conference Committee
Publisher:
ISBN: 9781450326964
Category : Computers
Languages : en
Pages : 938
Book Description
CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Publisher:
ISBN: 9781450326964
Category : Computers
Languages : en
Pages : 938
Book Description
CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Advances in Rotorcraft Technology
Author: North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development. Flight Vehicle Integration Panel. Symposium
Publisher:
ISBN:
Category : Helicopters
Languages : en
Pages : 402
Book Description
Publisher:
ISBN:
Category : Helicopters
Languages : en
Pages : 402
Book Description
Signal Processing for Communications
Author: Paolo Prandoni
Publisher: Collection Savoir suisse
ISBN: 2940222207
Category : Signal processing
Languages : en
Pages : 392
Book Description
With a novel, less classical approach to the subject, the authors have written a book with the conviction that signal processing should be taught to be fun. The treatment is therefore less focused on the mathematics and more on the conceptual aspects, the idea being to allow the readers to think about the subject at a higher conceptual level, thus building the foundations for more advanced topics. The book remains an engineering text, with the goal of helping students solve real-world problems. In this vein, the last chapter pulls together the individual topics as discussed throughout the book into an in-depth look at the development of an end-to-end communication system, namely, a modem for communicating digital information over an analog channel.
Publisher: Collection Savoir suisse
ISBN: 2940222207
Category : Signal processing
Languages : en
Pages : 392
Book Description
With a novel, less classical approach to the subject, the authors have written a book with the conviction that signal processing should be taught to be fun. The treatment is therefore less focused on the mathematics and more on the conceptual aspects, the idea being to allow the readers to think about the subject at a higher conceptual level, thus building the foundations for more advanced topics. The book remains an engineering text, with the goal of helping students solve real-world problems. In this vein, the last chapter pulls together the individual topics as discussed throughout the book into an in-depth look at the development of an end-to-end communication system, namely, a modem for communicating digital information over an analog channel.
The Physics of Information Technology
Author: Neil Gershenfeld
Publisher: Cambridge University Press
ISBN: 9780521580441
Category : Computers
Languages : en
Pages : 390
Book Description
The Physics of Information Technology explores the familiar devices that we use to collect, transform, transmit, and interact with electronic information. Many such devices operate surprisingly close to very many fundamental physical limits. Understanding how such devices work, and how they can (and cannot) be improved, requires deep insight into the character of physical law as well as engineering practice. The book starts with an introduction to units, forces, and the probabilistic foundations of noise and signalling, then progresses through the electromagnetics of wired and wireless communications, and the quantum mechanics of electronic, optical, and magnetic materials, to discussions of mechanisms for computation, storage, sensing, and display. This self-contained volume will help both physical scientists and computer scientists see beyond the conventional division between hardware and software to understand the implications of physical theory for information manipulation.
Publisher: Cambridge University Press
ISBN: 9780521580441
Category : Computers
Languages : en
Pages : 390
Book Description
The Physics of Information Technology explores the familiar devices that we use to collect, transform, transmit, and interact with electronic information. Many such devices operate surprisingly close to very many fundamental physical limits. Understanding how such devices work, and how they can (and cannot) be improved, requires deep insight into the character of physical law as well as engineering practice. The book starts with an introduction to units, forces, and the probabilistic foundations of noise and signalling, then progresses through the electromagnetics of wired and wireless communications, and the quantum mechanics of electronic, optical, and magnetic materials, to discussions of mechanisms for computation, storage, sensing, and display. This self-contained volume will help both physical scientists and computer scientists see beyond the conventional division between hardware and software to understand the implications of physical theory for information manipulation.