Lossy checkpoint compression in full waveform inversion: a case study with ZFPv0.5.5 and the overthrust model
نویسندگان
چکیده
Abstract. This paper proposes a new method that combines checkpointing methods with error-controlled lossy compression for large-scale high-performance full-waveform inversion (FWI), an inverse problem commonly used in geophysical exploration. combination can significantly reduce data movement, allowing reduction run time as well peak memory. In the exascale computing era, frequent transfer (e.g., memory bandwidth, PCIe bandwidth GPUs, or network) is performance bottleneck rather than FLOPS of processing unit. Like many other adjoint-based optimization problems, FWI costly terms number floating-point operations, large footprint during backpropagation, and overheads. Past work adjoint has developed requirements backpropagation at cost additional computations. Combining this traditional compression, we explore three-way tradeoff between memory, precision, to solution. We investigate how approximation errors introduced by forward solution impact objective function gradient final inverted Empirical results from these numerical experiments indicate high lossy-compression rates (compression factors ranging up 100) have relatively minor on convergence quality
منابع مشابه
Discretized Adjoint State Time and Frequency Domain Full Waveform Inversion: A Comparative Study
This study derives the discretized adjoint states full waveform inversion (FWI) in both time and frequency domains based on the Lagrange multiplier method. To achieve this, we applied adjoint state inversion on the discretized wave equation in both time domain and frequency domain. Besides, in this article, we introduce reliability tests to show that the inversion is performing as it should be ...
متن کاملa study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
a case study of the two translators of the holy quran: tahereh saffarzadeh and laleh bakhtiar
بطورکلی، کتاب های مقدسی همچون قران کریم را خوانندگان میتوان مطابق با پیش زمینه های مختلفی که درند درک کنند. محقق تلاش کرده نقش پیش زمینه اجتماعی-فرهنگی را روی ایدئولوژی های مترجمین زن و در نتیجه تاثیراتش را روی خواندن و ترجمه آیات قرآن کریم بررسی کند و ببیند که آیا تفاوت های واژگانی عمده ای میان این مترجمین وجود دارد یا نه. به این منظور، ترجمه 24 آیه از آیات قرآن کریم مورد بررسی مقایسه ای قرار ...
15 صفحه اولFull waveform inversion with image-guided gradient
The objective of seismic full waveform inversion (FWI) is to estimate a model of the subsurface that minimizes the difference between recorded seismic data and synthetic data simulated for that model. Although FWI can yield accurate and high-resolution models, multiple problems have prevented widespread application of this technique in practice. First, FWI is computationally intensive, in part ...
متن کاملFull Waveform Inversion with Total Variation Regularization
Waveform inverse problems are mathematically ill-posed and, therefore, regularization methods are required to obtain stable and unique solutions. The Total Variation (TV) regularization method is used to resolve sharp interfaces obtaining solutions where edges and discontinuities are preserved. TV regularization accomplishes these goals by imposing sparsity on the gradient of the model paramete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geoscientific Model Development
سال: 2022
ISSN: ['1991-9603', '1991-959X']
DOI: https://doi.org/10.5194/gmd-15-3815-2022