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.

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.

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.

Caratterizzazione della flora microbica orale in diverse categorie di pazienti sindromici in età evolutiva.

La salute orale dei soggetti affetti da patologie sistemiche responsabili di disabilità fisiche e/o psichiche, in particolare in età evolutiva, è un obiettivo da perseguire di primaria importanza al fine di migliorare la qualità della vita del bambino e garantirgli un buon inserimento nel contesto sociale. Ricerche sperimentali e cliniche hanno individuato i momenti eziopatogenetici delle diverse problematiche che si riscontrano a carico del cavo orale, con una frequenza superiore nei pazienti disabili rispetto alla restante popolazione, attribuendo ai batteri formanti la placca e a quelli con la capacità di indurre un danno parodontale un ruolo chiave. Diversi sono stati i protocolli di prevenzione e terapia proposti nel tempo, costruiti proprio in relazione all’età del soggetto ed alla tipologia della disabilità; tuttavia risulta di fondamentale importanza chiarire il complesso rapporto tra la popolazione microbica orale e l'ospite nello stato di malattia. In un contesto del genere, intento del lavoro di ricerca è proprio quello di portare a termine un progetto di bonifica dentaria su un gruppo di pazienti in età compresa tra i 2 e i 17 anni, affetti da patologie sistemiche e patologie del cavo orale, sulla base di un profilo microbiologico, a partire da tamponi salivari e prelievi parodontali. Stilando il profilo microbiologico del “gruppo campione” e confrontandolo con quello di un gruppo di pazienti di controllo, lo studio si propone di riuscire a delineare i miglioramenti, qualora ci fossero, post terapia odontostomatologica e di riuscire a trovare una base microbiologica alle patologie extra -orali annesse.

Trattamenti termici: valutazione delle degradazioni termossidative di oli da frittura e determinazione di composti aromatici in matrici alimentari complesse

Lo studio condotto durante il Dottorato di Ricerca è stato focalizzato sulla valutazione e sul monitoraggio delle diverse degradazioni termossidative in oli da frittura. Per raggiungere tale obiettivo si è ritenuto opportuno procedere mediante uno screening dei principali oli presenti sul mercato italiano e successiva messa a punto di due miscele di oli vegetali che sono state sottoposte a due piani sperimentali di frittura controllata e standardizzata in laboratorio, seguiti da due piani di frittura eseguiti in due differenti situazioni reali quali mensa e ristorante. Ognuna delle due miscele è stata messa a confronto con due oli di riferimento. A tal fine è stata identificato il profilo in acidi grassi, la stabilità ossidativa ed idrolitica, il punto di fumo, i composti polari, il contenuto in tocoferoli totali, ed i composti volatili sia sugli oli crudi che sottoposti ai diversi processi di frittura. Lo studio condotto ha permesso di identificare una delle miscele ideate come valida alternativa all’impiego dell’olio di palma ampiamente utilizzato nelle fritture degli alimenti, oltre a fornire delle indicazioni più precise sulla tipologia e sull’entità delle modificazioni che avvengono in frittura, a seconda delle condizioni impiegate.

Studio del comportamento flesso-torsionale di un telaio in materiale composito per vettura sportiva

Lo studio svolto in merito alle tecniche di produzione di componenti strutturali in materiale composito ha permesso il raggiungimento di una precisa consapevolezza dello stato dell’arte del settore, in particolare in riferimento ai processi attualmente utilizzati per l’industrializzazione in media-grande serie. Con l’obiettivo di sintetizzare i principali vantaggi delle tecnologie suddette e permettere la realizzazione di forme più complesse, si è proceduto all’analisi di fattibilità, attraverso uno studio funzionale e una prima progettazione di una tecnologia di produzione per nastratura automatizzata di componenti strutturali in materiale composito. Si è voluto quindi dimostrare la flessibilità e la consistenza del processo disegnando un telaio nastrato in carbonio, intercambiabile al telaio FSAE 2009 in tubolare d’acciaio (stessi punti di attacco motore, punti di attacco telaietto posteriore, attacchi sospensioni anteriori) e che garantisca un sostanziale vantaggio in termini di peso, a pari rigidezza torsionale. La caratterizzazione di tale telaio è stata eseguita mediante l'utilizzo del calcolo strutturale, validato da prove sperimentali.

Produzione automatizzata per nastratura di componenti strutturali in materiale composito

Questa dissertazione tratterà l’argomento dello studio di metodi di progettazione e processi tecnologici innovativi per l’industrializzazione in medio-grande serie di componenti strutturali in materiale composito. L’interesse della ricerca verso questo ambito è suscitato dai notevoli vantaggi che l’utilizzo di materiali dall’alto rapporto prestazioni meccaniche/peso danno nella ricerca di elevate prestazioni in applicazioni sportive e diminuzione dei consumi ed emissioni inquinanti in mezzi di trasporto di grande serie. Lo studio di componenti in materiale composito è caratterizzato dalla peculiarità di non poter disgiungere la progettazione della geometria della parte da quella del materiale e del processo, ed in questo senso nella figura del progettista si vanno a riassumere sinergicamente competenze riguardanti i tre ambiti. Lo scopo di questo lavoro è la proposizione di una metodologia di progettazione e produzione di componenti strutturali che permetta l’utilizzazione ottimale della natura fibrosa del materiale composito sia dal punto di vista del trasferimento dei carichi tra diversi componenti, sia dal punto di vista del processo di laminazione che avviene per nastratura automatizzata. Lo studio è volto a mostrare in quali termini tale tecnologia sia potenzialmente in grado di superare i vincoli di forma ed i limiti di efficienza meccanica delle giunzioni tra le parti e di garantire maggiore produttività e costi inferiori rispetti ai diversi metodi di produzione che rappresentano oggi lo stato dell’arte dell’industrializzazione in medio-grande serie. Particolare attenzione verrà posta sull’utilizzo della tecnologia oggetto di studio per la produzione di telai automobilistici.

Processi e impatti della migrazione. L'esperienza di chi resta in tre famiglie peruviane

Questo studio propone un’esplorazione dei nessi tra fenomeno migratorio, dinamiche transnazionali e quadri familiari, in un contesto specificato che è quello peruviano. Dal confronto critico con i paradigmi disciplinari in uso negli ambiti dell’antropologia delle migrazioni, degli studi sul transnazionalismo e sulle famiglie transnazionali, e dell’etnografia multi-situata, si è tentata una lettura teorica e metodologica che renda conto del contesto socio-familiare di partenza non come parte periferica di una completa visione del migrante, ma quale oggetto specifico della ricerca. L’obbiettivo è verificare, a livello locale, quale siano gli impatti della migrazione esterna di uno o più membri sulle strutture e sulle dinamiche, sui codici e sui ruoli del nucleo parentale originario. E individuare, sul piano transnazionale, quali reti, quali rituali o pratiche di connessione funzionino tra coloro che vanno e coloro che restano, quali discorsi e quali culture migratorie si sviluppino e si condividano. La ricerca si è svolta in Perù tra il 2009 ed il 2011. Il campo dell’indagine si è diviso tra due località nell’area della Costa del Perù. Lima, la capitale, e Chiclín, un villaggio rurale nella regione settentrionale de La Libertad. Attraverso le tecniche d’inchiesta della pratica etnografica, una permanenza prolungata sul terreno e l’osservazione partecipante, si è lavorato con i membri adulti di ambo i sessi di tre gruppi parentali distribuiti tra i due luoghi menzionati, selezionati in partenza sulla base dei contatti forniti da alcuni dei loro familiari emigrati in Italia tra il 1990 ed il 2000. Centrare l’analisi sulle figure per certi aspetti marginali dell’esperienza della migrazione normalmente considerata, è servito da un lato a rovesciare parzialmente la prospettiva transnazionale aggiustandola proprio rispetto a quegli attori sociali; dall’altro e ad un tempo, ha permesso di fare luce su dinamiche migratorie più generali, di ricostruirle e di ri-teorizzarle.

La neoangiogenesi nel reimpianto autologo di tessuto ovarico in pazienti a rischio di fallimento ovarico precoce: ottimizzazione dei metodi di crioconservazione di corticle ovarica

Introduzione L’efficacia dei chemio/radioterapici ha aumentato notevolmente l’aspettativa di vita delle pazienti oncologiche, tuttavia, questi trattamenti possono compromettere la funzionalità ovarica. La crioconservazione di tessuto ovarico, con il successivo reimpianto, ha lo scopo di preservare la fertilità delle pazienti a rischio di fallimento ovarico precoce. Scopo dello studio Definire la migliore procedura di crioconservazione e reimpianto in grado di ottenere la neovascolarizzazione del tessuto reimpiantato nel minor tempo possibile al fine di diminuire la perdita follicolare causata dall’ischemia durante la procedura. Materiali e metodi Per ciascuna paziente (3) le biopsie ovariche, sono state prelevate laparoscopicamente e crioconservate secondo il protocollo di congelamento lento/scongelamento rapido. Campioni di corticale ovarica sono stati processati per l’analisi istologica, ultrastrutturale, immuistochimica e confocale per valutare la preservazione morfologiaca del tessuto. Le fettine di corticale ovarica sono state scongelate e reimpiantate ortotopicamente (2), nelle ovaia e in due tasche peritoneali, o eterotopicamente (1), in due tasche create nel sottocute sovrapubico. Risultati Le analisi di microscopia hanno mostrato il mantenimento di una discreta morfologia dello stroma, e dei vasi criopreservati e un lieve ma non significativo danneggiamento dei follicoli scongelati. Tutte le pazienti hanno mostrato la ripresa della funzionalità endocrina rispettivamente dopo 2/4 mesi dal reimpianto. Il color-doppler, inoltre ha rivelato un significativo aumento della vascolarizzazione ovarica rispetto alla quasi totale assenza di vascolarizzazione prima del reimpianto, quando le pazienti mostravano una conclamata menopausa. Conclusioni Lo studio ha confermato la ripresa della vascolarizzazione dell’ovaio in seguito a reimpianto avascolare di fettine di corticale, senza l’impiego di fattori esogeni o meccanici aggiuntivi, in tempi concordanti con i dati della letteratura. I risultati sono incoraggianti e l’avanzare degli studi e della ricerca potranno contribuire allo sviluppo di nuove metodologie di reimpianto che possano avere un successo clinico ed una sicurezza superiori a quelle finora ottenute.