Costrutti ed Applicazioni di Programmazione Generica in Linguaggi Object-Oriented

Generic programming is likely to become a new challenge for a critical mass of developers. Therefore, it is crucial to refine the support for generic programming in mainstream Object-Oriented languages — both at the design and at the implementation level — as well as to suggest novel ways to exploit the additional degree of expressiveness made available by genericity. This study is meant to provide a contribution towards bringing Java genericity to a more mature stage with respect to mainstream programming practice, by increasing the effectiveness of its implementation, and by revealing its full expressive power in real world scenario. With respect to the current research setting, the main contribution of the thesis is twofold. First, we propose a revised implementation for Java generics that greatly increases the expressiveness of the Java platform by adding reification support for generic types. Secondly, we show how Java genericity can be leveraged in a real world case-study in the context of the multi-paradigm language integration. Several approaches have been proposed in order to overcome the lack of reification of generic types in the Java programming language. Existing approaches tackle the problem of reification of generic types by defining new translation techniques which would allow for a runtime representation of generics and wildcards. Unfortunately most approaches suffer from several problems: heterogeneous translations are known to be problematic when considering reification of generic methods and wildcards. On the other hand, more sophisticated techniques requiring changes in the Java runtime, supports reified generics through a true language extension (where clauses) so that backward compatibility is compromised. In this thesis we develop a sophisticated type-passing technique for addressing the problem of reification of generic types in the Java programming language; this approach — first pioneered by the so called EGO translator — is here turned into a full-blown solution which reifies generic types inside the Java Virtual Machine (JVM) itself, thus overcoming both performance penalties and compatibility issues of the original EGO translator. Java-Prolog integration Integrating Object-Oriented and declarative programming has been the subject of several researches and corresponding technologies. Such proposals come in two flavours, either attempting at joining the two paradigms, or simply providing an interface library for accessing Prolog declarative features from a mainstream Object-Oriented languages such as Java. Both solutions have however drawbacks: in the case of hybrid languages featuring both Object-Oriented and logic traits, such resulting language is typically too complex, thus making mainstream application development an harder task; in the case of library-based integration approaches there is no true language integration, and some “boilerplate code” has to be implemented to fix the paradigm mismatch. In this thesis we develop a framework called PatJ which promotes seamless exploitation of Prolog programming in Java. A sophisticated usage of generics/wildcards allows to define a precise mapping between Object-Oriented and declarative features. PatJ defines a hierarchy of classes where the bidirectional semantics of Prolog terms is modelled directly at the level of the Java generic type-system.

Applicazione di strumenti e metodi per la gestione ambientale di un territorio vasto - Sviluppo di un sistema di gestione ambientale in un ente pubblico secondo lo schema europeo EMAS e analisi di un sistema energetico territoriale

Environmental Management includes many components, among which we can include Environmental Management Systems (EMS), Environmental Reporting and Analysis, Environmental Information Systems and Environmental Communication. In this work two applications are presented: the developement and implementation of an Environmental Management System in local administrations, according to the European scheme "EMAS", and the analysis of a territorial energy system through scenario building and environmental sustainability assessment. Both applications are linked by the same objective, which is the quest for more scientifically sound elements; in fact, both EMS and energy planning are oftec carachterized by localism and poor comparability. Emergy synthesis, proposed by ecologist H.T. Odum and described in his book "Environmental Accounting: Emergy and Environmental Decision Making" (1996) has been chosen and applied as an environmental evaluation tool, in order complete the analysis with an assessment of the "global value" of goods and processes. In particular, eMergy syntesis has been applied in order to improve the evaluation of the significance of environmental aspects in an EMS, and in order to evaluate the environmental performance of three scenarios of future evolution of the energy system. Regarding EMS, in this work an application of an EMS together with the CLEAR methodology for environmental accounting is discussed, in order to improve the identification of the environmental aspects; data regarding environmental aspects and significant ones for 4 local authorities are also presented, together with a preliminary proposal for the integration of the assessment of the significance of environmental aspects with eMergy synthesis. Regarding the analysis of an energy system, in this work the carachterization of the current situation is presented together with the overall energy balance and the evaluation of the emissions of greenhouse gases; moreover, three scenarios of future evolution are described and discussed. The scenarios have been realized with the support of the LEAP software ("Long Term Energy Alternatives Planning System" by SEI - "Stockholm Environment Institute"). Finally, the eMergy synthesis of the current situation and of the three scenarios is shown.

Applicazioni di 1-azadieni in cicloaddizioni di Diels-Alder enantioselettive organocatalizzate

Lo scopo di questo lavoro è stato quello di studiare dettagliatamente la reattività dell’N-benzilossicarbonil-1-aza-butadiene, utilizzando diversi dienofili in reazioni di Diels-Alder catalitiche enantioselettive promosse da organocatalizzatori bifunzionali in grado di dare interazioni deboli come legami a idrogeno. Questo 1-azadiene infatti può dare in linea di principio sia prodotti derivanti da reazioni di Diels-Alder a domanda elettronica diretta in cui funge da diene, sia reazioni a domanda elettronica inversa in cui il doppio legame terminale dell’1-azadiene, maggiormente reattivo in quanto meno ingombrato, funge da olefina elettronricca (reazione di Povarov). Per effettuare questo studio sono stati provati vari dienofili tra cui olefine elettron povere bi- e monosostituite che portavano alla degradazione del diene; derivati della malimmide e del pirazolo che davano cilcloaddotti derivanti dalla classica cicloaddizione [4+2] Diels-Alder con ottime conversioni in modo altamente diastereoselettivo, ma bassi eccessi enantiomerici ed infine si sono provate diverse immine che portavano al cicloaddotto della reazione di Povarov con ottimi risultati in termini di conversione e buoni eccessi enantiomerici. Quest’ultima applicazione che permette la sintesi di interessanti prodotti variamente funzionalizzabili, sarà oggetto di studio in futuro per ottimizzare le condizioni della reazione.

Sul comportamento dinamico di macchine fresatrici in alcune condizioni critiche di lavorazione

Questa tesi affronta lo studio di una tipologia di vibrazione autoeccitata, nota come chatter, che si manifesta nei processi di lavorazione ad asportazione di truciolo ed in particolare nelle lavorazioni di fresatura. La tesi discute inoltre lo sviluppo di una tecnica di monitoraggio e diagnostica del chatter basato sul rilievo di vibrazioni. Il fenomeno del chatter è caratterizzato da violente oscillazioni tra utensile e pezzo in lavorazione ed elevate emissioni acustiche. Il chatter, se non controllato, causa uno scadimento qualitativo della finitura superficiale e delle tolleranze dimensionali del lavorato, una riduzione della vita degli utensili e dei componenti della macchina. Questa vibrazione affligge negativamente la produttività e la qualità del processo di lavorazione e pregiudica l’interazione uomo-macchina-ambiente. Per una data combinazione di macchina, utensile e pezzo lavorato, i fattori che controllano la velocità di asportazione del materiale sono gli stessi che controllano l’insorgenza del chatter: la velocità di rotazione del mandrino, la profondità assiale di passata e la velocità di avanzamento dell’utensile. Per studiare il fenomeno di chatter, con l’obbiettivo di individuare possibili soluzioni per limitarne o controllarne l’insorgenza, vengono proposti in questa tesi alcuni modelli del processo di fresatura. Tali modelli comprendono il modello viscoelastico della macchina fresatrice e il modello delle azioni di taglio. Per le azioni di taglio è stato utilizzato un modello presente in letteratura, mentre per la macchina fresatrice sono stati utilizzato modelli a parametri concentrati e modelli modali analitico-sperimentali. Questi ultimi sono stati ottenuti accoppiando un modello modale sperimentale del telaio, completo di mandrino, della macchina fresatrice con un modello analitico, basato sulla teoria delle travi, dell’utensile. Le equazioni del moto, associate al processo di fresatura, risultano essere equazioni differenziali con ritardo a coefficienti periodici o PDDE (Periodic Delay Diefferential Equations). È stata implementata una procedura numerica per mappare, nello spazio dei parametri di taglio, la stabilità e le caratteristiche spettrali (frequenze caratteristiche della vibrazione di chatter) delle equazioni del moto associate ai modelli del processo di fresatura proposti. Per testare i modelli e le procedure numeriche proposte, una macchina fresatrice CNC 4 assi, di proprietà del Dipartimento di Ingegneria delle Costruzioni Meccaniche Nucleari e Metallurgiche (DIEM) dell’Università di Bologna, è stata strumentata con accelerometri, con una tavola dinamometrica per la misura delle forze di taglio e con un adeguato sistema di acquisizione. Eseguendo varie prove di lavorazione sono stati identificati i coefficienti di pressione di taglio contenuti nel modello delle forze di taglio. Sono stati condotti, a macchina ferma, rilievi di FRFs (Funzioni Risposta in Frequenza) per identificare, tramite tecniche di analisi modale sperimentale, i modelli del solo telaio e della macchina fresatrice completa di utensile. I segnali acquisiti durante le numerose prove di lavorazione eseguite, al variare dei parametri di taglio, sono stati analizzati per valutare la stabilità di ciascun punto di lavoro e le caratteristiche spettrali della vibrazione associata. Questi risultati sono stati confrontati con quelli ottenuti applicando la procedura numerica proposta ai diversi modelli di macchina fresatrice implementati. Sono state individuate le criticità della procedura di modellazione delle macchine fresatrici a parametri concentrati, proposta in letteratura, che portano a previsioni erronee sulla stabilità delle lavorazioni. È stato mostrato come tali criticità vengano solo in parte superate con l’utilizzo dei modelli modali analitico-sperimentali proposti. Sulla base dei risultati ottenuti, è stato proposto un sistema automatico, basato su misure accelerometriche, per diagnosticare, in tempo reale, l’insorgenza del chatter durante una lavorazione. È stato realizzato un prototipo di tale sistema di diagnostica il cui funzionamento è stato provato mediante prove di lavorazione eseguite su due diverse macchine fresatrici CNC.

Biodegradazione di solventi clorurati in acque contaminate tramite cometabolismo aerobico: progettazione ed allestimento di prove in reattori a biomassa adesa

Lo scopo di questo lavoro è quello di sviluppare un consorzio altamente performante in grado di degradare il tricloroetilene (TCE) e l’1,1,2,2-tetracloroetano (TeCA) attraverso una degradazione aerobica cometabolica in reattori a letto impaccato (PBRs). Per questo obiettivo, sono state campionate da differenti pozzi di monitoraggio cinque acque di falda contaminate dai solventi clorurati sopra descritti e sono stati preparati 20 vial batch da 119 mL per testare differenti substrati di crescita della biomassa: metano, propano, butano, pentano. Substrato ed ossigeno sono stati periodicamenti riaggiunti. I solventi clorurati sono stati aggiunti a concentrazioni crescenti. Sono stati anche allestiti quattro reattori a colonna impaccata per testare il carrier più adatto per la biomassa selezionata. In tali reattori sono state condotte prove fluidodinamiche preliminari.

Valutazione clinica e radiologica di manifestazioni a livello di distretto cefalico in pazienti affetti da neurofibromatosi

Con il termine neurofibromatosi (NF) si comprendono almeno sette malattie genetiche diverse ma accomunate dalla presenza di neurofibromi localizzati nei distretti cutaneo, orale, viscerale e scheletrico. Dal momento che la NF1 (malattia di Von Recklinghausen), una delle più diffuse malattie genetiche, può avere manifestazioni a livello orale, gli odontoiatri devono essere a conoscenza delle sue caratteristiche patognomoniche. Obiettivo della tesi è la ricerca di manifestazioni della NF1 a livello dell’apparato stomatognatico. Materiali e metodi 98 pazienti affetti da NF1 (44 maschi, 54 femmine dai 2 ai 24 anni; età media di 8,6 anni) sono stati indagati clinicamente e radiograficamente; clinicamente si sono valutati: prevalenza della patologia cariosa (dmft; DMFt), indice parodontale di comunità (CPI), anomalie dentali, presenza di lesioni a livello dei tessuti molli intraorali, presenza di patologie ortopedico-ortodontiche; presenza di abitudini viziate; sulle ortopantomografie eseguite su 49 pazienti (23 maschi, 26 femmine dai 6 ai 19 anni; età media di 10 anni) si sono valutate manifestazioni ossee e dentali caratteristiche della sindrome. Risultati Dallo studio è emerso che i pazienti affetti da NF1 presentano: dmft/DMFt e CPI elevati (dmft = 2,1; DMFt = 1,6; tessuti gengivali con sanguinamento nel 50% dei casi; eruzione dentale anticipata nel 10%; eruzione dentale ritardata nel 10%; taurodontismo nel 16%; patologie ortopedico-ortodontiche nel 40% (tendenza alla terza classe scheletrica, palato ogivale, morso aperto anteriore, morso coperto, morso crociato posteriore monolaterale, morso crociato posteriore bilaterale, linea mediana deviata, incompetenza labiale); abitudini viziate nel 27% (respirazione orali e deglutizione infantile); lesione neurofibromatosa della gengiva in un caso; per quanto riguarda la valutazione delle ortopantomografie, manifestazioni ossee caratteristiche della sindrome sono state evidenziate nel 28% dei casi (incisura coronoide deformata, processo coronoide ipoplasico o pseudoallungato, condilo ipoplasico, condilo iperplasico, canale mandibolare allargato, forame mandibolare allargato e alto, bordo inferiore della mandibola deformato). La necessità di programmi ed interventi di screening e follow-up periodici (visite odontoiatriche a partire dal momento della diagnosi a cadenza semestrale, esami radiografici a partire dai 6 anni di età a cadenza stabilita individualmente in funzione del livello di rischio) è supportata dall’elevato rischio di patologie cariosa e parodontale e dalla presenza di manifestazioni a livello dei tessuti duri e molli del distretto cefalico a documentato rischio di trasformazione maligna. Parole chiave: neurofibromatosi, patologie orali, distretto cefalico.

Impiego di cellule staminali in terapia veterinaria

Over the past few years, in veterinary medicine there has been an increased interest in understanding the biology of mesenchymal stem cells (MSCs). This interest comes from their potential clinical use especially in wound repair, tissue engineering and application in therapeutics fields, including regenerative surgery. MSCs can be isolated directly from bone marrow aspirates, adipose tissue, umbilical cord and various foetal tissues. In this study, mesenchymal stem cells were isolated from equine bone marrow, adipose tissue, cord blood, Wharton’s Jelly and, for the first time, amniotic fluid. All these cell lines underwent in vitro differentiation in chondrocytes, osteocytes and adipocytes. After molecular characterization, cells resulted positive for mesenchymal markers such as CD90, CD105, CD44 and negative for CD45, CD14, CD34 and CD73. Adipose tissue and bone marrow mesenchymal stem cells were successfully applied in the treatment of tendinitis in race horses. Furthermore, for the first time in the horse, skin wounds of septicemic foal, were treated applying amniotic stem cells. Finally, results never reported have been obtained in the present study, isolating mesenchymal stem cells from domestic cat foetal fluid and membranes. All cell lines underwent in vitro differentiation and expressed mesenchymal molecular markers.

Modello di rete neurale per lo studio di fenomeni di integrazione visuoacustica in soggetti sani e patologici

L’integrazione multisensoriale è la capacità del sistema nervoso di utilizzare molteplici sorgenti sensoriali. Una tra le più studiate forme di integrazione è quella tra informazioni visive ed acustiche. La capacità di localizzare uno stimolo acustico nello spazio è un processo meno accurato ed affidabile della localizzazione visiva, di conseguenza, un segnale visivo è spesso in grado di “catturare” (ventriloquismo) o di incrementare (enhancement multisensoriale) la performance di localizzazione acustica. Numerose evidenze sperimentali hanno contribuito ad individuare i processi neurali e le aree cerebrali alla base dei fenomeni integrativi; in particolare, un importante contributo viene dallo studio su soggetti con lesioni cerebrali. Tuttavia molti aspetti sui possibili meccanismi coinvolti restano ancora da chiarire. Obiettivo di questa tesi è stato lo sviluppo di un modello matematico di rete neurale per fare luce sui meccanismi alla base dell’interazione visuo-acustica e dei suoi fenomeni di plasticità. In particolare, il modello sviluppato è in grado di riprodurre condizioni che si verificano in-vivo, replicando i fenomeni di ventriloquismo ed enhancement in diversi stati fisiopatologici e interpretandoli in termini di risposte neurali e reciproche interazione tra i neuroni. Oltre ad essere utile a migliorare la comprensione dei meccanismi e dei circuiti neurali coinvolti nell’integrazione multisensoriale, il modello può anche essere utile per simulare scenari nuovi, con la possibilità di effettuare predizioni da testare in successivi esperimenti.