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.

Crittoanalisi Logica di DES

La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costantemente, sia dal punto di vista dei possibili nuovi exploit per forzare gli algoritmi usati, sia introducendo nuovi e sempre più complessi sistemi di sicurezza. In questa tesi viene proposto una possibile implementazione di un particolare tipo di attacco crittoanalitico, introdotto nel 2000 da due ricercatori dell'Università "La Sapienza" di Roma, e conosciuto come "Crittoanalisi Logica". L'algoritmo su cui è incentrato il lavoro è il Data Encryption Standard (DES), ostico standard crittografico caduto in disuso nel 1999 a causa delle dimensioni ridotte della chiave, seppur tuttora sia algebricamente inviolato. Il testo è strutturato nel seguente modo: il primo capitolo è dedicato ad una breve descrizione di DES e della sua storia, introducendo i concetti fondamentali con cui si avrà a che fare per l'intera dissertazione Nel secondo capitolo viene introdotta la Crittoanalisi Logica e viene fornita una definizione della stessa, accennando ai concetti matematici necessari alla comprensione dei capitoli seguenti. Nel capitolo 3 viene presentato il primo dei due software sviluppati per rendere possibile l'attuazione di questo attacco crittoanalitico, una libreria per la rappresentazione e la manipolazione di formule logiche scritta in Java. Il quarto ed ultimo capitolo descrive il programma che, utilizzando la libreria descritta nel capitolo 3, elabora in maniera automatica un insieme di proposizioni logiche semanticamente equivalenti a DES, la cui verifica di soddisfacibilità, effettuata tramite appositi tools (SAT solvers) equivale ad effettuare un attacco di tipo known-plaintext su tale algoritmo.

Progettazione e realizzazione di una macchina automatica per l'applicazione del sigillo anti-effrazione in campo farmaceutico

Con il seguente elaborato si vuole evidenziare il percorso seguito per progettare e realizzare una macchina automatica adibita all’applicazione del sigillo di anti effrazione sulle diverse confezioni di farmaci presenti nel mercato farmaceutico. Obiettivo dunque del lavoro che viene presentato è quello di esplicitare e motivare le diverse scelte fatte in campo progettuale, grazie alle quali si è giunti alla realizzazione vera e propria della macchina in tutte le sue componenti e alla vendita di quest’ultima ad una casa farmaceutica del torinese. L’elaborato è così suddiviso: nella prima parte verrà descritta l’azienda demandante del progetto, la sua attività ed il suo campo di ricerca. Seguirà poi la descrizione dell’operazione per cui la macchina è stata concepita, i requisiti minimi di produttività che quest’ultima deve avere, e il campo di utilizzo. Nella seconda parte verranno presentati i vari gruppi che compongono la macchina, esplicitando la loro funzione, gli studi e le scelte fatte per la loro realizzazione, portando foto e disegni CAD dei componenti. Verranno poi descritti gli accorgimenti per la corretta installazione della macchina ed in fine verranno descritte le operazioni di collaudo effettuate sulla macchina, quali SAT (Site Acceptance Tests - Collaudo del sistema presso l’Utilizzatore) e FAT (Factory Acceptance Tests - Collaudo del sistema presso il costruttore)

Tre guide francesi sull'Italia del Sud: analisi argomentativa del discorso turistico

Le but de ce mémoire est d'identifier les caractéristiques typiques du discours touristique à travers une analyse argumentative de trois guides touristiques d'éditeurs et de langue français sur l'Italie du Sud, respectivement le guide «Routard», «Petit futé» et «Le guide bleu». Dans le premier chapitre, j'ai tracé l'histoire du développement et de la diffusion de ce genre textuel à travers les siècles. Ensuite, à travers une analyse non seulement linguistique mais qui prend en compte aussi les éléments et les stéréotypes culturels, j'ai mis en exergue les différences de style des trois guides et la manière dont ils présentent une destination peu connue au public français telle que l'Italie du Sud. En particulier, il a été possible, à travers les textes des guides, de retrouver une représentation pas toujours stéréotypée des Italiens et des Français aussi. Le dernier chapitre est consacré à une étude purement linguistique des textes touristiques, dont j'ai pris en considération des éléments récurrents comme la formule, le lexique évaluatif, la technique du balancement axiologique et la poéticité du langage. En conclusion, avec les outils fournis par l'analyse argumentative et culturelle, il a été possible de répertorier les éléments du style et du langage que l'on pourrait considérer comme typiques du discours de promotion touristique et, en même temps, d'identifier les différences entre les trois guides qui montrent comment un même genre peut se décliner de multiples façons différentes.

Impianti di ripartizione di farmaci in asepsi e atmosfera controllata

Tesi in azienda che verte sugli impianti di ripartizione di farmaci in asepsi e atmosfera controllata. Sono stati analizzati: norme riguardanti progettazione e installazione di impianti farmaceutici; tecnologie di ripartizione (isolatori e RABS) con riferimento all'isolatore in azienda e all'impianto HVAC asservito; la linea di ripartizione in generale (washing machine - tunnel di depirogenazione - isolatore - coding station); test SAT di convalida per l'installazione di isolatore e impianto HVAC; sviluppo e convalida del ciclo di decontaminazione con VHP; conti di ottimizzazione dell'inertizzazione della camera di riempimento.

Tra Letteratura e Psicoanalisi: traduzione del saggio “Zapiski Sumasšedšego” Nezakončennoe Proizvedenie L. N. Tolstogo di Nikolaj Osipov

Ce travail de recherche se base sur la traduction d’un texte littéraire du russe vers l’italien. Il s’agit d’un essai du psychanalyste N. E. Osipov, intitulé « Zapiski sumasšedšego », nezakončennoe proizvedenie L. N. Tolstogo (“Les mémoires d’un fou”, œuvre inaccomplie de L. N. Tolstoï ). Cet essai est une analyse de la vie et de la maladie de l’auteur des Mémoires du point de vue psychanalytique. En effet, Osipov fut l’un des représentants plus importants du mouvement psychanalytique en Russie. C’était un psychanalyste et il est considéré comme l’un des pionniers de la psychanalyse russe. En effet, il a joué un rôle très important en faveur de la diffusion des œuvres de Freud et de la psychanalyse dans son pays. En traduisant les œuvres de Freud, il a introduit la théorie et la langue psychanalytiques en Russie, surtout, parmi les intellectuels. Ce travail de recherche se compose de trois chapitres principaux. Dans le premier, les thèmes abordés sont : la naissance et la diffusion de la psychanalyse en Russie ; la vie et les œuvres psychanalytiques et littéraires de Osipov ; l’analyse du texte Les mémoire d’un fou. A l’intérieur du deuxième chapitre, on trouve la traduction italienne du texte de Osipov susmentionné. Enfin, le troisième chapitre contient une analyse du travail de traduction, c’est-à-dire une analyse des difficultés rencontrées et des choix de traduction effectués pour les surmonter, en utilisant plusieurs moyens comme des dictionnaires, des ouvrages spécialisés, même en langue originale, et des sites internet sur le thème de la psychanalyse. Le travail a été rédigé en italien, mais il contient beaucoup de citations en langue originale (russe) des textes utilisés pour la recherche. Il en résulte un apport très important pour comprendre la diffusion de la discipline psychanalytique en Russie et le rôle important joué par le psychanalyste Osipov de ce point de vue.