Valutazione dell'effetto del mezzo temprante sulle tensioni residue e proprieta meccaniche della lega di alluminio Al-Si7-Mg

L’alluminio, grazie alla sua bassa temperatura di fusione e all’elevata fluidità di molte leghe, è uno dei metalli più versatili in fonderia. Per ottenere il massimo delle proprietà resistenziali, le leghe che lo permettono sono sottoposte a trattamento termico. Questo, però, in componenti geometricamente complessi può far insorgere tensioni residue che inficeranno la resistenza del materiale durante la sua messa in esercizio. Gli obiettivi della presente ricerca sono stati: la valutazione dell’incidenza del mezzo temprante usato durante il trattamento termico sulle tensioni residue che si sviluppano nella lega AlSi7Mg e la definizione di come questo potesse essere modificato per ridurre le tensioni senza peggiorare le proprietà resistenziali del materiale. Per tale ragione sono state eseguite prove di trattamento termico, analisi microstrutturali e test di durezza su campioni estratti direttamente da getti colati in sabbia.

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.

Studio della reattività di etanolo in fase gas su catalizzatori a base di MgO e Mg/Si/O

A causa delle questioni economiche ed ambientali legate alla sostenibilità dei processi petrolchimici, recentemente l'industria chimica ha focalizzato il proprio interesse nello sviluppo di processi per la produzione di chemicals, che utilizzino materiali di partenza rinnovabili. L'etanolo, prodotto per via fermentativa, sembra essere uno dei bio-building block più promettenti e versatili e può essere utilizzato per numerose applicazioni. È noto da tempo che l’etanolo può reagire su catalizzatori costituiti da ossidi misti con caratteristiche acido-base a dare numerosi composti chimici tra cui acetaldeide, 1,3-butadiene, 1-butanolo e 2-butenale. Nonostante il lungo impiego dell’etanolo nell’industria chimica, il meccanismo di formazione di composti C4 a partire da etanolo è ancora però materia di dibattito. Il meccanismo generalmente accettato si basa sulle seguenti reazioni chiave: deidrogenazione di etanolo ad acetaldeide e condensazione aldolica di due molecole di acetaldeide. Tuttavia in letteratura sono riportate anche altre proposte alternative. In questo lavoro è stato studiato il processo di trasformazione di etanolo su catalizzatori a base di MgO e sistemi misti Mg/SiO, attraverso esperimenti di reattività condotti in un micro-impianto da laboratorio, al fine di fare chiarezza sul meccanismo di formazione di composti C4 a partire da etanolo. In particolare è stato condotto uno studio meccanicistico utilizzando MgO come catalizzatore modello, materiale che possiede esclusivamente proprietà basiche, ritenute essenziali per catalizzare la condensazione di molecole C2. Inoltre, è stata investigata l’influenza delle caratteristiche acido-base del catalizzatore sulla selettività del processo di conversione di etanolo, studiandone la reattività su materiali costituiti da ossidi misti Mg/Si/O, con diverso rapporto atomico tra i due cationi.