Literatura científica selecionada sobre o tema "Émulateurs"

L’intrusion des nouvelles visions, des manières de voir le monde à Travers des canons du christianisme et autres avatars tels la mondialisation et le multiculturalisme en pays bamiléké ont notoirement altéré la réalité culturelle de ces derniers. Le deuil, les funérailles et bien d’autres rites locaux ont évolués prenant tantôt des allures de discrédit, tantôt de rayonnement, relatif pour la majorité aux grandes mutations sociales d’après les indépendances surtout d’un point de vu d’actualité. Ces nouvelles manières de faire on engendrer un important flux économiques autour des pratiques funèbres et funéraires bamiléké. La question centrale ici mise en exergue est celle de savoir: comment les pratiques funèbres et funéraires constituent-elles de nouvelles opportunités économiques chez les Bamiléké de l’Ouest Cameroun? Dès lors, La méthodologie de cette analyse est sou tendu par l’exploitation documentaire ayant permis de saisir la littérature sur la question. Les enquêtes ethnologiques et anthropologiques de terrain auprès de personnes ressources ont permis la collecte des données empiriques sur les sites même de ces pratiques qui se présente comme fleuron d’une économie en plein essor chez les Bamiléké.à terme, Il s’est avéré que les cérémonies funèbres et funéraires bamiléké sont aujourd’hui des émulateurs à n’en plus douter d’une économie sans cesse croissante. Outre, cette neo-economie mortuaire s’adosse sur des échanges commerciales de natures variées tel que les petits commerces, les trafics routiers, les prestations de services (logistiques) et autres tractations financières non moins ressente qui participent au renforcement de ce point de l’industrie mortuaire en pays bamiléké aujourd’hui plus qu’hier. D’ailleurs, il faut dire que cette économie, non sans empiéter la forme de ces cérémonies d’antan participe de leurs revitalisations dans ces territoires pour la majorité rurales

La porosité d'une plaque composite carbone / époxy de type RTM est connue par tomographie X. Une méthode de détermination de cette porosité par mesure de l'atténuation des ondes longitudinales à travers l'épaisseur de cette plaque est proposée. Ces mesures sont effectuées sur des surfaces de dimensions variables (quelques cm2 à quelques mm2) et permettent l’obtention de cartographies. Une correspondance porosité (tomo X) – atténuation (onde US) est déduite et analysée en fonction de la structure du matériau composite. Dans chaque cas, on estime la qualité des relations obtenues et on en déduit les limites de validité de la correspondance porosité-atténuation. Des premiers résultats de tomographie acoustiques sont obtenus
The porosity of a composite plate in carbon / epoxy of type RTM is known by used of tomography X. A method of determination of this porosity by measure of the mitigation of the longitudinal waves through the thickness of this kind of plate is proposed. These measures are made on surfaces of different sizes (from some cm2 to some mm2) and allow the obtaining of cartographies. A correspondence porosity (tomo X) - Mitigation (US wave) is deducted and analyzed according to the structure of the composite material. In every case, we estimate the quality of the obtained relations and we deduct the limits of validity of the correspondence between porosity and mitigation. First results of acoustic tomography are obtained

Un nombre important d'outils d'expérimentation permettent aujourd'hui l'étude de problématiques pour les réseaux fixes et mobiles multi sauts. En s'appuyant sur un état de l'art faisant état des différentes fonctionnalités et caractéristiques propres aux outils et méthodes d'expérimentation les plus couramment utilisés, cette thèse vise à évaluer des outils d'expérimentations innovants. Concernant l'étude des réseaux fixes, nous proposons VIRCONEL, un outil permettant la définition de topologies réseaux virtuelles ainsi que la réalisation de scénario dans des conditions réalistes. Pour l'étude des réseaux mobiles multi sauts, nous proposons tout d'abord SILUMOD, un langage qui permet de définir aisément à l'aide de mots clés et d'opérateurs spécifiques les caractéristiques du mouvement d'un nœud mobile. Nous proposons ensuite VIRMANEL, un outil permettant la gestion des connexions entre des nœuds mobiles multi sauts représentés par des machines virtuelles, à l'aide d'un algorithme optimisant la mise à jour des liens effectifs entre ces nœuds mobiles. En associant SILUMOD et VIRMANEL, nous obtenons ainsi un outil capable de simuler les déplacements d'un nœud mobile tout en évaluant et établissant les connections potentielles entre ces nœuds mobiles. Les évaluations de ces outils montrent que si la virtualisation est effectivement un outil pertinent et utile pour l’expérimentation des réseaux, elle a aussi ses limites et le réalisme des résultats dépend des conditions d’expérimentation. Nous discutons de cette problématique et proposons, à l’issue de cette thèse, quelques critères permettant d’évaluer le degré de confiance à accorder à un résultat
A significant number of experimental tools now allow the study of problems for fixed and mobile multi -hop networks. Based on a state of the art reporting different features and characteristics specific to different testing methods, this thesis aims to provide some assessment of these innovative experiments tools. Concerning the study of fixed networks , we propose and evaluate VIRCONEL , a tool for the definition of virtual network topologies as well as the realization of scenario under realistic conditions. For the study of mobile multi-hop networks , we first propose SILUMOD , a language that allows using specific keywords and operators to easily define characteristics of the movement of a mobile node. We then propose VIRMANEL , a tool for managing connections between mobile nodes represented by virtual machines, using an algorithm optimizing the update of effective links between mobile nodes. By combining SILUMOD and VIRMANEL , we obtain a tool to simulate the movement of a mobile node while evaluating and establishing potential connections between mobile nodes. Evaluations of these tools show that if virtualization is indeed a relevant and useful tool for network experiments , it also has its limitations and the realism of results depends on experimental conditions. We discuss this problem and propose at the end of this thesis , some criteria for assessing the degree of trust to give a result

Le noyau atomique, système quantique de nucléons en interaction, constitue un problème difficle à résoudre exactement. Pour contourner cette difficulté, des méthodes de résolution approchées on été introduites, comme la Projected Generator Coordinate Method (PGCM). La force de la PGCM est de construire un espace de faible dimension, motivé par des considérations physiques, dans lequel trouver un solution approchée est facile. Cependant, le coût numérique du calcul d'un espace PGCM rend cette méthode mal adaptée pour une étude statistique de sensibilité des observables nucléaires vis-à-vis des paramètres du modèle d'interaction, laquelle nécessite un grand nombre de calculs PGCM. Afin de rendre ce type d'études possibles, cette thèse explore la notion d'émulateur PGCM. Dans ce travail, une combinaison de PGCM avec la méthode Eigenvector Continuation (EC) est construite et étudiée. Cette combinaison (l'émulateur PGCM-EC) tire parti des ressemblances formelles entre PGCM et EC, et surtout de la possibilité de décomposer l'hamiltonien comme combinaison linéaire de termes indépendants des paramètres du modèle d'interaction. Cette dernière propriété permet de concentrer la plus grande partie du coût numérique sur le calcul de quantités indépendantes des paramètres de l'interaction (les kernels élémentaires), et ainsi rend possible l'émulation massive de calculs PGCM, au prix d'avoir en amont effectué le calcul très lourd des kernels élémentaires. Les limites de cet émulateur sont aussi étudiées, en introduisant notamment la notion de sur-entraînement, qui provient précisément du fait que la PGCM est une méthode non-exacte de résolution du problème à N-corps nucléaire. Cette thèse démontre au final qu'il est possible d'émuler des millions de calculs PGCM avec une erreur ne dépassant pas 3% sur la spectroscopie collective des noyaux, et avec un faible coût numérique représentant une fraction de 1% du coût des millions de calculs PGCM
An atomic nucleus is a quantum system of interacting nucleons and constitutes a problem difficult to solve exactly. For this reason, a diversity of approximate resolution methods has been designed, and Projected Generator Coordinate Method (PGCM) is one of them. The strong point of PGCM is to construct a physically inspired small dimensional space, in which an approximate solution of the nuclear many-body problem is easily found. However the numerical cost of PGCM space computation make this method inadapted for sensibility analysis of nuclear observables with restect to parametrisation of the interaction model, this analysis requiring an huge number of PGCM computations. In order to make this type of study possible, this thesis explore the concept of PGCM emulator. In this work, a combination of PGCM with Eigenvector Continuation (EC) is constructed and studied. This combination (the PGCM-EC emulator) takes advantage of mathematical similarities between PGCM and EC, and above all of the decomposition of the hamiltonian as a linear combination of parameter-independent terms. The latter property is used to concentrate the heavier numerical cost in the computation of parameter-independent quantities (the elementary kernels), and open the feasability of massive PGCM emulations, the price being having first-handedly computed the costly elementary kernels. Limits of the emulator are also explored, by introducing the concept of over-training, which is exactly a consequence of the aproximativeness of a PGCM computation. Eventually this thesis demonstrates the possibility to emulate millions of PGCM computations with an error on collective spectroscopy less than 3%, and with a low numerical cost fraction of 1% of the million PGCM calculations cost

Un nombre important d'outils d'expérimentation permettent aujourd'hui l'étude de problématiques pour les réseaux fixes et mobiles multi sauts. En s'appuyant sur un état de l'art faisant état des différentes fonctionnalités et caractéristiques propres aux outils et méthodes d'expérimentation les plus couramment utilisés, cette thèse vise à évaluer des outils d'expérimentations innovants. Concernant l'étude des réseaux fixes, nous proposons VIRCONEL, un outil permettant la définition de topologies réseaux virtuelles ainsi que la réalisation de scénario dans des conditions réalistes. Pour l'étude des réseaux mobiles multi sauts, nous proposons tout d'abord SILUMOD, un langage qui permet de définir aisément à l'aide de mots clés et d'opérateurs spécifiques les caractéristiques du mouvement d'un nœud mobile. Nous proposons ensuite VIRMANEL, un outil permettant la gestion des connexions entre des nœuds mobiles multi sauts représentés par des machines virtuelles, à l'aide d'un algorithme optimisant la mise à jour des liens effectifs entre ces nœuds mobiles. En associant SILUMOD et VIRMANEL, nous obtenons ainsi un outil capable de simuler les déplacements d'un nœud mobile tout en évaluant et établissant les connections potentielles entre ces nœuds mobiles. Les évaluations de ces outils montrent que si la virtualisation est effectivement un outil pertinent et utile pour l’expérimentation des réseaux, elle a aussi ses limites et le réalisme des résultats dépend des conditions d’expérimentation. Nous discutons de cette problématique et proposons, à l’issue de cette thèse, quelques critères permettant d’évaluer le degré de confiance à accorder à un résultat
A significant number of experimental tools now allow the study of problems for fixed and mobile multi -hop networks. Based on a state of the art reporting different features and characteristics specific to different testing methods, this thesis aims to provide some assessment of these innovative experiments tools. Concerning the study of fixed networks , we propose and evaluate VIRCONEL , a tool for the definition of virtual network topologies as well as the realization of scenario under realistic conditions. For the study of mobile multi-hop networks , we first propose SILUMOD , a language that allows using specific keywords and operators to easily define characteristics of the movement of a mobile node. We then propose VIRMANEL , a tool for managing connections between mobile nodes represented by virtual machines, using an algorithm optimizing the update of effective links between mobile nodes. By combining SILUMOD and VIRMANEL , we obtain a tool to simulate the movement of a mobile node while evaluating and establishing potential connections between mobile nodes. Evaluations of these tools show that if virtualization is indeed a relevant and useful tool for network experiments , it also has its limitations and the realism of results depends on experimental conditions. We discuss this problem and propose at the end of this thesis , some criteria for assessing the degree of trust to give a result

Le sujet de la thèse traite de la modélisation d’un système d’énergie avec piles à combustibles (PàC) de type PEMFC destiné à être intégré dans les véhicules électriques. Le but recherché par la réalisation de cet émulateur (objet matériel qui a le même comportement qu’un système réel) est de développer des lois de commande assurant un bon fonctionnement du système PàC. Après une étude bibliographique sur les différentes modélisations de cœur de Pile à Combustible (PàC), le choix d’un convertisseur de type Buck a été retenu et mis en œuvre pour l’émulateur. L’originalité de ce travail réside dans la prise en compte de toutes les auxiliaires du système PàC. Les auxiliaires ont été introduites sous forme Hardware In the Loop (HIL). Pour cela l’environnement DSPACE a été utilisé. Plusieurs lois de commande et de contrôle ont été étudiées et mises en œuvre. L’émulateur a été conçu avec une large bande passante. Le contrôle de la tension est réalisé avec la technique « State Variable Feedback », qui est capable de fixer correctement les pôles du système à boucle-fermé afin d’assurer la bande passante souhaité et le comportement à régime permanent. Le cas particulier de la gestion de l’air a été largement développé et a permis de valider le principe d’émulation retenu. En effet, différentes stratégies de commande (static feedforward, PI) ont été étudiées et comparées en utilisant une nouvelle stratégie de commande basée sur les réseaux neuronaux. Cette dernière repose sur le principe d’inversion de la relation entre la vitesse de rotation du compresseur et le coefficient de « oxygen excess ratio », dont la régulation est d’importance capitale pour éviter l’appauvrissement en oxygène de la membrane
This thesis deals with modelling of a PEM-Fuel Cell System (FCS) for power generation in an electrical vehicle. The goal of the research is the construction of an emulator of the PEM Fuel Cell stack, that of a device having the same behaviour as the real system, and the development of command strategies for the FCS. After a bibliographical study of the models of Fuel Cell stack, a buck converter structure has been chosen and then implemented to build the emulator. The novelty of this thesis is that all the auxiliary components of a FCS have been considered in a Hardware In the Loop (HIL) fashion by using a DSPACE development platform. Several command strategies have been implemented and assessed by using the emulator, which has been designed with a high bandwidth. The voltage control of the emulator has been accomplished by using the “State Variable Feedback”, which is a pole-placement technique for achieving the desired bandwidth and dynamical and steady-state performance. The particular case of control of the air-management system has been considered and used to asses the emulator. Actually several control strategies (static feedforward, PI) have been studied and their results compared also by using a novel neural network based command strategy. This neural network implements the inversion of the relationship between the compressor speed and the “oxygen excess ratio”, whose regulation is a key issue for preventing the oxygen starvation of the membrane

Afin d'accélérer ce processus de conception des systèmes embarqués, un environnement de simulation rapide et performant peut s'avérer indispensable. Pour la rendre performante, les modèles comportementaux des composants élémentaires du système doivent être capables de remplacer les éléments réels dans leurs influences et réponses à tous les phénomènes influents: perturbations, affaiblissements, retards... Nos travaux de thèse visent à contribuer à cette approche méthodologique : ils traitent le développement d'un émulateur des RCSFs. Pour ce faire deux types de simulateurs ont été étudiés: * le premier est un simulateur " software " basé sur la création de modèles comportementaux, décrits en langage VHDL-AMS. * le deuxième est un simulateur hardware basé sur la création des modèles logiques comportementaux, décrits en langage VHDL synthétisable. La simulation s'effectuera sur un composant FPGA cible. Des modifications peuvent être faites sur l'architecture de manière dynamique.

Afin d'accélérer ce processus de conception des systèmes embarqués, un environnement de simulation rapide et performant peut s’avérer indispensable. Pour la rendre performante, les modèles comportementaux des composants élémentaires du système doivent être capables de remplacer les éléments réels dans leurs influences et réponses à tous les phénomènes influents: perturbations, affaiblissements, retards...Nos travaux de thèse visent à contribuer à cette approche méthodologique : ils traitent le développement d’un émulateur des RCSFs. Pour ce faire deux types de simulateurs ont été étudiés:• le premier est un simulateur « software » basé sur la création de modèles comportementaux, décrits en langage VHDL-AMS.• le deuxième est un simulateur hardware basé sur la création des modèles logiques comportementaux, décrits en langage VHDL synthétisable. La simulation s’effectuera sur un composant FPGA cible. Des modifications peuvent être faites sur l’architecture de manière dynamique
To accelerate the design process of embedded systems, a fast and efficient simulation environment is needed. To make it efficient, the behavioral models of the elementary components of the system must be able to replace the real elements in their influences and responses to all the influential phenomena: disruptions, attenuation, delays...Our thesis work aims to contribute to this methodological approach: we treat the development of an emulator for WSNs. To do, two types of simulators have been studied:• The first is a software simulator based on the creation of behavioral models, described in VHDL-AMS.• The second is a hardware simulator based on the creation of behavioral logic models, described in synthesizable VHDL. The simulation will be done on an FPGA target. Changes may be made on the architecture dynamically

Les systèmes embarqués sont un élément clé de la vie moderne. Par conséquent, le code fonctionnant sur ces systèmes, appelé "firmware", doit être soigneusement évalué et testé. L'analyse dynamique est un moyen courant d'évaluer la sécurité des firmwares, en particulier en l'absence de code source. Malheureusement, comparée à l'analyse et aux tests sur les ordinateurs de bureau, l'analyse dynamique des firmwares reste à la traîne. Dans cette thèse, nous identifions les principaux défis empêchant l’analyse dynamique et les techniques de test d’exploiter pleinement leur potentiel sur les firmware. Nous avons développé avatar2, un framework d'orchestration multi-cibles capable d'exécuter des firmware dans un émulateur à la fois de manière partielle et totale. À l’aide de ce framework, nous adaptons plusieurs techniques d’analyse dynamique pour pouvoir fonctionner avec succès sur des firmwares binaires. Notamment nous utilisons ses possibilités de script pour reproduire facilement une étude précédente. Nous montrons qu’elle permet d’enregistrer et de rejouer l’exécution d’un système embarqués et de mettre en œuvre des méthodes heuristiques pour une meilleure détection des pannes. En outre, la structure sert de base à une évaluation expérimentale des tests fuzz sur des systèmes intégrés et est utilisée dans un moteur d’exécution concolique évolutif pour les firmwares. Enfin, nous présentons Groundhogger, une nouvelle approche de décompression du micrologiciel des périphériques intégrés qui, contrairement à d’autres outils de décompression, utilise l’analyse dynamique
Embedded systems are a key component of modern life and their security is of utmost importance. Hence, the code running on those systems, called "firmware", has to be carefully evaluated and tested to minimize the risks accompanying the ever-growing deployment of embedded systems. One common way to evaluate the security of firmware, especially in the absence of source code, is dynamic analysis. Unfortunately, compared to analysis and testing on desktop system, dynamic analysis for firmware is lacking behind. In this thesis, we identify the main challenges preventing dynamic analysis and testing techniques from reaching their full potential on firmware. Furthermore we point out that rehosting is a promising approach to tackle these problems and develop avatar2, a multi-target orchestration framework which is capable of running firmware in both fully, and partially emulated settings. Using this framework, we adapt several dynamic analysis techniques to successfully operate on binary firmware. In detail we use its scriptability to easily replicate a previous study, we demonstrate that it allows to record and replay the execution of an embedded system, and implement heuristics for better fault detection as run-time monitors. Additionally, the framework serves as building block for an experimental evaluation of fuzz testing on embedded systems, and is used as part in a scalable concolic execution engine for firmware. Last but not least, we present Groundhogger, a novel approach for unpacking embedded devices' firmware which, unlike other unpacking tools, uses dynamic analysis to create unpackers and evaluate it against three real world devices

Les objets connectés sont des systèmes embarqués communicants, généralement alimentés par des sources d’énergie limitées comme des batteries. Leur durée de vie devient alors une contrainte importante qu’il est nécessaire de prendre en compte dès les premières étapes de leur conception. Dans le contexte de ces travaux de thèse, cette durée de vie est définie comme étant le temps qui s’écoule depuis le démarrage du système jusqu’à l’épuisement de sa source d’alimentation. Nous nous intéressons ici à l’estimation de cette durée de vie lors des phases de conception amont. Une étude de l’état de l’art nous a montré que les solutions d’estimation proposées par la communauté scientifique ne sont pas assez précises. Aussi, afin de remédier à ce manque de précision, nous présentons une méthode permettant d’estimer cette durée de vie dans le cas d’application des réseaux de capteurs sans fils. Cette méthode prend en considération trois aspects fondamentaux, à savoir, l’application logicielle embarquée sur le nœud de capteur, sa plateforme matérielle et la batterie qui l’alimente. Cette méthode a été implémentée sous la forme d’un environnement (framework) pour le simulateur de réseaux à évènement discret OMNeT++. Nous avons évalué la précision et les performances de simulation de notre méthode. Par ailleurs, dans le cadre d’une collaboration scientifique avec le SICS (Suède) notre méthode a été appliquée à l’étude d’un réseau de capteurs composé de 25 nœuds exploitant la plateforme matérielle T-Mote Sky, le protocole de communication 6LowPan et le système d’exploitation ContikiOS. Lors de cette étude, nous avons étendu la durée de vie du réseau de quelque mois à plus d’une année. Enfin, nous avons confronté nos résultats de simulation à des mesures expérimentales. L’erreur moyenne absolue obtenue, tous modèles confondus, est comprise entre 6,17% et 11,56% de la durée de vie totale. En comparaison, les méthodes de l’état de l’art ont une erreur d’estimation supérieure à 35%. Soulignons que tous nos résultats de simulation ont été obtenus avec des modèles établis à partir des données disponibles dans les documentations techniques et qu’aucune calibration n’a été nécessaire
Connected devices are embedded electronic systems that are powered by batteries. Their lifetime is an important constraint to take into account at very early design stages. In the context of this work, the lifetime is defined as being the time elapsed from the device very first boot until its battery does not contain enough energy to supply it. Thus, in this work, we investigate lifetime estimation in early design stages. A deep state-of-the-art's study showed that existing solutions were not accurate enough to do such estimation. Therefore, we introduce an original method oriented toward lifetime estimation in order to address this limitation. Our method relies on three fundamental aspects that are the software running on the device, its hardware platform and the battery that supplies it. This method has been implemented as a framework for the OMNeT++ network simulator. We evaluate the simulation performances of our implementation as well as the precision of our method. Moreover, in the context of a scientific collaboration with the SICS (Sweden), this method has been applied to a case study that implies several TMote Sky nodes running ContikiOS with a RPL/6LowPan communication's stack. Actually, our method gave us access to useful insights. These latter were used to improve the lifetime from 4 months to more than a year. We also compare our method’s simulation results to real experiment's measures. The absolute mean error is going from 6.17% to 11.56% depending on the model. In comparison, the state-of-the-art methods/solutions lead to an error that is greater than 35% - which highlights their inaccuracies. We also need to mention that the models that we have designed in our method were built using only the technical specifications and do not require any calibration