SlideShare a Scribd company logo
1 of 26
Essam Algizawy, Amr Nasr, Ingy Mounir, Khaled Elamrawi, Brightskies Technologies
P. Thierry, Intel Corporation.
Saudi HPC conference
April 3nd , 2019
Boundary Conditions for Seismic Imaging: The Computer and
Geophysical Points of View
Agenda
• Seismic imaging (real) quick introduction
• Boundary condition
• Geophysical point of view
• Computer point of view
• Conclusion.
Seismic acquisition
Depthkm.
Distance km.
Seismic Imaging
3
Previously in “Seismic Imaging @ Brightskies”
3 propagations without IO (random boundaries) is the fastest but Fast local storage as 3D
NAND with compression is competitive, especially compared to large memory solutions.
Kernels
4
Objectives of this boundary conditions analysis
Find the best compromise between Geophysical and Computational standpoints :
• Quality of the attenuation with a minimum number of additional grid points
• Efficiency of the chosen algorithm (% of peak) compared to inner part
Here we consider both
• “physical attenuation” as dispersion in Random velocity boundaries
• “artificial attenuation” as damping in Absorbing boundaries or Perfectly matching layer
We will be using both a homogeneous velocity model and the BP model (Billette et al. 98).
All calculations are done on Intel 2-socket server (Skylake micro-u, 40 cores @ 2.5 GHz). Intel compiler 2019u3.
2D RTM implementation solving the acoustic isotropic 2nd order wave equation by finite differences
(16th in space, 2nd in time)
5
Our 2 models
Homogeneous model:
dx,dy = 12.5 meters dt=0.6ms nx, ny = 5455, 1931 (42 MB)
BP 2004 model:
dx,dy = 12.5 meters dt=0.6ms nx, ny = 5455, 1931 (42 MB)
Stacking Area to push the effect of
the boundaries.
(800 grid points with 100 Receivers)
2500m/s
4700m/s
Homogeneous model to validate the implementations and BP model to face more realistic phenomena
Agenda
• Seismic imaging (real) quick introduction.
• The boundary condition
• Geophysical point of view
• Computer point of view
• Conclusion.
7
What do we call boundary condition
Video 2 with
boundaries
Video 1 without
boundaries
Seismic imaging using RTM is based on wave propagation (cross correlation of a forward
simulated Source wavefield and of a back propagated Seismic data)
Because Computer memory is limited the subsurface model has artificial boundaries
which generate unwanted wave reflection. We (just) need to cancel those artificial
reflections !
8
Absorbing boundary conditions
• Many formulations for Sponges
• Damping energy exponentially
• Not very efficient in suppressing the edge reflection (a lot of tuning required)
• Random boundaries
• Simple but highly depend on the randomization of velocities
• Ideally, no constructive summation of reflected waves
• PML (Perfectly Matching Layer) for Maxwell's equations in electromagnetism
• Boundary layer placed at the edges of model having a particular value of damping coefficient
• Due to the damping, as a wave enters PML, starts to attenuate and decay exponentially
• Wave amplitude will become infinitely small as it reaches back to the grid after reflecting from the boundary
• PML Capable of handling waves with grazing incidence
How far could we reasonably go
- 2 socket server. Skylake micro architecture
- 40 cores. No turbo, No hyper threading
Interesting relation between number of points, cost and attenuation. (going after 20+ points is non sense)
10
Wave attenuations with 20 points ABC - No AGC applied
Those slides are mostly to show that it works without bug
Add Random if you have it => 3 figures
Sponge Random CPML
This movie illustrates the quality of the methods but NOT their respective speeds !
Agenda
• Seismic waves (real) quick introduction.
• The boundary condition
• Geophysical point of view
• Computer point of view
• Conclusion.
Energy damping CPML and BP model
Norm of the wavefield in the inner part as the function of the propagation time steps.
After 16 points in the boundary zone , adding more points does not improve the wave attenuation
Energy damping Comparison (after 6800 time steps)
Sponge Random CPML
Clear advantage for CPML starting very early. Choosing the best Random velocities remains tricky.
Sponges do an average job and would need much more points
BP model
Energy damping comparison (16 boundary points)
Closer view at energy attenuation using 16 boundaries points for the 3 implementations
BP model
Agenda
• Seismic waves (real) quick introduction.
• The boundary condition
• Geophysical point of view
• Computer point of view
• Conclusion.
16
Results
Best configuration for Sponges (20 boundary points)
For/Backward timing include 2nd order boundary propagation
Total migration time includes IO time.
Faster with Sponges as CPML has auxiliary arrays that
negatively affect caches.
Backward + Reverse times
(one more propagation
with random boundaries)
No IO nor boundary overhead
when using Random velocities
17
RTM roofline analysis
Having a roofline here would be interesting !
18
Conclusion
• CPML is the best for geophysical standpoint even if there is a cost to pay
• Careful implementation must be done to avoid killing vectorization
• Over 16 boundary points adds significant computation time (might reach prop time)
• Sponge is probably the easiest but would need a lot of point to be geophysical acceptable
• Large boundaries  reasonable results at negligible computation cost
• >100 boundary points is not far from <8 boundary points CPML
• Random is tricky to tune but is the only one “physical” attenuating the wave compare to the 2
others
• Accuracy of the randomization determine the dispersion
• All remain valid for 3D propagation (acoustic isotropic)
Acknowledgment
We would like to thank Vincent Etienne (Saudi Aramco) for fruitful discussion
Thanks
21
Backup
22
Wave attenuations with 20 points ABC - AGC applied
Those slides are mostly to show that it works without bug
Add Random if you have it => 3 figures
Sponge Random CPML
23
Wave attenuations with 20 points ABC - AGC applied
Those slides are mostly to show that it works without bug
Add Random if you have it => 3 figures
Sponge Random CPML
24
Absorbing boundary conditions(cont.)
• In 1994 Berenger published his work introducing PML ABC for Maxwell's equations in
electromagnetism
• Boundary layer placed at edges of model having a particular damping coefficient
• Due to the damping, as a wave enters PML, starts to attenuate and decay exponentially
• Wave amplitude will become infinitely small as it reaches back to the grid after reflecting
from the boundary
• A lot of work based on this work; (local/global) splitting PML (SPML) , non-split PML
(NSPML), non-split convolutional PML (CPML)
• PML Capable of handling waves with grazing incidence
• In our implementation, we considered the CMPL  complex frequency-shifted stretching
function
25
CPML for acoustic wavefields
• Non-split convolutional field PML (CPML)
• Using the stretched coordinates, we can transform any equation to our stretched
equation which will apply PML
26
Results
Best configuration for Sponges (20 boundary points)
For/Backward timing include 2nd order boundary portion propagation
Total migration time includes IO time.
Sponge shot time can be much better compared CPML
since data allocated for auxiliary variables negatively
affect cachesBackward + Reverse times
(one more propagation
with random boundaries) No IO nor boundary overhead
when using Random velocities

More Related Content

What's hot

Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...
Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...
Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...umairali255
 
Powerpoint slides
Powerpoint slidesPowerpoint slides
Powerpoint slidesranjithkumarbs
 
Wireless sensor networks simulation
Wireless sensor networks simulationWireless sensor networks simulation
Wireless sensor networks simulationMoiz Ahmed
 
FYP Presentation
FYP PresentationFYP Presentation
FYP PresentationXuechen Liu
 
Exploiting Indices of Silent Antennas to Increase the Spectral Efficie...
Exploiting  Indices  of  Silent  Antennas  to Increase  the Spectral  Efficie...Exploiting  Indices  of  Silent  Antennas  to Increase  the Spectral  Efficie...
Exploiting Indices of Silent Antennas to Increase the Spectral Efficie...Dr. Nafel Alotaibi
 
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKS
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKSMODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKS
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKSShakas Technologies
 
Searches for Lorentz Invariance Violation with Gamma-Ray Observatories
Searches for Lorentz Invariance Violation with Gamma-Ray ObservatoriesSearches for Lorentz Invariance Violation with Gamma-Ray Observatories
Searches for Lorentz Invariance Violation with Gamma-Ray ObservatoriesVlasios Vasileiou
 
Deep Learning Tomography
Deep Learning TomographyDeep Learning Tomography
Deep Learning TomographyAmir Adler
 

What's hot (9)

Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...
Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...
Novel Terrain Integrated Navigation System using Neural Network aided Kalman ...
 
Powerpoint slides
Powerpoint slidesPowerpoint slides
Powerpoint slides
 
Wireless sensor networks simulation
Wireless sensor networks simulationWireless sensor networks simulation
Wireless sensor networks simulation
 
FYP Presentation
FYP PresentationFYP Presentation
FYP Presentation
 
Exploiting Indices of Silent Antennas to Increase the Spectral Efficie...
Exploiting  Indices  of  Silent  Antennas  to Increase  the Spectral  Efficie...Exploiting  Indices  of  Silent  Antennas  to Increase  the Spectral  Efficie...
Exploiting Indices of Silent Antennas to Increase the Spectral Efficie...
 
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKS
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKSMODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKS
MODEL-BASED EDGE DETECTOR FOR SPECTRAL IMAGERY USING SPARSE SPATIOSPECTRAL MASKS
 
Searches for Lorentz Invariance Violation with Gamma-Ray Observatories
Searches for Lorentz Invariance Violation with Gamma-Ray ObservatoriesSearches for Lorentz Invariance Violation with Gamma-Ray Observatories
Searches for Lorentz Invariance Violation with Gamma-Ray Observatories
 
Deep Learning Tomography
Deep Learning TomographyDeep Learning Tomography
Deep Learning Tomography
 
Warrp sesimic_ aghazde
Warrp sesimic_ aghazdeWarrp sesimic_ aghazde
Warrp sesimic_ aghazde
 

Similar to Boundary Conditions for Seismic Imaging: Computational and Geophysical Points of View

Senior design final presentation master
Senior design final presentation masterSenior design final presentation master
Senior design final presentation mastercladd7294
 
Vlsi interview questions1
Vlsi  interview questions1Vlsi  interview questions1
Vlsi interview questions1SUKESH Prathap
 
ALEA:Fine-grain Energy Profiling with Basic Block sampling
ALEA:Fine-grain Energy Profiling with Basic Block samplingALEA:Fine-grain Energy Profiling with Basic Block sampling
ALEA:Fine-grain Energy Profiling with Basic Block samplingLev Mukhanov
 
SPACE DEBRIS PALAT PARLAM no authors
SPACE DEBRIS PALAT PARLAM no authorsSPACE DEBRIS PALAT PARLAM no authors
SPACE DEBRIS PALAT PARLAM no authorsMARIUS EUGEN OPRAN
 
zhaowei_LIU_acme_2016
zhaowei_LIU_acme_2016zhaowei_LIU_acme_2016
zhaowei_LIU_acme_2016Zhaowei Liu
 
Quantum Computing and Qiskit
Quantum Computing and QiskitQuantum Computing and Qiskit
Quantum Computing and QiskitPooja Mistry
 
Sliding motion and adhesion control through magnetic domamins
Sliding motion and adhesion control through magnetic domaminsSliding motion and adhesion control through magnetic domamins
Sliding motion and adhesion control through magnetic domaminsAndrea Benassi
 
Pcb carolina scg_2010
Pcb carolina scg_2010Pcb carolina scg_2010
Pcb carolina scg_2010tcoyle72
 
Pcb carolina scg_2010
Pcb carolina scg_2010Pcb carolina scg_2010
Pcb carolina scg_2010tcoyle72
 
5.1. lithography 1,2.final 2013
5.1. lithography 1,2.final 20135.1. lithography 1,2.final 2013
5.1. lithography 1,2.final 2013Bhargav Veepuri
 
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...Achintya Kumar
 
crosstalk minimisation using vlsi
crosstalk minimisation using vlsicrosstalk minimisation using vlsi
crosstalk minimisation using vlsisubhradeep mitra
 
Computational Fluid Dynamics (CFD)
Computational Fluid Dynamics (CFD)Computational Fluid Dynamics (CFD)
Computational Fluid Dynamics (CFD)Taani Saxena
 
Turbulence numerical modelling
Turbulence numerical modellingTurbulence numerical modelling
Turbulence numerical modellingRobertoSorba
 
Lect2 up130 (100325)
Lect2 up130 (100325)Lect2 up130 (100325)
Lect2 up130 (100325)aicdesign
 
Introduction to Accelerator & gyroscope
Introduction to Accelerator & gyroscopeIntroduction to Accelerator & gyroscope
Introduction to Accelerator & gyroscopeHafiz safwan
 

Similar to Boundary Conditions for Seismic Imaging: Computational and Geophysical Points of View (20)

Senior design final presentation master
Senior design final presentation masterSenior design final presentation master
Senior design final presentation master
 
Vlsi interview questions1
Vlsi  interview questions1Vlsi  interview questions1
Vlsi interview questions1
 
ALEA:Fine-grain Energy Profiling with Basic Block sampling
ALEA:Fine-grain Energy Profiling with Basic Block samplingALEA:Fine-grain Energy Profiling with Basic Block sampling
ALEA:Fine-grain Energy Profiling with Basic Block sampling
 
EPD_R&D_Proposal
EPD_R&D_ProposalEPD_R&D_Proposal
EPD_R&D_Proposal
 
SPACE DEBRIS PALAT PARLAM no authors
SPACE DEBRIS PALAT PARLAM no authorsSPACE DEBRIS PALAT PARLAM no authors
SPACE DEBRIS PALAT PARLAM no authors
 
zhaowei_LIU_acme_2016
zhaowei_LIU_acme_2016zhaowei_LIU_acme_2016
zhaowei_LIU_acme_2016
 
Memristor overview
Memristor overviewMemristor overview
Memristor overview
 
Quantum Computing and Qiskit
Quantum Computing and QiskitQuantum Computing and Qiskit
Quantum Computing and Qiskit
 
Sliding motion and adhesion control through magnetic domamins
Sliding motion and adhesion control through magnetic domaminsSliding motion and adhesion control through magnetic domamins
Sliding motion and adhesion control through magnetic domamins
 
Pcb carolina scg_2010
Pcb carolina scg_2010Pcb carolina scg_2010
Pcb carolina scg_2010
 
Pcb carolina scg_2010
Pcb carolina scg_2010Pcb carolina scg_2010
Pcb carolina scg_2010
 
5.1. lithography 1,2.final 2013
5.1. lithography 1,2.final 20135.1. lithography 1,2.final 2013
5.1. lithography 1,2.final 2013
 
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...
Performance Analysis of Encoder in Different Logic Techniques for High-Speed ...
 
crosstalk minimisation using vlsi
crosstalk minimisation using vlsicrosstalk minimisation using vlsi
crosstalk minimisation using vlsi
 
Computational Fluid Dynamics (CFD)
Computational Fluid Dynamics (CFD)Computational Fluid Dynamics (CFD)
Computational Fluid Dynamics (CFD)
 
Turbulence numerical modelling
Turbulence numerical modellingTurbulence numerical modelling
Turbulence numerical modelling
 
Lect2 up130 (100325)
Lect2 up130 (100325)Lect2 up130 (100325)
Lect2 up130 (100325)
 
CMOS Layout
CMOS LayoutCMOS Layout
CMOS Layout
 
Introduction to Accelerator & gyroscope
Introduction to Accelerator & gyroscopeIntroduction to Accelerator & gyroscope
Introduction to Accelerator & gyroscope
 
bucu2_5
bucu2_5bucu2_5
bucu2_5
 

Recently uploaded

Electromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptxElectromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptxNANDHAKUMARA10
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Call Girls Mumbai
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Arindam Chakraborty, Ph.D., P.E. (CA, TX)
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXssuser89054b
 
Introduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaIntroduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaOmar Fathy
 
Max. shear stress theory-Maximum Shear Stress Theory ​ Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory ​  Maximum Distortional ...Max. shear stress theory-Maximum Shear Stress Theory ​  Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory ​ Maximum Distortional ...ronahami
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdfKamal Acharya
 
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesLinux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesRashidFaridChishti
 
UNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxUNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxkalpana413121
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.Kamal Acharya
 
AIRCANVAS[1].pdf mini project for btech students
AIRCANVAS[1].pdf mini project for btech studentsAIRCANVAS[1].pdf mini project for btech students
AIRCANVAS[1].pdf mini project for btech studentsvanyagupta248
 
School management system project Report.pdf
School management system project Report.pdfSchool management system project Report.pdf
School management system project Report.pdfKamal Acharya
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayEpec Engineered Technologies
 
COST-EFFETIVE and Energy Efficient BUILDINGS ptx
COST-EFFETIVE  and Energy Efficient BUILDINGS ptxCOST-EFFETIVE  and Energy Efficient BUILDINGS ptx
COST-EFFETIVE and Energy Efficient BUILDINGS ptxJIT KUMAR GUPTA
 
Computer Graphics Introduction To Curves
Computer Graphics Introduction To CurvesComputer Graphics Introduction To Curves
Computer Graphics Introduction To CurvesChandrakantDivate1
 
Thermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VThermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VDineshKumar4165
 
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...jabtakhaidam7
 

Recently uploaded (20)

Electromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptxElectromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptx
 
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
Bhubaneswar🌹Call Girls Bhubaneswar ❤Komal 9777949614 💟 Full Trusted CALL GIRL...
 
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
Navigating Complexity: The Role of Trusted Partners and VIAS3D in Dassault Sy...
 
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
Call Girls in South Ex (delhi) call me [🔝9953056974🔝] escort service 24X7
 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
 
Introduction to Serverless with AWS Lambda
Introduction to Serverless with AWS LambdaIntroduction to Serverless with AWS Lambda
Introduction to Serverless with AWS Lambda
 
Max. shear stress theory-Maximum Shear Stress Theory ​ Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory ​  Maximum Distortional ...Max. shear stress theory-Maximum Shear Stress Theory ​  Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory ​ Maximum Distortional ...
 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdf
 
Signal Processing and Linear System Analysis
Signal Processing and Linear System AnalysisSignal Processing and Linear System Analysis
Signal Processing and Linear System Analysis
 
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesLinux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
 
UNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptxUNIT 4 PTRP final Convergence in probability.pptx
UNIT 4 PTRP final Convergence in probability.pptx
 
Employee leave management system project.
Employee leave management system project.Employee leave management system project.
Employee leave management system project.
 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
 
AIRCANVAS[1].pdf mini project for btech students
AIRCANVAS[1].pdf mini project for btech studentsAIRCANVAS[1].pdf mini project for btech students
AIRCANVAS[1].pdf mini project for btech students
 
School management system project Report.pdf
School management system project Report.pdfSchool management system project Report.pdf
School management system project Report.pdf
 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
 
COST-EFFETIVE and Energy Efficient BUILDINGS ptx
COST-EFFETIVE  and Energy Efficient BUILDINGS ptxCOST-EFFETIVE  and Energy Efficient BUILDINGS ptx
COST-EFFETIVE and Energy Efficient BUILDINGS ptx
 
Computer Graphics Introduction To Curves
Computer Graphics Introduction To CurvesComputer Graphics Introduction To Curves
Computer Graphics Introduction To Curves
 
Thermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - VThermal Engineering-R & A / C - unit - V
Thermal Engineering-R & A / C - unit - V
 
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...
Jaipur ❤CALL GIRL 0000000000❤CALL GIRLS IN Jaipur ESCORT SERVICE❤CALL GIRL IN...
 

Boundary Conditions for Seismic Imaging: Computational and Geophysical Points of View

  • 1. Essam Algizawy, Amr Nasr, Ingy Mounir, Khaled Elamrawi, Brightskies Technologies P. Thierry, Intel Corporation. Saudi HPC conference April 3nd , 2019 Boundary Conditions for Seismic Imaging: The Computer and Geophysical Points of View
  • 2. Agenda • Seismic imaging (real) quick introduction • Boundary condition • Geophysical point of view • Computer point of view • Conclusion. Seismic acquisition Depthkm. Distance km. Seismic Imaging
  • 3. 3 Previously in “Seismic Imaging @ Brightskies” 3 propagations without IO (random boundaries) is the fastest but Fast local storage as 3D NAND with compression is competitive, especially compared to large memory solutions. Kernels
  • 4. 4 Objectives of this boundary conditions analysis Find the best compromise between Geophysical and Computational standpoints : • Quality of the attenuation with a minimum number of additional grid points • Efficiency of the chosen algorithm (% of peak) compared to inner part Here we consider both • “physical attenuation” as dispersion in Random velocity boundaries • “artificial attenuation” as damping in Absorbing boundaries or Perfectly matching layer We will be using both a homogeneous velocity model and the BP model (Billette et al. 98). All calculations are done on Intel 2-socket server (Skylake micro-u, 40 cores @ 2.5 GHz). Intel compiler 2019u3. 2D RTM implementation solving the acoustic isotropic 2nd order wave equation by finite differences (16th in space, 2nd in time)
  • 5. 5 Our 2 models Homogeneous model: dx,dy = 12.5 meters dt=0.6ms nx, ny = 5455, 1931 (42 MB) BP 2004 model: dx,dy = 12.5 meters dt=0.6ms nx, ny = 5455, 1931 (42 MB) Stacking Area to push the effect of the boundaries. (800 grid points with 100 Receivers) 2500m/s 4700m/s Homogeneous model to validate the implementations and BP model to face more realistic phenomena
  • 6. Agenda • Seismic imaging (real) quick introduction. • The boundary condition • Geophysical point of view • Computer point of view • Conclusion.
  • 7. 7 What do we call boundary condition Video 2 with boundaries Video 1 without boundaries Seismic imaging using RTM is based on wave propagation (cross correlation of a forward simulated Source wavefield and of a back propagated Seismic data) Because Computer memory is limited the subsurface model has artificial boundaries which generate unwanted wave reflection. We (just) need to cancel those artificial reflections !
  • 8. 8 Absorbing boundary conditions • Many formulations for Sponges • Damping energy exponentially • Not very efficient in suppressing the edge reflection (a lot of tuning required) • Random boundaries • Simple but highly depend on the randomization of velocities • Ideally, no constructive summation of reflected waves • PML (Perfectly Matching Layer) for Maxwell's equations in electromagnetism • Boundary layer placed at the edges of model having a particular value of damping coefficient • Due to the damping, as a wave enters PML, starts to attenuate and decay exponentially • Wave amplitude will become infinitely small as it reaches back to the grid after reflecting from the boundary • PML Capable of handling waves with grazing incidence
  • 9. How far could we reasonably go - 2 socket server. Skylake micro architecture - 40 cores. No turbo, No hyper threading Interesting relation between number of points, cost and attenuation. (going after 20+ points is non sense)
  • 10. 10 Wave attenuations with 20 points ABC - No AGC applied Those slides are mostly to show that it works without bug Add Random if you have it => 3 figures Sponge Random CPML This movie illustrates the quality of the methods but NOT their respective speeds !
  • 11. Agenda • Seismic waves (real) quick introduction. • The boundary condition • Geophysical point of view • Computer point of view • Conclusion.
  • 12. Energy damping CPML and BP model Norm of the wavefield in the inner part as the function of the propagation time steps. After 16 points in the boundary zone , adding more points does not improve the wave attenuation
  • 13. Energy damping Comparison (after 6800 time steps) Sponge Random CPML Clear advantage for CPML starting very early. Choosing the best Random velocities remains tricky. Sponges do an average job and would need much more points BP model
  • 14. Energy damping comparison (16 boundary points) Closer view at energy attenuation using 16 boundaries points for the 3 implementations BP model
  • 15. Agenda • Seismic waves (real) quick introduction. • The boundary condition • Geophysical point of view • Computer point of view • Conclusion.
  • 16. 16 Results Best configuration for Sponges (20 boundary points) For/Backward timing include 2nd order boundary propagation Total migration time includes IO time. Faster with Sponges as CPML has auxiliary arrays that negatively affect caches. Backward + Reverse times (one more propagation with random boundaries) No IO nor boundary overhead when using Random velocities
  • 17. 17 RTM roofline analysis Having a roofline here would be interesting !
  • 18. 18 Conclusion • CPML is the best for geophysical standpoint even if there is a cost to pay • Careful implementation must be done to avoid killing vectorization • Over 16 boundary points adds significant computation time (might reach prop time) • Sponge is probably the easiest but would need a lot of point to be geophysical acceptable • Large boundaries  reasonable results at negligible computation cost • >100 boundary points is not far from <8 boundary points CPML • Random is tricky to tune but is the only one “physical” attenuating the wave compare to the 2 others • Accuracy of the randomization determine the dispersion • All remain valid for 3D propagation (acoustic isotropic)
  • 19. Acknowledgment We would like to thank Vincent Etienne (Saudi Aramco) for fruitful discussion
  • 22. 22 Wave attenuations with 20 points ABC - AGC applied Those slides are mostly to show that it works without bug Add Random if you have it => 3 figures Sponge Random CPML
  • 23. 23 Wave attenuations with 20 points ABC - AGC applied Those slides are mostly to show that it works without bug Add Random if you have it => 3 figures Sponge Random CPML
  • 24. 24 Absorbing boundary conditions(cont.) • In 1994 Berenger published his work introducing PML ABC for Maxwell's equations in electromagnetism • Boundary layer placed at edges of model having a particular damping coefficient • Due to the damping, as a wave enters PML, starts to attenuate and decay exponentially • Wave amplitude will become infinitely small as it reaches back to the grid after reflecting from the boundary • A lot of work based on this work; (local/global) splitting PML (SPML) , non-split PML (NSPML), non-split convolutional PML (CPML) • PML Capable of handling waves with grazing incidence • In our implementation, we considered the CMPL  complex frequency-shifted stretching function
  • 25. 25 CPML for acoustic wavefields • Non-split convolutional field PML (CPML) • Using the stretched coordinates, we can transform any equation to our stretched equation which will apply PML
  • 26. 26 Results Best configuration for Sponges (20 boundary points) For/Backward timing include 2nd order boundary portion propagation Total migration time includes IO time. Sponge shot time can be much better compared CPML since data allocated for auxiliary variables negatively affect cachesBackward + Reverse times (one more propagation with random boundaries) No IO nor boundary overhead when using Random velocities

Editor's Notes

  1. The quick message here is to state what code we have and that we already worked on snapshots, compression, etc .. Essam: I could not understand what do you mean by “There is not reason FOR Forward and back ward to be so HIGH ”? Phil : you change the timing . Previously the Froward or backward were clearly including IO. Now the sum looks okay
  2. This one is to show that we can not use infinite number of points At least in term of computing ! But this was interesting to see if extending the number of point really helps or not Even if this is stupid
  3. Note that when presenting you have to explain why there is a Bump before 8K Note that you may underline it when you show the video I change the horizontal axis label on this one. This is time steps . Not [msec] TO CHANGE ON THE NEXT 2 figs
  4. I added the video to see the attenuation , but I m not sure the video is going up to 20 000 time steps Essam: for 13k timesteps only
  5. At 16 points for the 3 implementation: you may show the elapsed time partition The total Gpts /sec A roofline Or redo this one with also the ratio “inner point / boundary point) And the efficiency for each and the average wave attenuation
  6. At 16 points for the 3 implementation: you may show the elapsed time partition The total Gpts /sec A roofline Or redo this one with also the ratio “inner point / boundary point) And the efficiency for each and the average wave attenuation