Blockchain a supporto di Solid: potenzialità e applicazioni al controllo degli accessi

L’eccessiva centralizzazione dei dati ha reso sempre più frequenti fenomeni di manomissione e condivisione delle informazioni degli utenti senza il consenso dei proprietari. Questi potenziali rischi hanno aumentato negli utenti l’esigenza di una maggiore autorità sui propri dati, suscitando l’interesse per il decentramento. Questa tesi analizza due approcci al decentramento che sono Solid e Blockchain, e si concentra sui sistemi legati al controllo degli accessi derivanti dalla combinazione di questi due approcci. L’analisi parte dal descrivere le principali caratteristiche e funzionalità di Solid e Blockchain. Successivamente, dalla tesi si evince come, questi due paradigmi combinati insieme, possano rappresentare una soluzione valida alla decentralizzazione dei dati e vengono illustrati i principali ambiti in cui possono essere applicati sistemi assisti da Blockchain per Solid. In particolare lo studio approfondisce l'applicazione al controllo degli accessi e autenticazione dei dati. Due sono i sistemi presi in esame e approfonditi in questa tesi ovvero BCSolid e TrustAccess. Entrambi sono stati descritti in maniera dettagliata delineando l’architettura, la progettazione, le tecniche crittografiche utilizzate e illustrando dei casi d’uso pratici. Nella parte finale di questo elaborato viene effettuato un confronto tra questi due sistemi e spiegati i motivi per cui Trust Access può essere considerato migliore di BCSolid.

Sviluppo di un modello matematico per il controllo della massa iniettata da un iniettore GDI benzina ad alta pressione

Una delle principali sfide odierne è la volontà di ridurre l’impatto ambientale, causato dalle attività umane, riducendo le emissioni inquinanti. Per questo motivo, negli ultimi anni, i requisiti di omologazione dei motori a combustione interna sono diventati sempre più selettivi, evidenziando la necessità di utilizzare nuove e più avanzate tecnologie. Tra le possibili alternative, le nuove tecnologie che forniscono i risultati più promettenti sono le cosiddette Low Temperature Combustions (LTC). Una di esse è la Gasoline Compression Ignition (GCI) che è caratterizzata da una combustione mediante il processo di auto-accensione di un carburante tipo benzina ed è in grado di ottenere un’elevata efficienza con ridotte emissioni inquinanti. Per poter controllare correttamente una combustione GCI, è necessario realizzare un pattern di iniezioni consecutive al fine di raggiungere le condizioni termodinamiche nel cilindro per garantire l’auto-accensione della benzina. I principali problemi dovuti alla realizzazione di un’iniezione multipla sono la generazione di onde di alta pressione nel condotto di iniezione e, nel caso di iniettori Gasoline Direct Injection (GDI) solenoidali, la magnetizzazione residua dei coil dello stesso. Sia le onde di pressione che la magnetizzazione residua comportano una variazione di massa iniettata rispetto al valore previsto. In questo elaborato è presentato un modello matematico realizzato per compensare le variazioni di massa che avvengono durante un pattern di due iniezioni consecutive in un iniettore GDI benzina ad alta pressione. Con tale modello, è possibile correggere i parametri che caratterizzano le iniezioni per introdurre il quantitativo desiderato di benzina indipendentemente dal pattern selezionato.

Progettazione di un sistema per la movimentazione del simulatore di Sole di un banco di prova per la determinazione e il controllo d'assetto di nanosatelliti

Nel presente documento si discute la progettazione di una guida lineare curva allo scopo di permettere la movimentazione di un simulatore di Sole per nanosatelliti. Vengono presentati i nanosatelliti e vengono introdotti alcuni metodi di rappresentazione d’assetto, per proseguire con una descrizione dei sensori di Sole per la determinazione d’assetto. Si descrive, poi, il banco di prova per il controllo e la determinazione d’assetto presente nel Laboratorio di Microsatelliti e Microsistemi Spaziali e, di seguito, il progetto delle guide con il confronto tra le opzioni commerciali disponibili. Infine, si descrive la progettazione degli elementi di collegamento tra il simulatore e i cursori.

Popillia japonica: generalità, danni in viticoltura e metodi di controllo

Popillia japonica Newman (Coleoptera, Scarabaeidae) o, più volgarmente, scarabeo giapponese, è un insetto che dagli aerali d’origine in Asia orientale è arrivato negli USA a partire dai primi del '900 e infine si è diffuso in numerosi territori nel mondo. In Italia, P. japonica, classificato come insetto da quarantena, si trova principalmente in due regioni: Piemonte e Lombardia; in Emilia-Romagna la presenza è ancora sporadica. Insetto altamente polifago e capace di nutrirsi a spese di molte specie botaniche, può causare danni diretti ed indiretti che vanno a inficiare la produzione e la qualità. Sulla vite, sia europea che americana, il coleottero adulto provoca defogliazioni che, se non controllate, possono portare ad una totale perdita della superfice fogliare. Le larve non attaccano direttamente la vite ma possono causare danni alla vegetazione erbacea di interfila e sottofila. È fondamentale limitare l’espansione di P. japonica sul territorio Italiano, poiché i danni che potrebbe causare ammonterebbero a svariati milioni di euro ogni anno. Le azioni di monitoraggio, che sono eseguite principalmente tramite trappole a feromoni e rilievi visivi, sono quindi di estrema importanza. Esistono vari metodi di gestione utili a contenere le popolazioni di P. japonica sia allo stato larvale che adulto. A oggi, i più efficaci si basano sull’utilizzo di insetticidi di sintesi attivi contro larve e adulti. I metodi di gestione agronomici possono contribuire a ridurre la presenza dell’insetto contenendo soprattutto la popolazione larvale e in parte anche quella adulta. Purtroppo i risultati ottenuti tramite lotta biologica sono, invece, piuttosto scarsi.

Effetto di starter autoctoni sulla qualità e la sicurezza di salami tradizionali spagnoli

Il lavoro svolto in questa tesi aveva l’obiettivo di valutare il potenziale tecnologico e bioprotettivo di ceppi di batteri lattici (LAB) isolati da salami tradizionali spagnoli. In particolare due ceppi (Lactiplantibacillus paraplantarum BPF2 e Pediococcus acidilactici ST6) che avevano dimostrato buone performance in vitro sono stati utilizzati, da soli o in miscela, come colture starter per la produzione salami e i prodotti ottenuti sono stati confrontati con un controllo a fermentazione spontanea ed un prodotto addizionato di uno starter commerciale contenente LAB e stafilococchi. Per quanto riguarda gli aspetti tecnologici, il pH ha mostrato cinetiche di acidificazione simili in tutti i prodotti, mentre il calo peso era più lento nel controllo. A livello microbiologico, i campioni addizionati di colture starter hanno mostrato carichi di LAB molto più elevati già al tempo zero, senza differenze significative in relazione al ceppo utilizzato. Enterobatteri e lieviti hanno mostrato andamenti simili in tutti i campioni. L’utilizzo di colture starter ha invece avuto un impatto rilevante sul contenuto di ammine biogene, con valori totali doppi nel campione ottenuto con fermentazione spontanea, e sul profilo in metaboliti volatili (soprattutto a carico di composti derivanti dall’acido piruvico). L’aspetto più rilevante di questa tesi è stato ottenuto nel challenge test, utilizzando come microrganismo target Listeria monocytogenes (inoculo 3 log ufc/g): infatti, nel controllo e nei campioni contenenti starter commerciale, L. monocytogenes era in grado di crescere fino a valori superiori a 5.7 log ufc/g, mentre i ceppi BPF2 e ST6 hanno determinato una riduzione del suo carico cellulare (2.4 log ufc/g). Questo conferma quindi le grandi potenzialità anti-listeria dei due ceppi testati e la loro attitudine ad essere utilizzati, oltre che come starter per i salami, anche come colture bioprotettive con lo specifico compito di contrastare lo sviluppo di L. monocytogenes.

Impiego di fermentati vegetali per migliorare il profilo aromatico del pane

ABSTRACT Il lavoro svolto in questa tesi è stato quello di produrre dei pani andando a sostituire nella formulazione l’acqua con delle puree vegetali di mirtilli o peperoni, utilizzate fresche o fermentate. La fermentazione è stata condotta tramite due ceppi di batteri lattici (Leuconostoc mesenteroides L223 e Lactiplantibacillus plantarum L88) e due di lieviti (Saccharomyces cerevisiae Y267 e Hanseniaspora uvarum Y309), che erano stati precedentemente isolati dalle puree di mirtilli e peperoni fermentate spontaneamente, e che presentavano le migliori performances. Gli obiettivi di questa tesi erano di arricchire il profilo sensoriale e il contenuto in sostanze funzionali (ad esempio polifenoli e vitamine, di cui le matrici utilizzate sono particolarmente ricche) del pane. I prodotti ottenuti sono stati analizzati per monitorare gli aspetti chimico-fisici (pH, lievitazione dell’impasto) e il profilo aromatico. Sui diversi pani ottenuti è stato infine eseguito un test di assaggio per valutare l’accettabilità del prodotto ed una sua possibile introduzione nel mercato. I risultati delle analisi hanno mostrato un rilevante sviluppo di sostanze volatili nelle puree vegetali fermentate e queste molecole, in parte, sono state trasferite nel pane andando a modificare il suo profilo aromatico. L’aggiunta di puree fermentate ha quindi fortemente caratterizzato gli impasti e i pani ottenuti, che presentavano un profilo aromatico più complesso rispetto ai pani ottenuti con le sole puree vegetali non fermentate. Questo aspetto positivo è stato confermato dal test di assaggio, poiché i pani addizionati di puree fermentate (soprattutto mirtillo) hanno ottenuti punteggi positivi in termini di dolcezza, acidità e fruttato. Questo conferma le grandi potenzialità di questi pani, che oltre a differenziare i prodotti presenti sul mercato, possono andare a valorizzare matrici vegetali sovra-mature, e destinate ad essere scartate, o parti di vegetali non utilizzate nelle produzioni.

Profilo sensoriale e difficoltà alimentari di bambini con Disturbo Evitante/Restrittivo dell’Assunzione di Cibo e Disturbo dello Spettro Autistico. Uno studio osservazionale

Il Disturbo Evitante/Restrittivo dell’Assunzione di Cibo (ARFID) è un Disturbo della Nutrizione e dell’Alimentazione con tre possibili sottotipi, accomunati dalla persistente insoddisfazione di fabbisogni nutrizionali e/o energetici. Crescenti sono le prove di sovrapposizione con il Disturbo dello Spettro Autistico (ASD), per comuni difficoltà alimentari e sottostanti fattori di sensorialità e rigidità. Lo studio ha caratterizzato un campione di affetti da ARFID e da ASD in età evolutiva; i due gruppi sono stati confrontati per storia clinico-terapeutica e profili indagati ai test: BAMBI-R (Brief Autism Mealtime Behavior Inventory-Revised) per i comportamenti disfunzionali al pasto, SSP-2 (Short Sensory Profile-2) per le alterazioni della sensorialità e RBS-R (Repetitive Behavior Scale-Revised) per i comportamenti stereotipati e ristretti. Il gruppo con ARFID è stato inoltre analizzato per variabili antropometrico-nutrizionali e sottotipi clinici. I soggetti con ARFID presentavano età superiore e più frequenti tratti ansioso-fobici in comorbilità. Ai test sopracitati, gli affetti da ARFID e da ASD convergevano per numerosi aspetti; tuttavia, le difficoltà alimentari (in particolare, la selettività) prevalevano tra i primi, mentre maggiori livelli di sensibilità sensoriale e di comportamenti ristretti, stereotipati e compulsivi caratterizzavano i secondi. Tra i sottotipi clinici di ARFID, spesso co-occorrenti, prevaleva quello selettivo; i tre quadri erano perlopiù comparabili per le variabili indagate e non differivano per aspetti alimentari, comportamentali o sensoriali. In conclusione, gli affetti da ARFID e da ASD si distinguono per alcune peculiari caratteristiche ma collidono per numerose altre. Approfondire lo studio dei fattori implicati nelle difficoltà alimentari condivise, oltre che caratterizzare i fenotipi del DNA in campioni più numerosi, saranno obiettivi da perseguire per un’implementazione di interventi medico-nutrizionali sempre più specifici.

chemioterapia automatizzata: sistemi di controllo in retroazione per la crescita tumorale secondo il modello a derivate frazionarie

L’immunoterapia è una delle tecniche più all’avanguardia per la lotta contro il cancro e si basa sull’aumento delle prestazioni del sistema immunitario attraverso anticorpi monoclonali (ovvero farmaci immunoterapici). Grazie a questi, la terapia garantisce l’inibizione dei checkpoint immunologici, che permettono alle cellule del sistema immunitario di riconoscere la presenza del tumore e aggredirlo fino a eradicarlo. La tesi propone una soluzione frazionaria al problema della crescita tumorale, basandosi su un modello di Kuznetsov esteso dove viene presa in considerazione anche il parametro di concentrazione di Interleuchina-2. Tramite un’analisi di stabilità del modello proposto è possibile arrivare a un valore di sigma, ovvero il rateo di cellule effettrici, per il quale il sistema delle cellule tumorali viene completamente eradicato. Una volta trovata la condizione di stabilità e calcolato il valore di alpha (ordine della derivata frazionaria) che approssima al meglio la crescita tumorale nel caso reale, viene proposto un sistema di controllo automatico in retroazione basato sul numero di cellule effettrici per automatizzare il processo immunoterapico.

Stima della cinematica degli arti superiori per il controllo dell'equilibrio di un soggetto con esoscheletro di arto inferiore

Il presente lavoro di tesi si inserisce nell’ambito degli studi finalizzati al miglioramento delle condizioni di stabilità degli esoscheletri attivi per gli arti inferiori. L’obiettivo principale di questa tesi è la stima in tempo reale dell’orientamento degli arti superiori a partire dalle grandezze in uscita dall’esoscheletro e da un sistema di sensori inerziali indossabili. Il primo capitolo descrive lo stato dell’arte degli esoscheletri per gli arti inferiori seguita da una breve analisi degli studi compiuti dalla ricerca per il controllo dell’equilibrio del sistema uomo-macchina con l’impiego di metodi diversi. Nel secondo capitolo viene presentato il modello biomeccanico uomo-esoscheletro-stampelle, le strategie utilizzate per il controllo dell’equilibrio del sistema, ed i metodi impiegati per la stima dell’orientamento delle braccia del soggetto. Nel terzo capitolo vengono riportati e discussi i risultati dell’applicazione dei metodi di stima della cinematica degli arti superiori che vengono ripresi nelle conclusioni nel quarto capitolo.

Modellazione, controllo e sviluppo sperimentale di un azionamento con convertitore boost integrato per DC fast charge

La presente trattazione propone un metodo innovativo per la fast DC charge, che permette di collegare le colonnine di ricarica a 400 V ai veicoli con batteria ad 800 V. Il collegamento avviene tramite l’azionamento elettrico di propulsione, che deve dunque essere riconfigurato durante la ricarica sotto forma di “integrated boost DC/DC converter”. L'elaborato illustra il modello matematico del sistema, lo schema di controllo in ambiente Simulink ed i risultati delle simulazioni. Infine, sono illustrate le prove a banco effettuate sul sistema in esame, la strumentazione utilizzata ed i risultati ottenuti per le configurazioni confrontate. Tuttavia, si dimostra che il metodo di ricarica richiede un’ulteriore induttanza per il collegamento al motore per evitare gli elevati ripple delle correnti di fase ed il conseguente surriscaldamento dei magneti rinvenuto durante le prove sperimentali.

Design di leggi di controllo per attività di Pick and Place con Robot Delta

Il seguente elaborato, frutto dell’attività di tirocinio presso il laboratorio del DIN di Montecuccolino, si prefigge di presentare un’architettura software contenente tutte le leggi di controllo necessarie allo svolgimento di un’attività di Pick and Place con un Robot Delta. L’elaborato si articola in una prima fase di analisi del Robot, una seconda fase di calibrazione del sistema in struttura e una terza fase di sviluppo del software di controllo con successiva validazione sperimentale dei risultati ottenuti.

Analisi sperimentale e riprogettazione di un sistema di pesatura IPC per il controllo di qualità

Il presente elaborato descrive il percorso effettuato sulla macchina XTREMA, prodotta dalla divisione Life del gruppo IMA. Il progetto ha come fine il miglioramento delle prestazioni della macchina, quantificate principalmente in termini di accuratezza del prodotto dosato e di prodotti processati in un arco di tempo. Il Capitolo 1 fornisce un iniziale studio delle caratteristiche e del funzionamento della macchina, con successiva focalizzazione sul sistema di controllo peso. Con l’obiettivo di definire le prestazioni del sistema di controllo peso, nel Capitolo 2 è impostata una campagna sperimentale di test che permette di studiare lo stato attuale del sistema, identificando l’influenza dei vari parametri di funzionamento sulle perfomances, portando alla luce le criticità della macchina. Viene quindi analizzato il gruppo, individuando le cause delle problematiche e identificando su quali campi agire per incrementare velocità di funzionamento e accuratezza del sistema. All’interno del Capitolo 3 entrambi i componenti del sistema di controllo peso, discensore e gruppo di bilance, sono quindi riprogettati per risolvere le criticità rilevate. Nel Capitolo 4 viene affrontato il montaggio del prototipo in una macchina dedicata alle prove, dove viene impostata una nuova campagna di test con l’obiettivo collaudare il sistema e validarne le prestazioni. Confrontando le prove si dimostrerà che il nuovo prototipo, oltre ad aumentare il numero di flaconi pesati al minuto, permette di risolvere le problematiche del precedente sistema, consentendo di ottenere un’accuratezza del controllo peso superiore a quanto riscontrato nella campagna iniziale di prove svolta inizialmente.

Progettazione e verifica delle prestazioni di un nuovo sistema di controllo per dinamometri idraulici

La messa a punto dei motopropulsori richiede una fase di test utilizzando un dinamometro, cioè una macchina che ne permette la misura di coppia e velocità. Sono diverse le tipologie di dinamometri, tutte sono però caratterizzate dalla necessità di essere gestite attraverso un opportuno controllore. Il presente lavoro di tesi, svolto presso Borghi&Saveri SRL, si pone l’obbiettivo di aggiornare il sistema di controllo di un dinamometro idraulico, lo “SFI”, sviluppando in particolare la parte di potenza, comunicante con la componente di controllo, già realizzata dall’azienda. La soluzione per la parte di potenza è un drive per il controllo di motori elettrici, scelto dopo una valutazione dei requisiti necessari, lo studio del vecchio sistema e un’analisi di mercato. Il motore elettrico posto sul dinamometro ha infatti il compito di muovere una valvola di gestione della portata d’acqua immessa, con conseguente regolazione della coppia. Il drive è stato messo in funzione realizzando un hardware per garantirne il funzionamento, per poi essere configurato e testato: è stata scelto il setup giudicato come ottimale dei parametri di controllo ed è stata impostata un’interfaccia per la comunicazione smart da PC, via CANopen. Si è poi realizzato un modello virtuale rappresentativo del sistema, validato con acquisizioni sperimentali. Infine, si sono confrontati i dati simulativi del modello con quelli sperimentali provenienti dal vecchio controllore, così da ottenere una valutazione delle rispettive performance nell’effettuare il controllo di posizione della valvola. Il sistema così realizzato soddisfa i requisiti posti, tuttavia le sue prestazioni non sono del tutto migliorative rispetto a quelle dello SFI: per questo sono valutati i punti deboli del progetto e proposti dei possibili sviluppi futuri.

ricerca di vulnerabilità in applicazioni apple su dispositivi mobile

Le app mobile sono sempre più pervasive nella vita quotidiana delle persone: gli smartphone hanno rivoluzionato il modo di interagire degli utenti con le varie organizzazioni. Che sia per l'accesso al proprio conto corrente, per la visualizzazione delle notizie quotidiane o per il semplice svago, gli utenti usano sempre più il mondo mobile come canale privilegiato per la fruizione dei contenuti digitali. Il sempre maggior successo delle applicazioni mobile ha sempre più spostato l'attenzione dei malintenzionati sugli smartphone, che sono diventati così uno degli obiettivi più popolari per i cyberattacchi: ciò comporta nuove sfide per le organizzazioni al fine di garantire la sicurezza di dati e sistemi. Risulta fondamentale per un organizzazione in particolare mantenere un controllo sulle proprie applicazioni mobile: configurazioni errate, errori di programmazione, inclusione di librerie software vulnerabili o malevoli e la presenza di credenziali cablate nel codice o nelle configurazioni rappresentano un notevole rischio per la confidenzialità, l'integrità e disponibilità di dati e sistemi. Se risulta fondamentale nello sviluppo un approccio che utilizzi i principi della Security by Design, risulta ancora più importante un presidio costante sulle applicazioni e la costruzione di un ciclo di vita del software sicuro (SSDLC). A tal fine la proposta del progetto di tesi riguarda l'analisi delle principali minacce e vulnerabilità delle applicazioni mobile e lo sviluppo di uno strumento di analisi dei pacchetti mobile (su piattaforma Android o iOS) al fine di identificare possibili rischi prima della pubblicazione dei pacchetti sugli store ufficiali.

Studio di sistemi di navigazione biologici per il controllo della traiettoria di volo in alcune specie di uccelli

Sapersi muovere con efficienza è fondamentale per tutti gli esseri viventi. Gli uccelli sono abili navigatori del cielo e, per orientarsi, utilizzano diversi tipi di bussole naturali e un orologio circadiano che gli consente di compensare i cambiamenti giornalieri dovuti alla rotazione terrestre. Essi sono in grado di immagazzinare, in una mappa cognitiva, le informazioni percepite durante i vari voli effettuati; queste possono derivare da riferimenti sia di tipo visivo, che di altro genere, come odori e geomagnetismo, e consentono ai volatili di ritrovare facilmente la strada di casa. Gli uccelli, inoltre, sono in grado di percepire il flusso ottico proveniente da un paesaggio pieno di irregolarità (come può esserlo una foresta o una superficie ondosa marina); grazie ad esso possono controllare con precisione l'altitudine di volo a bassa quota e possono individuare ostacoli nelle immediate vicinanze in modo da evitare collisioni. Durante le migrazioni capita di volare a quote più elevate per cercare di risparmiare energie e, in questo caso, gli uccelli possono controllare la loro altitudine con un errore all'incirca di 10m, poiché sono in grado di percepire direttamente le variazioni di pressione atmosferica. Per risparmiare energie sono molto abili nello sfruttare la forza dei venti e nel compensarne la deriva. Gli uccelli possiedono diverse abilità che spiegano la loro impressionante capacità di navigazione e quindi rappresentano un ottimo spunto per apprendere diverse tecniche in modo da migliorare i nostri metodi di orientamento ed elaborazione dei dati.