in silico
Phase 1: In Silico Validation
- Objective
- To determine if the proposed viscoelastic FWI workflow can theoretically resolve 10m-scale anomalies in shear modulus (μ) and attenuation (Qs⁻¹) under realistic noise conditions and starting model errors, and to identify the most critical acquisition parameters.
- Estimated cost
- €0-2k (cloud computing credits if no local HPC)
- Estimated duration
- 4-8 weeks
- Success criteria
- Anomaly Recovery Metric (ARM) · ARM ≥ 0.7 for both Vs and Qs⁻¹ anomalies. ARM = 1 - (||m_true - m_rec|| / ||m_true - m_background||). · (Calculate L2 norm difference within the target anomaly region vs. the background perturbation.)
- Misfit Reduction · Final normalized L2 waveform misfit ≤ 25% of initial misfit for the optimal acquisition scenario. · (Compute misfit on a validation dataset not used in inversion.)
- Azimuthal Pattern Correlation · R² ≥ 0.8 for cos(2θ) fit to recovered Vs in the fabric anomaly column. · (Linear regression of Vs(θ) against cos(2θ) function.)
- Go if
- All three success criteria are met with the “optimal” acquisition geometry (e.g., 5m receivers, 200 Hz max freq). This demonstrates theoretical feasibility.
- No-go if
- ARM < 0.4 for both parameters even under ideal noise-free, perfect-starting-model conditions. The physics of the problem is likely intractable with the proposed method.
- Pivot if
- ARM for Qs⁻¹ is poor (<0.5) but good for Vs (>0.7). Pivot Phase 2 to focus solely on elastic FWI for fabric, dropping the attenuation/fracture hypothesis.
- Risks
- Inverse crime: Using identical physics in forward modeling and inversion leads to unrealistically good results.Probability: mediumMitigation: Use a more complex, 3D anisotropic forward model to generate synthetic data, but use a 2D/2.5D isotropic or VTI approximation for the inversion algorithm.
- Cycle-skipping causes inversion divergence even with a “good” starting model.Probability: highMitigation: Implement a multi-scale frequency inversion strategy (start 10-30 Hz, progress to higher frequencies) and test objective functions more robust to cycle-skips (e.g., travel-time based or Wasserstein metric).
- HPC requirements or software licensing (e.g., for Salvus) exceed budget.Probability: lowMitigation: Use open-source Devito framework on a smaller 2.5D problem first to prove concept, then scale up using academic cloud credits (e.g., AWS Educate, Google Cloud research grants).