• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 181
  • 95
  • 47
  • 31
  • 18
  • 9
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 432
  • 72
  • 52
  • 50
  • 41
  • 39
  • 38
  • 37
  • 35
  • 35
  • 30
  • 30
  • 26
  • 26
  • 26
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
121

Contribution à la génération assistée par ordinateur du tolérancement de fabrication 3D / Contribution to computer-aided generation of 3D manufacturing tolerancing

Jaballi, Karim 09 October 2009 (has links)
Lors de la réalisation des pièces d’un mécanisme, le fabricant se doit de respecter les exigences géométriques exigées par le client. Ces exigences sont issues de besoins fonctionnels du mécanisme à tous les stades de son cycle de vie. Le fabricant lors des opérations successives d’usinage, avec ou sans enlèvement de matière, doit définir les exigences de la géométrie ajoutée au poste. La combinaison de ces exigences affectées de leur tolérance doit être comparée aux exigences géométriques du client. L’objectif du travail présenté est la définition d’une méthode optimisant, rationnellement, les exigences géométriques des surfaces créées. Nous définirons les spécifications géométriques, au sens de l’iso 1101, mais la valeur de ces tolérances ne sera pas abordée dans ce travail, d’autres équipes ayant réalisés des travaux de qualité. L’étude poussée de la méthode 1D utilisée dans l’ensemble du groupe Renault pour définir les fiches schéma nous a montré ses limites lors de la multiplication des posages orientés différemment. Par contre l’optimisation du choix des spécifications influentes a retenu notre intérêt. L’étude des méthodes du bureau d’études pour la recherche de spécifications des pièces composant un mécanisme nous a permis de faire l’analogie avec les phases d’usinages. En effet le passage successif de la pièce sur les différents postes d’usinage s’apparente à des assemblages temporaires qui mettent en œuvre des surfaces actives qu’elles soient de posage ou créées à l’opération. La modélisation du processus d’usinage à l’aide d’une représentation graphique est largement utilisée par la communauté travaillant dans le tolérancement. Nous avons développé dans notre travail un modèle de représentation appelé SPIDER GRAPH. Ce modèle essentiellement pédagogique nous permet de visualiser le déroulement de l’algorithme développé à l’occasion de ce mémoire. Il met en valeur la succession de liens entre les différentes surfaces intervenant pour réaliser une spécification exigée. Deux méthodes utilisant le concept SATT pour la mise en position des ensembles de surfaces de tolérancement de fabrication 3D sont décrites : « Recherche des chemins du process contraignant les degrés de liberté de la spécification fonctionnelle ». Nous avons identifié, en se référant aux résultats développés par DESROCHERS, toutes les combinaisons possibles entre des entités simples et leurs correspondances en termes de type de tolérance. Une validation par un exemple a été établie et un ensemble de spécifications géométriques de fabrication a été généré. Cette méthode qui s’appuie successivement sur les surfaces du système de référence ne permet pas une écriture se référant à des systèmes de référence. Nous avons donc développé une alternative à ce travail initial. « Méthode rationnelle de tolérancement de fabrication 3D » Cette méthode est représentée par un logigramme qui prend en compte la hiérarchie des surfaces lors des posages. Il prend également en compte les inversions de spécifications entre la référence et la surface spécifiée. Lors de la création de surfaces temporaires qu’elles soient de posage ou d’usinage, la méthode permet de spécifier ces surfaces dans les opérations considérées. Lors du développement de cette méthode originale, nous avons repris la totalité des fiches de cotations SATT, développées par CLEMENT et aussi les modélisations vectorielles de ces cas d’association décrites par GAUNET. A l’aide des lois d’identification des paramètres de mise en position relative entre SATT, nous avons pu générer, l’ensemble des spécifications géométriques capables de mener au respect de la spécification géométrique fonctionnelle. Cette méthode assure la traçabilité des liens successifs entre les surfaces actives lors des différentes opérations. [...] / During the realization of the mechanism pieces, the manufacturer must respect the customer geometrical requirements. These requirements arise from functional needs of the mechanism in all its life cycle stages. During the successive operations of manufacturing, with or without material removing, the manufacturer has to define the added geometry requirements in each phase. The combination of these requirements affected by their tolerance must be compared with the functional geometrical requirements. The objective the actual work is to define a method optimizing, in a rational way, the geometrical requirements of the created surfaces. We shall define the geometrical specifications, according to the standard “ISO on 1101”, but the quantification of the tolerance zones will not be approached on this work, other teams have given good results. The 1D method, used in the whole of the group Renault to define process cards, is limited during the reproduction of positioning surfaces directed differently. On the other hand the optimization of the influential specifications retained our interest. The study of the engineering consulting firm method, used for the search of the each pieces specification composing a mechanism, allowed us to make analogy with the manufacturing phases. Indeed the successive manufacturing operation on various posts is similar to temporary assemblies which implement active surfaces whether they are positioning or machined surfaces, existing in this phase. The modeling of the manufacturing process by means of a graphic representation is widely used on the tolerance filed. We developed in our work a model of representation called SPIDER GRAPH. This essentially educational model allows us to show the progress of the algorithm, developed in this these. It emphasizes the succession of links between the various surfaces with intervene in the generation of needed manufacturing specification. Two methods based on the TTRS concept to select all needed surfaces in 3D manufacturing tolerancing are described: « Search of the process links constraining the functional forbidden displacement ». In this method we identified, by referring to the results developed by DESROCHERS, all the possible combinations between simple entities and their tolerance type correspondences. An example of validation is afterward established and a set of geometrical manufacturing specifications were generated. With this previous method we are constrained to treat the surfaces that constitute the functional reference system independently, one by one, which is not conform to the standard. What urged us to look for another alternative able to remedy to this problem. « Rational method for 3D manufacturing tolerancing synthesis based on TTRS approach » This method is represented by an algorithm which takes into account the hierarchy of positioning surfaces and the specifications inversions between the reference and the specified surface. During the creation of temporary surfaces, whether they are used for positioning or they are machined, the method allows to generate the appropriate tolerance specification in the considered phase. During the development of this method, we took back the totality of the tolerancing process TTRS cards, developed by CLÉMENT and also the vectorial modelling of these associations’ cases, described by GAUNET. With the relatives positioning parameters rules, we were able to generate at the end of the treatment all the geometrical specifications capable to ensure the respect of the functional geometrical specification. This method insures the traceability of the successive links between the active surfaces during the various manufacturing operations. These links which can be represented on the SPIDER GRAPH will allow determining mathematically or in a probability way the consequence of these various pieces transfer between machines.
122

Three dimensional variational geometry in computer-aided design

Lin, Vincent C. January 1981 (has links)
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1981. / Bibliography: leaves 105-107. / by Vincent C. Lin. / Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1981.
123

Continuidade de atratores globais: o uso de corretores para a obtenção de melhores taxas de convergência / Continuity of global attractors: the use of correctors to obtain better convergence rates

Cardoso, Cesar Augusto Esteves das Neves 05 June 2017 (has links)
Neste trabalho estudamos a continuidade da dinâmica assintótica relativamente a perturbações e, em particular, exploramos a obtenção de melhorias para as taxas de convergência de atratores globais através da introdução de fatores de correção, inspirados pelos resultados da teoria de homogeneização e nos trabalhos de (BABIN; VISHIK, 1992) e (CARVALHO; CHOLEWA, 2011), e através da introdução de mecanismos que melhoram a transferência da taxa de convergência de semigrupos para a taxa de convergência de atratores, inspirados pelos trabalhos (SANTAMARÍA, 2013) e (BABIN; VISHIK, 1992; CARVALHO; CHOLEWA, 2011). A proposta inicial está centrada na obtenção de melhores taxas de convergência de atratores globais através da obtenção de equiatração e da melhoria da taxa de convergência dos semigrupos. Para isto, buscamos melhorar a taxa de convergência do resolvente dos operadores setoriais envolvidos, por meio de uma perturbação singular do resolvente limite que ainda gere uma família de operadores setoriais com resolventes que aproximam o resolvente do problema limite e aproximam melhor os resolventes das perturbações iniciais. Feito isto, obtemos uma melhora imediata de convergência dos semigrupos lineares, depois dos não lineares (através da fórmula da variação das constantes). Motivados pelos resultados de (SANTAMARÍA, 2013), que oferecem uma menor perda na transferência das taxas de convergência dos semigrupos para as taxas de convergência dos atratores, buscamos melhor compreender a propriedade Lipschitz Shadowing, que é responsável direta pela obtenção da taxa de convergência dos atratores diretamente da taxa de convergência dos semigrupos. Isto nos levou a descobrir que podemos obter as propriedade Lipschitz Shadowing e estabilidade estrutural para perturbações Lipschitz de semigrupos Morse-Smale. / Here we compare the continuity of the asymptotic dynamics with respect to perturbations and, in particular, we explored to obtain improvement of rates of convergence of the global attractor through the introduction of correction factors, inspired by the results of homogenization theory and work of (BABIN; VISHIK, 1992) and (CARVALHO; CHOLEWA, 2011), and the introduction of mechanisms that improve the transference of the convergence rate of semigroups to the convergence rate of attractors, inspired by the work of (SANTAMARÍA, 2013) and (BABIN; VISHIK, 1992; CARVALHO; CHOLEWA, 2011). The initial proposal is focused on achieving best rates of convergence of the global attractors by obtaining equi-atraction and improving the convergence rate of semigroups. For this, we seek to improve the rate of convergence of the resolvents of sectorial operators, through a singular perturbation of the resolvent associated with the limit problem and generate a new family of sectorial operators whose resolvents both approximate the resolvent of the limit problem as they were closer to the resolvents the initial perturbation. Having done this, we obtain an immediate improvement of convergence of linear semigroups, after the non-linear (using the variation of constants formula). Motivated by the results of (SANTAMARÍA, 2013), which offer an improvement in obtaining convergence rates, we seek to study property better Lipschitz Shadowing, which is basically responsible for obtaining the distance of the attractors directly from the convergence rate of the semigroups. This has led us to discover that we can both preserve the Lipschitz Shadowing property under Lipschitz perturbations of Morse-Smale semigroups, and The geometric stability of the attractors.
124

Simetrias globais e locais em teorias de calibre / Local and global symmetries in gauge theories

Soares, Bruno Learth 08 March 2007 (has links)
Este trabalho aborda a formulação geométrica das teorias clássicas de calibre, ou Yang-Mills, considerando-as como uma importante classe de modelos que deve ser incluída em qualquer tentativa de estabelecer um formalismo matemático geral para a teoria clássica dos campos. Tal formulação deve vir em (pelo menos) duas variantes: a versão hamiltoniana, que passou por uma fase de desenvolvimento rápido durante os últimos 10-15 anos, levando ao que hoje é conhecido como o ``formalismo multissimplético\'\', e a mais tradicional versão lagrangiana utilizada nesta tese. O motivo principal justificando tal investigação é que teorias de calibre constituem os mais importantes exemplos de sistemas dinâmicos que são altamente relevantes na Física e onde a equivalência entre a versão lagrangiana e a versão hamiltoniana, que no caso de sistemas não-singulares é estabelecida pela transformação de Legendre, deixa de ser óbvia, pois teorias de calibre são sistemas degenerados do ponto de vista lagrangiano e são sistemas vinculados do ponto de vista hamiltoniano. Esta propriedade característica das teorias de calibre é uma consequência direta do seu alto grau de simetria, isto é, da sua invariância de calibre. No entanto, numa formulação plenamente geométrica da teoria clássica dos campos, capaz de incorporar situações topologicamente não-triviais, a invariância sob transformações de calibre locais (transformações de calibre de segunda espécie) e, surpreendentemente, até mesmo a invariância sob as transformações de simetria globais correspondentes (transformações de calibre de primeira espécie) não podem ser adequadamente descritas em termos de grupos de Lie e suas ações em variedades, mas requerem a introdução e o uso sistemático de um novo conceito, a saber, fibrados de grupos de Lie e suas ações em fibrados (sobre a mesma variedade base). A meta principal da presente tese é tomar os primeiros passos no desenvolvimento de ferramentas matemáticas adequadas para lidar com este novo conceito de simetria e, como uma primeira aplicação, dar uma definição clara e simples do procedimento de ``acoplamento mínimo\'\' e uma demonstração simples do teorema de Utiyama, segundo o qual lagrangianas para potenciais de calibre (conexões) de primeira ordem (i.e., que dependem apenas dos próprios potenciais de calibre e de suas derivadas parciais até primeira ordem) que são invariantes sob transformações de calibre são necessariamente funções dos campos de calibre (i.e., do tensor de curvatura) invariantes sob as transformações de simetria globais correspondentes. / This thesis deals with the geometric formulation of classical gauge theories, or Yang-Mills theories, regarded as an important class of models that must be included in any attempt to establish a general mathematical framework for classical field theory. Such a formulation must come in (at least) two variants: the hamiltonian version which has gone through a phase of rapid development during the last 10-15 years, leading to what is now known as the ``multisymplectic formalism\'\', and the more traditional lagrangian version studied in this thesis. The main motivation justifying this kind of investigation is that gauge theories constitute the most important examples of dynamical systems that are highly relevant in physics and where the equivalence between the lagrangian and the hamiltonian version, which for non-singular systems is established through the Legendre trans% formation, is far from obvious, since gauge theories are degenerate systems from the lagrangian point of view and are constrained systems from the hamiltonian point of view. This characteristic property of gauge theories is a direct consequence of their high degree of symmetry, that is, of gauge invariance. However, in a fully geometric formulation of classical field theory, capable of incorporating topologically non-trivial situations, invariance under local gauge transformations (gauge transformations of the second kind) and, surprisingly, even invariance under the corresponding global symmetry transformations (gauge transformations of the first kind) cannot be described adequately in terms of Lie groups and their actions on manifolds but requires the introduction and systematic use of a new concept, namely Lie group bundles and their actions on fiber bundles (over the same base manifold). The main goal of the present thesis is to take the first steps in developing adequate mathematical tools for handling this new concept of symmetry and, as a first application, give a simple clear-cut definition for the prescription of ``minimal coupling\'\' and a simple proof of Utiyama´s theorem, according to which lagrangians for gauge potentials (connections) that are gauge invariant and of first order, i.e., dependent only on the gauge potentials themselves and on their partial derivatives up to first order, are necessarily functions of the gauge field strengths (i.e., the curvature tensor) invariant under the corresponding global symmetry transformations.
125

Mundos Brana: Buracos negros e buracos de minhoca / Brane worlds: black holes and wormholes

Neves, Juliano César Silva 21 November 2012 (has links)
Neste trabalho, construímos novas soluções com simetria esférica ou axial para as equações do campo gravitacional induzido num cenário brana do tipo Randall-Sundrum, onde uma 3-brana com constante cosmológica está imersa num espaço-tempo 5-dimensional conhecido como bulk. Para o caso esfericamente simétrico, com constante cosmológica negativa, obtivemos uma família de soluções numa brana assintoticamente anti-de Sitter, sendo que cada membro desta é diferenciado de outro por uma constante integração C, que fixada proveu-nos soluções de buracos negros ou buracos de minhocas. Com a mesma simetria, geometrias que descrevem buracos de minhoca foram encontradas numa brana assintoticamente de Sitter. Para o caso axialmente simétrico, métricas assintoticamente anti-de Sitter e de Sitter foram construídas no contexto citado. Propriedades óticas, como a rotação do vetor de polarização, foram estudadas, mostrando-nos algumas diferenças entre os mundos brana, tratados como uma teoria de gravitação modificada, e a relatividade geral. / In this work we have constructed new solutions, with axial or spherical symmetry, to the induced gravitational field equations within a Randall-Sundrum type brane world scenario, where a 3-brane with cosmological constant is embedded in a 5-dimensional space-time called bulk. For the spherical case with negative cosmological constant, we have found a family of solutions in an anti-de Sitter brane, where each member of the family is different from another when C is fixed. With a fixed C we have black holes or wormholes. In this same case, with spherical symmetry, we have obtained wormhole solutions in a de Sitter brane. In the same context, for the axially symmetric case, metrics asymptotically anti-de Sitter and de Sitter were built. Optics features, like rotation of polarization vector, have been studied. These features showed some differences between brane worlds, a theory of modified gravity, and the General Relativity.
126

Aesthetic surface pattern generation using L-system. / CUHK electronic theses & dissertations collection

January 2013 (has links)
Chan, Pui Lam. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2013. / Includes bibliographical references (leaves 72-75). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstracts also in Chinese.
127

T-Sets of Normed Linear Spaces

McCormick, Robert E. 12 1900 (has links)
This paper is a study of T-sets of normed linear spaces. Geometrical properties of normed linear spaces are developed in terms of intersection properties shared by a subcollection of T-sets of the space and in terms of special spanning properties shared by each T-set of a subcollection of T-sets of the space. A characterization of the extreme points of the unit ball of the dual of a normed linear space is given in terms of the T-sets of the space. Conditions on the collection of T-sets of a normed linear space are determined so that the normed linear space has the property that extreme points of the unit ball of the dual space map canonically to extreme points of the unit ball of the third dual space.
128

NÚMEROS COMPLEXOS E GEOMETRIA PLANA

Kloster, Gilmar 04 August 2014 (has links)
Made available in DSpace on 2017-07-21T20:56:32Z (GMT). No. of bitstreams: 1 Gilmar KLoster.pdf: 2898946 bytes, checksum: a6884d601b79157da063128a79a81ae6 (MD5) Previous issue date: 2014-08-04 / Complex numbers have applications both in mathematics and in other areas of knowledge. But in high school, at which time the student begins the study of this set of numbers, they are taught with emphasis on algebraic manipulations, leaving only the geometric applications reduced the representation of points in the complex plane. In many cases, even this geometric application is addressed. This work aims to address the set of complex numbers using the geometry, enhancing the visualization of some results in GeoGebra, to provide more meaningful to the student learning. / Os números complexos possuem aplicações tanto na matemática como em outras áreas do conhecimento. Porém no ensino médio, momento em que o aluno inicia o estudo deste conjunto numérico, eles são ensinados dando ênfase as manipulações algébricas, deixando as aplicações geométricas reduzidas apenas a representação de pontos no plano complexo. Em muitos casos, nem mesmo esta aplicação geométrica é abordada. Este trabalho tem por objetivo abordar o Conjunto dos Números complexos utilizando a geometria, valorizando a visualização de alguns resultados no GeoGebra, para proporcionar à aprendizagem mais significativa ao aluno.
129

Color Lines, and Regions and Their Stereo Matching / Lignes et régions couleurs et leur appariement stéréo

Lertchuwongsa, Noppon 13 December 2011 (has links)
En vision par ordinateur, les points saillants sont des caractéristiques essentielles aux algorithmes. Les performances dépendent de paramètres extérieurs (ex. illumination). Les mesures de similarité sont centrales à la reconnaissance. Pour assurer l'efficacité de traitement, les caractéristiques extraites d'une image doivent être stables, et la mesure de similarité doit les distinguer parfaitement.Dans cette thèse, des caractéristiques conjointes géométrie/couleur sont étudiées : lignes de couleur et régions. Elles fondent la détection d'une troisième, la profondeur, qui sert en retour à évaluer leurs performanceLes lignes sont des extensions des classiques lignes de niveau: l'espace couleur 3-D est projeté sur un espace 1-D adapté pour résumer l'information chromatique là où elle est adéquate,Les régions exploitent classiquement la connexité image mais jointe à une compacité dans l'histogramme bidimensionnel issu du modèle dichromatique. L'homogénéité ainsi définie garantit une robustesse a priori aux variations d'éclairage en séparant la couleur de l'intensité et les couleurs entre elles.Cette homogénéité est exploitée selon 2 méthodes d'extraction d'ensembles compacts autour des modes de l'histogramme: extraction analytique des extrema locaux de couleur, extraction de ces mêmes extrema contrôlée par les régions correspondantes de l'image.Pour la profondeur, trois calculs de disparité stéréoscopique sont proposés et les performances comparées avec la réalité terrain:1. Appariement de lignes couleur avec une distance de Hausdorff revisitée.2. Exploitation de la forme des histogrammes de disparité par régions3.Coopération entre appariement de points et de régions. / In computer vision, salient points are essential features to algorithms. Performances depend on external parameters (e.g. illuminant). Similarity measures are central to recognition.To secure the processing efficiency, extracted features have to be stable enough, and the similarity measure needs to perfectly distinguish between them.In the thesis, joint geometrical and color features are studied: color lines and regions. They found the detection of a third one, range, that helps in turn to assess their goodness.Color lines are extensions of classical level lines: the 3 D color space is mapped onto a 1 D scale especially designed to retain the chromatic information where it is suitable.Regions require the usual image connectivity but in association with compactness in the bi-dimensional histogram stemming from the dichromatic model. The so-designed homogeneity is granting an a priori good robustness against illumination variations in separating the body colors and splitting color from intensity.The latter homogeneity gives raise to 2 methods for extracting compact sets around histogram modes: color first analysis (an analytic extraction of color local extrema) , and joint color/space analysis (same but controlled by the region growing).As for depth, 3 methods to compute the stereo disparity are proposed for their results to be confronted with the ground-truth:1. Color line matching based on a modified Hausdorff distance,2. Studying the shape of the disparity histogram between regions,3. Cooperation between pixel correlation and region matching.The robustness of the designed features is proved on several stereo pairs. Future work deals with improving efficacy and accuracy.
130

Approche eulérienne de l'équation de Hamilton-Jacobi par une méthode Galerkine discontinue en milieu hétérogène anisotrope : Application à l'imagerie sismique / Eulerian approach of Hamilton-Jacobi equation with a discontinuous Galerkin method in heterogeneous anisotropic medium : Application to seismic imaging

Le Bouteiller, Philippe 06 December 2018 (has links)
Pouvoir déterminer la structure et la composition de l’intérieur de la Terre est un enjeu scientifique fondamental, pour la compréhension de l’organisation de la Terre profonde, des mécanismes des séismes et leur localisation en lien avec la prévention du risque sismique, pour la détection et l’exploitation des ressources naturelles telles que l’eau ou les hydrocarbures, ou encore pour toutes les activités de construction et de prévention associées au génie civil. Pour cela, les ondes sismiques sont un outil de choix. L’utilisation d’une approximation haute fréquence pour la modélisation de la propagation des ondes est avantageuse en termes de coût de calcul dès lors que plusieurs centaines, voire milliers, ou plus de longueurs d’ondes doivent être propagées. À la place de l’équation des ondes linéaire, l’approximation haute fréquence fournit trois équations aux dérivées partielles fondamentales. L’équation Eikonal, non linéaire, permet d’obtenir le temps de trajet. Une deuxième équation fournit l’angle d’émergence. L’équation Eikonal et l’équation des angles appartiennent toutes deux à la grande famille des équations de Hamilton-Jacobi. Enfin, l’équation de transport permet de calculer l’amplitude.Le tracé des rais sismiques est une technique lagrangienne qui utilise la méthode des caractéristiques pour obtenir un ensemble d’équations différentielles ordinaires à partir de ces équations aux dérivées partielles. Ces équations peuvent être intégrées facilement, donnant ainsi accès au temps de trajet et à l’amplitude le long des rais. Très largement utilisés dans la communauté géophysique du fait de leur simplicité, les outils de tracé de rais ne sont pas pour autant les plus efficaces et les plus robustes en pratique pour des applications d’imagerie et d’inversion haute résolution. En lieu et place, il peut être utile de résoudre directement les équations aux dérivées partielles par une méthode eulérienne. Durant les trois dernières décennies, une multitude de solveurs ont été développés pour l’équation Eikonal, la plupart utilisant la méthode des différences finies. Ces différents travaux visent à obtenir le meilleur compromis entre précision, coût de calcul, robustesse, facilité d’implémentation et souplesse d’utilisation.Dans cette thèse, je développe une approche différente, se basant principalement sur une méthode Galerkine discontinue. Dans le champ des mathématiques, cette méthode a été largement utilisée pour résoudre les lois de conservation et les équations de Hamilton-Jacobi. Très peu de travaux ont porté sur l'utilisation de cette méthode pour la résolution de l’équation Eikonal statique dans un contexte géophysique, et ce malgré le haut niveau de précision qu'elle apporte. C’est pourquoi, en me basant sur des travaux mathématiques, je propose un nouveau solveur Eikonal adapté au contexte géophysique. Les milieux hétérogènes complexes, anisotropes, et incluant des variations topographiques sont correctement pris en compte, avec une précision sans précédent. En y intégrant de manière robuste une stratégie de balayage rapide, je montre que ce solveur présente une très grande efficacité en deux comme en trois dimensions.J'utilise également ce solveur pour calculer l’angle d’émergence. Je développe par ailleurs un solveur voisin en volumes finis pour la résolution de l’équation de transport, permettant ainsi le calcul de l’amplitude. La variable d’état adjoint pour la tomographie sismique des temps et des pentes vérifiant une équation de transport semblable, je montre qu'on peut également la calculer à l'aide de ce solveur en volumes finis. En conséquence, je propose et analyse un ensemble consistant de solveurs pour la communauté géophysique. Ces outils devraient s’avérer utiles pour une large palette d’applications. Finalement, en guise d’illustration, je les utilise dans des schémas d’imagerie sismique, dans le but de démontrer le bénéfice apporté par une approximation haute fréquence dans ce type de schémas. / Recovering information on the structure and the composition of the Earth's interior is a fundamental issue for a large range ofapplications, from planetology to seismology, natural resources assessment, and civil engineering. Seismic waves are a very powerful tool for that purpose. Using a high-frequency approximation for the numerical modeling of seismic wave propagation is computationally advantageous when hundreds, thousands, or more of wavelengths have to be propagated. Instead of the linear wave equation, the high-frequency approximation yields three fundamental partial differential equations. The nonlinear Eikonal equation leads to traveltime. A second equation is derived for the take-off angle. Both Eikonal and angle equations belong to the wide Hamilton-Jacobi family of equations. In addition, the transport equation leads to the amplitude.As a Lagrangian approach, seismic ray tracing employs the method of characteristics to derive a set of ordinary differential equations from these partial differential equations. They can be easily integrated, thus yielding traveltime and amplitude along rays. Widely used in the geophysical community for their simplicity, the ray-tracing tools might not be the most efficient and robust ones for practical high-resolution imaging and inversion applications. Instead, it might be desirable to directly solve the partial differential equations in an Eulerian way. In the three last decades, plenty of Eikonal solvers have been designed, mostly based on finite-difference methods. Successive works try to find the best compromise between accuracy, computational efficiency, robustness, ease of implementation, and versatility.In this thesis, I develop a different approach, mainly based on the discontinuous Galerkin method. This method has been intensively used in the mathematical field for solving conservation laws and time-dependent Hamilton-Jacobi equations. Only few investigations have been done regarding its use for solving the static Eikonal equation in a geophysical context, despite the high level of accuracy allowed by this method. Therefore, improving upon mathematical studies, I propose a new Eikonal solver suitable for the geophysical context. Complex heterogeneous anisotropic media with non-flat topographies are correctly handled, with an unprecedented accuracy. Combined with a fast-sweeping strategy in a robust way, I show that this new solver exhibits a high computational efficiency, in two dimensions as well as in three dimensions.I also employ this solver for the computation of the take-off angle. I design an additional finite-volume solver for solving the transport equation, leading to the computation of amplitude. With this solver, I also consider the computation of the adjoint-state variable for seismic tomography, since it satisfies a similar transport equation. Eventually, I propose a whole set of consistent solvers to the geophysical community. These tools should be useful in a wide range of applications. As an illustration, I finally use them in advanced seismic imaging schemes, in order to demonstrate the benefit brought by the high-frequency approximation in this kind of schemes.

Page generated in 0.0553 seconds