Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Caratterizzazione quantitativa delle Curve Tempo-Concentrazione nella TC perfusionale polmonare

Negli ultimi anni la ricerca nella cura dei tumori si è interessata allo sviluppo di farmaci che contrastano la formazione di nuovi vasi sanguigni (angiogenesi) per l’apporto di ossigeno e nutrienti ai tessuti tumorali, necessari per l’accrescimento e la sopravvivenza del tumore. Per valutare l’efficacia di questi farmaci antiangiogenesi esistono tecniche invasive: viene prelevato tramite biopsia un campione di tessuto tumorale, e tramite analisi microscopica si quantifica la densità microvascolare (numero di vasi per mm^2) del campione. Stanno però prendendo piede tecniche di imaging in grado di valutare l’effetto di tali terapie in maniera meno invasiva. Grazie allo sviluppo tecnologico raggiunto negli ultimi anni, la tomografia computerizzata è tra le tecniche di imaging più utilizzate per questo scopo, essendo in grado di offrire un’alta risoluzione sia spaziale che temporale. Viene utilizzata la tomografia computerizzata per quantificare la perfusione di un mezzo di contrasto all’interno delle lesioni tumorali, acquisendo scansioni ripetute con breve intervallo di tempo sul volume della lesione, a seguito dell’iniezione del mezzo di contrasto. Dalle immagini ottenute vengono calcolati i parametri perfusionali tramite l’utilizzo di differenti modelli matematici proposti in letteratura, implementati in software commerciali o sviluppati da gruppi di ricerca. Al momento manca un standard per il protocollo di acquisizione e per l’elaborazione delle immagini. Ciò ha portato ad una scarsa riproducibilità dei risultati intra ed interpaziente. Manca inoltre in letteratura uno studio sull’affidabilità dei parametri perfusionali calcolati. Il Computer Vision Group dell’Università di Bologna ha sviluppato un’interfaccia grafica che, oltre al calcolo dei parametri perfusionali, permette anche di ottenere degli indici sulla qualità dei parametri stessi. Questa tesi, tramite l’analisi delle curve tempo concentrazione, si propone di studiare tali indici, di valutare come differenti valori di questi indicatori si riflettano in particolari pattern delle curve tempo concentrazione, in modo da identificare la presenza o meno di artefatti nelle immagini tomografiche che portano ad un’errata stima dei parametri perfusionali. Inoltre, tramite l’analisi delle mappe colorimetriche dei diversi indici di errore si vogliono identificare le regioni delle lesioni dove il calcolo della perfusione risulta più o meno accurato. Successivamente si passa all’analisi delle elaborazioni effettuate con tale interfaccia su diversi studi perfusionali, tra cui uno studio di follow-up, e al confronto con le informazioni che si ottengono dalla PET in modo da mettere in luce l’utilità che ha in ambito clinico l’analisi perfusionale. L’intero lavoro è stato svolto su esami di tomografia computerizzata perfusionale di tumori ai polmoni, eseguiti presso l’Unità Operativa di Diagnostica per Immagini dell’IRST (Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori) di Meldola (FC). Grazie alla collaborazione in atto tra il Computer Vision Group e l’IRST, è stato possibile sottoporre i risultati ottenuti al primario dell’U. O. di Diagnostica per Immagini, in modo da poterli confrontare con le considerazioni di natura clinica.

13C NMR of a single molecule magnet: analysis of pseudocontact shifts and residual dipolar couplings

Paramagnetic triple decker complexes of lanthanides are promising Single Molecule Magnets (SMMs), with many potential uses. Some of them show preferable relaxation behavior, which enables the recording of well resolved NMR spectra. These axially symmetric complexes are also strongly magnetically anisotropic, and this property can be described with the axial component of the magnetic susceptibility tensor, χa. For triple decker complexes with phthalocyanine based ligands, the Fermi˗contact contribution is small. Hence, together with the axial symmetry, the experimental chemical shifts in 1H and 13C NMR spectra can be modeled easily by considering pseudocontact and orbital shifts alone. This results in the determination of the χa value, which is also responsible for molecular alignment and consequently for the observation of residual dipolar couplings (RDCs). A detailed analysis of the experimental 1H-13C and 1H-1H couplings revealed that contributions from RDCs (positive and negative) and from dynamic frequency shifts (negative for all observed couplings) have to be considered. Whilst the pseudocontact shifts depend on the average positions of 1H and 13C nuclei relative to the lanthanide ions, the RDCs are related to the mobility of nuclei they correspond to. This phenomenon allows for the measurement of the internal mobility of the various groups in the SMMs.

In-situ DRIFT/MS study of the conversion of ethanol on mixed Mg/Si oxides

Due to the high price of natural oil and harmful effects of its usage, as the increase in emission of greenhouse gases, the industry focused in searching of sustainable types of the raw materials for production of chemicals. Ethanol, produced by fermentation of sugars, is one of the more interesting renewable materials for chemical manufacturing. There are numerous applications for the conversion of ethanol into commodity chemicals. In particular, the production of 1,3-butadiene whose primary source is ethanol using multifunctional catalysts is attractive. With the 25% of world rubber manufacturers utilizing 1,3-butadiene, there is an exigent need for its sustainable production. In this research, the conversion of ethanol in one-step process to 1,3-butadiene was studied. According to the literature, the mechanisms which were proposed to explain the way ethanol transforms into butadiene require to have both acid and basic sites. But still, there are a lot of debate on this topic. Thus, the aim of this research work is a better understanding of the reaction pathways with all the possible intermediates and products which lead to the formation of butadiene from ethanol. The particular interests represent the catalysts, based on different ratio Mg/Si in comparison to bare magnesia and silica oxides, in order to identify a good combination of acid/basic sites for the adsorption and conversion of ethanol. Usage of spectroscopictechniques are important to extract information that could be helpful for understanding the processes on the molecular level. The diffuse reflectance infrared spectroscopy coupled to mass spectrometry (DRIFT-MS) was used to study the surface composition of the catalysts during the adsorption of ethanol and its transformation during the temperature program. Whereas, mass spectrometry was used to monitor the desorbed products. The set of studied materials include MgO, Mg/Si=0.1, Mg/Si=2, Mg/Si=3, Mg/Si=9 and SiO2 which were also characterized by means of surface area measurements.

Ossidazione catalitica del 5-idrossimetilfurfurale con sistemi Pd/Au supportati su TiO2

Al giorno d’oggi, la produzione di energia e di molecole di base per l’industria chimica è completamente dipendente da risorse non rinnovabili come petrolio, carbone e gas naturale ; con tali risorse in via di esaurimento e la sempre crescente domanda di energia e materiali da parte di tutte le economie, risulta obbligatorio sviluppare tecniche per la loro produzione da risorse rinnovabili. Le biomasse, oltre ad essere una fonte rinnovabile, generano minori emissioni di gas serra rispetto ai combustibili fossili, perché la CO2 rilasciata nei processi di utilizzo viene bilanciata da quella consumata nel processo di crescita delle biomasse stesse. Tuttavia, ad oggi, lo sfruttamento di queste fonti risulta ancora sfavorito economicamente a causa di processi industriali non ancora ottimizzati, i cui costi si ripercuotono sul prodotto finale. Le molecole derivanti dagli scarti lignocellulosici possono essere usate come molecole di partenza per industrie chimiche di qualsiasi tipo, da quelle farmaceutiche a quelle plastiche. Queste molecole sono già parzialmente funzionalizzate; ciò significa che la sintesi di prodotti chimici specifici richiede un minor numero di stadi rispetto ai building blocks petroliferi, con conseguente diminuzione di prodotti di scarto e sottoprodotti . Una delle molecole “piattaforma” identificate tra le più importanti per la produzione di diversi prodotti chimici, risulta essere il 5-idrossimetilfurfurale (HMF) , derivante dalla disidratazione di polisaccaridi esosi, da cui si può ottenere tramite ossidazione selettiva, l’acido 2,5-furandicarbossilico (FDCA), potenziale sostituto dell’acido tereftalico nella produzione del PET e molti altri prodotti. Lo scopo di questo lavoro di tesi è stato lo studio della reattività di catalizzatori a base di Pd e Au/Pd utilizzati nella reazione di ossidazione dell’HMF a FDCA. Il lavoro svolto ha avuto come obiettivi principali: • L’ottimizzazione della sintesi di nanoparticelle di Pd e Au/Pd a diverso rapporto molare, e la caratterizzazione delle sospensioni ottenute mediante analisi DLS, XRD e TEM. • La preparazione di catalizzatori supportati su TiO2 e la caratterizzazione dei catalizzatori ottenuti tramite analisi BET, TEM e analisi termiche TGA/DSC. • Lo studio dell’attività catalitica dei catalizzatori preparati nell’ossidazione selettiva in fase liquida del 5-idrossimetilfurfurale (HMF) ad acido 2,5-furandicarbossilico (FDCA) e del meccanismo di reazione.

Valorizzazione di molecole da materie prime rinnovabili: la trasformazione del 2,5-diidrossimetilfurano con catalisi acida

The present work is part of a larger project aimed at obtaining compounds of industrial interest from renewable sources. The work is particularly aimed to investigate the reactivity of 2,5-bis-hydroxymethylfuran (BHMF), an important building block of organic nature easily obtainable from biomass, with acid catalysis. Through the study of the reactivity of BHMF in water, in the presence of an heterogeneous acid catalyst (Amberlyst 15), has been developed a new synthetic method for the preparation of α-6-hydroxy-6-methyl-4-enyl-2H-pyran-3-one a derivative whose molecular skeleton is similar to that of natural products which are used in pharmaceutical chemistry. The product is obtained in milder conditions and with better selectivity with respect to the strongly oxidizing conditions with which it is prepared in the literature starting from different precursors containing furan ring.

Outdoor bronze conservation: assessment of protective treatments by accelerated aging and of treatment removal procedures by laser cleaning

Outdoor bronzes exposed to the environment form naturally a layer called patina, which may be able to protect the metallic substrate. However, since the last century, with the appearance of acid rains, a strong change in the nature and properties of the copper based patinas occurred [1]. Studies and general observations have established that bronze corrosion patinas created by acid rain are not only disfiguring in terms of loss of detail and homogeneity, but are also unstable [2]. The unstable patina is partially leached away by rainwater. This leaching is represented by green streaking on bronze monuments [3]. Because of the instability of the patina, conservation techniques are usually required. On a bronze object exposed to the outdoor environment, there are different actions of the rainfall and other atmospheric agents as a function of the monument shape. In fact, we recognize sheltered and unsheltered areas as regards exposure to rainwater [4]. As a consequence of these different actions, two main patina types are formed on monuments exposed to the outdoor environment. These patinas have different electrochemical, morphological and compositional characteristics [1]. In the case of sheltered areas, the patina contains mainly copper products, stratified above a layer strongly enriched in insoluble Sn oxides, located at the interface with the uncorroded metal. Moreover, different colors of the patina result from the exposure geometry. The surface color may be pale green for unsheltered areas, and green and mat black for sheltered areas [4]. Thus, in real outdoor bronze monuments, the corrosion behavior is strongly influenced by the exposure geometry. This must be taken into account when designing conservation procedures, since the patina is in most cases the support on which corrosion inhibitors are applied. Presently, for protecting outdoor bronzes against atmospheric corrosion, inhibitors and protective treatments are used. BTA and its derivatives, which are the most common inhibitors used for copper and its alloy, were found to be toxic for the environment and human health [5, 6]. Moreover, it has been demonstrated that BTA is efficient when applied on bare copper but not as efficient when applied on bare bronze [7]. Thus it was necessary to find alternative compounds. Silane-based inhibitors (already successfully tested on copper and other metallic substrates [8]), were taken into consideration as a non-toxic, environmentally friendly alternative to BTA derivatives for bronze protection. The purpose of this thesis was based on the assessment of the efficiency of a selected compound, to protect the bronze against corrosion, which is the 3-mercapto-propyl-trimethoxy-silane (PropS-SH). It was selected thanks to the collaboration with the Corrosion Studies Centre “Aldo Daccò” at the Università di Ferrara. Since previous studies [9, 10, 11] demonstrated that the addition of nanoparticles to silane-based inhibitors leads to an increase of the protective efficiency, we also wanted to evaluate the influence of the addition of CeO2, La2O3, TiO2 nanoparticles on the protective efficiency of 3-mercapto-propyl-trimethoxy-silane, applied on pre-patinated bronze surfaces. This study is the first section of the thesis. Since restorers have to work on patinated bronzes and not on bare metal (except for contemporary art), it is important to be able to recreate the patina, under laboratory conditions, either in sheltered or unsheltered conditions to test the coating and to obtain reliable results. Therefore, at the University of Bologna, different devices have been designed to simulate the real outdoor conditions and to create a patina which is representative of real application conditions of inhibitor or protective treatments. In particular, accelerated ageing devices by wet & dry (simulating the action of stagnant rain in sheltered areas [12]) and by dropping (simulating the leaching action of the rain in unsheltered areas [1]) tests were used. In the present work, we used the dropping test as a method to produce pre-patinated bronze surfaces for the application of a candidate inhibitor as well as for evaluating its protective efficiency on aged bronze (unsheltered areas). In this thesis, gilded bronzes were also studied. When they are exposed to the outside environment, a corrosion phenomenon appears which is due to the electrochemical couple gold/copper where copper is the anode. In the presence of an electrolyte, this phenomenon results in the formation of corrosion products than will cause a blistering of the gold (or a break-up and loss of the film in some cases). Moreover, because of the diffusion of the copper salts to the surface, aggregates and a greenish film will be formed on the surface of the sample [13]. By coating gilded samples with PropS-SH and PropS-SH containing nano-particles and carrying out accelerated ageing by the dropping test, a discussion is possible on the effectiveness of this coating, either with nano-particles or not, against the corrosion process. This part is the section 2 of this thesis. Finally, a discussion about laser treatment aiming at the assessment of reversibility/re-applicability of the PropS-SH coating can be found in section 3 of this thesis. Because the protective layer loses its efficiency with time, it is necessary to find a way of removing the silane layer, before applying a new one on the “bare” patina. One request is to minimize the damages that a laser treatment would create on the patina. Therefore, different laser fluences (energy/surface) were applied on the sample surface during the treatment process in order to find the best range of fluence. In particular, we made a characterization of surfaces before and after removal of PropS-SH (applied on a naturally patinated surface, and subsequently aged by natural exposure) with laser methods. The laser removal treatment was done by the CNR Institute of Applied Physics “Nello Carrara” of Sesto Fiorentino in Florence. In all the three sections of the thesis, a range of non-destructive spectroscopic methods (Scanning Electron Microscopy with Energy Dispersive Spectroscopy (SEM-EDS), μ-Raman spectroscopy, X-Ray diffractometry (XRD)) were used for characterizing the corroded surfaces. AAS (Atomic Absorption Spectroscopy) was used to analyze the ageing solutions from the dropping test in sections 1 and 2.

Nuovi catalizzatori per la trasformazione diretta di glicerolo ad acido acrilico

Alla luce delle improrogabili necessità ambientali, le prospettive di crescita del mercato dei bio-combustibili e quindi del biodiesel, sono molto ampie; si rende quindi necessario lo sviluppo di nuovi processi chimici in grado di valorizzare il co-prodotto della sintesi del biodiesel, ovvero il glicerolo. Tra le varie opzioni proposte dalla recente letteratura scientifica e brevettuale, la trasformazione one-pot del glicerolo ad acido acrilico può rappresentare una soluzione. All’interno di questa tematica, durante il periodo di tesi ho eseguito uno studio di catalizzatori a base di ossidi misti contenenti tungsteno, molibdeno e/o vanadio. Tali ossidi presentano sia funzionalità acida, necessaria per il primo stadio di disidratazione del glicerolo ad acroleina, sia funzionalità redox, necessaria all’ossidazione dell’acroleina ad acido acrilico. I sistemi tri-componente W-V-Mo si sono rivelati catalizzatori attivi e selettivi per la sintesi diretta di glicerolo ad acido acrilico. La miglior performance catalitica di questa classe di catalizzatori ha consentito di ottenere selettività in acido acrilico del 31%, con selettività totale ad acido acrilico ed acroleina superiore al 38% (valori tra i più elevati rispetto a quelli riportati in letteratura). Infine, si è dimostrato che i catalizzatori a base di W-V-Mo sono sistemi potenzialmente sfruttabili anche in impianti a doppio stadio per la produzione di acido acrilico con alimentazioni miste propilene/glicerolo. Ulteriori studi sono attualmente in corso per approfondire le capacità catalitiche degli ossidi misti studiati.

Studio sull'applicazione di derivati dell'ammina di betti chirali in sistemi catalitici organici

In this thesis, the development of asymmetric α-alkylation of aldehydes using two new organocatalysts is described. Nowadays organocatalized asymmetric synthesis uses preferentially primary or secondary amines. In our case two new Betti bases derivatives have been used as organocatalysts. We tried to find a method based on resolution to obtain both enantiomers with ee major than 90%. At the end we tried them in an organocatalytic processes which involve indole derivatives and aldehydes as substrates. In questa tesi è descritto lo sviluppo del processo di alfa-alchilazione di aldeidi utilizzando due nuovi catalizzatori organici chirali. Al giorno d’oggi la sintesi asimmetrica organo catalitica sfrutta principalmente ammine primarie e secondarie chirali. Come organo catalizzatori, sono stati utilizzati due nuovi derivati della base di Betti. E’ stato ricercato un metodo che permettesse di risolvere entrambi gli enantiomeri e che permettesse di ottenere un eccesso enantiomerico maggiore del 90%. Infine questi catalizzatori sono stati utilizzati e ottimizzati in micro-processi che utilizzano un substrato indolico e di un’aldeide.