Depuis quelques années, un intérêt croissant est porté à la conversion du méthane en gaz de synthèse (H2+CO) pour la production d'hydrogène ou de carburants propres par le procédé GTL. Les réacteurs catalytiques membranaires (CMR) constituent une alternative économiquement intéressante pour cette application.<br />L'architecture des réacteurs intègre un catalyseur, une membrane conductrice mixte de type La1-xSrxFe1-yGayO3-d et un support poreux actif. Le choix du matériau du support s'est porté sur La0,8Sr0,2FeO3-d, en vue du co-frittage des couches denses et poreuses, ce qui permet d'assurer une continuité chimique et de diminuer les coûts. Des membranes supportées planes LSFG8273/LSF821 et LSFN8273/LSFG8273/LSF821 ont été élaborées par coulage en bande, thermocompression et co-frittage. Les performances du réacteur ont pu être largement améliorées par la présence du support poreux et de la couche catalytique. Enfin, les matériaux ont fait l'objet d'une étude thermomécanique.

Deux approches pour la décomposition parcimonieuse des signaux sont étudiées.<br /> L'une utilise des méthodes variationnelles avec une attache aux données l2 pénalisée par une norme mixte permettant de structurer la parcimonie. Les fonctionnelles sont minimisées par des algorithmes itératifs dont la convergence est prouvée. Les normes mixtes donnent des estimations par des opérateurs de seuillage généralisés, qui ont été modifiés pour les localiser ou introduire de la persistance.<br />L'autre modélise les signaux comme combinaisons linéaires parcimonieuses d'atomes temps-fréquence choisis dans l'union de deux bases orthonormées, à coefficients aléatoires. La distribution de ces coefficients fait intervenir deux niveaux d'aléa : leur valeur et leur position dans leur espace temps-fréquence. L'étude des coefficients d'analyse permet une estimation des cartes temps-fréquence. La projection du signal sur ces cartes donne une décomposition en deux couches plus un résidu.

Ce sujet de recherche a pour principaux objectifs la réalisation d'une bibliothèque de fonctions électroniques analogiques intégrées réalisant les opérations mathématiques présentes dans les modèles des canaux ioniques des neurones et l'évaluation des éléments de cette même bibliothèque. Ce travail se poursuit par la conception d'un système démonstrateur basé sur un circuit intégré analogique neuromimétique utilisant la bibliothèque d'opérateurs pour que ce même circuit intégré puisse être utilisé dans de nouvelles expériences mettant en oeuvre la technique hybride. En fonction des performances du circuit, il a été aussi étudié la faisabilité de son utilisation pour le développement d'un outil d'extraction des paramètres d'une cellule nerveuse, voire même d'un mini-réseau composé de moins d'une dizaine de neurones, par la technique d'optimisation.

On présente différents modèles susceptibles d'être utilisés dans le cadre de la description de la succession des jours dans une station climatologique selon leur caractère sec ou humide.

Cette thèse est consacrée à l'analyse mathématique, la résolution numérique et la modélisation des équations de transport. Dans un premier temps, on s'intéresse à l'approximation numérique de la solution des équations de transport par un schéma mixte-hybride. On introduit<br />et étudie une formulation mixte de l'équation du transport. L'étude du problème variationnel mixte est menée avant d'en présenter sa discrétisation et les propriétés fondamentales du schéma obtenu.<br />On s'attache en particulier a démontrer l'efficacité de la méthode dans la limite de diffusion (lorsque le libre parcours moyen des particules est petit devant les dimensions caractéristiques du domaine physique). On présente des cas tests académiques permettant de comparer notre schéma à d'autres méthodes dans des<br />configurations physiques variées et de valider notre schéma sur des cas tests analytiques. On s'applique à valider le schéma sur des maillages non structurés même très déformés tels que ceux issus de l'hydrodynamique lagrangienne. Une seconde partie de la thèse consiste à étudier deux problèmes de transport. Le premier problème est une étude de la diffusion due aux conditions aux limites dans un problème de transport entre deux plaques planes. L'autre problème consiste à modéliser et simuler les phénomènes de transfert radiatif dans le cadre industriel de la fusion par confinement inertiel.

Le but de cette thèse est la construction et l'implémentation d'une méthode de Lagrange-Galerkin d'ordre élevé dans un code de simulation d'interactions fluide/structure. Cette méthode repose sur une formulation par éléments finis mixtes et une méthode des caractéristiques d'ordre 2 en maillage fixe ou mobile. La stabilité de ce schéma a été étudiée dans des cas simples. Des analyses aéroélastiques de structures généralement rencontrées dans le Génie Civil ont été effectuées à travers des tests numériques sur des coupes de ponts en mouvements forcés et libres. Les résultats obtenus ont été comparés à ceux obtenus avec la méthode de Lagrange-Galerkin d'ordre 1 ainsi qu'à des études réalisées en soufflerie expérimentale. Enfin, l'utilisation des méthodes de Lagrange-Galerkin dans des problèmes de contrôle optimal a été étudiée. Un schéma discret linéarisé basé sur la méthode des caractéristiques a été construit et quelques tests simples pour des problèmes de contrôle et d'identification en maillages fixes et mobiles ont été effectués.

On étudie les équations gouvernant un fluide soumis aux effets de thermodiffusion et d'adsorption en milieu poreux. La répartition des espèces à l'intérieur du fluide est alors régie à l'échelle locale par un système d'équations d'évolution paraboliques non linéaires de type divergentielles. On montre que le système ainsi constitué est bien posé au sens de Hadamard. L'existence d'une solution au problème est démontrée à l'aide d'une méthode de type point fixe, l'unicité par le biais d'une technique de dualité. Cette approche théorique a pu être complétée par des simulations numériques à l'échelle d'un pore, à l'aide d'un schéma fondé sur une méthode " volumes finis " dont l'étude est effectuée, et pour lequel on exhibe un résultat de convergence. La détermination des équations macroscopiques de conservation fait l'objet du deuxième volet de cette étude. Nous démontrons qu'elles sont de la même forme que les équations locales, le changement d'échelle introduisant des tenseurs gouvernant les flux et des coefficients de porosité modulant les grandeurs scalaires. Plusieurs techniques ont été utilisées : le passage de la loi de Navier-Stokes à l'équation de Darcy linéaire a pu ainsi être démontré à l'aide de développements asymptotiques. Les lois de conservation de l'énergie et de la masse ont été établies par le biais de la convergence à deux échelles. Le modèle macroscopique peut alors être complètement déterminé via la résolution de problèmes locaux, posés sur une cellule élémentaire, représentative du milieu périodique. Une dernière partie est consacrée à la modélisation de la contamination de nappes aquifères par des produits polluants ; les équations de conservation de la masse y sont déterminées dans deux cas, les cas réversible et irréversible. Deux approches sont envisagées, l'une se fondant sur une version de la convergence à deux échelles appliquées aux traces, l'autre sur un résultat établi dans le cas de réactions chimiques.

La prise en compte de la thermique couplée au modèle mécanique continue à poser des défis à la modélisation numérique, et plus particulièrement lors de la simulation du procédé de forgeage à chaud (déformations importantes de la pièce chaude au contact d'outils plus froids). Cette thématique d'actualité encore peu ou mal traitée dans les codes de calculs classiques (présence de problèmes de stabilité et de convergence dus aux fortes non linéarités des modèles thermomécaniques) nous amène à mettre au point une méthodologie numérique satisfaisante de l'équilibre thermique en vue de simuler un tel couplage, avec un bon compromis entre la précision de l'estimation du champ de température et le temps de résolution. Ainsi, trois modèles numériques sont introduits et intégrés dans le code éléments finis Forge 3 tous basés sur une formulation mixte à deux champs en température/flux de chaleur pour décrire le problème thermique instationnaire. - Deux modèles basés sur la méthode de Galerkin Discontinue et l'élément fini constant P0 sont d'abord présentés: # le schéma explicite Taylor Galerkin Discontinu (TGD) associé à des éléments finis mixtes discontinus P0/P0 et à un développement de Taylor explicite, le modèle Galerkin Discontinu Implicite (GDIMP), notre première méthode qui est une amélioration du schéma TGD avec une formulation plus précise pour l'estimation du flux (éléments finis mixtes P0/P+0 ) et une convergence plus rapide (schéma d'Euler implicite). - Notre nouvelle formulation, la formulation Mixte continue basée sur l'élément fini mixte linéaire P1/P1 et sur un schéma temporel implicite. Tout au long de ce travail, ces méthodes numériques sont décrites, évaluées, validées (solutions analytiques ou résultats expérimentaux) comparées et soumises à des discussions critiques quant à leur efficacité et leur robustesse.

Ma thèse explore les rencontres qui eurent lieu entre Français, Amérindiens et Africains en Louisiane, à l'époque de l'Amérique coloniale. C'est plus précisément sur la partie sud du territoire que ce travail s'est penché. Les bornes chronologiques sont 1686, découverte du territoire par Robert La Salle et 1803, vente du territoire, alors Français, aux Américains par Napoléon en 1803. Mon projet était d'analyser les rapports établis entre ces trois groupes en mettant l'accent sur les relations intimes qui se sont créées entre eux (relations sexuelles, concubinage, mariages mixtes), et les liens de parenté sont également des objets d'étude dans cette recherche. De ces relations intimes émergent diverses communautés : ainsi, les " métis " font référence aux enfants nés de Français et d'Amérindiens alors que les " Griffe " désignent une autre communauté, résultat d'unions entre Africains et Amérindiens. L'étude de ces deux groupes représente une partie de ce travail. Cette thèse s'attache aussi à analyser les conséquences de ces unions sur les rapports sociaux, économiques, et diplomatiques entre ces différents peuples.

Les travaux de cette thèse concernent la conception et l'optimisation de lignes de transfert reconfigurables. L'objectif principal est de concevoir une ligne d'usinage à moindre coût tout en respectant les contraintes techniques, technologiques et économiques du problème. Le problème d'optimisation correspondant est un problème d'équilibrage de lignes d'usinage sujet à des contraintes spécifiques. Il consiste à affecter les opérations aux stations de travail en minimisant les coûts d'installation. En plus des contraintes habituelles de ce type de problème, à savoir, les contraintes de précédence, d'inclusion et d'exclusion, nous avons dû considérer des contraintes d'accessibilité. De plus, la spécificité principale des lignes reconfigurables par rapport aux lignes de transfert dédiées, vient de la réalisation en série des opérations. Celle-ci rend souvent nécessaire la mise en place de stations équipées de plusieurs centres d'usinage travaillant en parallèle pour obtenir les volumes de production souhaités. Enfin, l'utilisation d'une tête d'usinage mono-broche induit la prise en compte de temps inter-opératoire de déplacements et de changement d'outils qui dépendent de la séquence d'opérations. Dans un premier temps, nous avons proposé une modélisation mathématique du problème à l'aide d'un programme linéaire en nombres mixtes. Nous avons aussi développé des méthodes de calcul de bornes inférieures ainsi qu'une procédure de prétraitement. Cependant, les contraintes additionnelles rendent la résolution du problème d'équilibrage plus difficile que dans le cas des lignes dédiées, et l'approche proposée ne permet généralement pas de résoudre des instances de taille industrielle. Pour répondre à ce besoin, nous avons donc développé plusieurs méthodes de résolution approchées du problème en nous inspirant de métaheuristiques efficaces sur des problèmes d'optimisation combinatoire.