Architettura cloud per lo sviluppo multi-piattaforma di Sistemi Operativi: Principi generali

Vengono analizzate le strategie di rilascio delle principali Distribuzioni Linux e i metodi per la compilazione automatizzata del software. Si propone quindi una nuova metodologia sia per il rilascio di media installabili e sia per la pacchettizzazione. Sfruttando le tecnologie del campo DevOps, si introduce quindi un alto grado di scalabilità anche in ambienti Cloud, grazie anche alla riproducibilità di ogni componente dell'infrastruttura proposta. Vedremo quindi come questo approccio aumenta l'automatizzazione nei cicli produttivi per la realizzazione della Distribuzione Sabayon Linux e per la definizione di un'infrastruttura automatizzata attualmente in production.

Il concetto di funzione: storia, applicazioni, sviluppi

Il concetto di funzione è tra i più rilevanti, ma anche tra i più controversi concetti matematici. In questo lavoro di tesi si è esaminato questo concetto a partire dalle sue origini fino ad arrivare alla definizione bourbakista, che è quella insegnata a tutti gli studenti a partire dalla scuola secondaria fino ad arrivare all'università. Successivamente si è analizzato in che modo questo delicato concetto viene presentato agli studenti delle scuole secondarie di secondo grado, osservando come le recenti Indicazioni Nazionali e Linee Guida danno suggerimenti per affrontare questo argomento, anche esaminando alcuni libri di testo. Infine si è descritto come il concetto di funzione abbia preso, in tempi relativamente recenti, un respiro più ampio dando luogo all'analisi funzionale, laddove le funzioni non sono più viste come corrispondenza punto a punto ma come oggetti che vengono osservati globalmente. Si considereranno infatti nuovi spazi i cui elementi sono funzioni.

Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.

Esempi di calcolo della funzione zeta di Hasse-Weil

Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.

Costruzione di un filtro ottimale per la ricerca di ammassi di galassie in survey fotometriche

Gli ammassi di galassie sono le strutture più grandi che possiamo osservare nell’Universo. La loro formazione deriva direttamente dalla crescita delle perturbazioni primordiali di densità e dal loro conseguente collasso gravitazionale indotto appunto dalla gravità. Gli ammassi di galassie sono molto importanti in Astrofisica in quanto possono essere considerati come dei laboratori per lo studio di molti aspetti fisici legati al gas, all’ICM e all’evoluzione delle galassie. Lo studio degli ammassi di galassie è molto importante anche per la Cosmologia in quanto è possibile effettuare delle stime sui parametri cosmologici ed ottenere dei vincoli sulla geometria dell’Universo andando a valutare la loro massa e la loro distribuzione nell’Universo. Diventa quindi fondamentale l’utilizzo di algoritmi che ci permettano di utilizzare i dati ottenuti dalle osservazioni per cercare ed individuare gli ammassi di galassie in modo tale da definire meglio la loro distribuzione nell’Universo. Le più recenti survey di galassie ci forniscono molteplici informazioni a riguardo delle galassie, come ad esempio la loro magnitudine in varie bande osservative, il loro colore, la loro velocità ecc. In questo lavoro abbiamo voluto testare la performance di un algoritmo Optimal Filtering nella ricerca degli ammassi di galassie utilizzando prima solo l’informazione della magnitudine delle galassie e successivamente anche l’informazione sul loro colore. Quello che abbiamo voluto fare, quindi, è stato valutare se l’utilizzo combinato della magnitudine delle galassie e del loro colore permette all’algoritmo di individuare più facilmente, e in numero maggiore, gli ammassi di galassie.

Studio della correlazione fra la percentuale di cellule neoplastiche mutate in EGFR e la risposta a farmaci TKI nell'adenocarcinoma polmonare

Il gene EGFR e' un marcatore molecolare fondamentale per determinare la sensibilita' o meno ai farmaci inibitori delle tirosin-chinasi (TKI) in pazienti affetti da adenocarcinoma polmonare. Lo scopo del lavoro e' di determinare se la percentuale di cellule neoplastiche mutate in EGFR correli con la risposta ai farmaci TKI. Sono stati analizzati 18 casi; di ogni caso e' stato analizzato il gene EGFR (esoni 18, 19, 20 e 21) mediante Next Generation Sequencing (NGS). La quantita' di cellule neoplastiche presenti nell'area analizzata e' stata valutata da un patologo, su un vetrino colorato con Ematossilina-Eosina, e tale quantita' e' stata normalizzata alla percentuale di alleli mutati rilevata mediante NGS. E' stata rilevata una correlazione fra la percentuale di cellule neoplastiche mutate in EGFR e la risposta ai TKI, ed e' stato osservato che pazienti con una percentuale di cellule neoplastiche mutate al di sopra del 56% presentano una migliore "overall survival" rispetto ai pazienti con una percentuale inferiore. I dati suggeriscono che, oltre al valore predittivo, la definizione della percentuale di cellule neoplastiche mutate in EGFR potrebbe avere un valore prognostico.

Sviluppo di un sistema per allocazione e scheduling di applicazioni periodiche

In questa tesi, viene illustrato un metodo risolutivo al problema dell’allocazione e schedulazione, su risorse eterogenee con capacità unaria rinnovabile e cumulativa non rinnovabile, di applicazioni multitask periodiche, con periodi in relazione armonica, strutturate in attività indipendenti o sottoposte a vincoli di precedenza e con durate dipendenti dalla specifica risorsa di allocazione. L’obiettivo è quello di fornire un’implementazione del modello in grado di gestire l’allocazione e la schedulazione di istanze (i.e. insieme di applicazioni) variabili, caratterizzate da una serie di parametri. La struttura implementativa, realizzata secondo la Logic-based Benders decomposition, prevede la suddivisione del problema in due moduli. Il primo in grado di generare un’allocazione e realizzato con tecniche di programmazione lineare intera mista, il secondo con lo scopo di controllare l’ammissibilità di tale allocazione attraverso una schedulazione ottima e realizzato mediante tecniche di programmazione a vincoli. Il meccanismo di comunicazione tra i due moduli avviene mediante vincoli lineari, denominati tagli di Benders, che vengono aggiunti dopo ogni iterazione del sistema. L’efficacia del modello sarà valutata confrontando i risultati ottenuti attraverso una serie di test, con i valori forniti da un metodo di allocazione e schedulazione alternativo.

Caratterizzazione di resine epossidiche per materiali compositi realizzati in infusione ad alta pressione

I materiali compositi, grazie alla combinazione delle proprietà dei singoli componenti di cui sono costituiti, in particolare la coesistenza di elevate caratteristiche meccaniche e pesi ridotti, rivestono da tempo un ruolo fondamentale nell’industria aeronautica e nel settore delle competizioni automobilistiche e motociclistiche. La possibilità di progettare i materiali in funzione della loro applicazione, unita alla riduzione dei costi di produzione, permette una crescente diffusione del loro utilizzo e l’ampliamento delle applicazioni a moltissimi altri settori, sia per componenti di tipo strutturale, sia di tipo estetico. L’obiettivo della presente tesi è analizzare, attraverso una campagna sperimentale, il comportamento di diversi materiali realizzati con la tecnica di produzione HP-RTM, tramite prove di taglio interlaminare e flessione, al fine di verificare l’applicabilità di tale processo a prodotti strutturali, in modo da velocizzare i tempi di produzione e quindi di abbassare i costi, mantenendo al tempo stesso elevate proprietà meccaniche. Lo scopo di questa campagna quindi è fornire, attraverso lo studio di 30 serie di provini, il materiale migliore in termini di resistenza a flessione e taglio interlaminare; inoltre per ogni tipologia di materiale vengono descritte le diverse distribuzioni dei valori di rottura riscontrati, in modo da lasciare al progettista più libertà possibile nella scelta del materiale in base alle specifiche richieste per una determinata applicazione. Questo studio permette di analizzare l’influenza di ogni singolo componente (tipo di fibra, tipo di binder, presenza o assenza di IMR), all’interno della stessa resina.

Proposta di traduzione de Le livre des djinns di Nacer Khemir: interculturalita nella letteratura per bambini.

Questa tesina intende proporre la traduzione dal francese all'italiano di quattro racconti tratti dal libro per bambini Le Livre des djinns di Nacer Khemir, scrittore, artista e cineasta tunisino, pubblicato dalla casa editrice francese Syros nel 2002. Nella prima sezione, offrirò una definizione di letteratura per bambini e della sua traduzione, soffermandomi poi sul procedimento traduttivo di fronte a specifici riferimenti culturali, appoggiandomi su teorie elaborate da studiosi e traduttori. Proseguirò presentando la mia proposta di traduzione realizzata secondo le metodologie esposte nella prima sezione. Infine, presenterò un mio commento alla traduzione nel quale saranno evidenziati i principali problemi riscontrati durante la traduzione giustificando le scelte traduttive adottate.

Funzioni di Sobolev

In questa tesi cercherò di analizzare le funzioni di Sobolev su R}^{n}, seguendo le trattazioni Measure Theory and Fine Properties of Functions di L.C. Evans e R.F.Gariepy e l'elaborato Functional Analysis, Sobolev Spaces and Partial Differential Equations di H. Brezis. Le funzioni di Sobolev si caratterizzano per essere funzioni con le derivate prime deboli appartenenti a qualche spazio L^{p}. I vari spazi di Sobolev hanno buone proprietà di completezza e compattezza e conseguentemente sono spesso i giusti spazi per le applicazioni di analisi funzionale. Ora, come vedremo, per definizione, l'integrazione per parti è valida per le funzioni di Sobolev. È, invece, meno ovvio che altre regole di calcolo siano allo stesso modo valide. Così, ho inteso chiarire questa questione di carattere generale, con particolare attenzione alle proprietà puntuali delle funzioni di Sobolev. Abbiamo suddiviso il lavoro svolto in cinque capitoli. Il capitolo 1 contiene le definizioni di base necessarie per la trattazione svolta; nel secondo capitolo sono stati derivati vari modi di approssimazione delle funzioni di Sobolev con funzioni lisce e sono state fornite alcune regole di calcolo per tali funzioni. Il capitolo 3 darà un' interpretazione dei valori al bordo delle funzioni di Sobolev utilizzando l'operatore Traccia, mentre il capitolo 4 discute l' estensione su tutto R^{n} di tali funzioni. Proveremo infine le principali disuguaglianze di Sobolev nel Capitolo 5.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

Valutazione numerica del numero di Nusselt per una regione di ingresso termico

L’idea di questa tesi è nata dalla volontà di verificare il lavoro svolto come oggetto di studio di illustri scienziati che si prefissero come traguardo la risoluzione di questo problema, che aveva come obiettivo la comprensione, la previsione e l’ottimizzazione dei fenomeni legati allo scambio termico convettivo attraverso le svariate geometrie di superficie. Gli steps per il raggiungimento dello scopo oggetto di questa tesi, pertanto, possono essere così riassunti: 1. definizione di una corretta metodologia di calcolo dei campi fluidodinamico e termico, per un condotto piano infinitamente lungo, in condizioni di completo sviluppo; 2. dimostrazione della fattibilità di un’ottimizzazione di tale geometria, tramite l’utilizzo del software Mathematica; 3. trovare l’andamento del numero di Nusselt e verificare se il risultato ottenuto coincide con il risultato che si trova in letteratura relativamente al caso studiato. Da quanto ottenuto mediante i calcoli realizzati con il software Mathematica possiamo concludere che l’andamento del numero di Nusselt, ottenuto tenendo conto delle condizioni al contorno di tipo T in un condotto con pareti piane infinitamente lungo, ci dimostrano che i calcoli precedentemente effettuati sono corretti in quanto corrispondo ai risultati presenti in letteratura.

Sviluppo di nuovi algoritmi di pianificazione per sistemi non olonomici e con dinamica non linerare

L'obiettivo del kinodynamic motion planning è quello di determinare una sequenza di input di controllo per guidare un agente da uno stato iniziale ad uno finale, rispettando la dinamica del corpo e i vincoli fisici. In questa tesi sono presentate diverse versioni di algoritmi basati su Rapidly-exploring Random Tree in grado di risolvere questo tipo di problema. In particolare è preso in considerazione il caso di un sistema non lineare con vincoli non olonomici, rappresentativo del rover in dotazione al progetto europeo SHERPA. La qualità degli approcci proposti è inoltre provata con alcuni test di navigazione, in ambiente simulato, confrontando gli algoritmi proposti con alcuni presi nella letteratura di riferimento.

Progettazione e prototipìa di un polso robotico ad architettura sferica

I robot industriali iniziano a diffondersi in maniera significativa verso la metà degli anni ’70, quando affrontare economicamente il costo legato alla loro progettazione e costruzione risultò più vantaggioso rispetto all’assunzione di manodopera. Nella categoria dei robot industriali rientrano anche i polsi robotici che, posti all’estremità di un braccio meccanico, possono essere impiegati in diverse applicazioni industriali. In questo ambito si inserisce il meccanismo sferico ideato da Wu e Carricato. Esso presenta un’architettura ibrida seriale-parallela e, grazie ad una disposizione simmetrica dei membri che lo costituiscono, è in grado di riprodurre il movimento del polso umano. L’attività svolta e presentata in questo elaborato è stata finalizzata alla progettazione, attraverso l’ausilio dei software Creo e Matlab, sia degli organi che compongono il dispositivo sia della trasmissione meccanica che consente l’attuazione dei 2 gradi di libertà (gdl) posseduti dal meccanismo. Sono state realizzate due versioni CAD del polso; la prima è volta alla realizzazione in materiale plastico dei componenti, sfruttando la tecnologia della stampa 3D, in modo da ottenere un primo prototipo funzionante ed operativo, in cui si sono previsti accoppiamenti rotoidali tra le parti del tipo a strisciamento. Costruito ed assemblato il prototipo in plastica, si è potuta verificare la compatibilità tra precisione costruttiva, tolleranze dimensionali e geometriche garantite dalla stampa 3D e corretto funzionamento del meccanismo. La seconda versione rappresenta una versione ingegnerizzata della precedente. In particolare, prevede la realizzazione in alluminio del polso e la progettazione dei giunti cinematici (principalmente rotoidali) utilizzando accoppiamenti volventi e non a strisciamento. In questo modo si riescono a ridurre le imperfezioni di montaggio ed i notevoli giochi introdotti dall’impiego di componenti in plastica.

Il miglioramento del patrimonio edilizio esistente in ambito rurale. Un caso di studio in comune di Cento.

Descrizione di un edificio soggetto all'azione del sisma che ha subito danni e crolli. Valutazione dei danni e del comportamento dei materiali. Definizione di interventi atti al miglioramento della struttura in ambito sismico.