Cette thèse est consacrée à la simulation des écoulements de paroi turbulents. L'approche numérique utilisée consiste à calculer directement les champs aérodynamiques et acoustiques de l'écoulement par simulation des grandes échelles (LES), à l'aide de schémas numériques peu dissipatifs et peu dispersifs. Cette approche repose généralement sur une intégration temporelle explicite qui se révèle fortement pénalisante dans le cas des écoulements de paroi, où le raffinement du maillage entraîne une forte diminution du pas de temps. Pour répondre à cette problématique, deux méthodes d'intégration temporelle semi-implicites d'ordre 4 à 6 étapes sont développées. Ces méthodes consistent à intégrer de manière implicite les termes contenant des dérivées spatiales normales à la paroi, et de manière explicite les autres termes, ce qui permet de relâcher la contrainte sur le pas de temps. Une analyse dans l'espace de Fourier et des cas test de propagation acoustique montrent que les méthodes développées ont une précision au moins égale à celle du schéma de Runge-Kutta standard d'ordre 4. Une technique de partitionnement semi-implicite/explicite du maillage est ensuite mise en œuvre afin de réduire le coût numérique. A l'aide de cette technique, les schémas semi-implicites permettent de réduire le temps CPU des simulations par rapport à des calculs s'appuyant uniquement sur un schéma explicite. Des LES de canal plan turbulent sont ensuite mises en œuvre pour un nombre de Mach de 0.5 et des nombres de Reynolds de friction de 350, 600 et 960, et pour un nombre de Mach de 0.1 et un nombre de Reynolds de 350. Les caractéristiques aérodynamiques de l'écoulement sont comparées avec succès à des simulations numériques directes de la littérature. Les résultats des simulations permettent ensuite d'analyser les effets du nombre de Reynolds sur les profils de vitesse moyenne et fluctuante, sur les spectres de pression pariétale, et sur les structures de la zone interne de la couche limite. Les dimensions de ces structures, estimées à l'aide des spectres de vitesse longitudinale, se révèlent peu dépendantes du nombre de Reynolds. Enfin, pour le calcul à nombre de Mach de 0.1, des composantes acoustiques sont détectées dans le spectre de pression pariétale. Ces composantes représentent l'empreinte du rayonnement acoustique de la couche limite, calculé directement par la simulation.

Le travail réalisé lors de cette thèse s'inscrit dans le cadre du calcul haute performance sur architectures hétérogènes. Pour faciliter l'écriture d'applications exploitant ces architectures et permettre la portabilité des performances, l'utilisation de supports exécutifs automatisant la gestion des certaines tâches (gestion de la mémoire distribuée, ordonnancement des noyaux de calcul) est nécessaire. Une approche bas niveau basée sur le standard OpenCL est proposée ainsi qu'une approche de plus haut niveau basée sur la programmation fonctionnelle parallèle, la seconde permettant de pallier certaines difficultés rencontrées avec la première (notamment l'adaptation de la granularité).

Les émissions de dioxyde de carbone n'ont de cesse d'augmenter avec l'exploitation massive des hydrocarbures pour la production d'énergie et de composés chimiques. Dans ce contexte, le développement d'une économie permettant de limiter l'impact écologique de notre mode de vie actuel se fait de plus en plus pressant et l'utilisation du CO2 comme matière première carbonée constitue une alternative attrayante aux ressources fossiles pour la production de consommables chimiques. Ces travaux de thèse ont porté sur le développement de nouvelles transformations catalytiques du CO2 selon une nouvelle approche, dite diagonale. Cette stratégie permet d'accéder à des produits à hautes valeurs énergétiques et commerciales tels que les formamides ou les hétérocycles azotés. La maîtrise énergétique dans ces réactions est assurée par l'utilisation de réducteurs doux comme les hydrosilanes et les hydroboranes. Ces nouveaux procédés sont accélérés par des catalyseurs organiques ; ils permettent ainsi de contourner les problèmes de coût, d'abondance et de toxicité habituellement rencontrés avec les catalyseurs métalliques. À travers des études théoriques et expérimentales, la compréhension des mécanismes réactionnels intervenant dans ces réactions a permis d'optimiser au mieux les conditions réactionnelles et les performances des catalyseurs employés afin de répondre aux exigences de la chimie durable.

Les enjeux économiques et écologiques actuels requièrent le développement de réactions et procédés respectueux de l'environnement. Dans ce cadre, nous étudions l'oxydation des hydrocarbures dans des conditions douces, un problème que la Nature a résolu en mettant en œuvre des enzymes dont le site actif contient un ou deux ions du fer, pour obtenir des produits avec efficacité et sélectivité. Parmi ces systèmes, les MonoOxygénases (MO) catalysent l'insertion d'un atome d'oxygène dans une liaison chimique d'un substrat organique inerte (S). Cela passe par l'activation réductrice du dioxygène ce qui mène à des intermédiaires très oxydants de type FeIII-(hydro)peroxo et Fe-Oxo (i.e. FeIV=O ou FeV=O).En utilisant des complexes très simples, nous avons préparé et identifié des intermédiaires réactionnels FeIII-peroxo et FeIV-oxo, à l'aide d'oxydants chimiques (H2O2, peroxydes, peracides...) ou de O2 et d'un réducteur, selon une réaction analogue aux MO à un atome de fer. Ces intermédiaires se sont montrés efficaces, respectivement pour l'hydroxylation catalytique des aromatiques et pour l'oxydation des oléfines et des alcanes, mais souffrent souvent d'un manque de sélectivité. De plus, les intermédiaires générés en présence d'O2 sont consommés par réaction indésirable avec le réducteur chimique ou son sous-produit d'oxydation, rendant la catalyse d'oxydation non réalisable dans ces conditions. Différentes stratégies ont été adoptées lors de cette thèse afin de mimer au mieux l'activité des enzymes et reproduire l'efficacité et la sélectivité de ces réactions d'oxydations.Ainsi, une cavité artificielle (calix[6]arène) a été greffée à nos complexes de fer. Une étude du site catalytique portant une fonction triazole résultant de la chimie " click " a été réalisée. La synthèse d'un nouveau complexe fer-zinc a ensuite été réalisée, où l'insertion des métaux dans leur site de coordination destiné est maîtrisée. L'insertion d'un substrat à l'intérieur de la cavité calixarène a été réalisée, permettant d'obtenir un système qui pourrait améliorer la sélectivité et l'efficacité des réactions d'oxydations des alcanes.La seconde stratégie développée a été d'utiliser une électrode comme source d'électrons lors de l'activation du dioxygène par un complexe de fer(II). L'étude par voltampérométrie cyclique de cette réaction a permis de démontrer la formation d'un adduit FeII-O2 en conditions réductrices. Un intermédiaire FeIII-peroxo a par la suite été détecté en oxydation, qui génère une espèce à haut degré d'oxydation. Cet intermédiaire généré directement en solution à l'aide d'H2O2 pourrait alors réaliser les réactions d'oxydations en conditions oxydantes. De nouveaux systèmes électrocatalytiques pourraient alors être développés.

Life expectancy has continuously increased in most countries over the last decades and will probably continue to increase in the future. This leads to new challenges relative to the autonomy and the independence of elderly. The development of Smart Homes is a direction to face these challenges and to enable people to live longer in a safe and comfortable environment. Making a home smart consists in placing sensors, actuators and a controller in the house in order to take into account the behavior of their inhabitants and to act on their environment to improve their safety, health and comfort. Most of these approaches are based on the real-time indoor Location Tracking of the inhabitants. In this thesis, a whole new approach for model-based Location Tracking of an a priori unknown number of inhabitants is proposed. This approach is based on Discrete Event Systems paradigms, theory and tools. The usage of Finite Automata (FA) to model the detectable motion of the inhabitants as well as different methods to create such FA models have been developed. Based on these models, algorithms to perform efficient Location Tracking are defined. Finally, several approaches aiming at evaluating the relevance of the instrumentation of a Smart Home with the objective of Location Tracking are proposed. The approach has also been fully implemented and tested. Throughout the thesis, the different contributions are illustrated on case studies.

La gravitation joue un rôle important dans de nombreux domaines de l'astrophysique : elle assure notamment la cohésion et la stabilité des planètes, des étoiles et des disques. Elle est aussi motrice dans le processus d'effondrement de structure et conduit, dès lors qu'un moment cinétique initial est significatif, à la formation d'un disque.Ma thèse est consacrée à l'étude des disques de gaz, et plus particulièrement à la description du potentiel et du champ de gravité qu'ils génèrent dans l'espace et sur eux-mêmes (l'auto-gravitation). Bien que la force de Newton soit connue depuis longtemps, la détermination des interactions auto-gravitantes reste difficile, en particulier lorsque l'on s'écarte significativement de la sphéricité. La principale difficulté tient dans la divergence hyperbolique du Noyau de Green 1/(r'-r) et nécessite un traitement propre. L'approche théorique est intéressante car elle fournit de nouveaux outils (techniques numériques, formules approchées, etc...) qui peuvent aider à produire des solutions de référence et à améliorer les simulations numériques.Dans une première partie, nous introduisons le sujet, les notions et les bases essentielles. Le chapitre $1$ est consacré à une présentation succinte du contexte scientifique et aux motivations de notre travail. Dans le chapitre $2$, nous reproduisons dans ces grandes lignes le cheminement conduisant au développement multipolaire, à partir de l'équation de Poisson et de la formule intégrale de Newton. Il s'agit de l'une des méthodes les plus classiques permettant d'obtenir le potentiel gravitationnel d'un corps. Les deux systèmes de coordonnées les plus utilisées sont mis en avant : sphériques et cylindriques. A travers quelques exemples, nous montrons les limites de cette approche, en particulier dans le cas de l'auto-gravité des disques.Dans une deuxième partie, nous abordons le vif du sujet. Le chapitre $3$ présente l'approche basée sur les intégrales elliptiques que nous retrouverons dans l'ensemble du manuscrit (cas général d'abord, puis cas axi-symétrique). Dans le chapitre $4$, nous établissons un premier résultat concernant le noyau de Green dans des systèmes axi-symétriques et verticalement homogènes : une forme alternative et régulière du noyau, quelque soit le point de l'espace. Nous avons exploité cette nouvelle formule pour déduire une bonne approximation du potentiel des disques géométriquement minces, des anneaux et des systèmes faiblement étendus en rayon. Ceci fait l'objet du chapitre $5$.Dans une troisième partie, nous étudions les effets de bords sur la composante verticale du champ de gravité, $g_z$, causés par un disque mince axi-symétrique. Le chapitre $6$ est dédié à l'approximation de Paczynski \citep{pacz78}, qui permet traditionnellement d'exprimer le champ comme une fonction linéaire de la densité de surface locale. Cette approximation n'est en fait strictement valide que dans le cas du modèle du "plan infini", loin d'un disque réaliste. Près du bord externe des disques où la gravité décroit, l'approximation de Paczynski s'avère assez imprécise (facteur $2$ typiquement), et ne donne pas de bons résultats et doit être corrigée. Toujours dans l'hypothèse d'une homogénéité verticale de la densité, nous avons construit une expression pour $g_z$ qui tient compte de ces effets de bords. Le chapitre $7$ est consacré à ce résultat.Dans une dernière partie, nous relâchons l'hypothèse de symétrie axiale (le disque est discrétisé en cellules cylindriques homogènes). Nous nous sommes inspirés du travail d'\cite{ansorg03} afin d'exprimer, via le théorème de Green, le potentiel d'une cellule cylindrique homogène par une intégrale de contour. Ce résultat s'applique directement aux simulations de disques, où ceux-ci sont découpés en cellules cylindriques, chacune ayant sa propre densité.Une conclusion et quelques perspectives sont données en fin de manuscrit.

Nos travaux se situent au croisement de trois domaines : la sûreté de fonctionnement, l'analysefonctionnelle et l'ingénierie des modèles. Dans l'objectif d'assister les analyses préliminaires desrisques, nous avons proposé d'exploiter les modèles issus de l'analyse fonctionnelle de l'avion. Cesmodèles décrivent les dépendances entre les fonctions qui doivent être réalisées durant une phasede vol. Pour exploiter ces modèles, nous avons introduit la notion d'efficacité qui mesure ledegré de contribution d'une fonction à la réalisation nominale d'une phase de vol. Cette notionest utile pour les analyses de risques car elle permet de formaliser divers cas dedysfonctionnements des fonctions et pour évaluer le niveau de dégradation d'une phase de vol encas de dysfonctionnement d'une ou plusieurs fonctions. Nous avons proposé d'annoter les modèlesissus de l'analyse fonctionnelle avec des informations relatives à l'efficacité des fonctions et à leursdysfonctionnements possibles. En suivant les principes de la transformation de modèles, nousavons étudié les moyens de produire le plus automatiquement possible des modèles utiles auxanalyses de risques à partir des modèles annotés. Les modèles produits sont décrits avec lelangage AltaRica, ils peuvent être analysés avec les outils associés à ce langage afin d'évaluerl'effet du dysfonctionnement de fonctions de l'avion ou de rechercher les combinaisons dedysfonctionnements les plus critiques. L'approche proposée a été appliquée pour analyser lesrisques associés aux fonctions utiles lors du décollage d'un avion.

La technologie de base de données est un environnement adéquat pour l'interaction. Elle peutconcerner plusieurs composantes du SGBD : (a) les données, (b) les requêtes, (c) les techniques d'optimisationet (d) les supports de stockage. Au niveau des données, les corrélations entre les attributs sont très communesdans les données du monde réel, et ont été exploitées pour définir les vues matérialisées et les index. Au niveaurequêtes, l'interaction a été massivement étudiée sous le problème d'optimisation multi-requêtes. Les entrepôtsde données avec leurs jointures en étoile augmentent le taux d'interaction. L'interaction des requêtes a étéemployée pour la sélection des techniques d'optimisation comme les index. L'interaction contribue égalementdans la sélection multiple des techniques d'optimisation comme les vues matérialisées, les index, lepartitionnement et le clustering. Dans les études existantes, l'interaction concerne une seule composante. Danscette thèse, nous considérons l'interaction multi-composante, avec trois techniques d'optimisation, où chacuneconcerne une composante : l'ordonnancement des requêtes (niveau requêtes), la fragmentation horizontale(niveau données) et la gestion du buffer (niveau support de stockage). L'ordonnancement des requêtes (OR)consiste à définir un ordre d'exécution optimal pour les requêtes pour permettre à quelques requêtes debénéficier des données pré-calculées. La fragmentation horizontale (FH) divise les instances de chaque relationen sous-ensembles disjoints. La gestion du buffer (GB) consiste à allouer et remplacer les données dans l'espacebuffer disponible pour réduire le coût de la charge. Habituellement, ces problèmes sont traités soit de façonisolée ou par paire comme la GB et l'OR. Cependant, ces problèmes sont similaires et complémentaires. Uneformalisation profonde pour le scénario hors-ligne et en-ligne des problèmes est fournie et un ensembled'algorithmes avancés inspirés du comportement naturel des abeilles sont proposés. Nos propositions sontvalidées en utilisant un simulateur et un SGBD réel (Oracle) avec le banc d'essai star schema benchmark àgrande échelle.

Notre recherche tend à déterminer comment il est possible d'exploiter l'étude d'un titrage pour approfondir la compréhension des notions de transformation et réaction chimiques, de stœchiométrie par des élèves du secondaire. Dans une perspective d'ingénierie didactique, des analyses des représentations des processus mis en jeu, des effets de l'enseignement usuel sont requises en préalable à l'élaboration d'une séquence d'enseignement. Une première étude sur la compréhension par les élèves de la notion de réactif limitant nous révèle l'existence de deux représentations de l'arrêt d'une transformation chimique. " Les deux réactifs sont totalement transformés dans l'état final quelles que soient les proportions dans l'état initial " est la plus commune. Cette dernière est en concurrence avec une représentation du type " un seul réactif est totalement transformé " dans le cas de réactifs dans différents états physiques (solide et solution), le solide étant privilégié. Une seconde étude traite des représentations des titrages avec différentes techniques de suivi. Elle nous montre l'existence de la représentation qu'aucune transformation n'a lieu avant l'équivalence et qu'une seule se produit à l'équivalence. Une troisième étude sur les effets de quelques variables nous permet de constater le peu d'effet de la variable " technique de suivi " contrairement à la variable " questionnement " sur la conception " mélange " avant l'équivalence. Et nous observons que le graphique de variation de conductance est plus propice à une réflexion en termes d'évolution du système chimique que le graphique de variation de pH. En conclusion, nous énonçons des propositions pour l'enseignement.

Les bâtiments affectent fortement l'environnement à travers les consommations d'énergies et de ressources naturelles. Afin de limiter ces impacts, l'intégration de matériaux bio-sourcés dans la construction, tels que béton de chanvre, apparaît comme une solution pertinente. Les composites à base de chanvre présentent en outre un comportement hygrothermique spécifique conduisant à limiter les besoins énergétiques du bâtiment tout en assurant un bon niveau de confort ressenti. Ce type de matériau non porteur est utilisé en remplissage pourdifférentes applications (Mur, Dalle, Toit) et en enduit isolant. Cette thèse vient en appui du projet ANR " BetonChanvre " visant à optimiser la formulation de tels mélanges en liaison avec les process de fabrication des partenaires industriels et à caractériser les matériaux élaborés. Différents types de chanvre (fibré ou non, traité hydrofuge) et différents liants (chaux, sulfate de calcium) sont utilisés. Les formulations proposées dérivent de formulations de référence produites par les partenaires industriels. Les caractéristiques physiques des différents composites étudiés (masse volumique apparente, masse volumique réelle, porosités ouverte et totale) sont mesurées. Les propriétés hydriques sont quantifiées en régime permanent via la mesure des isothermes de sorption (adsorption/désorption) et de la perméabilité à la vapeur. Les isothermes de sorption sontmesurées selon la méthode discontinue par paliers successifs d'humidité relative croissante puis décroissante. La perméabilité à la vapeur est mesurée selon la méthode de la coupelle. Différents couples d'hygrométrie sont testés pour évaluer l'évolution de la perméabilité en fonction de la teneur en eau. La diffusivité hydrique est calculée à partir de la modélisation des isothermes de sorption et de la perméabilité à la vapeur. Enfinla caractérisation des performances mécaniques repose sur l'identification de la résistance à la compression, des modules de déformation (apparent et élastique) et de la contrainte résiduelle pour une déformation à 15%. L'impact du phénomène de vieillissement/carbonatation sur les caractéristiques hydriques et mécaniques est évalué sur des échantillons carbonatés en incubateur CO2. L'interprétation des résultats permet d'identifier différents principes de formulation en lien avec les performances hydriques et mécaniques finales ciblées pour le composite. Il en ressort que c'est l'association du liant avec le chanvre qui permet d'assurer des performances optimales. Toutefois, les optimum vis à vis des réponses hydrique et mécanique ne sont pas concordants.