CFD modeling of two-phase boiling flows in the slug flow regime with an interface capturing technique

The objective of this thesis was to improve the commercial CFD software Ansys Fluent to obtain a tool able to perform accurate simulations of flow boiling in the slug flow regime. The achievement of a reliable numerical framework allows a better understanding of the bubble and flow dynamics induced by the evaporation and makes possible the prediction of the wall heat transfer trends. In order to save computational time, the flow is modeled with an axisymmetrical formulation. Vapor and liquid phases are treated as incompressible and in laminar flow. By means of a single fluid approach, the flow equations are written as for a single phase flow, but discontinuities at the interface and interfacial effects need to be accounted for and discretized properly. Ansys Fluent provides a Volume Of Fluid technique to advect the interface and to map the discontinuous fluid properties throughout the flow domain. The interfacial effects are dominant in the boiling slug flow and the accuracy of their estimation is fundamental for the reliability of the solver. Self-implemented functions, developed ad-hoc, are introduced within the numerical code to compute the surface tension force and the rates of mass and energy exchange at the interface related to the evaporation. Several validation benchmarks assess the better performances of the improved software. Various adiabatic configurations are simulated in order to test the capability of the numerical framework in modeling actual flows and the comparison with experimental results is very positive. The simulation of a single evaporating bubble underlines the dominant effect on the global heat transfer rate of the local transient heat convection in the liquid after the bubble transit. The simulation of multiple evaporating bubbles flowing in sequence shows that their mutual influence can strongly enhance the heat transfer coefficient, up to twice the single phase flow value.

La inclusión de declaraciones de derechos y principios en los Estatutos de Italia y España

La ricerca riguarda l’inclusione di dichiarazioni di diritti e principi introdotte negli Statuti di autonomia delle Regioni italiane e delle Comunità Autonome spagnole riformati negli ultimi anni. La tesi consta, oltre che nell’introduzione dei concetti preliminari, di due parti per ognuno dei Paesi nelle quali si esaminano i sistemi regionali e concretamente queste carte di diritti e principi. La terza parte raccoglie un’analisi comparativa di ambedue gli Stati. Il problema dell’efficacia di questi diritti e principi rappresenta la chiave fondamentale. In questo senso, la Giurisprudenza costituzionale risulta essere basilare per lo studio delle differenti risposte alle novità dei diversi elenchi di diritti e principi a livello regionale. Mentre la Corte Costituzionale italiana ha negato la loro efficacia giuridica, anche come norme programmatiche assimilabili a quelle costituzionali, il Tribunale Costituzionale spagnolo ha qualificato un nuovo tipo di diritto, i c. d. diritti statutari, che non sono diritti pubblici soggettivi ma mandati ai poteri pubblici autonomici, specialmente al legislatore autonomico. Lo studio si completa con la problematica dell’uguaglianza e la garanzia dei diritti e i principi in questi Stati composti.

Il contratto a Tempo Determinato nel lavoro privato e pubblico. Assetti e linee di tendenza in un mercato del lavoro dinamico e globale

L’elaborato, dopo una ricostruzione della disciplina normativa presente in materia di contratto a tempo determinato in Italia e nei principali ordinamenti europei (Spagna, Francia ed Inghilterra), affronta i più rilevanti nodi problematici dell’istituto, in riferimento al settore privato e pubblico, mettendo in luce le principali querelle dottrinali e giurisprudenziali. Particolare attenzione è dedicata alle questioni insorte a seguito delle ultime modifiche normative di cui al c.d. Collegato lavoro (legge n. 183/2010), sino al decisivo intervento della Corte Costituzionale, con pronuncia n. 303 del 9 novembre 2011, che ha dichiarato legittima la disposizione introduttiva dell’indennità risarcitoria forfetizzata, aggiuntiva rispetto alla conversione del contratto. Tutte le problematiche trattate hanno evidenziato le difficoltà per le Corti Superiori, così come per i giudici comunitari e nazionali, di trovare una linea univoca e condivisa nella risoluzione delle controversie presenti in materia. L’elaborato si chiude con alcune riflessioni sui temi della flessibilità e precarietà nel mondo del lavoro, attraverso una valutazione quantitativa e qualitativa dell’istituto, nell’intento di fornire una risposta ad alcuni interrogativi: la flessibilità è necessariamente precarietà o può essere letta quale forma speciale di occupazione? Quali sono i possibili antidoti alla precarietà? In conclusione, è emerso come la flessibilità possa rappresentare un problema per le imprese e per i lavoratori soltanto nel lungo periodo. La soluzione è stata individuata nell’opportunità di investire sulla formazione. Si è così ipotizzata una nuova «flessibilità socialmente ed economicamente sostenibile», da realizzarsi tramite l’ausilio delle Regioni e, quindi, dei contributi del Fondo europeo di sviluppo regionale: al lavoratore, in tal modo, potrà essere garantita la continuità con il lavoro tramite percorsi formativi mirati e, d’altro canto, il datore di lavoro non dovrà farsi carico dei costi per la formazione dei dipendenti a tempo determinato.

L'Orientamento politico come fattore di differenziazione delle politiche pubbliche locali: I casi di Modena e Verona

La tesi ha per oggetto lo studio delle politiche pubbliche locali ed in particolare delle politiche sociali che dal 2011 sono diventate politiche esclusivamente territoriali. L’obiettivo è quello di verificare se il differente orientamento politico delle amministrazioni genera politiche differenti. Per verificare le ipotesi si sono scelti 2 Comuni simili sul piano delle variabili socio-economiche, ma guidati da giunte con orientamento politico differente: il Comune di Modena a guida Partito Democratico e il Comune di Verona con un sindaco leghista a capo di una giunta di centro-destra. Nella prima parte vengono esposti ed analizzati i principali paradigmi di studio delle politiche (rational choice, paradigma marxista, economia del benessere, corporativismo e pluralismo, neo-istituzionalismo e paradigma relazionale) e viene presentato il paradigma che verrà utilizzato per l’analisi delle politiche (paradigma relazionale). Per la parte empirica si è proceduto attraverso interviste in profondità effettuate ai due Assessori alle Politiche sociali e ai due Dirigenti comunali dei Comuni e a 18 organizzazioni di Terzo settore impegnate nella costruzione delle politiche e selezionate attraverso la metodologia “a palla di neve”. Sono analizzate le disposizioni normative in materia di politica sociale, sia per la legislazione regionale che per quella comunale. L’analisi dei dati ha verificato l’ipotesi di ricerca nel senso che l’orientamento politico produce politiche differenti per quanto riguarda il rapporto tra Pubblica Amministrazione e Terzo settore. Per Modena si può parlare di una scelta di esternalizzazione dei servizi che si accompagna ad un processo di internalizzazione dei servizi tramite le ASP; a Verona almeno per alcuni settori delle politiche (disabilità e anziani) sono stati realizzati processi di sussidiarietà e di governance. Per la fase di programmazione l’orientamento politico ha meno influenza e la programmazione mostra caratteristiche di tipo “top-down”.

Luis Arana e i veterani di Euzkeldun Batzokija: la corrente ortodossa del nazionalismo basco

La tesi di Marco Perez intitolata “Luis Arana e i veterani di Euzkeldun Batzokija: la corrente ortodossa del nazionalismo basco”, può essere considerata come la biografia politica di uno dei personaggi più importanti del nazionalismo basco. Il lavoro di ricerca si centra fondamentalmente sull'ispiratore del nazionalismo euskaldun (e cofondatore del Partido Nacionalista Vasco) e della corrente che ne accompagnò e sostenne l'azione politica. Euzkeldun Batzokija fu il nome dato al primo circolo del PNV, fondato da Luis e Sabino Arana nel 1894. Successivamente, gli statuti del circolo e i suoi membri veterani furono presi come modello del nazionalismo primordiale (che si pretendeva definire sull'esempio dell'Ordine gesuita). Sul piano organizzativo la tesi si divide in sette capitoli che ricostruiscono il percorso politico di Luis Arana, dai primi documenti del 1879 fino alle ultime lettere inviate negli anni quaranta. Si tratta di un lungo periodo, che comprende momenti diversi della storia spagnola (dalle guerre carliste alla Guerra Civile spagnola) e del movimento aranista. In questo senso, sulla base di una generale e comparata riflessione sul nazionalismo, si analizza il movimento basco nei suoi rapporti con la modernità. Una realazione costruita attraverso concetti “diacronicamente” legati a un passato mitico e leggendario e comunque subalterna ai rapporti di forza tra le correnti del PNV. La corrente ortodossa fece sempre riferimento al nazionalismo “originario” (definito dai fratelli Arana nei primi anni del movimento) che fu un'espressione regionale del nazionalcattolicesimo spagnolo. Fu proprio Luis Arana a ricordare la finalità religiosa ed etnica del nazionalismo basco, respingendo qualsiasi aggiornamento teorico e organizzativo del PNV, intesi come una grave violazione dell'ortodossia aranista.

Analisi critica di modelli previsionali per le frane in Emilia Romagna

Questa tesi di dottorato è inserita nell’ambito della convenzione tra ARPA_SIMC (che è l’Ente finanziatore), l’Agenzia Regionale di Protezione Civile ed il Dipartimento di Scienze della Terra e Geologico - Ambientali dell’Ateneo di Bologna. L’obiettivo principale è la determinazione di possibili soglie pluviometriche di innesco per i fenomeni franosi in Emilia Romagna che possano essere utilizzate come strumento di supporto previsionale in sala operativa di Protezione Civile. In un contesto geologico così complesso, un approccio empirico tradizionale non è sufficiente per discriminare in modo univoco tra eventi meteo innescanti e non, ed in generale la distribuzione dei dati appare troppo dispersa per poter tracciare una soglia statisticamente significativa. È stato quindi deciso di applicare il rigoroso approccio statistico Bayesiano, innovativo poiché calcola la probabilità di frana dato un certo evento di pioggia (P(A|B)) , considerando non solo le precipitazioni innescanti frane (quindi la probabilità condizionata di avere un certo evento di precipitazione data l’occorrenza di frana, P(B|A)), ma anche le precipitazioni non innescanti (quindi la probabilità a priori di un evento di pioggia, P(A)). L’approccio Bayesiano è stato applicato all’intervallo temporale compreso tra il 1939 ed il 2009. Le isolinee di probabilità ottenute minimizzano i falsi allarmi e sono facilmente implementabili in un sistema di allertamento regionale, ma possono presentare limiti previsionali per fenomeni non rappresentati nel dataset storico o che avvengono in condizioni anomale. Ne sono esempio le frane superficiali con evoluzione in debris flows, estremamente rare negli ultimi 70 anni, ma con frequenza recentemente in aumento. Si è cercato di affrontare questo problema testando la variabilità previsionale di alcuni modelli fisicamente basati appositamente sviluppati a questo scopo, tra cui X – SLIP (Montrasio et al., 1998), SHALSTAB (SHALlow STABility model, Montgomery & Dietrich, 1994), Iverson (2000), TRIGRS 1.0 (Baum et al., 2002), TRIGRS 2.0 (Baum et al., 2008).

Impatti paesaggistici ed economici delle misure agroambientali nell'ambito dei programmi di sviluppo rurale

La ricerca è mirata a valutare come l’attuazione delle politiche ambientali di Sviluppo Rurale possa contribuire al miglioramento del paesaggio, analizzando i suoi effetti territoriali. Nell’ambito del caso di studio della Regione Emilia-Romagna vengono analizzate le misure agro-ambientali e di forestazione agricola dal 1994 al 2011, comprendendo gli interventi realizzati con i Regolamenti (CEE) 2078/1992, 2080/1992 e dai Programmi di Sviluppo Rurale (PSR) 2000-2006 e 2007-2013. In particolare, sono approfonditi i fattori che determinano la partecipazione territoriale delle misure agro-ambientali, individuate a livello aziendale le motivazioni alla partecipazione per le azioni con effetto diretto sul paesaggio, valutati i conseguenti effetti tecnico-economici e analizzati gli impatti degli interventi sul paesaggio a livello territoriale, in funzione del contesto ambientale. I risultati hanno consentito di approfondire quanto già riportato nelle valutazioni istituzionali dei PSR e in letteratura scientifica, individuando i fattori determinanti della partecipazione a livello regionale. A questo scopo sono state utilizzate analisi di econometria spaziale che hanno permesso di evidenziare effetti di concentrazione territoriale delle superfici sotto impegno, in funzione delle priorità della misura e degli ordinamenti produttivi dei beneficiari. Sono stati inoltre analizzati gli impatti paesaggistici in un’area di studio ristretta a livello territoriale e aziendale: gli interventi specifici, in alcuni contesti territoriali dove è stata raggiunta una certa concentrazione delle superfici sotto impegno, hanno modificato il paesaggio rurale, differenziandolo rispetto alla matrice agricola intensiva in cui sono stati inseriti. A livello aziendale sono stati rilevati effetti significativi sull’economia dei beneficiari che scelgono di aderire a tali misure, con un diffuso effetto di riduzione della redditività. I contributi compensano in maniera differenziata i costi legati all’implementazione degli interventi in funzione della tipologia di intervento e delle scelte tecniche aziendali adottate per la loro gestione.

Concessioni di servizio in ambito interportuale, portuale e demaniale marittimo ed esercizio delle relative attività: l'impatto della disciplina comunitaria in materia di libera prestazioni di servizi.

Come si evince dal titolo della tesi, la ricerca effettuata dal presente candidato nel corso del dottorato di ricerca ha avuto ad oggetto l’analisi delle competenze che, a diverso livello, comunitario, nazionale e regionale, sono attribuite agli enti in materia di rilascio di concessioni di servizi in abito interportuale, portuale e demaniale marittimo. L’attenzione, pertanto, ha dovuto innanzitutto essere rivolta ai compiti ed alle facoltà che, in forza del trattato che istituisce la Comunità Europea, sono attribuite alla Comunità stessa. Si è provveduto, pertanto, ad analizzare l’evoluzione della normativa per giungere all’attuale sistema giuridico. Gli aspetti della disciplina delle concessioni, oggetto di ricerca, hanno dovuto ripercorrere i vari procedimenti di infrazione comminati dalla Corte Europea, per i quali il sistema giuridico nazionale si è dovuto adattare con non poche difficoltà, soprattutto per la presenza di posizioni e prassi, negli anni, divenute consolidate.

Servizi relazionali e inclusione sociale: due studi di caso sul coinvolgimento delle famiglie nel Comune di Parma

La presente ricerca muove i suoi primi passi dall’ipotesi generale che il paradigma relazionale possa offrire al mondo dei servizi sociali una configurazione diversa, talora meno utopistica, del community work. Sebbene, infatti, in questi anni il sistema di offerta dei servizi si sia arricchito di principi come la co-progettazione e la co-responsabilità delle azioni, il lavoro di comunità resta ancora molto distante dal lavoro generalmente svolto nei servizi sociali territoriali, incapaci per ragioni strutturali e culturali di accogliere dentro di sé tale funzione. L’idea dalla quale trae origine la presente tesi di dottorato, è pertanto quella di arricchire la definizione di servizi sociali relazionali. Partendo dalle dimensioni che in letteratura sociologica e nei principali modelli teorici di social work definiscono un servizio alla persona quale servizio relazionale, nella prima parte teorica viene ipotizzata una trasformazione parziale del welfare regionale emiliano, poiché ai mutamenti culturali di questi anni non ha fatto seguito un cambiamento reale dei modelli operativi maggiormente basati sullo sviluppo delle competenze. Nella seconda parte della tesi, la ricerca empirica si focalizza sui progetti “family friendly” realizzati nel Comune di Parma, collocati in una logica di welfare societario e basati sull’apporto di soggetti di Terzo Settore, responsabili di ogni fase di realizzazione delle attività. La ricerca si avvale prevalentemente di tecniche qualitative e in alcuni tratti assume le caratteristiche della ricerca-azione. Nelle conclusioni, il contesto territoriale studiato rivela grande ricchezza dei legami strutturali, ma anche necessità di un rafforzamento dei legami interni. La forza dei servizi prodotti si situa, inoltre, nella sovrafunzionalità del legame tra volontari e famiglie, e di questo elemento dovrebbe arricchirsi anche il social work che scelga di adottare una prospettiva metodologica di lavoro relazionale.

Sviluppo e validazione di indicatori di qualità dell’assistenza nell’ambito della salute mentale in Emilia-Romagna

In Italia, il processo di de-istituzionalizzazione e di implementazione di modelli di assistenza per la salute mentale sono caratterizzati da carenza di valutazione. In particolare, non sono state intraprese iniziative per monitorare le attività relative all’assistenza dei pazienti con disturbi psichiatrici. Pertanto, l’obiettivo della tesi è effettuare una valutazione comparativa dei percorsi di cura nell’ambito della salute mentale nei Dipartimenti di Salute Mentale e Dipendenze Patologiche della regione Emilia-Romagna utilizzando indicatori ottenuti dai flussi amministrativi correnti.. I dati necessari alla costruzione degli indicatori sono stati ottenuti attraverso un data linkage dei flussi amministrativi correnti regionali delle schede di dimissione ospedaliera, delle attività territoriali dei Centri di Salute Mentale e delle prescrizioni farmaceutiche, con riferimento all’anno 2010. Gli indicatori sono stati predisposti per tutti i pazienti con diagnosi principale psichiatrica e poi suddivisi per categoria diagnostica in base al ICD9-CM. . Il set di indicatori esaminato comprende i tassi di prevalenza trattata e di incidenza dei disturbi mentali, i tassi di ospedalizzazione, la ri-ospedalizzazione a 7 e 30 giorni dalla dimissione dai reparti psichiatrici, la continuità assistenziale ospedale-territorio, l’adesione ai trattamenti ed il consumo e appropriatezza prescrittiva di farmaci. Sono state rilevate alcune problematiche nella ricostruzione della continuità assistenziale ospedale-territorio ed alcuni limiti degli indicatori relativi alle prescrizioni dei farmaci. Il calcolo degli indicatori basato sui flussi amministrativi correnti si presenta fattibile, pur con i limiti legati alla qualità, completezza ed accuratezza dei dati presenti. L’implementazione di questi indicatori su larga scala (regionale e nazionale) e su base regolare può essere una opportunità per impostare un sistema di sorveglianza, monitoraggio e valutazione dell’assistenza psichiatrica nei DSM.

Sintesi di molecole biologicamente attive con tecniche chemoenzimatiche:beta-lattami, profeni e alfa-amminoacidi non naturali

Il progetto di ricerca di questa tesi è stato focalizzato sulla sintesi di tre classi di molecole: β-lattami, Profeni e α-amminonitrili, utilizzando moderne tecniche di sintesi organica, metodologie ecosostenibili e strategie biocatalitiche. I profeni sono una categoria di antiinfiammatori molto diffusa e in particolare abbiamo sviluppato e ottimizzato una procedura in due step per ottenere (S)-Profeni da 2-arilpropanali raceme. Il primo step consiste in una bioriduzione delle aldeidi per dare i relativi (S)-2-Aril Propanoli tramite un processo DKR mediato dall’enzima Horse Liver Alcohol Dehydrogenase. Il secondo, l’ossidazione a (S)-Profeni, è promossa da NaClO2 e TEMPO come catalizzatore. Con lo scopo di migliorare il processo, in collaborazione con il gruppo di ricerca di Francesca Paradisi all’University College Dublino abbiamo immobilizzato l’enzima HLADH, ottenendo buone rese e una migliore enantioselettività. Abbiamo inoltre proposto un interessante approccio enzimatico per l’ossidazione degli (S)-2-Aril Propanoli utilizzando una laccasi da Trametes Versicolor. L’anello β-lattamico è un eterociclo molto importante, noto per essere un interessante farmacoforo. Abbiamo sintetizzato nuovi N-metiltio beta-lattami, che hanno mostrato un’attività antibatterica molto interessante contro ceppi resistenti di Staphilococcus Aureus prelevati da pazienti affetti da fibrosis cistica. Abbiamo poi coniugato gruppi polifenolici a questi nuovi β-lattami ottenendo molecule antiossidanti e antibatteriche, cioè con attività duale. Abbiamo poi sintetizzato un nuovo ibrido retinoide-betalattame che ha indotto differenziazione si cellule di neuroblastoma. Abbiamo poi sfruttato la reazione di aperture dell’anello monobattamico tramite enzimi idrolitici, con lo scopo di ottenere β-amminoacidi chirali desimmetrizzati come il monoestere dell’acido β–amminoglutammico. Per quando riguarda gli α-amminonitrili, è stato sviluppato un protocollo di Strecker. Le reazioni sono state molto efficienti utilizzando come fonte di cianuro l’acetone cianidrina in acqua, utilizzando differenti aldeidi e chetoni, ammine primarie e secondarie. Per mettere a punto una versione asimmetrica del protocollo, abbiamo usato ammine chirali con lo scopo di ottenere nuovi α-amminonitrili chirali.

Biologia di Tuta absoluta (Lepidoptera: Gelechiidae), interazioni con l’ambiente e valutazione di tecniche di contenimento ecocompatibili

Tuta absoluta (Meyrick) è un lepidottero originario dell’America meridionale, infeudato a pomodoro e ad altre solanacee coltivate e spontanee. Con l’attività trofica le larve causano mine fogliari e gallerie nei frutti, con conseguenti ingenti danni alle colture. T. absoluta è stato segnalato per la prima volta in Italia nel 2008 e in Piemonte nel 2009. Pertanto le ricerche sono state condotte per rilevarne la distribuzione in Piemonte, studiarne l’andamento di popolazione in condizioni naturali e controllate, e valutare l’efficacia di differenti mezzi di lotta al fine di definire le strategie di difesa. Il monitoraggio, condotto nel 2010, ha evidenziato come T. absoluta sia ormai largamente diffuso sul territorio regionale già pochi mesi dopo la segnalazione. L’insetto ha mostrato di prediligere condizioni climatiche più miti; infatti è stato ritrovato con maggiore frequenza nelle aree più calde. Il fitofago ha raggiunto densità di popolazione elevate a partire dalla seconda metà dell’estate, a ulteriore dimostrazione che, in una regione a clima temperato come il Piemonte, T. absoluta dà origine a infestazioni economicamente rilevanti solo dopo il culmine della stagione estiva. Per definire le strategie di lotta, sono state condotte prove in laboratorio, semi-campo e campo volte a valutare la tossicità nei confronti del lepidottero di preparati a base di emamectina benzoato, rynaxypyr, spinosad e Bacillus thuringiensis Berliner. In campo è stata verificata anche l’efficacia del miride dicifino Macrolophus pygmaeus (Rambur), reperibile in commercio. In tutte le prove, è stata riscontrata una maggiore efficacia di rynaxypyr ed emamectina benzoato. In campo M. pygmaeus ha mostrato difficoltà d’insediamento ed è stato in grado di contenere efficacemente il fitofago soltanto con bassi livelli d’infestazione. Per contro è stata costantemente osservata la presenza naturale di un altro miride dicifino Dicyphus errans (Wolff), che in laboratorio ha mostrato di non essere particolarmente disturbato dalle sostanze saggiate.

A regional environmental accounting matrix and integrated environmental economic analyses to support regional planning

This research deals with the deepening and use of an environmental accounting matrix in Emilia-Romagna, RAMEA air emissions (regional NAMEA), carried out by the Regional Environment Agency (Arpa) in an European project. After a depiction of the international context regarding the widespread needing to integrate economic indicators and go beyond conventional reporting system, this study explains the structure, update and development of the tool. The overall aim is to outline the matrix for environmental assessments of regional plans, draw up sustainable reports and monitor effects of regional policies in a sustainable development perspective. The work focused on an application of a Shift-Share model, on the integration with eco-taxes, industrial waste production, energy consumptions, on applications of the extended RAMEA as a policy tool, following Eurostat guidelines. The common thread is the eco-efficiency (economic-environmental efficiency) index. The first part, in English, treats the methodology used to build a more complete tool; in the second part RAMEA has been applied on two regional case studies, in Italian, to support decision makers regarding Strategic Environmental Assessments’ processes (2001/42/EC). The aim is to support an evidence-based policy making by integrating sustainable development concerns at all levels. The first case study regards integrated environmental-economic analyses in support to the SEA of the Regional Waste management plan. For the industrial waste production an extended and updated RAMEA has been developed as a useful policy tool, to help in analysing and monitoring the state of environmental-economic performances. The second case study deals with the environmental report for the SEA of the Regional Program concerning productive activities. RAMEA has been applied aiming to an integrated environmental-economic analysis of the context, to investigate the performances of the regional production chains and to depict and monitor the area where the program should be carried out, from an integrated environmental-economic perspective.

Rilievi anatomo-patologici e batteriologici condotti sull’apparato gastroenterico di una metapopolazione di cinghiali (Sus scrofa)

Nell’ambito della patologia gastroenterica del suino sono comprese alcune malattie sostenute da batteri spirillari gram negativi, di cui sono disponibili numerose trattazioni riguardanti, soprattutto, l'aspetto epidemiologico e patogenetico. Per alcuni di questi agenti microbici, e per le relative manifestazioni patologiche, poco si conosce nel cinghiale selvatico, animale correlato filogeneticamente al suino domestico, ma compreso in un’ecologia completamente differente. Da queste premesse è nato un approccio di ricerca e studio del comportamento di questi microrganismi in una metapopolazione di cinghiali, abbattuti durante il piano di controllo della popolazione densità-dipendente nel Parco dei Gessi e Calanchi dell’Abbadessa (BO), cercando di rapportare le conoscenze riportate in letteratura sul suino domestico con quanto è scaturito dalle indagini condotte sul cinghiale selvatico. In particolare è stata indagata con metodica immunoistochimica la presenza di Lawsonia intracellularis, patogeno del suino responsabile di Enterite Proliferativa (EP), in secondo luogo sono state condotte indagini batteriologiche e istologiche da stomaco e intestino, finalizzate all’isolamento di microrganismi spirillari dei generi Campylobacter e Helicobacter, da correlare all’eventuale presenza di lesioni infiammatorie e ulcerative gastriche o enteriche valutate secondo sistemi a punteggio ottenuti dalla bibliografia o realizzati in base alla tipologia di infiltrato cellulare e alla sua localizzazione. In ultimo, a fini comparativi con uno studio condotto nel 2002-2004 nello steso Parco Regionale, sono stati monitorati i livelli di antibioticoresistenza di indicatori fecali usando metodiche internazionali standardizzate (Escherichia coli e Enterococcus faecium.) nonché su un numero significativo di isolati di Campylobacter lanienae, per ottenere indicazioni preliminari sull’andamento nei 10 anni trascorsi dello stato di inquinamento da farmaco del Parco stesso. I risultati ottenuti permettono di ampliare le conoscenze sulla flora enterica del cinghiale selvatico e pongono questioni di sicurezza pubblica sulla gestione dei mammiferi selvatici.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.