Studio ed ottimizzazione di caricabatterie in configurazione flyback

Questa tesi tratta dell'ottimizzazione dei componenti di potenza di un convertitore flyback al fine di massimizzare l'efficienza di un caricabatteria per batterie al piombo. Le perdite vengono studiate all'interno di uno spazio di progetto che individua due variabili libere (rapporto spire e indice di ondulazione della corrente). Diverse mappe con le stime di dissipazione derivante da tutti i contributi, permettono l'individuazione del punto ottimo di progetto e consentono la corretta valutazione dei trade-off. Il risultato dell'analisi ha portato al progetto di un dimostratore in cui si è potuto verificare la correttezza del valore di efficienza predetta, in questo modo migliorando le performance di un prodotto esistente.

Ottimizzazione di una placca mandibolare realizzata su paziente

Studio sulla ottimizzazione di placche mandibolari, utilizzate per ricostruzioni ossee, inclusivo di calcolo numerico, disegno ed analisi strutturali.

Impianto pilota per la pirolisi di PFU: ottimizzazione dei parametri di processo, studio e caratterizzazione dei prodotti ottenuti

In questo lavoro sono descritte le attività svolte a partire dal primo avviamento dell’impianto pilota di pirolisi di pneumatici, le ottimizzazioni impiantistiche e di processo effettuate, la caratterizzazione dei materiali di partenza e dei prodotti. Particolare attenzione è stata posta alla variabilità dei prodotti in uscita in funzione di parametri di processo quali operazioni preliminari, temperatura, pressione, quantità di materiale trattato e tempo di residenza, allo scopo di ottimizzare il processo e individuare le condizioni per l’ottenimento di specifici prodotti a livello quali- e quantitativo.

Indagine sul meccanismo di stiratura semipermanente del capello per la ricerca di alternative all'uso di aldeide formica

La scarsità di informazioni sulle reazioni che intervengono nel processo di stiratura semipermanente dei capelli e la necessità di trovare prodotti alternativi all’uso della formaldeide ha portato a intraprendere questo lavoro di tesi. Esso si è svolto seguendo due linee principali: l’indagine sui possibili meccanismi di reazione che intervengono fra composti aventi gruppi aldeidici, quali formaldeide o acido gliossilico (particolarmente efficaci nel processo di stiratura), e alcuni amminoacidi presenti nei capelli da un lato, e uno studio sulle modificazioni che intervengono nella fibra attraverso spettroscopia Raman e ATR-FT-IR e microscopia elettronica a scansione (SEM) dall’altro. Partendo dall’ipotesi più plausibile di una addizione sull’atomo di carbonio carbonilico da parte di nucleofili presenti su alcuni residui amminoacidici della catena polipeptidica, sono stati presi in considerazioni tre gruppi funzionali presenti sugli amminoacidi che possono dar luogo ad addizione reversibile al carbonio carbonilico: il gruppo tiolico che comportandosi come nucleofilo allo zolfo potrebbe dare formazione di semitioacetali, il gruppo ossidrilico di amminoacidi come serina e treonina che potrebbe dare semiacetali, ed il gruppo amminico di amminoacidi basici che agendo da nucleofilo all’azoto potrebbe generare immine. Dopo aver indagato sulla reazione fra aldeide formica (o acido gliossilico) con cisteina e derivati, l’indagine è proseguita utilizzando come amminoacido basico modello N-acetil-L-lisina, dove il gruppo amminico in posizione alfa al carbossile è protetto per cercare di mimare la situazione nel polipeptide. Alcune prove sono state condotte facendo reagire questo substrato sia con una serie di aldeidi aromatiche in diverse condizioni sperimentali che con acido gliossilico. In seguito sono state svolte analisi mediante spettroscopia Raman e ATR-FT-IR su ciocche di pelo di yak nelle diverse fasi del trattamento più comunemente utilizzato nella stiratura semipermanente. Questo ha permesso di ottenere indicazioni sia sulle modificazioni della struttura secondaria subite dalla fibra che sul verificarsi di reazioni fra agente lisciante e residui amminoacidici presenti su di essa. Infine è stata svolta un’indagine SEM sia su fibre di yak che su capelli umani ricci per osservare le variazioni superficiali nei diversi stadi del trattamento.

Modelli per l'aggregazione di dati federati: il caso degli orari di apertura degli esercizi commerciali e enti pubblici

Questa tesi tratta di scambio di dati aperti (open data exchange). In particolare, tratta di intervalli temporali con annesse informazioni di vario tipo. Le attività commerciali, come aziende, bar, ristoranti, cinema, teatri, e via dicendo, hanno bisogno di un modo comune per poter condividere i dati inerenti ai propri orari (timetable). Lo scopo di questa tesi è quello di mostrare un modello efficiente, compatto e completo per poter condividere tali informazioni con l'ausilio di formati standard (XML). Oggi giorno esistono diverse soluzioni atte a far fronte a questa necessità ma si tratta di soluzioni incomplete e che gestiscono tali informazioni separatamente. Il problema sorto è quello di avere un'unica struttura che posso unificare informazioni di diverso carattere con gli orari di un'attività: un cinema ha la necessità di fornire orari di diverse proiezioni svolte in sale diverse, una tournée dovrà poter specificare le coordinate geografiche del prossimo evento e così discorrendo.

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.