Factorization method and irregular inclusions in electrical impedance tomography

In electrical impedance tomography, one tries to recover the conductivity inside a physical body from boundary measurements of current and voltage. In many practically important situations, the investigated object has known background conductivity but it is contaminated by inhomogeneities. The factorization method of Andreas Kirsch provides a tool for locating such inclusions. Earlier, it has been shown that under suitable regularity conditions positive (or negative) inhomogeneities can be characterized by the factorization technique if the conductivity or one of its higher normal derivatives jumps on the boundaries of the inclusions. In this work, we use a monotonicity argument to generalize these results: We show that the factorization method provides a characterization of an open inclusion (modulo its boundary) if each point inside the inhomogeneity has an open neighbourhood where the perturbation of the conductivity is strictly positive (or negative) definite. In particular, we do not assume any regularity of the inclusion boundary or set any conditions on the behaviour of the perturbed conductivity at the inclusion boundary. Our theoretical findings are verified by two-dimensional numerical experiments.

L'identità ritrovata. Riqualificazione e valorizzazione dell'area archeologica dell'anfiteatro Romano di Ancona.

Il progetto di valorizzazione dell’area del parco archeologico dell’anfiteatro romano di Ancona affronta il problema del recupero delle zone lacerate del centro antico della città, di quelle aree che in seguito ai bombardamenti della Seconda Guerra Mondiale e del terremoto del 1972 hanno perso la loro identità. Dopo aver analizzato le fasi evolutive della struttura urbana della città e il sistema di relazioni sociali che la caratterizza, il progetto ha individuato nella zona dell’ex convento di Santa Palazia, sul versante ovest del colle Guasco e attigua al parco archeologico dell’anfiteatro romano, il sito idoneo per la localizzazione di un nuovo complesso architettonico. È prevista la realizzazione di residenze, spazi per la didattica e per la cultura, attività di servizio e commerciale e la realizzazione della sede del nuovo Museo d’Arte Contemporanea della Regione Marche. Il progetto definisce un macrosistema in grado di mettere ordine e porre in relazione, attraverso spazi condivisi, edifici primari (come l’anfiteatro, la chiesa dei SS Pellegrino e Teresa e il Museo Archeologico), siti archeologici, edifici pubblici legati alla archeologia, ed edifici privati, prevalentemente ad uso residenziale. Ridisegna la città facendo della misura dell’eccellenza del passato di Ancona, la misura del nuovo progetto per recuperare l’identità perduta.

Progetto di un'applicazione web per servizi di mobilità urbana tramite l'uso di OpenData

Apertura, partecipazione, collaborazione e possibilità di creare una competenza collettiva sono i motivi che portano alla nascita e alla diffusione degli OpenData, i quali favoriscono l'interoperabilità e la trasparenza dei governi nei confronti dei cittadini, inoltre migliorano l'efficienza delle amministrazioni pubbliche, e mettono in grado le persone di affrontare meglio le decisioni che riguardano la loro vita potendo utilizzare informazioni che prima non erano disponibili. Il lavoro svolto nell'elaborato si colloca nel settore della mobilità urbana e nasce dalla decisione dell'azienda Tper di mettere a disposizione i propri dati in formato OpenData sul sito web http://www.tper.it/tper-open-data. L'obiettivo principale è la realizzazione di un'applicazione in grado di fornire informazioni in tempo reale sulle linee di autobus, e relative fermate, in una determinata area di interesse.

Ricerche di campo per lo sviluppo della tecnologia del maschio sterile nella lotta ad Aedes albopictus (Skuse)

Aedes albopictus (Skuse), comunemente detta Zanzara Tigre, ha invaso, negli ultimi anni, molti paesi, soprattutto in modo passivo attraverso il commercio di pneumatici usati. Questa specie è particolarmente adatta all'applicazione della tecnica dell'insetto sterile (SIT), basata su allevamento massale, sterilizzazione e rilascio in campo di un gran numero di maschi della specie vettrice. I maschi sterili rilasciati devono essere in grado di volare, di disperdersi sul territorio, di sopravvivere, di essere sessualmente attivi abbastanza a lungo per coprire il tempo tra una fase di rilascio e la successiva, di individuare le femmine vergini selvatiche e competere con successo per l'accoppiamento con i maschi selvatici. La dispersione e la sopravvivenza dei maschi di Ae. albopictus allevati in laboratorio, sono state studiate mediante tecniche di marcatura, rilascio e ricattura. Le catture sono state eseguite da tecnici specializzati, in un raggio di 350 m dal sito di rilascio. Gli esperimenti condotti hanno dimostrato che i maschi sono in grado di disperdersi, dal sito di rilascio, per circa 200 m ma la loro longevità in campo è fortemente dipendente dalle condizioni climatiche. In studi di semi-campo e di campo è stato valutato uno speciale dispositivo progettato per essere incluso nella stazione di rilascio dei maschi in grado di fornire loro fonti energetiche per migliorarne le prestazioni. I risultati ottenuti sono stati positivi. Studi di competitività sono stati condotti in tunnel costruiti in un ambiente naturale al fine di validare un protocollo per studi sulla competitività dei maschi in questo modello sperimentale. Maschi irraggiati mediante l'applicazione di raggi gamma alla dose di 30 Gy sono stati messi in competizione con maschi fertili per l'accoppiamento con femmine vergini con diversi rapporti. I risultati ottenuti hanno dimostrato le buone prestazioni e l'affidabilità di questo modello sperimentale rimanendo però irrisolto il problema dell’elevata variabilità.

Qualifica a Vibrazioni di Componenti Meccanici: Studio e Verifica di una Procedura di Test Tailoring.

I test di qualifica a vibrazioni vengono usati in fase di progettazione di un componente per verificarne la resistenza meccanica alle sollecitazioni dinamiche (di natura vibratoria) applicate durante la sua vita utile. La durata delle vibrazioni applicate al componente durante la sua vita utile (migliaia di ore) deve essere ridotta al fine di realizzare test fattibili in laboratorio, condotti in genere utilizzando uno shaker elettrodinamico. L’idea è quella di aumentare l’intensità delle vibrazioni riducendone la durata. Esistono diverse procedure di Test Tailoring che tramite un metodo di sintesi definiscono un profilo vibratorio da applicare in laboratorio a partire dalle reali vibrazioni applicate al componente: una delle metodologie più comuni si basa sull’equivalenza del danno a fatica prodotto dalle reali vibrazioni e dalle vibrazioni sintetizzate. Questo approccio è piuttosto diffuso tuttavia all’autore non risulta presente nessun riferimento in letteratura che ne certifichi la validità tramite evidenza sperimentalmente. L’obiettivo dell’attività di ricerca è stato di verificare la validità del metodo tramite una campagna sperimentale condotta su opportuni provini. Il metodo viene inizialmente usato per sintetizzare un profilo vibratorio (random stazionario) avente la stessa durata di un profilo vibratorio non stazionario acquisito in condizioni reali. Il danno a fatica prodotto dalla vibrazione sintetizzata è stato confrontato con quello della vibrazione reale in termini di tempo di rottura dei provini. I risultati mostrano che il danno prodotto dalla vibrazione sintetizzata è sovrastimato, quindi l’equivalenza non è rispettata. Sono stati individuati alcuni punti critici e sono state proposte alcune modifiche al metodo per rendere la teoria più robusta. Il metodo è stato verificato con altri test e i risultati confermano la validità del metodo a condizione che i punti critici individuati siano correttamente analizzati.

Progettazione di un'applicazione web-oriented per la gestione di un sistema informativo aziendale

L’azienda committente vuole ampliare la possibilità di accedere al suo database, sia dall’esterno che dall’interno, non solamente da parte di un unico utente amministratore, ma anche da tutti gli agenti distribuiti sul territorio nazionale e tutti gli impiegati degli uffici. Si vuole inoltre creare un sistema di notifiche via email che permetta a tutti gli utenti (agenti) registrati di avere in tempo reale informazioni sempre aggiornate riguardo i propri clienti. La ditta si chiama Tropical Lane S.p.A. e vuole realizzare questo progetto per rendere maggiormente accessibili le informazioni per i propri agenti, distribuiti nelle varie regioni italiane, direttamente tramite un loro dispositivo mobile, come smartphone o tablet, senza dover necessariamente telefonare continuamente in ditta dove è presente una segretaria che svolge solamente questa mansione. In questo modo si cerca di velocizzare la procedura di accesso ai dati così da liberare una risorsa utile per lo svolgimento di altre funzioni interne. Si è deciso quindi di creare un sito web, basato su tecnologia Active Server Pages e interfacciato al database aziendale, che sia fruibile dall’esterno della rete aziendale e sul quale vengono mostrati i dati, organizzati in modo da essere facilmente comprensibili e visualizzabili da tutti. La realizzazione del sito è stata effettuata utilizzando notepad++ sia per le pagine ASP che per le poche pagine di HTML statico presenti. Gli script sono stati realizzati in linguaggio Javascript, compatibile con le specifiche dei browser più diffusi. Il sito è supportato da un unico database realizzato in precedenza con Microsoft SQL ed integrato.

Nanoindentazione dello strato di pentacene in otft sottoposti a irraggiamento ionico

In questa tesi abbiamo presentato i risultati sperimentali di nanoindentazione su pentacene in transistor organici a film sottile (OTFT) sottoposti ad irraggiamento ionico. Nella prima parte si ripercorre lo sviluppo della tecnica di indentazione strumentata, con una focalizzazione particolare sui modelli matematici proposti per l'interpretazione dei dati forza-spostamento ricavati da queste misure. In particolare, viene diffusamente esposta l'implementazione della tecnica di analisi proposta da Oliver e Pharr, che è utilizzata in questa tesi. Il secondo capitolo espone le caratteristiche generali (strutturali ed elettriche) degli OTFT. Un paragrafo è dedicato al pentacene, che rappresenta lo strato attivo dei transistor organici su cui sono state effettuate le misure in laboratorio. L'ultima parte del capitolo consiste in una panoramica dell'interazione tra radiazioni e polimeri. Vengono quindi presentati i risultati sperimentali: si confrontano le proprietà di durezza e modulo di Young per campioni caratterizzati da differenti specie ioniche, dosi ed energie di irraggiamento (unitamente a campioni reference, per permettere un confronto con il pentacene sottoposto a bombardamento).

Sviluppo di un sistema per l'ottimizzazione della dose in radioterapia tramite "dose-painting" basato sui voxel

Il presente lavoro è stato svolto presso la struttura di Fisica Medica dell'Azienda Ospedaliera IRCCS "Arcispedale S. Maria Nuova" di Reggio Emilia e consiste nello sviluppo di un sistema per l'ottimizzazione della dose in Radioterapia tramite dose-painting basato sui voxel. Il dose painting è una tecnica di pianificazione del trattamento di radioterapia che si basa sull'assegnazione o ridistribuzione della dose secondo le informazioni biologiche e metaboliche che i moderni sistemi di imaging sono in grado di fornire. La realizzazione del modulo di calcolo BioOPT è stata possibile grazie all'utilizzo dei due software open-source Plastimatch e CERR, specifici per l'elaborazione e la registrazione di immagini mediche di diversi tipi e formati e per la gestione, la modifica e il salvataggio di piani di trattamento di radioterapia creati con la maggior parte dei software commerciali ed accademici. Il sistema sviluppato è in grado di registrare le immagini relative ad un paziente, in generale ottenute da diverse tipologie di imaging e acquisite in tempi diversi ed estrarre le informazioni biologiche relative ad una certa struttura. Tali informazioni verranno poi utilizzate per calcolare le distribuzioni di dose "ottimale" che massimizzano il valore delle funzioni radiobiologiche utilizzate per guidare il processo di redistribuzione della dose a livello dei voxel (dose-painting). In questo lavoro il modulo è stato utilizzato principalmente per l'ottimizzazione della dose in pazienti affetti da Glioblastoma, un tumore cerebrale maligno tra i più diffusi e mortali. L'ottimizzatore voxel-based, infatti, è stato sviluppato per essere utilizzabile all'interno di un progetto di ricerca finanziato dal Ministero della Salute per la valutazione di un programma di terapia che include l'uso di un innovativo acceleratore lineare ad alto rateo di dose per la cura di tumori cerebrali in fase avanzata. Al fine di migliorare il trattamento radiante, inoltre, lo studio include la somministrazione della dose tramite dose-painting con lo scopo di verificarne l'efficacia. I risultati ottenuti mostrano che tramite il modulo sviluppato è possibile ottenere distribuzioni di dose eterogenee che tengono conto delle caratteristiche biologiche intratumore stimate a partire dalle immagini multimodali. Inoltre il sistema sviluppato, grazie alla sua natura 'open', è altamente personalizzabile a scopi di ricerca e consente di simulare distribuzioni di dose basate sui voxel e di confrontarle con quelle ottenute con i sistemi commerciali ad uso clinico, che non consentono questo tipo di ottimizzazioni.

Thinkmix: dall'idea alla progettazione dello story network

Thinkmix è un network con componenti social che permette agli utenti di creare storie collaborando. La tesi illustra tutti gli step che hanno portato alla realizzazione di questo network: l'idea, la progettazione, lo sviluppo e la pubblicazione. Ritengo si tratti di un progetto ben riuscito e completo che mi ha permesso di esprimere totalmente le capacità acquisite durante il corso nelle varie materie (e non unicamente nella materia di riferimento) e di avvicinarmi a tematiche esterne a una laurea triennale (sicurezza informatica, marketing, acquisto e gestione di server dedicati, burocrazia per la pubblicazione di applicazione iOS e sito web con dominio).

Sintesi e caratterizzazione di nuovi copoliesteri alifatici multiblocco per applicazioni biomedicali

La ricerca nell’ambito dell’ingegneria tissutale e del rilascio controllato di farmaci ha compiuto notevoli progressi negli ultimi anni. In questo contesto, i materiali polimerici rappresentano senza dubbio la tipologia più adatta: è infatti possibile modularne piuttosto facilmente le proprietà finali per ottenere materiali con caratteristiche ad hoc per il tipo di applicazione scelta, garantendo al contempo il mantenimento di biodegradabilità e biocompatibilità, essenziali in campo biomedicale. All’interno della classe dei polimeri, i poliesteri alifatici risultano particolarmente interessanti e promettenti. Tra questi ultimi, il poli(butilene succinato) (PBS) è utilizzato soprattutto nel campo degli imballaggi biodegradabili grazie alla buona stabilità termica e alla elevata temperatura di fusione (115°C). Di contro, tale polimero è caratterizzato da tempi di biodegradazione lunghi, dovuti all’elevato grado di cristallinità (circa 45-50%), nonché da proprietà meccaniche non ottimali per alcune applicazioni. In tale contesto si inserisce il presente lavoro di tesi che ha come scopo la realizzazione di nuovi poli(esteri uretani) multiblocco a base di PBS, caratterizzati da proprietà migliorate rispetto all’omopolimero di partenza. Al fine di ottenere nuovi materiali che presentino una maggiore velocità di degradazione, combinata con un comportamento meccanico sia elastomerico che termoplastico, sono state prese in considerazione due diverse unità copolimeriche: una cosiddetta “hard” e l’altra “soft”. L’alternanza di queste due porzioni permette infatti di realizzare un polimero tenace, con una elevata temperatura di fusione (dovuta all’elevato grado di cristallinità del segmento hard), e con un basso modulo elastico ed un elevato allungamento a rottura (tipici invece del segmento soft).

Modalita Nava come tecnica di monitoraggio e di ventilazione artificiale in terapia intensiva.

NAVA®, dall’inglese Neurally Adjusted Ventilatory Assist, è una tecnica di monitoraggio e di ventilazione e rappresenta una sofisticata innovazione tecnologica in quanto consente un’assistenza ventilatoria costantemente in armonia con le esigenze del paziente, grazie alla rilevazione diretta dell’attività elettrica del diaframma. Da un punto di vista pratico-operativo, NAVA è un modulo integrativo che si inserisce nelle apparecchiature di ventilazione già esistenti integrandone al meglio le funzionalità. A tale modulo è collegato un sondino nasogastrico nella cui parte distale vi sono elettrodi bipolari. Il sondino viene inserito nell’esofago vicino al diaframma e permette l’acquisizione del segnale Edi (Diaphragmatic Electrical Activity), relativo all’attività elettrica del diaframma. L’attività di quest ultimo è strettamente correlata alla dinamica respiratoria del paziente, in quanto il diaframma, contraendosi, determina il flusso d’aria all’interno delle vie aree. Il segnale Edi acquisito viene usato per interfacciarsi con il ventilatore e grazie speciali algoritmi, il segnale guida il ventilatore permettendo un’assistenza ventilatoria proporzionale e sincrona agli sforzi respiratori del paziente. NAVA è tra le nuove apparecchiature sanitarie ed elettromedicali che la Banca Popolare dell’Emilia Romagna ha recentemente donato al Centro Grandi Ustionati dell’Ospedale Bufalini di Cesena per un valore complessivo di oltre 120.000 euro. NAVA e gli altri strumenti donati sono apparecchiature di ultima generazione destinate a migliorare le possibilità di sopravvivenza dei pazienti più critici, con ustioni e ferite alla cute molto gravi, che necessitano di un’assistenza intensiva. In questo elaborato, nel Capitolo 1, viene presentata la Fisiologia dell’apparato respiratorio e a seguire, nel Capitolo 2, viene descritta la Ventilazione meccanica convenzionale, ancora oggi molto utilizzata. Successivamente, nel Capitolo 3 è illustrata la nuova modalità NAVA. Proseguendo, nel Capitolo 4 si apre un confronto tra le principali differenze tra la NAVA e le precedenti modalità di ventilazione. L’elaborato si conclude con la speranza che NAVA, un’innovazione senza precedenti, non sia limitata ad un investimento potenzialmente utile nel presente della terapia intensiva, ma che la ricerca ad essa correlata possa, in un imminente futuro, aprire la strada a nuove tecnologie ancora più efficienti nella salvaguardia dei pazienti in terapia intensiva.

Attivita' non-termica nel nucleo della radiogalassia 3c84

La maggior parte dei corpi celesti che popolano l’universo emette “luce”. Ciò significa che essi sono visibili dai nostri occhi quando li alziamo sul cielo notturno o al limite, se troppo lontani, da potenti telescopi ottici. Questa luminosità ha nella maggior parte dei casi un’origine termonucleare, dovuta cioè alla presenza di sorgenti come le stelle, in cui l’elevata temperatura interna legata alle reazioni di fusione che le mantengono in vita produce una radiazione di corpo nero in banda ottica. Tuttavia, dato che la parte visibile costituisce solo una minuscola porzione dell’intero spettro elettromagnetico, andando ad indagare emissioni a differenti frequenze come il radio, l’infrarosso, l’ultravioletto, X e gamma, si rileva la presenza un’altra categoria di oggetti dalle caratteristiche peculiari che li rendono un affascinante campo di studio per molteplici ragioni: i Nuclei Galattici Attivi (AGN) (figura 1). Sono abbastanza rari (costituiscono meno dell’1% del totale rispetto alle normali galassie) e dalla vita breve, spesso molto lontani e potenti, ferventi di un’intensa attività che sembra crescere col redshift; si ipotizza perciò che siano giovani e che ci aprano una finestra sul momento successivo al collasso iniziale proprio della vita di ogni galassia, rivelandosi fondamentali per elaborare eventuali teorie cosmologiche. Inoltre, sebbene spesso ospiti di galassie visibili anche in ottico, i loro meccanismi di emissione e gli speciali comportamenti necessitano di analisi e spiegazioni totalmente differenti. Particolare è anche il metodo di rilevamento: per coprire infatti queste determinate frequenze è stata sviluppata una tecnica innovativa capace di dare ottimi risultati, perfino migliori di quelli dei telescopi tradizionali, l’interferometria radio. La tesi si divide in due parti: la prima delinea un ritratto degli AGN, la seconda analizza il flusso proveniente dalla radiogalassia 3C 84 a 15.4 e 43 GHz e ipotizza un possibile sito di origine dell’aumento di brillanza osservato.

Development of control-oriented models of Dual Clutch Transmission systems

A control-oriented model of a Dual Clutch Transmission was developed for real-time Hardware In the Loop (HIL) applications, to support model-based development of the DCT controller. The model is an innovative attempt to reproduce the fast dynamics of the actuation system while maintaining a step size large enough for real-time applications. The model comprehends a detailed physical description of hydraulic circuit, clutches, synchronizers and gears, and simplified vehicle and internal combustion engine sub-models. As the oil circulating in the system has a large bulk modulus, the pressure dynamics are very fast, possibly causing instability in a real-time simulation; the same challenge involves the servo valves dynamics, due to the very small masses of the moving elements. Therefore, the hydraulic circuit model has been modified and simplified without losing physical validity, in order to adapt it to the real-time simulation requirements. The results of offline simulations have been compared to on-board measurements to verify the validity of the developed model, that was then implemented in a HIL system and connected to the TCU (Transmission Control Unit). Several tests have been performed: electrical failure tests on sensors and actuators, hydraulic and mechanical failure tests on hydraulic valves, clutches and synchronizers, and application tests comprehending all the main features of the control performed by the TCU. Being based on physical laws, in every condition the model simulates a plausible reaction of the system. The first intensive use of the HIL application led to the validation of the new safety strategies implemented inside the TCU software. A test automation procedure has been developed to permit the execution of a pattern of tests without the interaction of the user; fully repeatable tests can be performed for non-regression verification, allowing the testing of new software releases in fully automatic mode.

La terapia demetilante con 5-azacitidina nelle sindromi mielodisplastiche: esperienza clinica del Nostro Istituto e correlazione con i dati biologici

Sulla base delle evidenze della letteratura (Fenaux, 2009; Lyons, JCO 2009), a partire da Settembre 2004 nel Nostro Istituto sono stati trattati 57 pazienti affetti da Sindrome Mielodisplastica (MDS) mediante terapia demetilante con 5-Azacitidina. Sono stati utilizzati differenti regimi terapeutici a seconda della classe di rischio IPSS: i pazienti a rischio basso/intermedio-1 hanno ricevuto Azacitidina 75 mg/mq/die sottocute per 5 giorni/mese (schema 5) per 8 cicli; i pazienti a rischio alto/intermedio-2 hanno ricevuto Azacitidina 50 mg/mq/die sottocute per 10 giorni/mese (schema 5+2+5) o Azacitidina 75 mg/mq/die per 7 giorni/mese (schema 7) fino a perdita della risposta. Su una casistica totale di 57 pazienti (15 a rischio basso/int-1; 41 rischio alto/int-2), l’87.7% (50 pazienti) sono risultati valutabili. Tra questi le risposte osservate sono state del 68% (34 pazienti), di cui il 14% (7 pazienti) ha ottenuto una Remissione Completa (CR) ed il 54% (27 pazienti) ha ottenuto un Hematologic Improvement (HI). La valutazione della risposta è stata eseguita secondo i criteri dell’International Working Group 2006 (IWG, Cheeson 2006). Le principali tossicità osservate sono state rappresentate da reazioni cutanee locali nel sito d’iniezione, tossicità gastrointestinale (stipsi e/o diarrea), mielotossicità, neutropenia febbrile, sepsi (3 pazienti). Tra i pazienti trattati abbiamo osservato la presenza di risposta ematologica prolungata (≥ 20 mesi) in 10 pazienti (20% dei pazienti valutabili). Inoltre, grazie alla collaborazione con il Dipartimento di Anatomia Umana dell’Università di Bologna (Prof. L. Cocco, Dott.ssa M.Y. Follo), tutti i pazienti trattati sono stati valutati per i livelli di espressione genica e metilazione del gene della fosfolipasi PI-PLC-beta1. I dati biologici così ottenuti sono stati correlati con quelli clinici, evidenziando la presenza di una correlazione tra i livelli di espressione genica e mutilazione della PI-PLC-beta1 e la risposta alla terapia demetilante con 5-Azacitidina.

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.