La nozione di morfismo étale

Il teorema della funzione implicita, valido nel caso di varietà differenziabili, non risulta vero se si prendono in analisi varietà algebriche affini con la topologia di Zariski. Dopo aver introdotto le nozioni di morfismo piatto e di morfismo non ramificato, si arriva ai morfismi étale, definiti proprio come quei morfismi che sono piatti e non ramificati; nella seconda parte si considerano i morfismi di varietà non singolari dimostrando che la classe dei morfismi étale coincide esattamente con quei morfismi che inducono isomorfismi sugli spazi tangenti. Si approfondisce poi la nozione di morfismo étale da un punto di vista algebrico e infine la nozione di intorno étale di un punto, che si basa su quella di morfismo étale.

Schemi concettuali e specializzazione dell'interprete: Una proposta per il settore moda

L’idea di sviluppare il presente lavoro è scaturita da alcune considerazioni sulla metodologia di preparazione dell’interprete. In particolare è nata dalla consapevolezza che la sfida principale di questa professione risiede nel fatto di dover gestire, durante l’intera carriera, un confronto impari con una quantità potenzialmente infinita di concetti e termini nuovi da assimilare. Ciò è dovuto in primis all’intrinseca vastità della lingua, principale strumento di comunicazione, e implica che ogni volta l’interprete si trovi a operare in uno degli innumerevoli contesti estremamente eterogenei in cui può essere richiesto il suo servizio, caratterizzati ciascuno da una propria cultura e da un suo lessico settoriale sul quale è necessario prepararsi, spesso disponendo solo di pochi giorni per farlo. Una delle strategie possibili per fare fronte in modo efficace al costante flusso di informazioni da assimilare è la specializzazione, ovvero lo studio approfondito e a lungo termine di uno o più settori tematici, con l’acquisizione graduale della relativa terminologia settoriale nelle varie lingue di lavoro. Il presente lavoro propone l’utilizzo di sistemi di rappresentazione grafica della conoscenza come strumenti a supporto di questo processo di specializzazione, con l’aiuto dei quali mettere a fuoco e fissare sia la componente concettuale, sia quella terminologica relativa ad un dominio specifico. A mo’ di esempio è stato scelto il settore moda, poiché ritenuto particolarmente adeguato agli scopi proposti. Il software utilizzato è la versione freeware di MindMaple. L’elaborato è suddiviso in due parti: la prima ne descrive l’impianto teorico e comprende la descrizione dei processi di categorizzazione della realtà da un punto di vista psicologico-cognitivo (cap.1), integrata da una panoramica delle diverse tipologie di sistematizzazione della conoscenza, dei loro ambiti di applicazione (cap.2), e soffermandosi infine sull’approfondimento dei vari tipi di schemi: mentali, concettuali, ecc.(cap.3) Nella seconda parte del lavoro viene dapprima fornita una descrizione generale del dominio al quale appartiene l’argomento dello schema, ossia il settore moda, esponendo le ragioni di tale scelta e soffermandosi su alcune particolarità del lessico settoriale (cap. 4). L’ultimo capitolo è infine dedicato alla presentazione dell’elaborato grafico con un’ introduzione sulle funzionalità principali del software utilizzato, la descrizione dello schema nei vari suoi aspetti, come la struttura e le fasi di sviluppo, nonché alcuni esempi concreti relativi a problematiche terminologiche incontrate sia in fase di sistematizzazione del lessico che durante la ricerca di equivalenti interlinguistici.

Modellazione di maschi murari mediante schemi a traliccio

Modellazione di pannelli in muratura mediante schemi semplificati; simulazioni numeriche relative a pannelli rinforzati tramite FRP

L'anello di coomologia della varietà delle bandiere

Lo scopo di questa tesi è il calcolo dell'anello di coomologia di de Rham della varietà delle bandiere di uno spazio vettoriale complesso. Per prima cosa introduciamo la coomologia di de Rham e riassumiamo le sue principali proprietà. Definiamo poi la varietà delle bandiere di uno spazio vettoriale complesso, e, utilizzando la teoria delle classi di Chern, ne calcoliamo l'anello di coomologia di de Rham.

Sincronizzazione e condivisione di file system tra sistemi operativi

La necessità di sincronizzare i propri dati si presenta in una moltitudine di situazioni, infatti il numero di dispositivi informatici a nostra disposizione è in continua crescita e, all' aumentare del loro numero, cresce l' esigenza di mantenere aggiornate le multiple copie dei dati in essi memorizzati. Vi sono diversi fattori che complicano tale situazione, tra questi la varietà sempre maggiore dei sistemi operativi utilizzati nei diversi dispositivi, si parla di Microsoft Windows, delle tante distribuzioni Linux, di Mac OS X, di Solaris o di altri sistemi operativi UNIX, senza contare i sistemi operativi più orientati al settore mobile come Android. Ogni sistema operativo ha inoltre un modo particolare di gestire i dati, si pensi alla differente gestione dei permessi dei file o alla sensibilità alle maiuscole. Bisogna anche considerare che se gli aggiornamenti dei dati avvenissero soltanto su di uno di questi dispositivi sarebbe richiesta una semplice copia dei dati aggiornati sugli altri dispositivi, ma che non è sempre possibile utilizzare tale approccio. Infatti i dati vengono spesso aggiornati in maniera indipendente in più di un dispositivo, magari nello stesso momento, è pertanto necessario che le applicazioni che si occupano di sincronizzare tali dati riconoscano le situazioni di conflitto, nelle quali gli stessi dati sono stati aggiornati in più di una copia ed in maniera differente, e permettano di risolverle, uniformando lo stato delle repliche. Considerando l' importanza e il valore che possono avere i dati, sia a livello lavorativo che personale, è necessario che tali applicazioni possano garantirne la sicurezza, evitando in ogni caso un loro danneggiamento, perchè sempre più spesso il valore di un dispositivo dipende più dai dati in esso contenuti che dal costo dello hardware. In questa tesi verranno illustrate alcune idee alternative su come possa aver luogo la condivisione e la sincronizzazione di dati tra sistemi operativi diversi, sia nel caso in cui siano installati nello stesso dispositivo che tra dispositivi differenti. La prima parte della tesi descriverà nel dettaglio l' applicativo Unison. Tale applicazione, consente di mantenere sincronizzate tra di loro repliche dei dati, memorizzate in diversi dispositivi che possono anche eseguire sistemi operativi differenti. Unison funziona a livello utente, analizzando separatamente lo stato delle repliche al momento dell' esecuzione, senza cioè mantenere traccia delle operazioni che sono state effettuate sui dati per modificarli dal loro stato precedente a quello attuale. Unison permette la sincronizzazione anche quando i dati siano stati modificati in maniera indipendente su più di un dispositivo, occupandosi di risolvere gli eventuali conflitti che possono verificarsi rispettando la volontà dell' utente. Verranno messe in evidenza le strategie utilizzate dai suoi ideatori per garantire la sicurezza dei dati ad esso affidati e come queste abbiano effetto nelle più diverse condizioni. Verrà poi fornita un' analisi dettagiata di come possa essere utilizzata l' applicazione, fornendo una descrizione accurata delle funzionalità e vari esempi per renderne più chiaro il funzionamento. Nella seconda parte della tesi si descriverà invece come condividere file system tra sistemi operativi diversi all' interno della stessa macchina, si tratta di un approccio diametralmente opposto al precedente, in cui al posto di avere una singola copia dei dati, si manteneva una replica per ogni dispositivo coinvolto. Concentrando l' attenzione sui sistemi operativi Linux e Microsoft Windows verranno descritti approfonditamente gli strumenti utilizzati e illustrate le caratteristiche tecniche sottostanti.

Il gruppo dei punti razionali sulle curve ellittiche

Il primo capitolo espone nozioni generali sulle varietà e sulle curve algebriche, sulle mappe fra di esse e su alcune proprietà geometriche importanti per caratterizzare le curve ellittiche. Il secondo capitolo propone un'introduzione allo studio geometrico e algebrico di tali curve. Il terzo e il quarto capitolo affrontano lo studio dei punti a coordinate razionali, per curve definite prima su campi locali e poi su campi globali: l'insieme di tali punti è un gruppo. Il risultato fondamentale, contenuto nel teorema di Mordell-Weil, è che tale gruppo è finitamente generato. Tutto il quarto capitolo propone i risultati necessari per la dimostrazione di tale affermazione.

Mapping class group e complesso delle curve per superfici di Heegaard

In una 3-varietà chiusa è possibile individuare alcune superfici (dette di Heegaard) tali che, tagliando la 3-varietà lungo una di queste, essa si spezza in due corpi con manici che hanno per bordo tale superficie. La tesi propone alcuni recenti risultati circa l'interazione tra la topologia della 3-varietà, il gruppo di automorfismi delle sue superfici di Heegaard e complessi simpliciali costruiti a partire dalle curve su tali superfici.

Applicazione della metodologia Life Cycle Assessment al Passito di Pantelleria

Il presente studio riguarda l’applicazione della metodologia Life Cycle Assessment (LCA) ad una bottiglia di Passito di Pantelleria, prodotta dall’Azienda vitivinicola “Donnafugata” localizzata nel comune di Marsala in Sicilia. L’obiettivo di tale studio consiste nel quantificare e valutare le prestazioni energetico-ambientali derivanti dall’intero ciclo di vita del processo produttivo, nonché le fasi di produzione che presentano il maggiore impatto. Lo studio è stato ulteriormente approfondito effettuando una comparazione tra la produzione della singola bottiglia di Passito nei diversi anni 2007, 2008 e 2009 con lo scopo di determinare quali tra questi risulta avere il maggiore impatto ambientale. Gli impatti ambientali di un’Azienda vitivinicola risultano avere la loro particolare importanza in quanto la produzione di vino è un processo di natura complessa. Di conseguenza tali impatti possono compromettere le componenti fondamentali del processo produttivo, a partire dalle uve coltivate in vigna fino ad arrivare in cantina, dove avviene la trasformazione dell’uva in mosto e la successiva fase di vinificazione che determina il prodotto finale messo in commercio. Proprio attraverso il fluire delle seguenti fasi di trasformazione, in che misura queste consumano energia e producono emissioni? È importante sottolineare che lo studio del ciclo di vita di un prodotto può essere considerato come un supporto fondamentale allo sviluppo di schemi di etichettatura ambientale attraverso i quali è possibile indirizzare il consumatore finale verso beni più rispettosi dell’ambiente e fornire informazioni chiare e trasparenti sulle prestazioni ambientali del prodotto stesso. Allo stesso tempo tale strumento può essere adoperato dall’azienda per fornire garanzia delle credenziali ambientali del prodotto acquisendo così un vantaggio competitivo rispetto alle aziende concorrenti. Infatti, nell’ambito delle politiche comunitarie di prodotto, una delle applicazioni più significative della valutazione del ciclo di vita si ha nella dichiarazione ambientale di prodotto o EPD (Environmental Product Declaration). L’EPD è uno schema di certificazione volontaria che rappresenta un marchio di qualità ecologica per i prodotti, permettendo di comunicare informazioni oggettive, confrontabili e credibili relative alla prestazione ambientale degli stessi. Per essere convalidabili, le prestazioni ambientali presenti nelle EPD devono rispettare i requisiti stabiliti dal PCR- Product Category Rules, un documento nel quale sono presenti le regole per lo studio di una certa categoria di prodotto. Il presente lavoro può essere suddiviso in cinque step successivi. Il primo prevede la descrizione della metodologia LCA, adottata per la quantificazione dell’impatto ambientale, analizzandone singolarmente le quattro fasi principali che la caratterizzano; il secondo presenta la descrizione dell’Azienda vitivinicola e del Passito di Pantelleria, oggetto della valutazione, mettendo in evidenza anche le particolarità ambientali del territorio Pantesco in cui il prodotto prende vita; il terzo fornisce una descrizione delle caratteristiche principali dello strumento applicativo utilizzato per l’analisi, SimaPro nella versione 7.3; il quarto descrive le diverse attività di lavorazione svolte nel complesso processo di produzione della bottiglia di Passito, focalizzando l’attenzione sui componenti primari dell’oggetto di valutazione ed il quinto riguarda la descrizione dell’analisi LCA applicata alla singola bottiglia di Passito.

Sintesi di catalizzatori supportati Au/Cu e studio della loro reattività per l'ossidazione selettiva del 5-idrossimetilfurfurale

Al giorno d’oggi i combustibili fossili come carbone, olio e gas naturale forniscono più del 75% dell’energia mondiale. Tuttavia, la crescente richiesta di queste fonti di energia non rinnovabili, si manifesta in un momento in cui le riserve naturali si stanno esaurendo; è stato infatti stimato che le riserve petrolifere di tutto il mondo possano essere sufficienti per fornire energia e produrre prodotti chimici per i prossimi quarant’anni. Per questo motivo la conversione delle biomasse per produrre energia e prodotti chimici sta diventando una valida alternativa per diversificare le fonti energetiche e ridurre il surriscaldamento globale. Le biomasse, infatti, oltre ad essere una fonte rinnovabile, generano minori emissioni di gas serra rispetto ai combustibili fossili, perché la CO2 rilasciata nei processi di utilizzo viene bilanciata da quella consumata nel processo di crescita delle biomasse stesse. Lo sfruttamento delle biomasse per la produzione di building blocks per la chimica suscita particolare interesse, poiché le molecole ottenute sono già parzialmente funzionalizzate; ciò significa che la sintesi di prodotti chimici specifici richiede un minor numero di stadi rispetto ai building blocks petroliferi, con conseguente diminuzione di prodotti di scarto e sottoprodotti. Un esempio di queste potenziali “molecole piattaforma” è il 5-idrossimetilfurfurale (HMF), un importante composto derivato dalla disidratazione di zuccheri, intermedio chiave per la sintesi di un’ampia varietà di prodotti chimici e combustibili alternativi, tra cui l’acido 2,5- furandicarbossilico (FDCA), che è stato identificato tra i dodici composti chimici più importanti degli ultimi anni. Per esempio, il FDCA è un possibile sostituto dell’acido tereftalico, usato per produrre il polietilentereftalato (PET). Recentemente alcuni autori hanno riportato interessanti risultati sull’ossidazione dell’HMF a FDCA utilizzando catalizzatori a base di Au supportato. Questi catalizzatori mostrano però significativi problemi di disattivazione. Lo scopo di questo lavoro di tesi è stato quindi lo sviluppo di catalizzatori attivi e stabili nella reazione di ossidazione dell’HMF a FDCA. Il lavoro portato avanti ha avuto come obbiettivi principali: l’ottimizzazione della sintesi di nanoparticelle di oro e oro/rame a diverso rapporto molare, mediante un processo di sintesi, in acqua, a basso impatto ambientale. Tale metodo di sintesi si basa sull’azione riducente del sistema glucosio-NaOH ed è stato messo a punto in lavori di tesi precedenti. Le nanoparticelle sintetizzate sono state utilizzate, quali fase attiva, per la preparazione di catalizzatori supportati su TiO2 e CeO2 lo studio dell’attività catalitica e riusabilità dei catalizzatori preparati nell’ossidazione in fase liquida del HMF a FDCA.

Schemi numerici per filtri di diffusione non lineari applicati al denoising di immagini

La tesi tratta alcuni dei principali filtri di diffusione non lineari per il problema di denoising di immagini. In particolare pertendo dalla formulazione del problema come minimizzazione di un funzionale introduce modelli allo stato dell'arte come il filtro Lineare, di Perona Malik, alle Variazioni Totali e per Curvatura; infine un nuovo modello diffusivo sviluppato dal prof.Antonio Marquina è per la prima volta applicato al problema di denoising. Seguono numerosi schemi numerici alle differenze finite per risolverli, che generano procedimenti iterativi espliciti, impliciti e AOS. Verrà analizzato per la prima volta per il problema di denoising uno schema conservativo al prim'ordine e di ordine superiore, dopo evere proposto una modifica per rendere idoneo la funzione diffusività. Infine vi è un ampio capitolo con considerazioni numeriche e visive sui risultati sperimentali ottenuti.