Indagini in Deep Inference

La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.

Radioattività naturale nei prodotti ceramici: valutazioni teoriche e sperimentali degli effetti ambientali e sanitari

I materiali zirconiferi, in particolare i silicati di zirconio e l’ossido di zirconio, vengono ampiamente utilizzati in diverse applicazioni industriali: fra queste, l’industria delle piastrelle ceramiche e di produzione dei materiali refrattari ne consuma quantitativi consistenti. Misure di spettrometria gamma condotte su diversi campioni di materiale zirconifero (farine di zirconio e sabbie zirconifere) utilizzati nell’industria ceramica per la produzione del gres porcellanato e delle piastrelle smaltate, hanno messo in evidenza valori di concentrazione di attività superiori a quelli presenti mediamente sulla crosta terrestre (35, 30 Bqkg-1 per il 238U e il 232Th, rispettivamente [Unscear, 2000]). L’aggiunta del materiale zirconifero nella preparazione delle piastrelle ceramiche in particolare di quelle smaltate (in una percentuale in peso pari al 10-20%) del gres porcellanato (in una percentuale in peso di 1-10%) e delle lamine di gres porcellanato “sottile” (in una percentuale in peso dell’ordine del 30%), conferisce al prodotto finale un alto grado di bianco, buone caratteristiche meccaniche ed un elevato effetto opacizzante, ma comporta anche un arricchimento in radionuclidi naturali. L’obiettivo principale di questo lavoro di tesi è stato quello di mettere a punto una metodologia (teorica e sperimentale) per valutare l’incremento di esposizione che possono ricevere un lavoratore standard di una industria ceramica ed una persona del pubblico che soggiorna in un ambiente rivestito con piastrelle. Da un lato, la presenza di radioattività nelle sabbie zirconifere, utilizzate come materie prime per la produzione di piastrelle, porta a considerare il problema dell’incremento di esposizione che può subire un lavoratore impiegato in ambiente di lavoro dove sono stoccati e manipolati consistenti quantitativi di materiale, dall’altro il contenuto di radioattività nel prodotto finito porta a considerare l’esposizione per una persona della popolazione che soggiorna in una stanza rivestita con materiale ceramico. Le numerose misure effettuate, unitamente allo sviluppo dei modelli necessari per valutare le dosi di esposizione per le persone del pubblico e dei lavoratori impiegati nel processo di produzione di piastrelle ceramiche, hanno permesso di mettere a punto una procedura che fornisce le garanzie necessarie per dichiarare accettabili le condizioni di lavoro nelle industrie ceramiche e più in generale il rispetto delle norme radioprotezionistiche per gli occupanti di ambienti rivestiti con piastrelle italiane.

Sviluppo di algoritmi avanzati di analisi e diagnosi combustione in tempo reale per motori endotermici alternativi

Increasingly stringent exhaust emission limits and higher fuel economy are the main drivers of the engine development process. As a consequence, the complexity of the propulsion units and its subsystems increase, due to the extensive use of sensors and actuators needed to obtain a precise control over the combustion phase. Since engine calibration process consumes most of the development time, new tools and methodologies are needed to shorten the development time and increase the performance attainable. Real time combustion analysis, based on the in-cylinder pressure signal, can significantly improve the calibration of the engine control strategies and the development of new algorithms, giving instantaneous feedback on the engine behavior. A complete combustion analysis and diagnosis system has been developed, capable of evaluating the most important indicators about the combustion process, such as indicated mean effective pressure, heat release, mass fraction burned and knock indexes. Such a tool is built on top of a flexible, modular and affordable hardware platform, capable of satisfying the requirements needed for accuracy and precision, but also enabling the use directly on-board the vehicle, due to its small form factor.

L'utilizzabilità degli atti nella fase investigativa. La prova per le indagini preliminari

The doctorate’s theme of research - Abstract My doctorate’s theme of research is about the Investigation in the Italian criminal proceedings. The Italian Code of criminal procedure of 1988 is the fruit of a new ideology that marks a departure from Italy’s prior inquisitorial tradition. According to criminal procedure Code of 1988, an accusatorial system separates the investigation and trial stages and the judge’s decision is based only on evidence collected in oral form in his presence in a public trial containing adversarial dynamics. The Italian Code of 1988 created a separation between criminal investigations and trial. Investigations are conducted by Public Prosecutor: he conducts the investigation phase in order to deem whether to file a formal charge against the defendant or to dismiss the case and the investigative evidence collected should serve only for this purpose. According to so called “inutilizzabilità fisiologica”’s rule, the evidence collected during investigations by prosecutor is not usable during trial by the judge: the results of the investigative efforts displayed by the parties should be kept outside of court. If the proceedings go on to trial, the case shall be deemed with only evidence collected in front of the judge. To create the separation of the trial phase from the investigation stage, there is the double-dossier system. During the investigations, evidence are collected in an investigation dossier. The trial judge will never see the investigation dossier and the trial judge’s decision is based on a new dossier, the trial dossier, with the evidence collected during the trial. The issue of my research is about the investigation, the so called “inutilizzabilità fisiologica”’s rule and also the exclusionary rules that concern the investigative phase and the decisions pronounced during the investigations (for example, the decisions concerning pre-trial confinement). 2 In fact, the exclusionary rule system (so called “inutilizzabilità patologica”) provides that evidence cannot be used in Italian criminal proceedings if it was the result of illegal inquiry.

Modellazione del degrado di strutture in muratura dovuto alla cristallizzazione di sali.

Il presente lavoro si è occupato della modellazione del degrado ambientale su strutture in muratura. Si propone un modello focalizzando l’attenzione sulla cristallizzazione dei sali con lo scopo di individuare sotto quali condizioni il sale si deposita, determinando la quantità e la posizione dove cristallizza e di come questo fenomeno influenza lo stato tenso-deformativo della struttura stessa.

Il cane come modello animale spontaneo di patologie neoplastiche dell'uomo: ene Ataxia-Telangiectasia Mutated (ATM) Nnella predisposizione al cancro ed importanza dei riarrangimanti genici dei geni Ig/TCR per la diagnosi e prognosi delle malattie linfoproliferative

“Naturally occurring cancers in pet dogs and humans share many features, including histological appearance, tumour genetics, molecular targets, biological behaviour and response to conventional therapies. Studying dogs with cancer is likely to provide a valuable perspective that is distinct from that generated by the study of human or rodent cancers alone. The value of this opportunity has been increasingly recognized in the field of cancer research for the identification of cancer-associated genes, the study of environmental risk factors, understanding tumour biology and progression, and, perhaps most importantly, the evaluation and development of novel cancer therapeutics”.(Paoloni and Khanna, 2008) In last years, the author has investigated some molecular features of cancer in dogs. The Thesis is articulated in two main sections. In section 1, the preliminary results of a research project aimed at investigating the role of somatic mutations of Ataxia-Telangiectasia mutated (ATM) gene in predisposing to cancer in boxer dogs, are presented. The canine boxer breed may be considered an unique opportunity to disclose the role of ATM somatic mutation since boxer dogs are known to be dramatically susceptible to cancer and since they may be considered a closed gene pool. Furthermore, dogs share with human the some environment. Overall, the abovementioned features could be considered extremely useful for our purposes. In the section 2, the results of our studies aimed at setting up accurate and sensitive molecular assays for diagnosing and assessing minimal residual disease in lymphoproliferative disorders of dogs, are presented. The results of those molecular assay may be directly translated in the field of Veterinary practice as well as the may be used to improve our objective evaluation of new investigational drugs effectiveness in canine cancer trials.

Analisi di immagini termiche aeree e satellitari per indagini multiscala in ambito urbano

L’alta risoluzione nel telerilevamento termico (Thermal Remote Sensing) da aereo o satellitare si rivela molto importante nell’analisi del comportamento termico delle superfici, in particolare per lo studio dei fenomeni climatici locali dello spazio urbano. La stato termico dell'ambiente urbano è oggi motivo di grande interesse per ricercatori, organi istituzionali e cittadini. Uno dei maggiori campi di studio del comportamento termico urbano interessa il problema energetico: la riduzione dei consumi e delle emissioni di CO2 è un obiettivo primario da perseguire per uno sviluppo sostenibile, spesso supportato da criteri legislativi e progetti comunitari. Su scala differente e con caratteristiche differenti, un altro degli argomenti che scuote da anni e con notevole interesse la ricerca scientifica, è il fenomeno termico urbano che prende il nome di isola di calore; questa si sviluppa non solo in conseguenza al calore sensibile rilasciato da attività antropiche, ma anche a causa della sempre maggiore conversione del territorio rurale in urbanizzato (inurbamento), con conseguente riduzione del fenomeno dell’evapotraspirazione. Oggetto di questa dissertazione è lo studio del comportamento termico delle superfici in ambito urbano, sperimentato sulla città di Bologna. Il primo capitolo si interessa dei principi e delle leggi fisiche sui quali è basato il telerilevamento effettuato nelle bende spettrali dell’infrarosso termico. Viene data una definizione di temperatura radiometrica e cinematica, tra loro legate dall’emissività. Vengono esposti i concetti di risoluzione (geometrica, radiometrica, temporale e spettrale) dell’immagine termica e viene data descrizione dei principali sensori su piattaforma spaziale per l’alta risoluzione nel TIR (ASTER e Landsat). Il secondo capitolo si apre con la definizione di LST (Land Surface Temperature), parametro del terreno misurato col telerilevamento, e ne viene descritta la dipendenza dal flusso della radiazione in atmosfera e dalle condizioni di bilancio termico della superficie investigata. Per la sua determinazione vengono proposti metodi diversi in funzione del numero di osservazioni disponibili nelle diverse bande spettrali dell’IR termico. In chiusura sono discussi i parametri che ne caratterizzano la variabilità. Il capitolo terzo entra nel dettaglio del telerilevamento termico in ambito urbano, definendo il fenomeno dell’Urban Heat Island su tutti i livelli atmosferici interessati, fornendo un quadro di operabilità con gli strumenti moderni di rilievo alle differenti scale (analisi multiscala). Un esempio concreto di studio multiscala dei fenomeni termici urbani è il progetto europeo EnergyCity, volto a ridurre i consumi energetici e le emissioni di gas serra di alcune città del centro Europa. Il capitolo quarto riporta la sperimentazione condotta sull’isola di calore urbana della città di Bologna tramite immagini ASTER con risoluzione spaziale 90 m nel TIR e ricampionate a 15 m dal VIS. Lo studio dell’isola di calore si è effettuata a partire dal calcolo della Land Surface Temperature utilizzando valori di emissività derivati da classificazione delle superfici al suolo. Per la validazione dei dati, in alternativa alle stazioni di monitoraggio fisse dell’ARPA, presenti nell’area metropolitana della città, si è sperimentato l’utilizzo di data-loggers per il rilievo di temperatura con possibilità di campionamento a 2 sec. installati su veicoli mobili, strumentati con ricevitori GPS, per la misura dei profili di temperatura atmosferica near-ground lungo transetti di attraversamento della città in direzione est-ovest.