Bücker / Corliss / Hovland Automatic Differentiation: Applications, Theory, and Implementations

1. Auflage 2006
ISBN: 978-3-540-28438-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 50, 370 Seiten, eBook

Reihe: Lecture Notes in Computational Science and Engineering

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.

Written for: Computational scientists
Keywords: automatic differentiation, optimization, sensitivity analysis.

Zielgruppe

Research

Autoren/Hrsg.

Bücker, H. Martin

Corliss, George

Hovland, Paul

Naumann, Uwe

Norris, Boyana

Inhaltsverzeichnis

Perspectives on Automatic Differentiation: Past, Present, and Future?.- Backwards Differentiation in AD and Neural Nets: Past Links and New Opportunities.- Solutions of ODEs with Removable Singularities.- Automatic Propagation of Uncertainties.- High-Order Representation of Poincarée Maps.- Computation of Matrix Permanent with Automatic Differentiation.- Computing Sparse Jacobian Matrices Optimally.- Application of AD-based Quasi-Newton Methods to Stiff ODEs.- Reduction of Storage Requirement by Checkpointing for Time-Dependent Optimal Control Problems in ODEs.- Improving the Performance of the Vertex Elimination Algorithm for Derivative Calculation.- Flattening Basic Blocks.- The Adjoint Data-Flow Analyses: Formalization, Properties, and Applications.- Semiautomatic Differentiation for Efficient Gradient Computations.- Computing Adjoints with the NAGWare Fortran 95 Compiler.- Transforming Equation-Based Models in Process Engineering.- Extension of TAPENADE toward Fortran 95.- A Macro Language for Derivative Definition in ADiMat.- Simulation and Optimization of the Tevatron Accelerator.- Periodic Orbits of Hybrid Systems and Parameter Estimation via AD.- Implementation of Automatic Differentiation Tools for Multicriteria IMRT Optimization.- Application of Targeted Automatic Differentiation to Large-Scale Dynamic Optimization.- Automatic Differentiation: A Tool for Variational Data Assimilation and Adjoint Sensitivity Analysis for Flood Modeling.- Development of an Adjoint for a Complex Atmospheric Model, the ARPS, using TAF.- Tangent Linear and Adjoint Versions of NASA/GMAO’s Fortran 90 Global Weather Forecast Model.- Efficient Sensitivities for the Spin-Up Phase.- Streamlined Circuit Device Model Development with fREEDAR® ãnd ADOL-C.- Adjoint Differentiation of aStructural Dynamics Solver.- A Bibliography of Automatic Differentiation.

Leseproben

Backwards Differentiation in AD and Neural Nets: Past Links and New Opportunities (p. 15)

Paul J. Werbos
National Science Foundation, Arlington, VA, USA

[e-mail]
Summary.
Backwards calculation of derivatives – sometimes called the reverse mode, the full adjoint method, or backpropagation – has been developed and applied in many fields. This paper reviews several strands of history, advanced capabilities and types of application – particularly those which are crucial to the development of brain-like capabilities in intelligent control and artificial intelligence.

Key words: Reverse mode, backpropagation, intelligent control, reinforcement learning, neural networks, MLP, recurrent networks, approximate dynamic programming, adjoint, implicit systems

1 Introduction and Summary
Backwards differentiation or "the reverse accumulation of derivatives" has been used in many different fields, under different names, for different purposes. This paper will review that part of the history and concepts which I experienced directly. More importantly, it will describe how reverse differentiation could have more impact across a much wider range of applications.

Backwards differentiation has been used in four main ways known to me:

1. In automatic differentiation (AD), a field well covered by the rest of this book. In AD, reverse di.erentiation is usually called the "reverse method" or the "adjoint method." However, the term "adjoint method" has actually been used to describe two different generations of methods. Only the newer generation, which Griewank has called "the true adjoint method," captures the full power of the method.

2. In neural networks, where it is normally called "backpropagation" [532, 541, 544]. Surveys have shown that backpropagation is used in a majority of the real-world applications of artificial neural networks (ANNs). This is the stream of work that I know best, and may even claim to have originated.

3. In hand-coded "adjoint" or "dual" subroutines developed for specific models and applications, e.g., [534, 535, 539, 540].

4. In circuit design. Because the calculations of the reverse method are all local, it is possible to insert circuits onto a chip which calculate derivatives backwards physically on the same chip which calculates the quantit( ies) being differentiated. Professor Robert Newcomb at the University of Maryland, College Park, is one of the people who has implemented such "adjoint circuits."

Some of us believe that local calculations of this kind must exist in the brain, because the computational capabilities of the brain require some use of derivatives and because mechanisms have been found in the brain which fit this idea.

These four strands of research could benefit greatly from greater collaboration. For example – the AD community may well have the deepest understanding of how to actually calculate derivatives and to build robust dual subroutines, but the neural network community has worked hard to find many ways of using backpropagation in a wide variety of applications.

The gap between the AD community and the neural network community reminds me of a split I once saw between some people making aircraft engines and people making aircraft bodies.