e-dva - eni-depth Velocity Analysis

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "e-dva - eni-depth Velocity Analysis"

Transcript

1

2 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

3 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

4 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

5 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

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

7 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

I Modelli della Ricerca Operativa

I Modelli della Ricerca Operativa Capitolo 1 I Modelli della Ricerca Operativa 1.1 L approccio modellistico Il termine modello è di solito usato per indicare una costruzione artificiale realizzata per evidenziare proprietà specifiche di

Dettagli

Procedure di calcolo implicite ed esplicite

Procedure di calcolo implicite ed esplicite Procedure di calcolo implicite ed esplicite Il problema della modellazione dell impatto tra corpi solidi a medie e alte velocità. La simulazione dell impatto tra corpi solidi in caso di urti a media velocità,

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Corso di Calcolo Numerico, a.a. 2008/2009 Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico

Dettagli

Introduzione al Calcolo Scientifico

Introduzione al Calcolo Scientifico Introduzione al Calcolo Scientifico Corso di Calcolo Numerico, a.a. 2010/2011 Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico

Dettagli

ALLEGATO 14 PROBLEMATICHE APPLICATIVE PASSERELLA ESPORTAZIONE DATI E CAPRES

ALLEGATO 14 PROBLEMATICHE APPLICATIVE PASSERELLA ESPORTAZIONE DATI E CAPRES ALLEGATO 14 PROBLEMATICHE APPLICATIVE PASSERELLA ESPORTAZIONE DATI E CAPRES 1 INTRODUZIONE Il presente documento illustra le problematiche tecniche emerse nell utilizzo degli applicativi Viriato e Capres

Dettagli

Piani di input e piani di calcolo reale in FaTA-e

Piani di input e piani di calcolo reale in FaTA-e 0 1 Piani di input e piani di calcolo reali in FaTA-e Dalla versione XX di FaTA-e è presente una nuova implementazione per il calcolo dei baricentri di massa e rigidezza. La nuova procedura consente di

Dettagli

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

PowerSchedo. Un sistema di supporto alla decisione nel settore dell'oil&gas. For further information: www.mbigroup.it PowerSchedo Un sistema di supporto alla decisione nel settore dell'oil&gas For further information: Introduzione PowerSchedO è uno strumento software di supporto alle decisioni per problemi nel settore

Dettagli

LABORATORIO DI ANALISI DEI SISTEMI

LABORATORIO DI ANALISI DEI SISTEMI LABORATORIO DI ANALISI DEI SISTEMI Si utilizzerà, come strumento di lavoro, un foglio elettronico, il più diffuso Excel o anche quello gratuito di OpenOffice (www.openoffice.org). Tale scelta, pur non

Dettagli

Minimizzazione di Reti Logiche Combinatorie Multi-livello

Minimizzazione di Reti Logiche Combinatorie Multi-livello Minimizzazione di Reti Logiche Combinatorie Multi-livello Maurizio Palesi Maurizio Palesi 1 Introduzione Obiettivo della sintesi logica: ottimizzazione delle cifre di merito area e prestazioni Prestazioni:

Dettagli

Introduzione alla Virtualizzazione

Introduzione alla Virtualizzazione Introduzione alla Virtualizzazione Dott. Luca Tasquier E-mail: luca.tasquier@unina2.it Virtualizzazione - 1 La virtualizzazione è una tecnologia software che sta cambiando il metodo d utilizzo delle risorse

Dettagli

Confronto tra i codici di calcolo QUAD4-M e LSR2D

Confronto tra i codici di calcolo QUAD4-M e LSR2D 2 Confronto tra i codici di calcolo QUAD4-M e LSR2D Introduzione Questo documento riporta un confronto tra i risultati di un analisi di risposta sismica locale condotta con il codice di calcolo LSR2D (Stacec

Dettagli

Esercizi di Ricerca Operativa I

Esercizi di Ricerca Operativa I Esercizi di Ricerca Operativa I Dario Bauso, Raffaele Pesenti May 10, 2006 Domande Programmazione lineare intera 1. Gli algoritmi per la programmazione lineare continua possono essere usati per la soluzione

Dettagli

Massimo Rundo Politecnico di Torino Dipartimento Energia Fluid Power Research Laboratory

Massimo Rundo Politecnico di Torino Dipartimento Energia Fluid Power Research Laboratory La simulazione delle pompe oleodinamiche Massimo Rundo Politecnico di Torino Dipartimento Energia Fluid Power Research Laboratory Politecnico di Torino Dipartimento Energia Macchine a fluido Laboratorio

Dettagli

Ottimizzazione Multi Obiettivo

Ottimizzazione Multi Obiettivo Ottimizzazione Multi Obiettivo 1 Ottimizzazione Multi Obiettivo I problemi affrontati fino ad ora erano caratterizzati da una unica (e ben definita) funzione obiettivo. I problemi di ottimizzazione reali

Dettagli

Linux nel calcolo distribuito

Linux nel calcolo distribuito openmosix Linux nel calcolo distribuito Dino Del Favero, Micky Del Favero dino@delfavero.it, micky@delfavero.it BLUG - Belluno Linux User Group Linux Day 2004 - Belluno 27 novembre openmosix p. 1 Cos è

Dettagli

Schedulazione di attività in presenza di attività interrompibili

Schedulazione di attività in presenza di attività interrompibili Schedulazione di attività in presenza di attività interrompibili Maria Silvia Pini Resp. accademico: Prof.ssa Francesca Rossi Università di Padova Attività FSE DGR 1102/2010 La gestione dell informazione

Dettagli

Problema del trasporto

Problema del trasporto p. 1/1 Problema del trasporto Supponiamo di avere m depositi in cui è immagazzinato un prodotto e n negozi che richiedono tale prodotto. Nel deposito i è immagazzinata la quantità a i di prodotto. Nel

Dettagli

BLUE Engineering Via Albenga 98 Rivoli (To) ITALY Danilo LAZZERI Amministratore Delegato Phone +39 011 9504211 Fax +39 011 9504216 info@blue-group.

BLUE Engineering Via Albenga 98 Rivoli (To) ITALY Danilo LAZZERI Amministratore Delegato Phone +39 011 9504211 Fax +39 011 9504216 info@blue-group. BLUE Engineering Via Albenga 98 Rivoli (To) ITALY Danilo LAZZERI Amministratore Delegato Phone +39 011 9504211 Fax +39 011 9504216 E-mail info@blue-group.it Il Cilea, l Engineering nel settore dell industria

Dettagli

Laboratorio di Ricerca Operativa Cad Ingegneria Gestionale (BGER3 - I semestre) a.a. 2012-13 Homework n 33. Docente: Laura Palagi

Laboratorio di Ricerca Operativa Cad Ingegneria Gestionale (BGER3 - I semestre) a.a. 2012-13 Homework n 33. Docente: Laura Palagi Laboratorio di Ricerca Operativa Cad Ingegneria Gestionale (BGER3 - I semestre) a.a. 2012-13 Homework n 33 Docente: Laura Palagi Homework in Ricerca Operativa gruppo n 33 Turni del Personale Martina Conti

Dettagli

9 Metodi diretti per la risoluzione di sistemi lineari: fattorizzazione P A = LU

9 Metodi diretti per la risoluzione di sistemi lineari: fattorizzazione P A = LU 9 Metodi diretti per la risoluzione di sistemi lineari: fattorizzazione P A LU 9.1 Il metodo di Gauss Come si è visto nella sezione 3.3, per la risoluzione di un sistema lineare si può considerare al posto

Dettagli

Algoritmi Euristici. Corso di Laurea in Informatica e Corso di Laurea in Matematica. Roberto Cordone DI - Università degli Studi di Milano

Algoritmi Euristici. Corso di Laurea in Informatica e Corso di Laurea in Matematica. Roberto Cordone DI - Università degli Studi di Milano Algoritmi Euristici Corso di Laurea in Informatica e Corso di Laurea in Matematica Roberto Cordone DI - Università degli Studi di Milano Lezioni: Mercoledì 08.30-10.30 Venerdì 08.30-10.30 Ricevimento:

Dettagli

Elementi Finiti: stime d errore e adattività della griglia

Elementi Finiti: stime d errore e adattività della griglia Elementi Finiti: stime d errore e adattività della griglia Elena Gaburro Università degli studi di Verona Master s Degree in Mathematics and Applications 05 giugno 2013 Elena Gaburro (Università di Verona)

Dettagli

Algoritmo per il rilevamento di targhe

Algoritmo per il rilevamento di targhe Algoritmo per il rilevamento di targhe 19 maggio 2008 Nell affrontare il problema del riconoscimento delle targhe sono stati sviluppati due algoritmi che basano la loro ricerca su criteri differenti. Lo

Dettagli

LA PROGETTAZIONE GEOTECNICA E LA NORMATIVA

LA PROGETTAZIONE GEOTECNICA E LA NORMATIVA LA PROGETTAZIONE GEOTECNICA E LA NORMATIVA L. Mongiovì Università di Trento Dipartimento di Ingegneria Meccanica e Strutturale Via Mesiano 77, 38050 Trento, Italia Sommario. Si fanno preliminarmente alcune

Dettagli

Metodi e Modelli per l Ottimizzazione Combinatoria Il problema del flusso di costo minimo

Metodi e Modelli per l Ottimizzazione Combinatoria Il problema del flusso di costo minimo Metodi e Modelli per l Ottimizzazione Combinatoria Il problema del flusso di costo minimo L. De Giovanni G. Zambelli 1 Problema del flusso a costo minimo Il problema del flusso a costo minimo é definito

Dettagli

Programmi per lo studio dell acustica di un ambiente

Programmi per lo studio dell acustica di un ambiente Programmi per lo studio dell acustica di un ambiente Andrea Cerniglia hilbert@venus.it (Estratto da Backstage n.15, aprile 1999, Gruppo editoriale Jackson) Spesso, al fine di studiare l acustica di un

Dettagli

Progetto Virtualizzazione

Progetto Virtualizzazione Progetto Virtualizzazione Dipartimento e Facoltà di Scienze Statistiche Orazio Battaglia 25/11/2011 Dipartimento di Scienze Statiche «Paolo Fortunati», Università di Bologna, via Belle Arti 41 1 La nascita

Dettagli

Problematiche di progettazione e sviluppo di impianti pluvirrigui

Problematiche di progettazione e sviluppo di impianti pluvirrigui Problematiche di progettazione e sviluppo di impianti pluvirrigui Prof. Ing. Virgilio Fiorotto *, Ing. Mauro Castellarin ** * Dipartimento di Ingegneria Civile, Sezione di Idraulica e Geotecnica,Università

Dettagli

CBA-SD uno strumento per la valutazione economica dei benefici del Cloud Computing

CBA-SD uno strumento per la valutazione economica dei benefici del Cloud Computing CBA-SD uno strumento per la valutazione economica dei benefici del Cloud Computing Indice 1 Il Cloud Benefit Accelerator - Strecof Dynamics - CBA-SD 3 2 Aspetti matematici, economici e statistici del CBA-SD

Dettagli

E possibile modificare la lingua dei testi dell interfaccia utente, se in inglese o in italiano, dal menu [Tools

E possibile modificare la lingua dei testi dell interfaccia utente, se in inglese o in italiano, dal menu [Tools Una breve introduzione operativa a STGraph Luca Mari, versione 5.3.11 STGraph è un sistema software per creare, modificare ed eseguire modelli di sistemi dinamici descritti secondo l approccio agli stati

Dettagli

Relazione di fine tirocinio. Andrea Santucci

Relazione di fine tirocinio. Andrea Santucci Relazione di fine tirocinio Andrea Santucci 10/04/2015 Indice Introduzione ii 1 Analisi numerica con COMSOL R 1 1.1 Il Software.................................... 1 1.1.1 Geometria................................

Dettagli

Breve introduzione al Calcolo Evoluzionistico

Breve introduzione al Calcolo Evoluzionistico Breve introduzione al Calcolo Evoluzionistico Stefano Cagnoni Dipartimento di Ingegneria dell Informazione, Università di Parma cagnoni@ce.unipr.it 1 Introduzione Il mondo fisico ed i fenomeni naturali

Dettagli

Elementi di Informatica e Programmazione

Elementi di Informatica e Programmazione Elementi di Informatica e Programmazione Il concetto di Algoritmo e di Calcolatore Corsi di Laurea in: Ingegneria Civile Ingegneria per l Ambiente e il Territorio Università degli Studi di Brescia Cos

Dettagli

UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA

UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA SVILUPPO DI METODI DECONVOLUTIVI PER L INDIVIDUAZIONE DI SORGENTI INDIPENDENTI

Dettagli

Istituto Nazionale per Studi ed Esperienze di Architettura Navale (INSEAN) Via di Vallerano, 139-00128 - Roma

Istituto Nazionale per Studi ed Esperienze di Architettura Navale (INSEAN) Via di Vallerano, 139-00128 - Roma Istituto Nazionale per Studi ed Esperienze di Architettura Navale (INSEAN) Via di Vallerano, 139-00128 - Roma Programma di Ricerca sulla sicurezza per il triennio 2006-2008 Rapporto INSEAN 2006-017 Previsione

Dettagli

Durante la realizzazione di questo WP verranno anche effettuate delle sperimentazioni per verificare la bontà delle ipotesi in fase di studio.

Durante la realizzazione di questo WP verranno anche effettuate delle sperimentazioni per verificare la bontà delle ipotesi in fase di studio. Allegato WP2 Il pacchetto software implementerà le seguenti funzioni specifiche del progetto allegato, così come delineato nella descrizione del WP 2 che vale come specifica generale: 1. programmazione

Dettagli

INFORMATICA. Corso di Laurea in Scienze dell'educazione

INFORMATICA. Corso di Laurea in Scienze dell'educazione INFORMATICA Corso di Laurea in Scienze dell'educazione Introduzione all Informatica Docente: Mario Alviano Studio: Dipartimento di Matematica Cubo 30B 2 Piano Ricevimento: giovedì 18:30 19:30 (avvisare

Dettagli

SISTEMI E RETI. Crittografia. Sistemi distribuiti e configurazione architetturale delle applicazioni WEB.

SISTEMI E RETI. Crittografia. Sistemi distribuiti e configurazione architetturale delle applicazioni WEB. SISTEMI E RETI Crittografia. Sistemi distribuiti e configurazione architetturale delle applicazioni WEB. CRITTOGRAFIA La crittografia è una tecnica che si occupa della scrittura segreta in codice o cifrata

Dettagli

Optimization and control: CFD as a design tool

Optimization and control: CFD as a design tool Relazione di attività del PhD student Samuele Zampini Supervisore: Prof. Maurizio Quadrio, Dipartimento di Scienze e Tecnologie Aereospaziali Optimization and control: CFD as a design tool Attività di

Dettagli

Sportello Matematico per l Industria Italiana. la Matematica a SUPPORTO. delle Imprese

Sportello Matematico per l Industria Italiana. la Matematica a SUPPORTO. delle Imprese la Matematica a SUPPORTO delle Imprese Calcolo SUPPORTARE L INNOVAZIONE ABILITARE il Trasferimento Tecnologico IMPRESA INNOVAZIONE PROBLEM SOLVING BENEFICI TANGIBILI SFIDE E PROBLEMI AZIENDALI 2 SM[i]

Dettagli

Corso di Geometria e Algebra Lineare - Sezione di Metodi Numerici

Corso di Geometria e Algebra Lineare - Sezione di Metodi Numerici Corso di Geometria e Algebra Lineare - Sezione di Metodi Numerici C. Vergara 3. Metodo della fattorizzazione LU per la risoluzione di un sistema lineare Errori di arrotondamento. Prima di affrontare la

Dettagli

Architetture Applicative

Architetture Applicative Alessandro Martinelli alessandro.martinelli@unipv.it 6 Marzo 2012 Architetture Architetture Applicative Introduzione Alcuni esempi di Architetture Applicative Architetture con più Applicazioni Architetture

Dettagli

Progetto M.A.Y.H.E.M.

Progetto M.A.Y.H.E.M. Progetto M.A.Y.H.E.M. In informatica un computer cluster, o più semplicemente un cluster (dall'inglese 'grappolo'), è un insieme di computer connessi tra loro tramite una rete telematica. Lo scopo di un

Dettagli

Simulazioni accoppiate 1D-3D per scenari d incendio

Simulazioni accoppiate 1D-3D per scenari d incendio Simulazioni accoppiate 1D-3D per scenari d incendio Applicazione a tunnel stradali e linee metropolitane Luca Iannantuoni Dipartimento di Energia - Politecnico di Milano 29 Ottobre 2009 Luca Iannantuoni

Dettagli

Multilingue Il software lavora con oltre 40 lingue, intercambiabili (italiano, inglese, francese, tedesco, spagnolo, ecc.).

Multilingue Il software lavora con oltre 40 lingue, intercambiabili (italiano, inglese, francese, tedesco, spagnolo, ecc.). Heat 2 Ponti termici Software di calcolo e simulazione bidimensionale dei Ponti Termici - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Dettagli

AREA DOCENTE - ACCESSO, REG. DI CLASSE E VOTI Indice Del Manuale

AREA DOCENTE - ACCESSO, REG. DI CLASSE E VOTI Indice Del Manuale AREA DOCENTE - ACCESSO, REG. DI CLASSE E VOTI Indice Del Manuale 1 - Come Accedere a Nuvola 2 - Home Page Area Docente 3 - Come Modificare il proprio Profilo 4 - Come Modificare la propria Password 5 -

Dettagli

OPERAZIONI DI BASE PER L UTILIZZO DI MICROSOFT EXCEL

OPERAZIONI DI BASE PER L UTILIZZO DI MICROSOFT EXCEL Giovanni Franzoni matr. 14157 Lezione del 4/03/010 ora 10:30-13:30 ndrea Liberini matr. 17714 Sommario OPERZIONI DI BSE PER L UTILIZZO DI MIROSOFT EXEL... 1 Risoluzione di una formula matematica... 1 ome

Dettagli

Distributed P2P Data Mining. Autore: Elia Gaglio (matricola n 809477) Corso di Sistemi Distribuiti Prof.ssa Simonetta Balsamo

Distributed P2P Data Mining. Autore: Elia Gaglio (matricola n 809477) Corso di Sistemi Distribuiti Prof.ssa Simonetta Balsamo Distributed P2P Data Mining Autore: (matricola n 809477) Corso di Sistemi Distribuiti Prof.ssa Simonetta Balsamo A.A. 2005/2006 Il settore del Data Mining Distribuito (DDM): Data Mining: cuore del processo

Dettagli

Introduzione alla Progettazione per Componenti

Introduzione alla Progettazione per Componenti Introduzione alla Progettazione per Componenti Alessandro Martinelli 6 ottobre 2014 Obiettivo del Corso Il Progetto Software Reale Il Componente Software La Programmazione Ad Oggetti Fondamenti di Informatica

Dettagli

DCO 346/2014/R/GAS Riforma degli obblighi di separazione funzionale per il settore dell energia elettrica e del gas - Primi orientamenti-

DCO 346/2014/R/GAS Riforma degli obblighi di separazione funzionale per il settore dell energia elettrica e del gas - Primi orientamenti- DCO 346/2014/R/GAS Riforma degli obblighi di separazione funzionale per il settore dell energia elettrica e del gas - Primi orientamenti- Osservazioni e proposte ANIGAS Milano, 29 settembre 2014 PREMESSA

Dettagli

2.1.2 Formulazione del test PSD Le potenzialità del metodo pseudodinamico si possono facilmente comprendere considerando l equazione (1.2.1.

2.1.2 Formulazione del test PSD Le potenzialità del metodo pseudodinamico si possono facilmente comprendere considerando l equazione (1.2.1. .1. Formulazione del test PSD Le potenzialità del metodo pseudodinamico si possono facilmente comprendere considerando l equazione (1..1.1) 17 Ma(t)+Cv(t)+S(d(t)) = f ex (t): (.1..1) applicata direttamente

Dettagli

Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto

Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto Denis Monari Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto Cinisello Balsamo, 26 novembre 2013 AGENDA Performance, servizi e risorse Tre scenari a crescente complessità

Dettagli

Altri metodi di indicizzazione

Altri metodi di indicizzazione Organizzazione a indici su più livelli Altri metodi di indicizzazione Al crescere della dimensione del file l organizzazione sequenziale a indice diventa inefficiente: in lettura a causa del crescere del

Dettagli

Gli algoritmi: definizioni e proprietà

Gli algoritmi: definizioni e proprietà Dipartimento di Elettronica ed Informazione Politecnico di Milano Informatica e CAD (c.i.) - ICA Prof. Pierluigi Plebani A.A. 2008/2009 Gli algoritmi: definizioni e proprietà La presente dispensa e da

Dettagli

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

della funzione obiettivo. Questo punto dovrebbe risultare chiaro se consideriamo una generica funzione: Corso di laurea in Economia e finanza CLEF) Economia pubblica ************************************************************************************ Una nota elementare sulla ottimizzazione in presenza di

Dettagli

Esercitazione in Laboratorio: risoluzione di problemi di programmazione lineare tramite Excel il mix di produzione

Esercitazione in Laboratorio: risoluzione di problemi di programmazione lineare tramite Excel il mix di produzione Esercitazione in Laboratorio: risoluzione di problemi di programmazione lineare tramite Excel il mix di produzione Versione 11/03/2004 Contenuto e scopo esercitazione Contenuto esempi di problema di programmazione

Dettagli

LabVIEW offre un ambiente di programmazione grafica

LabVIEW offre un ambiente di programmazione grafica 03 COME OTTIMIZZARE IN LABVIEW APPLICAZIONI DI TEST AUTOMATIZZATI PER PROCESSORI MULTICORE David Hall Vediamo come delle applicazioni scritte in LabVIEW possono essere ottimizzate sfruttando tecniche di

Dettagli

Ricerca Operativa 2. Introduzione al metodo del Simplesso

Ricerca Operativa 2. Introduzione al metodo del Simplesso Ricerca Operativa 2. Introduzione al metodo del Simplesso Luigi De Giovanni Giacomo Zambelli 1 Problemi di programmazione lineare Un problema di ottimizzazione vincolata è definito dalla massimizzazione

Dettagli

TOLLERANZE DI POSIZIONE. MDM Metrosoft S.a.s. di DENI Chiara GUIDA UTENTE. Metrosoft Metrology Software and Special Applications. Ver.

TOLLERANZE DI POSIZIONE. MDM Metrosoft S.a.s. di DENI Chiara GUIDA UTENTE. Metrosoft Metrology Software and Special Applications. Ver. MDM Metrosoft S.a.s. di DENI Chiara Metrosoft Metrology Software and Special Applications GUIDA UTENTE TOLLERANZE DI POSIZIONE Ver. Luglio 1996 CopyRight MDM Metrosoft S.a.s. Via IV Novembre, 22-40061

Dettagli

5. Requisiti del Software II

5. Requisiti del Software II 5. Requisiti del Software II Come scoprire cosa? Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 5. Requisiti del Software II 1 / 22 Sommario 1 Generalità

Dettagli

La valutazione del rumore ambientale: quale ruolo per i modelli di calcolo?

La valutazione del rumore ambientale: quale ruolo per i modelli di calcolo? La valutazione del rumore ambientale: quale ruolo per i modelli di calcolo? Giuseppe Elia La scelta del modello Caso a) valutazione del clima acustico in pochi punti, soprattutto se l ambiente l e le sorgenti

Dettagli

La risorsa in Toscana e le possibili utilizzazioni

La risorsa in Toscana e le possibili utilizzazioni IA E BASSA ENTALPIA GEOTERMICA : QUALI OPPORTUNITA PER I TERRITORI Arcidosso (Gr), Sala del Consiglio. Unione dei Comuni Montani Amiata Grossetana La risorsa in Toscana e le possibili utilizzazioni Prof.

Dettagli

Il clustering HA con Linux: Kimberlite

Il clustering HA con Linux: Kimberlite Il clustering HA con Linux: Kimberlite Simone Piccardi: piccardi@firenze.linux.it February 4, 2002 Perché un cluster Un cluster è un insieme di computer in grado di eseguire insieme una certa serie di

Dettagli

mese 1 2 3 4 5 richiesta 6000 7000 8000 9500 11000

mese 1 2 3 4 5 richiesta 6000 7000 8000 9500 11000 1.7 Servizi informatici. Un negozio di servizi informatici stima la richiesta di ore di manutenzione/consulenza per i prossimi cinque mesi: mese 1 2 3 4 5 richiesta 6000 7000 8000 9500 11000 All inizio

Dettagli

La modellazione delle strutture

La modellazione delle strutture La modellazione delle strutture 1 Programma 31-1-2012 Introduzione e brevi richiami al metodo degli elementi finiti 7-2-2012 La modellazione della geometria 14-2-2012 21-2-2012 28-2-2012 6-3-2012 13-32012

Dettagli

Metodi di realizzazione di una stazione radio base compatibile con i limiti di esposizione Vallone Laura

Metodi di realizzazione di una stazione radio base compatibile con i limiti di esposizione Vallone Laura Metodi di realizzazione di una stazione radio base compatibile con i limiti di esposizione Vallone Laura 01/06/2007 dei Campi Elettromagnetici 1 Normativa tecnica di riferimento Guida CEI 211-10: Guida

Dettagli

HighWay/eXtraWay Project - Schema sintetico delle configurazioni hardware Manuale di riferimento. Generato da Doxygen 1.5.1-p1

HighWay/eXtraWay Project - Schema sintetico delle configurazioni hardware Manuale di riferimento. Generato da Doxygen 1.5.1-p1 HighWay/eXtraWay Project - Schema sintetico delle configurazioni hardware Manuale di riferimento Generato da Doxygen 1.5.1-p1 Fri Jan 4 11:10:14 2008 Indice Capitolo 1 Schema sintetico delle possibili

Dettagli

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

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell

Dettagli

Metodologia di calcolo per pompe a ingranaggi esterni Articolo pubblicato sulla rivista oleodinamica e pneumatica 03/2013 Gibellini Matteo

Metodologia di calcolo per pompe a ingranaggi esterni Articolo pubblicato sulla rivista oleodinamica e pneumatica 03/2013 Gibellini Matteo In questo articolo verrà descritta la metodologia di calcolo per la progettazione delle pompe a ingranaggi esterni con dentatura ad evolvente sviluppato dall autore per conto di Galtech S.p.A. con l obiettivo

Dettagli

Benchmark Ansys Fluent su CRESCO

Benchmark Ansys Fluent su CRESCO Benchmark Ansys Fluent su CRESCO NOTA TECNICA ENEA GRID/CRESCO: NTN201003 NOME FILE: NTN201003-BenchmarkFluentCresco-v1_0.doc DATA: 30/07/2010 STATO: Versione iniziale AUTORE: F. Ambrosino Abstract: Questa

Dettagli

Cube è usato in più di 2000 città e 70 paesi nel mondo. Cube si fonda su più di 25 anni di ricerca, sviluppo e applicazione.

Cube è usato in più di 2000 città e 70 paesi nel mondo. Cube si fonda su più di 25 anni di ricerca, sviluppo e applicazione. brochure tecnica di cube Cube è la suite di modellazione dei trasporti più popolare del mondo. Cube è il sistema più completo e diffuso sistema per l analisi dei sistemi di trasporto nel mondo. Con Cube

Dettagli

VDI IN A BOX. www.lansolution.it - info@lansolution.it - 051 5947388

VDI IN A BOX. www.lansolution.it - info@lansolution.it - 051 5947388 VDI IN A BOX Con le soluzioni Citrix e la professionalità di Lansolution, ora puoi: -Ridurre i costi -Garantire la sicurezza -Incrementare la produttività -Lavorare ovunque* La flessibilità del luogo di

Dettagli

b i 1,1,1 1,1,1 0,1,2 0,3,4

b i 1,1,1 1,1,1 0,1,2 0,3,4 V o Appello // RICERCA OPERATIVA - Corso A (a.a. 9/) Nome Cognome: Corso di Laurea: L C6 LS LM Matricola: ) Si consideri il problema di flusso di costo minimo in figura. Si verifichi se il flusso ammissibile

Dettagli

Modelli matematici avanzati per l azienda a.a. 2010-2011

Modelli matematici avanzati per l azienda a.a. 2010-2011 Modelli matematici avanzati per l azienda a.a. 2010-2011 Docente: Pasquale L. De Angelis deangelis@uniparthenope.it tel. 081 5474557 http://www.economia.uniparthenope.it/siti_docenti P.L.DeAngelis Modelli

Dettagli

Esempi di algoritmi. Lezione III

Esempi di algoritmi. Lezione III Esempi di algoritmi Lezione III Scopo della lezione Implementare da zero algoritmi di media complessità. Verificare la correttezza di un algoritmo eseguendolo a mano. Imparare a valutare le prestazioni

Dettagli

STUDI DI FATTIBILITA VARIANTE STRADA COMUNALE RUE DES BARMES - CHAMPOLUC - INDAGINE GEOFISICA -

STUDI DI FATTIBILITA VARIANTE STRADA COMUNALE RUE DES BARMES - CHAMPOLUC - INDAGINE GEOFISICA - STUDI DI FATTIBILITA VARIANTE STRADA COMUNALE RUE DES BARMES - CHAMPOLUC - INDAGINE GEOFISICA - Relazione n. 3316 Maggio 2012 1. PREMESSA 2 Il presente documento illustra i dettagli operativi e i risultati

Dettagli

GESTIONE DELL INFORMAZIONE AZIENDALE GRUPPO A prova scritta del 20 maggio 2004

GESTIONE DELL INFORMAZIONE AZIENDALE GRUPPO A prova scritta del 20 maggio 2004 GESTIONE DELL INFORMAZIONE AZIENDALE GRUPPO A prova scritta del 20 maggio 2004 Rispondere alle seguenti domande marcando a penna la lettera corrispondente alla risposta ritenuta corretta (una sola tra

Dettagli

Corso di Matematica per la Chimica

Corso di Matematica per la Chimica Dott.ssa Maria Carmela De Bonis a.a. 203-4 I sistemi lineari Generalità sui sistemi lineari Molti problemi dell ingegneria, della fisica, della chimica, dell informatica e dell economia, si modellizzano

Dettagli

Pascal: kiss it goodbye?

Pascal: kiss it goodbye? Pascal: kiss it goodbye? Agostino Lorenzi Università di Bergamo, Via Caniana 2, 24127 Bergamo agostino.lorenzi@unibg.it Sommario I docenti di matematica che curano l approccio all informatica nelle classi

Dettagli

(a cura di Francesca Godioli)

(a cura di Francesca Godioli) lezione n. 12 (a cura di Francesca Godioli) Ad ogni categoria della variabile qualitativa si può assegnare un valore numerico che viene chiamato SCORE. Passare dalla variabile qualitativa X2 a dei valori

Dettagli

FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira

FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira FONDAMENTI di INFORMATICA Prof. Lorenzo Mezzalira Appunti del corso 1 Introduzione all informatica: algoritmi, linguaggi e programmi Indice 1. Introduzione 2. Risoluzione automatica di problemi - Algoritmi

Dettagli

Analisi con due Velocità

Analisi con due Velocità Analisi con due Velocità Questo documento descrive il metodo di misura di due velocità. Analisi, interpretazione esperienze e documenti complementari si trovano nei manuali del Software PIT-W versione

Dettagli

Prof. Ing. Michele Marra - Appunti delle Lezioni di Ricerca Operativa Sequenze CAPITOLO II

Prof. Ing. Michele Marra - Appunti delle Lezioni di Ricerca Operativa Sequenze CAPITOLO II CAPITOLO II 2. - PROBLEMI DI SEQUENZA I problemi di sequenza si presentano ogni qualvolta vi sono delle attività che richiedono delle risorse limitate ed indivisibili e bisogna definire l'ordine secondo

Dettagli

Analisi non lineari statiche e dinamiche valutate con il software: ETABS

Analisi non lineari statiche e dinamiche valutate con il software: ETABS Dipartimento di Ingegneria CORSO DI LAUREA IN INGENGNERIA CIVILE PER LA PROTEZIONE DAI RISCHI NATURALI Relazione di fine tirocinio Analisi non lineari statiche e dinamiche valutate con il software: ETABS

Dettagli

AdmiRail. Future of Humane Machine Interface. Piattaforma IT a supporto della gestione operativa per l ottimizzazione della circolazione ferroviaria

AdmiRail. Future of Humane Machine Interface. Piattaforma IT a supporto della gestione operativa per l ottimizzazione della circolazione ferroviaria Future of Humane Machine Interface Piattaforma IT a supporto della gestione operativa per l ottimizzazione della circolazione ferroviaria AdmiRail AdmiRail : La sfida di partenza Il progetto AdmiRail nasce

Dettagli

Lezione 7 Sommatori e Moltiplicatori

Lezione 7 Sommatori e Moltiplicatori Architettura degli Elaboratori e delle Reti Lezione 7 Sommatori e Moltiplicatori Proff. A. Borghese, F. Pedersini Dipartimento di Scienze dell Informazione Università degli Studi di Milano L 7 1/36 Sommario!

Dettagli

Scopo intervento. Integrazione scorte e distribuzione. Indice. Motivazioni

Scopo intervento. Integrazione scorte e distribuzione. Indice. Motivazioni Scopo intervento Integrazione scorte e distribuzione Modelli a domanda costante Presentare modelli e metodi utili per problemi di logistica distributiva Indicare limiti degli stessi e come scegliere tra

Dettagli

Novell ZENworks Configuration Management in ambiente Microsoft * Windows *

Novell ZENworks Configuration Management in ambiente Microsoft * Windows * Guida GESTIONE SISTEMI www.novell.com Novell ZENworks Configuration Management in ambiente Microsoft * Windows * Novell ZENworks Configuration Management in ambiente Microsoft Windows Indice: 2..... Benvenuti

Dettagli

Dalla Sfera a Luigi del film Cars L Algoritmo di Ray Tracing

Dalla Sfera a Luigi del film Cars L Algoritmo di Ray Tracing Dalla Sfera a Luigi del film Cars L Algoritmo di Ray Tracing Ing. Federico Bergenti E-mail federico.bergenti@unipr.it Telefono +39 0521 90 6929 Sintesi di Immagini Digitali Generazione automatica di immagini

Dettagli

Ferrara, 24 settembre 09

Ferrara, 24 settembre 09 Esperienze di realizzazione e certificazione campi sonde: problematiche operative, aspetti geologici e ambientali, garanzia di qualità e resa termica nel tempo. Proposte di redazione di standard di lavoro

Dettagli

Ricerca informata. Scelta dell euristica

Ricerca informata. Scelta dell euristica Ricerca informata Scelta dell euristica SMA* (Simplified Memory-Bounded A*) SMA* espande sempre la foglia migliore finché la memoria è piena A questo punto deve cancellare un nodo in memoria SMA* cancella

Dettagli

Introduzione a PowerSchedO

Introduzione a PowerSchedO Il sistema di supporto alle tue decisioni Introduzione a PowerSchedO White paper Per maggiori informazioni http://www.powerschedo.it http://www.mbigroup.it PowerSchedO è un marchio registrato MBI. Questo

Dettagli

ANALISI AGLI ELEMENTI FINITI IN GEOTECNICA: UN PRIMO APPROFONDIMENTO

ANALISI AGLI ELEMENTI FINITI IN GEOTECNICA: UN PRIMO APPROFONDIMENTO ANALISI AGLI ELEMENTI FINITI IN GEOTECNICA: UN PRIMO APPROFONDIMENTO 2 GENERALITA SUL METODO AGLI ELEMENTI FINITI. Il Metodo agli Elementi Finiti (F.E.M.) è una tecnica avanzata di risoluzione di equazioni

Dettagli

Informatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati

Informatica 3. Informatica 3. LEZIONE 10: Introduzione agli algoritmi e alle strutture dati. Lezione 10 - Modulo 1. Importanza delle strutture dati Informatica 3 Informatica 3 LEZIONE 10: Introduzione agli algoritmi e alle strutture dati Modulo 1: Perchè studiare algoritmi e strutture dati Modulo 2: Definizioni di base Lezione 10 - Modulo 1 Perchè

Dettagli

Descrizione e stima dell errore

Descrizione e stima dell errore Descrizione e stima dell errore Raccomandazioni per l analisi di accuratezza di una simulazione CFD: 1 Descrizione e stima dell errore Raccomandazioni per l analisi di accuratezza di una simulazione CFD:

Dettagli

SISTEMI DI CONDOTTE: Il dimensionamento idraulico

SISTEMI DI CONDOTTE: Il dimensionamento idraulico SISTEMI DI CONDOTTE: Il dimensionamento idraulico Carlo Ciaponi Università degli Studi di Pavia Dipartimento di Ingegneria Idraulica e Ambientale Posizione del del problema Rete da progettare di cui è

Dettagli

Problemi, Algoritmi e Programmi

Problemi, Algoritmi e Programmi MASTER Information Technology Excellence Road (I.T.E.R.) Problemi, Algoritmi e Programmi Maurizio Palesi Salvatore Serrano Master ITER Informatica di Base Maurizio Palesi, Salvatore Serrano 1 Introduzione

Dettagli

Introduzione. Rappresentazione di numeri in macchina, condizion

Introduzione. Rappresentazione di numeri in macchina, condizion Introduzione. Rappresentazione di numeri in macchina, condizionamento e stabilità Dipartimento di Matematica tel. 011 0907503 stefano.berrone@polito.it http://calvino.polito.it/~sberrone Laboratorio di

Dettagli

Le dimensioni degli Studi di settore

Le dimensioni degli Studi di settore Le dimensioni degli Studi di settore Vincenzo Adamo Luglio 2008 Introduzione In queste pagine vengono presentati alcuni aspetti legati ai diversi punti di vista che caratterizzano uno strumento così complesso

Dettagli

ALGORITMO DEL SIMPLESSO

ALGORITMO DEL SIMPLESSO ALGORITMO DEL SIMPLESSO ESERCITAZIONI DI RICERCA OPERATIVA 1 ESERCIZIO 1. Risolvere il seguente programma lineare (a) con il metodo del simplesso e (b) con il metodo grafico. (1) min x 1 x () (3) (4) (5)

Dettagli