La réduction des dimensions des transistors a augmenté la sensibilité des circuits numériques aux variations PVT et, plus récemment, aux effets de vieillissement, notamment BTI et HCI. De larges marges de sécurité sont donc nécessaires pour assurer un fonctionnement correct du circuit, ce qui entraîne une perte d'énergie importante. Les solutions actuelles pour améliorer l'efficacité énergétique sont principalement basées sur des solutions de type «Adaptive Voltage and Frequency Scaling (AVFS)». Cependant, ce type de solution ne peut anticiper les variations avant qu'elles ne se produisent. Cette approche doit donc être amélioré pour traiter les problèmes de fiabilité liés au vieillissement. Cette thèse propose une nouvelle méthodologie pour générer des modèles simplifiés pour estimer la fréquence maximale du circuit Fmax. Un premier modèle est créé pour estimer le délai de propagation du (des) chemin(s) critique(s) en fonction des variations PVT. Les effets BTI et HCI sont ensuite modélisés via une modification des paramètres du premier modèle. Construit à partir des modèles au niveau transistor, le modèle de vieillissement obtenu prend en compte tous les facteurs qui influent sur le vieillissement, à savoir, la topologie des circuits, l'application, la tension et la température. La méthodologie proposée est validée sur deux architectures en technologie 28nm FD-SOI. Les modèles peuvent être alimentés par des moniteurs de température et de tension, ce qui permet une évaluation précise de l'évolution de Fmax. Toutefois, ces moniteurs sont sensibles au vieillissement. Aussi, une méthode de recalibrage pour compenser les effets du vieillissement a été développée pour un moniteur numérique de température et de tension. Des exemples d'applications en ligne sont donnés. Les modèles sont également utilisés pour simuler des circuits complexes sous des variations de vieillissement, par exemple un circuit multi-cœur et un système AVFS. Cela permet d'évaluer différentes stratégies concernant la performance, l'énergie et la fiabilité. / The continuous scaling of transistor dimensions has increased the sensitivity of digital circuits to PVT variations and, more recently, to aging effects such as BTI and HCI. Large voltage guard bands, corresponding to worst-case operation, are thus necessary and leads to a considerable energy loss. Current solutions to increase energy efficiency are mainly based on Adaptive Voltage and Frequency Scaling (AVFS). However, as a reactive solution, it cannot anticipate the variation before it occurs. It has, thus, to be improved for handling long-term reliability issues. This thesis proposes a new methodology to generate simplified but nevertheless accurate models to estimate the circuit maximum operating frequency Fmax. A first model is created for the modelling of the propagation delay of the critical path(s) as a function of PVT variations. Both BTI/HCI effects are then modelled as a shift in the parameters of the first model. Built on the top of device-level models, it takes into account all factors that impact global aging, namely, circuit topology, workload, voltage and temperature variations. The proposed modelling approach is evaluated on two architectures implemented in 28nm FD-SOI technology. The models can be fed by temperature and voltage monitors. This allows an accurate assessment of the circuit Fmax evolution during its operation. However, these monitors are prone to aging. Therefore, an aging-aware recalibration method has been developed for a particular V T monitor. Examples of on-line applications are given. Finally, the models are used to simulate complex circuits under aging variations such a multi-core circuit and an AVFS system. This allows the evaluation of different strategies regarding performance, energy and reliability.

Este trabalho apresenta um estudo sobre a solução numérica da equação geral de advecção-difusão usando uma metodologia numérica conservativa. Para a discretização espacial, é usado o Método de Volumes Finitos devido à natureza conservativa da equação em questão. O método é configurado de modo a ter suas variáveis centradas em centro de célula e, para as variáveis, como a velocidade, centradas nas faces um método de interpolação de segunda ordem é utilizado para um ajuste numérico ao centro. Embora a implementação computacional tenha sido feita de forma paramétrica de maneira a acomodar outros esquemas numéricos, a discretização temporal dá ênfase ao Método de Crank-Nicolson. Tal método numérico, sendo ele implícito, dá origem a um sistema linear de equações que, aqui, é resolvido empregando-se o Método Multigrid-Multinível. A corretude do código implementado é verificada a partir de testes por soluções manufaturadas, de modo a checar se a ordem de convergência prevista em teoria é alcançada pelos métodos numéricos. Um jato laminar é simulado, com o acoplamento entre a equação de Navier-Stokes e a equação geral de advecção-difusão, em um domínio computacional tridimensional. O jato é uma forma de vericar se o algoritmo de geração de malhas adaptativas funciona corretamente. O módulo produzido neste trabalho é baseado no código computacional AMR3D-P desenvolvido pelos grupos de pesquisa do IME-USP e o MFLab/FEMEC-UFU (Laboratório de Dinâmica de Fluidos da Universidade Federal de Uberlândia). A linguagem FORTRAN é utilizada para o desenvolvimento da metodologia numérica e as simulações foram executadas nos computadores do LabMAP(Laboratório da Matemática Aplicada do IME-USP) e do MFLab/FEMEC-UFU. / This work presents a study about the numerical solution of variable coecients advectiondi usion equation, or simply, general advection-diusion equation using a conservative numerical methodology. The Finite Volume Method is choosen as discretisation of the spatial domain because the conservative nature of the focused equation. This method is set up to have the scalar variable in a cell centered scheme and the vector quantities, such velocity, are face centered and they need a second order interpolation to get adjusted to the cell center. The computational code is parametric, in which, any implicit temporal discretisation can be choosen, but the emphasis relies on Crank-Nicolson method, a well-known second order method. The implicit nature of aforementioned method gives a linear system of equations which is solved here by the Multilevel-Multigrid method. The correctness of the computational code is checked by manufactured solution method used to inspect if the theoretical order of convergence is attained by the numerical methods. A laminar jet is simulated, coupling the Navier-Stokes equation and the general advection-diusion equation in a 3D computational domain. The jet is a good way to check the corectness of adaptative mesh renement algorithm. The module designed here is based in a previous implemented code AMR3D-P designed by IME-USP and MFLab/FEMEC-UFU (Fluid Dynamics Laboratory, Federal University of Uberlândia). The programming language used is FORTRAN and the simulations were run in LabMAP(Applied Mathematics Laboratoy at IME-USP) and MFLab/FEMEC-UFU computers.

O etanol contribui significativamente para que a matriz energética do país se apresente extremamente favorável quanto à participação da energia renovável. A demanda por este biocombustível é crescente e tecnologias que permitam a sua produção de forma sustentável é de suma importância, como a fermentação com alto teor de etanol, já empregada em alguns países. Linhagens de leveduras com tolerância a múltiplos estresses muito contribuíram para a implantação de tal tecnologia no Brasil. Neste contexto se insere o presente trabalho, o qual busca linhagens de leveduras capazes de suportar os estresses impostos por uma fermentação com alto teor alcoólico. Para tal, 3 entre as melhores linhagens industriais de Saccharomyces cerevisiae atualmente disponíveis (CAT-1, PE-2 e SA- 1), foram utilizadas num programa para a seleção de híbridos para tolerância múltipla aos estresses etanólico, osmótico, ácido, além de outros, inerentes à fermentação com alto teor de etanol. Estas linhagens foram esporuladas e dissecadas para obtenção de células haplóides, as quais foram submetidas a cruzamentos entre- e intra-linhagens. Foram conduzidos cruzamentos massais (aleatórios) cujos produtos foram submetidos à evolução adaptativa em meios com os fatores estressantes em intensidades crescentes no transcorrer de 80 gerações. Ao final da evolução buscou-se variantes prevalentes na população de híbridos, os quais foram submetidos a novos procedimentos seletivos com imposições de várias condições estressantes. Igualmente foram conduzidos cruzamentos direcionados entre haplóides mediante micromanipulação, sendo tais híbridos submetidos ao mesmo procedimento seletivo nos meios estressantes. Assim, a partir de 230 haplóides das 3 linhagens, 174 isolados (120 oriundos dos cruzamentos massais e 54 dos cruzamentos direcionados) foram pré-selecionados pela maior tolerância aos meios seletivos, tendo os seus cariótipos estabelecidos mediante a cariotipagem eletroforética. Os isolados com maior tolerância (27) foram novamente avaliados em fermentações com reciclo de células e sob condições de elevado teor alcoólico (até 14,5% v/v) em mosto de melaço e água. Em todas as etapas da seleção os isolados foram comparados com as linhagens parentais (CAT-1, PE-2 e SA-1), sendo que ao final do processo seletivo destacou-se a linhagem 35B (híbrido entre CAT-1 e PE-2) com atributos fermentativos superiores aos exibidos pelos parentais. Tais atributos fermentativos contemplaram parâmetros bioquímicos, fisiológicos e tecnológicos (rendimento em etanol, viabilidade celular, crescimento em biomassa, formação de glicerol e teores celulares de carboidratos de reserva glicogênio e trealose). Os resultados permitem sugerir que devido às características fermentativas desejáveis do híbrido 35B, o mesmo possa ser empregado no processo industrial para ser avaliado como uma promissora linhagem a conduzir a fermentação com alto teor alcoólico. / Ethanol contributes significantly to the energy country matrix, which presents itself as extremely favorable to the share of renewable energy. The demand for this biofuel is increasing and technologies for its production in a sustainable way is of paramount importance such as fermentation with very high gravity, already used in some countries. Yeast strains tolerant to multiple stresses greatly contributed to the deployment of such technology in Brazil. In this context the present work is inserted, which seeks yeast strains capable of withstanding the stresses imposed by high ethanol content fermentation. In order that, three of the best industrial strains of Saccharomyces cerevisiae currently available (CAT-1, PE-2 and SA-1), were used in a program to select hybrids with tolerance towards multiples stresses: ethanolic, osmotic and acid, besides other factors involved in a high ethanol content fermentation. These strains were sporulated and dissected to obtain haploid cells, which were submitted to inter- and intra-strains crossings. Hybrids from polycrossings (random crossings) were subjected to an adaptative evolution in media with increasing stressing action over the course of 80 generations. At the end of evolution, prevalent variants were sought in the hybrids population, and submitted to new selective procedures with several stressing conditions. In the same way, directed crossings (between identified haplois) were performed by micromanipulation, and the resulting hybrids were subjected to the same selective procedure. Therefore, from 230 haploid from the 3 parent strains, 174 were isolated (120 from polycrossings and 54 from directed crossings) and pre-selected for higher tolerance in selective media; moreover their karyotypes were established by electrophoretic karyotyping. Strains showing greater tolerance (27) were again evaluated during cell recycling fermentations with high ethanol content (up to 14.5% v/v) using must formulated with water and molasses. At all stages, the isolates were compared with the parental strains (CAT-1, PE-2 and SA-1), and at the end of the selection process, the strain 35B (hybrid between CAT-1 and PE-2) standed out with fermentative attributes higher than the parentals. The fermentative performance was assessed by biochemical, physiological and technological parameters (ethanol efficiency, cell viability, biomass gain, glycerol formation and cellular levels of reserve carbohydrates - glycogen and trehalose). The results suggest that due to desirable fermentation traits, the hybrid 35B, could be used as starter in industrial fermentation process with high ethanol content.

La connaissance des exoplanètes est aujourd'hui une problématique majeure en astronomie. Leur observation directe depuis le sol est cependant rendue extrêmement délicate par le rapport de flux existant entre la planète et son étoile hôte mais également par la turbulence atmosphérique. Ce type d'observation implique donc l'utilisation d'instruments dédiés, alliant un grand télescope, un système d'optique adaptative extrême, un coronographe supprimant physiquement les photons issus de l'étoile,une instrumentation plan focale optimisée (imageur différentiel ou spectrographe à intégrale de champ par exemple), mais également uneméthodologie de traitement de données efficace. Le projet SPHERE regroupe ces différents points et fixe le cadre des études effectuées dans cette thèse. Mon travail de thèse a consisté à développer,mettre en oeuvre et à optimiser différentes méthodes permettant d'assurer une détectivité optimale. Ces méthodes ont porté dans un premier temps sur l'optimisation d'un système d'optique adaptative via la mesure et la compensation des aberrations non-vues. Ces aberrations constituent une des principales limitations actuelles des systèmes d'optique adaptative extrême. La méthode proposée, alliant une amélioration de la technique de diversité de phase et une nouvelle procédure de calibration appelée « pseudo closed-loop » a été validée par simulation et testée sur le banc d'optique adaptative de l'ONERA. Une précision ultime de moins de 0,4nm rms par mode a été démontrée, conduisant à un rapport de Strehl interne sur le banc supérieur à 98.0% à 0,6μm. Dans un deuxième temps, mon travail a consisté à proposer une méthode de traitement d'image a posteriori dans le cadre de l'imagerie différentielle sans coronographe, qui consiste à acquérir simultanément des images à différentes longueurs d'onde. Cette méthode, fondée sur une approche de Maximum A Posteriori, utilise l'information multi-longueur d'onde de l'imageur différentiel, pour estimer conjointement les résidus de turbulence ainsi que les paramètres de l'objet. En plus de l'imagerie différentielle spectrale, l'instrument SPHERE permet d'acquérir des images différentielles angulaires, c'est-à-dire avec rotation de champ. Une méthode fondée sur la théorie de la détection est proposée pour traiter de façon optimale ce type de données. Enfin, dans le contexte de l'imagerie coronographique, j'ai proposé dans un troisième temps un modèle novateur complet de formation d'image d'une longue pose avec coronographe. Ce modèle prend en compte un coronographe parfait, des aberrations statiques en amont et en aval du masque focal, et la fonction de structure de la turbulence après correction par OA. Ce modèle est utilisé dans une méthode d'inversion permettant d'estimer l'objet observé. Ces méthodesà fort potentiel devraient être implantées à terme sur l'instrument SPHERE, et devraient permettre la découverte de nouvelles exoplanètes à l'horizon 2011.

Cette thèse s'insère dans le contexte général de la propagation d'incertitudes et de l'analyse de sensibilité de modèles de simulation numérique, en vue d'applications industrielles. Son objectif est d'effectuer de telles études en minimisant le nombre d'évaluations du modèle, potentiellement coûteuses. Le présent travail repose sur une approximation de la réponse du modèle sur la base du chaos polynomial(CP), qui permet de réaliser des post-traitements à un coût de calcul négligeable. Toutefois, l'ajustement du CP peut nécessiter un nombre conséquent d'appels au modèle si ce dernier dépend d'un nombre élevé de paramètres (e.g. supérieur à 10). Pour contourner ce problème, on propose deux algorithmes pour ne sélectionner qu'un faible nombre de termes importants dans la représentation par CP, à savoir une procédure de régression pas-à-pas et une procédure basée sur la méthode de Least Angle Regression (LAR). Le faible nombre de coefficients associés aux CP creux obtenus peuvent ainsi être déterminés à partir d'un nombre réduit d'évaluations du modèle. Les méthodes sont validées sur des cas-tests académiques de mécanique, puis appliquées sur le cas industriel de l'analyse d'intégrité d'une cuve de réacteur à eau pressurisée. Les résultats obtenus confirment l'efficacité des méthodes proposées pour traiter les problèmes de propagation d'incertitudes et d'analyse de sensibilité en grande dimension.

Dans cette thèse nous traitons deux sujets. Le premier sujet concerne l'apprentissage statistique en grande dimension, i.e. les problèmes où le nombre de paramètres potentiels est beaucoup plus grand que le nombre de données à disposition. Dans ce contexte, l'hypothèse généralement adoptée est que le nombre de paramètres intervenant effectivement dans le modèle est petit par rapport au nombre total de paramètres potentiels et aussi par rapport au nombre de données. Cette hypothèse est appelée ``\emph{sparsity assumption}''. Nous étudions les propriétés statistiques de deux types de procédures : les procédures basées sur la minimisation du risque empirique muni d'une pénalité $l_{1}$ sur l'ensemble des paramètres potentiels et les procédures à poids exponentiels. Le second sujet que nous abordons concerne l'étude de procédures d'agrégation dans un modèle de densité. Nous établissons des inégalités oracles pour la norme $L^{\pi}$, $1\leqslant \pi \leqslant \infty$. Nous proposons ensuite une application à l'estimation minimax et adaptative en la régularité de la densité.

Le travail présenté dans ce mémoire concerne l'élaboration d'une stratégie complète d'identification et de commande neuronale d'un filtre actif parallèle (FAP). L'objectif visé est l'amélioration des performances par rapport aux systèmes classiques de dépollution des installations électriques basse tension. Basée sur l'utilisation des techniques neuromimétiques, notre approche de compensation des harmoniques se fait en trois étapes. Les deux premières étapes identifient respectivement les composantes de la tension et les courants harmoniques à l'aide de réseaux de neurones du type Adaline. La troisième étape injecte les courants harmoniques dans le réseau électrique par un module de commande à base de réseaux de neurones multicouches. Plusieurs architectures neuronales ont été développées et comparées pour chacune des étapes. La structure proposée s'adapte automatiquement aux variations de la charge du réseau et donc aux fluctuations du contenu harmonique des perturbations. Elle permet également la compensation sélective des harmoniques et la correction du facteur de charge. Finalement, ces stratégies ont été validées sur un banc expérimental et leur aptitude à l'intégration matérielle a été testée en simulation.

L'étude de la propagation d'un faisceau laser intense dans un plasma chaud est très importante pour la fusion thermonucléaire par confinement inertiel. Nous présentons dans ce travail de thèse des expériences réalisées à l'aide d'un faisceau laser focalisé au plus proche de la limite de diffraction, afin de simplifier la géométrie de l'interaction laser plasma, et de comparer les résultats obtenus avec ceux de simulations numériques adaptées aux conditions de l'expérience. <br>Nous étudions la modification de la distribution d'intensité laser au cours du temps, et en différents plans de propagation, à partir de l'imagerie résolue en temps et en espace de cette distribution d'intensité, en champ proche et en champ lointain. <br>Nous présentons notamment la première observation expérimentale de l'instabilité de filament, l'éclatement du faisceau fonction du temps, de l'espace, du gradient de vitesse.<br>Nous donnons enfin la première et unique observation d'images de la localisation transverse de la rétrodiffusion Brillouin stimulée.

La première partie de ce manuscrit est consacrée à l'étude de la formation et de l'évolution des galaxies. Pour reconstituer l'histoire de l'évolution des galaxies, le rôle de l'information cinématique est décisif. Dans ce contexte, la spectroscopie intégrale de champ est un outil particulièrement efficace car il permet d'obtenir un diagnostic cinématique complet.<br />Je présenterai dans un premier temps les résultats obtenus grâce à l'instrument GIRAFFE dans le cadre du large programme d'observation IMAGES. Ces résultats montrent que la fraction de galaxies n'ayant pas encore atteint leur équilibre dynamique à z~0.6 est importante. Par ailleurs, l'analyse morphologique détaillée de l'échantillon IMAGES montre que la fraction des galaxies spirales en rotation était environ deux fois plus faible à z~0.6 que dans l'Univers local. En étudiant plus en détails cette population, nous sommes capables pour la première fois d'expliquer la formation d'une partie des galaxies spirales locales.<br />Une des conclusions essentielles de cette étude est qu'en combinant des observations dynamiques et morphologiques, on est désormais en mesure de disséquer et de comprendre l'histoire individuelle de chaque galaxie à z<1. Dans les prochaines années, ces études pourront être étendues à des galaxies à z>>1 grâce à la mise en service des futurs ELTs.<br />Pour cela, ces télescopes géants devront intégrer des systèmes d'Optique Adaptative pour compenser en temps réel la dégradation des images due à la turbulence. La faible luminosité des objets à observer, combinée à la taille des champs à corriger, rend indispensable la mise en place de sources artificielles et d'OA tomographiques. La deuxième partie de cette thèse est donc consacrée à l'étude de l'OA tomographique pour les futurs ELTs.<br />Le travail présenté porte en particulier sur l'étude et l'analyse des limites fondamentales des techniques tomographiques. En nous appuyant sur des développements théoriques dans une base de Fourier, nous proposons plusieurs voies pour l'optimisation de ces futurs systèmes.<br />La dernière partie de cette thèse est consacrée à l'étude de EAGLE: un projet de spectrographe intégrale de champ multi-objets pour l'ELT européen.<br />A l'aide des résultats obtenus avec GIRAFFE pour la définition des critères scientifiques et de l'analyse des techniques tomographiques, nous proposons un premier design d'optique adaptative capable de répondre aux besoins de la spectroscopie intégrale de champ des galaxies à z>>1. <br />En alliant la haute résolution spatiale et spectrale avec le pouvoir collecteur immense des futurs ELTs, l'instrument EAGLE apportera certainement des indices décisifs dans notre compréhension des processus à l'oeuvre pour l'assemblage de la masse dans les galaxies.

Le nombre de degrés de liberté à contrôler dans un système d'optique adaptative (OA) passe de quelques centaines pour les grands télescopes actuels à plusieurs milliers prévus sur les futurs télescopes de 30 à 100 mètres de diamètre. La méthode de commande de cette OA doit être repensée à la fois pour être en adéquation avec les nouveaux critères de performance et pour pouvoir estimer un si grand nombre de paramètres en temps réel. Je montre d'abord qu'il est possible d'améliorer l'estimation de la déformation de la surface d'onde, d'un facteur 2 sur la variance de l'erreur, en tenant compte de connaissances a priori sur la statistique de la turbulence atmosphérique et ce, tout en utilisant un algorithme rapide adapté aux grands systèmes. Ensuite, l'optimisation d'un critère en boucle fermée me conduit à une commande optimale par modèle interne, applicable en temps réel sur un télescope hectométrique grâce à l'algorithme rapide cité précédemment. La robustesse de cette nouvelle méthode de commande a enfin été éprouvée sur un simulateur complet d'OA et ses performances ont été comparées à d'autres approches.