Calcolo delle equazioni e ricorsività

Nell'elaborato si introduce il calcolo delle equazioni, un particolare linguaggio predicativo contenente come unico simbolo predicativo quello di uguaglianza. Vengono analizzate le funzioni derivabili in questo linguaggio: le funzioni ricorsive parziali e le funzioni ricorsive primitive. Si accenna al lambda-calcolo che è un particolare linguaggio con cui è possibile, per la sua semplicità, esprimere molte teorie, come quella del calcolo delle equazioni. Infine, si studiano i problemi legati alla ricorsività: il problema della fermata e il problema dell'indecidibilità della logica dei predicati.

Timing attack di Paul C. Kocher: attacco al sistema di sicurezza RSA mediante strumenti di statistica

In questa tesi ho voluto descrivere il Timing Attack al sistema crittografico RSA, il suo funzionamento, la teoria su cui si basa, i suoi punti di forza e i punti deboli. Questo particolare tipo di attacco informatico fu presentato per la prima volta da Paul C. Kocher nel 1996 all’“RSA Data Security and CRYPTO conferences”. Nel suo articolo “Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems” l’autore svela una nuova possibile falla nel sistema RSA, che non dipende da debolezze del crittosistema puramente matematiche, ma da un aspetto su cui nessuno prima di allora si era mai soffermato: il tempo di esecuzione delle operazioni crittografiche. Il concetto è tanto semplice quanto geniale: ogni operazione in un computer ha una certa durata. Le variazioni dei tempi impiegati per svolgere le operazioni dal computer infatti, necessariamente dipendono dal tipo di algoritmo e quindi dalle chiavi private e dal particolare input che si è fornito. In questo modo, misurando le variazioni di tempo e usando solamente strumenti statistici, Kocher mostra che è possibile ottenere informazioni sull’implementazione del crittosistema e quindi forzare RSA e altri sistemi di sicurezza, senza neppure andare a toccare l’aspetto matematico dell’algoritmo. Di centrale importanza per questa teoria diventa quindi la statistica. Questo perché entrano in gioco molte variabili che possono influire sul tempo di calcolo nella fase di decifrazione: - La progettazione del sistema crittografico - Quanto impiega la CPU ad eseguire il processo - L’algoritmo utilizzato e il tipo di implementazione - La precisione delle misurazioni - Ecc. Per avere più possibilità di successo nell’attaccare il sistema occorre quindi fare prove ripetute utilizzando la stessa chiave e input differenti per effettuare analisi di correlazione statistica delle informazioni di temporizzazione, fino al punto di recuperare completamente la chiave privata. Ecco cosa asserisce Kocher: “Against a vulnerable system, the attack is computationally inexpensive and often requires only known ciphertext.”, cioè, contro sistemi vulnerabili, l’attacco è computazionalmente poco costoso e spesso richiede solo di conoscere testi cifrati e di ottenere i tempi necessari per la loro decifrazione.

Simulazione FEM e validazione sperimentale del processo di friction welding

Nel seguente elaborato si propone lo sviluppo di un modello agli elementi finiti (FEM) del processo di friction welding del quale, attraverso i dati rilevati da prove sperimentali di validazione termica, vengono valutati i parametri ottimali di simulazione. Ai risultati così ottenuti vengono applicati anche algoritmi per la valutazione della microstruttura e della qualità della saldatura, sviluppati originariamente per l'analisi dell'estrusione: in entrambi i casi a seguito del confronto con le analisi metallografiche dei provini è stato possibile validare ulteriormente il modello creato.

Telemonitoraggio domiciliare dei parametri vitali per pazienti affetti da patologie croniche o in fase acuta

L’Italia è il secondo Paese più longevo al mondo (preceduto dal Giappone), con un’aspettativa di vita di circa 81,5 anni. L’attuale percentuale degli over 65 è di circa il 20% ma si prevede che nel 2050 tale percentuale possa raggiungere il 34%. Dal punto di vista economico è necessario trovare soluzioni che conducano ad una contenuta e ridotta spesa sanitaria sul bilancio statale, conservando la qualità e l’efficienza dei servizi ospedalieri. Dal punto di vista sociale l’obiettivo è quello di poter assistere l’anziano, non più completamente autosufficiente, nelle cure offrendo anche supporto psicologico e la sicurezza di non essere abbandonato a sé stesso. Il raggiungimento di tali obiettivi ha un’unica parola chiave: casa; cioè far in modo che l’anziano, ma in generale il paziente, possa ricevere cura ed assistenza nella propria casa, grazie alla combinazione sinergica del servizio di assistenza domiciliare e della Telemedicina.

Valutazione della stima della traiettoria dell'elettrodo in seno coronarico in pazienti sottoposti a terapia di resincronizzazione cardiaca

La tesi tratta della mancata efficacia della terapia di resincronizzazione cardiaca e valuta un metodo per poterne predire la futura efficacia o meno. Si propone ciò studiando la traiettoria 3D dell'elettrodo in seno coronarico e analizzando se le variazioni che la caratterizzano possono essere indicative di una futura risposta positiva alla terapia. Sono inoltre state apportate alcune modifiche al programma Matlab che ricostruisce la traiettoria 3D per eliminare alcune approssimazioni.

Implementazione e validazione di una versione trasportabile su piattaforma Android di un broker semantico OSGI.

Realizzazione di un database semantico in Java a partire da una sua versione in tecnologia OSGI. La trattazione è organizzata come segue: nel primo capitolo verranno introdotte nozioni generali sullo scenario di rilevanza e le tecnologie. Nel secondo capitolo si parlerà della SIB-O, introducendone l’architettura e le funzionalità. Il terzo capitolo descriverà il lavoro svolto ed infine il quarto capitolo riporterà i risultati di test di performance allo scopo di validare il lavoro svolto e caratterizzare l’efficienza dei prodotti software realizzati.

Lo sviluppo di disturbi psichiatrici in pazienti hcv+ sottoposti a terapia antivirale: L'impatto dei nuovi farmaci

Introduzione:l’interferone (IFN) usato per l’eradicazione del virus dell’Epatite C, induce effetti collaterali anche riferibili alla sfera psichica. I dati sugli eventi avversi di tipo psichiatrico dei nuovi farmaci antivirali (DAA) sono limitati. Lo scopo di questo studio è di valutare lo sviluppo di effetti collaterali di tipo psichiatrico in corso di due distinti schemi di trattamento: IFN-peghilato e ribavirina [terapia duplice (standard o SOC)]; DAA in associazione a IFN-peghilato e ribavirina (terapia triplice). Metodi: pazienti HCV+ consecutivi seguiti presso l’Ambulatorio delle Epatiti Croniche della Semeiotica Medica del Dipartimento di Scienze Mediche e Chirurgiche dell’Università di Bologna in procinto di intraprendere un trattamento antivirale a base di IFN, sottoposti ad esame psicodiagnostico composto da intervista clinica semistrutturata e test autosomministrati: BDI, STAXI-2, Hamilton Anxiety Scale, MMPI – 2. Risultati: Sono stati arruolati 84 pazienti, 57/84 (67.9%) nel gruppo in triplice e 27/84 nel gruppo SOC. Quasi tutti i pazienti arruolati hanno eseguito l’intervista clinica iniziale (82/84; 97.6%), mentre scarsa è stata l’aderenza ai test (valori missing>50%). Ad eccezione dell’ansia, la prevalenza di tutti gli altri disturbi (irritabilità, astenia, disfunzioni neurocognitive, dissonnia) aumentava in corso di trattamento. In corso di terapia antivirale 43/84 (51.2%) hanno avuto bisogno di usufruire del servizio di consulenza psichiatrica e 48/84 (57.1%) hanno ricevuto una psicofarmacoterapia di supporto, senza differenze significative fra i due gruppi di trattamento. Conclusioni : uno degli elementi più salienti dello studio è stata la scarsa aderenza ai test psicodiagnostici, nonostante l’elevata prevalenza di sintomi psichiatrici. I risultati di questo studio oltre ad evidenziare l’importanza dei sintomi psichiatrici in corso di trattamento e la rilevanza della consulenza psicologica e psichiatrica per consentire di portare a termine il ciclo terapeutico previsto (migliorandone l’efficacia), ha anche dimostrato che occorre ripensare gli strumenti diagnostici adattandoli probabilmente a questo specifico target.

Sistemi di telmedicina territoriale: integrazione dei dati da pazienti domiciliari e analisi di rischio sui sistemi coinvolti

La telemedicina è uno strumento in grado fornire assistenza ad un paziente o monitorarne le condizioni di salute, impiegando dispositivi di telecomunicazione avanzati i quali rendono possibile la trasmissione a distanza di informazioni mediche dal paziente alla struttura sanitaria o viceversa. Questo elaborato si propone di illustrare come la telemedicina sia utilizzata nel trattamento dello scompenso cardiaco a prescindere dalla distanza tra le strutture sanitarie e il luogo di residenza del malato ottenendo risultati incoraggianti sia dal punto di vista del quadro di salute psico-fisico dei pazienti sia dal punto di vista economico per il Sistema Sanitario Nazionale.

Discalculia e calcolo mentale: l'esperienza didattica in una scuola secondaria di primo grado

Nella tesi si illustra la discalculia, cioè un disturbo che interessa la sfera del calcolo e delle abilità matematiche. Segue una parte di ricerca in classe sul calcolo mentale, in cui è stato programmato un intervento didattico al fine di favorire il ragionamento e poi, tramite l’esercizio, consentire l’automatizzazione delle procedure risolutive.

Il consenso informato come strumento di esercizio del diritto alla salute per i pazienti stranieri?

L’elaborato propone una riflessione rispetto all’atto giuridico del consenso informato quale strumento garante dell’esercizio del diritto alla salute per i migranti. Attraverso una riflessione antropologica rispetto alla natura, alla costruzione e alla logica dei diritti universali, verranno analizzate le normative nazionali, europee ed internazionali a tutela del diritto alla salute per i migranti; l’obiettivo della ricerca è indagare l’eventuale scarto tra normative e politiche garantiste nei confronti della salute migrante e l’esistenza di barriere strutturali che impediscono un pieno esercizio del diritto alla salute. L’ipotesi di ricerca si basa sulla reale capacità performativa del consenso informato, proposto solitamente sia come strumento volto ad assicurare la piena professionalità dell’operatore sanitario nell’informare il paziente circa i rischi e i benefici di un determinato trattamento sanitario, sia come garante del principio di autonomia. La ricerca, attraverso un’analisi quanti-qualitativa, ha interrogato il proprio campo, rappresentato da un reparto di ginecologia ed ostetrica, rispetto alle modalità pratiche di porre in essere la firma nei moduli del consenso informato, con particolare attenzione alle specificità proprie delle pazienti migranti. Attraverso l’osservazione partecipante è stato quindi possibile riflettere su aspetti rilevanti, quali le dinamiche quotidiane che vengono a crearsi tra personale sanitario e pazienti, le caratteristiche e i limiti del servizio di mediazione sanitaria, le azioni pratiche della medicina difensiva. In questo senso il tema del “consenso informato”, indagato facendo interagire discipline quali l’antropologia, la bioetica, la filosofia e la sociologia, si è posto sia come lente di lettura privilegiata per comprendere le dinamiche relazionali ad oggi esistenti tra professionisti sanitari e popolazione migrante, ancora vittima di diseguaglianze strutturali, ma altresì come “innesco potenziale” di nuove modalità di intendere la relazione medico-paziente.

Studio preliminare di flusso attorno ad un pantografo per treno ad alta velocità

In questo elaborato di tesi viene presentata la comparazione tra due codici CFD, rispettivamente Fluent e OpenFOAM, mediante simulazioni che sono alla base di uno studio numerico di flusso attorno ad un pantografo per treno ad alta velocità. Si è apprezzato quindi la facilità d’uso di un software venduto tramite licenza e la difficoltà di un software open source come OpenFOAM, il quale però ha vantaggi in termini di adattamento ai casi più specifici. Sono stati quindi studiati due casi, scambio termico in regime laminare attorno ad un cilindro bidimensionale e flusso turbolento completamente sviluppato in un canale. Tutte le simulazioni numeriche hanno raggiunto convergenza e sono state validate positivamente mediante confronto con dati sperimentali. Il primo caso prevede un cilindro investito da un flusso a temperatura minore rispetto alla temperatura della superficie del cilindro; per avere più riscontri, sono state condotte diverse prove a valori differenti del numero di Prandtl, e per ogni simulazione è stato ricavato il corrispettivo numero di Nusselt, successivamente comparato con i dati sperimentali per la validazione delle prove. A partire dalla creazione della griglia di calcolo, è stato effettuato uno studio del fenomeno in questione, creando così una griglia di calcolo sviluppata a valle del cilindro avente maggior densità di celle a ridosso della parte del cilindro. In aggiunta, svolgendo le prove con schemi numerici sia del primo che del secondo ordine, si è constatata la miglior sensibilità degli schemi numerici del secondo ordine rispetto a quelli del primo ordine. La seconda tipologia di simulazioni consiste in un flusso turbolento completamente sviluppato all’interno di un canale; sono state svolte simulazioni senza e con l’uso delle wall functions, e quindi usate griglie di calcolo differenti per i due tipi di simulazioni, già disponibili per entrambi i software. I dati ottenuti mostrano uno sforzo computazionale maggiore per le simulazioni che non prevedono l’uso delle wall functions, e quindi una maggiore praticità per le simulazioni con le wall functions. Inoltre, le simulazioni di questo secondo caso sono state svolte con diversi modelli di turbolenza; in Fluent sono stati utilizzati i modelli k-ε e RSM mentre in OpenFOAM è stato utilizzato solo il modello k-ε in quanto il modello RSM non è presente. La validazione dei risultati è affidata alla comparazione con i dati sperimentali ricavati da Moser et all mediante simulazioni DNS, mettendo in risalto la minor accuratezza delle equazioni RANS.

Utilizzo della stimolazione elettrica per la terapia antalgica nei pazienti oncologici

Utilizzo della stimolazione elettrica per la terapia antalgica nei pazienti oncologici

Analisi comparativa di procedimenti di calcolo per l'analisi sismica di edifici di muratura

studio di un edificio in muratura ed intervento di miglioramento sismico.

Implementazione di un codice di calcolo random close per un propellente solido

L’impacchettamento risulta essere importante in molti settori industriali, come il settore minerario, farmaceutico e soprattutto il settore spaziale, in quanto permette di massimizzare il grado di riempimento del propellente solido di un razzo ottenendo prestazioni migliori e notevoli vantaggi economici. Il lavoro di tesi presentato nel seguente elaborato consiste nello studio dell’impacchettamento casuale, in particolare il caso Random Close Packing, di un propellente solido; per fare ciò è stato implementato un codice in ambiente C++ presso l’hangar della Scuola di Ingegneria ed Architettura con sede a Forlì. L’obiettivo principale era quello di trovare la granulometria delle particelle di perclorato di ammonio e delle particelle di alluminio tali da minimizzare gli spazi lasciati vuoti dalle particelle stesse.

Inserimento eterofamigliare supportato di adulti sofferenti di disturbi psichici: Valutazione degli esiti

L’Inserimento Eterofamigliare Supportato di Adulti (IESA) sofferenti di disturbi psichici consiste nell’accogliere persone in cura presso i servizi psichiatrici territoriali, nel proprio domicilio, integrandole nelle proprie relazioni famigliari. Obiettivo è migliorare la qualità di vita dell’utente e favorirne l’integrazione nella comunità. Obiettivo. Valutare gli esiti dello IESA, con un disegno di ricerca longitudinale, considerando: psicopatologia, benessere psicologico, funzionamento sociale e familiare. Metodologia. 40 soggetti: 20 pazienti e 20 ospitanti. La valutazione clinica è stata effettuata all’inizio della convivenza e al follow-up di 1, 3, 6 e 12 mesi. Strumenti utilizzati: BPRS, VGF, PWB, SQ, FAD. Analisi statistica: Modello Lineare Generale (GLM) con l’Analisi della Varianza per prove ripetute e calcolo dell’effect-size. Risultati. 15 pazienti maschi e 5 femmine, 17 italiani. 11 soddisfano i criteri diagnostici (DSM-IV-TR) per schizofrenia e disturbi psicotici, 5 per i disturbi dell’umore e 4 per i disturbi di personalità. Dopo l’inserimento 3 sono stati i ricoveri e 4 le visite psichiatriche urgenti. 8 pazienti modificano/diminuiscono la terapia e 3 la sospendono. Aumenta il benessere psicologico (PWB); diminuiscono i sintomi psicopatologici (BPRS ed SQ) e migliora il funzionamento globale (VFG). Il gruppo dei famigliari composto da 11 uomini e 9 donne, 19 di nazionalità italiana; con età media di 55 anni. 8 sono coniugati, 6 celibi/nubili, 4 divorziati e 2 vedovi. 9 hanno figli, 11 lavorano e 8 sono pensionati. Nei famigliari aumenta il benessere psicologico (PWB), migliora il funzionamento famigliare (FAD) e la valutazione del funzionamento globale (VGF) rimane costante nel tempo. Discussioni e conclusioni. Il progetto IESA sembra migliorare la psicopatologia, con una diminuzione dei comportamenti maladattativi e un aumento delle capacità relazionali dell’ospite favorendone l’integrazione. Inoltre, lo IESA sembra diminuire i costi della cronicità psichiatrica: diminuzione degli accessi al Pronto Soccorso, delle visite psichiatriche urgenti e delle giornate di ricovero.