• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 30
  • 10
  • 3
  • Tagged with
  • 45
  • 45
  • 14
  • 13
  • 11
  • 10
  • 9
  • 9
  • 9
  • 9
  • 9
  • 9
  • 8
  • 8
  • 8
  • 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.
21

Modélisation multi-physique en génie électrique Application au couplage magnéto-thermo-mécanique.

Journeaux, Antoine 18 November 2013 (has links) (PDF)
Cette thèse aborde la problématique de la modélisation multiphysique en génie électrique, avec une application à l'étude des vibrations d'origine électromagnétique des cages de développantes. Cette étude comporte quatre parties : la construction de la densité de courant, le calcul des forces locales, le transfert de solutions entre maillages et la résolution des problèmes couplés. Un premier enjeu est de correctement représenter les courants, cette opération est effectuée en deux étapes : la construction de la densité de courant et l'annulation de la divergence. Si des structures complexes sont utilisées, l'imposition du courant ne peut pas toujours être réalisée à l'aide de méthodes analytiques. Une méthode basée sur une résolution électrocinétique ainsi qu'une méthode purement géométrique sont testées. Cette dernière donne des résultats plus proches de la densité de courant réelle. Parmi les nombreuses méthodes de calcul de forces, les méthodes des travaux virtuels et des forces de Laplace, considérées par la littérature comme les plus adaptées au calcul des forces locales, ont été étudiées. Nos travaux ont montré que bien que les forces de Laplace sont particulièrement précises, elles ne sont pas valables si la perméabilité n'est plus homogène. Ainsi, la méthode des travaux virtuels, applicable de manière universelle, est préférée. Afin de modéliser des problèmes multi-physiques complexes à l'aide de plusieurs codes de calculs dédiés, des méthodes de transferts entre maillages non conformes ont été développées. Les procédures d'interpolations, les méthodes localement conservatives et les projections orthogonales sont comparées. Les méthodes d'interpolations sont réputées rapides mais très diffusives tandis que les méthodes de projections sont considérées comme les plus précises. La méthode localement conservative peut être vue comme produisant des résultats comparables aux méthodes de projections, mais évite l'assemblage et la résolution de systèmes linéaires. La modélisation des problèmes multi-physiques est abordée à l'aide des méthodes de transferts de solutions. Pour une classe de problème donnée, l'assemblage d'un schéma de couplage n'est pas unique. Des tests sur des cas analytiques sont réalisés afin de déterminer, pour plusieurs types de couplages, les stratégies les plus appropriées.Ces travaux ont permis une application à la modélisation magnéto-mécanique des cages de développantes est présentée.
22

Modélisation, analyse et simulation numérique de solides combinant plasticité, rupture et dissipation visqueuse / Modeling, analysis and numerical simulation of solids combining plasticity, fracture and viscous dissipation

Jakabčin, Lukáš 22 September 2014 (has links)
Dans cette thèse nous nous intéressons à la modélisation, analyse mathématique et simulation numérique d'une classe de modèles combinant différents phénomènes dissipatifs liés à la plasticité, rupture et dissipation visqueuse.Tout d'abord, nous construisons des modèles d'évolution contenant plasticité, viscoplasticité, écrouissage cinématique linéaire et rupture. En particulier, nous montrons une inégalité thermodynamique de type Clausius-Duhem pour nos modèles. Ensuite, nous montrons l'existence d'évolutions pour deux modèles: celui d'élasto-visco-plasticité avec la rupture approchée via la fonctionnelle Ambrosio-Tortorelli et celui d'élasto-viscoplasticité avec écrouissage cinématique linéaire et rupture approchée basée sur l'utilisation de la fonctionnelle d'Ambrosio-Tortorelli avec un r-Laplacien. Enfin, nous étudions numériquement nos modèles en fonction de différents paramètres mécaniques. Nous proposons aussi une extension de la méthode numérique de backtracking aux matériaux à mémoire. Au final, nous effectuons des comparaisons numériques entre un de nos modèles et l'expérience géophysique de plasticine de Peltzer et Tapponnier qui modélise la propagation des failles dans la crôute terrestre. / In this work, we are interested in modeling, mathematical analysis and numerical simulation of a class of models that combine several mecanisms of dissipation: plasticity, fracture and viscous dissipation. Firslty, we construct evolution models containing plasticity, viscoplasticity, linear kinematic hardening and fracture. In particular, we show for our models a Clausius-Duhem like thermodynamical inequality. Then, we prove an existence result for evolutions for an elasto-visco-plastic model with regularized fracture using the Ambrosio-Tortorelli functional and for an elasto-viscoplastic model with kinematic hardening and fractures regularized with the modified r-Laplacian Ambrosio-Tortorelli functional. Finally, we study from a numerical point of view our models in function of various mecanical parameters. We also propose an extension of the backtracking algorithm for materials with memory. In the end, we test numerically one of our models on a geophysical Peltzer and Tapponnier's experiment of plasticine that models failure propagation in the Earth crust.
23

Physical parameterisations for a high resolution operational numerical weather prediction model / Paramétrisations physiques pour un modèle opérationnel de prévision météorologique à haute résolution

Gerard, Luc 31 August 2001 (has links)
Les modèles de prévision opérationnelle du temps résolvent numériquement les équations de la mécanique des fluides en calculant l'évolution de champs (pression, température, humidité, vitesses) définis comme moyennes horizontales à l'échelle des mailles d'une grille (et à différents niveaux verticaux).<p><p>Les processus d'échelle inférieure à la maille jouent néanmoins un rôle essentiel dans les transferts et les bilans de chaleur, humidité et quantité de mouvement. Les paramétrisations physiques visent à évaluer les termes de source correspondant à ces phénomènes, et apparaissant dans les équations des champs moyens aux points de grille.<p><p>Lorsque l'on diminue la taille des mailles afin de représenter plus finement l'évolution des phénomènes atmosphériques, certaines hypothèses utilisées dans ces paramétrisations perdent leur validité. Le problème se pose surtout quand la taille des mailles passe en dessous d'une dizaine de kilomètres, se rapprochant de la taille des grands systèmes de nuages convectifs (systèmes orageux, lignes de grain).<p><p>Ce travail s'inscrit dans le cadre des développements du modèle à mailles fines ARPÈGE ALADIN, utilisé par une douzaine de pays pour l'élaboration de prévisions à courte échéance (jusque 48 heures).<p><p>Nous décrivons d'abord l'ensemble des paramétrisations physiques du modèle.<p>Suit une analyse détaillée de la paramétrisation actuelle de la convection profonde. Nous présentons également notre contribution personnelle à celle ci, concernant l'entraînement de la quantité de mouvement horizontale dans le nuage convectif.<p>Nous faisons ressortir les principaux points faibles ou hypothèses nécessitant des mailles de grandes dimensions, et dégageons les voies pour de nouveaux développements.<p>Nous approfondissons ensuite deux des aspects sortis de cette discussion: l'usage de variables pronostiques de l'activité convective, et la prise en compte de différences entre l'environnement immédiat du nuage et les valeurs des champs à grande échelle. Ceci nous conduit à la réalisation et la mise en œuvre d'un schéma pronostique de la convection profonde.<p>A ce schéma devraient encore s'ajouter une paramétrisation pronostique des phases condensées suspendues (actuellement en cours de développement par d'autres personnes) et quelques autres améliorations que nous proposons.<p>Des tests de validation et de comportement du schéma pronostique ont été effectués en modèle à aire limitée à différentes résolutions et en modèle global. Dans ce dernier cas l'effet du nouveau schéma sur les bilans globaux est également examiné.<p>Ces expériences apportent un éclairage supplémentaire sur le comportement du schéma convectif et les problèmes de partage entre la schéma de convection profonde et le schéma de précipitation de grande échelle.<p><p>La présente étude fait donc le point sur le statut actuel des différentes paramétrisations du modèle, et propose des solutions pratiques pour améliorer la qualité de la représentation des phénomènes convectifs.<p><p>L'utilisation de mailles plus petites que 5 km nécessite enfin de lever l'hypothèse hydrostatique dans les équations de grande échelle, et nous esquissons les raffinements supplémentaires de la paramétrisation possibles dans ce cas.<p><p> / Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished
24

Caractérisation du comportement mécanique de la sous surface d'un polymère percé, sous une sollicitation de type hertzienne / Characterisation of mechanical behavior of a sub surface drilled polymer, under hertzian contact load

Palade, Adrian-Ciprian 20 September 2013 (has links)
Ce travail s'inscrit dans la compréhension du comportement de la sous-surface d'une pièce présentant des hétérogénéités contrôlées, soumise à un chargement de type hertzien sans affecter l'intégrité de sa surface initiale. Le but est de qualifier le champ de contraintes en sous couche. Pratiquement, des défauts de forme cylindrique sont positionnés là où le champ de contraintes est maximal. Le contact est dimensionné pour pouvoir observer, par photoélasticimétrie, les évolutions du champ de contraintes et développer une modélisation numérique pour étudier le comportement statique puis dynamique. Il ressort que la présence d'un trou sur l'axe de symétrie z (x = 0) est le facteur prépondérant. Les caractéristiques qui permettent de diminuer la contrainte de cisaillement sur l'axe de symétrie sont celles qui conduisent à un renforcement de la contrainte de cisaillement maximale dans le massif. Cette dualité nous conduit à proposer un indicateur qui prend en compte, à la fois, la contrainte de cisaillement, l'aplomb du contact et l"évolution de la contrainte maximale dans le massif. La méthodologie de travail a été mise en oeuvre et validée. Les approches analytiques et expérimentales ont permis de valider les modélisations numériques qui sont seules à même de permettre l'étude de nombreux cas. Les perspectives sont nombreuses, avec des incursions possibles en structuration de sous-surfaces, perçage simple, frittage sélectif par laser. Ce doctorat a permis de traiter le cas des défauts circulaires. Dans un autre domaine, le soudage est également un cas d'intérêt pour l'étude du comportement des cordons de soudure présentant des défauts de type porosités ou inclusions. / This research concerns the understanding of the sub-surface behaviour of a component presenting controlled heterogeneities and subjected to a Hertzian type load. The purpose is to qualify the stress field in the subsurface. Practically, defects of cylindrical shape are located where the stress field is maximal in sub surface. The contact is sized to be able to observe, by photoelasticity, the stress field and to develop a numerical model to simulate the behaviour (static and dynamic) of the friction area. It is highlighted that the presence of a hole on the z axis of symmetry (x = 0) is the dominating factor. The characteristics which allow decreasing the shearing stress on the symmetry axis are the ones which lead to a strengthening of the maximal shearing stress in the whole volume. This duality drives us to propose an indicator which takes into account, at the same time, the shearing stress below the contact and the evolution of the maximal stress in the whole volume. The working methodology was implemented and validated. The analytical and experimental approaches allow validating the numeric model which is the only one able to allow the study of numerous configurations. The perspectives are numerous, with possible incursions in structuring of sub-surfaces, simple drilling and selective laser sintering.... In another domain, the welding process is also a case of interest for the study of the behaviour of weld seam presenting defects of porosities or inclusions types
25

Modélisation spatialisée des échanges surface-atmosphère à l'échelle d'une région agricole méditerranéenne / Spatialized modeling of land surface-atmosphere exchanges at the extent of an agricultural Mediterranean region

Montes, Carlo 13 October 2014 (has links)
En régions méditerranéennes, la gestion de l'eau à partir d'outils d'aide à la décision requiert la connaissance des échanges d'énergie et de masse entre la surface et l'atmosphère, dont l'évapotranspiration, qui représente la composante majeure du cycle hydrologique. Les avancées récentes, en termes de modélisation des Transferts Sol-Végétation-Atmosphère (TSVA) pour des couverts homogènes et d'assimilation des données de télédétection, principalement à l'échelle subrégionale, permettent d'envisager le passage à l'échelle régionale pour des couverts complexes de type cultures en rang. L'objectif de ce travail est de développer une modélisation versatile et de la caler par télédétection à l'échelle régionale sur un bassin versant viticole. Les investigations sont menées sur le bassin versant de la Peyne, dans le cadre de l'ORE OMERE. Une analyse bibliographique a permis de sélectionner un modèle TSVA à vocation régionale avec un nombre réduit de paramètres. L'implémentation de ce modèle est motivée par des objectifs de versatilité mais aussi d'inclusion dans une plateforme de simulation. Parallèlement, l'évapotranspiration a été spatialisée à l'échelle régionale par synergie des données télédétectées infrarouge thermique ASTER et Landsat. Les chroniques d'évapotranspiration obtenues sont ensuite utilisées pour caler le modèle TSVA. / In Mediterranean regions, decision making tools for water management require knowledge of water and mass exchanges between land surface and atmosphere, where evapotranspiration is the main component of the hydrological cycle. Recent advances, in terms of modeling and remote sensing, mainly at the subregional scale for homogeneous canopies, allow foreseeing the regional extent for complex landscapes such as row crops. This work aims to propose and calibrate a versatile modeling at the regional scale over a vineyard watershed, the calibration relying on remote sensing. A literature review allows selecting a SVAT model with a regional scope and a limited number of parameters. Model implementation is motivated by versatility and further inclusion into a simulation platform. Then, evapotranspiration is spatialized synergistically by using thermal infrared data from ASTER and Landsat remote sensors. Next, the time series obtained for evapotranspiration are used for calibrating the selected SVAT model. These investigations are conducted over the Peyne watershed, within the framework of the OMERE Observatory for environmental research.
26

Optimisation de transfert de données pour les processeurs pluri-coeurs, appliqué à l'algèbre linéaire et aux calculs sur stencils / Optimization of data transfer on many-core processors, applied to dense linear algebra and stencil computations

Ho, Minh Quan 05 July 2018 (has links)
La prochaine cible de Exascale en calcul haute performance (High Performance Computing - HPC) et des récent accomplissements dans l'intelligence artificielle donnent l'émergence des architectures alternatives non conventionnelles, dont l'efficacité énergétique est typique des systèmes embarqués, tout en fournissant un écosystème de logiciel équivalent aux plateformes HPC classiques. Un facteur clé de performance de ces architectures à plusieurs cœurs est l'exploitation de la localité de données, en particulier l'utilisation de mémoire locale (scratchpad) en combinaison avec des moteurs d'accès direct à la mémoire (Direct Memory Access - DMA) afin de chevaucher le calcul et la communication. Un tel paradigme soulève des défis de programmation considérables à la fois au fabricant et au développeur d'application. Dans cette thèse, nous abordons les problèmes de transfert et d'accès aux mémoires hiérarchiques, de performance de calcul, ainsi que les défis de programmation des applications HPC, sur l'architecture pluri-cœurs MPPA de Kalray. Pour le premier cas d'application lié à la méthode de Boltzmann sur réseau (Lattice Boltzmann method - LBM), nous fournissons des techniques génériques et réponses fondamentales à la question de décomposition d'un domaine stencil itérative tridimensionnelle sur les processeurs clusterisés équipés de mémoires locales et de moteurs DMA. Nous proposons un algorithme de streaming et de recouvrement basé sur DMA, délivrant 33% de gain de performance par rapport à l'implémentation basée sur la mémoire cache par défaut. Le calcul de stencil multi-dimensionnel souffre d'un goulot d'étranglement important sur les entrées/sorties de données et d'espace mémoire sur puce limitée. Nous avons développé un nouvel algorithme de propagation LBM sur-place (in-place). Il consiste à travailler sur une seule instance de données, au lieu de deux, réduisant de moitié l'empreinte mémoire et cède une efficacité de performance-par-octet 1.5 fois meilleur par rapport à l'algorithme traditionnel dans l'état de l'art. Du côté du calcul intensif avec l'algèbre linéaire dense, nous construisons un benchmark de multiplication matricielle optimale, basé sur exploitation de la mémoire locale et la communication DMA asynchrone. Ces techniques sont ensuite étendues à un module DMA générique du framework BLIS, ce qui nous permet d'instancier une bibliothèque BLAS3 (Basic Linear Algebra Subprograms) portable et optimisée sur n'importe quelle architecture basée sur DMA, en moins de 100 lignes de code. Nous atteignons une performance maximale de 75% du théorique sur le processeur MPPA avec l'opération de multiplication de matrices (GEMM) de BLAS, sans avoir à écrire des milliers de lignes de code laborieusement optimisé pour le même résultat. / Upcoming Exascale target in High Performance Computing (HPC) and disruptive achievements in artificial intelligence give emergence of alternative non-conventional many-core architectures, with energy efficiency typical of embedded systems, and providing the same software ecosystem as classic HPC platforms. A key enabler of energy-efficient computing on many-core architectures is the exploitation of data locality, specifically the use of scratchpad memories in combination with DMA engines in order to overlap computation and communication. Such software paradigm raises considerable programming challenges to both the vendor and the application developer. In this thesis, we tackle the memory transfer and performance issues, as well as the programming challenges of memory- and compute-intensive HPC applications on he Kalray MPPA many-core architecture. With the first memory-bound use-case of the lattice Boltzmann method (LBM), we provide generic and fundamental techniques for decomposing three-dimensional iterative stencil problems onto clustered many-core processors fitted withs cratchpad memories and DMA engines. The developed DMA-based streaming and overlapping algorithm delivers 33%performance gain over the default cache-based implementation.High-dimensional stencil computation suffers serious I/O bottleneck and limited on-chip memory space. We developed a new in-place LBM propagation algorithm, which reduces by half the memory footprint and yields 1.5 times higher performance-per-byte efficiency than the state-of-the-art out-of-place algorithm. On the compute-intensive side with dense linear algebra computations, we build an optimized matrix multiplication benchmark based on exploitation of scratchpad memory and efficient asynchronous DMA communication. These techniques are then extended to a DMA module of the BLIS framework, which allows us to instantiate an optimized and portable level-3 BLAS numerical library on any DMA-based architecture, in less than 100 lines of code. We achieve 75% peak performance on the MPPA processor with the matrix multiplication operation (GEMM) from the standard BLAS library, without having to write thousands of lines of laboriously optimized code for the same result.
27

Deux Méthodes d'Approximation pour un Contrôle Optimal Semi-Décentralisé pour des Systèmes Distribués

Yakoubi, Youssef 15 July 2010 (has links) (PDF)
Dans cette thèse, nous avons développé deux approches pour la construction de contrôleurs approchés semi-décentralisés. La thèse est partagée en deux parties, chaque partie décrivant une approche précise. Première Partie: elle traite de l'approximation semi-décentralisée d'un contrôle optimal pour des équations aux dérivées partielles (EDPs) dans un domaine borné. Dans cette partie on présente une méthode de calcul de contrôle optimal pour des systèmes distribués linéaires avec un opérateur d'entré borné ou non borné. Sa construction repose sur le calcul fonctionnel des opérateurs auto-adjoints et sur la formule de Dunford- Schwartz. Elle est conçue pour des architectures de calcul à très fine granularité, avec coordination semi-décentralisée. Enfin, elle est illustrée par des exemples portant en particulier sur la stabilisation interne de la chaleur, la stabilisation des vibrations d'une poutre, la stabilisation des vibrations dans une matrice de micro-cantilevers... Deuxième Partie: elle est consacrée à l'obtention de réalisations d'état, d'opérateurs linéaires solutions de quelques équations opératorielles différentielles linéaires dans des domaines bornés mono-dimensionnels. Nous proposons deux approches dans le cadre de réalisations diffusives. La première utilise des symboles complexes et la seconde des symboles réels sur l'axe réel. Puis, on illustre la théorie et on développe des méthodes numériques pour le contexte d'une application à l'équation de Lyapunov issue de la théorie du contrôle optimal pour l'équation de la chaleur. Un intérêt pratique pour cette approche est le calcul en temps réel sur des processeurs organisés pour une architecture semi-décentralisée.
28

Analyse de l'influence des déformations plastiques dans les processus de fissuration et de fatigue par simulation numérique

Rahimian, Mohammad 30 June 1981 (has links) (PDF)
Ce travail utilise le calcul numérique pour prendre en compte les déformations plastiques en mécanique de la rupture. On peut ainsi vérifier les résultats de Rice concernant l'étendue de la zone plastique, en tenant compte de l'écrouissage. On étudie ensuite des problèmes liés à la propagation des fissures sous chargement monotone d'une part, sous chargement cyclique d'autre part. Dans le troisième chapitre, on vérifie l'estimation théorique de la force due aux singularités en fond de fissures. Ceci permet de mettre en évidence également une réduction de l'ouverture par rapport au cas élastique, qui explique le phénomène de fermeture des bords libres des fissures en fatigue. Un dernier chapitre applique les résultats précédents à la fatigue.
29

Modélisation multi-physique en génie électrique. Application au couplage magnéto-thermo-mécanique / Multiphysics modeling in electrical engineering. Application to a magneto-thermo-mechanical model

Journeaux, Antoine 18 November 2013 (has links)
Cette thèse aborde la problématique de la modélisation multiphysique en génie électrique, avec une application à l’étude des vibrations d’origine électromagnétique des cages de développantes. Cette étude comporte quatre parties : la construction de la densité de courant, le calcul des forces locales, le transfert de solutions entre maillages et la résolution des problèmes couplés. Un premier enjeu est de correctement représenter les courants, cette opération est effectuée en deux étapes : la construction de la densité de courant et l’annulation de la divergence. Si des structures complexes sont utilisées, l’imposition du courant ne peut pas toujours être réalisée à l’aide de méthodes analytiques. Une méthode basée sur une résolution électrocinétique ainsi qu’une méthode purement géométrique sont testées. Cette dernière donne des résultats plus proches de la densité de courant réelle. Parmi les nombreuses méthodes de calcul de forces, les méthodes des travaux virtuels et des forces de Laplace, considérées par la littérature comme les plus adaptées au calcul des forces locales, ont été étudiées. Nos travaux ont montré que bien que les forces de Laplace sont particulièrement précises, elles ne sont pas valables si la perméabilité n’est plus homogène. Ainsi, la méthode des travaux virtuels, applicable de manière universelle, est préférée. Afin de modéliser des problèmes multi-physiques complexes à l’aide de plusieurs codes de calculs dédiés, des méthodes de transferts entre maillages non conformes ont été développées. Les procédures d’interpolations, les méthodes localement conservatives et les projections orthogonales sont comparées. Les méthodes d’interpolations sont réputées rapides mais très diffusives tandis que les méthodes de projections sont considérées comme les plus précises. La méthode localement conservative peut être vue comme produisant des résultats comparables aux méthodes de projections, mais évite l’assemblage et la résolution de systèmes linéaires. La modélisation des problèmes multi-physiques est abordée à l’aide des méthodes de transferts de solutions. Pour une classe de problème donnée, l’assemblage d’un schéma de couplage n’est pas unique. Des tests sur des cas analytiques sont réalisés afin de déterminer, pour plusieurs types de couplages, les stratégies les plus appropriées.Ces travaux ont permis une application à la modélisation magnéto-mécanique des cages de développantes est présentée. / The modeling of multi-phycics problems in electrical engineering is presented, with an application to the numerical computation of vibrations within the end windings of large turbo-generators. This study is divided into four parts: the impositions of current density, the computation of local forces, the transfer of data between disconnected meshes, and the computation of multi-physics problems using weak coupling, Firstly, the representation of current density within numerical models is presented. The process is decomposed into two stages: the construction of the initial current density, and the determination of a divergence-free field. The representation of complex geometries makes the use of analytical methods impossible. A method based on an electrokinetical problem is used and a fully geometrical method are tested. The geometrical method produces results closer to the real current density than the electrokinetical problem. Methods to compute forces are numerous, and this study focuses on the virtual work principle and the Laplace force considering the recommendations of the literature. Laplace force is highly accurate but is applicable only if the permeability is uniform. The virtual work principle is finally preferred as it appears as the most general way to compute local forces. Mesh-to-mesh data transfer methods are developed to compute multi-physics models using multiples meshes adapted to the subproblems and multiple computational software. The interpolation method, a locally conservative projection, and an orthogonal projection are compared. Interpolation method is said to be fast but highly diffusive, and the orthogonal projections are highly accurate. The locally conservative method produces results similar to the orthogonal projection but avoid the assembly of linear systems. The numerical computation of multi-physical problems using multiple meshes and projections is then presented. However for a given class of problems, there is not an unique coupling scheme possible. Analytical tests are used to determine, for different class of problems, the most accurate scheme. Finally, numerical computations applied to the structure of end-windings is presented.
30

Autour de l'évaluation numérique des fonctions D-finies

Mezzarobba, Marc 27 October 2011 (has links) (PDF)
Les fonctions D-finies (ou holonomes) à une variable sont les solutions d'équations différentielles linéaires à coefficients polynomiaux. En calcul formel, il s'est avéré fructueux depuis une vingtaine d'années d'en développer un traitement algorithmique unifié. Cette thèse s'inscrit dans cette optique, et s'intéresse à l'évaluation numérique des fonctions D-finies ainsi qu'à quelques problèmes apparentés. Elle explore trois grandes directions. La première concerne la majoration des coefficients des développements en série de fonctions D-finies. On aboutit à un algorithme de calcul automatique de majorants accompagné d'un résultat de finesse des bornes obtenues. Une seconde direction est la mise en pratique de l'algorithme " bit burst " de Chudnovsky et Chudnovsky pour le prolongement analytique numérique à précision arbitraire des fonctions D-finies. Son implémentation est l'occasion de diverses améliorations techniques. Ici comme pour le calcul de bornes, on s'attache par ailleurs à couvrir le cas des points singuliers réguliers des équations différentielles. Enfin, la dernière partie de la thèse développe une méthode pour calculer une approximation polynomiale de degré imposé d'une fonction D-finie sur un intervalle, via l'étude des développements en série de Tchebycheff de ces fonctions. Toutes les questions sont abordées avec un triple objectif de rigueur (résultats numériques garantis), de généralité (traiter toute la classe des fonctions D-finies) et d'efficacité. Pratiquement tous les algorithmes étudiés s'accompagnent d'implémentations disponibles publiquement.

Page generated in 0.0587 seconds