Spelling suggestions: "subject:"différenciation automatique""
11 |
Sequence-to-sequence learning for machine translation and automatic differentiation for machine learning software toolsvan Merriënboer, Bart 10 1900 (has links)
No description available.
|
12 |
Assimilation variationnelle d'observations de télédétection dans les modèles de fonctionnement de la végétation : utilisation du modèle adjoint et prise en compte de contraintes spatialesLauvernet, Claire 25 April 2005 (has links) (PDF)
La gestion de l'environnement et des ressources disponibles nécessite de caractériser l'état de la végétation. Les modèles agronomiques simulent le fonctionnement du couvert à partir du climat, des pratiques culturales et des propriétés de la plante et du sol. Le projet ADAM, dans lequel s'inscrit cette thèse, a pour objectif de combiner les données de télédétection avec l'information fournie par les modèles agronomiques afin de participer au raisonnement des cultures et à l'évaluation de l'environnement. Sur un modèle d'étude, nous avons proposé une approche originale d'assimilation simultanée sur une scène, en imposant des contraintes sur les paramètres en fonction de leur variabilité au niveau du pixel, de la parcelle, de la variété. . . La taille de l'espace de contrôle est ainsi diminuée par rapport à un problème résolu pixel par pixel et qui se trouve être mal posé lorsque l'on dispose de peu d'observations. Cette technique a permis d'améliorer fortement l'estimation des paramètres d'entrée et de réduire la fréquence temporelle d'observation. Nous avons ensuite étudié la faisabilité d'une telle méthode sur un modèle mécaniste complexe de fonctionnement de la végétation (STICS), dont la différentiation a présenté des difficultés théoriques et pratiques. En effectuant une analyse de sensibilité utilisant le modèle adjoint de STICS, nous avons pu hiérarchiser ses paramètres selon leur influence sur la croissance de la culture. Nous avons démontré la faisabilité d'une technique d'assimilation avec contraintes dans STICS, ce qui permet d'envisager de nombreuses applications dans le domaine agronomique.
|
13 |
Sédimentation des boues activées en système fermé : de l'investigation expérimentale à l'aide d'un transducteur ultrasonore à la modélisation 1 D, l'analyse de sensibilité et l'identification de paramètres / Activated sludge batch settling : from experimental investigation using an ultrasonic transducer to 1D modelling, sensitivity analysis and parameter identificationLocatelli, Florent 24 September 2015 (has links)
Ce travail porte sur l’étude expérimentale et la modélisation de la sédimentation des boues activées. Un pilote expérimental associant une colonne de sédimentation et un transducteur ultrasonore est proposé. Des profils de vitesse de sédimentation et de concentration en particules sont obtenus grâce à ce dispositif, ce qui permet de mieux comprendre les mécanismes de décantation des boues. Ces résultats sont utilisés afin de développer une approche numérique. Un modèle de sédimentation est construit en intégrant des fonctions expérimentales. Une méthodologie mettant en œuvre la différentiation automatique du modèle est ensuite élaborée et appliquée, d'une part, à l'analyse de sensibilité du modèle aux paramètres des fonctions utilisées et, d'autre part, à l'identification des valeurs de ces paramètres à l'aide des résultats expérimentaux. La conjonction des approches expérimentale et numérique proposées constitue un processus efficace pour le développement des modèles de sédimentation. / This work deals with the experimental investigation and modelling of activated sludge settling. An experimental setup combining a settling column and an ultrasonic transducer is proposed. Settling velocity and concentration profiles are obtained using this setup, allowing for a better understanding of the mechanisms of activated sludge settling. These results are applied to the development of a numerical approach. A settling model using experimental functions is built. A methodology based on the automatic differentiation of the model is developed. This methodology is used, on the one hand, to analyse the sensitivity of the results to the model parameters and, on the other hand, to identify the parameter values on the basis of experimental data. The combination of the proposed experimental and numerical methods yields an efficient process for the development of sedimentation models.
|
14 |
Memory-aware Algorithms and Scheduling Techniques for Matrix Computattions / Algorithmes orientés mémoire et techniques d'ordonnancement pour le calcul matricielHerrmann, Julien 25 November 2015 (has links)
Dans cette thèse, nous nous sommes penchés d’un point de vue à la foisthéorique et pratique sur la conception d’algorithmes et detechniques d’ordonnancement adaptées aux architectures complexes dessuperordinateurs modernes. Nous nous sommes en particulier intéressésà l’utilisation mémoire et la gestion des communications desalgorithmes pour le calcul haute performance (HPC). Nous avonsexploité l’hétérogénéité des superordinateurs modernes pour améliorerles performances du calcul matriciel. Nous avons étudié lapossibilité d’alterner intelligemment des étapes de factorisation LU(plus rapide) et des étapes de factorisation QR (plus stablenumériquement mais plus deux fois plus coûteuses) pour résoudre unsystème linéaire dense. Nous avons amélioré les performances desystèmes d’exécution dynamique à l’aide de pré-calculs statiquesprenants en compte l’ensemble du graphe de tâches de la factorisationCholesky ainsi que l’hétérogénéité de l’architecture. Nous noussommes intéressés à la complexité du problème d’ordonnancement degraphes de tâches utilisant de gros fichiers d’entrée et de sortiesur une architecture hétérogène avec deux types de ressources,utilisant chacune une mémoire spécifique. Nous avons conçu denombreuses heuristiques en temps polynomial pour la résolution deproblèmes généraux que l’on avait prouvés NP-complet aupréalable. Enfin, nous avons conçu des algorithmes optimaux pourordonnancer un graphe de différentiation automatique sur uneplateforme avec deux types de mémoire : une mémoire gratuite maislimitée et une mémoire coûteuse mais illimitée. / Throughout this thesis, we have designed memory-aware algorithms and scheduling techniques suitedfor modern memory architectures. We have shown special interest in improving the performance ofmatrix computations on multiple levels. At a high level, we have introduced new numerical algorithmsfor solving linear systems on large distributed platforms. Most of the time, these linear solvers rely onruntime systems to handle resources allocation and data management. We also focused on improving thedynamic schedulers embedded in these runtime systems by adding static information to their decisionprocess. We proposed new memory-aware dynamic heuristics to schedule workflows, that could beimplemented in such runtime systems.Altogether, we have dealt with multiple state-of-the-art factorization algorithms used to solve linearsystems, like the LU, QR and Cholesky factorizations. We targeted different platforms ranging frommulticore processors to distributed memory clusters, and worked with several reference runtime systemstailored for these architectures, such as P A RSEC and StarPU. On a theoretical side, we took specialcare of modelling convoluted hierarchical memory architectures. We have classified the problems thatare arising when dealing with these storage platforms. We have designed many efficient polynomial-timeheuristics on general problems that had been shown NP-complete beforehand.
|
15 |
Transfert de masse en milieux poreux : modélisation, analyse de sensibilité et estimation de paramètres appliquées à deux études de cas / Mass transfer in porous media : modelling, sensitivity analysis and parameter estimation applied to two remediation facilitiesMoezzibadi, Mohammad 28 September 2018 (has links)
Des analyses de sensibilité et des estimations de paramètres sont étudiées sur deux études de cas de transfert de masse en milieu poreux. La première partie est consacrée à la sensibilité des écoulements souterrains dans une modélisation des échanges drain-aquifère pour mettre en évidence les différences entre les deux méthodes de discrétisation mises en œuvre. La seconde partie est dédiée à la modélisation de l’écoulement en milieu poreux variablement saturé dans une zone humide artificielle, au calage des paramètres du modèle de van Genuchten-Mualem et à l’évaluation de son efficacité à reproduire des données piézométriques collectées sur le site de l’Ostwaldergraben. La variabilité temporelle des paramètres hydrodynamiques, incluant l’effet d’hystérésis, montre que ceux de la couche active du filtre changent au cours du temps. Ces deux études sont conduites à l’aide de la différenciation automatique. / Sensitivity analyses and parameter estimation are applied to mass transfer in porous media for two remediation facilities. The first part is devoted to the sensitivity analysis of groundwater flows in a modeling of drain-aquifer exchanges to highlight the differences between the two implemented methods of discretization. The second part is dedicated to the modeling of the flow in a variably saturated porous medium in a stormwater constructed wetland, to the calibration of van Genuchten-Mualem parameters and to the evaluation of its efficiency in the reproduction of piezometric data collected on the Ostwaldergraben site. The temporal variability of the hydrodynamic parameters, including the hysteresis effect, shows that the characteristics of the filter layer alters along time. Both studies are carried using automatic differentiation.
|
16 |
Modélisation directe et inverse d'écoulements géophysiques viscoplastiques par méthodes variationnelles - Application à la glaciologieMartin, Nathan 10 July 2013 (has links) (PDF)
Résumé : Un certain nombre d'écoulements géophysiques, tels que les écoulements de glace ou de lave magmatique, impliquent le mouvement gravitaire à faible nombre de Reynolds d'un fluide viscoplastique à surface libre sur un socle rocheux. Leur modélisation fait apparaître des lois de comportement rhéologique et des descriptions de leurs intéractions avec le socle rocheux qui reposent sur des paramétrisations empiriques. Par ailleurs, l'observation systématique de ce type d'écoulements avec une grande précision est rarement possible ; les données associées à l'observation de ces écoulements, principalement des données de surface (télédétections), peuvent être peu denses, manquantes ou incertaines. Elles sont aussi le plus souvent indirectes : des paramètres inconnus comme le glissement basal ou la rhéologie sont difficilement mesurables in situ. Ce travail de thèse s'attache à la modélisation directe et inverse de ces écoulements géophysiques, particulièrement les écoulements de glace, par des méthodes variationnelles à travers la résolution du problème de Stokes pour les fluides en loi de puissance. La méthode de résolution du problème direct (Stokes non-linéaire) repose sur le principe du minimum de dissipation qui mène à un problème variationnel de type point-selle à quatre champs pour lequel on montre l'existence de solutions. La condition d'incompressibilité et la loi de comportement représentent alors des contraintes associées au problème de minimisation. La recherche des points critiques du lagrangien correspondant est réalisée à l'aide d'un algorithme de type lagrangien augmenté, discrétisé par éléments finis triangles à trois champs. Cet algorithme conduit à un important gain tant en temps de calcul qu'en utilisation mémoire par rapport aux algorithmes classiques. On s'intéresse ensuite à la modélisation numérique inverse de ces fluides à l'aide du modèle adjoint et des deux principaux outils associés : l'analyse de sensibilité et l'assimilation de données. On étudie tout d'abord la modélisation rhéologique de ces fluides à travers les deux paramètres principaux de la loi de comportement : la consistance du fluide et l'exposant rhéologique. Des analyses de sensibilité sur ces paramètres définis localement, permettent de quantifier leurs poids relatifs au sein du modèle d'écoulement, en termes de vitesses de surface. L'identification de ces grandeurs est également réalisée. L'ensemble des résultats est résumé comme une méthodologie vers une "rhéométrie virtuelle" pouvant représenter une aide solide à la mesure rhéologique. Le glissement basal, paramètre majeur dans la dynamique de la glace, est investigué selon la même approche. Les analyses de sensibilité mettent en avant une capacité à voir à travers le caractère "filtré" et non-local de la transmission de la variabilité basale vers la surface, ouvrant des perspectives vers l'utilisation des sensibilités pour la définition de lieux d'intérêt pour l'observation et la mesure. Ce glissement basal, modélisation empirique d'un processus complexe et multiéchelle, est ensuite utilisé pour la comparaison avec une méthode inverse approximative courante en glaciologie (méthode négligeant la dépendance de la viscosité à la vitesse, i.e. la non-linéarité). Le modèle adjoint, obtenu par différentiation automatique et évalué par accumulation retour, permet de définir cette approximation comme un cas limite de la méthode inverse complète. Ce formalisme mène à une généralisation du processus d'évaluation numérique de l'état adjoint, ajustable en précision et en temps de calcul en fonction de la qualité des données et du niveau de détail souhaité dans la reconstruction. L'ensemble de ces travaux est associé au développement du logiciel DassFlow-Ice de simulation directe et inverse de fluides viscoplastiques à surface libre. Ce logiciel prospectif bidimensionnel, diffusé dans la communauté glaciologique, a donné lieu au développement d'une version tridimensionnelle.
|
17 |
Formulation et modélisation des vibrations par éléments finis de type solide-coque : application aux structures sandwichs viscoélastiques et piézoélectriques / Formulation and modeling of vibrations using solid-shell finite elements : application to viscoelastic and piezoelectric sandwich structuresKpeky, Fessal 15 February 2016 (has links)
Cette thèse s’intéresse au développement d’éléments finis solide–coques dédiés à la modélisation de structures multicouches sollicitées en vibrations. En effet, la plupart des modèles multicouches dans la littérature présentent des limitations dans certaines configurations géométriques et matérielles. Face à ce constat et dans un souci de proposer un outil moins coûteux en temps de calcul, nous avons proposé une approche basée sur le concept solide–coques. Il s’agit d’éléments finis tridimensionnels dont le comportement a été amélioré par l’Assumed Strain Method. Dans un premier temps, nous avons formulé le problème de vibrations de structures sandwichs à cœur viscoélastique. La dépendance en fréquence a ainsi été prise en compte en utilisant une loi constitutive complexe. Pour résoudre le problème discrétisé, la Méthode Asymptotique Numérique, couplée à l’homotopie, et utilisant l’approche DIAMANT, a été adoptée pour les excellents résultats qu’elle offre par rapport aux autres méthodes. Des tests ont permis de valider les modèles proposés et de montrer l’avantage par rapport aux éléments ayant la même cinématique. Poursuivant nos travaux, et dans un souci d’augmenter l’amortissement, nous nous sommes orientés vers un contrôle actif des vibrations. Pour ce faire, deux éléments finis piézoélectriques ont été formulés. Il s’agit des éléments SHB8PSE et SHB20E qui sont des extensions des éléments finis SHB8PS et SHB20, respectivement. Le couplage électromécanique a consisté en l’ajout d’un degré de liberté à chacun des nœuds des dits éléments. Quelques exemples en statique et en vibrations menés sur des structures multicouches allant de simples poutres aux structures présentant des non-linéarités géométriques ont permis de valider les éléments solide–coques proposés. Pour finir, une synthèse des acquis des chapitres 2 et 3 a permis de proposer une modélisation de structures multicouches comprenant des couches élastiques, viscoélastiques et piézoélectriques. À l’amortissement passif provenant du pouvoir amortissant des matériaux viscoélastiques, on ajoute un contrôle actif qui découle du courant électrique généré au cours de la déformation des couches piézoélectriques. Ainsi, un filtre a été installé entre les capteurs et actionneurs. Ce filtre permet d’amplifier ou d’atténuer le potentiel électrique généré dans le but de réduire les amplitudes de vibrations. Pour résoudre le problème résultant nous avons étendu le solveur utilisé au chapitre 2. Pour valider les modèles proposés, des tests de contrôle actif–passif ont été menés sur des structures plaques multicouches. Enfin, quelques lois de contrôle découlant de filtres ont permis de montrer comment cette procédure permet de réduire ou même d’éviter l’amplification des vibrations / This thesis deals with the development of solid–shell finite elements for vibration modeling of multilayer structures. Indeed, most of multilayer models in the literature show some limitations in certain geometric and material configurations. Considering these restrictions and in order to develop a more efficient calculation tool, we proposed an approach based on the solid–shell concept. This consists of three-dimensional finite elements enhanced through the Assumed Strain Method. First of all, we have formulated the problem of vibrations of sandwich structures with viscoelastic core. The frequency dependence has been taken into account by using a complex constitutive law. To solve the discretized problem, the Asymptotic Numerical Method, coupled with the homotopy technique and the DIAMANT toolbox approach, was adopted due to the excellent results it provides compared to other methods. Benchmark tests have validated the models and highlighted their advantages over existing elements having the same kinematics. In order to increase damping properties, we directed our attention towards an active vibration control. For this purpose, two piezoelectric finite elements have been developed. These finite elements SHB8PSE and SHB20E are extensions, of the elements SHB8PS and SHB20, respectively. The electromechanical coupling consisted in adding an electrical degree of freedom to each node of these elements. A variety of test problems both in static and vibration analysis conducted on multilayer structures ranging from simple beams to structures involving geometric nonlinearities allowed validating the proposed solid–shell elements. Finally, combining the achievements made in chapters 2 and 3, we proposed a modeling approach for multilayer structures composed of elastic, viscoelastic and piezoelectric layers. Active control is introduced using the piezoelectric properties in order to improve the reduction in vibration amplitudes. Thus, a filter has been mounted between the sensors and actuators. This filter allows amplifying or attenuating the generated electric potential in order to reduce the vibration amplitudes. To solve the resulting problem, we extended the resolution method used in chapter 2. To validate the proposed models, active–passive control tests have been conducted on multilayer plate structures. Finally, some control laws, associated with filters, have shown how this procedure can allow reducing or even avoiding amplification of vibrations
|
18 |
Modélisation et conception de structures composites viscoélastiques à haut pouvoir amortissant / Modeling and design of composite viscoelastic structures with high damping powerAkoussan, Komlan 09 November 2015 (has links)
L’objectif de ce travail est de développer des outils numériques utilisables dans la détermination de manière exacte des propriétés modales des structures sandwichs viscoélastiques composites au vue de la conception des structures sandwichs viscoélastiques légères mais à haut pouvoir amortissant. Pour cela nous avons tout d’abord développé un outil générique implémenté en Matlab pour la détermination des propriétés modales en vibration libre des plaques sandwichs viscoélastiques dont les faces sont en stratifié de plusieurs couches orientées dans diverses directions. L’intérêt de cet outil, basé sur une formulation éléments finis, réside dans sa capacité à prendre en compte l’anisotropie des couches composites, la non linéarité matérielle de la couche viscoélastique traduit par diverses lois viscoélastiques dépendant de la fréquence ainsi que diverses conditions aux limites. La résolution du problème aux valeurs propres non linéaires complexes se fait par le couplage entre la technique d’homotopie, la méthode asymptotique numérique et la différentiation automatique. Ensuite pour permettre une étude continue des effets d’un paramètre de modélisation sur les propriétés modales des sandwichs viscoélastiques, nous avons proposé une méthode générique de résolution de problème résiduel non linéaire aux valeurs propres complexes possédant en plus de la dépendance en fréquence introduite par la couche viscoélastique du coeur, la dépendance du paramètre de modélisation qui décrit un intervalle d’étude bien spécifique. Cette résolution est basée sur la méthode asymptotique numérique, la différentiation automatique, la technique d’homotopie et la continuation et prend en compte diverses lois viscoélastiques. Nous proposons après cela, deux formulations distinctes pour étudier les effets, sur les propriétés amortissantes, de deux paramètres de modélisation qui sont importants dans la conception de sandwichs viscoélastiques à haut pouvoir amortissement. Le premier est l’orientation des fibres des composites dans la référence du sandwich et le second est l’épaisseur des couches qui lorsqu’elles sont bien définies permettent d’obtenir non seulement des structures sandwichs à haut pouvoir amortissant mais très légères. Les équations fortement non linéaires aux valeurs propres complexes obtenues dans ces formulations sont résolues par la nouvelle méthode de résolution d’équation résiduelle développée. Des comparaisons avec des résultats discrets sont faites ainsi que les temps de calcul pour montrer non seulement l’utilité de ces deux formulations mais également celle de la méthode de résolution d’équations résiduelles non linéaires aux valeurs propres complexes à double dépendance / Modeling and design of composite viscoelastic structures with high damping powerThe aim of this thesis is to develop numerical tools to determine accurately damping properties of composite sandwich structures for the design of lightweight viscoelastic sandwichs structures with high damping power. In a first step, we developed a generic tool implemented in Matlab for determining damping properties in free vibration of viscoelastic sandwich plates with laminate faces composed of multilayers. The advantage of this tool, which is based on a finite element formulation, is its ability to take into account the anisotropy of composite layers, the material non-linearity of the viscoelastic core induiced by the frequency-dependent viscoelastic laws and various boundary conditions . The nonlinear complex eigenvalues problem is solved by coupling homotopy technic, asymptotic numerical method and automatic differentiation. Then for the continuous study of a modeling parameter on damping properties of viscoelastic sandwichs, we proposed a generic method to solve the nonlinear residual complex eigenvalues problem which has in addition to the frequency dependence introduced by the viscoelastic core, a modeling parameter dependence that describes a very specific study interval. This resolution is based on asymptotic numerical method, automatic differentiation, homotopy technique and continuation technic and takes into account various viscoelastic laws. We propose after that, two separate formulations to study effects on the damping properties according to two modeling parameters which are important in the design of high viscoelastic sandwichs with high damping power. The first is laminate fibers orientation in the sandwich reference and the second is layers thickness which when they are well defined allow to obtain not only sandwich structures with high damping power but also very light. The highly nonlinear complex eigenvalues problems obtained in these formulations are solved by the new method of resolution of eigenvalue residual problem with two nonlinearity developed before. Comparisons with discrete results and computation time are made to show the usefulness of these two formulations and of the new method of solving nonlinear complex eigenvalues residual problem of two dependances
|
Page generated in 0.205 seconds