Ce travail de recherche est consacré à l'élaboration d'une méthode de compensation active des vibrations d'une machine tournante électrique. Son originalité tient au fait que les enroulements statoriques sont alimentés par<br />des courants de commande additionnels afin d'engendrer des forces radiales sur le stator. Celui-ci répond alors par des vibrations additionnelles qui interagissent avec les vibrations naturelles de la machine. Le but de ce<br />système de contrôle actif est donc de calculer la valeur ”optimale” de ces courants, permettant de minimiser la puissance des signaux vibratoires au niveau de capteurs accéléromètriques fixés à la périphérie du stator.<br />Dans un premier temps, la modélisation du transfert situé entre les commandes et les contre-vibrations engendrées conduit à un système linéaire et variant périodiquement dans le temps (LVPT). La fréquence fondamentale de ses variations est alors proportionnelle à la fréquence de rotation de la machine.<br />Après avoir montré l'insuffisance des méthodes classiques de contrôle actif pour cette application, une étude théorique détaillée des systèmes LVPT est réalisée. Elle conduit à la définition d'une matrice de transfert, jouant le même rôle que la fonction de transfert classique employée pour les systèmes linéaires et invariants dans le temps. Cette matrice permet d'écrire simplement la relation entre les entrées et les sorties du système<br />considéré dans le domaine fréquentiel.<br />Finalement, les résultats précédents sont utilisés afin de déterminer l'expression optimale des courants de commande minimisant la puissance des signaux de vibrations mesurés. Un algorithme récursif permet également de converger vers cet optimum, et de prendre en compte d'éventuelles variations des perturbations vibratoires à éliminer. Divers résultats, obtenus sur des signaux synthétiques puis sur des signaux vibratoires réels, illustrent les performances obtenues par ce système de contrôle actif. Il permet une réduction significative des vibrations<br />synchrones au phénomène de rotation, sans pour autant modifier les caractéristiques des autres. Enfin, son implantation en temps-réel dans un processeur numérique de traitement de signal est discutée et réalisée.

Ce travail de recherche propose une solution aux problèmes inverses probabilistes avec des outils de la statistique bayésienne. Le problème inverse considéré est d'estimer la distribution d'une variable aléatoire non observée X a partir d'observations bruitées Y suivant un modèle physique coûteux H. En général, de tels problèmes inverses sont rencontrés dans le traitement des incertitudes. Le cadre bayésien nous permet de prendre en compte les connaissances préalables d'experts surtout avec peu de données disponibles. Un algorithme de Metropolis-Hastings-within-Gibbs est proposé pour approcher la distribution a posteriori des paramètres de X avec un processus d'augmentation des données. A cause d'un nombre élevé d'appels, la fonction coûteuse H est remplacée par un émulateur de krigeage (méta-modèle) H chapeau. Cette approche implique plusieurs erreurs de nature différente et, dans ce travail, nous nous attachons a estimer et réduire l'impact de ces erreurs. Le critère DAC a été proposé pour évaluer la pertinence du plan d'expérience (design) et le choix de la loi a priori, en tenant compte des observations. Une autre contribution est la construction du design adaptatif adapté a notre objectif particulier dans le cadre bayésien. La principale méthodologie présentée dans ce travail a été appliquée a un cas d' étude d'ingénierie hydraulique.

L'objet de cette thèse est d'étudier divers problèmes de statistique non-paramétrique dans le cadre d'un modèle d'interactions poissoniennes. De tels modèles sont, par exemple, utilisés en neurosciences pour analyser les interactions entre deux neurones au travers leur émission de potentiels d'action au cours de l'enregistrement de l'activité cérébrale ou encore en génomique pour étudier les distances favorisées ou évitées entre deux motifs le long du génome. Dans ce cadre, nous introduisons une fonction dite de reproduction qui permet de quantifier les positions préférentielles des motifs et qui peut être modélisée par l'intensité d'un processus de Poisson. Dans un premier temps, nous nous intéressons à l'estimation de cette fonction que l'on suppose très localisée. Nous proposons une procédure d'estimation adaptative par seuillage de coefficients d'ondelettes qui est optimale des points de vue oracle et minimax. Des simulations et une application en génomique sur des données réelles provenant de la bactérie E. coli nous permettent de montrer le bon comportement pratique de notre procédure. Puis, nous traitons les problèmes de test associés qui consistent à tester la nullité de la fonction de reproduction. Pour cela, nous construisons une procédure de test optimale du point de vue minimax sur des espaces de Besov faibles, qui a également montré ses performances du point de vue pratique. Enfin, nous prolongeons ces travaux par l'étude d'une version discrète en grande dimension du modèle précédent en proposant une procédure adaptative de type Lasso.

Les multicouches de polyélectrolytes, systèmes auto-assemblés par adsorptions successives de polycations et polyanions, peinent à trouver des applications concrètes en raison de leur fragilité mécanique et du temps nécessaire à leur assemblage. Pour améliorer leur tenue mécanique, nous avons développé une méthode d'assemblage couche-par-couche par liaisons covalentes de films polymères. Des films formés de polymères portant des groupements alcynes et azides ont ainsi été réticulés par une réaction click catalysée par les ions Cu+ obtenus par voie électrochimique. Pour améliorer le mode d'assemblage, l'auto-construction en une seule étape de films par approche morphogénique, a été développée. Cette approche, confinée à la surface et caractérisée par la présence en solution de l'ensemble des constituants, marque une rupture. Elle permet ainsi un contrôle spatial de l'assemblage des films et la combinaison de plusieurs modes d'interactions pendant leur assemblage. Des films dont la cohésion repose sur des interactions covalentes, hôtes-invités et supramoléculaires, ont ainsi été assemblés. L'introduction de nanoparticules métalliques dans les films (multicouches et auto-construits) a également été effectuée dans le but de développer des électrodes de grande surface spécifique.

Le travail présenté dans ce mémoire de thèse porte sur la synthèse d'observateurs pour des classes de systèmes non linéaires à savoir les observateurs classiques utilisés pour l'estimation de l'état, les observateurs à entrées inconnues ou encore les observateurs adaptatifs. Nous proposons, dans une partie, une forme canonique d'observabilité non triangulaire caractérisant une large classe de systèmes multi-sorties observables pour toute entrée. Un observateur de type grand gain est proposé. La convergence exponentielle de l'observateur proposé est détaillée et la validation en simulation est illustrée à travers des exemples. Ensuite, nous traitons la synthèse d'observateurs à entrées inconnues. Une classe de systèmes comportant des entrées inconnues est présentée. L'observateur proposé permet d'estimer conjointement tous les états du système ainsi que toutes les entrées inconnues. La synthèse de cet observateur est vérifiée sous certaines conditions suffisantes inspirées de celles adoptées en l'absence des entrées inconnues. En effet, des simulations numériques montrent bien la convergence de l'observateur. Enfin, un observateur adaptatif est proposé pour la forme canonique non triangulaire introduite en début du mémoire. La convergence exponentielle de l'observateur proposé est établie sous une certaine condition d'excitation persistante qui a été donnée. Les performances de cet observateur sont illustrées en simulation à travers un exemple académique.

La conception de systèmes embarqués modernes est de plus en plus complexe, car plus de fonctionnalités sont intégrées dans ces systèmes. En même temps, afin de répondre aux exigences de calcul tout en conservant une consommation d'énergie de faible niveau, MPSoCs sont apparus comme les principales solutions pour tels systèmes embarqués. En outre, les systèmes embarqués sont de plus en plus adaptatifs, comme l’adaptabilité peut apporter un certain nombre d'avantages, tels que la flexibilité du logiciel et l'efficacité énergétique. Cette thèse vise la conception sécuritaire de ces MPSoCs adaptatifs. Tout d'abord, chaque configuration de système doit être analysée en ce qui concerne ses propriétés fonctionnelles et non fonctionnelles. Nous présentons un cadre abstraite de conception et d’analyse qui permet des décisions d’implémentation plus rapide et plus rentable. Ce cadre est conçu comme un support de raisonnement intermédiaire pour les environnements de co-conception de logiciel / matériel au niveau de système. Il peut élaguer l'espace de conception à sa plus grande portée, et identifier les candidats de solutions de conception de manière rapide et efficace. Dans ce cadre, nous utilisons un codage basé sur l’horloge abstrait pour modéliser les comportements du système. Différents scénarios d'applications de mapping et de planification sur MPSoCs sont analysés via les traces d'horloge qui représentent les simulations du système. Les propriétés d'intérêt sont l’exactitude du comportement fonctionnel, la performance temporelle et la consommation d'énergie. Deuxièmement, la gestion de la reconfiguration de MPSoCs adaptatifs doit être abordée. Nous sommes particulièrement intéressés par les MPSoCs implémentés sur des architectures reconfigurables de hardware (ex. FPGA tissus) qui offrent une bonne flexibilité et une efficacité de calcul pour les MPSoCs adaptatifs. Nous proposons un cadre général de conception basésur la technique de la synthèse de contrôleurs discrets (SCD) pour résoudre ce problème. L’avantage principal de cette technique est qu'elle permet une synthèse d'un contrôleur automatique vis-à-vis d’une spécification donnée des objectifs de contrôle. Dans ce cadre, le comportement de reconfiguration du système est modélisé en termes d'automates synchrones en parallèle. Le problème de calcul de la gestion reconfiguration vis-à-vis de multiples objectifs concernant, par exemple, les usages des ressources, la performance et la consommation d’énergie est codé comme un problème de SCD . Le langage de programmation BZR existant et l’outil Sigali sont employés pour effectuer SCD et générer un contrôleur qui satisfait aux exigences du système. Finalement, nous étudions deux façons différentes de combiner les deux cadres de conception proposées pour MPSoCs adaptatifs. Tout d'abord, ils sont combinés pour construire un flot de conception complet pour MPSoCs adaptatifs. Deuxièmement, ils sont combinés pour présenter la façon dont le gestionnaire d'exécution conçu dans le second cadre peut être intégré dans le premier cadre de sorte que les simulations de haut niveau peuvent être effectuées pour évaluer le gestionnaire d'exécution. / The design of modern embedded systems is getting more and more complex, as more func- tionality is integrated into these systems. At the same time, in order to meet the compu- tational requirements while keeping a low level power consumption, MPSoCs have emerged as the main solutions for such embedded systems. Furthermore, embedded systems are be- coming more and more adaptive, as the adaptivity can bring a number of benefits, such as software flexibility and energy efficiency. This thesis targets the safe design of such adaptive MPSoCs. First, each system configuration must be analyzed concerning its functional and non- functional properties. We present an abstract design and analysis framework, which allows for faster and cost-effective implementation decisions. This framework is intended as an intermediate reasoning support for system level software/hardware co-design environments. It can prune the design space at its largest, and identify candidate design solutions in a fast and efficient way. In the framework, we use an abstract clock-based encoding to model system behaviors. Different mapping and scheduling scenarios of applications on MPSoCs are analyzed via clock traces representing system simulations. Among properties of interest are functional behavioral correctness, temporal performance and energy consumption. Second, the reconfiguration management of adaptive MPSoCs must be addressed. We are specially interested in MPSoCs implemented on reconfigurable hardware architectures (i.e., FPGA fabrics), which provide a good flexibility and computational efficiency for adap- tive MPSoCs. We propose a general design framework based on the discrete controller syn- thesis (DCS) technique to address this issue. The main advantage of this technique is that it allows the automatic controller synthesis w.r.t. a given specification of control objectives. In the framework, the system reconfiguration behavior is modeled in terms of synchronous parallel automata. The reconfiguration management computation problem w.r.t. multiple objectives regarding e.g., resource usages, performance and power consumption is encoded as a DCS problem. The existing BZR programming language and Sigali tool are employed to perform DCS and generate a controller that satisfies the system requirements. Finally, we investigate two different ways of combining the two proposed design frame- works for adaptive MPSoCs. Firstly, they are combined to construct a complete design flow for adaptive MPSoCs. Secondly, they are combined to present how the designed run-time manager by the second framework can be integrated into the first framework so that high level simulations can be performed to assess the run-time manager.

Dans un contexte environnemental anthropisé, fragmenté et soumis à un changement climatique rapide, l’appréhension des processus d'adaptation locale des organismes marins par l'étude de zones de contact entre taxa proches constitue une approche privilégiée. Dans ces zones, des génotypes hybrides persistent malgré un état de maladaptation liée à des incompatibilités génétiques endogènes et/ou des barrières exogènes. L'histoire biogéographique complexe de la telline baltique Macoma balthica fait émerger quatre zones hybrides européennes, dont l'une, localisée autour de la Pointe Finistère (France), est le résultat d’un contact entre deux stocks génétiques ayant divergé en allopatrie. Ces divergences sont susceptibles de rompre la coadaptation entre génomes nucléaire et mitochondrial en raison de l'émergence d'incompatibilités mitonucléaires (MNIs). Ainsi, les sous-unités protéiques des cinq complexes de la chaine OXPHO sont codées à la fois par des gènes nucléaires et mitochondriaux, et une coévolution inter-génomique étroite est requise pour maintenir la production énergétique cellulaire. De précédentes données de transcriptomique dévoilent de probables MNIs chez M. balthica au niveau des complexes respiratoires I et V. Afin d’apporter des éléments de compréhension aux mécanismes de maintien des zones hybrides dans un contexte de pression anthropique, le présent travail se propose de tester l'hypothèse de putatives MNIs dans cette zone de contact. Pour cela, (i) six mitogénomes correspondant à cinq lignées haplotypiques divergentes en Europe ont été séquencés et l'architecture génomique a été étudiée conjointement à une cartographie des mutations des 13 gènes mitochondriaux, (ii) le niveau de transcription de 5 gènes nucléaires et 8 gènes mitochondriaux (complexe I à V) des individus hybrides a été comparé à celui des lignées parentales après détermination du statut d'hybridation de chaque individu (six populations françaises). A défaut d'apporter des éléments de réponses concrets quant à l'existence de MNIs chez M. balthica, et ses répercussions évolutives en terme de dépression d'hybridation, ce travail constitue un tremplin vers une étude approfondie de la zone hybride française en développant de nouveaux outils moléculaires, et de solides techniques expérimentales pour la conduite de futurs croisements artificiels. / In the anthropized, fragmented environmental context subject to rapid climate change, understand local adaptation processes of marine organisms by studying the contact zones between close taxa is a preferred approach. In these areas, hybrid genotypes persist despite a maladaptive state related to endogenous genetic incompatibilities and/or exogenous barrier. The complex biogeographic history of the Baltic tellin Macoma balthica leads to emergence of several European hybrid zones, one of which, located around the Pointe Finistère (France), is the result of the confluence of two genetic stocks that have diverged in allopatric. These divergences may have lead to the co-adaptation breakdown between nuclear and mitochondrial genomes due to the emergence of mito-nuclear incompatibilities (MNIs). Thus, the different protein subunits of the five OXPHO chain complexes are encoded by both nuclear and mitochondrial genes, and a tight inter-genomic coevolution is required to maintain the cellular energy production. Recent transcriptomic data unveil the existence of underlying MNIs in M. balthica, bearing by the respiratory complexes I and V. In order to provide some understanding clues of mechanisms in hybrid zone's maintenance in the context of human pressure, the present work aims to test the assumption of putative MNIs in this area. For this purpose, (i) six mitogenomes corresponding to five divergent haplotype lineages in Europe were sequenced and the genomic architecture has been studied jointly to a mapping mutation of the 13 mitochondrial genes, (ii) the level of transcription of 5 nuclear and 8 mitochondrial genes (complex I to V) of hybrid individuals was compared to the parental lineages after identification of the hybrid status of each individual (six french populations). For the lack of bringing concrete answers concerning the existence of MNIs in M. balthica, and its evolutionary effects in term of hybrid breakdown, this work is a springboard for a comprehensive study of the French hybrid zone by developing new molecular tools, and stable experimental technics for the realisation of future artificial crosses.

La conception de circuit à très faible tension d'alimentation est un moyen depuis longtemps connu pour diminuer la consommation d'énergie des circuits pour un même service rendu [VITTOZ weak inversion]. La faible tension permet de gagner à la fois en courant de fuite [K ROY leakage] et surtout en courant dynamique qui reste la partie de l'énergie consommée la plus ardue a maîtriser. Elle s'accompagne d'un délai multiplié par plusieurs ordres de grandeur et une sensibilité accrue aux variations de paramètres des dispositifs. Cette variation étant plus grande dans les technologies récentes, la conception à très faible tension était jusqu'à récemment limitée aux nœuds technologiques en deçà de 40nm, mais des avancées récentes en technologie 32nm ont été publiés [TI ISSCC2011]. Un premier travail de thèse [ABOUZEID PhD], a permis de confirmer la faisabilité de la conception de circuit ULV. Plus précisément ont été démontrées : · une méthodologie de conception de cellules logiques en technologie 90nm, 65nm, 45nm et 40nm · une adaptation des flots automatiques d'implémentation et de vérification en 40nm · un précurseur de SRAM en CMOS65nm Sur cette base le présent travail de thèse consistera en l'élargissement de l'éventail du champ de conception ULV vers la gestion d'alimentation, la compensation des conditions environnementales et l'optimisation architecturale afin de préparer l'industrialisation de futures applications ULV. / IoT applications continue to push towards ultra-low-power constrained ASICs, creating severe challenges to achieve sufficient power efficiency in extreme Voltage and Temperature conditions. Thus, it is necessary to build closed-loop compensation systems that are autonomous to environmental conditions especially temperature at sub-threshold regime. Two major work are proposed: an adaptive techniques that allow to enhance the performance of designs that leverage aggressive voltage scaling. we fully exploits the FD-SOI 28nm technology dual gate capabilities to both attain optimal power efficiency points and compensate for gradual changes in overall device performance due to process, voltage, and temperature variations. Our proposed compensation Unit system is a fully-digital error-prediction solution providing a compromise between industry reliability requirements and manufacturing guard-band reduction with low-invasiveness and post-silicon tunability. Critical-Paths timing monitors are distributed across the processor and tuned to match the closest critical paths. A programmable workload emulator allows to adapt and take into account the processor tasks. Generated warning Flags due to V-T variations are analyzed based on an adjustable warning rate and body bias is adapted correspondingly. Based on the operation voltage, either fine or coarse body biasing can be activated for compensation. The second part of this thesis addresses on-chip temperature monitoring that plagues aggressively voltage scaled ASICs. We propose to closely monitor temperature fluctuations at low-voltage but also hot-spot detection at nominal and over-drive supply voltage conditions.

L’estimation fonctionnelle basée sur les espaces de Hilbert à noyau reproduisant demeure un sujet de recherche actif pour l’identification des systèmes non linéaires. L'ordre du modèle croit avec le nombre de couples entrée-sortie, ce qui rend cette méthode inadéquate pour une identification en ligne. Le critère de cohérence est une méthode de parcimonie pour contrôler l’ordre du modèle. Le modèle est donc défini à partir d'un dictionnaire de faible taille qui est formé par les fonctions noyau les plus pertinentes.Une fonction noyau introduite dans le dictionnaire y demeure même si la non-stationnarité du système rend sa contribution faible dans l'estimation de la sortie courante. Il apparaît alors opportun d'adapter les éléments du dictionnaire pour réduire l'erreur quadratique instantanée et/ou mieux contrôler l'ordre du modèle.La première partie traite le sujet des algorithmes adaptatifs utilisant le critère de cohérence. L'adaptation des éléments du dictionnaire en utilisant une méthode de gradient stochastique est abordée pour deux familles de fonctions noyau. Cette partie a un autre objectif qui est la dérivation des algorithmes adaptatifs utilisant le critère de cohérence pour identifier des modèles à sorties multiples.La deuxième partie introduit d'une manière abrégée le palier magnétique actif (PMA). La proposition de contrôler un PMA par un algorithme adaptatif à noyau est présentée pour remplacer une méthode utilisant les réseaux de neurones à couches multiples / Function approximation methods based on reproducing kernel Hilbert spaces are of great importance in kernel-based regression. However, the order of the model is equal to the number of observations, which makes this method inappropriate for online identification. To overcome this drawback, many sparsification methods have been proposed to control the order of the model. The coherence criterion is one of these sparsification methods. It has been shown possible to select a subset of the most relevant passed input vectors to form a dictionary to identify the model.A kernel function, once introduced into the dictionary, remains unchanged even if the non-stationarity of the system makes it less influent in estimating the output of the model. This observation leads to the idea of adapting the elements of the dictionary to obtain an improved one with an objective to minimize the resulting instantaneous mean square error and/or to control the order of the model.The first part deals with adaptive algorithms using the coherence criterion. The adaptation of the elements of the dictionary using a stochastic gradient method is presented for two types of kernel functions. Another topic is covered in this part which is the implementation of adaptive algorithms using the coherence criterion to identify Multiple-Outputs models.The second part introduces briefly the active magnetic bearing (AMB). A proposed method to control an AMB by an adaptive algorithm using kernel methods is presented to replace an existing method using neural networks

Les multicouches de polyélectrolytes, systèmes auto-assemblés par adsorptions successives de polycations et polyanions, peinent à trouver des applications concrètes en raison de leur fragilité mécanique et du temps nécessaire à leur assemblage. Pour améliorer leur tenue mécanique, nous avons développé une méthode d'assemblage couche-par-couche par liaisons covalentes de films polymères. Des films formés de polymères portant des groupements alcynes et azides ont ainsi été réticulés par une réaction click catalysée par les ions Cu+ obtenus par voie électrochimique. Pour améliorer le mode d'assemblage, l'auto-construction en une seule étape de films par approche morphogénique, a été développée. Cette approche, confinée à la surface et caractérisée par la présence en solution de l'ensemble des constituants, marque une rupture. Elle permet ainsi un contrôle spatial de l'assemblage des films et la combinaison de plusieurs modes d'interactions pendant leur assemblage. Des films dont la cohésion repose sur des interactions covalentes, hôtes-invités et supramoléculaires, ont ainsi été assemblés. L'introduction de nanoparticules métalliques dans les films (multicouches et auto-construits) a également été effectuée dans le but de développer des électrodes de grande surface spécifique. / Polyelectrolyte multilayer films, built by alternated adsorption of polycations and polyanions, face two main challenges: their construction process is tedious and their mechanical stability is poor. We developped a layer-by-layer strategy to improve the film stability by covalent reticulation of the polymers chains by click chemistry. Polymers bearing alkyne and azide functions were reticulated by triggering electrochemically the production of Cu+ catalyst ions. A one pot morphogen driven self-construction strategy was also developped to improve the buildup process of the films.In this case, all the constituants are simultaneously present in solution while the film grows up only at the electrode. Films based on covalent, host-guest and supramolecular interactions were obtained and the possibility of combining different interactions was also demonstrated. Nanoparticles were also included in layer-by-layer and self-constructed films in order to improve the electrode specific area.