Etude de la stabilité numérique de deux méthodes utilisées pour l'obtention de fonctions splines.

La résolution numérique du système d'équations pleinement compressibles en vue de son utilisation pour des applications en Prévision Numérique du Temps (PNT) soulève de nombreuses questions. L'une d'elles porte sur le choix des schémas de discrétisation temporelle à mettre en oeuvre afin de résoudre ce système de la manière la plus efficace possible, pour permettre la continuelle amélioration qualitative des prévisions. Jusqu'alors, les schémas de discrétisation temporelle basés sur des techniques semi-implicites (SI) étaient les plus couramment employés PNT, compte tenu de leur robustesse et de leur grande propriété de stabilité. Mais avec l'émergence des machines massivement parallèles à mémoire distribuée, l'efficacité de ces techniques est actuellement remise en question, car leur confortable plage de stabilité est obtenue au prix de l'inversion d'un problème elliptique tri-dimensionnel très gourmand en communications. Ce travail thèse vise à explorer d'autres méthodes de discrétisation temporelle, en remplacemant des méthodes SI, s'appuyant sur des approches de type Horizontalement Explicite et Verticalement Implicite (HEVI). D'une part, ces approches s'affranchissent de la contrainte numérique imposée sur le pas de temps par la propagation verticales des ondes rapides supportées par le système, grâce au traitement implicite des processus verticaux. D'autre part, elles exploitent le paradigme de programmation voulant que chaque colonne verticale du modèle numérique soit traitée par un unique processeur. Ainsi, le traitement implicite de cette direction n'engendre aucunes communications entre les processeurs. Cependant, bien que ces ap- proches HEVI apparaissent comme une solution attractive, rien ne garanti que leurs efficacités puissent être aussi compétitives que celles des sché- mas SI. Pour ce faire, ces schémas HEVI doivent permettre l'utilisation de pas de temps raisonnables pour une application en PNT. L'objectif de ce travail de thèse est d'élaborer un schéma de discrétisation temporelle HEVI le plus efficace possible pour une utilisation en PNT, c'est à dire, un schéma qui autorise le plus long pas de temps possible. Dans cette optique, deux voies ont été explorées : la première, issue des méthodes à pas de temps fractionné, a permis de revisiter et d'améliorer un schéma de discrétisation temporelle déjà proposé mais dont l'examen n'a jamais été approfondi dans la littérature ; il s'agit du schéma d'avance temporelle saute-moutons trapézo\"idal. Il a été mis en évidence que l'ajout d'un simple filtre temporel d'usage commun en PNT, améliore grandement la stabilité de ce schéma, lui permettant ainsi à moindre coût de rivaliser en terme de stabilité avec le schéma Runge-Kutta explicite d'ordre 3. La seconde voie, plus récente, c'est avérée la plus prometteuse. Elle repose sur l'utilisation des méthodes Runge-Kutta Implicite-Explicite (RK-IMEX) HEVI. Au cours l'étude, il a été tout d'abord mis en évidence certains problèmes de stabi- lité des schémas initialement suggérés dans la littérature en présence des processus d'advection. Puis, une nouvelle classe de schéma RK-IMEX HEVI s'appuyant sur un traitement temporel spécifique des termes d'ajustement horizontaux a été proposé / The use non-hydrostatic fully compressible modelling system in the perspective of Numerical Weather Prediction (NWP) raises many challenging questions, among which the choice time discretization scheme. It is commonly acknowledge that the ideal time marching algorithms to integrate the fully compressible system should both overcome the stability constraint imposed on time-step by the fast propagating waves supported by the system, and be scalable enough for efficiently computing on massively parallel computer machine. The assumed poor scalability property of Semi-implicit (SI) time schemes, currently favoured in NWP, is quite a drawback as they require global communications to solve a full three-dimensional elliptic problem. Because it is considered as the best compromise between stability, accuracy and scalability the properties of various classes of Horizontally Explicit Vertically Implicit (HEVI) schemes have been deeply explore in this work in a view of solving the fully system in mass-based coordinate. This class of time discretization approach eliminates all the problems linked to the implicit treatment of horizontal high-frequency forcings by coupling multi-step or multi-stage explicit methods for the horizontal propagation of fast waves to an implicit scheme for the treatment of vertically prop- agating elastic disturbances. The limitation in time-steps compared to SI schemes would be compensated by a much more economical algorithm per time-step. However, it is not firmly established that the efficiency of such a HEVI schemes could compete with one of the semi-implicit schemes. The main objective of this Phd thesis work is to elaborate an efficient HEVI time scheme allowing usable time-step for NWP applications. For this purpose, the so-called explicit time-splitting technique and the recently suggested Runge-Kutta IMEX (RK-IMEX) schemes have been explored un- der HEVI approach. Firstly, the superiority in term of stability of the RK-IMEX methods in respect with the time-splitting approach has been con- firmed. However, in presence of advection processes some unstable numerical behaviour of these schemes has been pointed out. To circumvent this problem a new class of RK-IMEX HEVI schemes has been proposed. This new class of HEVI time schemes reveals to be very attractive since they provide both good stability and accuracy properties. Secondly, in a side aspect of the HEVI approach, the stability impact of the temporal treatment of the terrain following coordinate non-linear metric terms has been demonstrated. Numerical analyses on simplified framework indicate that there might be a benefit to deal with these specific terms in the implicit part of the HEVI schemes. All the theoretical studies have been confirmed by nu- merical testing through the use of a Cartesian vertical plane fully compressible model cast in a mass-based coordinate.

Dans cette étude, nous traitons un problème d'interpolation de données dans le plan ou dans l'espace. Ce problème se distingue des autres problèmes existants par le fait que les points sont obtenus progressivement, c'est-à-dire à un instant donné, seules sont connues les données jusqu'à cet instant. Les méthodes utilisées sont basées sur l'utilisation de splines récurrentes, i.e., chaque morceau de la spline à l'étape i (correspondant à l'information i) est calculé en fonction des morceaux précédents par un raccordement paramétrique ou géométrique. L'algorithme ainsi construit est régi par une relation de récurrence dont nous étudions la stabilité numérique. Les données ont été interpolées de deux manières différentes: ― par une fonction spline vectorielle: dans ce cas la stabilité est démontrée au moyen des paramètres de forme issus du raccordement géométrique entre les sections de la spline. Ainsi, nous avons donné un nouveau rôle aux paramètres de forme qui consiste à absorber les oscillations provenant du calcul itératif. ― par une représentation scalaire des données: chaque morceau de la spline appartient à un espace de dimension n, engendré par une famille de fonctions ayant certaines propriétés. On démontre que la stabilité est en fait obtenue par le choix même des fonctions de base de l'espace

Simuler temporellement les réseaux électriques modernes requiert d'importants moyens de calcul de par la dimension et la raideur des systèmes différentiels algébriques résultants. De plus, la fréquence d'oscillation de certains signaux simulés contraint fortement le pas d'intégration des schémas classiques, y compris en régime établi où ils sont proches de sinusoïdes oscillant à la fréquence nominale du système. L'objectif de la méthode des prédicteurs sinusoïdaux proposée dans cette thèse est donc de tirer parti de cette propriété afin d'améliorer les performances du solveur tout en contrôlant l'erreur de calcul. Elle consiste à décomposer la solution en deux parties : une sinusoïde, dont les coefficients de Fourier sont fixés pour chaque intervalle d'intégration puis mis à jour par estimation paramétrique, et un terme de correction sur lequel le système d'EDA est reformulé et résolu à l'aide d'un schéma d'intégration à pas adaptatif. Une attention particulière a été portée au choix de l'estimateur paramétrique, ce dernier ayant un impact direct sur le pas d'intégration de par sa précision et indirect de par son effet sur la stabilité globale de la méthode. L'estimateur finalement développé consiste à calculer les coefficients de Fourier qui minimisent une mesure de la stationnarité du système. Ce dernier étant convergent en régime permanent, le terme de correction est progressivement amorti, permettant ainsi d'accroître considérablement le pas d'intégration. Cette méthode, intégrée au sein du solveur SUNDIALS IDA puis interfacée avec un moteur de calcul industriel, permet d'accélérer très nettement les simulations en comparaison avec une implémentation classique / Modern power systems time-domain simulations require important computational resources due to the resulting differential algebraic systems dimension and stiffness. In addition, some simulated signals oscillation frequency dramatically limits the classical schemes step size, even in steady-state during which they are close to sinusoids oscillating at system nominal frequency. That's why the sinusoidal predictors method proposed in this thesis aims at taking this property into account in order to enhance solver performances while controlling the integration error. It consists in decomposing the solution into two parts: a sinusoid, whose Fourier coefficients are fixed for each time integration interval and then updated by parametric estimation, and a correction term on which the DAE system is rewritten and solved using an adaptive step size integration scheme. A particular focus has been given on the estimator choice, given its precision direct impact on the step size and its indirect effect on the global method stability. The finally developed estimator consists in computing Fourier coefficients minimizing a system stationarity measurement. As it converges in steady-state, the correction term is progressively damped, which enables to considerably increase the step size. This method, integrated into the reference solver SUNDIALS IDA and interfaced with an industrial simulation engine, enables to very significantly accelerate simulations in comparison with a classical implementation

Cette étude porte sur la modélisation et la simulation numérique d'un piano, en domaine temporel, par modèles phy- siques. Nous souhaitons rendre compte du comportement vibratoire et acoustique du piano, en prenant en compte les éléments principaux qui contribuent à la production du son. La table d'harmonie est modélisée par une équation bidimensionnelle de plaque épaisse, le système de Reissner Mindlin, pour un matériau orthotrope et hétérogène, dont l'amortissement dépend de la fréquence. Grâce aux équations de la vibroacoustique, la table rayonne dans l'air, dans lequel on souhaite calculer le champ acoustique complet autour de la ceinture du piano, que l'on suppose rigide. La table d'harmonie est d'autre part sollicitée par les cordes, à travers le chevalet où elles présentent un léger angle par rapport au plan horizontal. Chaque corde est modélisée par un système d'équations monodimensionnelles amorties dans lequel on prend en compte non seulement les ondes transversales excitées par le marteau, mais aussi la raideur à travers les ondes de cisaillement, ainsi que le couplage avec les ondes longi- tudinales provenant de la prise en compte des non linéarités géométriques. Le marteau est lancé avec une vitesse initiale vers un chœur de cordes, contre lequel il s'écrase avant d'être repoussé par les cordes. La force d'interaction dépend de façon non linéaire de l'écrasement du marteau.Le modèle complet de piano, que l'on souhaite résoudre numériquement, consiste donc en un système couplé d'équations aux dérivées partielles, dont chacune revêt des difficultés de nature différente : la corde est régie par un système d'équations non linéaires, la table d'harmonie est soumise à un amortissement dépendant de la fréquence, la propagation acoustique requiert un très grand nombre d'inconnues; auxquelles s'ajoute la difficulté inhérente aux couplages. D'une part, la stabilité numérique du schéma discret peut être compromise par la présence d'équations non linéaires et de nombreux couplages. Une méthode efficace pour garantir cette stabilité a priori est de construire un schéma qui conserve, ou dissipe, un équivalent discret de l'énergie physique d'un pas de temps au suivant. Une contribution majeure de ce travail a été de développer des schémas préservant une énergie discrète pour une classe de systèmes non linéaires dans laquelle s'inscrit le modèle de corde. D'autre part, afin d'augmenter l'efficacité de la méthode et de réduire le coût des calculs numériques, il est souhaitable de mettre à jour de façon découplée les inconnues liées aux différentes parties du problème, sur lesquelles la discrétisation en temps est faite de façon différente, afin de s'adapter aux spécificités de chacune. L'introduction de multiplicateurs de Lagrange nous permet de réaliser ce découplage artificiel grâce à des compléments de Schur adaptés. L'utilisation du code de calcul en situation réaliste montre le potentiel d'une telle modélisation d'un piano complet en domaine temporel. Au delà de très bien reproduire les mesures, il est possible d'étudier l'influence de certains phénomènes physiques (corde raide, non linéaire), de la géométrie ou encore des matériaux utilisés sur le comportement vibratoire général du piano, et sur le son en particulier. L'enrichissement spectral, ainsi que l'apparition des " partiels fantômes " et du précurseur non linéaire sont clairement mis en évidence pour les grandes amplitudes de jeu, soulignant l'intérêt de notre approche dans la compréhension du fonctionnement de l'instrument.

Cette étude porte sur la modélisation et la simulation numérique d'un piano, en domaine temporel, par modèles phy- siques. Nous souhaitons rendre compte du comportement vibratoire et acoustique du piano, en prenant en compte les éléments principaux qui contribuent à la production du son. La table d'harmonie est modélisée par une équation bidimensionnelle de plaque épaisse, le système de Reissner Mindlin, pour un matériau orthotrope et hétérogène, dont l'amortissement dépend de la fréquence. Grâce aux équations de la vibroacoustique, la table rayonne dans l'air, dans lequel on souhaite calculer le champ acoustique complet autour de la ceinture du piano, que l'on suppose rigide. La table d'harmonie est d'autre part sollicitée par les cordes, à travers le chevalet où elles présentent un léger angle par rapport au plan horizontal. Chaque corde est modélisée par un système d'équations monodimensionnelles amorties dans lequel on prend en compte non seulement les ondes transversales excitées par le marteau, mais aussi la raideur à travers les ondes de cisaillement, ainsi que le couplage avec les ondes longi- tudinales provenant de la prise en compte des non linéarités géométriques. Le marteau est lancé avec une vitesse initiale vers un chœur de cordes, contre lequel il s'écrase avant d'être repoussé par les cordes. La force d'interaction dépend de façon non linéaire de l'écrasement du marteau.Le modèle complet de piano, que l'on souhaite résoudre numériquement, consiste donc en un système couplé d'équations aux dérivées partielles, dont chacune revêt des difficultés de nature différente : la corde est régie par un système d'équations non linéaires, la table d'harmonie est soumise à un amortissement dépendant de la fréquence, la propagation acoustique requiert un très grand nombre d'inconnues; auxquelles s'ajoute la difficulté inhérente aux couplages. D'une part, la stabilité numérique du schéma discret peut être compromise par la présence d'équations non linéaires et de nombreux couplages. Une méthode efficace pour garantir cette stabilité a priori est de construire un schéma qui conserve, ou dissipe, un équivalent discret de l'énergie physique d'un pas de temps au suivant. Une contribution majeure de ce travail a été de développer des schémas préservant une énergie discrète pour une classe de systèmes non linéaires dans laquelle s'inscrit le modèle de corde. D'autre part, afin d'augmenter l'efficacité de la méthode et de réduire le coût des calculs numériques, il est souhaitable de mettre à jour de façon découplée les inconnues liées aux différentes parties du problème, sur lesquelles la discrétisation en temps est faite de façon différente, afin de s'adapter aux spécificités de chacune. L'introduction de multiplicateurs de Lagrange nous permet de réaliser ce découplage artificiel grâce à des compléments de Schur adaptés. L'utilisation du code de calcul en situation réaliste montre le potentiel d'une telle modélisation d'un piano complet en domaine temporel. Au delà de très bien reproduire les mesures, il est possible d'étudier l'influence de certains phénomènes physiques (corde raide, non linéaire), de la géométrie ou encore des matériaux utilisés sur le comportement vibratoire général du piano, et sur le son en particulier. L'enrichissement spectral, ainsi que l'apparition des " partiels fantômes " et du précurseur non linéaire sont clairement mis en évidence pour les grandes amplitudes de jeu, soulignant l'intérêt de notre approche dans la compréhension du fonctionnement de l'instrument.

La problématique de cette thèse se place à l'interface entre le domaine scientifique du contrôle non destructif par ultrasons (CND US) et l'adéquation algorithme architecture. Le CND US comprend un ensemble de techniques utilisées pour examiner un matériau, qu'il soit en production ou maintenance. Afin de détecter d'éventuels défauts, de les positionner et les dimensionner, des méthodes d'imagerie et de reconstruction ont été développées au CEA-LIST, dans la plateforme logicielle CIVA.L'évolution du matériel d'acquisition entraine une augmentation des volumes de données et par conséquent nécessite toujours plus de puissance de calcul pour parvenir à des reconstructions en temps interactif. L'évolution multicoeurs des processeurs généralistes (GPP), ainsi que l'arrivée de nouvelles architectures comme les GPU rendent maintenant possible l'accélération de ces algorithmes.Le but de cette thèse est d'évaluer les possibilités d'accélération de deux algorithmes de reconstruction sur ces architectures. Ces deux algorithmes diffèrent dans leurs possibilités de parallélisation. Pour un premier, la parallélisation sur GPP est relativement immédiate, contrairement à celle sur GPU qui nécessite une utilisation intensive des instructions atomiques. Quant au second, le parallélisme est plus simple à exprimer, mais l'ordonnancement des nids de boucles sur GPP, ainsi que l'ordonnancement des threads et une bonne utilisation de la mémoire partagée des GPU sont nécessaires pour obtenir un fonctionnement efficace. Pour ce faire, OpenMP, CUDA et OpenCL ont été utilisés et comparés. L'intégration de ces prototypes dans la plateforme CIVA a mis en évidence un ensemble de problématiques liées à la maintenance et à la pérennisation de codes sur le long terme.

Cette thèse porte sur la modélisation des ondes élastodynamiques dans deux situations particulières qui pénalisent les méthodes numériques utilisées pour simuler ces phénomènes. Dans la première partie, on se place dans le cas où les ondes de pression (ondes P) se propagent à une vitesse beaucoup plus grande que celle des ondes de cisaillement (ondes S). Les modèles numériques utilisés habituellement pour traiter cette configuration sont pénalisés par la plus petite vitesse qui dicte le choix du pas du schéma. Nous proposons ici un schéma qui découple numériquement, dans le volume, les ondes P et les ondes S, pour deux types de conditions de bord en utilisant la décomposition du déplacement en potentiels de Lamé, en deux dimensions. Les conditions aux limites de Dirichlet homogènes, qui sont des conditions essentielles pour la formulation classique en déplacement, deviennent des conditions naturelles, mais non standard, pour la formulation en potentiels qui se présente comme un système de deux équations d'ondes couplées par les conditions aux limites. Cette formulation préserve une énergie équivalente à l'énergie élastodynamique. Nous construisons un schéma éléments finis en espace et utilisons un thêta-schéma en temps sur les termes de bord afin de ne pas pénaliser la CFL et mener à une condition sur le pas de temps indépendante des termes de couplage au bord. Ce schéma préserve une énergie discrète. Le cas des conditions de surface libre mène à des instabilités. Nous les avons traitées comme des perturbations des conditions de Dirichlet, ce qui permet d'obtenir de bons résultats dans le domaine fréquentiel mais donne naissance à de sévères instabilités après discrétisation en temps. La seconde partie de la thèse est consacrée à la construction, l'analyse et la validation de conditions de transmission effectives (CTE) à travers une couche mince de matériau homogène et isotrope d'épaisseur constante h. Ici, la finesse de la couche affecte les schémas explicites usuels car le maillage de la couche avec des éléments suffisamment petits entraîne une diminution analogue du pas de temps critique via la condition CFL, tandis que l'on espère avec les CTE obtenir un pas de temps indépendant de l'épaisseur de la couche. Une analyse complète du cas de la bande mince rectiligne est donnée en deux et trois dimensions. Les conditions obtenues sont stables via la conservation d'une énergie et l'ordre de l'erreur d'approximation par rapport à l'épaisseur de la couche pour les conditions d'ordre 2 est de O(h^3). Des résultats numériques sont présentés pour les configurations bi et tridimensionnelles, ils valident les résultats de stabilité, d'estimation d'erreur et de conditions de stabilité de schémas en temps proposés, qui sont des modifications du schéma explicite utilisé en l'absence de couche mince. Enfin, le traitement d'une couche curviligne est effectué dans le cas bidimensionnel. Sa stabilité est à nouveau vérifiée par conservation d'énergie et des résultats numériques sont également présentés.

L'Interaction Fluide-Structure (IFS) est un sujet d'intérêt dans beaucoup de problèmes pratiques aussi bien pour les recherches académiques ainsi que pour les applications industrielles. Différents types d'approches de simulation numérique peuvent être utilisés pour étudier les problèmes d'IFS afin d'obtenir de meilleurs conceptions et d'éviter des incidents indésirables. Dans ce travail, le domaine du fluide est simulé par une méthode hybride sans maillage (SPH-ALE), et la structure est discrétisée par la méthode d' ' Eléments Finis (EF). Considérant le fluide comme un ensemble de particules, on peut suivre l'interface entre le fluide et la structure d'une manière naturelle. Une stratégie de couplage conservant l'énergie est proposée pour les problèmes d'IFS transitoires où différents intégrateurs temporels sont utilisés pour chaque sous-domaine: 2nd ordre schéma de Runge-Kutta pour le fluide et schéma de Newmark pour le solide. En imposant la continuité de la vitesse normale à l'interface, la méthode proposée peut assurer qu'il n'y a ni injection d'énergie ni dissipation d'énergie à l'interface. L'énergie de l'interface est donc nulle (aux erreurs de troncature près) durant toute la période de simulation numérique. Cette méthode de couplage assure donc que la simulation de couplage est numériquement stable en temps. Les expérimentations numériques montrent que le calcul converge en temps avec l'ordre de convergence minimal des schémas utilisés dans chaque sous-domaine. Cette méthode proposée est d'abord appliquée 'a un problème de piston mono-dimensionnel. On vérifie sur ce cas qu'elle ne dégrade pas l'ordre de précision en temps des schémas utilisés. On effectue ensuite les études des phénomènes de propagation d'ondes de choc au travers de l'interface fluide-structure. Un excellent accord avec la solution analytique est observé dans les cas de teste de propagation d'onde en 1-D. Finalement, les exemples multi-dimensionnels sont présentés. Ses résultats sont comparés avec ceux obtenus par d'autres méthodes de couplage.

Cette thèse porte sur la modélisation des ondes élastodynamiques dans deux situations particulières qui pénalisent les méthodes numériques utilisées pour simuler ces phénomènes. Dans la première partie, on se place dans le cas où les ondes de pression (ondes P) se propagent à une vitesse beaucoup plus grande que celle des ondes de cisaillement (ondes S). Les modèles numériques utilisés habituellement pour traiter cette configuration sont pénalisés par la plus petite vitesse qui dicte le choix du pas du schéma. Nous proposons ici un schéma qui découple numériquement, dans le volume, les ondes P et les ondes S, pour deux types de conditions de bord en utilisant la décomposition du déplacement en potentiels de Lamé, en deux dimensions. Les conditions aux limites de Dirichlet homogènes, qui sont des conditions essentielles pour la formulation classique en déplacement, deviennent des conditions naturelles, mais non standard, pour la formulation en potentiels qui se présente comme un système de deux équations d’ondes couplées par les conditions aux limites. Cette formulation préserve une énergie équivalente à l'énergie élastodynamique. Nous construisons un schéma éléments finis en espace et utilisons un thêta-schéma en temps sur les termes de bord afin de ne pas pénaliser la CFL et mener à une condition sur le pas de temps indépendante des termes de couplage au bord. Ce schéma préserve une énergie discrète. Le cas des conditions de surface libre mène à des instabilités. Nous les avons traitées comme des perturbations des conditions de Dirichlet, ce qui permet d'obtenir de bons résultats dans le domaine fréquentiel mais donne naissance à de sévères instabilités après discrétisation en temps. La seconde partie de la thèse est consacrée à la construction, l'analyse et la validation de conditions de transmission effectives (CTE) à travers une couche mince de matériau homogène et isotrope d'épaisseur constante h. Ici, la finesse de la couche affecte les schémas explicites usuels car le maillage de la couche avec des éléments suffisamment petits entraîne une diminution analogue du pas de temps critique via la condition CFL, tandis que l'on espère avec les CTE obtenir un pas de temps indépendant de l'épaisseur de la couche. Une analyse complète du cas de la bande mince rectiligne est donnée en deux et trois dimensions. Les conditions obtenues sont stables via la conservation d'une énergie et l'ordre de l'erreur d'approximation par rapport à l'épaisseur de la couche pour les conditions d'ordre 2 est de O(h^3). Des résultats numériques sont présentés pour les configurations bi et tridimensionnelles, ils valident les résultats de stabilité, d'estimation d'erreur et de conditions de stabilité de schémas en temps proposés, qui sont des modifications du schéma explicite utilisé en l'absence de couche mince. Enfin, le traitement d'une couche curviligne est effectué dans le cas bidimensionnel. Sa stabilité est à nouveau vérifiée par conservation d'énergie et des résultats numériques sont également présentés. / This work is dedicated to the modelling of elastodynamic waves in two particular situations for which standard numerical methods experience difficulties. In the first part, the case where the velocity of the pressure waves (P waves) is much greater than the velocity of the shear waves (S waves) is studied. When applied to this situation, standard explicit time-stepping methods are hampered by the fact that the mesh size is dictated by the smallest velocity. We develop a numerical scheme that uncouples the body S-waves and P-waves by exploiting the well-known representation of elastodynamic states in terms of Lamé potentials. Formulations are derived and analysed for the 2-D case, where both potentials are scalar functions. Homogeneous essential Dirichlet boundary conditions lead to non-standard natural conditions for our potential-based formulation. A system of two wave equations, coupled by two boundary conditions, is obtained. This formulation is energy-preserving. A discretization approach involving finite elements in space and a theta-scheme in time applied to the boundary unknowns inside the domain is proposed, so that the « natural » time step for each wave speed can be used. This scheme is shown to be also energy-preserving. The case of Neumann boundary conditions is also addressed. These conditions are treated as perturbations of the Dirichlet case, an approach which yields good results in the time-harmonic case while giving rise to severe instabilities in the time-discrete transient case. The second part of this thesis is concerned with the design, analysis, numerical approximation and implementation of effective transmission conditions (ETCs) for the propagation of elastic waves through a thin elastic layer with small uniform thickness h which is embedded in a reference elastic medium, under transient conditions, with both materials assumed to have isotropic properties. Here, the thinness of the layer has an adverse effect on usual explicit schemes, since meshing the layer with small elements will induce a corresponding reduction of the critical time step through a CFL condition, whereas it is expected that the layer-less CFL condition will remain valid if the layer is modelled using ETCs. First, a complete analysis is given in the case of a planar elastic layer, applicable to two- and three-dimensional situations. The stability of the proposed second-order ETC is established as the result of energy preservation, while the approximation error on the transmission solution is shown to be of order O(h^3) in energy norm. Numerical experiments, performed for two- and three-dimensional configurations, validate the theoretical findings on stability, approximation error and stability conditions of time-stepping schemes that are natural modifications of the explicit scheme used in the absence of a thin layer. Then, ETCs are also derived for the case of a curvilinear layer embedded in a two-dimensional elastic medium. Their stability is again proven as resulting from energy preservation and the theoretical results are illustrated with numerical experiments.