Caratterizzazione e simulazione di processi di colata in sabbia di ghise sferoidali

L’oggetto principale delle attività di tesi è la caratterizzazione numerico-sperimentale di processi di colata in sabbia di ghisa sferoidale. Inizialmente è stata effettuata un’approfondita indagine bibliografica per comprendere appieno le problematiche relative all’influenza dei parametri del processo fusorio (composizione chimica, trattamento del bagno, velocità di raffreddamento) sulle proprietà microstrutturali e meccaniche di getti ottenuti e per valutare lo stato dell’arte degli strumenti numerici di simulazione delle dinamiche di solidificazione e di previsione delle microstrutture. Sono state definite, realizzate ed impiegate attrezzature sperimentali di colata per la caratterizzazione di leghe rivolte alla misura ed alla differenziazione delle condizioni di processo, in particolare le velocità di raffreddamento, ed atte a validare strumenti di simulazione numerica e modelli previsionali. Inoltre sono stati progettati ed impiegati diversi sistemi per l’acquisizione ed analisi delle temperature all’interno di getti anche di grandi dimensioni. Lo studio, mediante analisi metallografica, di campioni di materiale ottenuto in condizioni differenziate ha confermato l’effetto dei parametri di processo considerati sulle proprietà microstrutturali quali dimensioni dei noduli di grafite e contenuto di ferrite e perlite. In getti di grandi dimensioni si è riscontrata anche una forte influenza dei fenomeni di macrosegregazione e convezione della lega su microstrutture e difettologie dei getti. Le attività si sono concentrate principalmente nella simulazione numerica FEM dei processi fusori studiati e nell’impiego di modelli empirico-analitici per la previsione delle microstrutture. I dati misurati di temperature di processo e di microstrutture sono stati impiegati per la validazione ed ottimizzazione degli strumenti numerici previsionali impiegati su un ampio intervallo di condizioni di processo. L’impiego di strumenti affidabili di simulazione del processo fusorio, attraverso l’implementazione di correlazioni sperimentali microstrutture-proprietà meccaniche, permette la valutazione di proprietà e difettologie dei getti, fornendo un valido aiuto nell’ottimizzazione del prodotto finito e del relativo processo produttivo.

Caratteristiche anatomiche e neurochimiche della formazione ippocampale di cane

Nei Roditori e nei Primati, studi di immunoistochimica condotti sulla formazione ippocampale hanno dimostrato che le proteine leganti il calcio (parvalbumina, calbindina-D28k e calretinina) sono dei marker che consentono di identificare differenti sottopopolazioni di neuroni. Nel presente studio è stata analizzata la distribuzione di queste proteine nella formazione ippocampale di cane. L’immunoreattività per la parvalbumina è stata localizzata in neuroni multipolari presenti nello strato polimorfo e nei campi CA3-CA1, così come in alcuni neuroni presumibilmente inibitori localizzati nel campo CA1 e nel subicolo. I granuli e le fibre muschiate presentavano una forte immunoreattività per la calbindina-D28k. Tale immunoreattività era evidente anche nei neuroni piramidali del campo CA1 e del subicolo ed in alcuni interneuroni, presumibilmente inibitori, distribuiti nella formazione ippocampale. L’immunoreatività per la calretinina era relativamente bassa in tutta la formazione ippocampale. Le analisi immunoistochimiche hanno evidenziato, nel giro dentato e nel campo CA1, una riduzione età-dipendente dell’immunoreattività per la parvalbumina e la calretinina. Le analisi condotte mediante risonanza magnetica hanno inoltre dimostrato una riduzione volumetrica età-dipendente della formazione ippocampale di cane.

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.