Integrated high-resolution tomography

Slides:



Advertisements
Similar presentations
Chapter 6 Matrix Algebra.
Advertisements

Pattern Recognition and Machine Learning
Linear Inverse Problems
4.1 Introduction to Matrices
3D Geometry for Computer Graphics
Integrals over Operators
The General Linear Model Or, What the Hell’s Going on During Estimation?
Systems of Linear Equations (see Appendix A.6, Trucco & Verri) CS485/685 Computer Vision Prof. George Bebis.
Sensitivity kernels for finite-frequency signals: Applications in migration velocity updating and tomography Xiao-Bi Xie University of California at Santa.
Matrices & Systems of Linear Equations
Eigenvalues and Eigenvectors
Some useful linear algebra. Linearly independent vectors span(V): span of vector space V is all linear combinations of vectors v i, i.e.
Curve-Fitting Regression
Math for CSLecture 41 Linear Least Squares Problem Over-determined systems Minimization problem: Least squares norm Normal Equations Singular Value Decomposition.
Real-time Combined 2D+3D Active Appearance Models Jing Xiao, Simon Baker,Iain Matthew, and Takeo Kanade CVPR 2004 Presented by Pat Chan 23/11/2004.
Tracking using the Kalman Filter. Point Tracking Estimate the location of a given point along a sequence of images. (x 0,y 0 ) (x n,y n )
Chapter 2 Matrices Definition of a matrix.
Xi’an Jiaotong University 1 Quality Factor Inversion from Prestack CMP data using EPIF Matching Jing Zhao, Jinghuai Gao Institute of Wave and Information,
Ordinary least squares regression (OLS)
29 Palms Vehicle Detection (what we wanted to do).
Boot Camp in Linear Algebra Joel Barajas Karla L Caballero University of California Silicon Valley Center October 8th, 2008.
1 Statistical Analysis Professor Lynne Stokes Department of Statistical Science Lecture 5QF Introduction to Vector and Matrix Operations Needed for the.
Geology 5640/6640 Introduction to Seismology 18 Feb 2015 © A.R. Lowry 2015 Last time: Spherical Coordinates; Ray Theory Spherical coordinates express vector.
Compiled By Raj G. Tiwari
Advanced Computer Graphics Spring 2014 K. H. Ko School of Mechatronics Gwangju Institute of Science and Technology.
Body Waves and Ray Theory
Chapter 5: The Orthogonality and Least Squares
Chapter 2 – Linear Transformations
Epipolar geometry The fundamental matrix and the tensor
Day 1 Eigenvalues and Eigenvectors
CPSC 491 Xin Liu Nov 17, Introduction Xin Liu PhD student of Dr. Rokne Contact Slides downloadable at pages.cpsc.ucalgary.ca/~liuxin.
Eigenvalues and Eigenvectors
SVD: Singular Value Decomposition
Curve-Fitting Regression
Elementary Linear Algebra Anton & Rorres, 9th Edition
GG 313 Geological Data Analysis Lecture 13 Solution of Simultaneous Equations October 4, 2005.
Solving Linear Systems of Equations
MATH 685/ CSI 700/ OR 682 Lecture Notes Lecture 4. Least squares.
1 MODELING MATTER AT NANOSCALES 4. Introduction to quantum treatments The variational method.
Geology 5670/6670 Inverse Theory 21 Jan 2015 © A.R. Lowry 2015 Read for Fri 23 Jan: Menke Ch 3 (39-68) Last time: Ordinary Least Squares Inversion Ordinary.
Elementary Linear Algebra Anton & Rorres, 9 th Edition Lecture Set – 07 Chapter 7: Eigenvalues, Eigenvectors.
Chapter 28 Cononical Correction Regression Analysis used for Temperature Retrieval.
Class 24: Question 1 Which of the following set of vectors is not an orthogonal set?
Seismological Analysis Methods Receiver FunctionsBody Wave Tomography Surface (Rayleigh) wave tomography Good for: Imaging discontinuities (Moho, sed/rock.
Arab Open University Faculty of Computer Studies M132: Linear Algebra
Status of Reference Network Simulations John Dale ILC-CLIC LET Beam Dynamics Workshop 23 June 2009.
Matrices and Matrix Operations. Matrices An m×n matrix A is a rectangular array of mn real numbers arranged in m horizontal rows and n vertical columns.
2.5 – Determinants and Multiplicative Inverses of Matrices.
Seismology Part X: Interpretation of Seismograms.
Singular Value Decomposition and Numerical Rank. The SVD was established for real square matrices in the 1870’s by Beltrami & Jordan for complex square.
Chapter 61 Chapter 7 Review of Matrix Methods Including: Eigen Vectors, Eigen Values, Principle Components, Singular Value Decomposition.
Geology 5670/6670 Inverse Theory 4 Feb 2015 © A.R. Lowry 2015 Read for Fri 6 Feb: Menke Ch 4 (69-88) Last time: The Generalized Inverse The Generalized.
Reduced echelon form Matrix equations Null space Range Determinant Invertibility Similar matrices Eigenvalues Eigenvectors Diagonabilty Power.
Systems of Linear Equations: An Introduction Unique Solutions Underdetermined and Overdetermined Systems Multiplication of Matrices The Inverse of a Square.
1 SYSTEM OF LINEAR EQUATIONS BASE OF VECTOR SPACE.
Geology 5670/6670 Inverse Theory 6 Feb 2015 © A.R. Lowry 2015 Read for Mon 9 Feb: Menke Ch 5 (89-114) Last time: The Generalized Inverse; Damped LS The.
Fast 3D Least-squares Migration with a Deblurring Filter Wei Dai.
Lecture XXVII. Orthonormal Bases and Projections Suppose that a set of vectors {x 1,…,x r } for a basis for some space S in R m space such that r  m.
CSE 554 Lecture 8: Alignment
Elementary Linear Algebra Anton & Rorres, 9th Edition
Inverse of a Square Matrix
Automatic Picking of First Arrivals
Steepest Descent Optimization
Some useful linear algebra
Singular Value Decomposition SVD
MATH 1310 Session 2.
Maths for Signals and Systems Linear Algebra in Engineering Lectures 13 – 14, Tuesday 8th November 2016 DR TANIA STATHAKI READER (ASSOCIATE PROFFESOR)
Mathematics for Signals and Systems
Unfolding with system identification
Chapter 2 Determinants.
Presentation transcript:

Integrated high-resolution tomography Marco Perez CREWES

Introduction Tomography is a statistical method that determines subsurface velocities from recorded traveltimes An insufficient amount of data often leads to poorly distributed raypaths and non-unique solutions More reliable solutions can be obtained by using the quasi-null space to integrate surface and crosswell data

Tomography Theory surface Divide subsurface into cells and model traveltimes and raypaths through each cell An initial velocity estimate is updated, minimizing the error between the recorded and modelled traveltimes

Tomography The minimization is expressed mathematically as Solving for m requires inverting the matrix D which is done by Singular Value Decomposition Where matrix D represents the distances traveled by a ray through each cell, m is the parameter update value and t is the discrepancy between recorded and modelled traveltimes Here U is an np matrix whose columns contain p of the total n orthonormal observation eigenvectors ui V is a pp matrix whose columns contain the p orthonormal parameter eigenvectors

Tomography The inversion problem is ill-posed because of two main factors: 1) The matrix D is often overdetermined 2) Some cells within D contain no data or lack the required data to determine the model parameter uniquely

Quasi-null space surface an infinite number of solutions to the equation exist since any linear combination including u0 will yield the correct answer Cells with no data will satisfy the minimization equation with any velocity function making such a cell unreliable for inversion The corresponding columns of zero singular values in the V matrix constitute an orthonormal basis of the null space.

Quasi-null space Vesnaver, 1994 The quasi-null space is defined as the sum of squares of the entries in the columns of V whose corresponding singular values are above a predefined threshold Vesnaver proposed a change in cell size to limit the size of the quasi-null space however this reduces the resolution. The quasi-null space highlights the cells that are most reliable for traveltime inversion.

Integrated Tomography Using the quasi-null space to integrate two data sets, a more reliable velocity model can be determined No data Ray coverage is a function of both acquisition geometry and the velocity model No data

Models Model 1 Model 2 Model 3

Model 1 Minimal error for both cases transmission reflection

Model 2 Horizontal layer identified Horizontal layer smeared along ray path transmission reflection

Model 3 Anomaly smeared horizontally Anomaly smeared vertically transmission reflection

Quasi-null space of Model 1 Acquisition imprint visible in the quasi-null space transmitted reflection Threshold 0.1

Integrated Model 1

Quasi-null space of Model 2 transmitted reflection Threshold 0.1

Integrated Model 2 Correctly identifies more reliable inversion

Quasi-null space of Model 3 transmission reflection Threshold 0.1

Integrated Model 3 Combination of both experiments yield superior results

Residual traveltime error Reflection tomography yielded lowest residual error, however the quasi-null space correctly identified the solution as unreliable Model 3 Model 2 Integrated solution yields best residual error and is the most reliable result

Conclusion Quasi-null space integration correctly identifies more reliable solution Integrating two different data sets using the quasi-null space criterion yields more accurate tomograms

Future Work Implementing a dynamic smoother which uses the quasi-null space.

Acknowledgements Crewes Sponsors Dr. Larry Lines, Shauna Oppert, Pat Daley