La vélocimétrie Doppler par ultrasons pulsés permet d'obtenir, le profil de vitesses d'un écoulement de fluide. L'estimation de la vitesse est réalisée, pour chaque volume de mesure, à partir du signal Doppler, obtenu à partir du signal rétrodiffusé démodulé et échantillonné, dont la fréquence est proportionnelle à la vitesse des particules. On démontre, dans le cas d'un transducteur plan et circulaire, pour un écoulement homogène et uniforme dans le volume de mesure, que la densité spectrale de puissance (DSP) de ce signal peut être modélisée par une gaussienne. Un algorithme de suppression du bruit blanc, basée sur l'identification paramétrique de la DSP est proposée et validée. Elle consiste à identifier, en temps réel, les différentes composantes de la DSP du signal Doppler en utilisant la méthode de Levenberg-Marquardt avec un modèle général gaussien. Le bruit blanc identifié est soustrait à la densité afin de permettre un calcul de moment non-biaisé par celui-ci. Le signal Doppler étant échantillonné par nature, il est soumis au théorème de Shannon qui impose une vitesse maximale mesurable nommée vitesse de Nyquist. Celle-ci est directement proportionnelle à la fréquence de répétition des trains d'ondes (PRF pour Pulse Repetition Frequency). La profondeur d'exploration est également liée au PRF. Ceci impose la principale limite de cette méthode, à savoir la relation inverse liant la profondeur d'exploration et la vitesse maximale mesurable. Une méthode permettant des mesures de vitesses au-delà de la limite de Nyquist est proposée. Elle se base sur l'utilisation de plusieurs fréquences de répétition des trains d'ondes. Le repliement différent pour chaque PRF permet l'apport d'information nécessaire à la résolution de l'ambiguïté sur les vitesses. Un algorithme original de reconstruction spectrale est proposé. Il permet de recombiner les DSP repliés obtenus pour chaque PRF afin de reproduire la DSP du signal Doppler.

La récupération de l'énergie des vibrations est un concept relativement nouveau qui peut être utilisé dans l'alimentation des dispositifs embarqués de puissance à micro-échelle avec l'énergie des vibrations omniprésentes dans l'environnement. Cette thèse contribue à une étude générale des récupérateurs de l'énergie des vibrations (REV) employant des transducteurs électrostatiques. Un REV électrostatique typique se compose d'un transducteur capacitif, de l'électronique de conditionnement et d'un élément de stockage. Ce travail se concentre sur l'examen du circuit de conditionnement auto-synchrone proposé en 2006 par le MIT, qui combine la pompe de charge à base de diodes et le convertisseur DC-DC inductif de type de flyback qui est entraîné par le commutateur. Cette architecture est très prometteuse car elle élimine la commande de grille précise des transistors utilisés dans les architectures synchrones, tandis qu'un commutateur unique se met en marche rarement. Cette thèse propose une analyse théorique du circuit de conditionnement. Nous avons développé un algorithme qui par commutation appropriée de flyback implémente la stratégie de conversion d'énergie optimale en tenant compte des pertes liées à la commutation. En ajoutant une fonction de calibration, le système devient adaptatif pour les fluctuations de l'environnement. Cette étude a été validée par la modélisation comportementale.Une autre contribution consiste en la réalisation de l'algorithme proposé au niveau du circuit CMOS. Les difficultés majeures de conception étaient liées à l'exigence de haute tension et à la priorité de la conception faible puissance. Nous avons conçu un contrôleur du commutateur haute tension de faible puissance en utilisant la technologie AMS035HV. Sa consommation varie entre quelques centaines de nanowatts et quelques microwatts, en fonction de nombreux facteurs - paramètres de vibrations externes, niveaux de tension de la pompe de charge, la fréquence de la commutation de commutateur, la fréquence de la fonction de calibration, etc.Nous avons également réalisé en silicium, fabriqué et testé un commutateur à haute tension avec une nouvelle architecture de l'élévateur de tension de faible puissance. En montant sur des composants discrets de la pompe de charge et du circuit de retour et en utilisant l'interrupteur conçu, nous avons caractérisé le fonctionnement large bande haute-tension du prototype de transducteur MEMS fabriqué à côté de cette thèse à l'ESIEE Paris. Lorsque le capteur est excité par des vibrations stochastiques ayant un niveau d'accélération de 0,8 g rms distribué dans la bande 110-170 Hz, jusqu'à 0,75 µW de la puissance nette a été récupérée.

Nous proposons deux caractérisations des arbres réguliers. La première est sémantique et s'appuie sur les types co-inductifs. La seconde est syntaxique et repose sur une représentation des arbres réguliers par des termes cycliques. Nous prouvons que ces deux caractérisations sont isomorphes.Ensuite, nous étudions le problème de la définition de morphisme d'arbres préservant la propriété de régularité. Nous montrons en utilisant le formalisme des transducteurs d'arbres, l'existence d'un critère syntaxique garantissant la préservation de cette propriété. Enfin, nous considérons des applications de la théorie des arbres réguliers comme la définition de l'opérateur de composition parallèle d'une algèbre de processus ou encore, les problèmes de décidabilité sur les arbres réguliers via une mécanisation d'un vérificateur de modèles pour un mu-calcul coalgébrique. Tous les résultats ont été mécanisés et prouvés corrects dans l'assistant de preuve Coq. / We propose two characterizations of regular trees. The first one is semantic and is based on coinductive types. The second one is syntactic and represents regular trees by means of cyclic terms. We prove that both of these characterizations are isomorphic. Then, we study the problem of defining tree morphisms preserving the regularity property. We show, by using the formalism of tree transducers, the existence of syntactic criterion ensuring that this property is preserved. Finally, we consider applications of the theory of regular trees such as the definition of the parallel composition operator of a process algebra or, the decidability problems on regular trees through a mechanization of a model-checker for a coalgebraic mu-calculus. All the results were mechanized and proved correct in the Coq proof assistant.

Ce travail de thèse est consacré au développement d'un capteur acoustique miniature à transduction capacitive destiné à être intégré dans un système RFID afin de dépasser certaines des limitations actuelles de ce dernier. La configuration originale du capteur acoustique étudié lui offre les avantages d'avoir une bonne performance tout en gardant une forme simple qui peut être aisément réalisée avec les techniques MEMS pour une production à grande échelle. Ce transducteur est constitué d'une membrane circulaire ou carrée et une électrode arrière centrée, de même forme mais de dimensions plus petites, séparées par une très fine couche de fluide, ainsi qu'une petite cavité située à la périphérie de l'électrode, de dimensions extérieures très proches de celles de la membrane. Le comportement de ce capteur est analysé en détail. Cette étude se base sur deux approches mathématiques originales (analytique et numérique), dont les résultats convergent malgré un niveau différent des hypothèses-simplificatrices sur lesquelles reposent ces deux modèles.Finalement, une méthode de réalisation du transducteur en technologie hybride, qui associe le procédé MEMS avec les techniques classiques des circuits imprimé, est présentée. Le prototype développé est aussi caractérisé expérimentalement et les résultats obtenus correspondent bien aux caractéristiques fournies par les modèles théoriques. / This work is devoted to the development of capacitive miniature acoustic sensor to be integrated in an RFID system in order to exceed some of its current limitations.The unusual configuration of the studied sensor offers the benefits of having a significant performance while keeping a simple form that can be easily achieved with standard MEMS techniques and thus successively marketed in perspective. This transducer consists of a circular or square membrane, a centered backing electrode with the same shape, but with smaller dimensions which define a thin fluid layer between them, and a small cavity at the periphery of the backing electrode whose external dimensions are very close to the ones of the membrane. The architecture of the developed sensor is the subject of a deep theoretical study of its behavior. This investigation is based upon two original mathematical approaches (analytical and numerical ones) whose results show a high convergence despite the different-levels of simplifying assumptions on which these models are based.Finally, the transducer is made with the use of a hybrid technology, that includes the MEMS process associated with conventional printed circuit manufacturing techniques, which is presented step by step. The developed prototype is characterized experimentally and the measured results correspond to the ones predicted by theoretical models.

Grâce à son faible coût, sa grande résolution et son absence d’effet ionisant, l’imagerie ultrasonore haute fréquence est devenue une technique usuelle pour les applications médicales telles que l’imagerie de l’œil, de la peau ou du petit animal. Cette méthode repose sur la capacité de matériaux piézoélectriques à créer des ondes acoustiques hautes fréquences dans les tissus à explorer. Les dispositifs qui opèrent ces conversions électromécaniques sont appelés transducteurs ultrasonores et doivent délivrer des fréquences de résonance de plus de 20 MHz, nécessitant l’intégration des films piézoélectriques ayant une épaisseur de quelques dizaines de micromètres. La fabrication de tels matériaux pour les transducteurs mono- et multi-éléments est toujours difficile suivant les procédés choisis. Dans ce manuscrit, le procédé de dépôt par électrophorèse a été étudié. Il permet le dépôt de films épais sur de nombreux substrats de formes complexes en vue de la fabrication de transducteurs hautes fréquences. Dans cette thèse, il est clairement montré que l’électrophorèse est un procédé simple prometteur et performant pour préparer des films épais homogènes sans défaut avec des propriétés fonctionnelles élevées pour la réalisation de transducteurs hautes fréquences (40 MHz). / Thanks to its relatively low cost, high resolution and absence of ionizing radiations, high frequency ultrasonic imaging is becoming a popular technique for medical applications such as eyes, skin or small animal. It relies on the ability of piezoelectric materials to generate high frequency ultrasonic waves in the scanned media. Ultrasonic transducers are used to perform these electromechanical conversions and operated at resonant frequencies over 20 MHz. For this, piezoelectric layers of few tens of micrometers thick are required. Such thicknesses for single element transducers, and even more for multi-element transducers, is difficult to deliver due to limitations of current fabrication process. In the present dissertation we addressed the electrophoretic deposition (EPD) technique that enables deposition of piezoelectric thick films on various complex-shaped substrates. A procedure to prepare high frequency transducers by EPD was developed. In the dissertation it was demonstrated that EPD is a promising process to prepare homogeneous thick-film structures without significant defects. The procedure allowed obtaining high electromechanical performance transducers using a simple and low cost process.

Cette thèse a eu pour objectif d'étudier des questions naturelles de définissabilité autour des transducteurs bidirectionnels.Il est bien connu que les transducteurs bidirectionnels définissent une plus grande classe de transductions que celles des transducteurs unidirectionnels. La première question que nous avons étudiée est donc de décider si un transducteur bidirectionnel est définissable par un transducteur unidirectionnel. Il a été montré en 2013 que cette question est décidable pour des transducteurs fonctionnels (nous montrons aussi en paralèlle que cette question devient indécidable si les transducteurs ne sont plus fonctionnels) mais la complexité de la procédure de décision était non-élémentaire.Nous proposons une caractérisation de la "définissabilité par transducteur unidirectionnel" décidable en espace doublement exponentiel. Cette caractérisation est effective en ce sens qu'elle produit en temps triplement exponentiel le transducteur équivalent. De plus, nous avons étudié ce problème aussi pour les transducteurs "sweeping", pour lesquels la procédure de décision et la construction du transducteur équivalent requièrent une exponentielle de moins. Comme nous avons par ailleurs montré qu'il existe des familles de fonctions réalisables de façon unidirectionnelle avec au minimum deux sauts exponentiels, notre procédure est optimale dans le cas "sweeping".Le fait d'avoir particulièrement étudié les transducteurs"sweeping" nous a poussé à étudier d'autres questions dedéfinissabilité~: est-ce qu'un transducteur donné estréalisable par un transducteur sweeping ? Et par un transducteursweeping réalisant au maximum k passages ? Nous montrons que cesquestions sont décidables avec les mêmes complexitésobtenues précédemment. Comme nous avons montré qu'ilexiste une borne sur le nombre de passages nécéssaires pourréaliser avec un transducteur sweeping une transductiondonnée, cela nous permet aussi de minimiser le nombre de passages d'untransducteur sweeping.Enfin nous avons cherché à caractériser la classe destransductions sweeping dans d'autres modèles de transductions,les Streaming String Transducers (SST) et lestransductions MSO. Cela a en autres permis, en établissant unecorrespondance entre le nombre de passages des transducteurssweeping et le nombre de registres d'une sous-classe de SST, deminimiser le nombre de registres pour une classe intéressantede SST. Dans l'ensemble, notre travail a permis de couvrir l'ensembledes relations entre ces modèles, et les questions dedéfinissabilité qui se posent naturellement. / The goal of this thesis was to study definability questionsabout finite-state transducers and in particular two-waytransducers. It is known that two-way transducers cover a larger classof transductions than one-way transducers. Then the first question wetackled is the one-way definability problem: is it possible torealize a given two-way transduction by a one-way transducer? Thisproblem was shown to be decidable for functionaltransducers (we also show as a side result that one-way definability becomes undecidable for non-functional transducers) but the decision procedure had non-elementary complexity.We proposed a characterization of one-way definability thatallows us to decide it in double-exponential space, and provide anequivalent one-way transducer of triple-exponential size. We firststudied this question for a restricted class, namely sweepingtransducers, for which the decision procedure and the construction ofthe one-way transducer take one less exponential. For suchtransducers, our procedure is optimal in the sense that we have shownthat there exists a family of functions that are one-way definable andfor which an equivalent one-way transducer requires doubly exponentialsize.The study of sweeping transducers raised other definability questions: Is a given transducer equivalent to some sweeping transducer? And to some sweeping transducer that performs at most k passes? We showed that those questions are decidable and the decision procedure, as well as the equivalent transducer, have the same complexity as in the one-way case. Moreover, as we have shown that there exists a bound on the number of passes required to realize a transduction by a sweeping transducer, we managed to obtain a procedure to minimize the number of passes of a sweeping transducer.Finally we tried to characterize sweeping transducers in other models for regular transductions such as Streaming String transducers (SST) and MSO transductions. As we obtained an equivalence between the number of passes of a sweeping transducer and the number of registers of the equivalent SST we provided a minimization procedure for the number of registers of a large class of SST's. To conclude, our work allowed us to provide a good overall understanding of the definability questions between the models for regular transductions and in particular regarding the resources, whether it is the number of passes (and of course one-way definability is crucial in that aspect) or the number of registers.

La thématique de ce sujet de thèse porte sur l'étude des capteurs de champ magnétique intégrés en technologie CMOS standard basse tension sans étapes de fabrication supplémentaires. La co-intégration du transducteur (l'élément sensible qui transforme le champ magnétique en une grandeur électrique) et de son électronique de conditionnement du signal sur la même puce permet réaliser des fonctions spécifiques qui améliorent significativement les performances du capteur. Les travaux présentés dans cette thèse portent plus particulièrement sur deux types de transducteur : le transducteur à effet Hall dit vertical et un magnéto-transistor particulier appelé « CHOPFET ». Nous avons développé des modèles numériques de ces transducteurs afin d’analyser finement leurs comportement mais aussi d’optimiser leurs performances. En nous basant sur ces résultats, nous avons adapté des techniques de traitement du signal et proposé plusieurs architectures originales dédiées au conditionnement du signal magnétique. Cela a permis d’améliorer significativement les performances de ces capteurs en termes de résolution, d’offset et de consommation électrique. / The subject of thesis subject concerns the study of magnetic field sensors integrated in low-voltage standard CMOS process without additional post-processing steps. Co-integrating the magnetic transducer (the sensitive element transforming the magnetic field into an electrical quantity) together with its conditioning electronics onto a same chip allows to implement specific features, which dramatically improve the sensor performances. This work particularly focuses on two types of transducer: the vertical Hall device and a specific magneto-transistor called “CHOPFET”. We developed numerical simulation models in order to predict and optimize the behavior of these transducers. Based on the results, we adapted dedicated signal processing techniques and proposed several innovative magnetic signal conditioning architectures. This led to significant improvement in terms of resolution, offset and power consumption.

L’étude des automates est un sujet fondamental de l’informatique. Ce modèle apporte des solutions pratiques à divers problèmes en compilation et en vérification notamment. Dans ce travail nous proposons l'extension aux automates à pile visible de résultats existants pour les automates. Nous proposons une définition d'automate à pile visible émondé et donnons un algorithme s’exécutant en temps polynomial émondant un automate en préservant son langage. Nous donnons aussi un algorithme de complexité exponentielle qui, pour un automate à pile visible donné, construit un automate équivalent à la fois émondé et déterministe. Cette complexité exponentielle se révèle optimale. Étant donné un automate à pile visible, nous pouvons associer à ses transitions des coûts pris dans un semi-anneau S. L’automate associe ainsi un mot d’entrée à un élément de S. Le coût d’un automate est le supremum des coûts associés aux mots d'entrée. Pour les semi-anneaux des entiers naturels et Max-plus, nous donnons des caractérisations et des algorithmes polynomiaux pour décider si le coût d’un automate est fini. Puis, nous étudions pour les entiers naturels la complexité du problème de la majoration du coût par un entier k. Les transducteurs à pile visibles produisent des sorties sur chaque mot accepté. Un problème classique est de décider s'il existe une borne sur le nombre de sorties de chaque mot accepté. Pour une sous-classe des transducteurs à pile visible, nous proposons des propriétés caractérisant les instances positives de ce problème. Nous montrons leur nécessité et discutons d’approches possibles afin de montrer leur suffisance. / The study of automata is a central subject of computer science. This model provides practical solutions to several problems including compilation and verification. In this work we extend existing results of automata to visibly pushdown automata. We give a definition of trimmed visibly pushdown automata and a polynomial time algorithm to trim an automata while preserving its language. We also provide an exponential time algorithm which, given a visibly pushdown automaton, produces an equivalent automaton, both deterministic and trimmed. We prove the optimality of the complexity. Given a visibly pushdown automaton, we can equip its transitions with a cost taken from a semiring S, and thus associate each input word to an element of S. The cost of the automaton is the supremum of the input words cost. For the semiring of natural integers and Max-plus, we give characterisations and polynomial time algorithms to decide if the cost of a visibly pushdown automaton is finite. Then in the case of natural integers we study the complexity of deciding if the cost is bounded by a given integer k. Visibly pushdown transducers produce output on each accepted word. A classical problem is to decide if there exists a bound on the number of outputs of each accepted word. In the case of a subclass of visibly pushdown transducers, we give properties characterizing positive instances of this problem. We show their necessity and discuss of possible approaches to prove their sufficiency.

La récupération de l'énergie des vibrations est un concept relativement nouveau qui peut être utilisé dans l'alimentation des dispositifs embarqués de puissance à micro-échelle avec l'énergie des vibrations omniprésentes dans l’environnement. Cette thèse contribue à une étude générale des récupérateurs de l'énergie des vibrations (REV) employant des transducteurs électrostatiques. Un REV électrostatique typique se compose d'un transducteur capacitif, de l'électronique de conditionnement et d’un élément de stockage. Ce travail se concentre sur l'examen du circuit de conditionnement auto-synchrone proposé en 2006 par le MIT, qui combine la pompe de charge à base de diodes et le convertisseur DC-DC inductif de type de flyback qui est entraîné par le commutateur. Cette architecture est très prometteuse car elle élimine la commande de grille précise des transistors utilisés dans les architectures synchrones, tandis qu'un commutateur unique se met en marche rarement. Cette thèse propose une analyse théorique du circuit de conditionnement. Nous avons développé un algorithme qui par commutation appropriée de flyback implémente la stratégie de conversion d'énergie optimale en tenant compte des pertes liées à la commutation. En ajoutant une fonction de calibration, le système devient adaptatif pour les fluctuations de l'environnement. Cette étude a été validée par la modélisation comportementale.Une autre contribution consiste en la réalisation de l'algorithme proposé au niveau du circuit CMOS. Les difficultés majeures de conception étaient liées à l'exigence de haute tension et à la priorité de la conception faible puissance. Nous avons conçu un contrôleur du commutateur haute tension de faible puissance en utilisant la technologie AMS035HV. Sa consommation varie entre quelques centaines de nanowatts et quelques microwatts, en fonction de nombreux facteurs - paramètres de vibrations externes, niveaux de tension de la pompe de charge, la fréquence de la commutation de commutateur, la fréquence de la fonction de calibration, etc.Nous avons également réalisé en silicium, fabriqué et testé un commutateur à haute tension avec une nouvelle architecture de l'élévateur de tension de faible puissance. En montant sur des composants discrets de la pompe de charge et du circuit de retour et en utilisant l'interrupteur conçu, nous avons caractérisé le fonctionnement large bande haute-tension du prototype de transducteur MEMS fabriqué à côté de cette thèse à l'ESIEE Paris. Lorsque le capteur est excité par des vibrations stochastiques ayant un niveau d'accélération de 0,8 g rms distribué dans la bande 110-170 Hz, jusqu'à 0,75 µW de la puissance nette a été récupérée. / Vibration energy harvesting is a relatively new concept that can be used in powering micro-scale power embedded devices with the energy of vibrations omnipresent in the surrounding. This thesis contributes to a general study of vibration energy harvesters (VEHs) employing electrostatic transducers. A typical electrostatic VEH consists of a capacitive transducer, conditioning electronics and a storage element. This work is focused on investigations of the reported by MIT in 2006 auto-synchronous conditioning circuit, which combines the diode-based charge pump and the inductive flyback energy return driven by the switch. This architecture is very promising since it eliminates precise gate control of transistors employed in synchronous architectures, while a unique switch turns on rarely. This thesis addresses the theoretical analysis of the conditioning circuit. We developed an algorithm that by proper switching of the flyback allows the optimal energy conversion strategy taking into account the losses associated with the switching. By adding the calibration function, the system became adaptive to the fluctuations in the environment. This study was validated by the behavioral modeling. Another contribution consists in realization of the proposed algorithm on the circuit level. The major design difficulties were related to the high-voltage requirement and the low-power design priority. We designed a high-voltage analog controller of the switch using AMS035HV technology. Its power consumption varies between several hundred nanowatts and a few microwatts, depending on numerous factors - parameters of external vibrations, voltage levels of the charge pump, frequency of the flyback switching, frequency of calibration function, etc. We also implemented on silicon, fabricated and tested a high-voltage switch with a novel low power level-shifting driver. By mounting on discrete components the charge pump and flyback circuit and employing the proposed switch, we characterized the wideband high-voltage operation of the MEMS transducer prototype fabricated alongside this thesis in ESIEE Paris. When excited with stochastic vibrations having an acceleration level of 0.8 g rms distributed in the band 110-170 Hz, up to 0.75 $\mu$W of net electrical power has been harvested.

Résumé : Les systèmes de surveillance de santé structurale sont proposés pour la détection d’endommagement dans les infrastructures qui dépassent leur durée de vie en utilisant les ondes guidées (GW). Les ondes guidées peuvent parcourir de longues distances et sont sensibles à une variété d’imperfections. Les transducteurs piézoélectriques sont communément utilisés pour générer et mesurer les ondes guidées dans des structures minces. Comme la détection du défaut et sa localisation sont souhaitées, la nature de la génération des ondes guidées sous forme de plusieurs modes implique une complexité supérieure dans le traitement du signal. Pour remédier à cette limitation, une nouvelle méthode est présentée ici pour la génération des ondes guidées par sélection de mode, et un nouveau transducteur piézoélectrique est ensuite conçu, fabriqué et testé. Tout d'abord, la génération des ondes guidées par optimisation systématique du profil interfacial de la contrainte de cisaillement en mode sélectif est étudiée. En utilisant le principe de superposition, une méthode d'analyse est d'abord développée pour la modélisation de la génération des ondes guidées par un nombre fini de segments de contrainte de cisaillement uniforme, chacun contribuant à un profil élémentaire d’une contrainte constante de cisaillement. Sur cette base, deux fonctions coût sont définies afin de minimiser les modes indésirables et amplifier le mode sélectionné et le problème d'optimisation est résolu avec un cadre d'optimisation d’algorithme génétique parallèle. Les avantages de cette méthode par rapport à d'autres approches de conception de transducteurs classiques sont (1) la contrainte de cisaillement peut être explicitement optimisée à la fois pour exciter un mode et supprimer d'autres modes indésirables, (2) la taille de la zone d'excitation n’est pas limitée et l’excitation en mode sélectif est toujours possible, même si la largeur d'excitation est inférieure à toutes les longueurs d'onde excitées, et (3) la sélectivité est accrue et la largeur de bande est étendue. La méthode analytique et les fonctions coût sont ensuite développées pour concevoir un transducteur piézoélectrique à éléments multiples (MEPT) simple et performant. Une méthode numérique est tout d'abord mise au point pour extraire la contrainte interfaciale entre un seul élément piézocéramique et une structure d'accueil et ensuite utilisée comme entrée d'un modèle analytique pour prédire la propagation des ondes guidées à travers l'épaisseur d'une plaque isotrope. Deux nouvelles fonctions coût sont proposées pour optimiser la contrainte de cisaillement interfaciale pour supprimer le(s) mode(s) indésirable(s) et maximiser un mode désiré. Simplicité et faible coût de fabrication sont deux principales cibles visées dan la conception du MEPT. Un prototype TPEM est ensuite fabriqué à l'aide de micro-usinage laser. Une procédure expérimentale est présentée afin de valider les performances de la TPEM comme une nouvelle solution pour la génération des ondes guidées en mode sélectif. Des essais expérimentaux illustrent la forte capacité du TPEM pour la génération des ondes guidées en mode sélectif, puisque le mode indésirable est supprimé par un facteur allant jusqu'à 170 fois par rapport aux résultats obtenus avec un seul piézocéramique. / Abstract : Structural Health Monitoring (SHM) systems are being proposed for damage detection of infrastructures that exceed their life using ultrasonic Guided waves (GWs). GWs can travel over long distances and are sensitive to variety of defects. Piezoelectric transducers (PZTs) are commonly used to generate and measure GWs in plate-like structures. As damage detection and localization is sought, the multi-mode nature of GW generation involves higher complexity in signal processing. To overcome this limitation, a new method is presented here for modeselective GW generation, and a novel mode-selective PZT is then designed, manufactured and tested. First, mode-selective generation of GWs by systematic optimization of the interfacial shear stress profile is investigated. Using the superposition principle, an analytical method is first developed for modeling GWs generation by a finite number of uniform shear stress segments, each contributing with a constant elementary shear stress profile. Based on this, two cost functions are defined in order to minimize the undesired modes and amplify the selected mode and the optimization problem is solved with a parallel Genetic Algorithm (GA) optimization framework. Advantages of this method over more conventional transducers tuning approaches are that (1) the shear stress can be explicitly optimized to both excite one mode and suppress other undesired modes, (2) the size of the excitation area is not constrained and mode-selective excitation is still possible even if excitation width is smaller than all excited wavelengths, and (3) the selectivity is increased and the bandwidth extended. The analytical method and objective functions are then developed to design a novel and costeffective multi-element piezoelectric transducer (MEPT). A numerical method is first developed to extract the interfacial stress between a single piezoceramic element and a host structure and then used as the input of an analytical model to predict the GW propagation through the thickness of an isotropic plate. Two novel objective functions are proposed to optimize the interfacial shear stress for both suppressing unwanted mode(s) and maximizing a desired mode. Simplicity and low manufacturing cost are two main targets driving the design of the MEPT. A prototype MEPT is then manufactured using laser micro-machining. An experimental procedure is presented to validate the performances of the MEPT as a new solution for mode-selective GW generation. Experimental tests illustrate the high capability of the MEPT for mode-selective GW generation, as unwanted mode is suppressed by a factor up to 170 times compared with the results obtained with a single piezoceramic.