Sicurezza nelle reti di sensori wireless UWB: generazione di chiavi simmetriche da parametri fisici

Le reti di oggetti intelligenti costituiscono una realtà che si sta affermando nel mondo quotidiano. Dispositivi capaci di comunicare tra loro, oltre che svolgere la propria funzione primaria, possono comporre una nuvola che faccia riferimento al legittimo proprietario. Un aspetto fondamentale di questo scenario riguarda la sicurezza, in particolar modo per garantire una comunicazione protetta. Il soddisfacimento di questo requisito è fondamentale anche per altri punti come l'integrità dell'informazione condivisa e l'autenticazione. Lo strumento più antico e tutt'ora adatto alla riservatezza di una comunicazione è costituito dalla crittografia. Una tecnica crittografica è schematicamente composta da un algoritmo che, a seconda di una chiave e del messaggio in ingresso, restituisce in uscita un messaggio cifrato, il crittogramma. Questo viene poi inviato e al legittimo destinatario che, essendo in possesso della chiave e dell'algoritmo, lo converte nel messaggio originale. L'obiettivo è rendere impossibile ad un utente malevolo - non dotato di chiave - la ricostruzione del messaggio. L'assunzione che l'algoritmo possa essere noto anche a terze parti concentra l'attenzione sul tema della chiave. La chiave deve essere sufficientemente lunga e casuale, ma soprattutto deve essere nota ai due utenti che intendono instaurare la comunicazione. Quest'ultimo problema, noto come distribuzione della chiave, è stato risolto con il sistema RSA a chiave pubblica. Il costo computazionale di questa tecnica, specialmente in un contesto di dispositivi non caratterizzati da grandi potenze di calcolo, suggerisce però la ricerca di strade alternative e meno onerose. Una soluzione promettente ed attualmente oggetto di studio sembra essere costituita dalle proprietà del canale wireless. Un ponte radio è caratterizzato da una funzione di trasferimento che dipende dall'ambiente in cui ci si trova e, per il teorema di reciprocità, risulta essere lo stesso per i due utenti che l'hanno instaurato. Oggetto della tesi è lo studio ed il confronto di alcune delle tecniche possibili per estrarre una chiave segreta da un mezzo condiviso, come quello del canale wireless. Si presenterà il contesto in cui verrà sviluppato l'elaborato. Si affronteranno in particolare due casi di interesse, costituiti dalla attuale tecnologia di propagazione del segnale a banda stretta (impiegata per la maggior parte delle trasmissioni senza fili) per passare a quella relativamente più recente della banda Ultra-larga (UWB). Verranno poi illustrate delle tecniche per ottenere stringhe di bit dai segnali acquisiti, e saranno proposti dei metodi per la loro correzione da eventuali discordanze. Saranno infine riportate le conclusioni sul lavoro svolto e le possibili strade future.

Cube Complexes and Virtual Fibering of 3-Manifolds.

Una 3-varietà si dice virtualmente fibrata se ammette un rivestimento finito che è un fibrato con base una circonferenza e fibra una superficie. In seguito al lavoro di geometrizzazione di Thurston e Perelman, la generica 3-varietà risulta essere iperbolica; un recente risultato di Agol afferma che una tale varietà è sempre virtualmente fibrata. L’ingrediente principale della prova consiste nell’introduzione, dovuta a Wise, dei complessi cubici nello studio delle 3-varietà iperboliche. Questa tesi si concentra sulle proprietà algebriche e geometriche di queste strutture combinatorie e sul ruolo che esse hanno giocato nella dimostrazione del Teorema di Fibrazione Virtuale.

Famiglie Normali per Operatori Sub-ellittici e i Teoremi di Montel e Koebe

Scopo della tesi è di estendere un celebre teorema di Montel, sulle famiglie normali di funzioni olomorfe, all'ambiente sub-ellittico delle famiglie di soluzioni u dell'equazione Lu=0, dove L appartiene ad un'ampia classe di operatori differenziali alle derivate parziali reali del secondo ordine in forma di divergenza, comprendente i sub-Laplaciani sui gruppi di Carnot, i Laplaciani sub-ellittici su arbitrari gruppi di Lie, oltre all'operatore di Laplace-Beltrami su varietà di Riemann. A questo scopo, forniremo una versione sub-ellittica di un altro notevole risultato, dovuto a Koebe, che caratterizza le funzioni armoniche come punti fissi di opportuni operatori integrali di media con nuclei non banali. Sarà fornito anche un adeguato sostituto della formula integrale di Cauchy.

L’abitare come relazione sociale: il significato della casa e i processi di coesione sociale di vicinato

Se le trasformazioni sociali in atto tendono a esasperare il senso di incertezza, sradicamento ed individualismo, sussistono pratiche che si contrappongono alle tendenze dominanti, finalizzate a ricucire i legami sociali su scala locale. La progettazione urbano-architettonica interiorizza il nuovo bisogno di comunità originando soluzioni abitative tese a favorire gli scambi informali fra vicini, facendo leva sul concetto di capitale sociale, attaccamento al quartiere, identità del luogo e partecipazione. La casa, simbolo di stabilità e sicurezza ma anche di privacy, privatismo familiare, diventa sempre più oggetto di studi, domanda sociale e intervento politico. Soprattutto è sempre più intesa come un nodo di relazioni familiari in una rete di relazioni sociali più ampie. Casa e quartiere incidono nella esperienza di benessere e socialità familiare? In che modo gli spazi urbani e architettonici influenzano la coesione sociale? Quale il ruolo degli abitanti nello sviluppare socialità e integrazione? Sono queste le domande che ci siamo posti per rilevare le dinamiche sociali e culturali dell’abitare attraverso uno studio di caso condotto in due quartieri simili. Dalla ricerca emerge come il significato della casa non sia univoco ma cambi rispetto al ciclo di vita familiare e a quello economico e ciò incide nella partecipazione alle attività di quartiere. Mostriamo inoltre come lo spazio fisico costruito crea importanti opportunità per gli scambi informali e per il benessere familiare e individuale dei bambini ma che, il contesto sociale sia una discriminate fondamentale. Nel quartiere dove è presente una organizzazione di abitanti il numero delle relazioni di vicinato aumenta, cambiano anche la qualità delle relazioni e le distanze fisiche fra i vicini. Emerge inoltre che la reciprocità è il principale strumento di costruzione della coesione comunitaria interna e crea un atteggiamento di apertura e fiducia che va al di là dei confini di quartiere.

Groundwater recharge estimation in a data sparse arid catchment of westbank. Stima della ricarica delle falde acquifere in bacini aridi e carenti di osservazioni idrometriche: il Darga in Cisgiordania.

Il seguente elaborato è frutto del lavoro di ricerca, della durata di cinque mesi, svolto presso il Department of Catchment Hydrology del centro di ricerca UFZ (Helmholtz-Zentrum für Umweltforschung) con sede in Halle an der Saale, Germania. L’obiettivo della Tesi è la stima della ricarica della falda acquifera in un bacino idrografico sprovvisto di serie di osservazioni idrometriche di lunghezza significativa e caratterizzato da clima arido. Il lavoro di Tesi è stato svolto utilizzando un modello afflussi-deflussi concettualmente basato e spazialmente distribuito. La modellistica idrologica in regioni aride è un tema a cui la comunità scientifica sta dedicando numerosi sforzi di ricerca, presentando infatti ancora numerosi problemi aperti dal punto di vista tecnico-scientifico, ed è di primaria importanza per il sostentamento delle popolazioni che vi abitano. Le condizioni climatiche in queste regioni fanno sì che la falda acquifera superficiale sia la principale fonte di approvvigionamento; una stima affidabile della sua ricarica, nel tempo e nello spazio, permette un corretta gestione delle risorse idriche, senza la quale il fabbisogno idrico di queste popolazioni non potrebbe essere soddisfatto. L’area oggetto di studio è il bacino idrografico Darga, una striscia di terra di circa 74 km2, situata in Cisgiordania, la cui sezione di chiusura si trova a circa 4 kilometri dalla costa del Mar Morto, mentre lo spartiacque a monte, ubicato a Nord-ovest, dista circa 3 kilometri dalla città di Gerusalemme.

Sviluppo di una metodologia per la modellazione geologica-geomeccanica ed il monitoraggio di reservoir adibiti a siti di stoccaggio di gas naturale

La valutazione dei rischi associati all’operatività dei sistemi di stoccaggio, quali la sismicità indotta e la subsidenza, è requisito basilare per una loro corretta gestione e progettazione, e passa attraverso la definizione dell’influenza sullo stato tensionale delle variazioni di pressione di poro nel sottosuolo. Principale scopo di questo progetto è lo sviluppo di una metodologia in grado di quantificare le deformazioni dei reservoir in funzione della pressione di poro, di tarare i modelli utilizzati con casi studio che presentino dati di monitoraggio reali, tali da consentire un confronto con le previsioni di modello. In questa tesi, la teoria delle inomogeneità è stata utilizzata, tramite un approccio semianalitico, per definire le variazioni dei campi elastici derivanti dalle operazioni di prelievo e immissione di fluidi in serbatoi geologici. Estensione, forma e magnitudo delle variazioni di stress indotte sono state valutate tramite il concetto di variazione dello sforzo critico secondo il criterio di rottura di Coulomb, tramite un’analisi numerica agli elementi finiti. La metodologia sviluppata è stata applicata e tarata su due reservoir sfruttati e riconvertiti a sistemi di stoccaggio che presentano dataset, geologia, petrofisica, e condizioni operative differenti. Sono state calcolate le variazioni dei campi elastici e la subsidenza; è stata mappata la variazione di sforzo critico di Coulomb per entrambi i casi. I risultati ottenuti mostrano buon accordo con le osservazioni dei monitoraggi, suggerendo la bontà della metodologia e indicando la scarsa probabilità di sismicità indotta. Questo progetto ha consentito la creazione di una piattaforma metodologica di rapido ed efficace utilizzo, per stimare l’influenza dei sistemi di stoccaggio di gas sullo stato tensionale della crosta terrestre; in fase di stoccaggio, permette di monitorare le deformazioni e gli sforzi indotti; in fase di progettazione, consente di valutare le strategie operative per monitorare e mitigare i rischi geologici associati a questi sistemi.

Capacità di sviluppo di Diabrotica virgifera virgifera Leconte su ospiti alternativi al mais

Diabrotica virgifera virgifera LeConte (Coleoptera: Chrysomelidae) è una specie esotica invasiva di origine centro americana e introdotta in Europa agli inizi degli anni ’90, in Italia nel 1998. Considerata negli Stati Uniti la principale avversità del mais (Zea mais L.), è oggi presente in quasi tutti i Paesi europei dove è presente tale coltura. Poiché il mais risulta l’ospite prioritario di Diabrotica, attualmente il principale metodo di contenimento consiste nella rotazione con una coltura non ospite. L’obiettivo del lavoro è stato quello di indagare sulle piante ospiti alternative al mais nel nostro ambiente, accertando il ruolo che possono avere le infestanti o altre Poaceae coltivate nella biologia della Diabrotica. Tali essenze sono state scelte tra specie mai sottoposte a sperimentazione e tra quelli già oggetto di indagini, ma su cui si sono ottenuti esiti discordi o non soddisfacenti. Sono state allestite prove con infestazione artificiale in ambiente controllato e prove in campo per valutare la sopravvivenza larvale e il completamento del ciclo, nonché le prestazioni biologiche degli individui ottenuti. Le ricerche hanno permesso di osservare sopravvivenza di Diabrotica su numerose graminacee, in particolare cereali. Tale capacità è confermata dalla presenza di larve di diversa età e in alcuni casi di pupe sulle specie ospiti alternative, sia con infestazione artificiale che in campo. Tuttavia crescita e sviluppo su queste piante sono stati più lenti del mais e gli stadi giovanili trovati hanno mostrato caratteristiche morfometriche inferiori rispetto a quelli del mais. Adulti non sono mai stati raccolti in campo, mentre questo si è verificato in condizioni controllate. Le specie che meritano maggior attenzione sono i cereali Triticum spelta e Panicum miliaceum e l’infestante Sorghum halepense. Si potrebbe dunque ipotizzare che alcune specie vegetali possano fungere da ospite secondario quando non è presente il mais riducendo l’efficacia dell’avvicendamento.

Utilizzo di antimicrobici naturali per il miglioramento della shelf-life di prodotti di iv gamma a base mela

La mia sperimentazione si inserisce in un progetto di respiro nazionale- “AGER-STAY FRESH”- volto a trovare soluzioni di lavaggio alternative al cloro per il prolungamento della shelf-life delle produzioni di IV gamma. Questi prodotti rappresentano, attualmente, uno dei più promettenti ed innovativi comparti del settore ortofrutticolo e sono definiti, secondo le norme della Comunità Europea, prodotti minimamente trasformati, cioè soggetti a interventi tecnologici ridotti, ed utilizzabili per il consumo diretto senza ulteriori manipolazioni, o con manipolazioni minime. La loro espansione sul mercato deriva dal fatto che sono in grado di offrire alta convenienza, alto valore nutrizionale ed organolettico e sono concepiti dai consumatori come prodotti “genuini” in quanto a base vegetale e, generalmente, non contengono sostanze antimicrobiche. Tuttavia, le materie prime vegetali utilizzate per le produzioni di IV gamma sono spesso caratterizzate da elevate contaminazioni microbiche (4-6 log UFC/g) poiché, durante la crescita o il post-raccolta, frutti o vegetali vengono a contatto con il suolo, insetti o contaminazioni di origine umana.Al momento la shelf-life e la sicurezza d’uso di questa categoria di prodotti sono basate principalmente sul mantenimento della catena del freddo unitamente alla fase di lavaggio delle materie prime con sostanze clorate. Recentemente, però, alcuni autori hanno evidenziato alcuni svantaggi derivanti da questa fase di processo come la formazione di composti clorati cancerogeni. In questa prospettiva, il principale obiettivo di questo lavoro di tesi è stato quello di valutare gli effetti di olio essenziale di cedro e alcuni composti bioattivi degli oli essenziali (citrale, esanale, trans-2-esenale e carvacrolo), utilizzati singolarmente o in combinazione, sulla shelf-life di mele affettate di IV gamma. Su tutti i prodotti sono state eseguite analisi microbiologiche, di texture e colore. Un ulteriore obiettivo di questo lavoro sperimentale è stato quello di ottimizzare alcuni parametri di processo come la riduzione del rapporto acqua di lavaggio/prodotto ed incrementare la temperatura dell’acqua utilizzata al fine di meglio solubilizzare gli antimicrobici in fase di dipping.

Diagnosi prenatale delle malformazioni fetali: ecografia e risonanza magnetica a confronto in 11 anni di esperienza

Obiettivo: Valutare l’accuratezza reciproca dell’ecografia “esperta” e della risonanza magnetica nelle diagnosi prenatale delle anomalie congenite. Materiali e metodi: Sono stati retrospettivamente valutati tutti i casi di malformazioni fetali sottoposte a ecografia “esperta” e risonanza magnetica nel nostro Policlinico da Ottobre 2001 a Ottobre 2012. L’età gestazionale media all’ecografia e alla risonanza magnetica sono state rispettivamente di 28 e 30 settimane. La diagnosi ecografica è stata confrontata con la risonanza e quindi con la diagnosi postnatale. Risultati: sono stati selezionati 383 casi, con diagnosi ecografica o sospetta malformazione fetale “complessa” o anamnesi ostetrica positiva infezioni prenatali, valutati con ecografia “esperta”, risonanza magnetica e completi di follow up. La popolazione di studio include: 196 anomalie del sistema nervoso centrale (51,2%), 73 difetti toracici (19,1%), 20 anomalie dell’area viso-collo (5,2%), 29 malformazioni del tratto gastrointestinale (7,6%), 37 difetti genito-urinari (9,7%) e 28 casi con altra indicazione (7,3%). Una concordanza tra ecografia, risonanza e diagnosi postnatale è stata osservata in 289 casi (75,5%) ed è stata maggiore per le anomalie del sistema nervoso centrale 156/196 casi (79,6%) rispetto ai difetti congeniti degli altri distretti anatomici 133/187 (71,1%). La risonanza ha aggiunto importanti informazioni diagnostiche in 42 casi (11%): 21 anomalie del sistema nervoso centrale, 2 difetti dell’area viso collo, 7 malformazioni toraciche, 6 anomalie del tratto gastrointestinale, 5 dell’apparato genitourinario e 1 caso di sospetta emivertebra lombare. L’ecografia è stata più accurata della risonanza in 15 casi (3,9%). In 37 casi (9,7%) entrambe le tecniche hanno dato esito diverso rispetto agli accertamenti postnatali. Conclusioni: l’ecografia prenatale rimane a tutt’oggi la principale metodica di imaging fetale. In alcuni casi complessi e/o dubbi sia del sistema nervoso centrale sia degli altri distretti anatomici la risonanza può aggiungere informazioni rilevanti.

Moto di particelle cariche in campi elettromagnetici intensi

E stata risolta l'equazione d'onda per la radiazione elettromagnetica ed è stata trovata l'espressione (in forma di integrale) per un impulso monocromatico di frequenza angolare fissata e per un impulso di durata finita, imponendo che nello spazione dei vettori d'onda (k_x,k_y) l'impulso sia rappresentato da una funzione Gaussiana nella forma exp[-w_0^2(k_x^2+k_y^2)/4], dove w_0 rappresenta il waist trasverso. Per avere un'espressione analitica dell'impulso monocromatico e dell'impulso di durata finita si sono rese necessarie rispettivamente l'approssimazione parassiale e un'approssimazione di "fattorizzazione". Sono state analizzate, sia analiticamente sia numericamente, i limiti entro i quali queste approssimazioni possono essere considerate accurate. Le soluzioni esatte e le soluzioni approssimate sono state confrontate graficamente. Nel capitolo finale è stato analizzato il moto di una particella carica che interagisce con un pacchetto d'onda unidimensionale, mettendo in luce la fondamentale differenza tra il moto di questa particella nel vuoto e il moto della stessa in un plasma carico. Infatti, in accordo con il teorema di Lawson-Woodward, nel vuoto la particella non può essere accelerata per interazione diretta con il pacchetto d'onda, mentre nel plasma, a seguito del passaggio del pacchetto, la particella può aver acquistato energia.

Risolubilità per radicali

Lo scopo di questa tesi è di esporre il cuore centrale della teoria di Galois, la risolubilità per radicali delle equazioni polinomiali nel caso in cui il campo di partenza abbia caratteristica 0. L’operato è articolato in tre capitoli. Nel primo capitolo vengono introdotte le nozioni fondamentali della teoria dei campi e della teoria di Galois. Nel secondo capitolo, si sviluppa il problema della risolubilità per radicali. Vengono prima introdotti i gruppi risolubili e alcune loro particolarità. Poi vengono introdotte le nozioni di estensioni radicali e risolubili e relativi teoremi. Nel paragrafo 2.3 viene dimostrato il teorema principale della teoria, il teorema di Galois, che identifica la risolubilità del gruppo di Galois con la risolubilità dell’estensione. Infine l’ultimo paragrafo si occupa della risolubilità dei polinomi, sfruttando il loro campo di spezzamento. Nel terzo ed ultimo capitolo, viene discussa la risolubilita` dell’equazione polinomiale generale di grado n. Vengono inoltre riportati diversi esempi ed infine viene presentato un esempio di estensione di Galois di grado primo p non risolubile in caratteristica p.

Analisi efficiente di tracce prodotte da un simulatore di protocolli di rete

Questa tesi consiste nello sviluppo di codice per un applicativo esistente. Tale applicativo si occupa di simulazione di protocolli di rete su varie topologie di rete. La parte di cui si occupa questa tesi è la fase di analisi dei file di traccia generati. Tale fase è una delle tre fasi dell'applicativo. I file di traccia contengono informazioni che permettono di stimare due grandezze, copertura e ritardo. Per copertura si intende una media fra tutte le coperture. Ogni copertura sarà relativa ad uno specifico nodo della rete. Per copertura di uno specifico nodo della rete si intende la parte di messaggi arrivati a quel nodo relativamente a tutti i messaggi generati all'interno della rete. Per ritardo si intende la media del numero di salti che avvengono per arrivare ai vari nodi che compongono la rete. I valori calcolati, mediante le informazioni contenute nei trace file, vengono poi memorizzati su dei file. Oltre al calcolo di queste specifiche grandezze, la tesi include anche una possibile soluzione relativa al parallelismo dei processi. Tale soluzione mira ad avere un numero, stabilito in base alla memoria principale libera, di processi che vengono eseguiti in maniera parallela.

Determinazione sperimentale della minima attivita rivelabile dei calibratori di attivita dei radionuclidi

I calibratori di attività dei radionuclidi sono strumenti fondamentali per la pratica diagnostica e terapeutica in Medicina Nucleare. Il loro ruolo principale è quello di quantificare accuratamente l’attività dei radiofarmaci somministrata ai pazienti, vengono pertanto progettati per avere una accuratezza di misura ottimale per attività relativamente alte. Lo scopo di questo studio è stato quello di determinare il livello di minima attività rivelabile (o Minimum Detectable Activity, MDA) di diversi modelli di calibratori di attività, al fine di estendere l’utilizzo di questi strumenti ad altre applicazioni. E’ stata quindi eseguita un’estesa campagna di misure sperimentali sui principali modelli di calibratori commercialmente distribuiti. Le modalità di misura della MDA sviluppate sono basate su un adattamento delle tecniche di riferimento per altri tipi di strumenti; tali tecniche, non solo rispondono all’obiettivo immediato, ma hanno permesso di dimostrare che è possibile una determinazione generalizzata della MDA di questa classe di apparecchiature. I risultati che verranno presentati sono stati ottenuti con una metodologia indipendente dal tipo di apparecchiatura e sono basati su misurazioni che possono essere replicate in ogni laboratorio.

Polinomi di Bernstein e curve di Bezier

Questo lavoro si pone come obiettivo l'approfondimento della natura e delle proprietà dei polinomi espressi mediante la base di Bernstein. Introdotti originariamente all'inizio del '900 per risolvere il problema di approssimare una funzione continua su un intervallo chiuso e limitato della retta reale (Teorema di Stone-Weierstrass), essi hanno riscosso grande successo solo a partire dagli anni '60 quando furono applicati alla computer-grafica per costruire le cosiddette curve di Bezier. Queste, ereditando le loro proprietà geometriche da quelle analitiche dei polinomi di Bernstein, risultano intuitive e facilmente modellabili da un software interattivo e sono alla base di tutti i più moderni disegni curvilinei: dal design industriale, ai sistemi CAD, dallo standard SVG alla rappresentazione di font di caratteri.

Caratteristiche ed efficienza economica del Distretto agroalimentare del Pecorino Romano DOP

Una delle realtà economiche più importanti della Sardegna è la produzione di Pecorino Romano DOP. Il contesto nel quale è nato e si è sviluppato ingloba molte delle precondizioni che favoriscono la nascita di un distretto. Il principale obiettivo di questo studio è verificare se il comparto lattiero caseario della Sardegna, focalizzato nella produzione di Pecorino Romano DOP, può creare un effetto distretto. Ciò potrebbe suggerire l'esistenza dello stesso distretto anche se atipico. Per verificare questa ipotesi, in primo luogo è stata esaminata l'efficienza produttiva delle imprese trasformatrici di Pecorino Romano utilizzando il metodo della Frontiera stocastica di produzione. Successivamente sono state cercate le cause delle differenze. Lo studio mostra che i livelli di efficienza osservati sono quasi interamente attribuibili agli input di produzione utilizzati, in particolare al latte. Risulta chiaro che il sistema delle cooperative funziona e che tali aziende ottengono sistematicamente margini di efficienza migliori rispetto alle non cooperative. Le variabili analizzate non permettono di concludere che esiste un "effetto distretto".