Une nouvelle méthode est proposée pour la simulation des plasmas utilisant le modèle cinétique qui couple les équations de Vlasov pour la distribution des particules et de Maxwell pour la contribution des champs électromagnétiques. Cette méthode est semi-Lagrangienne, elle utilise une grille de l'espace des phases et se sert des caractéristiques de l'équation de Vlasov. Ces caractéristiques sont suivies en avançant dans le temps, ce qui permet plusieurs avantages par rapport à la méthode classique. Déjà, cette méthode est explicite, ce qui permet une montée en ordre facilitée qui peut offrir davantage de stabilité, et la possibilité de construire des schémas qui conservent la charge en utilisant ses similitudes avec les méthodes PIC. Ceci est fondamental pour s'assurer que les solutions calculées sont bien physiques.

Ce travail est devoué à la Réalisabilité de Krivine, se focalisant sur les aspects calculatoires des réalisateurs des formules. Chaque formule a un jeu associé. Chaque preuve fournit un therme capable d'implémenter une stratégie gagnante pour le jeux associé à la formule qu'elle démontre. Une preuve est, par adéquation, un combinateur capable de prendre des stratégies gagnantes pour les hypothèses et les combiner pour rendre une stratégie gagnante pour la conclusion. Y-sont abordés: A. Le problème de l'espécification, consistant a décrire en termes calculatoires les réalisateurs d'une formule donée. Des nombreaux examples y-sont traités. B. On étudie une preuve en tant que combinateur de stratégies gagnantes: On pose une implication $A\to B$ où $A$ et $B$ sont des formules $\Sigma^0_2$. Soit $C$ la forma normale prenexe de $A\to B$. On étudie une preuve de $A, C\to B$ en tant que combinateur de stratégies gagnantes. En faisant ce travail, certaines techniques sont développées pour tracer l'éxécution d'un processus, dont notamment la "méthode des fils".

L'influence des champs électromagnétiques (CEM) sur le vivant fait actuellement l'objet d'une attention particulière, en raison du développement rapide des réseaux de communication sans fil. Parmi les différentes spécialités impliquées dans cette problématique, la dosimétrie vise à évaluer l'effet thermique induit par les CEM dans les tissus biologiques. Une approche utilisée en dosimétrie consiste à simuler numériquement la propagation des ondes électromagnétiques dans des modèles numériques du corps humain, construits à partir de segmentations d'images médicales. Il existe cependant peu de modèles de la femme enceinte à l'heure actuelle. Les modèles existants sont obtenus en fusionnant des modèles de femme non gravide et des modèles de l'unité utéro-placento-fœtale. Ces derniers présentent toutefois un réalisme et des détails anatomiques limités. L'objectif de cette thèse est d'élaborer un ensemble de modèles de l'unité utéro-placento-fœtale détaillés, couvrant l'ensemble de la grossesse. Des images acquises avec des modalités complémentaires utilisées en obstétrique sont exploitées : l'échographie tri-dimensionnelle et l'IRM, au début et à la fin de la grossesse respectivement. Des méthodes de segmentation dédiées à chacune des deux modalités ont été développées. Les données ultrasonores sont ainsi segmentées avec un modèle déformable afin de partitionner l'image en deux sous-ensembles, correspondant aux tissus maternels et fœtaux et au liquide amniotique. Ce modèle comporte un terme de fidélité aux données qui intègre une modélisation statistique des distributions des intensités dans chacun des sous-ensembles. Les données IRM, dans lesquelles de nombreux organes peuvent être distingués, sont traitées avec une approche différente, qui consiste tout d'abord à caractériser la position du fœtus, en instanciant un modèle de son squelette dans les images. Ce processus est réalisé par une exploration séquentielle de l'anatomie fœtale, au cours de laquelle plusieurs structures anatomiques sont segmentées avec des méthodes incluant des informations a priori sur leur forme et leur contraste. Un modèle générique de fœtus articulé est alors recalé sur ce squelette, pour finalement segmenter l'enveloppe fœtale avec une méthode par coupure de graphe. Des modèles de l'unité-utéro-placento-fœtal sont construits à partir de ces segmentations puis intégrés dans un modèle synthétique de femme. Un ensemble de neuf modèles a été généré, qui permet d'étudier l'influence du stade de grossesse et de la position du fœtus sur la dosimétrie.

La biométrie se réfère à la reconnaissance automatique des individus basée sur leurs caractéristiques physiologiques et/ou comportementales. Les systèmes biométriques unimodaux permettent de reconnaître une personne en utilisant une seule modalité biométrique, mais ne peuvent pas garantir avec certitude une bonne identification. De plus, ces systèmes sont sensibles au bruit introduit par l'unique capteur, à la non-universalité et au manque d'individualité de la modalité biométrique choisie ainsi qu'aux tentatives d'intrusion. La plupart de ces problèmes peuvent être réduits par la mise en place de systèmes biométriques multimodaux utilisant plusieurs signatures biométriques d'une même personne. Dans cette thèse, nous abordons plusieurs points importants concernant la biométrie multimodale. Tout d'abord, après avoir dressé un état de l'art en fusion multimodale, nous faisons le lien entre le fonctionnement du cerveau et certains algorithmes fondamentaux utilisés en reconnaissance faciale. Ensuite, nous mettons en avant l'utilisation des ondelettes à divers niveaux du système biométrique multimodal. Enfin, l'exploration de nouvelles techniques de fusion de signatures biométriques issues du visage (modalité naturelle et non intrusive) et de l'iris (une des modalités les plus précises) ainsi que des analyses statistiques à grande échelle des scores de similarité provenant de chaque modalité ont permis de mettre au point une méthode originale de fusion adaptative combinant l'utilisation des ondelettes et des moments statistiques.

Dans la première partie, je décris mes travaux de recherche en interaction fluide-structure (résultat théorique, numérique et de contrôle), puis je présente des méthodes fréquentielles pour la contrôlabilité et la stabilisation avec applications aux problèmes de stabilisation de systèmes discrétisés. Finalement, je donne des résultats obtenus sur la dépendance par rapport au domaine de quelques EDP

On étudie la norme stable sur l'homologie des variétés riemanniennes, plus spécialement dans le cas où la variété est une surface orientable de genre supérieur à 1. On établit le lien entre norme stable et fonction beta de Mather, puis on montre des résultats de non-stricte convexité et non-différentiabilité de la norme stable. Ensuite on compare la norme stable et la norme L2.

Les réglementations et normes radioélectriques précisent différentes valeurs limites d'exposition radioélectrique à ne pas dépasser. Les niveaux d'expositions constatés autour des antennes de radio et de télécommunications sont très en dessous des limites d'exposition recommandées par la commission de protection contre les rayonnements non-ionisants. Aujourd'hui, les personnes se trouvant à proximité des émetteurs radio ne cherchent plus simplement à vérifier la conformité aux normes. La demande porte sur l'évaluation du niveau d'exposition auquel ils sont soumis et la probabilité de dépassement d'un seuil donné. Le cadre probabiliste sur lequel sont fondées les méthodes géostatistiques offre la possibilité de répondre à cette question. Dans cette thèse nous présentons une application des méthodes géostatistiques linéaires ; en particulier le krigeage, pour l'estimation des niveaux d'exposition radioélectriques à partir d'un jeu de données simulées. Une application du krigeage avec dérive externe sur des mesures réelles est ensuite présentée. Dans ces applications, le modèle de variogramme de Cauchy montre une bonne adéquation avec la variabilité de la densité de la puissance. Un troisième exemple d'application a pour objectif d'évaluer la probabilité avec laquelle les niveaux d'exposition peuvent dépasser un seuil déterminé. Nous utilisons deux méthodes de la géostatistique non-linéaire basées sur un modèle "multigaussien" et comparons les résultats des calculs de probabilité de dépassement de seuil par ces deux méthodes sur un ensemble de mesures d'exposition prises dans le centre de la ville de Paris.

Ce document est une synthèse des travaux de recherche menés par l'auteur dans le domaine des écoulements géophysiques et de la biomécanique. Pour des raisons associées aux dimensions caractéristiques des problèmes étudiés, les écoulements géophysiques sont généralement représentés par des modèles plus simples que les équations de Navier-Stokes. Ainsi le système de Saint-Venant rend bien compte de phénomènes complexes telles les ruptures de barrage, les inondations, les avalanches. Dans ce document on propose plusieurs modèles de complexité réduite mais permettant de s'affranchir des limitations du système de Saint-Venant. Outre la dérivation, on propose pour chaque modèle, un schéma numérique ainsi qu'une confrontation avec des solutions analytiques et/ou des mesures expérimentales dans le cas d'écoulements complexes. Les discrétisations sont basées sur une interprétation cinétique des modèles, cette description permettant d'assurer les principales propriétés de stabilité des schémas. Certains des modèles proposés ont été implémentés dans des codes industriels. Dans la seconde partie du document, d'autres travaux concernant la modélisation en biomécanique et plus particulièrement l'activité électro-mécanique du muscle cardiaque sont également présentés.

ON ETEND AUX OPERATEURS FERMES A DOMAINE DENSE DANS UN HILBERT LA NOTION D'EQUIVALENCE MODULO LES COMPACTS, PUIS CELLE D'OPERATEURS ESSENTIELLEMENT NORMAUX C'EST-A-DIRE TELS QUE LEUR COMMUTANT EST COMPACT. ON PRESENTE ENSUITE UNE GENERALISATION D'UN THEOREME DE BROWN-DOUGLAS-FILLMORE 5 QUI DIT QUE TOUT OPERATEUR CONTINU SUR UN HILBERT SEPARABLE, ESSENTIELLEMENT NORMAL ET DONT TOUS LES INDICES SONT NULS SUR SA RESOLVANTE DE FREDHOLM, S'ECRIT COMME SOMME D'UN OPERATEUR NORMAL ET D'UN OPERATEUR COMPACT

Dans cette thèse, nous nous intéressons à la discrétisation par des schémas aux différences finies de problèmes faiblement bien posés. Nous donnons de nouvelles définitions qui prennent en compte la perte de régularité apparaissant dans les problèmes faiblement bien posés et nous étendons la condition nécessaire et suffisante de convergence de Lax-Richtmyer. En utilisant la théorie des perturbations et le développement en série de Puiseux, nous calculons le taux de convergence des schémas faisant partie d'une certaine classe. Nous illustrons numériquement nos résultats. Dans un deuxième temps, nous nous intéressons à un cas particulier de problèmes faiblement bien posés: les couches parfaitement adaptées de Bérenger ou PML. Nous donnons des estimations d'énergie pour les équations de Maxwell que nous étendons au schéma de Yee. Enfin, nous étudions le comportement asymptotique en temps de la solution d'une équation PML en utilisant l'approximation de l'optique géométrique.