Spelling suggestions: "subject:"embarqués ?""
101 |
Modèles acoustiques à structure temporelle renforcée pour la vérification du locuteur embarquée / Reinforced temporal structure of acoustic models for speaker recognitionLarcher, Anthony 24 September 2009 (has links)
La vérification automatique du locuteur est une tâche de classification qui vise à confirmer ou infirmer l’identité d’un individu d’après une étude des caractéristiques spécifiques de sa voix. L’intégration de systèmes de vérification du locuteur sur des appareils embarqués impose de respecter deux types de contraintes, liées à cet environnement : – les contraintes matérielles, qui limitent fortement les ressources disponibles en termes de mémoire de stockage et de puissance de calcul disponibles ; – les contraintes ergonomiques, qui limitent la durée et le nombre des sessions d’entraînement ainsi que la durée des sessions de test. En reconnaissance du locuteur, la structure temporelle du signal de parole n’est pas exploitée par les approches état-de-l’art. Nous proposons d’utiliser cette information, à travers l’utilisation de mots de passe personnels, afin de compenser le manque de données d’apprentissage et de test. Une première étude nous a permis d’évaluer l’influence de la dépendance au texte sur l’approche état-de-l’art GMM/UBM (Gaussian Mixture Model/ Universal Background Model). Nous avons montré qu’une contrainte lexicale imposée à cette approche, généralement utilisée pour la reconnaissance du locuteur indépendante du texte, permet de réduire de près de 30% (en relatif) le taux d’erreurs obtenu dans le cas où les imposteurs ne connaissent pas le mot de passe des clients. Dans ce document, nous présentons une architecture acoustique spécifique qui permet d’exploiter à moindre coût la structure temporelle des mots de passe choisis par les clients. Cette architecture hiérarchique à trois niveaux permet une spécialisation progressive des modèles acoustiques. Un modèle générique représente l’ensemble de l’espace acoustique. Chaque locuteur est représenté par une mixture de Gaussiennes qui dérive du modèle du monde générique du premier niveau. Le troisième niveau de notre architecture est formé de modèles de Markov semi-continus (SCHMM), qui permettent de modéliser la structure temporelle des mots de passe tout en intégrant l’information spécifique au locuteur, modélisée par le modèle GMM du deuxième niveau. Chaque état du modèle SCHMM d’un mot de passe est estimé, relativement au modèle indépendant du texte de ce locuteur, par adaptation des paramètres de poids des distributions Gaussiennes de ce GMM. Cette prise en compte de la structure temporelle des mots de passe permet de réduire de 60% le taux d’égales erreurs obtenu lorsque les imposteurs prononcent un énoncé différent du mot de passe des clients. Pour renforcer la modélisation de la structure temporelle des mots de passe, nous proposons d’intégrer une information issue d’un processus externe au sein de notre architecture acoustique hiérarchique. Des points de synchronisation forts, extraits du signal de parole, sont utilisés pour contraindre l’apprentissage des modèles de mots de passe durant la phase d’enrôlement. Les points de synchronisation obtenus lors de la phase de test, selon le même procédé, permettent de contraindre le décodage Viterbi utilisé, afin de faire correspondre la structure de la séquence avec celle du modèle testé. Cette approche a été évaluée sur la base de données audio-vidéo MyIdea grâce à une information issue d’un alignement phonétique. Nous avons montré que l’ajout d’une contrainte de synchronisation au sein de notre approche acoustique permet de dégrader les scores imposteurs et ainsi de diminuer le taux d’égales erreurs de 20% (en relatif) dans le cas où les imposteurs ignorent le mot de passe des clients tout en assurant des performances équivalentes à celles des approches état-de-l’art dans le cas où les imposteurs connaissent les mots de passe. L’usage de la modalité vidéo nous apparaît difficilement conciliable avec la limitation des ressources imposée par le contexte embarqué. Nous avons proposé un traitement simple du flux vidéo, respectant ces contraintes, qui n’a cependant pas permis d’extraire une information pertinente. L’usage d’une modalité supplémentaire permettrait néanmoins d’utiliser les différentes informations structurelles pour déjouer d’éventuelles impostures par play-back. Ce travail ouvre ainsi de nombreuses perspectives, relatives à l’utilisation d’information structurelle dans le cadre de la vérification du locuteur et aux approches de reconnaissance du locuteur assistée par la modalité vidéo / SPEAKER verification aims to validate or invalidate identity of a person by using his/her speech characteristics. Integration of an automatic speaker verification engine on embedded devices has to respect two types of constraint, namely : – limited material resources such as memory and computational power ; – limited speech, both training and test sequences. Current state-of-the-art systems do not take advantage of the temporal structure of speech. We propose to use this information through a user-customised framework, in order to compensate for the short duration speech signals that are common in the given scenario. A preliminary study allows us to evaluate the influence of text-dependency on the state-of-the-art GMM/UBM (Gaussian Mixture Model / Universal Background Model) approach. By constraining this approach, usually dedicated to text-independent speaker recognition, we show that a lexical constraint allows a relative reduction of 30% in error rate when impostors do not know the client password. We introduce a specific acoustic architecture which takes advantage of the temporal structure of speech through a low cost user-customised password framework. This three stage hierarchical architecture allows a layered specialization of the acoustic models. The upper layer, which is a classical UBM, aims to model the general acoustic space. The middle layer contains the text-independent specific characteristics of each speaker. These text-independent speaker models are obtained by a classical GMM/UBM adaptation. The previous text-independent speaker model is used to obtain a left-right Semi-Continuous Hidden Markov Model (SCHMM) with the goal of harnessing the Temporal Structure Information (TSI) of the utterance chosen by the given speaker. This TSI is shown to reduce the error rate by 60% when impostors do not know the client password. In order to reinforce the temporal structure of speech, we propose a new approach for speaker verification. The speech modality is reinforced by additional temporal information. Synchronisation points extracted from an additional process are used to constrain the acoustic decoding. Such an additional modality could be used in order to add different structural information and to thwart impostor attacks such as playback. Thanks to the specific aspects of our system, this aided-decoding shows an acceptable level of complexity. In order to reinforce the relaxed synchronisation between states and frames due to the SCHMM structure of the TSI modelling, we propose to embed an external information during the audio decoding by adding further time-constraints. This information is here labelled external to reflect that it is aimed to come from an independent process. Experiments were performed on the BIOMET part of the MyIdea database by using an external information gathered from an automatic phonetical alignment. We show that adding a synchronisation constraint to our acoustic approach allows to reduce impostor scores and to decrease the error rate from 20% when impostor do not know the client password. In others conditions, when impostors know the passwords, the performance remains similar to the original baseline. The extraction of the synchronisation constraint from a video stream seems difficult to accommodate with embedded limited resources. We proposed a first exploration of the use of a video stream in order to constrain the acoustic process. This simple video processing did not allow us to extract any pertinent information
|
102 |
Développement d'un capteur de suies pour application automobile - Etude des paramètres clés affectant sa réponse / Development of a soot sensor for automotive applications - Study of key parameters affecting his responseGrondin, Didier 19 April 2017 (has links)
Le transport routier est responsable d’une part des émissions de particules fines, notamment dans les grandes agglomérations. Celles-ci ayant des répercussions graves sur la santé humaine et l’environnement, des normes d’émissions des véhicules de plus en plus strictes sont mises en place. Des limites en nombre de particules sont imposées et une obligation de connaitre l’état de santé des organes de post-traitement des gaz d’échappement est également entrée en vigueur (On-Board Diagnostic : OBD).Les capteurs résistifs ont montré de bons résultats pour la mesure de la concentration massique des particules et ont l’avantage d’être simples à mettre en oeuvre, robustes et peu onéreux. Le principe de fonctionnement du capteur est basé sur la mesure de la conductance entre des électrodes de platine. Celle-ci augmente avec le dépôt de suies.L’objectif de ce travail de thèse est de parvenir à déterminer les paramètres clés qui affectent la réponse du capteur. Trois flux de suies présentant des distributions en taille différentes ont été sélectionnés et caractérisés. Un quatrième flux de suies a permis d’appréhender l’impact d’une concentration massique inférieure. La réponse du capteur à ces différents flux de suies a été étudiée. Nous avons montré que la sensibilité et le temps de réponse du capteur sont optimaux pour une tension de polarisation donnée entre les deux électrodes dont la valeur dépend de la distribution en taille des suies. Ce phénomène a été expliqué par les propriétés électriques différentes des suies et modélisé par un équilibre entre accumulation et combustion par effet Joule des suies déposées permettant de simuler la réponse temporelle du capteur. / Road transport contributes to a part of the particulate matter emissions, especially in big cities. Due to the negative effect of these pollutants on the human health and environment, more and more stringent emission standards for automotive are applied. These emissions are now limited in number of particles per kilometer and the vehicle need to indicate when there is some failure of the systems of depollution (OBD: On-Board diagnostic).Resistive sensors have shown good results to measure soot particles mass concentration. They have advantage of being a simple and robust technology that can be easily manufactured at a cheap price. The sensor principle consists of conductance measurement between two platinum electrodes. Conductance increases with soot deposition. This work aims to define the key parameters that affect the sensors response. Three particles flow with different particles size distributions (centered at 90, 70 and 50 nm) were used and characterized. A fourth flow was used to see the impact of a lower mass concentration. The sensor response exposed to these different flows was studied. It was shown that the sensor sensibility and response times are optimal for a given polarization voltage between the electrodes whose value depends on the size distribution. This phenomenon was explained by the different electrical properties of the soot particles and modeled by equilibrium of soot accumulation and their combustion by Joule heating that permitting to simulate the sensor temporal response.
|
103 |
Compilation optimisée des modèles UML / An Optimized UML CompilerCharfi Smaoui, Asma 12 December 2011 (has links)
Cette thèse s'inscrit dans le cadre de la mise en œuvre de l’ingénierie dirigée par les modèles (IDM) pour le développement des systèmes embarquées. Ces systèmes ayant généralement des ressources limitées (mémoire et/ou calculs), exigent que le code généré soit le plus optimisé possible. L’objectif de cette thèse est de produire à partir d’un modèle spécifié dans le langage UML, un code assembleur plus compact que le code assembleur produit par les compilateurs de code. Malgré l’évolution croissante des compilateurs optimisés, les compilateurs les plus répandus comme le GCC (Gnu Compiler Collection) sont incapables d’effectuer certains types d’optimisations qu'il est possible d'effectuer à un plus haut niveau d'abstraction dans une phase de pré-génération de code. En effet, certaines informations (liées à la sémantique d’exécution du langage UML) sont perdues lors de la génération de code. Ces informations, utiles pour les optimisations de haut niveau, sont invisibles par le compilateur de code vue qu’il prend toutes les informations liées au système modélisé à partir du code généré. Nous proposons ainsi une nouvelle approche dirigée par les modèles pour le développement des systèmes à ressources limitées, qui élimine l’étape de la génération de code en remplaçant cette étape par une compilation directe des modèles. Nous avons développé le premier compilateur de modèles UML (GUML : le front-end UML pour le compilateur GCC) qui génère directement de l’assembleur (sans passer par un langage de programmation) à partir des modèles UML. GUML permet de compiler les classes, les activités et les machines à états UML. Il permet de générer, en compilant certaines machines à états, un code assembleur plus compact que le code assembleur produit par GCC. Deux optimisations de GCC sont améliorées : l’élimination de code mort et l’élimination des expressions redondantes. / Model-Based Development (MBD) provides an additional level of abstraction, the model, which allows dealing with the increasing complexity of systems. Models let engineers focus on the business aspect of the developed system and permits automatic treatments of these models with dedicated tools like for instance synthesis of system's application by automatic code generation. Embedded Systems are often constrained by their environment and/or the resources they own in terms of memory, energy consumption or performance requirements. Hence, an important problem to deal with in embedded system development is linked to the optimization of software part of those systems according to the resources provided by their platform. Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, this thesis shows that optimization results may be enhanced by adding a new level of optimizations at the model level before the code generation step. Actually, during the code generation, an important part of the modeling language semantics which could be useful for optimization is lost, thus, making impossible some optimizations achievement. We propose in this thesis a novel MBD approach that compiles directly UML models. The biggest challenge for this approach –tackled in this thesis- is to propose a model compiler that is as efficient as code compiler. Our model compiler (GUML: the UML front end for GCC) performs optimizations that GCC is unable to perform resulting in a more compact assembly code. Two GCC optimizations are enhanced: the dead code elimination optimization and the block merging.
|
104 |
Etude de la phase de transition d'un drone tiré par tube dédié : modélisation et commande / Study of the transition phase of a MAV launched by a dedicated tube : modeling and controlChauffaut, Corentin 07 October 2014 (has links)
La motivation qui a initié le projet de recherche ANR « Démonstrateur Gun Launched Micro Air Vehicle » est le besoin d’avoir un engin portatif qui permettrait d’obtenir rapidement des images d’une zone d’intérêt située à quelques centaines de mètres, avec la possibilité de pouvoir observer l’intérieur des bâtiments à travers leurs fenêtres ou en allant les explorer directement. Pour répondre à ce besoin, l’Institut franco-allemand de recherche de St Louis a eu l’idée de lancer un minidrone hélicoptère avec un canon. Le GLMAV, sous la forme d’un projectile, est lancé à partir d‘un tube portable à une distance de 500 m et une altitude de 100 m, où il pourra commencer à transmettre des images de la zone à observer. L’utilisation d’un système hybride projectile/minidrone a deux principaux avantages : cela permet d’augmenter l’autonomie du drone, et les premières images de la zone d’intérêt sont obtenues très rapidement. Au cours de cette thèse, nous nous sommes intéressés à la phase de transition, passer d’un projectile à un mini hélicoptère. Un modèle aérodynamique détaillé du GLMAV a été obtenu sur toute son enveloppe de vol. En prenant en compte les difficultés rencontrées lors de la phase de transition (perturbations des capteurs dues à l’accélération de 2500g au lancement, conditions initiales variables), nous avons développé une stratégie de commande, et une loi de commande en vitesse basée sur la technique du backstepping. Cette stratégie de commande a été validée en simulation. La loi de commande en orientation a été validée sur le prototype du GLMAV. Des travaux sur le flux optique, pour obtenir les vitesses latérales, ont été commencés. / The motivation that initiated the ANR research project "Démonstrateur Gun Launched Micro Air Vehicle" is the need to have a portable system which would permi tto quickly obtain images of an zone of interest placed at some hundred of meters, with the possibility to observe inside buildings either by their windows or by going inside them.To answer this need, the French-German Research Institute of St Louis got the idea o fusing a gun launched rotorcraft-MAV. The GLMAV, in its projectile form, is launched from a portable launching tube to a distance of 500m and a height of 100m, where it will collect and transmit visual information from the scene. The use of a projectile/rotorcraft-MAV hybrid system has two main advantages : it allows extending the MAV range,and the first images of the interest zone are obtained very quickly. During this PhD, we studied the transition phase, the passage from a projectile to a rotorcraft-MAV. A detailed aerodynamic model of the GLMAV has been obtained over his whole flight envelope. Taking into account the difficulties encountered during the transition phase (perturbation of the sensors caused by the 2500g acceleration at the launch, varying initial conditions),we developed a control strategy, and a velocity control law based on the backstepping methodology. This control strategy has been validated in simulation. The attitude control law has been validated on the GLMAV prototype. Studies on optical flow, to obtain the lateral velocities of the GLMAV, have been started.
|
105 |
Stabilité et dynamique non linéaire de rotors embarqués / Stability and nonlinear dynamics of on-board rotorsDakel, Zaki 12 September 2014 (has links)
Les rotors sont excités non seulement par le balourd tournant mais aussi par les différents mouvements de leur support : turbocompresseurs de véhicules, turbomoteurs aéronautiques, pompes à vide portées en sont des exemples industriels. Ainsi la conception de rotors robustes capables de bien fonctionner sous de telles conditions (excitations extrêmes) est nécessaire pour éviter des instabilités, source de défaillance catastrophique. Le présent travail a pour objectif de prévoir le comportement dynamique d’un rotor embarqué monté sur des paliers rigides ou élastiques hydrodynamiques et soumis à des excitations du support rigide. Les énergies cinétiques et de déformation ainsi que le travail virtuel des composants d’un rotor flexible tournant sont calculés. Le modèle proposé de rotor embarqué est basé sur les éléments finis de poutre de TIMOSHENKO. Il contient les effets relatifs à l’inertie de rotation des sections droites, à l’inertie gyroscopique, à la déformation de cisaillement d’arbre et à la dissymétrie géométrique de l’arbre et/ou du disque rigide et considère six types de mouvements déterministes (rotations et translations) du support. Suivant le type d’analyse utilisé pour le palier, les forces de rappel hydrodynamiques agissant sur l’arbre et calculées avec l’équation de REYNOLDS sont linéaires/non linéaires. L’utilisation des équations de LAGRANGE fournit les équations différentielles linéaires/non linéaires du mouvement du rotor embarqué en flexion par rapport au support mobile supposé rigide, qui représente un système de coordonnées non inertiel. Les équations du mouvement contiennent des termes paramétriques périodiques en raison de la dissymétrie géométrique du rotor et des termes paramétrique variables dans le temps en raison des rotations du support. Ces termes paramétriques sont considérés comme des sources d’excitation intérieure et conduisent à une instabilité dynamique latérale. Dans les applications numériques proposées, trois configurations de rotor embarqué sont analysées. Tout d’abord, un rotor symétrique monté sur des paliers rigides est soumis à un balourd combiné avec des mouvements de rotation constante et de translation sinusoïdale du support. Ensuite, un rotor avec une dissymétrie géométrique du disque monté sur des paliers rigides est excité par l’effet de balourd et par des mouvements combinés de rotation constante et de translation sinusoïdale du support. Enfin, un rotor symétrique monté sur des paliers hydrodynamiques est soumis au balourd et aux excitations sinusoïdales de rotation ou de translation du support. / Rotors are excited not only by the rotating mass unbalance but also by the different motions of their support: vehicle turbochargers, aircraft turbo-engines, carried vacuum pumps, are different industrial applications. Thus the design of robust rotors able to run well under such conditions (extreme excitations) and to avoid catastrophic failure is required. The present work aims to predict the dynamic behavior of an on-board rotor mounted on rigid or elastic hydrodynamic journal bearings and subjected to rigid support excitations. The kinetic and strain energies as well as the virtual work of the rotating flexible rotor components are computed. The proposed on-board rotor model is based on TIMOSHENKO beam finite elements. It includes the effects relative to the rotating inertia, the gyroscopic inertia, the shear deformation of shaft as well as the geometric asymmetry of shaft and/or rigid disk and considers six types of deterministic motions (rotations and translations) of the support. Depending on the type of analysis used for the bearing, the restoring fluid film forces acting on the shaft and computed with the REYNOLDS equation are linear/non-linear. The use of LAGRANGE’s equations yields the linear/non-linear differential equations of vibratory motion of the on-board rotor in bending with respect to the moving rigid support which represents a non-inertial reference frame. The equations of motion contain periodic parametric coefficients because of the geometric asymmetry of the rotor and time-varying parametric coefficients because of the support rotations. These parametric coefficients are considered as sources of internal excitation and can lead to lateral dynamic instability. In the proposed numerical application examples, three rotor configurations are studied. Firstly, a symmetric rotor mounted on rigid bearings is subjected to rotating mass unbalance combined with constant rotation and sinusoidal translation of the support. Secondly, a rotor with geometric asymmetry due to the disk mounted on rigid bearings is excited by the mass unbalance effect and by the combination of a constant rotation and a sinusoidal translation of the support. Thirdly, a symmetric rotor mounted on linearized/non-linear hydrodynamic bearings is subjected to the excitation due to the mass unbalance and to the sinusoidal rotational or translational excitations of the support.
|
106 |
Perforance evaluation of vehicle radiofrequency communication systems : contribution to the modelling approach / Contribution à la modélisation des performances des systèmes de communications sans fil embarqués dans les véhicules automobilesNarrainen, Jessen 07 March 2017 (has links)
Le cadre général de cette thèse porte sur les communications véhicule à véhicule (V2V). L'objectif principal de ce type de communication est d'améliorer la sécurité routière et d'optimiser la fluidité du trafic. Les performances de systèmes de communication embarqués dépendent principalement de la configuration des antennes, du type de récepteurs utilisés (modem) et du canal de propagation. Le sujet de la thèse se concentre précisément sur l'élaboration d'un outil de simulation robuste et fiable pour optimiser les choix technologiques d'antennes et leurs implantations à bord. Il permettra de limiter ainsi le recours aux prototypes et aux essais de roulage. Dans un premier temps, nous avons proposé une méthode de type géométrique-stochastique pour modéliser des canaux de propagation d'un système de communication V2V. Cette méthode permet de définir des scénarios dynamiques et sa flexibilité nous offre l'opportunité de paramétrer les caractéristiques d'un canal de propagation. Nous montrons pour l'essentiel de quelle manière l'agencement et le nombre de diffuseurs de forme simple peuvent contribuer à influencer les statistiques de l'étalement des retards, la distribution des angles d'arrivée et les spectres Doppler. Dans la deuxième partie de ces travaux, nous nous focalisons sur la problématique d'intégration d'antenne. Il a été constaté qu'il est particulièrement utile de simplifier la maquette numérique du véhicule complet lors d'une simulation électromagnétique de l'antenne intégrée à bord de ce véhicule. De plus, dans cette section, nous avons étudié la limite de la validité de substitution d'une antenne intégrée à bord par son seul diagramme de rayonnement dans les modèles de canaux de propagation. A partir de cette étude, nous en avons déduit, que les interactions électromagnétiques avec les éléments se situant dans le champ-proche n'étaient plus valides. Ainsi, une stratégie de correction a été trouvée en considérant l'élément en champ proche dans la simulation initiale de l'antenne intégrée sur le véhicule. L'évaluation des performances d'antennes, en termes de taux d'erreurs paquet, après l'implémentation de la couche physique du standard 802. 11 p, est au cœur de la troisième partie de cette thèse. Des résultats de simulation, pour chaque configuration d'antenne, ont été donnés pour plusieurs combinaisons de paramètres de couche PHY tels que le débit et la longueur de paquet. La dernière partie de ce manuscrit traite de la présentation d'une campagne de mesure qui a été réalisée principalement dans un environnement de type rural. Les essais de roulage avaient pour but de démontrer la capacité des méthodes de simulation à faire un choix approprié d'installation d'antenne. Nous avons constaté que les tendances attendues des performances de communication en termes de PER sont globalement prévisibles à partir de notre modèle bien que nous ayons obtenu des résultats surprenants dans certains cas. Ce qui nécessitera une enquête plus approfondie. / The general framework of this Ph.D. thesis deals with Vehicle to Vehicle (V2V) communications. This communication is principally dedicated to reinforce security through exchange of information between vehicles in case of unexpected events. The development of V2V solutions requires the understanding and merging of a number of techniques from several communication technology areas. Indeed, the performance of these systems are related to three main blocks: the implementation of the modems, the antenna configuration and the fast varying electromagnetic environment surrounding the transmitter and the receiver. The purpose of this PhD thesis is precisely to elaborate a design strategy to investigate all the different blocks constituting the communication chain. The ultimate goal is to optimize antenna selection and location on board the vehicle. In the first place, we proposed a geometry-based stochastic channel modelling approach to develop virtual dynamic scenarios. It was shown that the most common propagation environments such as rural, highway or urban-like propagation channels are reached through adjustment or numbers and location of simple metallic plates. Using this method, we are able to emulate the characteristics, such as the delay spread, angles of arrival distribution and the Doppler spectrum, of these typical driving scenarios. Moreover, we dealt with antenna integration problems in the second part of this work. A study on the simplification of numerical models of vehicles was carried out. Furthermore in this section, we investigated the limit of validity of representing the integrated antenna on board vehicle solely by its radiation pattern. We deduced from this study that the interactions with the elements present in the near-field is no longer valid. Thus, a strategy to alleviate the degree of error was found upon consideration of the near-field scatter in the a-priori simulation of the antenna integrated on the vehicle. In the third part of this thesis, we evaluated the performance of different antenna configurations in terms of packet error rate after the embodiment of the PHY layer of the LEEE 802.11p standard. Simulation results, for each antenna configurations, was given for several combinations of PHY layer parameters such as data rate and packet length. The last part of this manuscript is dedicated to the presentation of a measurement campaign that was carried out in a rural driving environment. Results obtained from these functional tests were confronted with simulation results to demonstrate the strength of the latter. We found that the expected trends in communication performance in terms of PER are globally predictable from our model though we obtained surprising results in some cases, needing further investigation.
|
107 |
Optimization and implementation of bio-inspired feature extraction frameworks for visual object recognition / Optimisation et implémentation de méthodes bio-inspirées d'extraction de caractéristiques pour la reconnaissance d'objets visuelsBoisard, Olivier 10 November 2016 (has links)
L'industrie a des besoins croissants en systèmes dits intelligents, capable d'analyserles signaux acquis par des capteurs et prendre une décision en conséquence. Cessystèmes sont particulièrement utiles pour des applications de vidéo-surveillanceou de contrôle de qualité. Pour des questions de coût et de consommation d'énergie,il est souhaitable que la prise de décision ait lieu au plus près du capteur. Pourrépondre à cette problématique, une approche prometteuse est d'utiliser des méthodesdites bio-inspirées, qui consistent en l'application de modèles computationels issusde la biologie ou des sciences cognitives à des problèmes industriels. Les travauxmenés au cours de ce doctorat ont consisté à choisir des méthodes d'extractionde caractéristiques bio-inspirées, et à les optimiser dans le but de les implantersur des plateformes matérielles dédiées pour des applications en vision par ordinateur.Tout d'abord, nous proposons un algorithme générique pouvant être utilisés dans différentscas d'utilisation, ayant une complexité acceptable et une faible empreinte mémoire.Ensuite, nous proposons des optimisations pour une méthode plus générale, baséesessentiellement sur une simplification du codage des données, ainsi qu'une implantationmatérielle basées sur ces optimisations. Ces deux contributions peuvent par ailleurss'appliquer à bien d'autres méthodes que celles étudiées dans ce document. / Industry has growing needs for so-called “intelligent systems”, capable of not only ac-quire data, but also to analyse it and to make decisions accordingly. Such systems areparticularly useful for video-surveillance, in which case alarms must be raised in case ofan intrusion. For cost saving and power consumption reasons, it is better to perform thatprocess as close to the sensor as possible. To address that issue, a promising approach isto use bio-inspired frameworks, which consist in applying computational biology modelsto industrial applications. The work carried out during that thesis consisted in select-ing bio-inspired feature extraction frameworks, and to optimize them with the aim toimplement them on a dedicated hardware platform, for computer vision applications.First, we propose a generic algorithm, which may be used in several use case scenarios,having an acceptable complexity and a low memory print. Then, we proposed opti-mizations for a more global framework, based on precision degradation in computations,hence easing up its implementation on embedded systems. Results suggest that whilethe framework we developed may not be as accurate as the state of the art, it is moregeneric. Furthermore, the optimizations we proposed for the more complex frameworkare fully compatible with other optimizations from the literature, and provide encourag-ing perspective for future developments. Finally, both contributions have a scope thatgoes beyond the sole frameworks that we studied, and may be used in other, more widelyused frameworks as well.
|
108 |
Système d'interrogation à distance de grandeurs physiques à base de capteurs à ondes élastiques de surface pour mesures paramétriques sur une gamme de température étendue (-196 / +650ºC) / Wireless surface acoustic wave (SAW) interrogation system for parametric measurement on an extended temperature rangeDroit, Christophe 10 September 2013 (has links)
Ce mémoire présente l’étude et la conception d’électroniques d’interrogation de capteurs passifs de grandeurs physiques à base d’ondes élastiques se propageant à la surface de matériaux (SAW) piézoélectriques mono-cristallins. L’objectif consiste à réaliser une électronique d’interrogation capable de sonder la réponse d’un résonateur SAW au travers d’une liaison radiofréquence (RF) sans fils pour en extraire une information de température. [...] Les électroniques présentées dans ce manuscrit fonctionnent sur l’analyse de la puissance rétro-diffusée par le capteur en s’inspirant de l’architecture d’un analyseur de réseau à balayage de fréquence. Deux électroniques d’interrogation sont présentées. La première utilise une synthèse de fréquence directe. La souplesse de générer un signal RF pour exciter le résonateur a donnée naissance à divers algorithmes pour optimiser les performances de la mesure. La vitesse à laquelle le lecteur est capable de sonder le capteur permet l’interrogation de capteurs placés sur un support mobile (axe de moteur). La résolution de mesure obtenue atteint le dixième de degré Celsius. La seconde électronique vise à réaliser une électronique compacte dans le but de réduire le nombre et la consommation des composants en intégrant les chaînes d’émission et de réception. Cette électronique est construite autour d’un radio-modem : ce composant combinant fonctionnalités RF et numériques est détourné de sa fonction principale de communication numérique dansle but d’interroger un résonateur SAW. Les contraintes associées aux constantes de temps,à l’isolation nécessaire et à l’accès à l’étage de réception d’un radio-modem nécessitent une étude préalable approfondie. L’algorithme développé pour ce composant a nécessité l’utilisation de techniques de traitement RADAR pour obtenir la température résultante d’un capteur différentiel bi -résonateurs. Cette électronique a permis de mesurer une température / This report deals with the study and design of interrogation electronics for probing surface acoustic wave (SAW) transducers used as passive wireless sensors of physical quantities.The basic principle is to develop hardware aimed at probing the response of SAW resonators through a radiofrequency wireless link in order to extract a temperature information. Resonators whose operating frequency is centered on the 433.92 MHz ISM band are developed as part oft he SAWHOT project aimed at measuring high (650 oC) temperatures. SAW resonators load energy when stimulated at resonance frequency. Upon stopping emission, this power is returned as a radiofrequency signal. The presented electronic systems operate on the analysis of thepower returned by the sensor, based on a frequency-sweep network analyzer architecture. Twointerrogation units are presented. The former is based on a Direct Digital Synthesis frequency source : the flexibility of this digital approach allows for probing resonating sensors followings everal algorithms meeting various constraints including measurement speed and resolution.Sub-millisecond interrogation resonance frequency identification is compatible with probingthe response of sensors located on mobile targets such as a rotating motor axis. The achieved resolution lies in the 0.1 oC range. The latter approach aims at designing a compact readerwith a reduced number of components, including all the elements of the interrogation chain,and hence a lower power consumption. This approach is based around integrated, single chip,radiomodems : this components combines radiofrequency and digital functionalities and is diverted from its original digital communication purpose for probing SAW sensors. Timing andisolation constraints as well as accessing the analog receiver stage require a dedicated analysis of the functionalities of the various available chips[...]
|
109 |
Evaluation de l'instabilité posturale à partir d'une plate-forme robotisée de perturbation de l'équilibre / Assessment of postural instability from a robotic balance disturbance platformKharboutly, Haissam 23 September 2014 (has links)
Les troubles d’équilibres représentent un problème de santé publique car ils touchent à la mobilité et une partie à l’autonomie. Dans la population gériatrique, les troubles de l’équilibre sont souvent fréquents, de causes multiples et intriquées. Les personnes ayant des atteintes neurologiques, orthopédiques, ou des déficits vestibulaires, peuvent présenter des troubles sensori-moteurs, biomécaniques, ou des problèmes d’intégration sensorielle qui affectent aussi l’équilibre, la posture et donc la mobilité. La question d’identification des différentes déficiences du système d’équilibre est l’objectif de notre travail. Aujourd’hui, la majorité des tests d’évaluation d’équilibre se font en statique et sont très controversés du fait de leur mauvaise répétabilité. Il existe quelques tests d’évaluation de l’équilibre en dynamique, mais ils sont très dépendants de l’outil utilisé. L’évaluation du système d’équilibre devient ainsi de plus en plus compliquée dans le cas dynamique, puisqu’il existe plusieurs plateformes avec différents mouvements. Un patient ne doit pas passer d’une plateforme à une autre pour faire les différents mouvements. Pour une analyse de la stabilité posturale complète, il faut trouver donc une nouvelle solution qui remplace tous les plateformes existantes en une seule plateforme. Cette plateforme originale est l’IsiMove l’outil conçue, développé et utilisé dans cette thèse, pour mesurer la stabilité des sujets ayant des troubles d’équilibre. L’IsiMove est une nouvelle plateforme de perturbation posturale dynamique, conçue par la société AssistMov en collaboration avec l’Institut des Systèmes Intelligents et de Robotique « ISIR » et l’hôpital Rothschild. Cette plateforme répond au besoin de l’analyse de l’équilibre grâce à ses quatre degrés de libertés. La présence des capteurs de forces sur la plateforme permet la mesure de la posture et l’effort d’interaction pied/sol aux cours des réactions de perturbations, ce qui permet l’analyse du comportement pathologique pour une large classe de déficiences motrices, neurologiques ou vestibulaires.Un protocole d’évaluation d’équilibre a été élaboré sous la direction du Pr.Thoumie, suite à une série d’expériences et de tests. Ce protocole est presque complet, il se divise en deux parties : statiques (protocole classique) et dynamiques. La partie dynamique est unique, dans les 3 plans de l’espace, de mouvement simple et de différentes fréquences. Des tests sur des sujets ayant des atteintes neurologiques (myopathie et neuropathie) ou d’accidents vasculaires cérébraux (hémiplégiques) ont été réalisés à l’hôpital Rothschild avec l’aide d’un kinésithérapeute. La majorité des sujets ayant des atteintes neurologiques ont été incapables de réaliser le protocole d’une façon complète, contrairement aux sujets hémiplégiques. Ce qui nous a imposé à proposer deux méthodes d’évaluation de l’équilibre : la première est basée sur une analyse statistique discriminante et la deuxième est basée sur une représentation graphique. / Balance disorders represent a public health problem because they affect mobility and some autonomy. In the geriatric population, balance disorders are often frequent, have multiple causes and intricate. People with neurological, orthopedic or vestibular deficits may have sensorimotor disorder, biomechanical trouble or sensory integration problems that also affect balance, posture and thus mobility.The identification of the different impairments of balance system issue is the goal of our work. Today, the majority of the evaluation tests of balance are in “static” and they are highly controversial because of their poor repeatability. There are some tests for balance evaluation in “dynamic” conditions, but they are very dependent on the used tool. Balance evaluation becomes more complicated in the dynamic case, since there are several platforms with different movements. A patient should not move from one platform to another to make different movements and evaluations. For a complete analysis of postural stability, we must find a new solution that replaces all existing platforms into a single platform. This original platform is “IsiMove” the tool designed, developed and used in this thesis to measure the stability of subjects with balance disorders.IsiMove is a new dynamic posturography platform, designed by ASSISTMOV SAS company in collaboration with the Institute of Intelligent Systems and Robotics "ISIR" and the Rothschild Hospital. This platform addresses the need for balance analysis with its four degrees of freedom. The dual force plate on the platform allows the measurement of the posture and the force interaction of the foot / floor during the reactions, which then allows the analysis of the pathological behavior for a broad class of physical disabilities, neurological or vestibular.A new balance evaluation protocol was elaborated under the direction of Pr.Thoumie, following a series of experiments and tests. This protocol is almost complete; it is divided into two parts: static (standard protocol) and dynamic. The dynamic part is unique, in all 3 planes of space, simple movement and different frequencies. Tests on subjects with neurological disorders (myopathy and neuropathy) or stroke (hemiplegia) were made in the Rothschild hospital with the help of a physiotherapist. The majority of subjects with neurological disorders were unable to perform all exercises protocol, unlike patients with stroke. This has force us to propose two balance assessment methods: the first is based on discriminant statistical analysis and the second is based on graphical representation.
|
110 |
Contribution à la sécurite physique des cryptosystèmes embarqués / On the physical security of embedded cryptosystemsVenelli, Alexandre 31 January 2011 (has links)
Ces travaux de thèse se concentrent sur l'étude des attaques par canaux cachés et les implications sur les mesures à prendre pour un concepteur de circuits sécurisés. Nous nous intéressons d'abord aux différentes attaques par canaux cachés en proposant une amélioration pour un type d'attaque générique particulièrement intéressante : l'attaque par analyse d'information mutuelle. Nous étudions l'effet des différentes techniques d'estimation d'entropie sur les résultats de l'attaque. Nous proposons l'utilisation de fonctions B-splines comme estimateurs étant donné qu'elles sont bien adaptées à notre scénario d'attaques par canaux cachés. Nous étudions aussi l'impact que peut avoir ce type d'attaques sur un cryptosystème symétrique connu, l'Advanced Encryption Standard (AES), en proposant une contre-mesure basée sur la structure algébrique de l'AES. L'opération principale de la majorité des systèmes ECC est la multiplication scalaire qui consiste à additionner un certain nombre de fois un point de courbe elliptique avec lui-même. Dans une deuxième partie, nous nous intéressons à la sécurisation de cette opération. Nous proposons un algorithme de multiplication scalaire à la fois efficace et résistant face aux principales attaques par canaux cachés. Nous étudions enfin les couplages, une construction mathématique basée sur les courbes elliptiques, qui possède des propriétés intéressantes pour la création de nouveaux protocoles cryptographiques. Nous évaluons finalement la résistance aux attaques par canaux cachés de ces constructions. / This thesis focuses on the study of side-channel attacks as well as their consequences on the secure implementation of cryptographic algorithms. We first analyze different side-channel attacks and we propose an improvement of a particularly interesting generic attack: the mutual information analysis. We study the effect of state of the art entropy estimation techniques on the results of the attack. We propose the use of B-spline funtions as estimators as they are well suited to the side-channel attack scenario. We also investigate the consequences of this kind of attack on a well known symmetric cryptosystem, the Advanced Encryption Standard (AES), and we propose a countermeasure based on the algebraic structure of AES. The main operation of ECC is the scalar multiplication that consists of adding an elliptic curve point to itself a certain number of times. In the second part, we investigate how to secure this operation. We propose a scalar multiplication algorithm that is both efficient and secure against main side-channel attacks. We then study pairings, a mathematical construction based on elliptic curves. Pairings have many interesting properties that allow the creation of new cryptographic protocols. We finally evaluate the side-channel resistance of pairings.
|
Page generated in 0.0418 seconds