Il teorema di Cook-Levin e i SAT-solver

In questa tesi è trattato il tema della soddisfacibilità booleana o proposizionale, detta anche SAT, ovvero il problema di determinare se una formula booleana è soddisfacibile o meno. Soddisfacibile significa che è possibile assegnare le variabili in modo che la formula assuma il valore di verità vero; viceversa si dice insoddisfacibile se tale assegnamento non esiste e se quindi la formula esprime una funzione identicamente falsa. A tal fine si introducono degli strumenti preliminari che permetteranno di affrontare più approfonditamente la questione, partendo dalla definizione basilare di macchina di Turing, affrontando poi le classi di complessità e la riduzione, la nozione di NP-completezza e si dimostra poi che SAT è un problema NP-completo. Infine è fornita una definizione generale di SAT-solver e si discutono due dei principali algoritmi utilizzati a tale scopo.

Analisi preliminare di missione per lanci aviotrasportati di microsatelliti

Il presente lavoro di tesi si propone di analizzare e dimensionare una missione in orbita bassa per due microsatelliti di osservazione terrestre. I microsatelliti si stanno attualmente diffondendo su larga scala, grazie principalmente ai vantaggi economici garantiti dal fatto di lavorare con masse ridotte. Parallelamente alla diffusione dei microsatelliti, stanno nascendo numerosi progetti per lo sviluppo di sistemi di aviolancio, che consentono di attuare i vantaggi dei microsatelliti anche nella fase più dispendiosa della missione, cioè la messa in orbita. Vengono, inizialmente, introdotti i sistemi coinvolti nella missione, cioè l’aviolanciatore Pegasus XL, due microsatelliti del peso di 100 kg ciascuno, e un motore elettrico ad effetto Hall per ciascun satellite, usato per il trasferimento orbitale. Si introducono poi brevemente le equazioni del moto del razzo e alcuni cenni di meccanica celeste, specialmente quello che riguarda la definizione dei parametri orbitali. Segue la vera e propria analisi di missione, divisa in due parti: la prima relativa alla fase di aviolancio, con l’obbiettivo di stabilire se effettivamente il lanciatore è in grado di portare il payload prestabilito nell’orbita circolare di parcheggio, e di dimensionare alcune variabili di volo, quali l’angolo di traiettoria iniziale e i due tempi di coasting dovuti allo sgancio degli stadi del razzo; la seconda parte verte invece sull’analisi della missione in orbita, specialmente sul trasferimento a bassa spinta dall’orbita di partenza a quella target, tramite il motore ad effetto Hall. Anche in questo caso si vuole verificare se le prestazioni del motore elettrico sono adeguate al tipo di missione.

Proposta di traduzione commentata dei racconti per bambini "O Troca-Tintas" e "O Céu Está A Cair" della scrittrice portoghese Luísa Ducla Soares

L’obiettivo del presente elaborato è quello di fornire una proposta di traduzione dei racconti "O Troca-Tintas" e "O Céu Está A Cair" della scrittrice portoghese Luísa Ducla Soares, pubblicati all’interno della raccolta di storie per l’infanzia "Contos para Rir", dalla casa editrice Civilização Editora nel 2004. Nel secondo capitolo sarà illustrata la biografia dell’autrice. Il terzo capitolo sarà dedicato alla raccolta "Contos para Rir" e alla trama dei racconti. Il capitolo 4 conterrà la proposta di traduzione dei racconti "O Troca-Tintas" e "O Céu Está A Cair" in lingua italiana. Nei capitoli successivi sarà presente un approfondito commento alla traduzione, all’interno del quale saranno evidenziati i principali problemi riscontrati durante la traduzione e le strategie traduttive adottate. Saranno quindi illustrate le scelte traduttive di rilievo per la resa italiana, quali ad esempio la traduzione di espressioni idiomatiche, rime, diminutivi ed onomatopee, mettendo in luce le caratteristiche e gli elementi tipici dei racconti per l’infanzia. Dal momento che la raccolta "Contos para Rir" è un libro consigliato dal Plano Nacional de Leitura, l’intero capitolo 7 sarà dedicato all’analisi di questo progetto nei suoi principi fondanti, obiettivi ed iniziative. Infine, gli ultimi capitoli saranno dedicati alle conclusioni e alla bibliografia e sitografia consultate.

La misura di Monge-Ampère

In questo documento si costruisce la misura di Monge-Ampère partendo da una funzione continua convessa u a n variabili a valori reali. Si studiano le proprietà fondamentali di questa misura. Si enuncia la definizione di soluzioni generalizzate e soluzioni di viscosità dell'equazione di Monge-Ampère e si mostrano alcuni risultati importanti riguardo queste soluzioni. Utilizzando la nozione di misura di Monge-Ampère si dimostra il principio di massimo di Aleksandrov-Bakelman-Pucci.

Derivate frazionarie ed indice di Hurst

La tesi analizza l'estensione del calcolo classico, il calcolo frazionario, descrivendone le proprietà principali e dandone esempi concreti. Si procede con la definizione di indice di Hurst e di moto Browniano frazionario. Si vede poi come è possibile estendere il calcolo frazionario al calcolo stocastico rispetto ad un moto Browniano frazionario. Infine, si richiamano alcuni concetti di teoria della probabilità.

Proposta di traduzione e analisi testuale del libro "El amor" di Raquel Diaz Reguera

Il presente elaborato intende offrire proposte di traduzione relative ad alcune tavole dell'albo illustrato El amor di Raquel Díaz Reguera.In particolare, sono state scelte quattro tavole, ciascuna appartenente a un genere testuale differente. L'intento è quello di confrontare ogni tavola alla rispettiva definizione di genere a cui appartiene. Lo scopo dell'intero lavoro è di offrire alcune traduzioni di un libro che ancora non è stato tradotto in italiano e di incuriosire un eventuale lettore verso il genere dell'albo illustrato di cui il bambino non è il solo destinatario finale.

Aspetti della certificazione di un sistema a pilotaggio remoto (SAPR) ad ala fissa

La rapida diffusione di Sistemi Aerei a Pilotaggio Remoto che si è verificata negli ultimi anni ha portato alla necessità di regolamentare ed armonizzare il loro utilizzo. I vari enti regolatori nazionali hanno dovuto trovare una soluzione a fronte di una serie di incidenti che hanno portato alla luce le lacune normative ed organizzative che ancora esistevano in materia. In Italia, in particolare, l’Ente Nazionale Aviazione Civile (ENAC) ha introdotto da fine 2013 un regolamento, più volte aggiornato e in parte ancora in fase di definizione, che impone delle rigide norme agli operatori dei mezzi a pilotaggio remoto. La presente attività riporta quindi lo sviluppo di un processo di certificazione di un Sistema Aereo a Pilotaggio Remoto ad ala fissa con peso massimo al decollo superiore a 25 kg, che si possa adattare alle più recenti norme presenti nel regolamento. Si presenta quindi lo sviluppo del Manuale di volo e del documento di Valutazione del rischio del mezzo, seguiti dallo studio del programma di attività sperimentale necessario per la certificazione. Infine, nella parte finale dell’elaborato si presentano dei test di volo effettuati seguendo il piano di sperimentazione strutturato e atti a dimostrare l’efficacia di tale pianificazione. Tali voli sono stati condotti infatti con un velivolo con caratteristiche similari a quelle del mezzo oggetto di studio, ma avente dimensioni e peso minori.

Algoritmi di ottimizzazione per il bus touring problem.

Nel campo della Ricerca Operativa e dei problemi di ottimizzazione viene presentato un problema, denominato Bus Touring Problem (BTP), che modella una problematica riguardante il carico e l’instradamento di veicoli nella presenza di di vincoli temporali e topologici sui percorsi. Nel BTP, ci si pone il problema di stabilire una serie di rotte per la visita di punti di interesse dislocati geograficamente da parte di un insieme di comitive turistiche, ciascuna delle quali stabilisce preferenze riguardo le visite. Per gli spostamenti sono disponibili un numero limitato di mezzi di trasporto, in generale eterogenei, e di capacitá limitata. Le visite devono essere effettuate rispettando finestre temporali che indicano i periodi di apertura dei punti di interesse; per questi, inoltre, é specificato un numero massimo di visite ammesse. L’obiettivo é di organizzare il carico dei mezzi di trasporto e le rotte intraprese in modo da massimizzare la soddisfazione complessiva dei gruppi di turisti nel rispetto dei vincoli imposti. Viene presentato un algoritmo euristico basato su Tabu Search appositamente ideato e progettato per la risoluzione del BTP. Vengono presentati gli esperimenti effettuati riguardo la messa appunto dei parametri dell'algoritmo su un insieme di problemi di benchmark. Vengono presentati risultati estesi riguardo le soluzioni dei problemi. Infine, vengono presentate considerazioni ed indicazioni di sviluppo futuro in materia.

Catalizzatori per la reazione di Water Gas Shift a media ed alta temperatura

L’H2 è un vettore energetico di elevato interesse, utilizzato nell’industria chimica per la produzione di NH3 e CH3OH, oltre che per le reazioni di idrogenazione ed HDS. Un importante processo nella produzione di H2 è la reazione di Water Gas Shift (WGS), usata nel trattamento delle correnti uscenti dal reattore di Steam Reforming (SR) del metano: CO + H2O  CO2 + H2 ∆H0298K = -41,2 KJ/mol. Sulla base di precedenti lavori, sono stati sviluppati nuovi catalizzatori per la reazione WGS ad alta temperatura (HTS), alternativi ai tradizionali sistemi a base di Fe/Cr, in considerazione dei vincoli economici (elevati valori del rapporto vapore/gas secco o S/DG) ed ambientali (formazione di CrVI) di questi sistemi. Partendo da sistemi Cu/Zn/Al con un basso contenuto di rame, ottenuti da precursori tipo idrotalcite (HT), stato studiato l’effetto dell’aggiunta di piccole quantità di alcuni promotori sull’attività e stabilità dei catalizzatori ottenuti, osservando un effetto positivo sulle caratteristiche fisiche, come l’aumento dell’area superficiale e della dispersione della fase attiva. I campioni contenenti i promotori erano inoltre caratterizzati da una maggiore stabilità termica e, in alcuni casi, da un’attività catalitica superiore a quella del catalizzatore di riferimento privo di promotori. L’aggiunta di piccole quantità di alcali alla formulazione con la migliore attività portava ad un ulteriore aumento di attività e di stabilità, attribuibile ad una minore formazione di coke sulla superficie. I sistemi più interessanti potevano operare anche a bassi valori del rapporto S/DG, interessanti dal punto di vista industriale. Lo studio dell’adsorbimento di CO mediante FT-IR ha permesso di ipotizzare la possibile natura della fase attiva nei sistemi. Infine, lo studio è stato esteso a sistemi per la reazione di WGS a media temperatura (MTS), osservando anche in questo caso un positivo effetto legato all’aggiunta di promotori, con un aumento dell’attività catalitica e della stabilità con il tempo di reazione.

Sviluppo e caratterizzazione microstrutturale e tribologica di rivestimenti su lega di titanio per applicazioni biomedicali

Oggetto dello studio è stato lo sviluppo di rivestimenti con tecnica PEO (Plasma Electrolityc Ossidation) sulla lega di titanio Ti-6Al-4V, al fine di utilizzare questo materiale in sostituzione della lega CrCoMo nelle protesi d'anca e di ginocchio. Queste, ad oggi, sono le protesi articolari più diffuse e devono garantire contemporaneamente elevate prestazioni meccaniche (in particolare resistenza ad usura), affidabilità e biocompatibilità. La lega CrCoMo negli anni si è affermata nel campo protesico poiché è un materiale metallico avente elevata rigidezza abbinata a una buona resistenza a corrosione ed all'usura durante il movimento articolare. Un problema rilevante e frequente di questa lega è l'allergia di alcuni pazienti agli elementi di lega che la costituiscono o il rischio per i pazienti non allergici di subire un'ipersensibilizzazione, con conseguente sviluppo dell'allergia e necessità di sostituire la protesi. La lega Ti-6Al-4V potrebbe essere una valida alternativa data la sua elevata biocompatibilità e le sue proprietà meccaniche, tanto che è già ampiamente utilizzata nella costruzione di protesi statiche come chiodi o viti. Purtroppo ad oggi non è stato possibile l'utilizzo di questa negli accoppiamenti articolari, data la sua bassa resistenza all'usura per sfregamento. L'attività di tesi è stata quindi incentrata sulla definizione dei bagni elettrolitici e del ciclo elettrico ottimali per realizzare, con tecnica PEO, rivestimenti in grado di conferire una buona resistenza allo sfregamento alla lega di titanio. Il raggiungimento degli obiettivi prefissati è stato valutato attraverso una caratterizzazione microstrutturale e tribologica del rivestimento.

Analisi del comportamento a fatica di un laminato al variare della sequenza di impilamento e delle dimensioni

I materiali compositi rivestono un ruolo fondamentale nell’industria aeronautica e nel settore delle competizioni automobilistiche. La possibilità di progettare i materiali in funzione della loro applicazione 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. Nonostante la quantità di studi sul comportamento a fatica dei compositi, non sono ancora presenti risultati attendibili per la previsione della resistenza e della vita a fatica in relazione ad un determinato tipo di sollecitazione; non almeno a livello dei materiali tradizionali. L’obiettivo della tesi è indagare eventuali variazioni del comportamento a fatica di un laminato in CFRP in relazione al variare di parametri quali dimensioni e sequenza di impilamento delle ply. Per tale scopo sono state realizzate delle prove per il calcolo del comportamento a fatica, in particolare prove di flessione in 3 punti, e si sono poi confrontati tra loro i risultati sperimentali e correlati al variare dei parametri di interesse.

Progettazione di un sistema di cogenerazione statica di energia elettrica tramite celle ad effetto Seebeck

Studio di fattibilità di un sistema di cogenerazione termico ed elettrico stand-alone sfruttando il fenomeno dell'effetto Seebeck. In particolare è stata esaminata la sezione di produzione di potenza elettrica. Nella prima parte è trattata l'analisi della tecnologia riguardante i moduli TEG esplicitandone ogni aspetto caratteristico ed è stato inserito un riepilogo delle maggiori sperimentazioni in questo ambito. Nella seconda parte è affrontata la fase di studio preliminare. Sulla base dei dati di progetto ci si è soffermati sui vincoli dimensionali dei componenti direttamente interessati da scambi termodinamici. Nella terza parte è descritta la struttura del prototipo ed è mostrata una analisi economica preliminare di carattere indicativo. I risultati ottenuti mostrano il campo di applicabilità al quale questa soluzione tecnologica deve riferirsi per risultare conveniente.

Analisi della correlazione tra i livelli paleo-freatici del sistema carsico dei Piani Eterni e i Terrazzi dell'adiacente Valle del Mis (Parco nazionale delle Dolomiti bellunesi)

Il sistema carsico dei Piani Eterni e la Valle del Mis si trovano in provincia di Belluno, all'interno del parco Nazionale delle Dolomiti Bellunesi. Questi due sistemi geologici sono attualmente in fase di studio e la presente tesi, ha come scopo la correlazione tra i livelli paleo-freatici di grotta dei Piani Eterni e le superfici a bassa pendenza (terrazzi glaciali, kame e superfici di spianamento) dell'adiacente Val del Mis. L'elaborato è stato sviluppato prevalentemente su ArcMap (Gis) e su Excel, mentre su Datagraph sono stati ottenuti i grafici che mostrano i confronti altimetrici e quantitativi tra condotte e superfici. I risultati ottenuti dalla fase di analisi della tesi, mostrano che le correlazioni sono evidenti e grazie alle datazione U-Th di alcuni speleotemi del sistema carsico, sono state avanzate sia una ipotetica ricostruzione dell'antico reticolo di drenaggio della Valle del Mis, sia la causa per la quale questo drenaggio, attualmente, si presenti in maniera estremamente diversa da quello passato.

Prodotto di funzioni generalizzate

Le funzioni generalizzate sono uno strumento matematico che trova la sua applicazione fisica quando si trattano problemi con discontinuità o singolarità. Risulta perciò necessario formulare una teoria in grado di descrivere completamente questi oggetti e le loro proprietà. Nella teoria delle funzioni generalizzate il problema del loro prodotto è tuttora aperto poiché non esiste un metodo univoco per dare la definizione tra questi oggetti. Lo scopo di questo elaborato è di presentare la teoria delle funzioni generalizzate e i problemi legati al loro prodotto per poi presentare due metodi per affrontarlo, con esempi e risultati di particolare interesse. Vengono mostrati infine alcuni esempi fisici dove la soluzione richiede l'utilizzo di questo apparato matematico vertendo soprattutto sullo stretto legame tra il prodotto di funzioni generalizzate e la procedura della rinormalizzazione nella teoria dei campi quantistici.

Superfici topologiche compatte e curve algebriche

La tesi affronta la classificazione delle superfici compatte e prive di bordo. Successivamente, si vede un'applicazione del teorema di classificazione alle curve algebriche proiettive complesse, non singolari e irriducibili.