Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Valutazione sperimentale di tecnologie per la creazione di VPN in ambito LAN/WAN

Il documento riporta, con prove sperimentali, un confronto tra le prestazioni che diverse tecnologie VPN hanno all'interno dello scenari wired e wireless. Il protocollo di tunneling utilizzato per la creazione delle VPN incide in modo particolare sulle performance della rete. L'obiettivo è proprio quello di valutare il protocollo che fornisce una qualità migliore a livello prestazionale, il tutto tramite un insieme mirato di test.

Sviluppo di un modello numerico termofisico di prodotti surgelati confezionati

Introduzione Una delle maggiori difficoltà durante la produzione dei prodotti surgelati riguarda la loro stabilizzazione e il mantenimento della catena del freddo durante tutte le fasi del processo produttivo. Tramite il seguente lavoro si propone di determinare a che temperatura e dopo quanto tempo, diverse tipologie di confezioni di surgelati (pisellini, melanzane e spinaci), raggiungono la temperatura ipotetica di inizio di scongelamento. Con lo scopo di analizzare, in maniera rapida ed economica, molte diverse combinazioni di tempo - temperatura dell’ambiente di produzione di diverse tipologie di prodotti surgelati (pisellini, melanzane e spinaci), sono stati sviluppati dei modelli numerici capaci di descrivere i fenomeni termici che intervengono durante il confezionamento dei prodotti. Materiali e Metodi Il modello sviluppatotiene conto sia dei fenomeni di convezione naturale che avvengono tra la superficie della confezione e il flusso esterno di aria, sia dei fenomeni di conduzione che interessano l'interno della confezione, la confezione (busta) ed il piano di appoggio. In figura vengono schematizzati i fenomeni termici presi in esame. La geometria del modelli rispecchia le reali dimensioni delle confezioni dei prodotti presi in esame. La mesh dei modelli 3D è costituita da elementi triangolari, posizionati sulle boundaries, tetraedrici e prismatici, posizionati in tutto il restante dominio. Trattandosi di trasferimenti di calore per superfici, nelle zone di interfaccia è stata adottata una mesh particolarmente fine. In figura viene riportata la mesh dell'intera geometria ed un particolare della mesh interna dove, i diversi colori indicano elementi tetraedrici o prismatici di diverse dimensioni. Per ottenere un accurato modello numerico è necessario descrivere nel modo più realistico possibile i materiali coinvolti, quindi è stato necessario descrivere i prodotti surgelati tramite le loro reali proprietà termiche in funzione della temperatura (conducibilità termica, calore specifico, diffusività termica). I valori delle proprietà termiche utilizzati nel modello tengono conto del fatto che il materiale interno alla busta è poroso, infatti è costituito da una "miscela" di aria e prodotto Successivamente sono state impostate le equazioni del modello e le condizioni al contorno. All'interno del volume della confezione, il trasfermiento del calore avviene per conduzione, mentre sulla superficie avviene per convezione, nelle zone esposte all'aria e per contatto nelle zone di contatto tra confezione e piano di appoggio. La validazione è stata effettuata riproducendo numericamente le medesime condizioni utilizzate durante la sperimentazione. I parametri tenuti in considerazione sono i seguenti: tipologia di confezione (definita numericamente dai parametri dimensionali), tipologia di prodotto (contraddistinto da specifiche proprietà termo-fisiche), temperatura della cella di conservazione, tempo di conservazione, temperatura iniziale all'interno della confezione pari. Risultati In figura viene riportato un esempio di configurazione dell’andamento della temperatura all’interno della confezione di pisellini dopo 20 minuti di condizionamento a 5°C. E’ possibile osservare che la temperatura della parte di confezione a diretto contatto con il piano di acciaio, raggiunge zero gradi (zona rossa), mentre la parte centrale della confezione si mantiene sui -22°C (zona blu). Con lo scopo di simulare la conservazione della confezione posizionata verticalmente, è stata eliminata la condizione di contatto tra piano d'acciaio e confezione. E’ possibile osservare che, in questo caso, la variazione della temperatura nei diversi punti della confezione è meno elevata, infatti la temperatura massima registrata è pari a circa -8°C (zona rossa), mentre la parte centrale della confezione si mantiene sui -22°C (zona blu). La confezione di melanzane è risultata essere la meno adatta al mantenimento della temperatura in quanto è caratterizzata da un ampia area di contatto con il piano e da uno spessore abbastanza limitato; la confezione che mantiene la temperatura più a lungo è quella costituita dagli spinaci, anche se le temperature medie delle confezioni di spinaci e pisellini sono pressoché simili. A fronte dei risultati ottenuti confrontando gli andamenti della temperatura delle tre differenti confezione, è stato valutato l'effetto del volume della confezione sull'andamento della temperatura media e al centro della confezione. Le prove sono state effettuate dimezzando e aumentando del doppio il volume della confezione di pisellini. Differenze significative sono state riscontrate solo tra la confezione standard e quella con volume raddoppiato. Dalla validazione sperimentale è risultato che il modello che meglio si adatta ai dati sperimentali è quello relativo ai pisellini, probabilmente perché il prodotto all'interno della confezione è distribuito in maniera piuttosto uniforme. Nelle confezioni degli spinaci e delle melanzane, risulta molto più difficile definire un valore di porosità che può variare anche da busta a busta. Tuttavia, a fronte di questa variabilità, i modelli risultano essere adatti ad un uso industriale. Conclusioni -I modelli numerici sviluppati permettono di analizzare un numero arbitrario di combinazioni delle variabili durata del confezionamento, temperatura ambiente, temperatura iniziale del prodotto, forma e dimensioni della confezione. - Il modello permette di osservare il campo di temperatura con un grado di dettaglio irraggiungibile dalle tecniche sperimentali. -I risultati, in forma integrale, si trovano in ottimo accordo con quelli osservati sperimentalmente.

Stima di abbondanza di Tursiops truncatus (Montagu, 1821) nel levante ligure ed evoluzione dei marcaggi naturali utili alla fotoidentificazione

Il bacino ligure, pur facendo parte della più grande area marina protetta del Mar Mediterraneo, il Santuario Pelagos, risulta essere una regione in cui le attività umane stanno condizionando la presenza di numerose specie di Cetacei. Fra tutte Tursiops truncatus, in virtù della sua distribuzione limitata per lo più alle acque basse (<200 metri) è la specie maggiormente soggetta alle conseguenze dirette e indirette dell’impatto antropico. Questo elaborato è stato condotto all’interno del più ampio progetto “Delfini Metropolitani” coordinato dall’Acquario di Genova. L’area di studio presa in esame è l’intero levante ligure con tre stazioni di ormeggio: Genova, Rapallo e Lerici. Tramite la tecnica della cattura-ricattura fotografica è stato possibile analizzare la distribuzione ed effettuare delle stime di abbondanza per il periodo di studio 2005 – 2012. Dai risultati e dal confronto con altri studi è emerso che il tursiope vive entro la piattaforma continentale e sembrerebbe che all’aumentare di quest’ultima aumenti la dimensione della popolazione. Per il periodo di studio considerato la popolazione non fa registrare trend demografici significativi, rimanendo costante fra 150 - 250 individui. In questo elaborato si sono anche studiate le differenze fra maschi e femmine nell’evoluzione dei marcaggi naturali. I risultati preliminari hanno mostrato una differenza significativa fra i due sessi. Il maschio ha un valore maggiore come cambiamento rispetto alle femmine, questo è dovuto al fatto che gli individui maschi hanno interazioni spesso aggressive per poter accedere alle femmine. Infine grazie all’analisi dell’evoluzione dei marcaggi naturali e delle differenze trovate, si è proposto un nuovo metodo per poter sessare gli animali. Questo qui proposto, comunque, è un metodo derivante da uno studio preliminare e si ha bisogno di successivi studi per testarne l’efficienza e l’affidabilità.

Alterazioni del sistema di trasduzione AMPc-dipendente nel mitilo mediterraneo Mytilus galloprovincialis esposto a fluoxetina

Negli ultimi decenni le nuove scoperte mediche e il miglioramento dello stile di vita nei paesi occidentali hanno determinato un aumento del consumo di sostanze terapeutiche, nonché della gamma di prodotti farmaceutici e parafarmaceutici comunemente utilizzati. Gli studi di cinetica dei farmaci dimostrano con certezza che essi, seppur metabolizzati, mantengono inalterato il loro potere d’azione, rimanendo biodisponibili anche una volta escreti dall’organismo. A causa della loro eccessiva polarità tali molecole sono inoltre difficilmente trattenute dai convenzionali impianti di depurazione dei reflui urbani, dai quali confluiscono inevitabilmente verso le acque fluviali e/o costiere le quali risultano. In ragione di ciò, la valutazione degli effetti che la loro presenza può provocare sulla qualità dei sistemi di approvigionamento idrico e sulla biologia delle specie tipiche degli ecosistemi acquatici, ha classificato tali composti come una nuova classe di inquinanti emergenti, il cui impatto ambientale non risulta ancora del tutto arginato attraverso adeguate contromisure legislative. I farmaci sono sostanze bioattive progettate per avere effetti specifici a bassissime concentrazioni negli organismi target attraverso specifici meccanismi d’azione. Nel caso in cui i bersagli cellulari su cui agiscono siano evolutivamente conservati negli organismi non target, essi possono esercitare le proprie funzioni attraverso i medesimi meccanismi di regolazione fisiologica attivati nelle specie target, dando origine a effetti specifici, o anche aspecifici, nel caso in cui tali bersagli siano deputati alla regolazioni di funzioni differenti. Pertanto lo scopo del presente lavoro di tesi è stato quello di analizzare le possibili alterazioni di carattere fisiologico in individui di mitilo mediterraneo (Mytilus galloprovincialis) esposti a concentrazioni ambientali di fluoxetina, farmaco antidepressivo appartenente alla classe degli inibitori selettivi del riassorbimento presinaptico della serotonina (SSRI). Più nel dettaglio, a seguito di un’esposizione per 7 giorni a dosaggi compresi tra 0.03 e 300 ng/L di FX, sono stati analizzati i livelli intracellulari di AMPc e l’attività dell’enzima PKA nei diversi trattamenti sperimentali effettuati. Inoltre sono stati valutati i livelli di espressione genica del recettore serotoninergico 5HTmyt1 e della la P-glicoproteina (Pgp, gene ABCB1), trasportatore di membrana responsabile del sistema di detossificazione noto come Multi-xenobiotic resistance (MXR). Nella ghiandola digestiva, la FX causa una diminuzione statisticamente significativa dei livelli di AMPc, dell’attività della PKA e dell’espressione del gene ABCB1 rispetto al controllo. Al contrario nel mantello il farmaco non produce alterazioni dei livelli intracellulari di AMPc e dell’attività della PKA mentre si apprezza una sottoespressione del gene ABCB1 nei trattamenti a dosaggi intermedi. In entrambi i tessuti si nota un aumento dell’espressione genica di 5HTmyt1 alle minori concentrazioni di FX, mentre ai dosaggi più alti non si registrano alterazioni significative rispetto al controllo. Nel loro insieme i risultati indicano che nei mitili, concentrazioni ambientali di FX producono significative alterazioni di diversi parametri fisiologici attraverso una modulazione specifica dei medesimi bersagli molecolari coinvolti nella terapia umana. La riduzione dei livelli di AMPc/PKA apprezzata nella ghiandola digestiva risulta in linea con la funzione inibitoria svolta dal recettore 5HTmyt1 su tale via di trasduzione, mentre l’assenza di variazioni significative registrata nel mantello supporta l’ipotesi di un’interazione tra il sistema serotoninergico e catecolaminergico nella regolazione dei processi legati al ciclo riproduttivo che si verificano in tale tessuto. In conclusione, i dati dimostrano che l’espressione del gene codificante la proteina Pgp è regolata dalla FX attraverso uno specifico meccanismo d'azione AMPc-dipendente modulato dalla serotonina; tuttavia, è ipotizzabile anche un effetto non specifico indotto dalla FX stessa, per esempio attraverso l’induzione di stress ossidativo. Inoltre essi evidenziano la presenza di un meccanismo di regolazione retroattivo sulla espressione dei recettori 5HTmyt1 in funzione delle concentrazioni extracellulari di serotonina modulate dall’azione della FX.

Valutazione del rischio ecologico di residui di farmaci nell’ambiente: analisi sperimentale della tossicità sul crostaceo Daphnia magna

I farmaci sono una nuova classe di inquinanti ambientali ubiquitari che raggiungono, insieme alle acque fognarie, i depuratori urbani che non sono in grado di rimuoverli o degradarli. Così le acque depurate, ancora ricche di farmaci, si riversano nei canali riceventi portando questo carico di inquinanti fino ai fiumi e ai laghi. L’obiettivo del presente studio è stato fornire un contributo alla valutazione del rischio ecologico associato al rilascio di miscele di farmaci nell’ambiente acquatico, verificando con esperimenti di laboratorio gli effetti dell’esposizione congiunta a propranololo e fluoxetina sulla riproduzione di Daphnia magna, crostaceo planctonico d’acqua dolce. Il propranololo è un farmaco beta-bloccante, ossia blocca l'azione dell'adrenalina sui recettori adrenergici di tipo beta del cuore e viene utilizzato contro l’ipertensione. La fluoxetina è un antidepressivo, inibitore selettivo della ricaptazione della serotonina. Sono stati eseguiti test cronici (21 giorni) con solo propranololo (0,25 - 2,00 mg/L) e con solo fluoxetina (0,03 - 0,80 mg/L) che hanno stimato un EC50 per la riproduzione di 0,739 mg/L e di 0,238 mg/L, rispettivamente. L’ultima fase sperimentale consisteva in un test cronico con 25 miscele contenti percentuali diverse dei due farmaci (0%; 25%; 50%; 75%; 100%) e con diverse concentrazioni totali (0,50; 0,71; 1,00; 1,41; 2,00 unità tossiche). Le unità tossiche sono state calcolate sulla base degli EC50 dei precedenti test cronici con i singoli farmaci. I dati sperimentali del test sono stati analizzati utilizzando MixTox, un metodo statistico per la previsione degli effetti congiunti di miscele di sostanze tossiche, che ha permesso di stabilire quale fosse il modello in grado di rappresentare al meglio i risultati sperimentali. Il modello di riferimento utilizzato è stato la concentration addition (CA) a partire dal quale si è identificato il modello che meglio rappresenta l’interazione tra i due farmaci: antagonism (S/A) dose ratio dependent (DR). Infatti si evidenzia antagonismo per tutte le miscele dei due farmaci, ma più accentuato in presenza di una maggiore percentuale di propranololo. Contrariamente a quanto verificato in studi su altre specie e su effetti biologici diversi, è comunque stato possibile evidenziare un affetto avverso sulla riproduzione di D. magna solo a concentrazioni di propranololo e fluoxetina molto più elevate di quelle osservate nelle acque superficiali.

Progettazione e sviluppo di un RVE (Reconfigurable Virtual Environment) per applicazioni nei settori dell’ingegneria industriale

Il presente elaborato descrive la realizzazione, presso il Laboratorio di Realtà Virtuale e Simulazione della Seconda Facoltà di Ingegneria, di un RVE (Reconfigurable Virtual Environment), per applicazioni nei settori dell’ingegneria industriale. La tesi ripercorre la fase di progettazione del sistema basato sull'integrazione di componenti COTS. E' definito, inoltre, un insieme di applicazioni target nei settori dell'ingegneria industriale di cui si valuta la compatibilità con il Virtual Environment. L'elaborato si conclude con la presentazione dei risultati e dei possibili sviluppi futuri.

Palermo di Buenos Aires: Borges e il sobborgo riconquistato.

Abbiamo più volte ribadito all’interno di questa tesi che una delle più importanti azioni che Borges compie con la sua scrittura è quella di riportare in vita, attraverso le memorie passate, la città di Buenos Aires, e in particolare il sobborgo. Il poeta si riappropria della sua città d’infanzia con un processo di allontanamento da quei tratti che oggi contraddistinguono Buenos Aires (come ad esempio la rumorosità assordante della vita metropolitana) a favore di quei connotati che un tempo rendevano la città mitica. Questo è il tentativo di elevare e recuperare l’aspetto autoctono del “suo” quartiere, valorizzando gli elementi caratterizzanti il sobborgo, che portano alla scoperta delle bellezze dei “quartieri amici” come scritto nel prologo di Fervore di Buenos Aires. Un altro elemento fondamentale che ha guidato questo lavoro è il tango. Borges opera in un‘epoca in cui non esiste un’identità argentina chiara e definita. Il processo di immigrazione ha fatto sì che la mescolanza di culture provenienti dall’estero, soprattutto dall’Europa, frammentasse quelli che erano le abitudini e i costumi primordiali del paese. Dunque Borges affronta questo tema facendo del tango il mezzo per la riconquista di un’identità che con il tempo si è perduta; questo perché il tango è uno dei pochi elementi, forse l’unico, che permane nella cultura argentina, nonostante le diverse vicissitudini che il paese attraversa nel corso della sua storia. Sono numerose le questioni che Borges tratta all’interno delle sue opere, come ad esempio il tema del sobborgo, del recinto, del patio e del rapporto che le architetture domestiche hanno con la luce e con lo spazio esterno ad esse. Nella sua opera più matura intervengono temi quali il labirinto, lo specchio e il sogno, che avvicinano la sua dimensione letteraria più ad un immaginario idealizzato che alla realtà percepita. Lo scopo di questo lavoro è quello di fare una trasposizione di tutti questi elementi attraverso un processo di trasfigurazione della letteratura in un progetto architettonico-compositivo. Un punto fermo e imprescindibile è la ricerca dell’identità, dunque, si è cercato di arrivare ad un progetto di architettura chiaro e riconoscibile per Buenos Aires; un edificio nel quale il cittadino possa identificare sé stesso e la città che egli abita. Il sistema con il quale si intende affrontare questo processo è quello di legare la cultura letteraria argentina e la cultura del tango in un complesso architettonico, affinché il sobborgo, tanto amato da Borges, possa essere “riconquistato”.

Il paesaggio urbano tra ferrovia e città. Progetto di spazi aperti a Viserba

La presente tesi prende avvio all’interno del Laboratorio di Sostituzione di tessuto urbano del professor Antonio Esposito. Il tema è quello, diventato sempre più attuale negli ultimi decenni, della relazione tra gli spazi delle infrastrutture ed il paesaggio urbano. Gli spazi della mobilità finiscono per diventare degli spazi di risulta che anzichè creare dei collegamenti, vocazione principale delle infrastrutture per la mobilità nello specifico, diventano delle fratture all’interno della città, che dividono anzichè unire. L’area di intervento è a Viserba, località balneare nelle vicinanze di Rimini, caratterizzata da una crescita del tessuto urbano esponenziale sviluppatasi interamente nell’ultimo secolo, ma il problema interessa tutte le località sulla costa romagnola, tagliate in due dal passaggio della ferrovia. Il nuovo piano strategico del Comune di Rimini si pone il problema di offrire, finalmente, alla città un sistema della mobilità che consenta di fare a meno dell’automobile non a causa di meri divieti, ma per l’esistenza di valide alternative di trasporto che, consentendo eguale efficacia nella mobilità, riportano ad una più giusta dimensione relazionale le funzioni dell’abitare e del vivere città e territorio. Nella prospettiva di liberare dal mezzo privato la fascia turistica del litorale e di allentare la pressione automobilistica sulle periferie, il tracciato della ferrovia assume ancor più il valore di asse centrale distributivo per il sistema di trasporto pubblico di massa. Condizione fondamentale è che la permeabilità fra le zone a mare e a monte della ferrovia sia incrementata, attraverso la creazione di adeguati ed ampi attraversamenti urbani (non semplicisottopassaggi) che si appoggino ad “una trama verde” di percorsi e spazi di ricucitura della città con il suo mare. Questo è il contesto in cui si inserisce il progetto, che quindi risulta essere di grande attinenza alla contemporaneità.

Effetto dell'addizione di fibre corte di carbonio su microstruttura e proprietà di materiali a base di ZrB2

Il lavoro di tesi, svolto presso l’Istituto di Scienza e Tecnologia dei Materiali Ceramici (ISTEC-CNR, Faenza, RA), ha affrontato la produzione e la caratterizzazione di ceramici a base di boruro di zirconio (ZrB2) con lo scopo di valutare l’efficacia delle fibre corte di carbonio come potenziale rinforzo. Il boruro di zirconio appartiene a una famiglia di materiali noti come UHTC (Ultra-High Temperature Ceramics) caratterizzati da elevato punto di fusione e in grado di mantenere la resistenza meccanica e operare con limitata ossidazione a temperature superiori ai 2000°C. Il principale ostacolo nella produzione dei materiali a base di ZrB2 è il processo di sintesi, infatti, a causa della loro elevata temperatura di fusione, per ottenere un materiale completamente denso è necessario utilizzare processi a temperatura e pressione elevati (T > 2000°C e P > 30 MPa), condizioni che vanno ad influenzare la microstruttura della matrice e delle fibre e di conseguenza le proprietà meccaniche del materiale. L’aggiunta di additivi di sinterizzazione idonei permette di ottenere materiali perfettamente densi anche a temperature e pressioni inferiori. Tuttavia lo ZrB2 non viene ampiamente utilizzato per applicazioni strutturali a causa della sua fragilità, per far fronte alla sua bassa tenacità il materiale viene spesso rinforzato con una fase allungata (whiskers o fibre). È già oggetto di studi l’utilizzo di fibre corte e whiskers di SiC per tenacizzare lo ZrB2, tuttavia la forte interfaccia che viene a crearsi tra fibra e matrice, che non permette il pull-out delle fibre, ci porta a credere che una fibra che non tenda a reagire con la matrice, presentando un’interfaccia più debole, possa portare ad una tenacizzazione più efficace. Per questo scopo sono stati realizzati mediante pressatura a caldo due materiali rinforzati con fibre corte di carbonio: ZrB2 + 5% vol MoSi2 + 8% vol fibre di carbonio e [ZrB2 + 2 % peso C] + 8% vol fibre di carbonio, indicati rispettivamente con Z5M_Cf e Z2C_Cf. Sono stati analizzati e discussi diversi aspetti del materiale rinforzato tra cui: il comportamento di densificazione durante la pressatura a caldo, l’evoluzione della microstruttura della matrice, la distribuzione e la morfologia delle fibre, l’influenza del rinforzo sulle proprietà meccaniche di durezza e tenacità e sulla resistenza all’ossidazione. L’elaborato è strutturato come segue: inizialmente sono state introdotte le caratteristiche generali dei ceramici avanzati tra cui le proprietà, la produzione e le applicazioni; successivamente è stata approfondita la descrizione dei materiali a base di boruro di zirconio, in particolare i processi produttivi e l’influenza degli additivi di sinterizzazione sulla densificazione e sulle proprietà; ci si è poi concentrati sull’effetto di una seconda fase allungata per il rinforzo del composito. Per quanto riguarda la parte sperimentale vengono descritte le principali fasi della preparazione e caratterizzazione dei materiali: le materie prime, disperse in un solvente, sono state miscelate mediante ball-milling, successivamente è stato evaporato il solvente e la polvere ottenuta è stata formata mediante pressatura uniassiale. I campioni, dopo essere stati sinterizzati mediante pressatura uniassiale a caldo, sono stati tagliati e lucidati a specchio per poter osservare la microstruttura. Quest’ultima è stata analizzata al SEM per studiare l’effetto dell’additivo di sinterizzazione (MoSi2 e carbonio) e l’interfaccia tra matrice e fase rinforzante. Per approfondire l’effetto del rinforzo sulle proprietà meccaniche sono state misurate la durezza e la tenacità del composito; infine è stata valutata la resistenza all’ossidazione mediante prove in aria a 1200°C e 1500°C. L’addizione di MoSi2 ha favorito la densificazione a 1800°C mediante formazione di una fase liquida transiente, tuttavia il materiale è caratterizzato da una porosità residua di ~ 7% vol. L’addizione del carbonio ha favorito la densificazione completa a 1900°C grazie alla reazione dall’additivo con gli ossidi superficiali dello ZrB2. La microstruttura delle matrici è piuttosto fine, con una dimensione media dei grani di ~ 2 μm per entrambi i materiali. Nel caso del materiale con Z5M_Cf sono presenti nella matrice particelle di SiC e fasi MoB derivanti dalla reazione dell’additivo con le fibre e con la matrice; invece nel materiale Z2C_Cf sono presenti grani di carbonio allungati tra i bordi grano, residui delle reazioni di densificazione. In entrambi i materiali le fibre sono distribuite omogeneamente e la loro interfaccia con la matrice è fortemente reattiva. Nel caso del materiale Z5M_Cf si è formata una struttura core-shell con lo strato più esterno formato da SiC, formato dalla reazione tra il siliciuro e la fibra di C. Nel caso del materiale Z2C_Cf non si forma una vera e propria interfaccia, ma la fibra risulta fortemente consumata per via dell’alta temperatura di sinterizzazione. I valori di durezza Vickers dei materiali Z5M_Cf e Z2C_Cf sono rispettivamente 11 GPa e 14 GPa, valori inferiori rispetto al valore di riferimento di 23 GPa dello ZrB2, ma giustificati dalla presenza di una fase meno dura: le fibre di carbonio e, nel caso di Z5M_Cf, anche della porosità residua. I valori di tenacità dei materiali Z5M_Cf e Z2C_Cf, misurati con il metodo dell’indentazione, sono rispettivamente 3.06 MPa·m0.5 e 3.19 MPa·m0.5. L’osservazione, per entrambi i materiali, del fenomeno di pull-out della fibra, sulla superficie di frattura, e della deviazione del percorso della cricca, all’interno della fibra di carbonio, lasciano supporre che siano attivi questi meccanismi tenacizzanti a contributo positivo, unitamente al contributo negativo legato allo stress residuo. La resistenza all’ossidazione dei due materiali è confrontabile a 1200°C, mentre dopo esposizione a 1500°C il materiale Z5M_Cf risulta più resistente rispetto al materiale Z2C_Cf grazie alla formazione di uno strato di SiO2 protettivo, che inibisce la diffusione dell’ossigeno all’interno della matrice. Successivamente, sono stati considerati metodi per migliorare la densità finale del materiale e abbassare ulteriormente la temperatura di sinterizzazione in modo da minimizzare la degenerazione della fibra. Da ricerca bibliografica è stato identificato il siliciuro di tantalio (TaSi2) come potenziale candidato. Pertanto è stato prodotto un terzo materiale a base di ZrB2 + Cf contenente una maggiore quantità di siliciuro (10% vol TaSi2) che ha portato ad una densità relativa del 96% a 1750°C. Questo studio ha permesso di approcciare per la prima volta le problematiche legate all’introduzione delle fibre di carbonio nella matrice di ZrB2. Investigazioni future saranno mirate alla termodinamica delle reazioni che hanno luogo in sinterizzazione per poter analizzare in maniera più sistematica la reattività delle fibre nei confronti della matrice e degli additivi. Inoltre riuscendo ad ottenere un materiale completamente denso e con fibre di carbonio poco reagite si potrà valutare la reale efficacia delle fibre di carbonio come possibili fasi tenacizzanti.

Strutture d'ordine su insiemi di permutazioni e di cammini di Dyck

In questa tesi si studiano strutture d'ordine presenti su insiemi di permutazioni. In particolare si studiano la funzione di Moebius del poset delle permutazioni ordinate per contenimento con motivi consecutivi e il reticolo delle permutazioni che evitano un motivo di lunghezza tre usando l'isomorfismo con l'insieme dei cammini di Dyck.

Assemblaggio e caratterizzazione delle prestazioni di un nuovo rilassometro nmr con bobina a radiofrequenza di 8 cm di diametro

Lo scopo di questa tesi è l'installazione di un Rilassometro ottenuto a partire da un magnete permanente situato nel Dipartimento di Fisica e Astronomia (DIFA - via Irnerio, 46), al fine di eseguire misure attendibili di Rilassometria in mezzi porosi su campioni del diametro di alcuni centimetri. Attualmente nel Dipartimento è gia presente un elettromagnete adibito a misure di questo tipo; tuttavia, questo strumento permette lo studio di campioni di piccole dimensioni (circa 220mm3) e si rivela insuffciente per lo studio di rocce, coralli e altre strutture porose di più grande dimensione senza la frantumazione del campione stesso; per questa ragione si è presentata la necessità dell'istallazione di una nuova strumentazione. Parte della strumentazione utilizzata è in disuso da parecchi anni e le caratteristiche devono essere verificate. Dopo l'assemblaggio della strumentazione (magnete, console, probe), sono state determinate le migliori condizioni in cui effettuare le misure, ovvero i parametri fondamentali dell'elettronica (frequenza di risonanza, TATT, tempo morto del probe, tempo di applicazione dell'impulso 90°) e la zona di maggiore uniformità del campo magnetico. Quindi, sono state effettuate misure di T1 e T2 su campioni bulk e su un campione di roccia saturata d'acqua, confrontando i risultati con valori di riferimento ottenuti tramite elettromagnete. I risultati ottenuti risultano consistenti con i valori attesi, con scarti - inevitabili a causa della grande differenza di volume dei campioni - molto ridotti, pertanto l'installazione del nuovo Rilassometro risulta essere completata con successo.

Tecniche di localizzazione indoor per il tracciamento di oggetti: studio per un caso reale

Nuovi sviluppi nella comunicazione wireless e nell'elettronica hanno permesso lo sviluppo di dispositivi poco costosi, poco energivori e multifunzione, piccoli in dimensione e in grado di comunicare a breve distanza. Collegati con tecnologie senza fili e disponibili in gran numero, questi sensori hanno offerto opportunità senza precedenti nel monitorare e controllare case, città, e l'ambiente. In aggiunta, i sensori wireless hanno anche una vasta gamma di applicazioni nella sicurezza, generando nuove capacità di riconoscimento e sorveglianza, unite ad altre finalità tattiche. La capacità di localizzazione di questi congegni poi è altamente studiata e ricercata, per applicazioni che vanno dal monitoraggio di incendi,della qualità dell'acqua e dell'agricoltura di precisione alla gestione di inventari, di sistemi anti intrusione, monitoraggio del traffico e di parametri medici. Da questo esteso panorama di utilizzi, è scaturita l'idea di un impiego di queste reti in un contesto particolare. L'esperienza maturata in ambito fieristico mi ha portato a considerare una problematica da sempre sentita, ma che non ha mai trovato soluzioni soddisfacenti o definitive, che è quella della protezione dei beni dai rapinatori. In questo ultimo periodo, dove si assiste ad un progressivo ma repentino calo degli affari dovuto ad una congiuntura economica mondiale sfavorevole, il problema è più avvertito da chi, in vari settori, vede un sempre più basso margine di compensazione ai furti.

Nuovi catalizzatori per la trasformazione diretta di glicerolo ad acido acrilico

Alla luce delle improrogabili necessità ambientali, le prospettive di crescita del mercato dei bio-combustibili e quindi del biodiesel, sono molto ampie; si rende quindi necessario lo sviluppo di nuovi processi chimici in grado di valorizzare il co-prodotto della sintesi del biodiesel, ovvero il glicerolo. Tra le varie opzioni proposte dalla recente letteratura scientifica e brevettuale, la trasformazione one-pot del glicerolo ad acido acrilico può rappresentare una soluzione. All’interno di questa tematica, durante il periodo di tesi ho eseguito uno studio di catalizzatori a base di ossidi misti contenenti tungsteno, molibdeno e/o vanadio. Tali ossidi presentano sia funzionalità acida, necessaria per il primo stadio di disidratazione del glicerolo ad acroleina, sia funzionalità redox, necessaria all’ossidazione dell’acroleina ad acido acrilico. I sistemi tri-componente W-V-Mo si sono rivelati catalizzatori attivi e selettivi per la sintesi diretta di glicerolo ad acido acrilico. La miglior performance catalitica di questa classe di catalizzatori ha consentito di ottenere selettività in acido acrilico del 31%, con selettività totale ad acido acrilico ed acroleina superiore al 38% (valori tra i più elevati rispetto a quelli riportati in letteratura). Infine, si è dimostrato che i catalizzatori a base di W-V-Mo sono sistemi potenzialmente sfruttabili anche in impianti a doppio stadio per la produzione di acido acrilico con alimentazioni miste propilene/glicerolo. Ulteriori studi sono attualmente in corso per approfondire le capacità catalitiche degli ossidi misti studiati.

Sistemi di radici

In questa tesi studiamo il ruolo dei sistemi di radici nella classificazione delle algebre di Lie e delle superalgebre di Lie. L'interesse per le superalgebre di Lie nasce nei primi anni '70 quando una parte dei fisici si convinse che sarebbe stato più utile e molto più chiaro riuscire ad avere uno schema di riferimento unitario in cui non dovesse essere necessario trattare separatamente particelle fisiche come bosoni e fermioni. Una teoria sistematica sulle superalgebre di Lie fu introdotta da V. Kac nel 1977 che diede la classificazione delle superalgebre di Lie semplici su un campo algebricamente chiuso.