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.

Ruolo delle architetture ad eventi nello sviluppo delle applicazioni moderne

Attualmente il panorama informatico è dominato dai dispositivi mobile: smartphone e tablet pc dominano incontrastati la scena del mercato elettronico. Questo comporta un radicale ripensamento e cambiamento del software, le web app e le mobile application richiedono infatti una sempre maggiore reattività dell’interfaccia utente, la persistente connessione a Internet e l’interazione con una moltitudine di dispositivi esterni. Il progettista di software deve oggi far fronte a tutta una serie di problematiche, l’aumentata complessità dei sistemi e i sempre più ristretti tempi di sviluppo e consegna richiedono compromessi tra la semplicità delle tecniche di progettazione e l’efficienza del prodotto ottenuto. Le architetture ad eventi in primis, unitamente al paradigma di programmazione asincrona, si pongono come soluzione ottimale a queste esigenze. L’obbiettivo principale di questa tesi è quello di offrire una panoramica generale sullo stato dell’arte delle architetture ad eventi focalizzandosi sul ruolo che esse assumono nel contesto delle applicazioni moderne, intendendo principalmente con questo termine le web application e le mobile application. Partendo dal concetto di programmazione sincrona e parallela si giunge a descrivere un terzo modello, il modello asincrono, di fondamentale importanza per i sistemi event-driven. Utilizzando come principale linguaggio di riferimento JavaScript si affrontano le problematiche legate alla stesura del codice per la gestione degli eventi, l’asincronicità intrinseca degli eventi e l’utilizzo di funzioni di callback portano a produrre codice di difficile lettura e manutenzione. Si analizzano quindi in dettaglio i pattern fondamentali e le tecniche attualmente utilizzate per l’ottimizzazione della gestione del codice e delle problematiche esposte fornendo numerosi esempi esplicativi.

Programmazione asincrona in JavaScript

L’obiettivo della tesi è esplorare gli aspetti fondamentali che riguardano la programmazione asincrona, in particolare in JavaScript, analizzando le librerie e i metodi piu` diffusi per risolvere problemi tipici di asincronicità. Il motivo dello studio di JavaScript è il grande utilizzo di tale linguaggio per la costruzione delle moderne web-app. Per la realizzazione di questo elaborato si è partiti dallo studio dell’evoluzione del web, dal Web 1.0 al web 2.0 e dall’evoluzione delle web app in questo contesto, successivamente si è raffinata la ricerca allo studio più specifico di JavaScript e, di conseguenza, ai suoi costrutti ed ai suoi stili di programmazione, come la programmazione asincrona e la programmazione ad eventi.

Jesolo - area pineta parco degli orti e centro equestre

Il disagio e le conflittualità sociali presenti nelle nostre città in molteplici casi hanno come teatro le aree verdi e gli spazi non costruiti presenti sul territorio urbano, percepiti spesso da un lato come luoghi non controllati e quindi conquistabili, dall’altro lato, come luoghi trascurati e quindi non sicuri, infrequentabili. Uno sguardo complessivo a queste aree che ne ribalti la prospettiva valorizzandone le potenzialità, può portare ad un progetto coordinato in cui si cerchi di incrementare e sostenere alcune funzioni ritenute capaci di superare le criticità presenti. In quest’ottica un progetto complessivo di paesaggio che non consideri il non costruito come una spazio residuale, ma come un elemento capace di una relazione attiva con il contesto urbano, può contribuire alla coesione sociale, alla sensibilizzazione ai temi ambientali, al miglioramento dell’offerta di luoghi di ritrovo, all’aumento della sicurezza urbana. Negli ultimi anni, la sensibilizzazione nei confronti dei problemi connessi con la salvaguardia dell’ambiente ha portato a un considerevole incremento delle aree protette e delle zone destinate a verde all’interno delle aree urbanizzate. Spesso però si considerano queste zone, in particolare i parchi e le riserve, come luoghi non totalmente fruibili dalla popolazione, anche al di là delle specifiche e corrette esigenze di conservazione. Questa impostazione rischia di mettere in crisi anche attività economiche orientate alla gestione sostenibile del territorio come nel caso dell’agricoltura. In realtà, uno degli errori che si commette più di frequente è quello di considerare le aree verdi e quelle antropizzate come entità fini a sé stesse mentre una positiva coesistenza può essere realizzata solo se si consente una loro positiva interazione dinamica, coniugando esigenze di conservazione e salvaguardia delle attività sociali ed economiche e fornendo stimoli alla riconversione delle attività non compatibili con l’ambiente. Un mezzo per perseguire tale scopo è, sicuramente, quello di proporre ai comuni forme alternative di difesa e gestione dell’ambiente, valorizzando la naturale vocazione del territorio. Vista la notevole incidenza percentuale sulla superficie complessiva, risulta di particolare importanza la tutela e la rivalutazione delle realtà rurali che, ormai da lungo tempo, subiscono l’inarrestabile fenomeno dell’espansione edilizia e sono costrette ad una difficile convivenza con la periferia urbana.

Il finanziamento dei partiti politici e delle campagne elettorali: modelli a confronto.

La tesi si propone come obiettivo di dimostrare nel quadro di un’indagine comparatistica l’importanza della tematica del finanziamento della politica, del rapporto tra denaro e politica, nelle democrazie contemporanee. In questo senso ci si propone di sviluppare i nessi esistenti nell’ambito del tema del finanziamento fra disciplina dei partiti, disciplina delle campagne elettorali e, più in generale, disciplina del sistema elettorale in senso stretto e della forma di governo; di descrivere il complesso quadro giuridico in materia di diritto della finanza politica, oggetto di frequenti aggiornamenti e in continua evoluzione, in alcuni casi anche in via giurisprudenziale, quale risulta emergere dallo studio di ciascun ordinamento considerato; e di definire in conclusione i precisi contorni dei due distinti modelli di «finanziamento della politica» ricostruiti dalla ricerca politologica come modello statalista o pubblico, da una parte, e modello liberale o volontario, dall’altra, pur nelle specificità di ogni contesto istituzionale

Parco Agricolo Guimarães. Piano per la riqualificazione paesaggistica e la fruizione pubblica dell'area rurale di veiga de creixomil.

Parco Agricolo Guimarães, piano per la riqualificazione paesaggistica e la fruizione pubblica dell'area rurale di Veiga de Creixomil. La tesi in oggetto consiste in una proposta per una riqualificazione paesaggistica ed uno studio di inserimento di attrattività pubbliche in un contesto rurale periurbano. L'area oggetto di studio presenta caratteristiche ambientali e agricole che divengono uno spunto progettuale, trasponendo le criticità sino a diventare motori della rigenerazione urbana per micro interventi. La proposta progettuale consiste nella espansione degli orti urbani e nella creazione di una piazza scambio per i prodotti locali mentre altre attività di aggregazione e coesione sociale sono poste in altre zone del parco agricolo.

Connessioni territoriali e nuove topografie: Un centro di interpretazione della cultura muisca a bogota.

Attualmente Usme, caratterizzata come visto da un territorio principalmente a bassa densità, è ancora fortemente relazionata con la campagna perché costituita dall’insieme di aree agricole, o di quelli che una volta erano spazi coltivati più prossimi alla città compatta. Questo tipo di paesaggio rurale che caratterizza Usme è caratterizzato come già visto da un tessuto sfrangiato e discretizzato e rappresenta la porzione di territorio dove la città esercita l’impatto ambientale più intenso dovuto sia alla sua immediata vicinanza al contesto urbano che al carattere di scarsa identità che sembra esprimere. Qualunque intervento architettonico in un territorio di margine come quello di Usme dovrebbe confrontarsi con un sistema di relazioni a grande scala, che si rapporti con la geografia stessa del luoghi e con un orientamento e una misurazione visiva e fisica del territorio stesso. Allo stesso modo è necessario che il progetto comprenda anche il suolo stesso delle grande aree attualmente lasciate libere, ovvero che il progetto architettonico si integri con il progetto paesaggistico creando in questo modo nuove relazioni e nuove geometrie nell’assetto territoriale. In questo senso il progetto può dialogare con il territorio e mettere in relazione differenti situazioni morfologiche, sfruttandone le potenzialità. L’obiettivo è quindi quello di non costruire semplici volumi appoggiati sulla terra ma quello di modificare la terra stessa, entrando in relazione con essa in modo profondo. Il progetto così inteso è concepito, e prima ancora letto, secondo strati, i quali possono contaminarsi o possono semplicemente sovrapporsi. L’area di progetto, come già detto, è essenzialmente all’interno di un vuoto presente tra le due parti di città. Il nuovo edificio si conforma come un segno netto nel territorio, un viadotto, un tronco d’albero caduto che protegge il parco dalla città, un elemento primordiale che da una parte si incunea nel terreno e dall’altra si affaccia sulla valle. Vuole essere il segno di un naturale artificio, proponendosi al tempo stesso come simbolo e funzione. Il museo emerge dalla terra, ma sembra anche immergersi in essa. L’architettura del museo crea un nuovo paesaggio morfologicamente radicato al suolo, attraverso uno spazio parzialmente ipogeo che integra il museo all’interno della montagna attraverso la copertura continua con la topografia esistente, sottolineando il profilo della collina.

Educazione scientifica ed educazione alla sostenibilita: una analisi di proposte didattiche

In questo lavoro di tesi sono stati analizzati tre progetti educativi proposti a livello della scuola superiore in cui si è posta l'attenzione sull'educazione alla sostenibilità, inserendola però in un contesto più vasto di educazione scientifica.

I beni immateriali nella valutazione d'azienda

In seguito ad una disamina del materiale presente in letteratura, ci siamo chiesti se i numerosi investimenti pubblicitari, promozionali, di marketing e, per dirla in una parola sola “intangibili”, generassero un aumento del valore dell’impresa nel contesto valutativo oppure se dessero origine esclusivamente ad aumenti di fatturato. L’obiettivo più ambito consiste nel capitalizzare gli investimenti su attività intangibili come la costruzione del marchio, l’utilizzo di brevetti, le operazioni rivolte alla soddisfazione del cliente e tutto quanto si possa definire immateriale. Eppure coesistono nel mare magnum della stessa azienda. Fino a quando non si potrà inserire criteri di valutazione d’azienda delle performance di marketing non ci potrà essere crescita in quanto, le risorse, sono utilizzate senza un criterio di ritorno di investimento.

Studio della dinamica del traffico su una rete stradale

Il presente lavoro si colloca in un ampio percorso che ha visto diversi studi interessati nella problematica del traffico urbano, e quindi delle congestioni stradali, il cui impatto nella qualità della vita nelle grandi città è diventato sempre più rilevante con il processo di urbanizzazione. Dalle prime ricerche compiute, risalenti alla prima metà del 900, e aventi come oggetto di studio la singola strada, il ricorso alla modellizzazione matematica di recente si è sviluppato in particolar modo per quel che concerne la rete urbana. Le problematiche che si incontrano affrontando il contesto delle reti urbane si possono riassumere sinteticamente innanzitutto nella mutevolezza del flusso del traffico nell'arco della giornata. In secondo luogo nell'esistenza di punti critici variabili nel corso del tempo. Incidentalmente può accadere che si verifichino eventi eccezionali dovuti tanto all'ambiente naturale, quanto sociale. Ogni modello nella sua natura riduzionista consente di prendere in esame alcune problematiche specifiche e la scelta di operare in modo selettivo risponde alla complessità del fenomeno. Con queste indicazioni di metodo si è pensato di concentrarsi sullo studio degli effetti delle fluttuazioni endogene dei flussi di traffico in una stradale di tipo Manhattan. Per modellizzare il traffico utilizzeremo un sistema dinamico, nel quale la velocità ottimale si basa sulla relazione del Diagramma Fondamentale postulato da Greenshields (1935).

Fish quality assessment through the application of chemico-physical, sensory and microbiological analyses

The quality of fish products is indispensably linked to the freshness of the raw material modulated by appropriate manipulation and storage conditions, specially the storage temperature after catch. The purpose of the research presented in this thesis, which was largely conducted in the context of a research project funded by Italian Ministry of Agricultural, Food and Forestry Policies (MIPAAF), concerned the evaluation of the freshness of farmed and wild fish species, in relation to different storage conditions, under ice (0°C) or at refrigeration temperature (4°C). Several specimens of different species, bogue (Boops boops), red mullet (Mullus barbatus), sea bream (Sparus aurata) and sea bass (Dicentrarchus labrax), during storage, under the different temperature conditions adopted, have been examined. The assessed control parameters were physical (texture, through the use of a dynamometer; visual quality using a computer vision system (CVS)), chemical (through footprint metabolomics 1H-NMR) and sensory (Quality Index Method (QIM). Microbiological determinations were also carried out on the species of hake (Merluccius merluccius). In general obtained results confirmed that the temperature of manipulation/conservation is a key factor in maintaining fish freshness. NMR spectroscopy showed to be able to quantify and evaluate the kinetics for unselected compounds during fish degradation, even a posteriori. This can be suitable for the development of new parameters related to quality and freshness. The development of physical methods, particularly the image analysis performed by computer vision system (CVS), for the evaluation of fish degradation, is very promising. Among CVS parameters, skin colour, presence and distribution of gill mucus, and eye shape modification evidenced a high sensibility for the estimation of fish quality loss, as a function of the adopted storage conditions. Particularly the eye concavity index detected on fish eye showed a high positive correlation with total QIM score.

Servizi di posizionamento e potenzialità degli atti di aggiornamento cartografico in coordinate assolute ETRF2000

Il contesto nazionale è cambiato recentemente per l’introduzione del nuovo Sistema Geodetico coincidente con quello Europeo (ETRS89, frame ETRF00) e realizzato dalle stazioni della Rete Dinamica Nazionale. Sistema geodetico, associato al cartografico UTM_ETRF00, divenuto per decreto obbligatorio nelle Pubbliche Amministrazioni. Questo cambiamento ha consentito di ottenere rilevamenti dei dati cartografici in coordinate assolute ETRF00 molto più accurate. Quando i dati così rilevati vengono utilizzati per aggiornamenti cartografici perdono le coordinate originarie e vengono adattati a particolari cartografici circostanti. Per progettare una modernizzazione delle mappe catastali e delle carte tecniche finalizzata a consentire l’introduzione degli aggiornamenti senza modificarne le coordinate assolute originarie, lo studio è iniziato valutando come utilizzare sviluppi di strutturazione dei dati topografici presenti nel Database Geotopografico, modellizzazioni 3D di fabbricati nelle esperienze catastali INSPIRE, integrazioni in ambito MUDE tra progetti edilizi e loro realizzazioni. Lo studio è proseguito valutando i servizi di posizionamento in tempo reale NRTK presenti in Italia. Inoltre sono state effettuate sperimentazioni per verificare anche in sede locale la precisione e l’affidabilità dei servizi di posizionamento presenti. La criticità della cartografia catastale deriva sostanzialmente dal due fatti: che originariamente fu inquadrata in 850 Sistemi e successivamente fu trasformata in Roma40 con una esigua densità di punti rimisurati; che fino al 1988 fu aggiornata con modalità non rigorose di bassa qualità. Per risolvere tali criticità si è quindi ipotizzato di sfruttare le modalità di rilevamento NRTK per aumentare localmente la densità dei punti rimisurati e reinquadrare le mappe catastali. Il test, realizzato a Bologna, ha comportato un’analisi preliminare per individuare quali Punti Fiduciali considerare coerenti con le specifiche cartografiche per poi utilizzarli e aumentare localmente la densità dei punti rimisurati. La sperimentazione ha consentito la realizzazione del progetto e di inserire quindi i prossimi aggiornamenti senza modificarne le coordinate ETRF00 ottenute dal servizio di posizionamento.

Origini dell'ucronia. La letteratura contro la storia

L’ucronia (Alternate History) è un fenomeno letterario ormai popolare e molto studiato, ma non lo sono altrettanto lo sue origini e i suoi rapporti con la storia “fatta con i se” (Counterfactual History), che risale a Erodoto e a Tito Livio. Solo nell’Ottocento alcuni autori, per vie largamente autonome, fecero della storia alternativa un genere di fiction: Louis Geoffroy con Napoléon apocryphe (1836), storia «della conquista del mondo e della monarchia universale», e Charles Renouvier con Uchronie. L’utopie dans l’histoire (1876), storia «della civiltà europea quale avrebbe potuto essere» se il cristianesimo fosse stato fermato nel II secolo. Questi testi intrattengono relazioni complesse con la letteratura dell’epoca di genere sia realistico, sia fantastico, ma altresì con fenomeni di altra natura: la storiografia, nelle sue forme e nel suo statuto epistemico, e ancor più il senso del possibile - o la filosofia della storia - derivato dall’esperienza della rivoluzione e dal confronto con le teorie utopistiche e di riforma sociale. Altri testi, prodotti in Inghilterra e negli Stati Uniti nello stesso periodo, esplorano le possibilità narrative e speculative del genere: tra questi P.s’ Correspondence di Nathaniel Hawthorne (1845), The Battle of Dorking di George Chesney (1871) e Hands Off di Edward Hale (1881); fino a una raccolta del 1931, If It Had Happened Otherwise, che anticipò molte forme e temi delle ucronie successive. Queste opere sono esaminate sia nel contesto storico e letterario in cui furono prodotte, sia con gli strumenti dell’analisi testuale. Una particolare attenzione è dedicata alle strategie di lettura prescritte dai testi, che subordinano i significati al confronto mentale tra gli eventi narrati e la serie dei fatti autentici. Le teorie sui counterfactuals prodotte in altri campi disciplinari, come la storia e la psicologia, arricchiscono la comprensione dei testi e dei loro rapporti con fenomeni extra-letterari.

Forma breve e fotografia: una narrativa del Mozambico

La relazione interdisciplinare tra letteratura e fotografia, nella rilettura della storia recente del Mozambico, è l’oggetto di studio della presente tesi. Il presupposto coincide in primo luogo con la disamina interna della dialettica esistente tra archivio coloniale e oralità, modalità narrativa in parte transitata nella estória, declinazione lusofona della forma breve che permette di recuperare l’eredità popolare del racconto tradizionale. Il dialogo tra verbale e visuale consente a sua volta di stabilire nuovi paradigmi interpretativi nel dibattito postcoloniale tra memoria, trauma e rappresentazione. L’analisi comparativa tra la narrativa di João Paulo Borges Coelho e la fotografia di Ricardo Rangel rivela sguardi diversi sul mondo circostante, ma anche convergenze contemplative che si completano nell’incorporazione reciproca delle “omologie strutturali” comuni alle due modalità espressive. La fotografia colma delle lacune fornendoci delle visioni del passato, ma, in quanto “rappresentazione”, ci mostra il mondo per come appare e non per come funziona. Il testo letterario, grazie al suo approccio dialogico-narrativo, consente la rielaborazione museologica della complessa pletora di interferenze semantiche e culturali racchiuse nelle immagini, in altre parole fornisce degli “indizi di verità” da cui (ri)partire per l’elaborazione di nuovi archetipi narrativi tra l’evento rappresentato e la Storia di cui fa parte. Il punto di tangenza tra i due linguaggi è la cornice, espediente fotografico e narrativo che permette di tracciare i confini tra l’indicibile e l’invisibile, ma anche tra ciò che si narra e ciò che sta fuori dalla narrazione, ovvero fuori dalla storia. La tensione dialettica che si instaura tra questi due universi è seminale per stabilire le ragioni della specificità letteraria mozambicana perché, come afferma Luandino Vieira, “nel contesto postcoloniale gli scrittori sono dei satelliti che ruotano intorno ai «buchi neri della storia» la cui forza di attrazione permette la riorganizzazione dell’intero universo letterario.

La figura del concessionario di beni e servizi nel demanio marittimo, costiero e portuale

Per la tradizione amministrativa la concessione è lo strumento che consente ai singoli di utilizzare un bene pubblico a titolo particolare. Proprio l’endiadi espressa dai due aggettivi della definizione tradizionale, pubblico e particolare, nasconde la ragione della fortuna dello strumento concessorio, capace di soddisfare, allo stesso tempo, un’esigenza di carattere pubblico ed un bisogno eminentemente privato, sopravvivendo ai più differenti periodi storici ed all’affermarsi delle più radicali correnti di pensiero. A fare da sfondo a questa insanabile tensione, in perenne oscillazione tra i due poli estremi della definizione, la nozione, a sua volta relativa, discussa e costantemente rivisitata, di bene pubblico. Per questa ragione il titolo del lavoro che si presenta è articolato in tre segmenti, che fanno riferimento allo strumento, soltanto formalmente unitario, della concessione negli ambiti del demanio marittimo, del demanio costiero e del demanio portuale. Nel primo capitolo si esamina la disciplina normativa applicabile alle varie tipologie di concessione ipotizzabili sul demanio marittimo, cercando di cogliere, in una prospettiva di analisi diacronica, le linee di evoluzione dell’uso particolare dei beni variamente connessi alle esigenze della navigazione. Il secondo capitolo è, invece, dedicato all’esame dell’elaborazione giurisprudenziale relativa alle vicende del demanio marittimo. Mentre nel terzo capitolo, infine, si è tentato di ricercare e di rappresentare una teoria unitaria della concessione dovuta, in gran parte, all’incedere, apparentemente irresistibile, di un vocabolario comune dei contratti pubblici di matrice comunitaria. In questo contesto appare evidente la crisi, probabilmente irreversibile, della concezione di bene pubblico e quindi di concessione.