Seismic Tomography Algorithm (Hole’s Code) Omar Ochoa.

Slides:



Advertisements
Similar presentations
Copyright © 2008 SAS Institute Inc. All rights reserved. SAS and all other SAS Institute Inc. product or service names are registered trademarks or trademarks.
Advertisements

Programming Assignment 2 CS 302 Data Structures Dr. George Bebis.
Seismic Stratigraphy EPS 444
An Open-Source, Object-Oriented General Cartographic Transformation Program (GCTP) Michael S. Williams, Michael P. Finn*, and Robert A. Buehler** United.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
Events and Interrupts. Overview  What is an Event?  Examples of Events  Polling  Interrupts  Sample Timer Interrupt example.
Chapter 2- Visual Basic Schneider
Advanced Seismic Imaging GG 6770 Variance Analysis of Seismic Refraction Tomography Data By Travis Crosby.
Introduction to Computer Programming CSC 1401: Introduction to Programming with Java Lecture 2 Wanda M. Kunkle.
Bellevue University CIS 205: Introduction to Programming Using C++ Lecture 1: Getting Started by George Lamperti & BU Faculty.
Geography 465 Overview Geoprocessing in ArcGIS. MODELING Geoprocessing as modeling.
Converting an NFA into an FSA Proving LNFA is a subset of LFSA.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
IT Applications Theory Slideshows By Mark Kelly vceit.com Database Design Tools Version 2.
Adapted from slides by Marie desJardins
Surface wave tomography: part3: waveform inversion, adjoint tomography
KWIC Project – Part 1 Mini-Project to Evaluate Architectural Patterns(Styles) Carl Chesser Ji Li EECS 761.
Categories of Testing.
RUP Implementation and Testing
Travel-time Tomography For High Contrast Media based on Sparse Data Yenting Lin Signal and Image Processing Institute Department of Electrical Engineering.
3D SLAM for Omni-directional Camera
Flow Fields Hao Li and Howard Hamilton. Motivation for Flow Fields Multiple AI algorithms in a computer game can produce conflicting results. The AI must.
An Introduction to Programming and Algorithms. Course Objectives A basic understanding of engineering problem solving process. A basic understanding of.
Market Research Lesson 6. Objectives Outline the five major steps in the market research process Describe how surveys can be used to learn about customer.
AMA INTERNATIONAL UNIVERSITY BHARAIN SOFTWARE ENGINEERING PROJECT - SBI 302 SOFTWARE ENGINEERING PROJECT - SBI 302A SOFTWARE ENGINEERING PROJECT - SBI.
10 The traditional approach to design Hisham Alkhawar.
Introduction to Computers (L02) * Hardware * Software * Programming Languages * Three Phase of Program Development * Development and Design Steps * Algorithms.
ARTTREEKS A KINEMATIC SYNTHESIS SOLVER FOR TREE TOPOLOGIES. PRESENTED BY ALI TAMIMI.
Vector Addition – Computational Method Example 1 Slide 3.
Procedures for managing workflow components Workflow components: A workflow can usually be described using formal or informal flow diagramming techniques,
C++ Programming Language Lecture 2 Problem Analysis and Solution Representation By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department.
Problem Solving using the Science of Computing MSE 2400 EaLiCaRA Spring 2015 Dr. Tom Way.
Research Design for Collaborative Computational Approaches and Scientific Workflows Deana Pennington January 8, 2007.
Boundary Assertion in Behavior-Based Robotics Stephen Cohorn - Dept. of Math, Physics & Engineering, Tarleton State University Mentor: Dr. Mircea Agapie.
Software to Go with the Flow. Software Engineering Step #1 Analyze the problem. Step #1 Analyze the problem. Step #2 Design the architecture of a solution.
The basics of the programming process The development of programming languages to improve software development Programming languages that the average user.
Silberschatz, Galvin and Gagne  2002 Modified for CSCI 399, Royden, Operating System Concepts Operating Systems Lecture 18 Midterm Review.
Ecological Genomics GWAS point of view. Long term Goals Data conversation between different popular software in the field Develop scripts to qualitatively.
Lab 5 CPIT 250 System Analysis and Design.
On Optimization Techniques for the One-Dimensional Seismic Problem M. Argaez¹ J. Gomez¹ J. Islas¹ V. Kreinovich³ C. Quintero ¹ L. Salayandia³ M.C. Villamarin¹.
COP1220/CGS2423 Introduction to C++/ C for Engineers Professor: Dr. Miguel Alonso Jr. Fall 2008.
Procedure to Compare Numerical Simulation of Geophysical Flow with Field Data Laércio M. Namikawa Geo559 - Spring2004.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
AUTOMATON A Fuzzy Logic Automatic Picker Paul Gettings 1 UTAM 2003 Annual Meeting 1 Thermal Geophysics Research Group, University of Utah.
A Blind Test of Traveltime and Waveform Inversion Colin A. Zelt 1, R. Gerhard Pratt 2, Andrew Brenders 2, Sara Hanson-Hedgecock 1 and John A. Hole 3 1.
Software Analysis 1 PROCESS MODELING: Data Flow Diagrams (DFDs)
Lecture #1: Introduction to Algorithms and Problem Solving Dr. Hmood Al-Dossari King Saud University Department of Computer Science 6 February 2012.
PROGRAMMING FUNDAMENTALS INTRODUCTION TO PROGRAMMING. Computer Programming Concepts. Flowchart. Structured Programming Design. Implementation Documentation.
Chapter 2- Visual Basic Schneider1 Chapter 2 Problem Solving.
 Software reliability is the probability that software will work properly in a specified environment and for a given amount of time. Using the following.
Software Engineering Algorithms, Compilers, & Lifecycle.
Systems Analysis & Programming 10.1 Systems Development 10.2 Programming: A Five-Step Procedure Generations of Programming Languages 10.4 Programming.
Elaboration: Iteration 3. Elaboration: Iteration 3 Basics Inception and iteration-1 explored many basic OOA/D modeling basics. Iteration-2 narrowly emphasized.
Status of QLASA Tool Adapter
Computer Programming.
IT Applications Theory Slideshows
Chapter 2- Visual Basic Schneider
On Optimization Techniques for the One-Dimensional Seismic Problem
FluidEarth 2 Launch Meeting Linking Area Type Time Stepping Models (An Overview) HR Wallingford, 18th April 2013 Dr David M Kelly
Quality Management Perfectqaservices.
Part 3 Design What does design mean in different fields?
Hierarchical Architecture
CPSC 1301 Columbus State University
Program Control using Java - Theory
(Course Introduction)
Software Design CMSC 345, Version 1/11.
Chapter 2- Visual Basic Schneider
Introduction To software engineering
Chapter 1 Introduction(1.1)
Scientific Workflows Lecture 15
Presentation transcript:

Seismic Tomography Algorithm (Hole’s Code) Omar Ochoa

Outline Background Data Flow Diagram Research questions Status Conclusion

Background 3-Dimensional seismic travel time tomography for determining three-dimensional velocity structure from first arrival travel time –A back-projection method It is a non-linear tomographic procedure that minimizes computational time –provides a relatively high-resolution model –can handle structures with large velocity contrasts. Described in: Hole, 1992, Journal of Geophysical Research, v97,

Background Implemented in Fortran and C Wrapped with scripts Executes in a Unix environment Two versions of Hole’s code –Original scripts created by Hole to execute his programs –New scripts developed by Piotr Sroda to increase usability

Data Flow Diagram Each subroutine is a process Input and output data is piped between each process Data Flow Diagram models scripts

DFD There are 6 programs inside Hole’s Code vel1d punc cover tomosm duadd addc

DFD-1 Converts a set of data points to an equally sampled 3d velocity model

DFD-2 Calculates the first arrival travel times for each shot point using the initial velocity model

DFD-3 Calculates the ray from the shot point to the receiver and then determines how the travel time residuals affect each cell using the shot point locations within a 3D time field

DFD-4 Calculates model perturbations at each cell corner, adds the ray perturbations for all adjacent cells and averages it out to smooth it

DFD-5 Coarser smoothing of model perturbation and adds the perturbation to the 3d velocity model

DFD-6 Merge previous 3d velocity model with new velocity model

Research Questions How can we capture Hole’s algorithm as a a workflow? Can we expose Hole’s code as a service for other scientists? Are there any reusable components in this workflow? What properties are of interest to a scientist in this algorithm? How can we provide assurance about the execution of this software service to scientists?

Status Working on executing examples to understand how the algorithm works Visualizing the output Validating the output by meeting with Dr. Miller

Conclusion There is this great piece of software that geologists want to use Requires a lot of computer knowledge to execute –Not geology related