Fasano G., Pinter J.D. (Eds.) Modeling and Optimization in Space
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Low-Energy Lunar Trajectory Design
LOW-ENERGY LUNAR TRAJECTORY DESIGN Jeffrey S. Parker and Rodney L. Anderson Jet Propulsion Laboratory Pasadena, California July 2013 ii DEEP SPACE COMMUNICATIONS AND NAVIGATION SERIES Issued by the Deep Space Communications and Navigation Systems Center of Excellence Jet Propulsion Laboratory California Institute of Technology Joseph H. Yuen, Editor-in-Chief Published Titles in this Series Radiometric Tracking Techniques for Deep-Space Navigation Catherine L. Thornton and James S. Border Formulation for Observed and Computed Values of Deep Space Network Data Types for Navigation Theodore D. Moyer Bandwidth-Efficient Digital Modulation with Application to Deep-Space Communication Marvin K. Simon Large Antennas of the Deep Space Network William A. Imbriale Antenna Arraying Techniques in the Deep Space Network David H. Rogstad, Alexander Mileant, and Timothy T. Pham Radio Occultations Using Earth Satellites: A Wave Theory Treatment William G. Melbourne Deep Space Optical Communications Hamid Hemmati, Editor Spaceborne Antennas for Planetary Exploration William A. Imbriale, Editor Autonomous Software-Defined Radio Receivers for Deep Space Applications Jon Hamkins and Marvin K. Simon, Editors Low-Noise Systems in the Deep Space Network Macgregor S. Reid, Editor Coupled-Oscillator Based Active-Array Antennas Ronald J. Pogorzelski and Apostolos Georgiadis Low-Energy Lunar Trajectory Design Jeffrey S. Parker and Rodney L. Anderson LOW-ENERGY LUNAR TRAJECTORY DESIGN Jeffrey S. Parker and Rodney L. Anderson Jet Propulsion Laboratory Pasadena, California July 2013 iv Low-Energy Lunar Trajectory Design July 2013 Jeffrey Parker: I dedicate the majority of this book to my wife Jen, my best friend and greatest support throughout the development of this book and always. -
Finding a New Route to the Moon Using Paintings
Bridges 2009: Mathematics, Music, Art, Architecture, Culture Finding a New Route to the Moon using Paintings Edward Belbruno Department of Astrophysical Sciences Princeton University Princeton, NJ, 08540, USA E-mail: [email protected] Abstract A new theory of space travel using low energy chaotic trajectories was dramatically demonstrated in 1991 with the rescue of a Japanese lunar mission, getting its spacecraft, Hiten, to the Moon on a different type of route. The design of this route and the theory behind it is based on finding regions of instability about the Moon. This approach to space travel was inspired by a painting of the Earth-Moon system which revealed these regions and the new chaotic trajectories. The brush strokes in the painting revealed the dynamics of motion which are verified by the computer. The painting itself can be used as a way to uncover dynamics in the field of celestial mechanics that cannot be easily found my standard mathematical methods. A New Approach to Space Travel The classical route from the Earth to the Moon uses the Hohmann transfer, named after the German engineer Walter Hohmann [1]. Let’s assume a spacecraft is to go from a circular orbit about the Earth to a circular orbit about the Moon. The Hohmann transfer is a nearly straight path, actually half of a highly eccentric ellipse, from the circular orbit about the Earth to the circular orbit about the Moon. To leave the orbit about the Earth, the spacecraft briefly fires its engines to gain the necessary velocity, then coasts to the Moon in three days. -
Treball (1.484Mb)
Treball Final de Màster MÀSTER EN ENGINYERIA INFORMÀTICA Escola Politècnica Superior Universitat de Lleida Mòdul d’Optimització per a Recursos del Transport Adrià Vall-llaura Salas Tutors: Antonio Llubes, Josep Lluís Lérida Data: Juny 2017 Pròleg Aquest projecte s’ha desenvolupat per donar solució a un problema de l’ordre del dia d’una empresa de transports. Es basa en el disseny i implementació d’un model matemàtic que ha de permetre optimitzar i automatitzar el sistema de planificació de viatges de l’empresa. Per tal de poder implementar l’algoritme s’han hagut de crear diversos mòduls que extreuen les dades del sistema ERP, les tracten, les envien a un servei web (REST) i aquest retorna un emparellament òptim entre els vehicles de l’empresa i les ordres dels clients. La primera fase del projecte, la teòrica, ha estat llarga en comparació amb les altres. En aquesta fase s’ha estudiat l’estat de l’art en la matèria i s’han repassat molts dels models més importants relacionats amb el transport per comprendre’n les seves particularitats. Amb els conceptes ben estudiats, s’ha procedit a desenvolupar un nou model matemàtic adaptat a les necessitats de la lògica de negoci de l’empresa de transports objecte d’aquest treball. Posteriorment s’ha passat a la fase d’implementació dels mòduls. En aquesta fase m’he trobat amb diferents limitacions tecnològiques degudes a l’antiguitat de l’ERP i a l’ús del sistema operatiu Windows. També han sorgit diferents problemes de rendiment que m’han fet redissenyar l’extracció de dades de l’ERP, el càlcul de distàncies i el mòdul d’optimització. -
OPTIMAL CONTROL of NONHOLONOMIC MECHANICAL SYSTEMS By
OPTIMAL CONTROL OF NONHOLONOMIC MECHANICAL SYSTEMS by Stuart Marcus Rogers A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Applied Mathematics Department of Mathematical and Statistical Sciences University of Alberta ⃝c Stuart Marcus Rogers, 2017 Abstract This thesis investigates the optimal control of two nonholonomic mechanical systems, Suslov's problem and the rolling ball. Suslov's problem is a nonholonomic variation of the classical rotating free rigid body problem, in which the body angular velocity Ω(t) must always be orthogonal to a prescribed, time-varying body frame vector ξ(t), i.e. hΩ(t); ξ(t)i = 0. The motion of the rigid body in Suslov's problem is actuated via ξ(t), while the motion of the rolling ball is actuated via internal point masses that move along rails fixed within the ball. First, by applying Lagrange-d'Alembert's principle with Euler-Poincar´e'smethod, the uncontrolled equations of motion are derived. Then, by applying Pontryagin's minimum principle, the controlled equations of motion are derived, a solution of which obeys the uncontrolled equations of motion, satisfies prescribed initial and final conditions, and minimizes a prescribed performance index. Finally, the controlled equations of motion are solved numerically by a continuation method, starting from an initial solution obtained analytically (in the case of Suslov's problem) or via a direct method (in the case of the rolling ball). ii Preface This thesis contains material that has appeared in a pair of papers, one on Suslov's problem and the other on rolling ball robots, co-authored with my supervisor, Vakhtang Putkaradze. -
Clean Sky – Awacs Final Report
Clean Sky Joint Undertaking AWACs – Adaptation of WORHP to Avionics Constraints Clean Sky – AWACs Final Report Table of Contents 1 Executive Summary ......................................................................................................................... 2 2 Summary Description of Project Context and Objectives ............................................................... 3 3 Description of the main S&T results/foregrounds .......................................................................... 5 3.1 Analysis of Optimisation Environment .................................................................................... 5 3.1.1 Problem sparsity .............................................................................................................. 6 3.1.2 Certification aspects ........................................................................................................ 6 3.2 New solver interfaces .............................................................................................................. 6 3.3 Conservative iteration mode ................................................................................................... 6 3.4 Robustness to erroneous inputs ............................................................................................. 7 3.5 Direct multiple shooting .......................................................................................................... 7 3.6 Grid refinement ...................................................................................................................... -
Optimal Control for Constrained Hybrid System Computational Libraries and Applications
FINAL REPORT: FEUP2013.LTPAIVA.01 Optimal Control for Constrained Hybrid System Computational Libraries and Applications L.T. Paiva 1 1 Department of Electrical and Computer Engineering University of Porto, Faculty of Engineering - Rua Dr. Roberto Frias, s/n, 4200–465 Porto, Portugal ) [email protected] % 22 508 1450 February 28, 2013 Abstract This final report briefly describes the work carried out under the project PTDC/EEA- CRO/116014/2009 – “Optimal Control for Constrained Hybrid System”. The aim was to build and maintain a software platform to test an illustrate the use of the conceptual tools developed during the overall project: not only in academic examples but also in case studies in the areas of robotics, medicine and exploitation of renewable resources. The grand holder developed a critical hands–on knowledge of the available optimal control solvers as well as package based on non–linear programming solvers. 1 2 Contents 1 OC & NLP Interfaces 7 1.1 Introduction . .7 1.2 AMPL . .7 1.3 ACADO – Automatic Control And Dynamic Optimization . .8 1.4 BOCOP – The optimal control solver . .9 1.5 DIDO – Automatic Control And Dynamic Optimization . 10 1.6 ICLOCS – Imperial College London Optimal Control Software . 12 1.7 TACO – Toolkit for AMPL Control Optimization . 12 1.8 Pseudospectral Methods in Optimal Control . 13 2 NLP Solvers 17 2.1 Introduction . 17 2.2 IPOPT – Interior Point OPTimizer . 17 2.3 KNITRO . 25 2.4 WORHP – WORHP Optimises Really Huge Problems . 31 2.5 Other Commercial Packages . 33 3 Project webpage 35 4 Optimal Control Toolbox 37 5 Applications 39 5.1 Car–Like . -
Using SCIP to Solve Your Favorite Integer Optimization Problem
Using SCIP to Solve Your Favorite Integer Optimization Problem Gregor Hendel, [email protected] Hiroshima University October 5, 2018 Gregor Hendel, [email protected] – Using SCIP 1/76 What is SCIP? SCIP (Solving Constraint Integer Programs) … • provides a full-scale MIP and MINLP solver, • is constraint based, • incorporates • MIP features (cutting planes, LP relaxation), and • MINLP features (spatial branch-and-bound, OBBT) • CP features (domain propagation), • SAT-solving features (conflict analysis, restarts), • is a branch-cut-and-price framework, • has a modular structure via plugins, • is free for academic purposes, • and is available in source-code under http://scip.zib.de ! Gregor Hendel, [email protected] – Using SCIP 2/76 Meet the SCIP Team 31 active developers • 7 running Bachelor and Master projects • 16 running PhD projects • 8 postdocs and professors 4 development centers in Germany • ZIB: SCIP, SoPlex, UG, ZIMPL • TU Darmstadt: SCIP and SCIP-SDP • FAU Erlangen-Nürnberg: SCIP • RWTH Aachen: GCG Many international contributors and users • more than 10 000 downloads per year from 100+ countries Careers • 10 awards for Masters and PhD theses: MOS, EURO, GOR, DMV • 7 former developers are now building commercial optimization sotware at CPLEX, FICO Xpress, Gurobi, MOSEK, and GAMS Gregor Hendel, [email protected] – Using SCIP 3/76 Outline SCIP – Solving Constraint Integer Programs http://scip.zib.de Gregor Hendel, [email protected] – Using SCIP 4/76 Outline SCIP – Solving Constraint Integer Programs http://scip.zib.de Gregor Hendel, [email protected] – Using SCIP 5/76 ZIMPL • model and generate LPs, MIPs, and MINLPs SCIP • MIP, MINLP and CIP solver, branch-cut-and-price framework SoPlex • revised primal and dual simplex algorithm GCG • generic branch-cut-and-price solver UG • framework for parallelization of MIP and MINLP solvers SCIP Optimization Suite • Toolbox for generating and solving constraint integer programs, in particular Mixed Integer (Non-)Linear Programs. -
On Scaled Stopping Criteria for a Safeguarded Augmented Lagrangian Method with Theoretical Guarantees
Noname manuscript No. (will be inserted by the editor) On scaled stopping criteria for a safeguarded augmented Lagrangian method with theoretical guarantees R. Andreani · G. Haeser · M. L. Schuverdt · L. D. Secchin · P. J. S. Silva Received: date / Accepted: date Abstract This paper discusses the use of a stopping criterion based on the scaling of the Karush-Kuhn-Tucker (KKT) conditions by the norm of the ap- proximate Lagrange multiplier in the ALGENCAN implementation of a safe- guarded augmented Lagrangian method. Such stopping criterion is already used in several nonlinear programming solvers, but it has not yet been con- sidered in ALGENCAN due to its firm commitment with finding a true KKT point even when the multiplier set is not bounded. In contrast with this view, we present a strong global convergence theory under the quasi-normality con- straint qualification, that allows for unbounded multiplier sets, accompanied by an extensive numerical test which shows that the scaled stopping criterion is more efficient in detecting convergence sooner. In particular, by scaling, ALGENCAN is able to recover a solution in some difficult problems where the original implementation fails, while the behavior of the algorithm in the easier instances is maintained. Furthermore, we show that, in some cases, a R. Andreani · P. J. S. Silva Department of Applied Mathematics, University of Campinas, Rua S´ergio Buarque de Holanda, 651, 13083-859, Campinas, SP, Brazil. E-mail: [email protected], [email protected] G. Haeser Department of Applied Mathematics, University of S~aoPaulo, Rua do Mat~ao, 1010, Cidade Universit´aria,05508-090, S~aoPaulo, SP, Brazil. -
Technical Program
TECHNICAL PROGRAM Wednesday, 9:00-10:30 Wednesday, 11:00-12:40 WA-01 WB-01 Wednesday, 9:00-10:30 - 1a. Europe a Wednesday, 11:00-12:40 - 1a. Europe a Opening session - Plenary I. Ljubic Planning and Operating Metropolitan Passenger Transport Networks Stream: Plenaries and Semi-Plenaries Invited session Stream: Traffic, Mobility and Passenger Transportation Chair: Bernard Fortz Invited session Chair: Oded Cats 1 - From Game Theory to Graph Theory: A Bilevel Jour- ney 1 - Frequency and Vehicle Capacity Determination using Ivana Ljubic a Dynamic Transit Assignment Model In bilevel optimization there are two decision makers, commonly de- Oded Cats noted as the leader and the follower, and decisions are made in a hier- The determination of frequencies and vehicle capacities is a crucial archical manner: the leader makes the first move, and then the follower tactical decision when planning public transport services. All meth- reacts optimally to the leader’s action. It is assumed that the leader can ods developed so far use static assignment approaches which assume anticipate the decisions of the follower, hence the leader optimization average and perfectly reliable supply conditions. The objective of this task is a nested optimization problem that takes into consideration the study is to determine frequency and vehicle capacity at the network- follower’s response. level while accounting for the impact of service variations on users In this talk we focus on new branch-and-cut (B&C) algorithms for and operator costs. To this end, we propose a simulation-based op- dealing with mixed-integer bilevel linear programs (MIBLPs). -
Datascientist Manual
DATASCIENTIST MANUAL . 2 « Approcherait le comportement de la réalité, celui qui aimerait s’epanouir dans l’holistique, l’intégratif et le multiniveaux, l’énactif, l’incarné et le situé, le probabiliste et le non linéaire, pris à la fois dans l’empirique, le théorique, le logique et le philosophique. » 4 (* = not yet mastered) THEORY OF La théorie des probabilités en mathématiques est l'étude des phénomènes caractérisés PROBABILITY par le hasard et l'incertitude. Elle consistue le socle des statistiques appliqué. Rubriques ↓ Back to top ↑_ Notations Formalisme de Kolmogorov Opération sur les ensembles Probabilités conditionnelles Espérences conditionnelles Densités & Fonctions de répartition Variables aleatoires Vecteurs aleatoires Lois de probabilités Convergences et théorèmes limites Divergences et dissimilarités entre les distributions Théorie générale de la mesure & Intégration ------------------------------------------------------------------------------------------------------------------------------------------ 6 Notations [pdf*] Formalisme de Kolmogorov Phé nomé né alé atoiré Expé riéncé alé atoiré L’univérs Ω Ré alisation éléméntairé (ω ∈ Ω) Evé némént Variablé aléatoiré → fonction dé l’univér Ω Opération sur les ensembles : Union / Intersection / Complémentaire …. Loi dé Augustus dé Morgan ? Independance & Probabilités conditionnelles (opération sur des ensembles) Espérences conditionnelles 8 Variables aleatoires (discret vs reel) … Vecteurs aleatoires : Multiplét dé variablés alé atoiré (discret vs reel) … Loi marginalés Loi -
75 Years the Courant Institute of Mathematical Sciences at New York University
Celebrating 75 Years The Courant Institute of Mathematical Sciences at New York University The ultimate goal should be “a strong and many-sided institution… which carries on research and educational work, not only in the pure and abstract mathematics, but also emphasizes the connection between mathematics and other fields [such] as physics, engineering, possibly biology and economics.” — Richard Courant, 1936 Inevitably, much has changed over the past 75 years, most notably the advent of computers, which are now central to much of our activities. Nonetheless, viewed broadly, this statement continues to characterize our research mission, as illustrated by the research profiles in each issue of the newsletter. 75th Anniversary Courant Lectures As a part of the Courant Institute’s 75th Anniversary celebrations, over 250 Courant Institute faculty, students, Spring / Summer 2011 8, No. 2 Volume alumni and friends gathered at Warren Weaver Hall for the Courant Lectures on April 7th. The talk was given by Persi Diaconis, Mary V. Sunseri Professor of Statistics and Mathematics and Stanford University. In the talk, “The In this Issue: Search for Randomness,” Prof. Diaconis gave “a careful look at some of our most primitive images of random 75th Anniversary Courant phenomena: tossing a coin, rolling a roulette ball, and Lectures 1 shuffling cards.” As stated by Prof. Diaconis, “Experiments and theory show that, while these can produce random Assaf Naor 2–3 outcomes, usually we are lazy and things are far off. Marsha Berger 4–5 Connections to the use (and misuse) of statistical models 2011 Courant Institute and the need for randomness in scientific computing Student Prizes 5 emerge.” The lecture was followed by a more technical Alex Barnett 6–7 lecture on April 8th, “Mathematical Analysis of ‘Hit and Photo: Mathieu Asselin Run’ Algorithms.” n Faculy Honors 8 Leslie Greengard and Persi Diaconis The Bi-Annual 24-Hour Hackathon 8 Puzzle, Spring 2011: This past Fall the construction on Warren Weaver Hall’s Mercer-side entrance was The Bermuda Yacht Race 9 completed. -
ASTROBIOLOGY ASTROBIOLOGY: an Introduction
Physics SERIES IN ASTRONOMY AND ASTROPHYSICS LONGSTAFF SERIES IN ASTRONOMY AND ASTROPHYSICS SERIES EDITORS: M BIRKINSHAW, J SILK, AND G FULLER ASTROBIOLOGY ASTROBIOLOGY ASTROBIOLOGY: An Introduction Astrobiology is a multidisciplinary pursuit that in various guises encompasses astronomy, chemistry, planetary and Earth sciences, and biology. It relies on mathematical, statistical, and computer modeling for theory, and space science, engineering, and computing to implement observational and experimental work. Consequently, when studying astrobiology, a broad scientific canvas is needed. For example, it is now clear that the Earth operates as a system; it is no longer appropriate to think in terms of geology, oceans, atmosphere, and life as being separate. Reflecting this multiscience approach, Astrobiology: An Introduction • Covers topics such as stellar evolution, cosmic chemistry, planet formation, habitable zones, terrestrial biochemistry, and exoplanetary systems An Introduction • Discusses the origin, evolution, distribution, and future of life in the universe in an accessible manner, sparing calculus, curly arrow chemistry, and modeling details • Contains problems and worked examples and includes a solutions manual with qualifying course adoption Astrobiology: An Introduction provides a full introduction to astrobiology suitable for university students at all levels. ASTROBIOLOGY An Introduction ALAN LONGSTAFF K13515 ISBN: 978-1-4398-7576-6 90000 9 781439 875766 K13515_COVER_final.indd 1 10/10/14 2:15 PM ASTROBIOLOGY An Introduction