Studio delle proprietà reologiche di poliuretani termoplastici

Il poliuretano termoplastico (TPU) è un materiale polimerico molto versatile che, se formulato in maniera opportuna può assumere un’ampia gamma di caratteristiche chimico-fisiche e proprietà meccaniche. Per questo motivo negli ultimi decenni sono state studiate estesamente le sue applicazioni e i metodi di sintesi. Il lavoro presentato ha come scopo la valutazione delle proprietà reologiche dei fusi polimerici di una serie di TPUs, mediante l'ausilio di un reometro capillare. A tal proposito lo scopo del progetto è stato quello di incrementare la conoscenza dei fenomeni reologici che avvengono in un fuso polimerico in fase di lavorazione per ottenere un determinato prodotto finito e commercializzabile e che sanciscono l'effettiva realizzazione del processo in funzione delle caratteristiche del TPU in questione. Con l’utilizzo del reometro capillare si ha la possibilità di simulare le condizioni termiche e di stress meccanico delle più comuni tecnologie di formatura dei materiali polimerici: dall’estrusione allo stampaggio ad iniezione, passando per lo stampaggio a compressione. Questa importante caratteristica strumentale risulta utile in fase di assistenza al cliente, in modo da proporre una tipologia di materiale adatta alla tecnologia disponibile e, in alcuni casi, suggerire le condizioni più opportune per la lavorazione dello stesso.

Campagna MEDITS 2009 Sub-area Geografica (GSA16) (GSA 16, Stretto di Sicilia): Rapporto Finale campagna Medits 2009

La campagna scientifica Medits, nell’ambito del Programma nazionale Italiano per la raccolta dei dati alieutici (Reg. CE n°199/2008 e n°665/2008), ha l’obiettivo generale di valutare la distribuzione, l’abbondanza e la composizione per taglia delle specie oggetto di pesca presenti nei mari Italiani. L’Istituto di ricerche per l’Ambiente Marino Costiero (IAMC), sede di Mazara del Vallo, del Consiglio nazionale delle Ricerche (CNR), effettua campagne di ricerca in mare nella GSA 16 (FAO, 2001) dello Stretto di Sicilia, tramite rete a strascico (trawl survey), sin dalla primavera del 1985, con l’obiettivo generale di studiare l’abbondanza ed i cicli vitali delle risorse demersali e di stimarne lo stato di sfruttamento. Sono di seguito riportate le informazioni relative alla campagna Medits 2009 (di seguito indicata come MedSp09) nei fondi ricadenti nella GSA 16 (Stretto di Sicilia) che comprendono buona parte dei fondali antistanti il litorale meridionale della Sicilia. La campagna si è svolta tra il 21 maggio ed il 16 giugno 2009 per un totale di 120 cale valide allocate nella GSA 16 (Stretto di Sicilia). Nel presente rapporto sono riportati i risultati sulle percentuali di presenza, sugli indici di abbondanza e sulle strutture di lunghezza degli stock demersali ottenuti nel corso della campagna MEDITS 2009 per le 39 specie bersaglio.

Applicazione di un protocollo di screening differenziale nel sistema Vitis vinifera per l’identificazione di peptidi con attività antimicrobica

Le piante e gli animali presentano elementi comuni nel loro sistema di difesa contro gli agenti patogeni, come la sintesi diretta di enzimi idrolitici (chitinasi, glucanasi, proteinasi e ossidasi) e di peptidi antimicrobici (AMPs). Gli AMPs sono peptidi ampiamente espressi negli organismi animali (vertebrati e invertebrati) e nelle piante. Possono essere espressi costitutivamente o rapidamente indotti inseguito ad uno stimolo biotico, a differenti livelli cellulari, per interagire direttamente con l’agente infettante e/o per modulare la risposta immunitaria contro i patogeni. Tali peptidi sono oggi classificati in relazione alle loro caratteristiche biochimiche (carica netta) e/ o alle loro caratteristiche strutturali (composizione amminoacidica, struttura lineare o circolare). In base a queste caratteristiche le molecole possono essere distinte nei seguenti gruppi: 1) peptidi lineari ad alfa elica; 2) peptidi ciclici con β-sheets e due o più ponti disolfuro; 3) peptidi con alfa elica e β-sheets stabilizzati da ponti disolfuro; 4) peptidi con hairpin o loop stabilizzati da ponti disolfuro; 5) peptidi lineari con residui aminoacidici ripetuti, come prolina, glicina, triptofano o istidina; 6) piccoli peptidi con struttura avvolta o con una struttura secondaria non definita. Nonostante la loro diversità strutturale, i peptidi antimicrobici presentano la caratteristica comune di inibire la crescita di un largo spettro di microbi, quali Gram-positivi, Gram-negativi, funghi e in alcuni casi anche virus, tanto da far coniare il termine di “antibiotici naturali”. Negli ultimi anni è notevolmente incrementato l’interesse verso tali peptidi dal momento che dati scientifici hanno mostrato che questi non inducono lo sviluppo di meccanismi di resistenza nei microrganismi patogeni. Gli AMPs quindi potrebbero costituire una valida alternativa non solo in ambito sanitario, per la sostituzione di antibiotici di sintesi chimica e di origine microbiologica, ma potrebbero avere un importante utilizzo in campo industriale e nello sviluppo di nuovi sistemi di conservazione degli alimenti al fine di incrementare la loro “shelf-life”.

Metodi numerici per la definizione e soluzione di modelli probabilistici complessi per l’ingegneria della manutenzione.

Negli ultimi anni, lo scenario di crescente competizione su cui si affaccia il mercato ha spinto le aziende a interessarsi sempre più frequentemente all’ingegneria della manutenzione, allo scopo di avvalersi di tecniche che permettano di pianificare strategie di manutenzione per i sistemi produttivi che siano efficaci nel minimizzare i costi di gestione garantendo prestazioni e livelli di sicurezza elevati. Le tecniche analitiche tipiche dell’ingegneria della manutenzione sono nate in settori industriali che richiedono elevati livelli di progresso tecnologico (aeronautico, nucleare), e si basano su ipotesi specifiche stringenti, che risultano limitanti nel panorama sempre più vasto ed eterogeneo in cui ne si richiede l’applicazione. D’altra parte, la rimozione di tali ipotesi rende necessario il ricorso a tecniche di risoluzione numeriche. In questa tesi si definisce un nuovo modello che permetta di caratterizzare un sistema di produzione tenendo conto di tutti i possibili aspetti di interesse nell’ambito dell’ingegneria della manutenzione. Inoltre, sono descritti gli algoritmi definiti per la risoluzione di tale modello.

Studio e sviluppo di un simulatore ed ottimizzatore di traiettoria per aerei da competizione

L'obbiettivo principale di questa tesi è la creazione di un particolare strumento capace di calcolare, dati in input le coordinate geografiche in latitudine e longitudine dei vari gates di passaggio del velivolo e delle caratteristiche principali di quest'ultimo, la traiettoria ottimale, ovvero la più veloce, restando pur sempre nei limiti strutturali e in quelli stabiliti dal regolamento, oltre che ad una serie di valori utili per effettuare tale percorso, quali la variazione di potenza, di coefficiente di portanza, di velocità, ecc. Dopo una prima fase di raccolta delle informazioni (regolamento della competizione, dati tecnici dei velivoli usati, del motore e dell'elica) ne è seguita una seconda in cui, partendo dall'analisi dei risultati ottenuti da un precedente tool di calcolo in Excel, si è provveduto a scriverne uno nuovo operante in ambiente MatLab.

Calcolo delle coordinate delle stazioni GNSS italiane in Antartide e valutazione dei risultati.

La tesi di carattere sperimentale parla del calcolo, tramite diversi software, delle coordinate tridimensionali di alcune stazioni GNSS antartiche al fine di valutarne ripetibilità e accuratezza. Inoltre si descrive nel dettaglio il progetto nazionale di ricerca in Antartide (PNRA) e l'osservatorio geodetico italiano. Tutto questo anticipato da un ampio capitolo dove si descrive il sistema di posizionamento globale (GPS).

Simulazione di protocolli di gossip in territori a bassa connettività

I mondi di Smart City e Internet-of-Things si stanno ampliando notevolmente grazie all'evoluzione continua delle tecnologie. Tuttavia risultano escluse dall'ambito di interesse le zone rurali e decentralizzate perché spesso prive di un'infrastruttura di rete ben definita. A fronte di questo problema, i dispositivi che si trovano in queste zone potrebbero auto-organizzarsi per comunicare instaurando collegmenti di tipo peer-to-peer e utilizzando protocolli di disseminazione di informazioni basati su gossip. In questa tesi sono trattate le seguenti questioni e mediante alcune simulazioni al calcolatore sono riprodotti alcuni scenari per valutare le prestazioni degli algoritmi di Gossip with Fixed Probability e Conditional Broadcast e la diffusione delle informazioni tra i nodi all'interno di una rete creata in maniera opportunistica.

La Blockchain: aspetti crittografici e applicazioni

La Blockchain è un deposito di dati distribuito costituito da una lista di record (in continua crescita) resistente a modifiche e revisioni, anche da parte degli operatori dei nodi (computer) su cui risiede. I dati sono sicuri anche in presenza di partecipanti non affidabili o disonesti alla rete. Una copia totale o parziale della blockchain è memorizzata su tutti i nodi. I record contenuti sono di due tipi: le transazioni, che sono i dati veri e propri, e i blocchi, che sono la registrazione di quanto ed in quale ordine le transazioni sono state inserite in modo indelebile nel database. Le transazioni sono create dai partecipanti alla rete nelle loro operazioni (per esempio, trasferimento di valuta ad un altro utente), mentre i blocchi sono generati da partecipanti speciali, i cosiddetti “miners”, che utilizzano software e a volte hardware specializzato per creare i blocchi. L’attività dei miners viene ricompensata con l’assegnazione di “qualcosa”, nel caso della rete Bitcoin di un certo numero di unità di valuta. Spesso negli esempi si fa riferimento alla Blockchain di Bitcoin perché è la catena di blocchi implementata per prima, e l'unica ad avere una dimensione consistente. Le transazioni, una volta create, vengono distribuite sui nodi con un protocollo del tipo “best effort”. La validità di una transazione viene verificata attraverso il consenso dei nodi della rete sulla base di una serie di parametri, che variano secondo l’implementazione specifica dell’architettura. Una volta verificata come valida, la transazione viene inserita nel primo blocco libero disponibile. Per evitare che ci sia una duplicazione delle informazioni l’architettura prevede un sistema di time stamping, che non richiede un server centralizzato.

Slow waves in un modello di crescita tumorale

In questo elaborato ho analizzato un sistema di reazione-diffusione proposto come modello per descrivere un fenomeno di crescita tumorale. In particolare, è stato approfondito il processo in cui l'invasione neoplastica è originata dalla produzione di un eccesso di ioni acidi da parte delle cellule maligne. Il sistema preso in esame descrive l'andamento di tre grandezze: la concentrazione di tessuto sano, la concentrazione di tessuto maligno e l'eccesso di ioni acidi. Ho quindi cercato soluzioni compatibili con il sistema le quali fossero funzioni della tipologia travelling waves, ossia onde che si propagano lungo l'asse reale con un grafico fissato e ad una velocità costante. I risultati ottenuti in questo lavoro sono stati così suddivisi: nel Capitolo 1 viene descritto il processo di invasione tumorale dal punto di vista biologico, nel Capitolo 2 vengono forniti alcuni lemmi e proposizioni preliminari, nel Capitolo 3 viene calcolata un'approssimazione della soluzione del sistema tramite onde del tipo slow waves e infine nel Capitolo 4 sono state studiate la presenza e la larghezza dello spazio interstiziale, ossia di una regione situata tra il tessuto sano e quello neoplastico nella quale si registra una concentrazione di cellule, sia normali sia maligne, praticamente nulla. Infine, sono state rappresentate graficamente le soluzioni in tre possibili situazioni caratterizzate da un diverso parametro di aggressività del tumore.

Risoluzione dell'equazione di Hamilton-Jacobi pluridimensionale.

Nello studio di sistemi dinamici si cerca una trasformazione nello spazio delle fasi, detta trasformazione canonica, che lasci invariato il sistema di Hamilton e che porti a una funzione hamiltoniana che non dipenda più dai parametri lagrangiani, ma solo dai momenti. Si arriva quindi all'equazione di Hamilton-Jacobi che è una particolare equazione differenziale alle derivate parziali con incognita una funzione phi a valori scalari. Nei casi in cui ci siano n parametri lagrangiani si definisce il concetto di varietà lagrangiana come una varietà su cui si annulla la forma simplettica canonica e sotto l'ipotesi che esista una proiezione su R^n i punti di questa varietà si scrivono come (x,grad(phi(x)) e soddisfano l'equazione di Hamilton-Jacobi. Infine si illustra come una funzione phi trovata in questo modo permetta di approssimare l'equazione di Schroedinger.

Analisi multi-obiettivo in ottica lean-green della reverse logistics dei veicoli a fine vita (ELV)

La gestione del fine vita dei prodotti è un argomento di interesse attuale per le aziende; sempre più spesso l’imprese non possono più esimersi dall’implementare un efficiente sistema di Reverse Logistics. Per rispondere efficacemente a queste nuove esigenze diventa fondamentale ampliare i tradizionali sistemi logistici verso tutte quelle attività svolte all’interno della Reverse Logitics. Una gestione efficace ed efficiente dell’intera supply chain è un aspetto di primaria importanza per un’azienda ed incide notevolmente sulla sua competitività; proprio per perseguire questo obiettivo, sempre più aziende promuovono politiche di gestione delle supply chain sia Lean che Green. L’obiettivo di questo lavoro, nato dalle esigenze descritte sopra, è quello di applicare un modello innovativo che consideri sia politiche di gestione Lean, che dualmente politiche Green, alla gestione di una supply chain del settore automotive, comprendente anche le attività di gestione dei veicoli fuori uso (ELV). Si è analizzato per prima cosa i principi base e gli strumenti utilizzati per l’applicazione della Lean Production e del Green supply chain management e in seguito si è analizzato le caratteristiche distintive della Reverse Logistics e in particolare delle reti che trattano i veicoli a fine vita. L’obiettivo finale dello studio è quello di elaborare e implementare, tramite l’utilizzo del software AMPL, un modello di ottimizzazione multi-obiettivo (MOP- Multi Objective Optimization) Lean e Green a una Reverse Supply Chain dei veicoli a fine vita. I risultati ottenuti evidenziano che è possibile raggiungere un ottimo compromesso tra le due logiche. E' stata effettuata anche una valutazione economica dei risultati ottenuti, che ha evidenziato come il trade-off scelto rappresenti anche uno degli scenari con minor costi.

El reconocimiento público de las uniones homosexuales : la función del derecho ante los cambios sociales

Resumen: En muchos países del mundo se suceden actualmente reclamos de reconocimiento público de las uniones homosexuales. Diversos países europeos han introducido normas tendientes a reconocer nuevas modalidades de ser pareja y familia sobre la base de una nueva concepción “de género” de la sexualidad humana. Pero la impresión que surge es que tales reconocimientos no son siempre precedidos de una profundización propiamente jurídica. En tal sentido, a la luz de las recientes solicitaciones político-sociales en materia de sexualidad y de familia, la presente contribución pretende proponer, en una perspectiva filosófico-jurídica, una reflexión sobre la función y el sentido del derecho frente a los cambios sociales.

A reparação do dano causado por membro indeterminado de um grupo: por uma relação de complementaridade entre o seguro e a responsabilidade civil

O dano e sua causa apresentam-se, em conjunto, como um dilema inerente a uma sociedade que incorporou o risco como produto do seu próprio desenvolvimento. Desde tempos imemoriais a solidariedade figura como instrumento imprescindível à composição das diferentes formas possíveis para minimizar os efeitos negativos do implemento de um risco seja através da transferência de suas consequências econômicas para quem, por sua atividade o produziu ou, esteja melhor preparado para suportá-lo. Entretanto, as formas privadas tradicionais, isoladamente mostram-se insuficientes para responder satisfatoriamente à necessidade de reparação dos danos na atualidade. Isto porque, via de regra, os instrumentos para tal foram desenvolvidas em uma perspectiva individual, tendo como premissa a identificação da causa do dano e, a partir daí, a possibilidade de imputação de responsabilidade. Contemporaneamente, contudo, os danos usualmente resultam de causas múltiplas e, mesmo quando decorrem de causa única, essa pode estar relacionada a um conjunto de agentes, de forma a não ser possível a individuação do ofensor. Neste contexto, torna-se imprescindível a construção de uma noção jurídica de causalidade, apta a solucionar questões críticas, tais como a do dano causado por membro indeterminado de um grupo. Esta noção, por seu turno, requer uma base solidária mais aprofundada, de sorte a permitir a reparação do dano injusto sofrido pela vítima, sem arruinar o ofensor. Afirma-se, então, que a reparação integral dos danos em uma sociedade de risco depende de uma nova concepção acerca da solidariedade: a solidariedade global. E, indo além, a fase atual impõe a necessidade de se repensar a própria base do sistema de responsabilidade civil, como decorrência necessária de uma nova orientação jus-filosófica, inspirada por valores personalistas e solidaristas e também em razão da própria evolução social que potencializou os problemas que gravitam em torno da solidariedade e do risco, notadamente em razão da coletivização das causas dos danos. Assim, se há cada vez mais solidariedade nas causas e nos danos, deve haver também solidariedade na reparação. Nessa perspectiva, a presente dissertação tratará da coletivização da responsabilidade civil em relação à causa dos danos, na hipótese de responsabilidade grupal, e em referência à reparação dos danos em uma perspectiva convergente dos institutos do seguro e da responsabilidade civil.

Design and implementation of robust systems for secure malware detection

Malicious software (malware) have significantly increased in terms of number and effectiveness during the past years. Until 2006, such software were mostly used to disrupt network infrastructures or to show coders’ skills. Nowadays, malware constitute a very important source of economical profit, and are very difficult to detect. Thousands of novel variants are released every day, and modern obfuscation techniques are used to ensure that signature-based anti-malware systems are not able to detect such threats. This tendency has also appeared on mobile devices, with Android being the most targeted platform. To counteract this phenomenon, a lot of approaches have been developed by the scientific community that attempt to increase the resilience of anti-malware systems. Most of these approaches rely on machine learning, and have become very popular also in commercial applications. However, attackers are now knowledgeable about these systems, and have started preparing their countermeasures. This has lead to an arms race between attackers and developers. Novel systems are progressively built to tackle the attacks that get more and more sophisticated. For this reason, a necessity grows for the developers to anticipate the attackers’ moves. This means that defense systems should be built proactively, i.e., by introducing some security design principles in their development. The main goal of this work is showing that such proactive approach can be employed on a number of case studies. To do so, I adopted a global methodology that can be divided in two steps. First, understanding what are the vulnerabilities of current state-of-the-art systems (this anticipates the attacker’s moves). Then, developing novel systems that are robust to these attacks, or suggesting research guidelines with which current systems can be improved. This work presents two main case studies, concerning the detection of PDF and Android malware. The idea is showing that a proactive approach can be applied both on the X86 and mobile world. The contributions provided on this two case studies are multifolded. With respect to PDF files, I first develop novel attacks that can empirically and optimally evade current state-of-the-art detectors. Then, I propose possible solutions with which it is possible to increase the robustness of such detectors against known and novel attacks. With respect to the Android case study, I first show how current signature-based tools and academically developed systems are weak against empirical obfuscation attacks, which can be easily employed without particular knowledge of the targeted systems. Then, I examine a possible strategy to build a machine learning detector that is robust against both empirical obfuscation and optimal attacks. Finally, I will show how proactive approaches can be also employed to develop systems that are not aimed at detecting malware, such as mobile fingerprinting systems. In particular, I propose a methodology to build a powerful mobile fingerprinting system, and examine possible attacks with which users might be able to evade it, thus preserving their privacy. To provide the aforementioned contributions, I co-developed (with the cooperation of the researchers at PRALab and Ruhr-Universität Bochum) various systems: a library to perform optimal attacks against machine learning systems (AdversariaLib), a framework for automatically obfuscating Android applications, a system to the robust detection of Javascript malware inside PDF files (LuxOR), a robust machine learning system to the detection of Android malware, and a system to fingerprint mobile devices. I also contributed to develop Android PRAGuard, a dataset containing a lot of empirical obfuscation attacks against the Android platform. Finally, I entirely developed Slayer NEO, an evolution of a previous system to the detection of PDF malware. The results attained by using the aforementioned tools show that it is possible to proactively build systems that predict possible evasion attacks. This suggests that a proactive approach is crucial to build systems that provide concrete security against general and evasion attacks.

Gli strumenti per la governance dei gruppi pubblici locali alla luce della riforma Brunetta. Una proposta operativa

Il lavoro ha ad oggetto gli strumenti di programmazione e controllo utilizzabili dagli enti locali ai fini della governance sulle proprie aziende di gestione dei servizi pubblici, alla luce delle riforme che hanno interessato sia il settore considerato, sia i sistemi informativo-contabili delle amministrazioni territoriali. Viene effettuata una proposta, anche in base allo studio della Legge, della dottrina economico aziendale e degli esiti di una ricerca che ha coinvolto i comuni capoluogo di Emilia Romagna e Toscana, per identificare un cruscotto informativo unico che coniughi esigenze informative degli enti locali, semplicità di utilizzo e rispetto della normativa attuale.