Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z

L'attuale processo di sviluppo del software è abbastanza lontano dai canoni di sistematicità e correttezza propri di altre aree dell'ingegneria. L'obiettivo di questa Tesi è quello di fornire metodologie e strumenti realmente ingegneristici per la costruzione del software, attraverso l'introduzione di linguaggi general purpose per l'analisi e la progettazione, di robustezza industriale e con semantica formalmente definita. A partire da frasi corrette in tali linguaggi, le quali costituiscono a tutti gli effetti modelli di sistemi software, ci si propone la completa generazione del codice corrispondente.

Sintesi di membrane polimeriche nanoporose, funzionalizzate con N-metil-D-glucammina, per la rimozione dell'arsenico dalle acque

L’obbiettivo del lavoro è la messa a punto di membrane polimeriche nanoporose funzionalizzate con la N-metil-D-glucamina (NMDG), per la rimozione dell’arsenico dalle acque. Al fine di ottenere membrane con proprietà di filtro molecolare selettivo, si è deciso di sfruttare la capacità della NMDG di chelare selettivamente gli ossianioni dell’arsenico. La NMDG è stata funzionalizzata in maniera da ottenere due monomeri: metacrilato della N-metil-D-glucammina e 4-vinilbenzil-N-metil-D-glucammina, sui quali è stata effettuata una sililazione dei gruppi ossidrilici della glucammina in maniera da ottenere composti liquidi e quindi adatti al processo produttivo delle membrane. Con l’obbiettivo di ottenere un elevata area superficiale la morfologia della membrana è stata controllata mediante imprinting di nanoparticelle di silice colloidale. La cattura del arsenico da parte delle membrane polimeriche è stata valutata mediante analisi di assorbimento atomico a seguito dell’attacco acido con HF 5% che rimuove le particelle di silice ed i gruppi protettori.

Grafene: Proprieta, sintesi e applicazioni

Nel 2004 due Fisici dell’Università di Manchester, nel Regno Unito, isolarono per la prima volta un materiale dallo spessore di un singolo atomo: il grafene. Questo materiale, composto da un reticolo di atomi di carbonio disposti a nido d’ape, possiede interessanti proprietà chimiche e fisiche, tra le quali una elevata resistenza chimica e meccanica, un eccellente trasporto termico ed elettrico ed un’ elevata trasparenza. Il crescente fermento attorno al grafene ha suscitato un forte interesse a livello europeo, al punto che la Comunità Europea ha approvato due dei più grandi progetti di ricerca mai finanziati in Europa, tra questi il Graphene Flagship Project (www.graphene-flagship.eu) che coinvolge oltre 120 gruppi di ricerca da 17 Stati Europei e distribuirà nei prossimi anni 1,000 milioni di euro per lo sviluppo di tecnologie e dispositivi a base grafene. Con Flagship Grafene l’Europa punta sul grafene, e lo fa in grande. L’obiettivo è dunque ambizioso. Il suddetto materiale è infatti non solo il più sottile che conosciamo, con uno spessore di un atomo di carbonio, ma è anche 100 volte più resistente dell’acciaio e al tempo stesso flessibile. E’ Inoltre trasparente e conduce l’energia elettrica e termica molto meglio del rame. Ergo, il grafene offre le stesse performance dei materiali usati attualmente nei nostri dispositivi, con l’aggiunta però di ulteriori funzionalità.

Sintesi e caratterizzazione di carboni per applicazioni in catalisi

I materiali a base di carbone vengono utilizzati in catalisi come supporti per fasi attive, ma anche direttamente come catalizzatori essi stessi, grazie soprattutto alla versatilità delle loro proprietà di massa e superficiali. L’attività catalitica dei carboni è influenzata soprattutto dalla natura, dalla concentrazione e dall’accessibilità dei siti attivi tra cui i più comuni sono: gruppi funzionali superficiali, difetti, ed eteroatomi inseriti nella struttura. Per ridurre i problemi diffusionali legati alla microporosità dei carboni attivi sono in corso numerosi studi sulla sintesi di carboni mesoporosi, i quali possono fornire benefici unici come alta area superficiale ed elevato volume dei pori, uniti a buone proprietà chimiche e stabilità meccanica. Nel corso di questa tesi, sono state svolte diverse attività finalizzate principalmente alla preparazione e alla caratterizzazione di carboni mesoporosi da utilizzare in ambito catalitico. La sintesi di carboni porosi è stata eseguita con la metodologia soft-templating, un metodo basato sulla replica di un agente templante polimerico che si organizza in micelle attorno alle quali avviene la reticolazione di un precursore polimerico termoindurente. Precursore e templante vengono pirolizzati ad elevate temperature per rimuovere in un primo momento l’agente templante e successivamente carbonizzare il precursore. Sono state scelte due metodologie di sintesi riportate in letteratura con lo scopo di sintetizzare due tipologie di carboni. La sintesi Mayes è stata utilizzata per sintetizzare carboni mesoporosi classici, mentre la sintesi Hao è stata utilizzata per ottenere carboni porosi contenenti azoto. Le due sintesi sono state ottimizzate variando diversi parametri, tra cui il tempo di reticolazione (curing) e la temperatura di pirolisi. Sui diversi carboni ottenuti sono stati effettuati alcuni trattamenti superficiali di ossidazione al fine di modificarne la funzionalità. In particolare si sono utilizzati agenti ossidanti come HNO3, H2O2 e N2O.

Sintesi di nuovi copolimeri a struttura controllata per inibire la formazione d'idrati

Durante i processi di estrazione può avvenire la formazione spontanea d’idrati di gas naturali, i quali, agglomerandosi, possono ostruire le tubazioni. Inibire la formazione degli idrati è quindi di fondamentale importanza al fine di prevenire danni ambientali ed economici. In questo contesto abbiamo ritenuto interessante sintetizzare diversi copolimeri a struttura controllata con lo scopo di utilizzarli come inibitori d’idrati. In particolare, dopo aver ottimizzato la sintesi dell’omopolimero costituente il primo blocco mediante ATRP, questo è stato utilizzato come macroiniziatore per la successiva copolimerizzazione di tre altri monomeri a diversa polarità. L’efficienza d’inibizione di tutti i derivati copolimerici ottenuti è stata testata e confrontata con quella di additivi commerciali attualmente in uso mediante DSC.

Sintesi e caratterizzazione di nuovi cluster carbonilici Rh-Sb e Rh-Ge

The topic of my thesis was focused on the synthesis of heteroatomic Rh clusters stabilized by carbonyl ligands. I studied the reactivity of [Rh7(CO)16]3- with different Sb3+ and Ge4+ salts, and tried to synthesize new species by changing the reaction conditions. Indeed, in order to obtain new Rh-Sb and Rh-Ge clusters, I employed different stoichiometric ratios, solvents and atmospheres (N2 or CO). As far as the Rh-Sb system is concerned, I successfully synthesized three new compounds through two different reactions, namely [Rh20Sb3(CO)36][NEt4]3, [Rh21Sb2(CO)38][NEt4]5 and [Rh12Sb(CO)24][NEt4]3. At the same time, I investigated the Rh-Ge system and succeeded in the isolation of the new cluster [Rh14Ge2(CO)30][NEt4]2, along with [Rh12SbGePh2(CO)26][NEt4]2, by treating [Rh7(CO)16]3- with both Ge4+ and Sb3+ salts. Each compound has been characterized by IR spectroscopy, ESI-MS spectrometry and single crystal X-ray diffractometry. Finally, I conduced chemical reactivity tests on some of the obtained compounds.

Sintesi e caratterizzazione di nuovi politiofeni idrosolubili per applicazioni fotovoltaiche

Il presente lavoro è stato incentrato sulla sintesi e la caratterizzazione di un polimero elettroconduttore solubile in acqua al fine di valutare se, tramite questo approccio, si potesse aumentare l’efficienza delle celle fotovoltaiche preparate con architettura BHJ. Il polimero ottenuto è stato caratterizzato mediante tecniche spettroscopiche (NMR, FT-IR) e le sue caratteristiche ottiche (tramite spettroscopia UV-Vis). Sono state quindi testate le celle fotovoltaiche utilizzando il prodotto sintetizzato come strato fotoattivo e ne sono state determinate le caratteristiche fotoelettriche (curve J/V).

Fotocatalizzatori di seconda generazione: sintesi e indagine strutturale su nanoparticelle di Ti1-xVxO2

Il TiO2 è probabilmente il fotocatalizzatore maggiormente studiato in letteratura a partire già dagli anni settanta. Le applicazioni più rilevanti dei dispositivi fotocatalitici sono in campo ambientale (depurazione delle acque da inquinanti quali coloranti, microbatteri e residui metallici) e nella produzione di "solar fuel" (combustibili solari), fra questi l'idrogeno. L'idrogeno come vettore energetico è eco-compatibile e può essere utilizzato come carburante il cui prodotto di scarto è vapor d'acqua. Il biossido di titanio è uno dei materiali più promettenti per la costruzione di celle fotocatalitiche, grazie alla sua biocompatibilità e resistenza alla corrosione in ambiente acquoso. Il limite principale di questo materiale è legato allo scarso assorbimento nel visibile dovuto al band gap troppo elevato (circa 3.2 eV). Fra le varie strategie per superare questo problema, è stato mostrato che opportuni droganti permettono di incrementare la "Visible Light Activity", portando ai cosiddetti fotocatalizzatori di 2a generazione. I droganti più promettenti sono il vanadio e l'azoto che possono essere utilizzati singolarmente o in co-doping. L'inserimento di questi materiali nella matrice di TiO2 porta a un notevole miglioramento dei dispositivi abbassando il valore di band gap e permettendo un maggiore assorbimento nello spettro solare. Scopo di questa tesi è lo studio dei processi di crescita di film nanoparticellari di TiO2 drogato con vanadio. La tecnica di crescita usata è la Condensazione in Gas Inerte (IGC), mentre per l'indagine di morfologia e composizione ci si è serviti della microscopia elettronica. Con l'ausilio della diffrazione di raggi X è stato possibile controllare lo stato di cristallizzazione e determinare a quali temperature di trattamento in atmosfera ossidante avviene quest'ultima. Tramite le misure micro-Raman effettuate presso i laboratori dell'Università di Trento è stato possibile monitorare l'andamento della cristallizzazione di campioni depositati con parametri di evaporazione differenti (presenza di ossigeno o meno nell'atmosfera di evaporazione), evidenziando un maggior controllo sulla fase cristallina ottenuta per i campioni cresciuti in atmosfera ricca di ossigeno. Sono state effettuate analisi strutturali avanzate presso i laboratori ESRF di Grenoble, dove sono state portate avanti misure di assorbimento di raggi X di tipo EXAFS e XANES sulla soglia del titanio e del vanadio, evidenziando il carattere sostituzionale del vanadio all'interno della matrice di TiO2 e le diverse fasi di cristallizzazione.

Studio ed ottimizzazione di una via di sintesi di idrossitirosolo a ridotto impatto ambientale

In questo progetto di tesi abbiamo lavorato all’ottimizzazione di un nuovo processo di sintesi di idrossitirosolo eco-compatibile e di possibile applicazione industriale. Il processo, che risulta una via molto competitiva per ottenere idrossitirosolo, si compone di due step: una prima sintesi di un intermedio acetalico e la successiva riduzione di questo al prodotto di interesse. In particolare il lavoro di tesi ha riguardato lo studio di catalizzatori e delle condizioni per le due reazioni al fine di aumentare le selettività dei prodotti target, analizzando la formazione dei sottoprodotti. Si è cercato, inoltre, di intraprendere una strada alternativa, provando la sintesi di un intermedio acetalico ciclico (possibilmente più stabile dell’altro intermedio acetalico) e, quindi, la sua riduzione, ritenendo di poter così evitare la formazione dei sottoprodotti. In this project we worked on the optimization of a new and industrially applicable process for the synthesis of hydroxytyrosol. Furthermore, we devised a process according to the principles of green chemistry. The process, that is a competitive way to obtain hydroxytyrosol, consists of two steps: first the synthesis of an acetalic precursor and then its reduction. Particularly the work was focused on the study of the catalysts and the conditions for the two reactions in order to increase the selectivity of target products, also analyzing the formation of the by-products. At last, we tried to take an alternative route with the synthesis of another acetalic precursor: a cyclic one. This because we thought that a cyclic acetal should be more stable than not cyclic one and maybe the reduction on this second precursor could not pass by the formation of the by-products already saw.

Nuovi coniugati fra acido azelaico ed azaeterocicli: sintesi e valutazione dell'attività biologica

The well-known antiproliferative properties of the 9-hydroxystearic acid (9-HSA) on human colon cancer cells (HT-29 cell line) have inspired this thesis work in order to obtain new derivatives maintaining the C1-C8 chain of the HSA linked to an heterocyclic moiety at the C-9 carbon atom and to investigate their biological activity. First, thiazoles, thiadiazoles and benzothiazoles, that are compounds of interest in many fields for their biological activities, have been introduced through an amide bond starting from their 2-amino precursors. The products have been obtained by treatment with methyl 9-chloro-9-oxononanoate according to a Schotten-Baumann type reaction. The acylation reaction occurred at the endocyclic nitrogen atom of the heterocycle, as ascertained through NOESY-1D experiment. After, methyl 9-chloro-9-oxononanoate was reacted with indole, N-methylindole, and triptamine giving a serie of new indole derivatives. Finally, the biological activity of some compounds has been tested through assays on HT-29 cancer cells and bacterial and fungal microorganisms; docking calculations have also been performed to evaluate the possible interactions with the active site of histone deacetylase, which are molecular targets of the 9-HSA.

Per il progetto di restauro: Analisi e sintesi di esperienze diverse

È possibile delineare un percorso operativo imprescindibile e necessario ad un intervento di restauro? Alla base di questa tesi vi è la volontà di definire una traccia leggera ma chiara, un iter metodologico pratico che tuttavia non appiattisca il restauro ad una mera disciplina tecnica ma lo consideri per quello che realmente è, un atto di progettazione dell’architettura, con le relative complessità e sfaccettature che contraddistinguono questo delicato esercizio. Ho tracciato la mia ipotesi di un percorso con l'aiuto di una bibliografia di riferimento, suddividendo in tappe il percorso in modo da renderlo più chiaro e leggibile. Dopodiché ho presentato tre esperienze, fatte nel corso di questi anni di studio, e ho comparato questi lavori con la metodologia definita precedentemente. Fine ultimo di questo elaborato è andare oltre le singole esperienze svolte ed estrapolare un filo conduttore per il progetto di restauro, che possa servire di qui in avanti, in esperienze future.

Sintesi e caratterizzazione di nuovi materiali politioalchiltiofenici per applicazioni in celle solari bulk-heterojunction

L’oggetto della presente tesi di laurea magistrale consiste nello studio di polimeri coniugati nella catena principale, per una loro applicazione come materiali fotoattivi in celle fotovoltaiche. In particolare, sono stati sintetizzati e caratterizzati politiofeni tioalchil sostituiti, funzionalizzati in posizione 3-3' con catene alchiliche di diversa lunghezza e grado di ramificazione (tra cui una chirale), al fine di studiarne l'effetto sulle proprietà ottiche ed elettriche del materiale. I polimeri ottenuti sono stati caratterizzati mediante tecniche spettroscopiche (1H-NMR, UV-PL), cromatografia a permeazione su gel (GPC), analisi termiche (DSC, TGA) e misure elettrochimiche (voltammetria ciclica). Il comportamento chiro-ottico del campione chirale è stato inoltre valutato tramite misure di dicroismo circolare. Si è infine testata l’efficienza delle celle fotovoltaiche ottenute utilizzando i polimeri sintetizzati come materiale fotoattivo.

Sintesi di acido glucarico da d-glucosio con catalizzatori a base di oro nanoparticellare

L’utilizzo delle biomasse rappresenta oggi una delle vie più interessanti da percorrere nell’ambito di una chimica industriale maggiormente sostenibile, alternativa alla chimica tradizionale basata sulle risorse fossili. I carboidrati sono i costituenti maggioritari della biomassa e potrebbero rappresentare un’alternativa ideale al petrolio per la produzione dei building-blocks, molecole di partenza per lo sviluppo della filiera produttiva della chimica. Fra i building-blocks ottenibili dagli zuccheri vi è l’acido glucarico. I suoi usi sono molteplici ma suscita grande interesse soprattutto per la possibilità di essere utilizzato nella sintesi di diverse tipologie di polimeri. Attualmente la maggior parte dei metodi di sintesi di questa molecola prevedono l’utilizzo di ossidanti tossici o dannosi per l’ambiente come l’acido nitrico. Lo scopo di questo lavoro di tesi è stato lo studio di catalizzatori eterogenei per la sintesi di acido glucarico da D-glucosio utilizzando ossigeno puro come ossidante. Sono stati sintetizzati sistemi monometallici a base di oro e sistemi multimetallici contenenti oro ed altri metalli in lega. Tutti i catalizzatori sono stati preparati depositando i metalli sotto forma di nanoparticelle su carbone attivo. Lo studio dei catalizzatori è stato focalizzato sull’individuazione dei metalli e delle condizioni di reazione ottimali che permettano di aumentare la selettività in acido glucarico. Gli studi condotti hanno portato alla conclusione che è possibile ottenere acido glucarico a partire da D-glucosio con rese fino al 35% utilizzando catalizzatori a base di oro in presenza di ossigeno. Attualmente l’acido glucarico viene prodotto solo su piccola scala ma ulteriori sviluppi in questa direzione potrebbero aprire la strada allo sviluppo di un nuovo processo industriale per la sintesi di acido glucarico sostenibile sia da un punto di vista economico che ambientale.

Progettazione e sintesi di coppie ioniche ("soft salts") basate su complessi Ir(III) tetrazolici.

In questo lavoro di tesi sperimentale si è sintetizzata e caratterizzata la prima classe di complessi tetrazolici di Ir(III) anionici con formula generale [Ir(C^N)2(L)2]-, in cui oltre ai leganti ciclometallanti ”C^N” quali 2-fenilpiridinato (ppy) o 2-(2,4-difluorofenil)piridinato (F2ppy), sono stati introdotti due anioni tetrazolato (L) come il 5-fenil tetrazolato (Tph) oppure 5-(4-cianofenil) tetrazolato (TphCN). I complessi di Ir(III) anionici ottenuti si sono mostrati intensamente fosforescenti, con emissioni centrate nella regione del blu o del verde (460 < λmax<520 nm). I derivati anionici sono stati poi combinati con complessi Ir(III) tetrazolici cationici in grado di fornire emissione nella regione del rosso (λmax > 650 nm), formando così i primi esempi di coppie ioniche (“soft salts”) a matrice puramente tetrazolica. In tutti i casi si è osservato come il colore emesso da parte dei soft salts sia il risultato di una vera propria sintesi additiva delle emissioni derivanti da componenti ioniche con proprietà fotoemittive differenti. La sostanziale assenza di fenomeni di energy o electron transfer tra la componente anionica e cationica e il giusto bilancio tra le emissioni blu o verdi e rosse si sono tradotte, in taluni casi, nell’ottenimento di luce bianca, con la possibilità di variare ulteriormente i colori emessi in seguito all’allontanamento dell’ossigeno molecolare disciolto nelle soluzioni dei soft salts stessi.

Sintesi di complessi luminescenti anionici di Ir(III)

Negli ultimi anni si è osservato un crescente sviluppo della ricerca nel campo dei materiali luminescenti per le loro diverse applicazioni reali e potenziali, fra cui l’impiego in dispositivi elettroluminescenti, quali OLEDs (Organic Light-Emitting Diodes) e LECs (Light-Emitting Electrochemical Cells). In modo particolare, si rivolge grande attenzione ai complessi ciclometallati di Ir(III) grazie alle peculiari caratteristiche che li contraddistinguono fra i materiali luminescenti, come l'emissione fosforescente, alte rese quantiche di emissione, lunghi tempi di vita e buona stabilità nei dispositivi. Oltre a tali caratteristiche uno dei principali vantaggi presentati dai complessi di Ir(III) è la possibilità di modulare la lunghezza d'onda di emissione modificando la struttura dei leganti ciclometallanti e ancillari. Considerata la versatilità di questi sistemi e la loro conseguente rilevanza, diverse sono state le strategie applicate per l'ottenimento di complessi di Ir(III) generalmente neutri e cationici; al contrario pochi esempi di complessi di Ir(III) anionici sono attualmente riportati in letteratura. Lo scopo del mio lavoro di tesi è stato quindi quello di sintetizzare tre nuovi complessi anionici luminescenti di Ir(III) con tre diversi leganti ciclometallanti. Il piano di lavoro è stato suddiviso in stadi successivi, partendo dalla sintesi dei tre leganti ciclometallanti, impiegati poi nella preparazione dei dimeri di Ir(III) precursori dei miei complessi; infine facendo reagire questi ultimi con un legante ancillare bisanionico, derivato dal di(1H-tetrazol-5-il)metano, si è giunti all'ottenimento di tre complessi anionici luminescenti di Ir(III). Dopo questa prima parte, il lavoro di tesi è proseguito con la caratterizzazione spettroscopica dei tre complessi anionici e la determinazione delle loro proprietà fotofisiche tramite la registrazione di spettri di assorbimento, di emissione e la determinazione delle rese quantiche di emissione e dei tempi di vita. Infine si è preparato un “soft salt” costituito da un complesso anionico e uno cationico di Ir(III) le cui caratteristiche sono tutt'ora oggetto di studio del gruppo di ricerca presso il quale ho svolto il mio lavoro di tesi.