La prévention des risques industriels nécessite de simuler la dispersion turbulente de polluants. Cependant, les outils majoritairement utilisés à ce jour ne permettent pas de traiter les champs proches dans le cas de géométries complexes, et il est nécessaire d'utiliser les outils de CFD (“ Computational Fluid Dynamics ”) plus adaptés, mais plus coûteux. Afin de simuler les écoulements atmosphériques avec dispersion de polluants, les modèles CFD doivent modéliser correctement d'une part, les effets de flottabilité, et d'autre part les effets de la turbulence. Plusieurs approches existent, notamment dans la prise en compte des effets de flottabilité et la modélisation de la turbulence, et nécessitent des méthodes numériques adaptées aux spécificités mathématiques de chacune d'entre elles, ainsi que des schémas numériques précis pour ne pas polluer la modélisation. Une formulation d'ordre élevé en volumes finis, sur maillages non structurés, parallélisée, est proposée pour simuler les écoulements atmosphériques avec dispersion de polluants. L'utilisation de schémas d'ordre élevé doit permettre d'une part de réduire le nombre de cellules et diminuer les temps de simulation pour atteindre une précision donnée, et d'autre part de mieux contrôler la viscosité numérique des schémas en vue de simulations LES (Large Eddy Simulation), pour lesquelles la viscosité numérique des schémas peut masquer les effets de la modélisation. Deux schémas d'ordre élevé ont été étudiés et implémentés dans un solveur 3D Navier Stokes incompressible sur des maillages volumes finis non structurés. Nous avons développé un premier schéma d'ordre élevé, correspondant à un schéma Padé volumes finis, et nous avons étendu le schéma de reconstruction polynomiale de Carpentier (2000) aux écoulements incompressibles. Les propriétés numériques des différents schémas implémentés dans le même code de calcul sont étudiées sur différents cas tests bi-dimensionnels (calcul de flux convectifs et diffusifs sur une solution a-priori, convection d'une tâche gaussienne, décroissance d'un vortex de Taylor et cavité entraînée) et tri-dimensionnel (écoulement autour d'un obstacle cubique). Une attention particulière a été portée à l'étude de la précision et du traitement des conditions limites. L'implémentation proposée du schéma polynomial permet d'approcher, pour un maillage identique, les temps de simulation obtenus avec un schéma décentré classique d'ordre 2, mais avec une précision supérieure. Le schéma compact donne la meilleure précision. En utilisant une méthode de Jacobi sans calcul implicite de la matrice pour calculer le gradient, le temps de simulation devient intéressant uniquement lorsque la précision requise est importante. Une alternative est la résolution du système linéaire par une méthode multigrille algébrique. Cette méthode diminue considérablement le temps de calcul du gradient et le schéma Padé devient performant même pour des maillages grossiers. Enfin, pour réduire les temps de simulation, la parallélisation des schémas d'ordre élevé est réalisée par une décomposition en sous domaines. L'assemblage des flux s'effectue naturellement et différents solveurs proposés par les librairies PETSC et HYPRE (solveur multigrille algébrique et méthode de Krylov préconditionnée) permettent de résoudre les systèmes linéaires issus de notre problème. Le travail réalisé a consisté à identifier et déterminer les paramètres de résolution qui conduisent aux temps de simulation les plus faibles. Différents tests de speed-up et de scale-up ont permis de déterminer la méthode la plus efficace et ses paramètres optimaux pour la résolution en parallèle des systèmes linéaires issus de notre problème. Les résultats de ce travail ont fait l'objet d'une communication dans un congrès international “ parallel CFD juin 2008 ” et d'un article soumis à “ International Journal for Numerical Methods in Fluids ” (Analysis of high-order finite volume schemes for the incompressible Navier Stokes equations)

L'objectif est d'améliorer la stabilité et la précision de la discrétisation spatiale de type volumes finis sur des maillages non structurés. La thèse fournit une analyse générale de la reconstruction des polynômes de degré k en maillage non structuré et présente plusieurs algorithmes permettant de reconstruire des polynômes sur de petits voisinages compacts. Une étude théorique de la stabilité établit des principes pour concevoir des méthodes de reconstruction stables. Une étude théorique de la précision caractérise les erreurs induites par le maillage non structuré à l'aide de l'approche de l'équation modifiée. L'étude formule également des algorithmes de limitation en maillage non structuré basés sur une approche géométrique. Toutes les études théoriques sont complétées par des expériences numériques. Les calculs LES d'un écoulement subsonique au-dessus d'une cavité et d'un jet supersonique permettent de valider et comparer plusieurs options de discrétisation spatiale.

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.

Dans cette thèse on s'intéresse à un modèle mathématique décrivant l'adaptation du développement des populations de moustiques face à l'usage intensif des insecticides durant la nuit (moustiquaires imprégnées, répulsifs en spray, répulsifs avec diffuseur électrique, ...).Le modèle proposé dans cette thèse est structuré en âge et dépend du temps/moment où le moustique pique pour prendre son repas. Ceci nous conduità des modèles du type ultra parabolique. Le terme de renouvellement de lapopulation de moustiques est non-local, comme pour tous les problèmes démographiques, mais comporte ici un noyau qui permet à la nouvelle générationd'adapter son temps de piqure (repas). Ceci est dû à la sélection de certainsmoustiques qui piquent plus tôt ou plus tard que les autres moustiques, suite àla pression imposée par l'usage intensif des pesticides à l'intérieur des habitats et en particulier durant la nuit. Les conditions aux bords par rapport au moment de piqure (repas) seront périodiques car selon les espèces, les moustiques prennent toujours leurs repas au même moment de la journée.Les principaux résultats peuvent être classés dans 4 parties.Dans la première partie on présente un modèle structuré en âge décrivant laplasticité du moustique dans un environnement non contrôlé. On montre quele problème est bien posé via la théorie des semi-groupes. Le comportementasymptotique est décrit grâce à l'étude du spectre de l'opérateur A générateurdu C0 semi-groupe. On prouve également l'existence ou la non existence dessolutions stationnaires (sous certaines hypothèses).Dans la deuxième partie on s'intéresse à un problème de contrôle optimalde la population de moustiques. Le contrôle correspond à la proportion demoustiques éliminée et dépend du temps, de l'âge des moustiques et du tempsoù le moustique pique pour se nourrir. On démontre d’abord l’existence desolutions grâce à un argument de point fixe puis on établit des résultats decomparaisons pour notre problème. On établit ensuite l'existence d'un contrôleoptimal puis on dérive le système d'optimalité.Dans la troisième partie on s'intéresse à la question de contrôlabilité exacte locale pour le problème décrivant la capacité des moustiques à adapter leurdynamique face à l'usage intensif des insecticides. On établit une nouvelleinégalité de type Carleman pour le modèle structuré en âge avec diffusionet une condition au bord de renouvellement non-locale et des conditions auxbords périodiques par rapport au temps de piqure des moustiques.Dans la quatrième partie on s'intéresse au comportement en temps longd'un modèle non linéaire décrivant l'adaptation de la population des moustiques à l'usage intensif des insecticides. Quand le contrôle est petit (usage limité des insecticides) alors la population mature de moustiques devient grandeavec le temps et quand le contrôle est grand (usage intensif des insecticides)la population mature de moustiques devient petite avec le temps. Dans le casintermédiaire on obtient un modèle avec retard en temps pour la populationmature de moustiques qui peut être gouvernée par une sur-équation et unesous-équation. Finalement on montre que la sous-équation admet des ondesvoyageuses et la population mature de moustiques sera donc comprise entreces ondes voyageuses et les sur-solutions. / This dissertation is concerned with an age structured problem modelling mosquito plasticity. The main results can be divided into four parts.The first part presents an age structured problem modelling mosquito plasticity in a natural environment. We first investigate the analytical asymptotic solution through studying the spectrum of an operator A which is the infinitesimal generator of a C0-semigroup. Additionally, we get the existence and nonexistence of nonnegative steady solutions under some conditions.In the second part, we study the optimal control of an age structured problem. Firstly, we prove the existence of solutions and the comparison principle for a generalized system. Then, we prove the existence of the optimal control for the best harvesting. Finally, we establish necessary optimality conditions.In the third part, we investigate the local exact controllability of an age structured problem modelling the ability of malaria vectors to shift their biting time to avoid the stressful environmental conditions generated by the use of indoor residual spraying (IRs) and insecticide-treated nets (ITNs). We establish a new Carleman's inequality for our age diffusive model with non local birth processus and periodic biting-time boundary conditions.In the fourth part, we model a mosquito plasticity problem and investigate the large time behavior of matured population under different control strategies. Firstly, we prove that when the control is small, then the matured population will become large for large time and when the control is large, then the matured population will become small for large time. In the intermediate case, we derive a time-delayed model for the matured population which can be governed by a sub-equation and a super-equation. Finally, we prove the existence of traveling fronts for the sub-equation and use it to prove that the matured population will finally be between the positive states of the sub-equation and super-equation.

Nous nous intéressons dans cette thèse au développement et à la mise en oeuvre de schémas numériques Volumes Finis d’ordre élevé pour des maillages non-structurés. Il s’agit de mettre en place les ingrédients numériques pour réaliser des simulations aux grandes échelles avec le code numérique elsA. Les schémas numériques proposés sont basés sur une approche directionnelle, afin de limiter le coût CPU et de réduire la molécule de points. La partie convective du schéma numérique doit être d’ordre élevé. L’ordre élevé est obtenu en utilisant différents gradients sur un stencil prédéféni utilisant 4 cellules. Deux gradients sont utilisés pour la partie convective : le gradient GreenGauss et le gradient “UIG”. Pour la partie diffusive, le gradient “UIG” est utilisé. Ce gradient a été développé durant la thèse et permet d’avoir un gradient moyen d’ordre 2 sur chaque interface. Ce gradient a été étudié et validé sur différents cas-tests. Les schémas numériques d’ordre élevé ont été analysés théoriquement avec des analyses d’ordre et de stabilité. Il a été montré que ces schémas peuvent atteindre l’ordre 5 sur des hexaèdres et l’ordre 3 sur des triangles équilatéraux. Suite à cette analyse, les différents schémas ont été d’abord testés en 1D sur un cas classique d’advection, puis ont été validés sur le cas de convection du vortex isentropique. / This study will present the development and results of high-order Finite Volume schemes for unstructured grids. The goal is to prepare numerical tools to perform Large Eddy Simulations with the indutrial solver elsA. These numerical schemes are based on a directional approach in order to limitate the CPU cost and reduce the stencil. The convective part of the scheme needs to be high order and this is obtained by the use of gradients on a four-cell stencil. Two gradients are used for the convective part, the Green-Gauss gradient and the “UIG” gradient. For the diffusive part, the “UIG” gradient is used. It was developped during this study and allows to recover a secondorder accurate scheme. This gradient was validated theorically and numerically on some test cases. High order numerical schemes were studied theorically with order and frequency analysis. It was shown that these schemes are fifth-order accurate on regular hexaedral elements and third-order accurate on equilateral triangles. Following this analysis, these schemes were tested in 1D on an advection test case and were then validated on the convection of an isentropic vortex.

Le polissage est un procédé d’usinage par abrasion qui vise à établir une micro-géométrieprécise sur les surfaces de solides. Pour introduire les spécificités de ce procédé, un tourd’horizon sur l’usinage par abrasion est proposé. Il en découle les paramètres pouvantcaractériser une opération de polissage. Les études scientifiques existantes sont synthétisées etanalysés au regard des objectifs poursuivis. De manière à faire émerger une méthodologiepour établir des modèles et des bases de données dédiées au polissage, un banc expérimental aété mis en place et des essais ont été menés sur une tôle en inox 316L avec un abrasifstructuré de forme pyramidale. Une méthode de mesure de l’usure des pyramides abrasives aété mise au point. Les premiers essais ont mis en évidence la nécessité pour les grains abrasifsd’exercer sur la matière une pression supérieure à une valeur minimale. Un modèle deconsommation matière issu de la loi de Preston a été présenté et validé par des essais. L’étudepar des plans d’expériences factoriels complets des efforts induits, de la rugosité au traversdes critères proposés par la norme ISO et de la mouillabilité a permis de mettre en évidencel’influence prépondérante de la taille des grains abrasifs. Par contre, la pression exercée parles grains, leur vitesse de défilement et le taux d’usure des pyramides abrasives n’ont qu’unrôle secondaire sur ces critères. Ces résultats constituent de précieuses indications pour lesbureaux des méthodes devant établir des gammes de polissage. / The polishing is a process of manufacturing by abrasion which aims at establishing a precisemicro-geometry on the surfaces of solids. To introduce the specificities of this process, anoverview on the manufacturing by abrasion is proposed. As a result, the parameters which cancharacterize an operation of polishing are identified. The existing scientific studies aresynthesized and analysed with regard to the pursued objectives. For the testing, an experimenttest bench was developed. The proposed methodology is applied on the polishing process ofthe AISI 316L using pyramidal abrasive belts. A measurement method of the abrasivepyramids wear is finalized. A method of measuring the abrasive pyramids wear is provided. Aremoving material rate model based on the Preston's law is presented and experimentallyvalidated. A study based on the design of experiment is conducted using as output the cuttingforces, the roughness and the wettability criteria. The results point out the dominatinginfluence of the size of the abrasive grains. On the other hand, the study indicates the fact thatthe applied pressure on the abrasive grains, the belt speed and the abrasive level do not playan important role on the previously cited characteristics. On the other hand, the studyhighlights that the applied pressure on the abrasive grains, the belt speed and the abrasivelevel do not have a significant effect on the previously cited characteristics. These resultsconstitute valuable indications for the industrial polishing process optimization.

Cette thèse explore l’utilisation des réseaux Bayésiens (RB) afin de répondre à des problématiques de dégradation en grandes dimensions concernant des infrastructures du génie civil. Alors que les approches traditionnelles basées l’évolution physique déterministe de détérioration sont déficientes pour des problèmes à grande échelle, les gestionnaires d’ouvrages ont développé une connaissance de modèles nécessitant la gestion de l’incertain. L’utilisation de la dépendance probabiliste se révèle être une approche adéquate dans ce contexte tandis que la possibilité de modéliser l’incertain est une composante attrayante. Le concept de dépendance au sein des RB s’exprime principalement de deux façons. D’une part, les probabilités conditionnelles classiques s’appuyant le théorème de Bayes et d’autre part, une classe de RB faisant l’usage de copules et corrélation de rang comme mesures de dépendance. Nous présentons à la fois des contributions théoriques et pratiques dans le cadre de ces deux classes de RB ; les RB dynamiques discrets et les RB non paramétriques, respectivement. Des problématiques concernant la paramétrisation de chacune des classes sont également abordées. Dans un contexte théorique, nous montrons que les RBNP permet de caractériser n’importe quel processus de Markov. / This thesis explores high-dimensional deterioration-related problems using Bayesian networks (BN). Asset managers become more and more familiar on how to reason with uncertainty as traditional physics-based models fail to fully encompass the dynamics of large-scale degradation issues. Probabilistic dependence is able to achieve this while the ability to incorporate randomness is enticing.In fact, dependence in BN is mainly expressed in two ways. On the one hand, classic conditional probabilities that lean on thewell-known Bayes rule and, on the other hand, a more recent classof BN featuring copulae and rank correlation as dependence metrics. Both theoretical and practical contributions are presented for the two classes of BN referred to as discrete dynamic andnon-parametric BN, respectively. Issues related to the parametrization for each class of BN are addressed. For the discrete dynamic class, we extend the current framework by incorporating an additional dimension. We observed that this dimension allows to have more control on the deterioration mechanism through the main endogenous governing variables impacting it. For the non-parametric class, we demonstrate its remarkable capacity to handle a high-dimension crack growth issue for a steel bridge. We further show that this type of BN can characterize any Markov process.

La traduction est une étape clef de l’expression des gènes, et mon travail a consisté à étudier l’implication de la protéine ribosomique S1 d’Escherichia coli dans l’initiation de la traduction des ARNm structurés. Mes résultats montrent que 1) S1 est requise pour la formation du complexe d’initiation des ARNm portant une séquence SD faible et/ou des structures stables, 2) elle est dotée d’une activité chaperonne, débobinant les ARNm afin de les placer dans le canal de décodage ; et 3) le ribosome favorise son action. Par la suite, j’ai montré un rôle inattendu de S1 dans la régulation post-transcriptionnelle médiée par les ARNnc. En effet, la dégradation rapide de l’ARNm sodB, induite par l’ARNnc RyhB en absence de fer, est perdue dans une souche dont l’extrémité C-terminale de S1 a été supprimée, montrant ainsi un lien fonctionnel entre S1 et le dégradosome. Ainsi, S1 exerce de multiples fonctions qui se placent au carrefour de la traduction et de la régulation de l’expression des gènes / The translation is a key step for the gene expression, and the aim of my PhD was to analyze the involvment of Escherichia coli ribosomal protein S1 in the translation initiation of structured mRNAs.My results show that 1) S1 is required for the establishment of the active translation initiation complex involving mRNAs with a weak SD sequence and/or stable structures, 2) S1 has a RNA chaperone activity, unwinding the mRNA in order to accommodate it in the decoding channel, and 3) the ribosome promotes its activity.In the second part of my thesis, I unexpectedly showed that S1 is involved in the ncRNAmediated regulation. Indeed, the fast degradation of sodB mRNA, induced by RyhB ncRNA under iron depletion, is impaired in a strain depleted of the C-terminal part of S1 protein, thus highlighting a functional link between S1 and the degradosome.All in one, my results show that S1 is endowed with multiple functions, at the cross-road between translation and regulation of gene expression.

En réponse aux divers accords internationaux pour réduire l’émission de gaz à effet de serre et limiter leur impact sur le réchauffement climatique, une transition énergétique visant à augmenter la part des énergies renouvelables est en cours. Le concept du Power-to-Gas l’une des solutions permettant un stockage/déstockage adapté à cette énergie intermittente. Cependant, la réaction de méthanation, fortement exothermique, nécessite un procédé performant pour l’évacuation de la chaleur générée au cours de la réaction. Au cours de cette thèse, un milli-réacteur structuré, rempli avec une mousse cellulaire recouverte par un catalyseur (Ni/Cérine-Zircone), a été développé pour répondre à cette problématique. Le réacteur a été caractérisé par une étude hydrodynamique et une étude thermique, la seconde permis de visualiser la formation de points chauds. L’ajout de nanofibres de carbone a permis une meilleure gestion de la chaleur générée, limitant ainsi la désactivation du catalyseur (frittage). Des tests catalytiques réalisés à plus grande échelle ont montré l’intérêt des lits structurés vis-à-vis des lits fixes, classiquement utilisés dans les procédés, avec une élévation de température modérée d’environ 25°C. / In response to the different international agreements to reduce the emission of greenhouse gases and limit their impact on global warming, an energy transition is in progress to increase the share of renewable energies. The Power-to-Gas concept is one of many solutions proposed to answer the need to charge and discharge this intermittent energy source. However, the methanation reaction, highly exothermal, needs a process able to efficiently evacuate the heat produced by the reaction. During this thesis, a structure milli-reactor, filled with an open cell foam coated with a catalyst (Ni/Ceria-Zirconia), was developed as an answer to this issue. The reactor was hydrodynamically and thermally characterized. The second one allowed us to evidence hot spots formation. The presence of nanofibres allowed better control of the heat generated, limiting the deactivation of the catalyst (sintering). Catalytic tests, performed on a small scale pilot, clearly showed the advantage of structured beds compared to fixed bed, classically used in processes, with a moderate heat elevation around 25°C.

Les actionneurs numériques sont composés d'une partie mobile pouvant se déplacer entre des positions discrètes précisément connues et répétables. Contrairement aux actionneurs analogiques classiques, le pilotage d'actionneurs numériques est réalisé très simplement à l'aide d'une commande impulsionnelle et en boucle ouverte. De ce fait, aucun capteur n'est nécessaire ce qui facilite leur intégration dans des systèmes hôtes. La qualité de fabrication de ces actionneurs est cependant primordiale car une éventuelle erreur ne peut pas être corrigée par la commande. Les travaux présentés porteront sur un réseau composé de 25 actionneurs numériques disposant chacun de quatre positions discrètes avec un plateau glissant. L'application visée est la réalisation d'un système de convoyage planaire dans laquelle les actionneurs permettent de déplacer un plateau selon les deux directions du plan. Les résultats de la simulation sont comparés avec les résultats expérimentaux. En suite, un réseau composé de quatre actionneurs numériques avec un plateau structuré est étudié. La conception du réseau d'actionneurs puis la stratégie de pilotage permettant de réaliser le déplacement du plateau structuré seront tout d'abord présentées. Un prototype de réseau d'actionneurs et des résultats expérimentaux de convoyage selon une direction sera ensuite détaillé et l'influence d'erreurs de fabrication sur le fonctionnement du réseau sera mise en évidence. / The open loop control is widely used by the digital systems to facilitate the integration in complex systems because no sensor is needed. The research is based on digital actuator which is composed of a mobile part and a fixed part. The actuator moves between the discrete positions. The discrete displacement consumes low energy, which is controlled by impulse only needed to switch the actuator between the discrete positions. However, the stroke of digital actuator is fixed at the manufacturing. So the digital actuators array is used to obtain variable strokes. A digital actuators array used here with a structured plate is applied as a 2D planar conveyance. Firstly, an actuators array composed of 25 elementary actuators with a flat plate is studied. The simulated results are compared with the experimental results. Then another actuators array composed of four elementary actuators with a structured plate is designed. The design and the plate displacement are firstly presented. Then the prototype of the conveyance is fabricated with laser cutting machine and 3D printer. The experiment is then tested in one direction to study the plate displacement. The open loop control is simple by using current impulse. The operation can be well functioned which is observed during the experiment. The experimental results are compared with the theoretical results.