Caratterizzazione biomeccanica di vertebre umane

Le fratture vertebrali sono tra le principali cause dell’incremento della mortalità. Queste sono dovute principalmente a traumi, tumori o particolari patologie metaboliche che colpiscono l’osso. Il tratto maggiormente interessato è quello toraco-lombare in quanto deve sopportare la maggior parte dei carichi. Risulta quindi necessario comprendere come la colonna vertebrale risponde ai carichi così da studiare e sviluppare nuovi protocolli e trattamenti per disordini del tratto spinale. Informazioni quantitative possono essere ottenute mediante test in vitro. Questi hanno alcune limitazioni dovute principalmente alla difficoltà di misurare le tensioni e le deformazioni in zone diverse dalla superficie, alla complessità e al costo delle prove. Un altro limite delle prove in vitro è rappresentato dal fatto che ciascun campione può essere testato a rottura una volta sola. Queste problematiche possono essere superate con l’utilizzo contemporaneo di modelli matematici e test in vitro. In particolare i test in vitro sono utilizzati in fase di validazione del modello matematico, ovvero nella determinazione di quanto il modello è una rappresentazione del comportamento reale che si sta simulando. Il presente lavoro di tesi si inserisce in un progetto di caratterizzazione di vertebre toraco-lombari utilizzate per la validazione di un modello agli elementi finiti. In particolare l’obiettivo dello studio è stata la realizzazione di prove meccaniche in modo da replicare l’anterior wedge fracture. Tali prove sono state effettuate presso il Laboratorio di Biomeccanica del Dipartimento di Ingegneria Industriale dell’Università di Bologna. Gli spostamenti registrati durante le prove sono stati utilizzati dal Laboratorio di Tecnologia Medica dell’Istituto Ortopedico Rizzoli come condizioni al contorno per la realizzazione di un modello FE. Una volta validato e messo a punto, il modello sarà utilizzato per valutare lo stato di salute della colonna vertebrale in vivo.

Finte pelli in PVC: utilizzo e proprietà in mescola di plastificanti e ritardanti di fiamma ecosostenibili e non tossici

Il presente lavoro di tesi sperimentale prende in considerazione diverse possibili alternative ai plastificanti (in particolare alla famiglia degli ftalati) e ritardanti di fiamma (triossido di antimonio) ampiamente utilizzati al giorno d’oggi nella produzione di finte pelli in PVC, anticipando in questo modo possibili restrizioni future imposte dalla normativa REACH: quattro ftalati a basso peso molecolare (Benzil-ButilFtalato, Di-ButilFtalato, Di-Iso-ButilFtalato, e Di-2-Etil-EsilFtalato) sono già stati proibiti ed il triossido di antimonio è inserito nella lista delle sostanze candidate a possibili restrizioni. Le limitazioni all’uso di queste sostanze è dovuta agli effetti negativi sulla salute e sull’ambiente causati da queste sostanze: gli ftalati a basso peso molecolare possono interferire nei cicli ormonali; il triossido di antimonio è un sospetto cancerogeno, è pericoloso per inalazione ed è considerato causa di pneumoconiosi e irregolarità cardiache dei lavoratori a contatto con esso. Inoltre, l’antimonio è un inquinante persistente, bioaccumulabile e tossico (PBT). Sono stati presi in esame 21 plastificanti appartenenti a varie categorie (sebacati, adipati, trimellitati, fosfati, benzoati, …), coi quali sono state prodotte foglie di PVC plastificato. Le foglie sono state sottoposte a caratterizzazione tramite spettroscopia FT-IR ed a test sia di natura meccanica (durezza, resistenza meccanica, etc.) che focalizzati a determinare proprietà legate al loro uso finale (migrazione del plastificante, resistenza alla fiamma, stabilità termica, etc.). Tra i migliori plastificanti individuati vi sono i trimellitati ed alcuni plastificanti da fonti rinnovabili (azelati, tetravalerati). Sono state investigate singolarmente le proprietà di 5 tipologie di ritardanti di fiamma in sostituzione del triossido di antimonio (a varie percentuali di additivazione nel materiale) e di 3 miscele di ritardanti allo scopo di valutare eventuali effetti sinergici. Le foglie additivate con questi ritardanti di fiamma sono state caratterizzate tramite analisi termiche specifiche: analisi al cono calorimetro e analisi TGA accoppiata ad FT-IR, utili per la comprensione dei meccanismi di azione dei ritardanti di fiamma e della loro influenza sulla degradazione termica del PVC plastificato. Infine, le foglie sono state sottoposte ai classici test di resistenza meccanica, resistenza alla fiamma, stabilità termica, ecc. I migliori ritardanti di fiamma individuati sono: ipofosfito di calcio, sali carbossilati ed allumina triidrata, da soli o miscelati con zinco idrossistannato.

Digeribilità e bioaccessibilità di composti bioattivi in diverse cultivar di peperoni dolci

Un discreto numero di molecole biologicamente attive contenute nei cibi vegetali si suppone esercitino un ruolo preventivo e favorevole su molteplici funzioni dell’organismo, con meccanismi d’azione spesso legati alla modulazione diretta e indiretta dello stress ossidativo. Acido ascorbico, tocoferoli, carotenoidi, polifenoli, posseggono attività antiossidante e giocano un ruolo positivo nella conservazione dello stato di salute. L’elevato contenuto di essi nei peperoni dolci (Capsicum Annuum L.) ha incrementato l’interesse nei confronti di questi vegetali da parte del settore agronomico e dell’industria alimentare. È tuttavia noto che la concentrazione di composti bioattivi può essere molto diversa anche tra cultivar della stessa specie vegetale ed è pertanto importante evidenziare il contenuto quali-quantitativo delle varie molecole nelle diverse cultivar di peperoni dolci, in modo da evidenziare le più ricche di tali componenti. Occorre però tenere conto anche della biodisponibilità e bioaccessibilità dei diversi componenti funzionali. Infatti il possibile effetto positivo di tali molecole non dipende solo dal loro contenuto nell’alimento ma soprattutto dalla quantità che viene rilasciata dalla matrice alimentare durante il processo digestivo, e che quindi risulta essere potenzialmente biodisponibile e attivo nell’organismo. Scopo della ricerca presentata è stato valutare e confrontare la digeribilità e la bioaccessibilità di alcuni composti bioattivi antiossidanti in peperoni dolci rossi e gialli appartenenti a due diverse cultivar, Lamuyo e Corno di Toro. Il contenuto fenolico totale e di vitamina C, l’attività antiossidante totale sono stati determinati nei campioni di peperone digeriti in vitro, e comparati ai prodotti freschi, evidenziando differenze significative in termini di bioaccessibilità in particolare tra i peperoni rossi delle due cultivar. Sebbene il processo di digestione in vitro sia una simulazione parziale ed incompleta di quanto accade in vivo, la valutazione di un alimento dopo averlo sottoposto a tale processo rappresenta un importante progresso nello studio delle proprietà e del valore nutrizionale degli alimenti.

Influenza della tipologia di cereale e di fermentazione sulle possibili proprietà salutistiche del pane

Il rinnovato interesse da parte dei consumatori per le caratteristiche nutrizionali degli alimenti incentiva la ricerca in campo agroalimentare a sviluppare nuovi prodotti per il mercato attuale sempre più attento a salute e benessere. È in questo contesto che nasce a livello europeo il progetto Bake4Fun mirato allo sviluppo di soluzioni biotecnologiche innovative per la messa a punto di nuovi prodotti da forno funzionali. Nell’ambito di questo progetto europeo, lo scopo dello studio oggetto di questo elaborato di laurea è stato quello di valutare le proprietà antiossidanti e antinfiammatorie di diverse tipologie di pani creati ad hoc con farina di frumento o di farro e sottoposti a fermentazione convenzionale o con pasta madre (sourdough). Il farro appartiene alla famiglia dei cosiddetti “cereali antichi” e grazie al suo elevato profilo nutrizionale si presenta come un promettente candidato per la produzione di alimenti dalle proprietà benefiche. Similmente anche diverse tipologie di fermentazione sembrano in grado di possedere caratteristiche salutistiche. Pertanto, nell’ambito di B4F sono stati formulati e prodotti diversi tipi di pane e se ne sono voluti studiare i possibili effetti antiossidanti ed antiinfiammatori in vivo sul modello sperimentale del suino. Dopo 30 giorni di dieta arricchita con i diversi prodotti sperimentali miscelate in un rapporto di 1:1 con una dieta standard è stato valutato lo stato redox plasmatico mediante l’analisi di tre indicatori del danno ossidativo, quali TAC, GSH e TBARS. Il grado d’infiammazione è stato invece valutato attraverso l’analisi di otto citochine (IFNα, IFNγ, IL-1β, IL-4, IL-6, IL-8, IL-10 e TNFα) utilizzando un saggio multiparametrico di tipo ELISA. Tutti gli animali impiegati godevano di buona salute ed i loro plasmi sono stati analizzati sia all’inizio (T0) sia alla fine (T30) dell’esperimento. Sebbene i risultati conseguiti in relazione allo status ossidativo ed infiammatorio nei suini impiegati non abbiano evidenziato particolari differenze tra i diversi tipi di diete sperimentali, non si esclude che eventuali variazioni delle condizioni sperimentali possano portare a conclusioni diverse o che gli effetti siano maggiormente visibili a livello di altri parametri quali, ad esempio, la variazione della microflora intestinale o l’indice glicemico dei prodotti. Questa possibilità unitamente all’importanza degli effetti salutistici dei cereali antichi e delle diverse tipologie di fermentazione, giustificate da altre ricerche in letteratura, sottolineano la necessità di ulteriori studi in questo ambito.

Tecniche di elaborazione di immagini tomografiche con raggi X finalizzate alla creazione di modelli virtuali 3D

In questo elaborato sono state messe a confronto differenti procedure per la creazione di file in formato STL a partire da dati tomografici. Questo tipo di formato di dati è attualmente molto richiesto in quanto è adottato dalle stampanti 3D. I tre software presi in analisi, nello specifico, sono: DEVIDE, un programma open source, compatibile sia con Windows che con Linux, sviluppato presso la Delft University of Technology, nei Paesi Bassi; Imagej, un programma informatico di elaborazione digitale delle immagini, accessibile a tutti, basato su Sun-Java e sviluppato dal National Institutes of Health negli Stati Uniti; e infine VGStudioMax, un software sviluppato in Germania dalla VolumeGraphics GmbH. Un confronto diretto di questi software ha portato ad evidenziare i pregi ed i difetti d’ognuno di questi programmi, prendendo come criteri svariati fattori, tra cui la possibilità di scelta di uno o più soglie per i livelli di grigio, la velocità di esecuzione, il fatto che sia open-source o meno, ecc. I risultati ottenuti tramite l’utilizzo di slice filtrate riguardanti una Cera Anatomica e un Feticcio Africano, sono stati molto soddisfacenti, in quanto hanno permesso la realizzazione di modelli virtuali 3D di entrambi i reperti nel formato richiesto.

Applicazione del metodo QDanet_PRO alla classificazione di dati omici

Il presente lavoro di tesi si pone nell'ambito dell'analisi dati attraverso un metodo (QDanet_PRO), elaborato dal Prof. Remondini in collaborazine coi Dott. Levi e Malagoli, basato sull'analisi discriminate a coppie e sulla Teoria dei Network, che ha come obiettivo la classificazione di dati contenuti in dataset dove il numero di campioni è molto ridotto rispetto al numero di variabili. Attraverso questo studio si vogliono identificare delle signature, ovvero un'insieme ridotto di variabili che siano in grado di classificare correttamente i campioni in base al comportamento delle variabili stesse. L'elaborazione dei diversi dataset avviene attraverso diverse fasi; si comincia con una un'analisi discriminante a coppie per identificare le performance di ogni coppia di variabili per poi passare alla ricerca delle coppie più performanti attraverso un processo che combina la Teoria dei Network con la Cross Validation. Una volta ottenuta la signature si conclude l'elaborazione con una validazione per avere un'analisi quantitativa del successo o meno del metodo.

Resistenza al taglio residua in terreni argillosi appartenenti alla Formazione delle Argille a Palombini

Per il presente lavoro, sono state seguite due perforazioni a carotaggio continuo, eseguite ai piedi di un versante potenzialmente instabile attraversato dalla linea ferroviaria Bologna-Pistoia. In primo luogo è stata interpretata la stratigrafia del sito in esame su base della descrizione delle carote di sondaggio, e successivamente sono stati caratterizzati dal punto di vista geologico-tecnico alcuni campioni di terreno prelevati a diverse profondità. Sono state definite le caratteristiche granulometriche e i limiti di plasticità dei campioni, ed è stata condotta una prova di taglio anulare su uno di essi. Si è posta l'attenzione, in modo particolare, sull'interpretazione dei parametri di resistenza residua ottenuti in relazione alle proprietà indice del terreno.

Poesia come strumento di lotta contro il franchismo attraverso la canción protesta (dalla resistenza alla transizione democratica)

L'obiettivo di questo studio è stato quello di tracciare il percorso e gli elementi che hanno caratterizzato il fenomeno della Canción Protesta, ascrivibile al più ampio movimento della Canción Popular, nel tardo franchismo, partendo dalle origini di tale fenomeno, riconducibili alla nascita della Nova Cançó catalana negli anni Cinquanta. Si ritiene che il ruolo della musica nel contesto relativo al nostro studio, sia una chiave fondamentale per ottenere un nuovo tipo di interpretazione della storia politica, sociale e soprattutto culturale della Spagna. Generalmente quello musicale, non è un ambito al quale viene fatto riferimento quando ci addentriamo nell'analisi di determinati momenti storici, mentre, come abbiamo potuto constatare dal nostro studio, i fenomeni e i movimenti musicali sono di grande aiuto per comprendere l'evoluzione degli eventi e della storia di un Paese.

Attivita tirosina decarbossilasica di enterococcus faecalis in terreno sintetico

Le ammine biogene sono composti azotati a basso peso molecolare che vengono prodotti in seguito alla decarbossilazione degli aminoacidi da parte di specifici enzimi microbici della famiglia delle decarbossilasi. Questi composti sono presenti in diversi alimenti e, in particolare, in quelli fermentati. Nonostante la capacità dell’organismo di metabolizzare tali molecole tramite appositi sistemi di detossificazione una loro eccessiva assunzione provoca sintomatologie deleterie per la salute umana. La tiramina, in particolare, è una delle ammine biogene attualmente più studiate in ragione della diffusa presenza dell’enzima tirosina decarbossilasi (tyrDC) nel pool enzimatico di diversi batteri lattici, specialmente quelli appartenenti al genere Enterococcus. Seppure in letteratura vi siano numerosi studi riguardanti il rapporto fra contenuto di tiramina e l’attività degli enterococchi in molti alimenti, ad oggi sono ridotte le informazioni inerenti la regolazione e il ruolo fisiologico di tale molecola per la cellula microbica. Alla luce di tali considerazioni questa tesi mi sono occupata di approfondire le conoscenze relative l’attività dell’enzima tyrDC in un terreno di coltura a composizione nota da parte dei due ceppi di Enterococcus faecalis EF37 e ATCC29212. A tal fine i ceppi sono stati inoculati in cinque diversi terreni e incubati a tre diverse temperature (20°C, 30°C e 40°C), dopo averli pre-coltivati in terreni contenenti o meno tirosina, allo scopo di valutare se la fase di pre-adattamento fosse in grado di influenzare le performance dei ceppi considerati. Dai risultati ottenuti è emerso che è presente un’estrema eterogeneità nell’attività dell’enzima tyrDC anche all’interno della medesima specie, infatti se il ceppo EF37 ha performance migliori in termini di decarbossilazione quando pre-adattato, il ceppo ATCC29212 non sembra essere influenzato da questo fattore, seppur entrambi presentino una crescita cellulare più accentuata quando pre-adattati. È stata inoltre confermata, alle condizioni adattate, la capacità di produrre 2-feniletilamina da parte del solo ceppo EF37.

Visita virtuale alla Rocca di Forlimpopoli mediante l'uso di Maya e Unity 3D

Il lavoro svolto in questa tesi mira alla creazione di un modello 3D della Rocca di Forlimpopoli mediante l'uso dei programmi Maya e Unity 3D. La combinazione di queste due tecnologie permette all'utente di utilizzare il prodotto finale per visitare virtualmente la rocca, muovendosi a proprio piacimento all'interno del modello del monumento, esplorandone anche le porzioni normalmente non accessibili al pubblico, o visitabili solo in determinate occasioni.

Un distributore intelligente di bevande alla spina con sistema di pagamento basato su Bitcoin

I distributori automatici sono attualmente molto diffusi perché permettono di automatizzare l'erogazione di un prodotto o servizio senza la necessità di avere una persona addetta a quello scopo. Questa tesi si pone l'obiettivo di progettare e sviluppare un’applicazione per sistemi embedded Linux che consenta agli utenti di richiedere, in modo autonomo, il pagamento tramite Bitcoin con la successiva erogazione di bevande alla spina.

Cryptolocker, trick or threat: phishing e malware alla ricerca dell'anello debole

Il Cryptolocker è un malware diffuso su scala globale appartenente alla categoria ransomware. La mia analisi consiste nel ripercorrere le origini dei software maligni alla ricerca di rappresentanti del genere con caratteristiche simili al virus che senza tregua persevera a partire dal 2013: il Cryptolocker. Per imparare di più sul comportamento di questa minaccia vengono esposte delle analisi del malware, quella statica e quella dinamica, eseguite sul Cryptolocker (2013), CryptoWall (2014) e TeslaCrypt (2015). In breve viene descritta la parte operativa per la concezione e la configurazione di un laboratorio virtuale per la successiva raccolta di tracce lasciate dal malware sul sistema e in rete. In seguito all’analisi pratica e alla concentrazione sui punti deboli di queste minacce, oltre che sugli aspetti tecnici alla base del funzionamento dei crypto, vengono presi in considerazione gli aspetti sociali e psicologici che caratterizzano un complesso background da cui il virus prolifica. Vengono confrontate fonti autorevoli e testimonianze per chiarire i dubbi rimasti dopo i test. Saranno questi ultimi a confermare la veridicità dei dati emersi dai miei esperimenti, ma anche a formare un quadro più completo sottolineando quanto la morfologia del malware sia in simbiosi con la tipologia di utente che va a colpire. Capito il funzionamento generale del crypto sono proprio le sue funzionalità e le sue particolarità a permettermi di stilare, anche con l’aiuto di fonti esterne al mio operato, una lista esauriente di mezzi e comportamenti difensivi per contrastarlo ed attenuare il rischio d’infezione. Vengono citati anche le possibili procedure di recupero per i dati compromessi, per i casi “fortunati”, in quanto il recupero non è sempre materialmente possibile. La mia relazione si conclude con una considerazione da parte mia inaspettata: il potenziale dei crypto, in tutte le loro forme, risiede per la maggior parte nel social engineering, senza il quale (se non per certe categorie del ransomware) l’infezione avrebbe percentuali di fallimento decisamente più elevate.

Approccio dichiarativo alla generazione automatica del layout per testo a fronte su piattaforma web

Il contributo di questo lavoro è stata la realizzazione di un motore di layout specializzato per il testo a fronte basato su paradigma dichiarativo chiamato Sider, che permette all'utente di generare automaticamente layout a fronte anche complessi specificando direttamente le regole da utilizzare per l'allineamento, riducendo drasticamente i problemi legati agli approcci tradizionali. La scelta di seguire un approccio dichiarativo, è stata dettata dal fatto che è il paradigma che permette di ottenere il miglior compromesso tra automatizzazione del layout e interazione utente poiché per natura stessa del testo a fronte l'intervento umano non è totalmente eliminabile.

Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

L'altezza dei triangoli: dall'analisi storico-epistemologica alla sperimentazione didattica

La tesi a partire da un'analisi storico-epistemologica individua degli ostacoli storici legati al concetto di altezza. Dal confronto di questi con gli ostacoli di apprendimento riscontrati a partire da diverse fonti (Invalsi, ricerca scientifica, pretest in sei classi) si arriva a individuare quattro ostacoli che inducono il formarsi di diverse Concezioni legate al concetto di altezza dei triangoli. Si analizzano inoltre i risultati e le evidenze delle Concezione riscontrate nella sperimentazione didattica.