Trattamento di matrici compostabili da RU mediante biostabilizzazione controllata, presso l'impianto Nuova Geovis, di Sant'Agata Bolognese

La relazione mira ad illustrare l'importanza del compostaggio, quale tecnologia per lo smaltimento dei rifiuti e recupero di risorse. Vengono descritti il processo di stabilizzazione aerobica, i meccanismi microbici e i parametri fisico-chimici che lo caratterizzano. E' evidenziata l'importanza della raccolta differenziata e della scelta delle matrici compostabili nell'ottimizzazione di questa biotecnologia spontanea per il trattamento di rifiuti e reflui organici putrescibili. E' sottolineato, inoltre, come una corretta gestione del processo permetta di valorizzare residui di varia natura trasformandoli in un buon compost, prodotto valido dal punto di vista agronomico e ambientale. Nella parte finale della relazione verrà inoltre descritto un impianto di compostaggio, presente nel territorio regionale, la Nuova Geovis di Sant'Agata Bolognese e dal punto di vista applicativo, verrà  costruito un modello, che permetta di legare l'andamento della temperatura all'andamento dell'IRD, Indice di Respirazione Dinamico, attraverso dati raccolti presso l'impianto, relativi ovviamente a Indice di Respirazione Dinamico (IRD) e temperatura. Questo anche per valutare il corretto del processo stesso.

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.

Complessi tetrazolici di Ru(II) come fotoassorbitori per celle solari di tipo DSSC

Questo lavoro di tesi sperimentale è stato dedicato alla sintesi di alcuni nuovi complessi tetrazolici di Ru(II) e, in collaborazione con il personale dell’istituto ISTEC-CNR di Faenza, al loro impiego come fotoassorbitori per celle solari di tipo DSSC. L’idea progettuale alla base di questa attività è scaturita dalla volontà di modificare la struttura di due coloranti di riferimento (N719 e N749) sostituendo i gruppi tiocianato (SCN-) coordinati al centro metallico con leganti tetrazolici opportunamente funzionalizzati. In questo elaborato si riporta la descrizione e la discussione dettagliata della sintesi dei complessi, della loro caratterizzazione e delle performances delle celle DSSC contenenti tali complessi come fotoassorbitori.

Il concetto del "ma" e la musica di Tōru Takemitsu: traduzione di "The concept of 'ma' and the music of Takemitsu" di Jonathan L. Chenette

Lo scopo di questa tesi è di esplorare l'importanza del concetto giapponese del "ma" nella musica tradizionale, in particolare in quella del compositore Tōru Takemitsu, tramite la traduzione del saggio "The concept of 'ma' and the music of Tōru Takemitsu" (Jonathan L. Chenette, 1982) dall'inglese all'italiano. L'elaborato partirà da un'introduzione generale sul concetto del "ma" nella mentalità giapponese, per proseguire con la biografia di Tōru Takemitsu e una panoramica dei motivi che hanno portato a scegliere la traduzione del saggio di Chenette. Dopo la traduzione in sé e per sé e il commento della stessa, sarà anche fornito in appendice un glossario inglese-italiano della terminologia musicale utilizzata dall'autore all'interno del saggio.