...
首页> 外文期刊>ACM transactions on mathematical software >hIPPYlib: An Extensible Software Framework for Large-Scale Inverse Problems Governed by PDEs: Part Ⅰ: Deterministic Inversion and Linearized Bayesian Inference
【24h】

hIPPYlib: An Extensible Software Framework for Large-Scale Inverse Problems Governed by PDEs: Part Ⅰ: Deterministic Inversion and Linearized Bayesian Inference

机译:Hippylib:由PDE管理的大规模逆问题的可扩展软件框架:第Ⅰ部分:确定性反转和线性化贝叶斯推理

获取原文
获取原文并翻译 | 示例
           

摘要

We present an extensible software framework, hIPPYlib, for solution of large-scale deterministic and Bayesian inverse problems governed by partial differential equations (PDEs) with (possibly) infinite-dimensional parameter fields (which are high-dimensional after discretization). hIPPYlib overcomes the prohibitively expensive nature of Bayesian inversion for this class of problems by implementing state-of-the-art scalable algorithms for PDE-based inverse problems that exploit the structure of the underlying operators, notably the Hessian of the log-posterior. The key property of the algorithms implemented in hIPPYlib is that the solution of the inverse problem is computed at a cost, measured in linearized forward PDE solves, that is independent of the parameter dimension. The mean of the posterior is approximated by the MAP point, which is found by minimizing the negative log-posterior with an inexact matrix-free Newton-CG method. The posterior covariance is approximated by the inverse of the Hessian of the negative log posterior evaluated at the MAP point. The construction of the posterior covariance is made tractable by invoking a low-rank approximation of the Hessian of the log-likelihood. Scalable tools for sample generation are also discussed. hIPPYlib makes all of these advanced algorithms easily accessible to domain scientists and provides an environment that expedites the development of new algorithms.
机译:我们提供了一个可扩展的软件框架,河滨,用于解决方程(可能)无限维参数字段(在离散化之后是高维度)来治理的大规模确定性和贝叶斯逆问题的解决方案。河滨通过实施基于PDE的逆问题的最新的可扩展算法来克服这类问题的贝叶斯逆转的昂贵性质,以利用底层操作员的结构,特别是对数逆后的逆向问题。在Hippylib中实现的算法的关键特性是以线性化向前PDE求解的成本计算逆问题的解决方案,其与参数尺寸无关。后验的平均值由地图点近似,通过使负对数牛顿-CG方法最小化的负降低后,通过最小化。后协方差近似于地图点评估的阴性日志后部的Hessian的倒数。通过调用Hessian的日志可能性的低秩近似来制造后协方差的构造。还讨论了用于样品生成的可扩展工具。 Hippylib使所有这些先进的算法都可以轻松访问域科学家,并提供一种加快新算法的开发的环境。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号