L’amélioration des performances des détecteurs (au niveau de la résolution en énergie et de la résolution spatiale) pour la radiographie X médicale par l’utilisation d’un semi-conducteur montre l’intérêt de remplacer les détecteurs à base de cristaux scintillateurs (majorité des systèmes commerciaux) par un détecteur à base de semi-conducteur. Avec une perspective de respect environnemental, ces travaux portent sur le développement d’une nouvelle génération de détecteurs à base de semi-conducteur, différent du CdTe, pour l’imagerie médicale de rayons X fonctionnant en mode comptage, ce qui permet la réduction de la dose de rayonnement envoyée sur le patient. Deux axes de recherches en découlent, avec le choix d’un nouveau matériau semi-conducteur, le GaAs semi-isolant et d’une nouvelle géométrie de détection, la géométrie 3D.Ces travaux ont consisté à évaluer expérimentalement le semi-conducteur, afin de choisir un matériau (fournisseur, croissance) et une électrode métallique qui ont la capacité de compter des photons. Puis, la structure de détection, au travers de caractérisations des procédés technologiques nécessaires pour la réalisation de la géométrie 3D (usinage des électrodes, dépôt des électrodes, connexion à un circuit électronique) et de la validation du concept avec un dispositif de test, a été également étudiée. Enfin, les premiers résultats d’un détecteur 3D à base de GaAs semi-isolant, montrant la concrétisation de ces objectifs, sont proposés. / In X-ray medical imaging, semi-conductors tend to replace scintillator crystals (most of the commercial devices), thank to their higher spatial resolution and energy resolution. Counting mode is another tendency, because it allows reducing the radiation dose delivered to the patient. This work aims at developing a new generation of semi-conductor detectors, different from CdTe / CdZnTe for environmental concerns, and associated with a new detection structure (3D geometry). Semi-insulating GaAs from specific growth and supplier, with adapted metallic electrodes, shows the ability to count photons. Then, a proof of concept of the 3D geometry is provided, through the characterization of electrodes machining in bulk material, metal deposition and connection to a read-out electronic circuit. Finally, the achievement of these objectives is reflected in the preliminary characterization of 3D detector based on semi-insulating GaAs.

Le besoin croissant en simulation a conduit à l’élaboration de supercalculateurs complexes et d’un nombre croissant de logiciels hautement parallèles. Ces supercalculateurs requièrent un rendement énergétique et une puissance de calcul de plus en plus importants. Les récentes évolutions matérielles consistent à augmenter le nombre de noeuds de calcul et de coeurs par noeud. Certaines ressources n’évoluent cependant pas à la même vitesse. La multiplication des coeurs de calcul implique une diminution de la mémoire par coeur, plus de trafic de données, un protocole de cohérence plus coûteux et requiert d’avantage de parallélisme. De nombreuses applications et modèles actuels peinent ainsi à s’adapter à ces nouvelles tendances. En particulier, générer du parallélisme massif dans des méthodes d’éléments finis utilisant des maillages non structurés, et ce avec un nombre minimal de synchronisations et des charges de travail équilibrées, s’avèrent particulièrement difficile. Afin d’exploiter efficacement les multiples niveaux de parallélisme des architectures actuelles, différentes approches parallèles doivent être combinées. Cette thèse propose plusieurs contributions destinées à paralléliser les codes et les structures irrégulières de manière efficace. Nous avons développé une approche parallèle hybride par tâches à grain fin combinant les formes de parallélisme distribuée, partagée et vectorielle sur des structures irrégulières. Notre approche a été portée sur plusieurs applications industrielles développées par Dassault Aviation et a permis d’importants gains de performance à la fois sur les multicoeurs classiques ainsi que sur le récent Intel Xeon Phi. / The growing need for numerical simulations results in larger and more complex computing centers and more HPC softwares. Actual HPC system architectures have an increasing requirement for energy efficiency and performance. Recent advances in hardware design result in an increasing number of nodes and an increasing number of cores per node. However, some resources do not scale at the same rate. The increasing number of cores and parallel units implies a lower memory per core, higher requirement for concurrency, higher coherency traffic, and higher cost for coherency protocol. Most of the applications and runtimes currently in use struggle to scale with the present trend. In the context of finite element methods, exposing massive parallelism on unstructured mesh computations with efficient load balancing and minimal synchronizations is challenging. To make efficient use of these architectures, several parallelization strategies have to be combined together to exploit the multiple levels of parallelism. This P.h.D. thesis proposes several contributions aimed at overpassing this limitation by addressing irregular codes and data structures in an efficient way. We developed a hybrid parallelization approach combining the distributed, shared, and vectorial forms of parallelism in a fine grain taskbased approach applied to irregular structures. Our approach has been ported to several industrial applications developed by Dassault Aviation and has led to important speedups using standard multicores and the Intel Xeon Phi manycore.

Dans cette étude de thèse, le problème du co-design mécanique/contrôle d’attitude avec méthodesde la commande robuste structurée est considéré. Le problème est abordé en développant une techniquepour la modélisation de systèmes flexibles multi-corps, appelé modèle Two-Input Two-Output Port (TITOP).En utilisant des modèles d’éléments finis comme données d’entrée, ce cadre général permet de déterminer, souscertaines hypothèses, un modèle linéaire d’un système de corps flexibles enchaînés. De plus, cette modélisationTITOP permet de considérer des variations paramétriques dans le système, une caractéristique nécessaire pourréaliser des études de co-design contrôle/structure. La technique de modélisation TITOP est aussi étenduepour la prise en compte des actionneurs piézoélectriques et des joints pivots qui peuvent apparaître dans lessous-structures. Différentes stratégies de contrôle des modes rigides et flexibles sont étudiées avec les modèles obtenus afin de trouver la meilleure architecture de contrôle pour la réjection des perturbations basse fréquence etl’amortissement des vibrations. En exploitant les propriétés d’outils de synthèse H1 structurée, la mise enoeuvre d’un schéma de co-design est expliquée, en considérant les spécifications du système (bande passantedu système et amortissement des modes) sous forme de contraintes H1. L’étude d’un tel co-design contrôled’attitude/mécanique d’un satellite flexible est illustré en utilisant toutes les techniques développées, optimisantsimultanément une loi de contrôle optimisée et certains paramètres structuraux. / In this PhD thesis, the integrated control/structure design of a large flexible spacecraft isaddressed using structured H1 synthesis. The problem is endeavored by developing a modeling technique forflexible multibody systems, called the Two Input Two Output Port (TITOP) model. This general frameworkallows the assembly of a flexible multibody system in chain-like or star-like structure, using finite elementmodels as input data. Additionally, the TITOP modeling technique allows the consideration of parametricvariations inside the system, a necessary characteristic in order to perform integrated control/structure design. In contrast to another widely used method, the assumed modes method, the TITOP modelling technique is robust against changes in the boundary conditions which link the flexible bodies. Furthermore, the TITOP modeling technique can be used as an accurate approximation even when kinematic nonlinearities can be large. The TITOP modeling technique is extended to the modeling of piezoelectric actuators and sensors for the control of flexible structures and revolute joints. Different control strategies, either for controlling rigid body and flexible body motion, are tested with the developed models for obtaining the best controller’s architecture in terms of perturbation rejection and vibration damping. The implementation of the integrated control/structure design in the structured H1 scheme is developed considering the different system’s specifications, such as system’s bandwidth or modes damping, in the form of H1 weighting functions. The integrated attitude control/structure design of a flexiblesatellite is performed using all the developed techniques and the optimization of the control law and severalstructural parameters is achieved.

Dans la plupart des problèmes de synthèse, la loi de commande obtenue doit répondre simultanément à des critères réquentiels et temporels en vue de satisfaire un cahier des charges précis. Les derniers développements des techniques de synthèse Hinf de contrôleurs structurés permettent d'obtenir des lois de commande satisfaisant des critères fréquentiels multiples. En revanche, la synthèse de loi de commande satisfaisant une contrainte temporelle sur une sortie ou un état du système est plus complexe. Dans ce travail de thèse, la technique OIST est considérée pour ce type de contraintes. Elle consiste à saturer la sortie du contrôleur dès que la contrainte n'est plus vérifiée afin de restreindre l'ensemble des sorties admissibles. Initialement formulée pour les systèmes linéaires connus dont l'état est mesuré, la technique OIST peut être généralisée pour permettre de considérer des systèmes incertains. C'est l'extension OISTeR qui est proposée dans ce travail. Elle utilise les données d'un observateur par intervalles pour borner de manière garantie le vecteur d'état. La théorie des observateurs par intervalles a récemment fait l'objet de nombreux travaux. La méthode la plus rapide pour obtenir un observateur par intervalles d'un système donné est de considérer un système intermédiaire coopératif dans de nouvelles coordonnées. Une nouvelle technique de détermination de ces nouvelles coordonnées, intitulée SCorplO, est proposée dans ce mémoire. L'ensemble des techniques présentées est appliqué au contrôle d'un lanceur flexible durant son vol atmosphérique, en présence de rafales de vent et sous contrainte temporelle sur l'angle d'incidence. / Ln control design problems, both frequency- and time-domain requirements are usually considered such that the resulting control law satisfies the specifications. Novel non-smooth optimization techniques can be used to achieve multiple frequency-domain specifications over a family of linear models. However, enforcing time-domain constraints on a given output or state is more challenging Since translating them into frequency-domain requirements may be inaccurate. This motivates the study of an additional approach to the Hinf control design techniques. When time-domain constraints are satisfied, the nominal control law reduces to a controller satisfying the frequency-domain constraints. Upon violation of the ime-domain constraint, an additional tool named OIST is used to saturate the controller output so as to restrict the reachable set of the constrained system output. Stability guarantees are obtained for minimum phase systems. Further developments proposed therein allow the consideration of uncertain systems With incomplete state measurements. This is he OISTeR approach. The method uses certified bounds on the considered system state as provided by an interval observer. he theory of interval observers is well-established. ln the case of linear systems, the most common approach is to consider an intermediate cooperative system on which the interval observer can be built. The novel SCorplO design method proposed in this work is used to compute such cooperative representation. ln this thesis, the considered application is the atmospheric control of a flexible launch vehicle under a time-domain constraint on the angle of attack and in the presence of wind gusts.

Cette thèse traite de modélisation des systèmes complexes. Dans ce cadre, l'approche est basée sur les Modèles Structurés en Second Ordre (MSSO). Afin d'utiliser cette classe de modèles, les propriétés telles que l'atteignabilité, l'observabilité et les grammiens, bien connues pour les réalisations d'états, sont étendues aux MSSO.Lors de la co-simulation d'un système, des éléments de natures différentes (physiques et logicielles) sont intégrés et la simulation est effectuée en temps réel. Or, les modèles d'ordre élevés sont couteux en temps de calcul, ce qui rend difficile ce type de simulation. Ainsi, des méthodes de réduction de modèle sont explorées. En particulier, de nouvelles méthodes, permettant de préserver la structure des modèles avec une bonne erreur d'approximation sont présentées.Ces développements sont appliqués à la co-simulation de modèles véhicules sous forme de MSSO. Le modèle créé est un modèle par blocs, complexe et non-linéaire. Afin d'appliquer les méthodes de réduction de modèle il est nécessaire de le linéariser. La structure par blocs permet de linéariser l'ensemble du modèle ou de ne linéariser que certaines sous parties du modèle.Ensuite, l'identification des paramètres est effectuée pour chaque sous-systèmes du véhicule. Une méthode d'interconnexion est ensuite proposée pour créer une représentation monobloc du modèle afin de réduire ce dernier. Au final, des essais en co-simulation de la partie arrière du véhicule sous forme de modèle interconnectée avec la partie avant du véhicule physiquement présente sur un banc de test, valide notre approche pour effectuer de la co-simulation temps réel avec matériel.x / This thesis studies the modeling of complex systems. In this framework, the approach is based on Second Order Form Model (SOFM). In order to use this kind of models, properties such as the reachability, the observability, the gramians and the Markov parameters, well known for state-space representation, are extended to the SOFM. During the co-simulation of a system, its physical parts are interconnected to models which simulate the system environement and the simulation is performed in real time. However, the simulation of high order models consumes to much time to be performed in real time. Therefore, model order reduction methods are studied. Particularly, new methods preserving SOFM structure with a good approximation error are presented. These developments are applied to the vehicle dynamic. Hence, a vehicle SOFM model is developed. The created model is a blockwise model where each blocks describes a part of the vehicle. This model is complex and non-linear. In order to apply the model order reduction methods, model linearisation is necessary. The block modeling allows to linearise the full model or allows to linearise some part of the model. Then, the identification of the model parameters is done by vehicle sub-system. In addition, an interconnection method is proposed to build a monobloc model in order to reduce it. Finally, co-simulations of the model vehicle rear part interconnected to the physical front part of the vehicle show the capacity to make co-simulation with the reduced models.

L’objectif de ces travaux est pour d’apporter des solutions innovantes à la réalisation de dispositifs passifs performants et compacts, susceptibles d’intéresser les concepteurs de circuits RF et millimétriques. Ces dispositifs sont basés notamment sur des lignes microrubans à ondes lentes sur substrat structuré, que cela soit sur PCB avec des vias borgnes pour la RF, ou nanostructurés sur membranes à nanofils pour le millimétrique. Les travaux complets comprennent (i) une analyse de la topologie, (ii) un développement du modèle équivalent validée par des simulations électromagnétiques (HFSSTM) et des mesures sur PCB et sur des membranes brésiliennes en millimétrique, (iii) des abaques de conceptions et (iv) des applications à la conception des nouveaux dispositifs passifs miniaturisés. Notre lignes offrent une grande souplesse de conception et peuvent être placées indifféremment sur le substrat structuré sans modification de leurs paramètres électriques. Un nouveau coupleur hybride miniaturisé par l’utilisation de cette ligne est présenté comme une preuve de concept. Pour aller plus loin, une étude comparable des structures de lignes microrubans couplées à ondes lentes est développée. Le principe du couplage sur substrat structuré est d’abord exposé avec une présentation de ses avantages et inconvénients, puis un modèle est également proposé dans le but de réaliser un coupleur co-directif 0-dB miniaturisé par l’utilisation de ces lignes. De plus, un des parties essentielles de ces travaux concerne l’utilisation de la structure microruban à onde lente pour la miniaturisation de dispositifs passifs non-réciproques : un nouvel isolateur microruban compact avec l’introduction de vias dans le ferrite et une nouvelle conception de circulateur miniaturisé sur le substrat ferrite-diélectrique avec un réseau de vias borgnes. / This work focuses on providing innovate solutions into the realization of high-quality and compact passive devices for designer on RF and millimeter-wave bands. These devices are based on slow-wave microstrip lines on structured substrate, either on PCB with blind vias for RF applications, or on metallic nanowire membrane. The complete works include (i) an analysis of topology, (ii) a development of equivalent model validated by the electromagnetic simulations (HFSSTM) and the measurements, (iii) design charts and (iv) applications on design of novel miniaturized passive devices. These transmission lines give the flexibility for designers and capability to be indifferently placed on structured substrate without any impact on their electrical parameters. A novel miniaturized hybrid coupler using this line is proposed, as a proof of concept. In the other hand, a comparable study on the structure of slow-wave coupled microstrip lines is developed. The principal of coupling on structured substrate is shown for their advantages and drawbacks and then an electrical model is also proposed in order to realize a miniaturized 0-dB forward-wave directional coupler using these lines. Moreover, an essential part of this thesis concerns the utilization of the slow-wave microstrip structure to miniaturize the non-reciprocal passive devices: a novel microstrip isolator with the introduction of vias inside the ferrite and a novel design of the miniaturized circulator on a ferrite-dielectric substrate with blind vias.

Ce travail de thèse est consacré à deux thèmes de recherche en Calcul Scientifique liés par l'approximation numérique de problèmes en mécanique des fluides. Le premier thème concerne l'approximation numérique des équations de Stokes, modélisant les écoulements de fluides incompressibles à vitesse faible. Ce thème est présent dans plusieurs travaux en Calcul Scientifique. La discrétisation en temps est réalisée à l'aide de la méthode de projection. La discrétisation en espace utilise la méthode des éléments finis mixtes hybrides qui permet d'imposer de façon exacte la contrainte d'incompressibilité. Cette approche est originale: la méthode des éléments mixtes hybrides est couplée avec une méthode d'éléments finis standards. L'ordre de convergence des deux méthodes est préservé. Le second thème concerne la mise au point de méthodes numériques de type volumes finis pour la résolution de l'équation Level Set. Ces équations interviennent de manière essentielle dans la résolution des problèmes de propagation d'interfaces. Dans cette partie, nous avons développé une nouvelle méthode d'ordre 2 de type MUSCL pour résoudre le système hyperbolique résultant de l'équation Level Set. Nous illustrons ces propriétés par des applications numériques. En particulier nous avons regardé le cas du problème des deux demi-plans pour lequel notre schéma donne une approximation pour le gradient de la fonction Level Set. Par ailleurs, l'ordre de précision attendu est obtenu avec les normes $L_1$ et $L_{\infty}$ pour des fonctions régulières. Pour finir, il est à noter que notre méthode peut être facilement étendue aux problèmes d'Hamilton-Jacobi du premier et du second ordre.

L'objectif de cette dissertation est de développer une approche originale de validation de circuits digitaux complexes décrits dans le langage VHDL. Nous proposons de générer automatiquement, à partir d'une description VHDL comportemental au niveau algorithmique, les vecteurs de test à appliquer sur une description de niveau RTL. Nous présentons d'abord la validation de descriptions VHDL au niveau algorithmique dans le contexte général du processus de conception de circuits complexes. Ce type de description étant similaire à un programme, nous explorons les techniques utilisées dans le domaine du test de logiciels, notamment celles basées sur un critère de couverture. Nous présentons le critère du test structuré, qui est fondé sur l'utilisation du graphe de flot de contrôle du programme sous test, et de la complexité cyclomatique de McCabe comme index du nombre de chemins à tester. Nous présentons également l'algorithme de Poole qui permet de générer cet ensemble de chemins. Cependant, le langage VHDL possède des caractéristiques que l'on ne retrouve pas dans les langages de programmation traditionnels (notion de temps, interconnexion de « process » s'exécutant en parallèle, mécanisme de « retard delta »). Nous proposons donc une modélisation adéquate sous forme de graphes, permettant d'appliquer les techniques précédentes à des descriptions VHDL restreintes à un sous-ensemble prenant en compte un style de description algorithmique : un graphe de flot de contrôle, un graphe de modélisation de « process », un graphe de dépendance. Nous exposons ensuite une méthodologie pour la génération de vecteurs de test à partir des chemins générés depuis ces graphes : application de l'algorithme de Poole sur la base de la complexité cyclomatique, analyse et modification éventuelle des chemins, génération et résolution des contraintes, extraction des vecteurs de test. L'approche est finalement illustrée par la réalisation du prototype logiciel GENESI qui nous a permis d'obtenir des résultats sur les « benchmarks ITC'99 ».

En mécanique des fluides (CFD), l'adaptation de maillage anisotrope est reconnue pour sa capacité à réduire le ratio entre le nombre de degrés de liberté et la précision du calcul. Cependant, son application dans le cas d'écoulements compressibles avec des chocs pose les problématiques suivantes : (i) les schémas numériques d'ordre élevé de type shock capturing retombent à l'ordre un dans les chocs, (ii) les senseurs utilisés pour l'adaptation prescrivent dans les chocs des tailles qui tendent vers zéro. Il est donc nécessaire de prescrire une taille minimale. On perd alors tout l'intérêt d'une adaptation anisotrope. On apporte une réponse à ces problématiques en considérant une adaptation anisotrope multi-échelles du maillage basée sur le modèle de maillage continu. On alors montre que le processus adaptatif converge dans les chocs si le schéma numérique utilisé est non compressif. La prescription d'une taille minimale n'est plus nécessaire. On retrouve également un ordre deux de convergence dans tout le domaine, même en présence de chocs. Si on se donne des informations supplémentaires (fonctionnelle précise à observer, équation aux dérivées partielles, schéma numérique utilisé pour la résoudre) les méthodes génériques précédentes ne sont plus op- timales dans la distribution des degrés de liberté. On étudie cette problématique dans le cas particulier des équations d'Euler pour des fonctionnelles scalaires. Ce type d'étude est très bien adapté pour le calcul de grandeurs d'intérêt comme la portance ou la traînée en aérodynamique. On propose une estimation d'erreur a priori pour le contrôle de l'erreur d'approximation sur une fonctionnelle. Cette estimation est ensuite minimisée sur l'espace des maillages continus afin de décrire le maillage anisotrope optimal. Enfin, on applique l'adaptation multi-échelles à la prédiction haute-fidélité du bang sonique.

Les particules colloïdales transportées dans la zone non saturée du sol facilitent le transport des contaminants vers les eaux souterraines. Dans cette thèse, l'intérêt est porté sur la mobilisation in-situ et le transport des particules naturellement présentes dans des colonnes de sol non remaniées, et ceci sous des conditions non saturées d'écoulement. L'étude soulève la problématique de la disponibilité et de la possibilité de régénération ou d'épuisement du stock (« pool ») de particules mobilisables. L'objectif de la thèse est d'étudier l'évolution temporelle du stock de particules que ce soit pendant l'événement pluvieux ou pendant la durée d'interruption de pluie (la pause) qui sépare deux événements pluvieux successifs.<br><br>En s'appuyant sur les données expérimentales, un modèle de mobilisation et de transport préférentiel des particules dans des lysimètres (70 cm hauteur, 25 cm diamètre) a été élaboré. Le modèle utilise l'approche des ondes cinématiques dispersives pour décrire le transfert de l'eau, et l'équation convection dispersion avec un terme source/puit pour décrire la mobilisation et le transfert des particules. L'idée de base du modèle est de prendre en compte la possibilité d'une évolution temporelle du stock de particules mobilisables pendant l'événement pluvieux. Ceci est fait à travers une cinétique de détachement (source) de premier ordre ayant un coefficient de détachement variable avec le temps. Quant au terme puit, il est décrit par une cinétique d'attachement de premier ordre ayant un coefficient d'attachement constant avec le temps. Le modèle reproduit avec satisfaction les tendances des particulogrammes pour différentes conditions physico-chimiques expérimentales.<br><br>L'évolution temporelle du pool de particules mobilisables pendant la pause qui sépare deux événements pluvieux est étudiée expérimentalement. Ceci est fait en observant l'impact de la durée de pause sur la mobilisation ultérieure de particules. Pour cela, une large gamme de durées de pauses (allant d'une heure à un mois et demi) est essayée sur deux sols différents et avec deux forces ioniques et deux intensités de pluie différentes. Les pauses sont imposées dans un ordre croissant, régulier ou irrégulier. Les résultats montrent que la mobilisation de particules durant la pause dépend de sa durée. Le comportement de mobilisation observé est assez particulier : la masse de particules mobilisées par événement pluvieux augmente, passe par un maximum puis diminue pour des pauses croissantes. Les forces capillaires semblent être le mécanisme responsable de la mobilisation de particules durant la pause.<br><br>L'application du modèle de transport de particules sur tous les particulogrammes résultant de l'étude de l'effet de pause sur la mobilisation ont permis de lier le paramètre décrivant le détachement par accélération du flux d'eau à une condition expérimentale : la durée de pause.