Les calculs de réactivité constituent une brique fondamentale dans la simulation des coeurs des réacteurs nucléaires. Ceux-ci conduisent à la résolution de problèmes aux valeurs propres généralisées via l'algorithme de la puissance inverse. A chaque itération, on est amené à résoudre un système linéaire de manière approchée via un algorithme d'itérations imbriquées. Il est difficile de traiter les modélisations très fines avec le solveur développé à EDF, au sein de la plate-forme Cocagne, en raison de la consommation mémoire et du temps de calcul. Au cours de cette thèse, on étudie une méthode de décomposition de domaine de type Schur dual. Plusieurs placements de l'algorithme de décomposition de domaine au sein du système d'itérations imbriquées sont envisageables. Deux d'entre eux ont été implémentés et les résultats analysés. Le deuxième placement, utilisant les spécificités des éléments finis de Raviart-Thomas et de l'algorithme des directions alternées, conduit à des résultats très encourageants. Ces résultats permettent d'envisager l'industrialisation de la méthodologie associée.

Dans de nombreux problèmes physiques, un modèle incertain peut être traduit par un ensemble d'équations aux dérivées partielles stochastiques. Nous nous intéressons ici à des problèmes présentant de nombreuses sources d'incertitudes localisées en espace. Dans le cadre des approches fonctionnelles pour la propagation d'incertitudes, ces problèmes présentent deux difficultés majeures. La première est que leurs solutions possèdent un caractère multi-échelle, ce qui nécessite des méthodes de réduction de modèle et des stratégies de calcul adaptées. La deuxième difficulté est associée à la représentation de fonctions de nombreux paramètres pour la prise en compte de nombreuses variabilités. Pour résoudre ces difficultés, nous proposons tout d'abord une méthode de décomposition de domaine multi-échelle qui exploite le caractère localisé des aléas. Un algorithme itératif est proposé, qui requiert une résolution alternée de problèmes globaux et de problèmes locaux, ces derniers étant définis sur des patchs contenant les variabilités localisées. Des méthodes d'approximation de tenseurs sont ensuite utilisées pour la gestion de la grande dimension paramétrique. La séparation multi-échelle améliore le conditionnement des problèmes à résoudre et la convergence des méthodes d'approximation de tenseurs qui est liée aux propriétés spectrales des fonctions à décomposer. Enfin, pour la prise en compte de variabilités géométriques localisées, des méthodes spécifiques basées sur les approches de domaines fictifs sont introduites.

La simulation de la neutronique d'un coeur de réacteur nucléaire est basée sur l'équation du transport des neutrons, et un calcul de criticité conduit à un problème à valeur propre. Parmi les méthodes de résolution déterministes, l'approximation de la diffusion est souvent utilisée. Le solveur MINOS basé sur une méthode d'éléments finis mixte duale, a montré son efficacité dans la résolution de ce problème. Afin d'exploiter les ordinateurs parallèles, et de réduire les coûts en temps de calcul et en mémoire, nous proposons dans ce mémoire deux méthodes de décomposition de domaine pour la résolution du problème à valeur propre de la diffusion des neutrons sous forme mixte duale. La première méthode est inspirée d'une méthode de synthèse modale : la solution est cherchée dans une base constituée d'un nombre fini de modes propres locaux calculés par MINOS sur des sous-domaines recouvrants. La deuxième méthode est un algorithme itératif de Schwarz modifié qui utilise des sous-domaines non recouvrants et des conditions de Robin aux interfaces entre sous-domaines. A chaque itération, le problème est résolu par MINOS sur chaque sous-domaine avec des conditions aux interfaces calculées à partir des solutions sur les sous-domaines adjacents à l'itération précédente. Les itérations permettent la convergence simultanée de la décomposition de domaine et du problème à valeur propre. Les résultats numériques obtenus sur des modèles 2D et 3D de coeurs réalistes montrent la précision et l'efficacité en parallèle de ces deux méthodes.

Dans les problèmes de calcul de structures, la simulation du comportement en vibrations moyennes fréquences soulève plusieurs difficultés. Parmi elles, on peut citer des problèmes liés l'hypersensibilité de la réponse de la structure, des difficultés tenant à la modélisation de la géométrie, de l'amortissement et des liaisons, et des difficultés sur le plan numérique, les méthodes éléments finis classiques devenant trop coûteuses lorsque la fréquence augmente. Ce travail de thèse se concentre sur le problème de la modélisation des liaisons et de l'identification des paramètres des modèles. La méthode proposée envisage de s'appuyer sur des travaux déjà développés au LMT. Nous adoptons une méthode de recalage initialement basée sur les travaux sur l'erreur en relation de comportement, qui a montré sa robustesse pour la correction de modèles éléments finis, et qui ici est utilisée pour le recalage des modèles de liaison. Sur le plan numérique, la théorie variationnelle des rayons complexes (TVRC), dédiée au calcul des vibrations en moyennes fréquences, sera l'approche privilégiée. Pour pouvoir utiliser conjointement ces deux approches, la contribution majeure de ce travail propose « une version sous structurée » de la TURC qui considère l'interface comme une sous structure à part entière, possédant ses propres inconnues et équations. La validation de cette variante, ainsi que la robustesse de la méthode de recalage sont étudiées en s'appuyant sur des essais simulés numériquement.

Les méthodes de décomposition de domaine en espace ont prouvé leur utilité dans le cadre des architectures parallèles. Pour les problèmes d'évolution en temps, il est nécessaire d'introduire une dimension supplémentaire de parallélisme dans la direction du temps. Ceci peut alors être couplé avec des méthodes de type optimisé Schwarz waveform relaxation. Nous nous intéressons dans cette thèse aux méthodes directes de décomposition en temps. Nous en étudions particulièrement deux. Dans une première partie nous étudions la méthode de produit tensoriel, introduite par R. E. Lynch, J. R. Rice, et D. H. Thomas in 1963. Nous proposons une méthode d'optimisation des pas de temps, basée sur une étude d'erreur en variable de Fourier en temps. Nous menons cette étude sur les schémas d'Euler et de Newmark pour la discrétisation en temps de l'équation de la chaleur. Nous présentons ensuite des tests numériques établissant la validité de cette approche. Dans la seconde partie, nous étudions les méthodes dites de Bloc, introduites par Amodio et Brugnano en 1997. Nous comparons diverses implémentations de la méthode, basées sur différentes approximations de l'exponentielle de matrice. Nous traitons l'équation de la chaleur et l'équation des ondes, et montrons par une étude numérique bidimensionnelle la puissance de la méthode.

Le contrôle de la qualité des calculs de structure suscite un intérêt croissant dans les processus de conception et de certification. Il repose sur l'utilisation d'estimateurs d'erreur, dont la mise en pratique entraîne un sur-coût numérique souvent prohibitif sur des calculs de grande taille. Le présent travail propose une nouvelle procédure permettant l'obtention d'une estimation garantie de l'erreur de discrétisation dans le cadre de problèmes linéaires élastiques résolus au moyen d'approches par décomposition de domaine. La méthode repose sur l'extension du concept d'erreur en relation de comportement au cadre des décompositions de domaine sans recouvrement, en s'appuyant sur la construction de champs admissibles aux interfaces. Son développement dans le cadre des approches FETI et BDD permet d'accéder à une mesure pertinente de l'erreur de discrétisation bien avant convergence du solveur lié à la décomposition de domaine. Une extension de la procédure d'estimation aux problèmes hétérogènes est également proposée. Le comportement de la méthode est illustré et discuté sur plusieurs exemples numériques en dimension 2.

Dans cette thèse on étudie le couplage de modèles à dimensions spatiales hétérogènes, avec une application en hydraulique fluviale. On commence par donner un cadre mathématique général à cette problématique. Ensuite, on étudie un cas académique de couplage 1-D/2-D dans le cadre elliptique. On définit les opérateurs de restriction et d'extension nécessaires à l'analyse en se basant sur la dérivation du modèle 1-D à partir du modèle 2-D. Après cela, on met en oeuvre un algorithme de couplage de type Schwarz avec des conditions de type Robin. On montre alors la convergence de cet algorithme, plus particulièrement sa convergence optimale en utilisant l'opérateur absorbant exact 1-D. On termine cette partie en établissant une majoration de l'erreur entre la solution couplée et la solution globale de référence en fonction du rapport d'aspect du domaine d'étude et de la position de l'interface de couplage. Ces résultats sont illustrés numériquement. Dans la deuxième partie, on généralise cette analyse mathématique au cas du couplage des systèmes linéaires de Saint-Venant 2-D et de Navier-Stokes hydrostatiques 3-D. En faisant l'hypothèse d'une friction nulle au fond, on montre que la convergence de l'algorithme de couplage est équivalente à celle de l'algorithme usuel de décomposition de domaine du Système de Saint-Venant. On calcule une approximation des opérateurs absorbants exacts du système de Saint-Venant, ce qui nécessite de faire des hypothèses restrictives. Comme alternative, on propose un algorithme avec des conditions de type Robin, dont on montre la convergence. Enfin, on présente une première étude d'un cas test réel de couplage des systèmes de Saint-Venant 1-D et Navier-Stokes 3-D en utilisant les codes numériques Mascaret 1-D et Telemac 3-D développés par EDF R&D.

Cette thèse présente des algorithmes permettant la parallélisation dans la direction temporelle de la simulation des systèmes régis par des équations aux dérivées partielles issues de trois domaines d'application proposant des modèles complexes: \textbf{1. Contrôle optimal d'équations paraboliques:}\\ Nous développons deux algorithmes parallèles (SITPOC et PITPOC). Ces deux algorithmes sont basés sur une méthode générale de décomposition en temps des problèmes de contrôle optimal. Un résultat de convergence est obtenu pour SITPOC ainsi que des interprétations matricielles des deux algorithmes. \textbf{2. Cinétique de la population de neutrons dans un réacteur nucléaire:}\\ Nous concevons un solveur parallélisé en temps regroupant toutes les variables issues de la modélisation neutronique d'un réacteur. Notre méthode est adaptée aux différents scénarios possibles réduisant la physique. Les résultats numériques sont comparables à ceux obtenus par le code MINOS du CEA. La parallélisation repose sur un schéma de type pararéel pour la résolution en temps. Nous considérons plusieurs modèles physiques de la cinétique des neutrons que nous traitons par notre algorithme dans lequel le solveur grossier utilisé correspond à une simulation par réduction du modèle physique. Cette réduction est bénéfique puisqu'elle permet une accélération importante du traitement en temps machine. \textbf{3. Contrôle par résonance magnétique nucléaire et information quantique:}\\ Ce chapitre présente un travail d'ouverture sur une méthode parallèle en temps pour la résolution d'un problème de contrôle optimal en résonance magnétique nucléaire. Notre méthode produit une accélération importante par rapport à l'algorithme de référence non parallèle. De plus, les champs de contrôle calculés par notre méthode sont lisses, ce qui permet une mise en œuvre expérimentale plus simple dans les instruments. Les tests numériques prouvent l'efficacité de notre approche. Sur des exemples académiques et sans faire usage de techniques de programmation avancées, nous obtenons des accélérations de résolution significatives.

La turbine Pelton est une turbine hydraulique dont le fonctionnement se caractérise par l'interaction d'un jet d'eau avec les augets d'une roue. Cette étude a pour but de comprendre les phénomènes influençant le jet et son interaction avec les augets. Pour cela deux actions différentes ont été menées. Une première a visé à caractériser expérimentalement la fragmentation d'un jet de turbine Pelton. La seconde s'est attachée à développer une méthode numérique pouvant mener'à la simulation précise de jets réels de turbines Pelton. La partie expérimentale a permis de déterminer le mode de fragmentation de ces jets (atomisation turbulente), mais aussi l'influence de la rugosité des parois de l'injecteur sur les performances de la turbine. La participation de ce travail à un projet expérimental a permis de montrer l'influence de l'écoulement en sortie d'injecteur sur la fragmentation du jet. Les phénomènes physiques influençant principalement l'évolution du jet ont ainsi été déterminés. La partie numérique a eu pour but de mettre en place une méthode permettant de simuler l'évolution d'un jet de turbine Pelton (fragmentation) et son interaction avec un auget. Etant donnés les progrès de la méthode SPH-ALE pour la simulation d'impact de jets pour les turbines Pelton, il a été décidé d'adapter cette méthode pour les simulations visées. Ainsi une étude du choix de la vitesse des interfaces de problème de Riemann a permis de réaliser un modèle multiphase stable pour les forts rapports de densité (eau-air). Cette méthode s'est avérée garantir les propriétés de continuité de vitesse normale et de pression à l'interface entre les fluides. L'ajout des phénomènes de tension de surface s'est fait par l'adaptation du modèle CSF (Continuum Surface Force) et le développement d'un second modèle nommé Laplace Law Pressure Correction (LLPC).L'intégration du saut de pression dans le solveur de Riemann a nécessité une étude précise du calcul de la courbure et a permis d'améliorer la simulation de loi de Laplace. La méthode numérique a été ensuite validée sur les cas académiques d'onde gravitaire, de rupture de barrage et d'oscillation de goutte. Les ressources en mémoire et le temps de calcul associé à cette méthode ont nécessité la parallélisation du code de calcul. Le caractère lagrangien de la méthode a très largement influencé la méthode de découpe de domaine pour permettre une bonne répartition de la charge de calcul entre les différents processeurs. En conclusion les phénomènes physiques influençant la fragmentation de jets issus d'injecteurs de turbine Pelton sont désormais mieux connus et ils ont pu être introduits dans la méthode numérique. Les prochains développements porteront sur la simulation de jets dont la condition d'entrée s'attachera à être représentative des caractéristiques d'un écoulement en sortie d'un injecteur de turbine Pelton.

La simulation numérique de systèmes d'équations différentielles raides ordinaires ou algébriques est devenue partie intégrante dans le processus de conception des systèmes mécaniques à dynamiques complexes. L'objet de ce travail est de développer des méthodes numériques pour réduire les temps de calcul par le parallélisme en suivant deux axes : interne à l'intégrateur numérique, et au niveau de la décomposition de l'intervalle de temps. Nous montrons l'efficacité limitée au nombre d'étapes de la parallélisation à travers les méthodes de Runge-Kutta et DIMSIM. Nous développons alors une méthodologie pour appliquer le complément de Schur sur le système linéarisé intervenant dans les intégrateurs par l'introduction d'un masque de dépendance construit automatiquement lors de la mise en équations du modèle. Finalement, nous étendons le complément de Schur aux méthodes de type "Krylov Matrix Free". La décomposition en temps est d'abord vue par la résolution globale des pas de temps dont nous traitons la parallélisation du solveur non-linéaire (point fixe, Newton-Krylov et accélération de Steffensen). Nous introduisons les méthodes de tirs à deux niveaux, comme Parareal et Pita dont nous redéfinissons les finesses de grilles pour résoudre les problèmes raides pour lesquels leur efficacité parallèle est limitée. Les estimateurs de l'erreur globale, nous permettent de construire une extension parallèle de l'extrapolation de Richardson pour remplacer le premier niveau de calcul. Et nous proposons une parallélisation de la méthode de correction du résidu.