Metodi di valutazione diretta ed indiretta della conducibilità idraulica verticale dei terreni sciolti Esempi applicativi nella Alta e Bassa Pianura Friulana

Nel corso del tempo, nell’ambito dell’idrogeologia sono state sviluppate diverse tecniche per la determinazione conducibilità idraulica (K). Negli ultimi decenni sempre maggiori sforzi sono stati compiuti per integrare le tecniche geofisiche a questo specifico settore di ricerca; in particolare le metodologie geoelettriche sono state fonte di molteplici studi per la determinazione indiretta di K. Su questa idea è stato impostato il lavoro presentato in questo elaborato di tesi. Ciò che questo propone è infatti l’esecuzione di test in campo che prevedono il monitoraggio time lapse con tecnologia ERT (Electrical Resistivity Tomography) di un tracciante salino iniettato nel terreno. Il fine ultimo è quello di poter sviluppare una tecnica indiretta per la stima della conducibilità idraulica verticale dei terreni sciolti. Le immagini tomografiche, realizzate in sequenza nel tempo, premettono la visualizzazione l’avanzamento del plume basso resistivo in movimento nel terreno (causato dalla salamoia iniettata). Un successivo confronto grafico fra queste permette di quantificare lo spostamento nel tempo, in modo da calcolare in seguito la velocità di infiltrazione del tracciante, e in ultimo stimare la K del terreno in analisi. I risultati ottenuti con tale metodologia sperimentale, opportunamente elaborati tramite specifici software, sono stati confrontati, dove possibile, con i valori forniti dall’impiego di altre tecniche più tradizionali, in modo da poter valutare la bontà del dato ottenuto. Le aree studio individuate per condurre tali sperimentazioni ricadono all’interno del territorio regionale del Friuli Venezia Giulia, in particolare nell’area di Alta e Bassa pianura friulana. La strumentazione (resistivimetro multicanale VHR X612-EM della MAE-Molisana Apparecchiature Elettroniche) e il software (Res2dinv) per la raccolta e l’elaborazione delle immagini tomografiche sono stati gentilmente messi a disposizione dalla società Geomok s.r.l. del Dott. Geol. Mocchiutti (Udine) con la cui collaborazione è stato realizzato questo elaborato di tesi.

Laboratory and field investigation of the performance of suction drains, a novel low-carbon technology for ground stabilization

Con riferimento alla realizzazione di tunnel per servizi interrati, l’incertezza che contraddistingue il quadro geologico, oltre che incidere sui costi, riveste un ruolo chiave nella progettazione preliminare. Sebbene un’approfondita caratterizzazione geotecnica e geologica del volume di terreno inerente l’opera di scavo sia generalmente parte integrante del progetto, non è comunque possibile eliminare del tutto tali incertezze per via dell’estensione del volume interessato oltre che per la disomogeneità che sempre contraddistingue il terreno. Generalmente, investigazioni in corso d’opera e interventi di stabilizzazione devono essere previsti per contenere i costi di perforazione ed ottimizzare la progettazione. Ad esempio, tra i metodi di esplorazione geotecnica figurano i tunnel pilota, i quali sono in grado di garantire un’ottimale caratterizzazione del quadro geotecnico del sottosuolo. Con riferimento agli interventi di stabilizzazione del terreno, adottabili laddove una perforazione tradizionale non consentirebbe il tunnelling, vi è un vasta gamma di scelta. Pertanto, da una prima analisi delle problematiche connesse al tunnelling emerge che la stabilizzazione delle facce di scavo riveste un’importanza e un risconto applicativo di prim’ordine. Questa tesi si inserisce all’interno di un progetto che promuove un’innovativa ed economica tecnica di stabilizzazione dei tunnel per suzione tenendo quindi conto dell’influenza della suzione sulla coesione non drenata.

Applicazioni di realtà aumentata in ambito museale

La realtà aumentata, unitamente a quella mista, stanno rapidamente prendendo pieno all'interno di molti aspetti della vita umana. Scopo di questo lavoro è di analizzare tecnologie e tecniche esistenti al fine di applicarle ad un caso reale, la rilevazione e la sovrapposizione di un oggetto digitale tridimensionale ad uno presente in un museo.

Progettazione e prototipazione di un sistema di Social Business Intelligence con Hadoop Impala

Il presente elaborato ha come oggetto l’analisi delle prestazioni e il porting di un sistema di SBI sulla distribuzione Hadoop di Cloudera. Nello specifico è stato fatto un porting dei dati del progetto WebPolEU. Successivamente si sono confrontate le prestazioni del query engine Impala con quelle di ElasticSearch che, diversamente da Oracle, sfrutta la stessa componente hardware (cluster).

An integrated system for building and running reproducible research

Our generation of computational scientists is living in an exciting time: not only do we get to pioneer important algorithms and computations, we also get to set standards on how computational research should be conducted and published. From Euclid’s reasoning and Galileo’s experiments, it took hundreds of years for the theoretical and experimental branches of science to develop standards for publication and peer review. Computational science, rightly regarded as the third branch, can walk the same road much faster. The success and credibility of science are anchored in the willingness of scientists to expose their ideas and results to independent testing and replication by other scientists. This requires the complete and open exchange of data, procedures and materials. The idea of a “replication by other scientists” in reference to computations is more commonly known as “reproducible research”. In this context the journal “EAI Endorsed Transactions on Performance & Modeling, Simulation, Experimentation and Complex Systems” had the exciting and original idea to make the scientist able to submit simultaneously the article and the computation materials (software, data, etc..) which has been used to produce the contents of the article. The goal of this procedure is to allow the scientific community to verify the content of the paper, reproducing it in the platform independently from the OS chosen, confirm or invalidate it and especially allow its reuse to reproduce new results. This procedure is therefore not helpful if there is no minimum methodological support. In fact, the raw data sets and the software are difficult to exploit without the logic that guided their use or their production. This led us to think that in addition to the data sets and the software, an additional element must be provided: the workflow that relies all of them.

Il rapporto con la matematica degli adulti di successo: uno studio narrativo

In questa tesi presentiamo un'indagine sul rapporto (passato e presente) con la matematica di alcuni adulti ritenuti di successo nel proprio campo di lavoro, effettuata tramite interviste singole semi-strutturate. I risultati ottenuti sono stati dapprima analizzati singolarmente, per poi essere confrontati con i risultati conseguiti da ricerche precedenti, effettuate su studenti e futuri insegnanti.

Analisi della rilevanza nei parchi d'attrazioni mediante la teoria dei grafi

Studio dell'applicabilità della teoria dei grafi nei parchi d'attrazioni.

Keller-Segel system, chemotaxis and applications to a mathematical model for Alzheimer's disease

In questa tesi viene presentato il modello di Keller-Segel per la chemiotassi, un sistema di tipo parabolico-ellittico che appare nella descrizione di molti fenomeni in ambito biologico e medico. Viene mostrata l'esistenza globale della soluzione debole del modello, per dati iniziali sufficientemente piccoli in dimensione N>2. La scelta di dati iniziali abbastanza grandi invece può causare il blow-up della soluzione e viene mostrato sotto quali condizioni questo si verifica. Infine il modello della chemiotassi è stato applicato per descrivere una fase della malattia di Alzheimer ed è stata effettuata un'analisi di stabilità del sistema.

Gamma convergenza tra modelli di transizione di fase

Nel lavoro di tesi si sono studiati i modelli di transizione di fase studiati in precedenza da Gibbs e da Cahn-Hilliard. Si è poi verificato che i due modelli sono equivalenti sotto le ipotesi della gamma convergenza

Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

L'introduzione delle funzioni sinusoidali nella scuola secondaria superiore a partire dall'ottica geometrica.

Questo elaborato descrive la proposta di un percorso didattico per introdurre le funzioni sinusoidali nella scuola secondaria superiore a partire da un esperimento di fisica riguardante l'ottica geometrica. Nella seconda parte della tesi è riportata la sperimentazione effettuata in classe e i materiali didattici utilizzati.

L'altezza dei triangoli: dall'analisi storico-epistemologica alla sperimentazione didattica

La tesi a partire da un'analisi storico-epistemologica individua degli ostacoli storici legati al concetto di altezza. Dal confronto di questi con gli ostacoli di apprendimento riscontrati a partire da diverse fonti (Invalsi, ricerca scientifica, pretest in sei classi) si arriva a individuare quattro ostacoli che inducono il formarsi di diverse Concezioni legate al concetto di altezza dei triangoli. Si analizzano inoltre i risultati e le evidenze delle Concezione riscontrate nella sperimentazione didattica.

La valutazione delle proprieta meccaniche della muratura mediante prove distruttive e semi-distruttive

Gli eventi sismici che hanno colpito l’Emilia Romagna nel corso del 2012, hanno mostrato come le strutture in muratura qui presenti siano particolarmente sensibili alle azioni di forze dinamiche. Questa vulnerabilità deriva principalmente dal fatto che gran parte del patrimonio edilizio italiano è stato realizzato prima dell’introduzione di apposite normative antisismiche e, in secondo luogo, dalla qualità dei materiali utilizzati e dalle tecniche “artigianali” di realizzazione. La valutazione della vulnerabilità degli edifici è pertanto un punto fondamentale per poterne stimare il livello di sicurezza in caso di terremoto. In particolare, i parametri fondamentali da studiare sono: Resistenza caratteristica a compressione (f_k): parametro importante per la stima della resistenza alla rottura in corrispondenza di variazioni delle forze verticali, per effetto di un’azione sismica; Resistenza a taglio in assenza di sforzo normale (f_vk0): valore che stima la capacità resistente della muratura quando essa è soggetta a sole azioni taglianti. Gli obbiettivi principali di questa tesi sono: Determinare i parametri medi di resistenza sopra descritti per le murature site in Emilia Romagna; Confrontare valori ottenuti mediante prove semi-distruttive e distruttive al fine di verificare la loro affidabilità.

Evoluzione a medio e breve termine di un tratto del litorale di Senigallia

Il litorale di Senigallia si sviluppa ai due lati del porto ed è caratterizzato da una costa bassa e sabbiosa, che già nei decenni passati ha risentito dell’influenza del porto nel tratto sottocorrente, in cui sono state installate delle opere di difesa. Nei primi anni del 2000 il porto ha subito ulteriori modifiche con possibili altri impatti sulla spiaggia emersa e sommersa. In tale ambito, la ditta Geomarine S.r.l. di Senigallia, su commissione del Comune di Senigallia, ha eseguito dei rilievi topo-batimetrici su un tratto del litorale del medesimo Comune dal 2009 al 2015. In questo lavoro di tesi ho partecipato personalmente alla campagna di misura del 2015. Per le indagini nella spiaggia sommersa è stata utilizzata una strumentazione Singlebeam e Multibeam mentre per i rilievi topografici è stato utilizzato un sistema GPS-NRTK. Con i dati acquisiti, elaborati e processati, è stato costruito un DTM con una carta delle isoipse e isobate dell’area. Allo scopo di integrare la ricostruzione morfologica ottenuta per l’area con informazioni sul sedimento presente, sono stati realizzati dei campionamenti lungo gli stessi transetti adottati in precedenti campagne sedimentologiche svolte dalla Regione Marche. I campioni sono stati successivamente sottoposti ad un’analisi granulometrica e i risultati confrontati tra loro e con quelli raccolti nei decenni precedenti. I risultati dei rilievi topo-batimetrici sono stati, infine, confrontati tra loro sui diversi intervalli temporali di acquisizione, per comprendere l’evoluzione del tratto di costa studiato nel breve termine e come i fattori naturali e antropici possano aver influito sui cambiamenti osservati. Per inquadrare l’evoluzione dell’area d’interesse su un arco temporale più ampio (1955-2015) si è poi effettuata un’analisi semi-qualitativa/quantitativa dell’andamento nel medio termine della linea di riva a partire da foto aeree.

Protocolli di autenticazione dimostrabilmente sicuri

All'interno della tesi viene analizzato il problema dell'autenticazione delle parti su un canale insicuro. Viene data una formalizzazione matematica del problema, di cosa sia un protocollo sicuro e viene poi esibito un protocollo dimostrabilmente sicuro, con l'assunzione dell'esistenza di funzioni pseudorandom. Viene poi presa in esame questa assunzione e si discute di quanto l'assunzione sia ragionevole all'atto pratico. Si discutono alcune proprietà delle funzioni pseudorandom e si esibiscono delle funzioni candidate ad essere pseudorandom.