Chemical composition modification of casting aluminium alloys for engine applications

The research activities were focused on evaluating the effect of Mo addition to mechanical properties and microstructure of A354 aluminium casting alloy. Samples, with increasing amount of Mo, were produced and heat treated. After heat treatment and exposition to high temperatures samples underwent microstructural and chemical analyses, hardness and tensile tests. The collected data led to the optimization of both casting parameters, for obtaining a homogeneous Mo distribution in the alloy, and heat treatment parameters, allowing the formation of Mo based strengthening precipitates stable at high temperature. Microstructural and chemical analyses highlighted how Mo addition in percentage superior to 0.1% wt. can modify the silicon eutectic morphology and hinder the formation of iron based β intermetallics. High temperature exposure curves, instead, showed that after long exposition hardness is slightly influenced by heat treatment while the effect of Mo addition superior to 0,3% is negligible. Tensile tests confirmed that the addition of 0.3%wt Mo induces an increase of about 10% of ultimate tensile strength after high temperature exposition (250°C for 100h) while heat treatments have slight influence on mechanical behaviour. These results could be exploited for developing innovative heat treatment sequence able to reduce residual stresses in castings produced with A354 modified with Mo.

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.