• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • 3
  • Tagged with
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
1

Modèle mathématique d'optimisation non-linéaire du bruit des avions commerciaux en approche sous contrainte énergétique

Nahayo, Fulgence 04 June 2012 (has links) (PDF)
Cette thèse traite le développement d'un modèle mathématique d'optimisation acoustique des trajectoires de vol de deux avions commerciaux en approche sous contrainte énergétique, aérodynamique et opérationnelle. C'est un modèle analytique de contrôle optimal non-linéaire et non-convexe régi par un système d'équations différentielles ordinaires issues de la dynamique de vol et des contraintes associées. Notre contribution porte sur la modélisation mathématique des équations, l'optimisation et la programmation algorithmique d'un modèle d'optimisation non-linéaire du bruit de deux avions en approche simultanée. Les points abordés sont le développement mathématique du modèle 3D "exact" de leur dynamique de vol, la modélisation mathématique de la commande optimale de ce système dynamique, l'introduction de la consommation du carburant par les avions comme une équation différentielle avec une fonction consommation spécifique variable en fonction de l'évolution de leur dynamique, la modélisation mathématique instantanée de la fonction objectif représentant le bruit global des deux avions en approche. Sa résolution porte sur la méthode directe de programmation séquentielle quadratique avec régions de confiance sous AMPL et KNITRO. Une méthode indirecte a été appliquée sous le principe de maximum de Pontryagin suivie d'une discrétisation de type Runge-Kutta partition-née symplectique d'ordre 4 afin de démontrer la commutation entre l'approche directe et l'approche indirecte. Les résultats obtenus confirment des trajectoires optimales en descente continue, réduisant le bruit au sol ainsi que la consommation de kérosène de deux avions
2

Modélisations de la dispersion du pollen et estimation à partir de marqueurs génétiques. / Modellings of pollen dispersal and estimation from genetic markers

Carpentier, Florence 29 June 2010 (has links)
La dispersion du pollen est une composante majeure des flux de gènes chez les plantes, contribuant à la diversité génétique et à sa structure spatiale. Son étude à l'échelle d'un épisode de reproduction permet de comprendre l'impact des changements actuels (fragmentation, anthropisation....) et de proposer des politiques de conservation. Deux types de méthodes basées sur les marqueurs microsatellites estiment la fonction de dispersion du pollen: (i) les méthodes directes (e.g. mating model) basées sur l'assignation de paternité et nécessitant un échantillonnage exhaustif (position et génotype des individus du site étudié, génotypes de graines échantillonnées sur des mères); (ii) les méthodes indirectes (e.g. TwoGener), nécessitant un échantillonnage réduit (génotypes des graines, génotypes et positions des mères) et résumant les données en indices génétiques. Nous proposons la formalisation statistique de ces deux types de méthodes et montrons qu'elles utilisent des fonctions de dispersion différentes: les méthodes directes estiment une fonction forward potentielle (déplacement du pollen depuis le père), les méthodes indirectes une fonction backward intégrative (de la fécondation jusqu'à l'existence du père). Nous explicitons le lien entre fonctions backward et forward, des hypothèses menant à leur équivalence, et des contraintes affectant les fonctions backward. Nous développons enfin une méthode de calcul bayésien approché qui permet (i) une estimation forward, (ii) avec des intervalles de crédibilité, (iii) à partir d'un jeu de données non exhaustif et d'informations partielles (e.g. positions sans génotype) et (iv) l'utilisation de différents modèles de dispersion. / Pollen dispersal is a major component of gene flow in plants. It determines to genetic diversity and spatial genetic structure.Studying it at the scale of a single reproduction event enables to understand the impact of current changes (fragmentation, anthropization ...) and to propose conservation practices.Two types of methods, based on microsatellite markers, estimate pollen dispersal functions : (i) direct methods (e.g. mating model) based on paternity assignment require exhaustif sampling (position and genotype of individuals in the study plot, genotypes of seeds harvested on mothers); (ii) indirect methods (e.g. TwoGener), require a weaker sampling (seeds genotypes, genotypes and positions of their mothers) and summarize data through genetic indices.We propose a statistical formalization of both types of methods and show that they rely on different dispersal functions : the direct methods estimate a potential forward function (pollen transfer from the father), whereas the indirect methods estimate an integrative backward one (from fecondation to father existence). We exhibit the link between forward and backward functions, assumptions leading to their equivalence and constrains affecting the backward functions.Finally, we develop an Approximate Bayesian Computation method, which enable (i) a forward estimation, (ii) with credibility intervals, (iii) from a non exhaustive dataset and partial information (e.g. positions without genotypes) and (iv) the use of different dispersal models.
3

Techniques de commande optimale pour la recherche automatique de stratégies avec assistances gravitationnelles dans le cadre de missions interplanétaires

Olympio, Joris 27 October 2008 (has links) (PDF)
Cette thèse porte sur la conception de trajectoires interplanétaires, à poussée faible. Les systèmes de propulsion électriques, à poussée faible ou continue, ont permis d'accroître significativement les possibilités de trajectoires, au détriment de mission plus longues. La poussée faible limite également la manoeuvrabilité du système. Afin de parer à ces inconvénients, on utilise généralement des manoeuvres d'assistances gravitationnelles, pour ainsi réduire la consommation et la durée de transfert de la sonde. Le rôle de l'analyste mission est donc de déterminer le meilleur scénario (la séquence de planètes à visiter). De nos jours, ce problème est résolu de manière expérimentale et heuristique. Cependant, bien que la trajectoire produite soit optimale à scénario donné, il n'y a aucune garantie que le scénario en lui-même soit optimal. De plus, cette approche est relativement fastidieuse. Notre objectif a donc été de mettre en place des outils et méthodes permettant de trouver des scénario optimaux pour un objectif fixé. Durant cette thèse, nous avons suivit 2 approches. La première approche consiste à considérer le problème comme étant un problème d'optimisation globale, à variables discrètes. Un ensemble de scénario est étudié à priori. Pour simplifier et faciliter la recherche de séquences, on a modélisé le problème de transfert à poussée faible, en utilisant un principe d'inversion dynamique. Ce modèle utilise des arcs balistiques pour minimiser la consommation, et introduire des degrés de liberté supplémentaires pour satisfaire des contraintes terminales. On a mis au point un algorithme de complexité polynomiale pour résoudre le problème. Afin de réduire le coût calculatoire, nous avons mis en place des contraintes de " pruning " permettant de réduire l'espace de recherche. La deuxième approche consiste à formuler le problème comme un problème de commande optimale, où la dynamique inclut les principaux corps perturbateurs. Le scénario est alors déterminé à postériori. On résoud numériquement le problème au N corps. On montre que les méthodes indirectes (Pontryaguin) et directes (Collocation, Transcription) ne nous permettent pas de résoudre ce problème. On a donc mis au point un solveur de deuxième ordre respectant à la fois les conditions d'optimalité et de précision connues des méthodes indirectes, et des propriétés de robustesse généralement attribué aux méthodes directes.
4

Interplanetary transfers with low consumption using the properties of the restricted three body problem / Transferts interplanétaires à faible consommation utilisant les propriétés du problème restreint des trois corps

Chupin, Maxime 19 October 2016 (has links)
Le premier objectif de cette thèse est de bien comprendre les propriétés de la dynamique du problème circulaire restreint des trois corps et de les utiliser pour calculer des missions pour satellites pourvus de moteurs à faible poussée. Une propriété fondamentale est l'existence de variétés invariantes associées à des orbites périodiques autour des points de \bsc{Lagrange}. En suivant l'idée de l'\emph{Interplanetary Transport Network}, la connaissance et le calcul des variétés invariantes, comme courants gravitationnels, sont cruciaux pour le \emph{design} de missions spatiales. Une grande partie de ce travail de thèse est consacrée au développement de méthodes numériques pour calculer le transfert entre variétés invariantes de façon optimale. Le coût que l'on cherche alors à minimiser est la norme $L^{1}$ du contrôle car elle est équivalente à minimiser la consommation des moteurs. On considère aussi la norme $L^{2}$ du contrôle car elle est, numériquement, plus facile à minimiser. Les méthodes numériques que nous utilisons sont des méthodes indirectes rendues plus robustes par des méthodes de continuation sur le coût, sur la poussée, et sur l'état final. La mise en œuvre de ces méthodes repose sur l'application du Principe du Maximum de Pontryagin. Les algorithmes développés dans ce travail permettent de calculer des missions réelles telles que des missions entre des voisinages des points de \bsc{Lagrange}. L'idée principale est d'initialiser un tir multiple avec une trajectoire admissible composée de parties contrôlées (des transferts locaux) et de parties non-contrôlées suivant la dynamique libre (les variétés invariantes). Les méthodes mises au point ici, sont efficaces et rapides puisqu'il suffit de quelques minutes pour obtenir la trajectoire optimale complète. Enfin, on développe une méthode hybride, avec à la fois des méthodes directes et indirectes, qui permettent d'ajuster la positions des points de raccord sur les variétés invariantes pour les missions à grandes variations d'énergie. Le gradient de la fonction valeur est donné par les valeurs des états adjoints aux points de raccord et donc ne nécessite pas de calculs supplémentaire. Ainsi, l'implémentation de algorithme du gradient est aisée. / The first objective of this work is to understand the dynamical properties of the circular restricted three body problem in order to use them to design low consumption missions for spacecrafts with a low thrust engine. A fundamental property is the existence of invariant manifolds associated with periodic orbits around Lagrange points. Following the Interplanetary Transport Network concept, invariant manifolds are very useful to design spacecraft missions because they are gravitational currents. A large part of this work is devoted to designing a numerical method that performs an optimal transfer between invariant manifolds. The cost we want to minimize is the $L^{1}$-norm of the control which is equivalent to minimizing the consumption of the engines. We also consider the $L^{2}$-norm of the control which is easier to minimize numerically. The numerical methods are indirect ones coupled with different continuations on the thrust, on the cost, and on the final state, to provide robustness. These methods are based on the application of the Pontryagin Maximum Principal. The algorithms developed in this work allow for the design of real life missions such as missions between the realms of libration points. The basic idea is to initialize a multiple shooting method with an admissible trajectory that contains controlled parts (local transfers) and uncontrolled parts following the natural dynamics (invariant manifolds). The methods developed here are efficient and fast (less than a few minutes to obtain the whole optimal trajectory). Finally, we develop a hybrid method, with both direct and indirect methods, to adjust the position of the matching points on the invariant manifolds for missions with large energy gaps. The gradient of the value function is given by the values of the costates at the matching points and does not require any additional computation. Hence, the implementation of the gradient descent is easy.
5

Modèle mathématique d’optimisation non-linéaire du bruit des avions commerciaux en approche sous contrainte énergétique / A non-linear optimization mathematical model of commercial aircraft noise on approach under energy constraint

Nahayo, Fulgence 04 June 2012 (has links)
Cette thèse traite le développement d'un modèle mathématique d'optimisation acoustique des trajectoires de vol de deux avions commerciaux en approche sous contrainte énergétique, aérodynamique et opérationnelle. C'est un modèle analytique de contrôle optimal non-linéaire et non-convexe régi par un système d'équations différentielles ordinaires issues de la dynamique de vol et des contraintes associées. Notre contribution porte sur la modélisation mathématique des équations, l'optimisation et la programmation algorithmique d'un modèle d'optimisation non-linéaire du bruit de deux avions en approche simultanée. Les points abordés sont le développement mathématique du modèle 3D «exact» de leur dynamique de vol, la modélisation mathématique de la commande optimale de ce système dynamique, l'introduction de la consommation du carburant par les avions comme une équation différentielle avec une fonction consommation spécifique variable en fonction de l'évolution de leur dynamique, la modélisation mathématique instantanée de la fonction objectif représentant le bruit global des deux avions en approche. Sa résolution porte sur la méthode directe de programmation séquentielle quadratique avec régions de confiance sous AMPL et KNITRO. Une méthode indirecte a été appliquée sous le principe de maximum de Pontryagin suivie d’une discrétisation de type Runge-Kutta partition-née symplectique d'ordre 4 afin de démontrer la commutation entre l'approche directe et l'approche indirecte. Les résultats obtenus confirment des trajectoires optimales en descente continue, réduisant le bruit au sol ainsi que la consommation de kérosène de deux avions / This thesis develops an mathematical non-linear optimization model of flight paths of two aircraft in approach minimizing the perceived noise on the ground while energetic constraint is considered. This is an analytical model of non-linear and non-convex optimal control governed by a system of ordinary differential equations resulting from the dynamics of flight and with their associated constraints. Our contribution focuses on the mathematical modeling equations, optimization and algorithmic programming of an acoustic non-linear optimization model of two aircraft simultaneously on approach. The addressed issues are the mathematical development of the «correct» 3D model, their flight dynamics, the mathematical modeling of the optimal control of dynamic system, the consideration of fuel consumption by aircraft as a differential equation with a consumption function specific variable depending on the evolution of their dynamics, the mathematical modeling of the instantaneous objective function representing the overall noise of the two approaching aircraft. Resolution deals with the direct method of sequential quadratic programming with confidence regions while AMPL programming language and KNITRO are considered. An indirect method was applied under the Pontryagin maximum principle, followed by a Runge-Kutta symplectic partitioned discretization to demonstrate the commutation between the direct approach and indirect approach. The expected results confirm optimal trajectories reducing ground noise and fuel consumption of two aircraft
6

Contrôle optimal et robuste de l'attitude d'un lanceur. Aspects théoriques et numériques / Optimal and robust attitude control of a launcher. Theoretical and numerical aspects

Antoine, Olivier 04 October 2018 (has links)
L'objectif premier de cette thèse est d'étudier certains aspects du contrôle d'attitude d'un corps rigide, afin d'optimiser la trajectoire d'un lanceur au cours de sa phase balistique. Nous y développons un cadre mathématique permettant de formuler ce problème comme un problème de contrôle optimal avec des contraintes intermédiaires sur l'état. En parallèle de l'étude théorique de ce problème, nous avons mené l'implémentation d'un logiciel d'optimisation basé sur la combinaison d'une méthode directe et d'un algorithme de point intérieur, permettant à l'utilisateur de traiter une phase balistique quelconque. Nous entendons par là qu'il est possible de spécifier un nombre quelconque de contraintes intermédiaires, correspondant à un nombre quelconque de largages de charges utiles. En outre, nous avons appliqué les méthodes dites indirectes, exploitant le principe du maximum de Pontryagin, à la résolution de ce problème de contrôle optimal. On cherche dans ce travail à trouver des trajectoires optimales du point de vue de la consommation en ergols, ce qui correspond à un coût L 1 . Réputé difficile numériquement, ce critère peut être atteint grâce à une méthode de continuation, en se servant d'un coût L 2 comme intermédiaire de calcul et en déformant progressivement ce problème L 2 . Nous verrons également d'autres exemples d'application des méthodes de continuation. Enfin, nous présenterons également un algorithme de contrôle robuste, permettant de rejoindre un état cible à partir d'un état perturbé, en suivant une trajectoire de référence tout en conservant la structure bang-bang des contrôles. La robustesse d'un contrôle peut également être améliorée par l'ajout de variations aiguilles, et un critère qualifiant la robustesse d'une trajectoire à partir des valeurs singulières d'une certaine application entrée-sortie est déduit. / The first objective of this work is to study some aspects of the attitude control problem of a rigid body, in order to optimize the trajectory of a launcher during a ballistic flight. We state this problem in a general mathematical setting, as an optimal control problem with intermediate constraints on the state. Meanwhile, we also implement an optimization software that relies on the combination of a direct method and of an interior-point algorithm to optimize any given ballistic flight, with any number of intermediate constraints, corresponding to any number of satellite separations. Besides, we applied the so-called indirect methods, exploiting Pontryagin maximum principle, to the resolution of this optimal control problem. In this work, optimal trajectories with respect to the consumption are looked after, which corresponds to a L 1 cost. Known to be numerically challenging, this criterion can be reached by performing a continuation procedure, starting from a L 2 cost, for which it is easier to provide a good initialization of the underlying optimization algorithm. We shall also study other examples of applications for continuation procedures. Eventually, we will present a robust control algorithm, allowing to reach a target point from a perturbed initial point, following a nominal trajectory while preserving its bang-bang structure. The robustness of a control can be improved introducing needle-like variations, and a criterion to measure the robustness of a trajectory is designed, involving the singular value decomposition of some end-point mapping.

Page generated in 0.0665 seconds