Il ruolo delle architetture di controllo nella progettazione e sviluppo di applicazioni web: Un confronto fra event-loop e control-loop utilizzando il linguaggio dart e linguaggi agent-oriented

Quando si parla di architetture di controllo in ambito Web, il Modello ad Eventi è indubbiamente quello più diffuso e adottato. L’asincronicità e l’elevata interazione con l’utente sono caratteristiche tipiche delle Web Applications, ed un architettura ad eventi, grazie all’adozione del suo tipico ciclo di controllo chiamato Event Loop, fornisce un'astrazione semplice ma sufficientemente espressiva per soddisfare tali requisiti. La crescita di Internet e delle tecnologie ad esso associate, assieme alle recenti conquiste in ambito di CPU multi-core, ha fornito terreno fertile per lo sviluppo di Web Applications sempre più complesse. Questo aumento di complessità ha portato però alla luce alcuni limiti del modello ad eventi, ancora oggi non del tutto risolti. Con questo lavoro si intende proporre un differente approccio a questa tipologia di problemi, che superi i limiti riscontrati nel modello ad eventi proponendo un architettura diversa, nata in ambito di IA ma che sta guadagno popolarità anche nel general-purpose: il Modello ad Agenti. Le architetture ad agenti adottano un ciclo di controllo simile all’Event Loop del modello ad eventi, ma con alcune profonde differenze: il Control Loop. Lo scopo di questa tesi sarà dunque approfondire le due tipologie di architetture evidenziandone le differenze, mostrando cosa significa affrontare un progetto e lo sviluppo di una Web Applications avendo tecnologie diverse con differenti cicli di controllo, mettendo in luce pregi e difetti dei due approcci.

Software dispositivo medico: Analisi del rischio e integrazione nelle reti-it

In questa tesi faremo prima una panoramica sui dispositivi medici e, in particolare, andremo ad approfondire l’aspetto del software come dispositivo medico; successivamente andremo ad analizzare il sistema, definito “nuovo approccio”, che regolamenta l’immissione in commercio dei dispositivi medici all’interno del mercato europeo per andare poi ad analizzare la parte sulla gestione del rischio che è fondamentale per raggiungere la conformità soprattutto quando si tratta di dispositivi medici. Nel secondo capitolo, andremo poi ad analizzare il report tecnico IEC 80002-1 del 2009 che fornisce una guida, destinata al software, per l’applicazione dei requisiti contenuti nella normativa CEI UNI EN ISO 14971:2007. Nel terzo capitolo, visto il sempre maggior numero di dispositivi medici dotati di interfaccia di rete andremo ad analizzare il report tecnico IEC 80001 del 2009 per la gestione dei rischi delle reti IT medicali che incorporano tali dispositivi rivolto alle aziende ospedaliere.

Sistemi integrati per la domotica e per il risparmio energetico tramite micro elaboratori su singola scheda e basso costo.

Nella tesi viene presentata una introduzione generale all'Internet of Things, gli utilizzi che ne vengono fatti attualmente e le eventuali modifiche che verranno apportate in futuro, inoltre vengono presentati i problemi che ne derivano e le soluzioni che attualmente risolvono questi problemi. E' presente una introduzione al protocollo presentato da IBM MQTT che attualmente rappresenta uno standard in questo campo. In seguito vengono mostrati i requisiti e le fasi di progettazione di un sistema domotico, quali sono i suoi principali utilizzi quali i vantaggi e i suoi svantaggi. E' presente una introduzione ai dispositivi maggiormente usati per la realizzazione di sistemi del genere, con le loro caratteristiche, in particolare di dispositivi Arduino e Raspberry Pi. Viene mostrato l'uso del protocollo mqtt per la comunicazione tra dispositivi Raspberry Pi e client Android. In fine viene mostrata una realizzazione di un sistema di domotica attraverso l'uso di questo protocollo.

Un modello di asset allocation strategica

La tesi affronta il problema di Finanza Matematica dell'asset allocation strategica che consiste nel processo di ripartizione ottimale delle risorse tra diverse attività finanziarie presenti su un mercato. Sulla base della teoria di Harry Markowitz, attraverso passaggi matematici rigorosi si costruisce un portafoglio che risponde a dei requisiti di efficienza in termini di rapporto rischio-rendimento. Vengono inoltre forniti esempi di applicazione elaborati attraverso il software Mathematica.

Studio di un metodo per la determinazione dei polifenoli dell'olio d'oliva in accordo con le indicazioni salutistiche previste dal reg.(ue) n. 432/2012

La principale finalità di questo lavoro sperimentale riguarda la messa a punto di un metodo analitico rapido ed economico di tipo colorimetrico, che possa essere attuato anche in laboratori attrezzati per eseguire solo semplici determinazioni spettrofotometriche, con il quale quantificare il contenuto in composti fenolici in accordo con quanto riportato nell’health claim salutistico relativo ai polifenoli negli oli d’oliva (Reg. UE 432/2012). A questo scopo, il metodo sarà testato su dodici oli extra vergini di oliva, sia italiani che spagnoli, caratterizzati da concentrazioni diverse in composti fenolici, in parallelo ad un metodo cromatografico (HPLC-UV-MS) preceduto da idrolisi acida, già presente in letteratura. Tale reazione idrolitica consente, infatti, una conversione dei fenoli complessi tipici dell’oliva - i secoiridoidi - in fenoli semplici (idrossitirosolo e tirosolo), permettendo una determinazione semplificata del contenuto fenolico di un campione rispetto a quanto possibile mediante l’applicazione del solo metodo COI ("Determinazione dei biofenoli degli oli di oliva mediante HPLC", COI/T.20/Doc.n.29, 2009) per la verifica di quanto richiesto dall’health claim. Sulla base dei risultati ottenuti, sarà possibile valutare se i test colorimetrici più comunemente applicati per la determinazione dei composti fenolici negli oli d’oliva (Folin-Ciocalteu e metodo per la determinazione degli orto-difenoli con sodio molibdato) siano effettivamente applicabili per la determinazione del contenuto totale di idrossitirosolo e derivati in oli vergini di oliva, indicando se gli oli oggetto dello studio soddisfino o meno i requisiti UE per l’indicazione in etichetta del claim salutistico.

Longitudinal dynamics modeling and handling qualities of a conventional jet aircraft

Un noto centro di ricerca europea ha recentemente modificato un jet convenzionale di classe CS-25 in una piattaforma scientifica. Durante il processo di certificazione delle modifiche, l’impatto delle stesse sulle prestazioni è stato studiato in modo esaustivo. Per lo studio delle qualità di volo, i piloti collaudatori hanno sviluppato una procedura di certificazione ad hoc che consiste in test qualitativi separati della stabilità longitudinale, laterale e direzionale. L’obiettivo della tesi è analizzare i dati di volo, registrati durante i test di collaudo, con l'obiettivo di estrarre informazioni di carattere quantitativo circa la stabilità longitudinale del velivolo modificato. In primo luogo sono state analizzate tre diverse modifiche apportate all’aeromobile e successivamente i risultati sono stati messi a confronto per capirne l’influenza sulle qualità di volo dell’aeromobile. Le derivate aerodinamiche sono state stimate utilizzando la cosiddetta “identificazione dei parametri”, che mira a replicare le variabili registrate durante i test di volo, variando un dato insieme di coefficienti all’interno del modello linearizzato della dinamica dell’aeromobile. L'identificazione del modo di corto periodo ha consentito l'estrazione dei suoi parametri caratteristici, quali il rapporto di smorzamento e la frequenza naturale. La procedura ha consentito inoltre di calcolare il cosiddetto “Control Anticipation Parameter” (CAP), parametro caratterizzante delle qualità di volo di un aeroplano. I risultati ottenuti sono stati messi a confronto con i requisiti prescritti dalla normativa MIL-STD-1797-A, risultando conformi al livello più alto di qualità di volo.

Casa Caldesi. Un'ipotesi di restauro per il complesso architettonico faentino

Il Palazzo è un'architettura ben presente nell’immaginario collettivo soprattutto per il fatto che sia comunemente indicato come l’antica dimora dei Manfredi, signori della città. Tanto importante da sollevare sulla stampa locale periodiche ondate di indignazione per il suo stato di abbandono. Il recente studio di Lucio Donati dimostra come gli antichi proprietari fossero in realtà i Bazolini prima e i Viarani poi. A conclusione dell’articolo proponeva quindi di chiamare il fabbricato secondo il nome dei reali proprietari. In questa tesi ho deciso invece di chiamare il fabbricato con il nome di Casa Caldesi. Il precario stato di conservazione indica l’urgenza di un pronto intervento di restauro. Questa tesi propone una delle possibili ipotesi di progetto. Visto lo stato delle cose ho scelto un progetto di restauro che prevedesse una funzione mista residenziale e ad uffici. Mantenendo lungo via Manfredi le vetrine e quindi la funzione commerciale al dettaglio negli spazi che già una volta ospitavano i negozi. Il progetto si è soffermato in particolare nel disegno delle residenze. L’obiettivo di ripristinare i grandi ambienti decorati è stato rispettato attraverso un paziente lavoro di distribuzione capace di conservare e valorizzare la bellezza dei locali, senza perdere i requisiti di funzionalità e comodità adeguati alle moderne residenze. Questa scelta funzionale anche se può sembrare scontata e compatibile con un palazzo che da sempre è stata una residenza, presenta tuttavia alcune problematiche. L’ipotesi di restauro quindi si pone il problema di organizzare gli spazi del palazzo in appartamenti ed uffici, ripristinare la spazialità di tutti i grandi ambienti decorati e renderli compatibili con le esigenze abitative odierne.

Errori nelle dimostrazioni: tra logica ed esperienza didattica

Il lavoro nasce dall'esigenza di comprendere quali sono gli ostacoli concettuali e metodologici che gli studenti della scuola secondaria di secondo grado incontrano nello studio delle dimostrazioni. Tale lavoro è in parte dedicato alla descrizione, mediante la proposizione di ragionamenti scorretti, delle tipologie più diffuse di errori commessi nel condurre una dimostrazione, partendo dall'esplicitazione dei requisiti necessari della stessa in contesto logico. La realizzazione di un’esperienza didattica rivolta a studenti delle classi seconde, ha permesso di concretizzare le ipotesi avanzate durante la fase descrittiva. In particolare ha favorito l’individuazione di ulteriori spunti di riflessione su come condurre lo studio delle dimostrazioni e ha messo in evidenza come un’analisi che prescinde dal piano epistemologico risulta fuorviante e inappropriata.

La traduzione brevettuale con riferimento al brevetto europeo EP 2 442 329

L’idea del presente elaborato è nata a seguito di una esperienza di tirocinio presso l’agenzia di traduzioni New Service Communication, specializzata nella traduzione di brevetti. Durante questo stage ho potuto apprendere questo nuovo tipo di traduzione, che non avevo mai affrontato nel mio percorso di studi, e tradurre il brevetto europeo EP 2 442 329. Di conseguenza, lo scopo del presente elaborato è quello di delineare i tratti principali della traduzione brevettuale, mettendo in luce le caratteristiche per la quale quest’ultima si discosta dagli altri tipi di traduzione. In particolare, nel capitolo 1, dopo una breve presentazione finalizzata a definire il brevetto per invenzione, sarà descritto il sistema brevettuale di tipo europeo, saranno enunciati i requisiti di brevettabilità di un’invenzione e illustrate le varie parti di un documento brevettuale, facendo riferimento a quello europeo da me tradotto. Successivamente, nel capitolo 2 saranno delineati i tratti principali del linguaggio dei brevetti dal punto di vista lessicale e morfosintattico e le caratteristiche di questo tipo di traduzione. Per concludere il capitolo, saranno esposte le diverse fasi dell’iter di traduzione dei brevetti e gli strumenti traduttivi. Infine, nel capitolo 3, saranno presi in esame gli errori commessi durante la traduzione del brevetto europeo EP 2 442 329 con l’aiuto delle correzioni effettuate dal revisore. A questo proposito, saranno forniti esempi per garantire una migliore comprensione del capitolo.

I sistemi insediativi di alto promontorio: L'aggregato urbano di Castel d'Alfero analisi dello stato di conservazione, rilievo dei cinematismi in atto, progetto di restauro e riuso

La tesi affronta tematiche relative al rilievo di un aggregato edilizio, all'analisi della consistenza e dei quadri fessurativi, ai criteri di lettura dei cinematismi e alle procedure di consolidamento. Vengono, inoltre, proposte strategie di progetto, finalizzate al riuso e all'auto-mantenimento sostenibile del medesimo sistema architettonico attraverso sequenze logiche e concatenate di decisioni operative, sulla base di esigenze, criticità e requisiti emersi.

Integrazione tra Sistemi di Autenticazione Dipartimentale e d'Ateneo

Il documento illustra il lavoro di analisi dei requisiti, progettazione, implementazione e valutazione di un sistema per l’autenticazione degli utenti delle workstation della sede di Scienze del Dipartimento di Informatica — Scienza ed Ingegneria (DISI) che si integri al sistema di autenticazione d’Ateneo. Il sistema descritto è entrato in produzione il 24 settembre 2014 ed è tuttora operante. Il lavoro percorre le modalità di gestione degli account utente in uso presso il DISI e le nuove modalità di organizzazione del DSA d’Ateneo discutendo le motivazioni per cui le soluzioni standard non possono essere adottate nel caso esposto. Analizzato il processo di login dei sistemi Unix e le librerie coinvolte verrà esposto il nuovo progetto, le particolarità dello sviluppo delle nuove librerie PAM e di Name Service Switch e la loro modalità di funzionamento e configurazione all’interno del cluster Unix. In conclusione vengono presentate una serie di valutazioni che mostrano i vantaggi e il rispetto dei requisiti della nuova implementazione.

Sondaggi sull'italiano regionale parlato a Matera

L’elaborato si occupa dell’analisi dell’italiano regionale di Matera. Per effettuare tale analisi, condotta sulla base del progetto LinCi, è stato necessario condurre dei sondaggi su parlanti autoctoni rispondenti a diversi requisiti. Nella prima parte dell’elaborato si dà una descrizione della realtà linguistica di Matera, mentre la seconda parte espone i criteri con cui è stato condotto il sondaggio e risultati.

Piattaforme per Internet of Things: Windows IoT Core come caso di studio

Questa tesi si pone l'obiettivo di esplorare alcuni aspetti di uno dei settori più in crescita in questi anni (e nei prossimi) in ambito informatico: \textbf{Internet of Things}, con un occhio rivolto in particolar modo a quelle che sono le piattaforme di sviluppo disponibili in questo ambito. Con queste premesse, si coglie l'occasione per addentrarsi nella scoperta della piattaforma realizzata e rilasciata da pochi mesi da uno dei colossi del mercato IT: Microsoft. Nel primo capitolo verrà trattato Internet of Things in ambito generale, attraverso una panoramica iniziale seguita da un'analisi approfondita dei principali protocolli sviluppati per questa tecnologia. Nel secondo capitolo verranno elencate una serie di piattaforme open source disponibili ad oggi per lo sviluppo di sistemi IoT. Dal terzo capitolo verrà incentrata l'attenzione sulle tecnologie Microsoft, in particolare prima si tratterà Windows 10 in generale, comprendendo \emph{UWP Applications}. Di seguito, nel medesimo capitolo, sarà focalizzata l'attenzione su Windows IoT Core, esplorandolo dettagliatamente (Windows Remote Arduino, Modalità Headed/Headless, etc.). Il capitolo a seguire concernerà la parte progettuale della tesi, comprendendo lo sviluppo del progetto \textbf{Smart Parking} in tutte le sue fasi (dei Requisiti fino ad Implementazione e Testing). Nel quinto (ed ultimo) capitolo, saranno esposte le conclusioni relative a Windows IoT Core e i suoi vantaggi/svantaggi.

Il delicato ruolo dell'interprete nell'esercito

Tesi sull'analisi del ruolo dell'interprete militare. Nel primo capitolo viene spiegato il modo di accesso all'Esercito Italiano e i requisiti richiesti. Nel secondo capitolo si parla delle organizzazioni a tutela degli interpreti e i loro progetti.

Progettazione e verifica di una pavimentazione stradale

Il presente elaborato ha lo scopo di descrivere il dimensionamento e la seguente verifica di una pavimentazione stradale per una strada montana di categoria C2, il cui progetto di massima è stato realizzato nell’ A.S: 2012/2013. La sovrastruttura stradale è costituita da un insieme di strati che, partendo dal piano di viabile, raggiungono la sommità del rilevato o il piano di posa nelle sezioni in trincea. La sua funzione principale consiste nel ripartire i carichi, applicati in superficie dai veicoli, in modo da renderli compatibili con la portanza del sottofondo. Poiché le sollecitazioni si smorzano con la profondità, i materiali degli strati devono avere caratteristiche fisico-meccaniche diverse in funzione dell’intensità e del tipo di sollecitazione prevalente. Una sovrastruttura stradale deve rispondere ad alcuni requisiti fondamentali: - Portanza: rappresenta l’attitudine a sopportare carichi senza subire deformazioni elastiche e plastiche oltre una soglia limite. È affidata principalmente agli strati profondi e condiziona la vita utile della sovrastruttura; - Aderenza: è un fattore fondamentale per il raggiungimento degli obiettivi di sicurezza della circolazione ed è collegata alle caratteristiche compositive e alla tessitura dello strato superficiale; - Regolarità: da essa dipendono il comfort di marcia e la sicurezza del moto; - Drenabilità: anch’essa connessa alle esigenze di sicurezza e dipendente dalla composizione delle miscele utilizzate; - Visibilità: funzione del colore e delle caratteristiche di assorbimento della luce del materiale costituente il tappeto superficiale, anch’essa strettamente collegata ai requisiti di sicurezza. La piattaforma stradale (descritta all’interno del capitolo 2) è costituita da due corsie, una per ogni senso di marcia, della larghezza di 3.50 metri, una banchina laterale di 1.25 metri e un ciglio di 0.75 metri per ogni senso di marcia.