Summary: | Thesis (S.M.)--Massachusetts Institute of Technology, Computation for Design and Optimization Program, 2012. === Cataloged from PDF version of thesis. === Includes bibliographical references (p. 75-77). === The cryosphere is comprised of about 33 million km³ of ice, which corresponds to 70 meters of global mean sea level equivalent [30]. Simulating continental ice masses, such as the Antarctic or Greenland Ice Sheets, requires computational models capturing abrupt changes in ice sheet dynamics, which are still poorly understood. Input parameters, such as basal drag and topography, have large effects on the applied stress and flow fields but whose direct observation is very difficult, if not impossible. Computational methods are designed to aid in the development of ice sheet models, ideally identifying the relative importance of each parameter and formulating inverse methods to infer uncertain parameters and thus constrain ice sheet flow. Efficient computation of the tangent linear and adjoint models give researchers easy access to model derivatives. The adjoint and tangent linear models enable efficient global sensitivity computation and parameter optimization on unknown or uncertain ice sheet properties, information used to identify model properties having large effects on sea-level. The adjoint equations are not always easily obtained analytically and often require discretizing additional PDE's. Algorithmic differentiation (AD) decomposes the model into a composite of elementary operations (+, -, *, /, etc ... ) and a source-to-source transformation generates code for the Jacobian and its transpose for each operations. Derivatives computed using the tangent linear and adjoint models, with code generated by AD, are applied to parameter estimation and sensitivity analysis of simple glacier models. AD is applied to two examples, equations describing changes in borehole temperature over time and instantaneous ice velocities. Borehole model predictions and data are compared to infer paleotemperatures, geothermal heat flux, and physical ice properties. Inversion using adjoint methods and AD increases the control space, allowing inference for all uncertain parameters. The sensitivities of ice velocities to basal friction and basal topography are compared. The basal topography has significantly larger sensitivities, suggesting it plays a larger role in flow dynamics and future work should seek to invert for this parameter. === by Andrew D. Davis. === S.M.
|