e-dva - eni-depth Velocity Analysis



Похожие документы
Ottimizzazione Multi Obiettivo

Corso di Matematica per la Chimica

(a cura di Francesca Godioli)

Iniziamo con un esercizio sul massimo comun divisore: Esercizio 1. Sia d = G.C.D.(a, b), allora:

PowerSchedo. Un sistema di supporto alla decisione nel settore dell'oil&gas. For further information:

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.

Esponenziali elogaritmi

2. Leggi finanziarie di capitalizzazione

( x) ( x) 0. Equazioni irrazionali

Progettaz. e sviluppo Data Base

Intelligenza Artificiale

Creare una Rete Locale Lezione n. 1

Stefania Marrara - Esercitazioni di Tecnologie dei Sistemi Informativi. Integrazione di dati di sorgenti diverse

Introduzione alla Virtualizzazione

1. PRIME PROPRIETÀ 2

Le funzioni continue. A. Pisani Liceo Classico Dante Alighieri A.S A. Pisani, appunti di Matematica 1

Sistema operativo. Sommario. Sistema operativo...1 Browser...1. Convenzioni adottate

Ogni azienda ha la necessità di conoscere il proprio sistema dei costi sia per controllare la situazione esistente che per verificare il

Esempi di algoritmi. Lezione III

Lezioni di Matematica 1 - I modulo

Pro e contro delle RNA

Automazione Industriale (scheduling+mms) scheduling+mms.

VMware. Gestione dello shutdown con UPS MetaSystem

I Modelli della Ricerca Operativa

Appunti sulla Macchina di Turing. Macchina di Turing

Modelli di Programmazione Lineare e Programmazione Lineare Intera

Simulazioni accoppiate 1D-3D per scenari d incendio

Esercizi di Ricerca Operativa II

della funzione obiettivo. Questo punto dovrebbe risultare chiaro se consideriamo una generica funzione:

Siamo così arrivati all aritmetica modulare, ma anche a individuare alcuni aspetti di come funziona l aritmetica del calcolatore come vedremo.

La pista del mio studio Riflettiamo sulla pista. Guida per l insegnante

Insegnare le abilità sociali con la carta a T. ins. Fabrizia Monfrino

fit-up), cioè ai problemi che si verificano all atto dell assemblaggio quando non si riescono a montare i diversi componenti del prodotto o quando il

Capitolo 2 - Teoria della manutenzione: classificazione ABC e analisi di Pareto

LA SOLUZIONE APPLICATIVA PER UN EFFICIENTE SALES MANAGEMENT

INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI INTRODUZIONE AGLI ALGORITMI

CALCOLO COMBINATORIO

SISTEMI DI NUMERAZIONE E CODICI

~ Copyright Ripetizionando - All rights reserved ~ STUDIO DI FUNZIONE

Ing. Simone Giovannetti

ELABORAZIONE DI DATI TRIDIMENSIONALI - RELAZIONE HOMEWORK 2

Capitolo 25: Lo scambio nel mercato delle assicurazioni

6.5. Risultati simulazioni sistema rifiuti e riscaldamento

FONDAMENTI DI INTELLIGENZA ARTIFICIALE 1 parte (6 CFU) 12 Luglio 2012 Tempo a disposizione: 2 h Risultato: 32/32 punti

Sommario. Introduzione 1

Capitolo 25: Lo scambio nel mercato delle assicurazioni

Calcolo del Valore Attuale Netto (VAN)

10. Insiemi non misurabili secondo Lebesgue.

Note di rilascio. Aggiornamento disponibile tramite Live Update a partire dal. Il supporto per Windows XP e Office 2003 è terminato

ALLEGATO 14 PROBLEMATICHE APPLICATIVE PASSERELLA ESPORTAZIONE DATI E CAPRES

Documento di accompagnamento: mediane dei settori bibliometrici

MODIFICHE AL REGOLAMENTO N /98 IN MATERIA DI MERCATI

Application note. CalBatt NomoStor per i sistemi di accumulo di energia

GUIDA AL CALCOLO DEI COSTI DELLE ATTIVITA DI RICERCA DOCUMENTALE

COMUNE DI RAVENNA GUIDA ALLA VALUTAZIONE DELLE POSIZIONI (FAMIGLIE, FATTORI, LIVELLI)

Il Metodo Branch and Bound

Le strategie di promozione della lettura messe in atto dalla. biblioteca comunale di Soriano nel Cimino risultano abbastanza

MATEMATICA DEL DISCRETO elementi di teoria dei grafi. anno acc. 2009/2010

risulta (x) = 1 se x < 0.

Sicurezza Aziendale: gestione del rischio IT (Penetration Test )

Dimensione di uno Spazio vettoriale

Sequenziamento a minimo costo di commutazione in macchine o celle con costo lineare e posizione home (In generale il metodo di ottimizzazione

Sistemi Operativi mod. B. Sistemi Operativi mod. B A B C A B C P P P P P P < P 1, >

1 Giochi a due, con informazione perfetta e somma zero

SCELTA DELL APPROCCIO. A corredo delle linee guida per l autovalutazione e il miglioramento

Mon Ami 3000 Centri di costo Contabilità analitica per centri di costo/ricavo e sub-attività

Anno Rapporto ambientale

Ottimizazione vincolata

SISTEMA di GESTIONE QUALITÀ Non Conformità ed Efficacia delle Azioni Correttive Preventive

Corso di. Dott.ssa Donatella Cocca

Funzioni in C. Violetta Lonati

Per una scuola hands on : esperienze

GESTIONE DELLE TECNOLOGIE AMBIENTALI PER SCARICHI INDUSTRIALI ED EMISSIONI NOCIVE LEZIONE 10. Angelo Bonomi

EasyPLAST. Siamo riusciti a trasferire in EasyPLAST tutte le informazioni e le procedure che prima erano gestite con fogli excel

Analisi sensitività. Strumenti per il supporto alle decisioni nel processo di Valutazione d azienda

Spazio Commerciale. Le tue vendite, il nostro successo. Manuale Operativo. Guida inserimento articoli tramite Area di amministrazione.

Problema del trasporto

Matematica generale CTF

ESEMPIO 1: eseguire il complemento a 10 di 765

Epoca k Rata Rk Capitale Ck interessi Ik residuo Dk Ek 0 S 0 1 C1 Ik=i*S Dk=S-C1. n 0 S

Software per Helpdesk

Introduzione alla Progettazione per Componenti

Architetture Applicative

APPUNTI DI MATEMATICA LE FRAZIONI ALGEBRICHE ALESSANDRO BOCCONI

I motori di ricerca. Che cosa sono. Stefania Marrara Corso di Sistemi Informativi

Algoritmi e strutture dati. Codici di Huffman

Teoria dei Giochi. Anna Torre

NAVIGAORA HOTSPOT. Manuale utente per la configurazione

IDENTIFICAZIONE dei MODELLI e ANALISI dei DATI. Lezione 40: Filtro di Kalman - introduzione. Struttura ricorsiva della soluzione.

Regimi IVA Speciali MULTI. Gestione Beni Usati

Manuale Utente. Gestione Richieste supporto Data Warehouse. Della Ragioneria Generale dello Stato. Versione 1.0. Roma, Ottobre 2015

Statistica. Lezione 6

Consideriamo due polinomi

Транскрипт:

Lo scopo dell Analisi di Velocità di Migrazione (MVA) è quello di ottenere un modello della velocità nel sottosuolo che abbia dei tempi di riflessione compatibili con quelli osservati nei dati. Ciò significa che i tempi di riflessione calcolati dal modello mediante un algoritmo di ray tracing devono avere il più piccolo scarto possibile rispetto ai corrispondenti tempi di riflessione osservati. Di conseguenza la velocità può essere stimata risolvendo un problema di ottimizzazione che aggiorna la velocità in modo da minimizzare lo scarto tra i tempi di riflessione. In pratica misurare i tempi di arrivo delle riflessioni registrate nei dati sismici è tutt altro che facile e quindi si segue un approccio equivalente ma più efficace. I dati vengono separati in più sottoinsiemi ciascuno dei quali viene migrato separatamente dagli altri. Se il modello di velocità è corretto non si osservano differenze (dette anche moveout residuale) tra le immagini ottenute. Altrimenti la presenza di moveout residuale indica che la velocità corrente va aggiornata, e questo aggiornamento viene ottenuto risolvendo un problema di ottimizzazione in cui la funzione di costo è proprio la differenza tra le immagini migrate. 2

In entrambi i casi il problema di ottimizzazione ha una formulazione matematica molto particolare chiamata tomografia. Le dimensioni tipiche delle acquisizioni sismiche comportano che le dimensioni dei corrispondenti problemi tomografici siano enormi. La natura iterativa del processo di analisi di velocità impone che questi problemi debbano essere risolti velocemente. Per ciascuna iterazione l ottimizzazione richiede di lavorare con matrici di dimensioni nell ordine dei TeraByte. In e-dva questa esigenza è stata gestita implementando un software di ottimizzazione parallelo e scalabile che possa sfruttare efficacemente la potenza di calcolo fornita dai Cluster Linux. La scalabilità è il punto chiave per poter trattare problemi di dimensione sempre crescente senza compromettere i tempi di esecuzione: all aumentare della dimensione dei problemi si tratta di aumentare corrispondentemente il numero di nodi utilizzati per il calcolo. Un altro componente di e-dva che sfrutta la disponibilità di potenza di calcolo è la stima automatica del moveout residuale. Si tratta di una operazione onerosa che di conseguenza è stata a sua volta implementata con un software parallelo. 3

Come citato nell introduzione il problema della stima della velocità sismica non ammette un unica soluzione. Il motivo è che nell applicazione della tomografia ai dati sismici ci sono normalmente più gradi di libertà che gradi di vincolo, o detto diversamente, si possono trovare più modelli di velocità differenti che simulano con accuratezza comparabile i tempi di riflessione osservati. La teoria dell ottimizzazione fornisce degli strumenti matematici per cercare di introdurre gradi di vincolo aggiuntivi. Allo scopo di guidare la stima di velocità fatta da e-dva si è deciso di implementare dei vincoli che tengano conto della natura specifica del problema che si vuole risolvere. Uno di questi vincoli forza e-dva a cercare dei modelli di velocità la cui struttura 3D sia conforme a quella delle strutture geologiche osservate nell area di interesse, basandosi sull assunzione che comunque la velocità è una proprietà specifica delle formazioni rocciose. Ad esempio nella figura 1 è mostrato un esempio di un modello velocità che si conforma alle strutture geologiche. È importante tener presente che questo tipo di vincolo (scelto a priori) deve essere condizionato ad una validazione geologica. Ci possono essere situazioni in cui la variazione della velocità si disaccoppia dalle strutture, ad esempio in presenza di fluidi in condizioni di sovrapressione (ovvero la cui pressione è maggiore della pressione idrostatica). 4

Un altro aspetto da considerare è il comportamento anisotropico della velocità sismica, che ha ovviamente impatto sia sulla Migrazione che sull Analisi di Velocità. Quest ultima in particolare deve fornire oltre alla velocità anche una stima del grado di intensità dell anisotropia. Questo significa aggiungere ulteriori gradi di libertà a parità di gradi di vincolo, incrementando di conseguenza il numero dei possibili modelli di velocità e anisotropia tra loro equivalenti rispetto alla tomografia. La figura 2 illustra gli effetti dell anisotropia sull imaging. L immagine è presa di un progetto nell offshore dellafrica Occidentale dove l obiettivo era di ottenere la migliore immagine sismica possibile per valutare il potenziale dell area. Il progetto e-dva è stato quindi condotto introducendo anche l anisotropia. Per aggiungere gradi di vincolo al problema in questo caso si sono utilizzate delle informazioni provenienti dai pozzi già disponibili nella zona e la figura 2 mostra i miglioramenti ottenuti rispetto all approccio (più semplice e veloce) che trascura la presenza di anisotropia. 5

Figura 1. Ci sono scenari geologici in cui la velocità (qui rappresentata dai colori di sfondo) si conforma molto bene alle strutture geologiche 6

Figura 2: Immagine ottenuta senza tener conto dell anisotropia (sinistra) e con anisotropia (destra): si noti il significativo miglioramento dell imaging delle faglie ottenuto considerando l anisotropia. 7