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.

Studio di un architettura hardware per il controllo di inverter per motori multifase

Lo scopo del lavoro è stato progettare una scheda di controllo in grado di concedere una buona flessibilità per il controllo di azionamenti elettrici, capace di interfacciarsi con configurazioni multi-livello, multifase e dual-motor. La progettazione è stata sviluppata con supporto di CAD elettronici commerciali. La scheda presenta tre parti fondamentali. Due unità di controllo identiche per permettere l’interfacciamento con più configurazioni, nelle quali sono realizzate tutte le funzioni di controllo, ed un’unità chiamata PL2 per la rielaborazione dati di tipologia unicamente automobilistica. E’ stato inoltre realizzato l’interfacciamento e l’assemblaggio con altre due schede elettroniche dedite all’attuazione dei segnali di controllo e alla gestione e rielaborazione dei segnali di veicolo.

L'interprete e le metafore nella comunicazione politica: analisi di alcuni interventi di Vladimir Putin

Questa tesi è dedicata al ruolo della metafora nella comunicazione politica dal punto di vista di un interprete di conferenza. In essa si effettua un'analisi di un corpus di metafore utilizzate da Vladimir Putin e si inquadra la metafora nel contesto dell’interpretazione simultanea. La metafora, infatti, gioca un ruolo fondamentale nel trasmettere l’intenzione comunicativa dell’oratore. Dunque, è importante che l’interprete sia conscio dei modelli metaforici più frequenti nel discorso politico, nonché delle strategie migliori da adottare di fronte ai vari tipi di metafore. Il primo capitolo è dedicato ad alcune delle teorie sulla metafora. Si evidenzia il passaggio da una concezione “classica” di metafora come abbellimento del testo, all’idea più recente della metafora come fenomeno cognitivo. Si discute inoltre della traduzione della metafora, della sua categorizzazione, su una scala da metafora viva a metafora “morta”, e del concetto di metafora universale. Il secondo capitolo riguarda il ruolo della metafora nella comunicazione politica, le funzioni da essa svolte e il suo potere persuasivo. Si presentano le metafore più diffuse nei discorsi politici russi e il particolare stile comunicativo di Vladimir Putin. Il terzo capitolo analizza un corpus di metafore di Vladimir Putin. Le metafore estratte sono classificate su una scala, dalle più alle meno lessicalizzate; si evidenziano le metafore concettuali più frequenti e le potenziali difficoltà che possono emergere nella resa in interpretazione simultanea.

Modelli variazionali convessi-nonconvessi per la ricostruzione di segnali bilivello corrotti da sfocamento e rumore: analisi e soluzione numerica.

In questa tesi abbiamo presentato/analizzato metodi variazionali allo stato dell’arte per la ricostruzione – ovvero, rimozione di sfocamento e rumore - di una classe specifica di segnali/immagini caratterizzati dal fatto di essere costanti a tratti e bilivello. Tali metodi ottengono la ricostruzione tramite la minimizzazione di un funzionale formato da due parti: un termine di fedeltà ai dati, la cui forma dipende dal tipo di rumore considerato, e un termine di regolarizzazione che codifica l’informazione a priori disponibile sul segnale da ricostruire (ad esempio, la sua regolarità). Per segnali costanti a tratti, è ben noto che il regolarizzatore deve avere la proprietà di promuovere la sparsità delle derivate prime del segnale. In particolare, molte proposte allo stato dell’arte sfruttano la pseudo-norma l0 o la norma l1 del gradiente, ossia la Variazione Totale (TV). La prima scelta è ottimale in linea teorica poiché promuove al meglio la sparsità, ma il funzionale è fortemente non convesso e i metodi numerici di minimizzazione possono convergere a soluzioni locali. Nel caso di TV si ha invece un problema convesso che garantisce la convergenza a minimi globali ma la qualità della soluzione è sub-ottima. Motivati da vantaggi/svantaggi di l0 ed l1, in questa tesi si è deciso di investigare (teoricamente e sperimentalmente) l’uso di modelli variazionali di tipo Convesso-NonConvesso (CNC). Questi utilizzano particolari regolarizzatori non convessi e parametrici che consentono da un lato di sparsificare meglio di l1, dall’altro di mantenere la convessità del funzionale così da presentare un unico punto di minimo. Tra i metodi CNC investigati, quello denominato GME-TV basato sul concetto di inviluppo di Moreau generalizzato ha prodotto ricostruzioni di qualità sempre migliore di TV e a volte, diremmo sorprendentemente, anche di l0. Questo rappresenta un risultato di particolare rilevanza scientifica nel campo della ricostruzione di segnali/immagini.

La funzione P di Weierstrass

Funzione P di Weierstrass e le sue principali proprietà.

Interoperabilità BIM nella modellazione strutturale di edifici storici in muratura: il caso della Rocca Estense di S. Felice sul Panaro

In questa tesi si propone una metodologia per il trasferimento interattivo semiautomatico di dati da modelli geometrici semantici sviluppati in ambiente BIM a modelli strutturali supportati da analisi per elementi finiti. Il caso della Rocca estense di San Felice sul Panaro, gravemente danneggiata dagli eventi sismici del 2012, è utilizzato come caso di studio applicativo. La metodologia prevede in prima battuta la modellazione di elementi speciali BIM quali contenitori locali dei dati semantici definiti mediante regioni nello spazio del modello che individuano particolari condizioni fisiche individuate mediante la definizione di opportuni metadati. Successivamente, tali informazioni vengono processate automaticamente, mediante uno script integrato in ambiente BIM, rendendole compatibili con i set di dati che tipicamente vengono trasmessi in input per analisi ad elementi finiti. Tali operazioni permettono quindi la generazione di un modello strutturale che recepisce direttamente le attribuzioni semantiche del modello geometrico iniziale. Nell'elaborato sono inoltre discusse alcune metodologie alternative per la generazione del modello agli elementi finiti, partendo da diverse definizioni geometriche in ambiente BIM.

"Razionalizzazione mediante VSM e tecniche Kaizen del flusso del valore nel processo produttivo di getti in ghisa: il caso Fonderie di Montorso S.p.a.”

La stesura del seguente elaborato di tesi è avvenuta simultaneamente all’inizio di un progetto Lean presso il plant produttivo, situato a Crevalcore (Bo), di Fonderie di Montorso Spa, azienda produttrice di getti in ghisa. Lo scopo del seguente elaborato è di descrivere l’implementazione di un progetto Lean in uno dei settori più antichi esistenti. Negli ultimi decenni, si è sentito molto parlare di Lean production in settori come quello dell’automotive ma, raramente, si sente parlare di lean thinking o kaizen in settori metalmeccanici. I processi produttivi tipici di una fonderia, infatti, sono difficilmente prevedibili e controllabili come può essere un processo di assemblaggio di componenti. Trasferire, dunque, un sistema di gestione della produzione, il Toyota Production System, nato in una linea di assemblaggio, in un settore con una grande quantità di vincoli di progettazione e produzione, è una sfida, una sfida necessaria per rispondere ad una situazione di estrema variabilità della domanda, in cui il mercato richiede i prodotti in maniera rapida e puntuale. Per rimanere, dunque, competitivi è necessario un cambiamento radicale, una rivisitazione di tutti i processi aziendali partendo dall’arrivo dell’ordine, alla spedizione dello stesso. Alla luce di ciò, nel corso della trattazione, sono state svolte analisi al fine di ridurre il Lead time di partenza da 18 a 4 settimane, ponendo molta attenzione al coinvolgimento delle persone, il vero motore del cambiamento. Le parole cardine di questo elaborato sono: standardizzazione dei processi, eliminazione dei colli di bottiglia, aumento della comunicazione tra le funzioni aziendali, prioritizzazione dei clienti e per ultimo, ma non per importanza, la valorizzazione del gemba.

Gestione e analisi di metriche neuroergonomiche EEG-based in cathlab

Il miglioramento dell'assistenza e dei risultati dei pazienti si basano attualmente sullo sviluppo e sulla convalida di nuovi farmaci e tecnologie, soprattutto in campi in rapida evoluzione come la Cardiologia Interventistica. Tuttavia, al giorno d’oggi ancora poca attenzione è rivolta ai professionisti che effettuano tali operazioni, il cui sforzo cognitivo-motorio è essenziale per la riuscita degli interventi. L’ottimizzazione delle prestazioni e dell'organizzazione del lavoro è essenziale in quanto influisce sul carico di lavoro mentale dell'operatore e può determinare l'efficacia dell'intervento e l'impatto sulla prognosi dei pazienti. È stato ampiamente dimostrato che diverse funzioni cognitive, tra cui l'affaticamento mentale comporta alcuni cambiamenti nei segnali elettroencefalografici. Vi sono diversi marcatori dei segnali EEG ciascuno con una determinata ampiezza, frequenza e fase che permettono di comprendere le attività cerebrali. Per questo studio è stato utilizzato un modello di analisi spettrale elettroencefalografica chiamato Alpha Prevalence (AP), che utilizza le tre onde alpha, beta e theta, per mettere in correlazione i processi cognitivi da un lato e le oscillazioni EEG dall’altro. Questo elaborato, condotto insieme all’azienda Vibre, prende in esame il cambiamento dell’AP, all’interno di una popolazione di cardiologi interventisti che effettuano interventi in cath-lab presso l’ospedale universitario di Ferrara, per valutare la condizione di affaticamento mentale o di eccessiva sonnolenza. L’esperimento prevede la registrazione del segnale EEG nei partecipanti volontari durante gli interventi e durante le pause nel corso dell’intero turno di lavoro. Lo scopo sarà quello di rilevare i cambiamenti nella metrica dell’alpha prevalence al variare del carico attentivo: ossia al variare delle risorse attentive richieste dal compito in relazione all’aumentare del tempo.

Verifiche di sicurezza delle apparecchiature elettromedicali

La struttura di un ospedale è notevolmente complessa nella sua organizzazione e conduzione, ed è per di più sollecitata a continue trasformazioni di carattere tecnologico ed organizzativo. Pertanto è essenziale, in una struttura sanitaria, il ruolo svolto dall’Ingegneria Clinica, che è quello dell’applicazione dei metodi e delle competenze specifiche proprie dell’ingegneria all’organizzazione, alla gestione e all’uso sicuro ed appropriato della strumentazione biomedica. Il seguente elaborato tratta le verifiche di sicurezza delle apparecchiature elettromedicali (EM) con una particolare attenzione agli aspetti normativi che le contraddistinguono e al ruolo dell’ingegnere clinico. Parlare di sicurezza per le tecnologie biomediche, significa garantire l’utilizzo delle stesse in assenza di rischi per l’utilizzatore e per il paziente, perciò il concetto di rischio è analizzato accuratamente. Oltre alla manutenzione correttiva è compito dell’ingegnere clinico programmare strategie di manutenzione preventiva per ottimizzare la durata fisiologica degli apparecchi EM e garantirne la qualità delle prestazioni erogate a lungo termine. L’utilizzo o il semplice invecchiamento di una qualsiasi apparecchiatura ne provoca infatti l’usura dei materiali e la deriva delle caratteristiche, aumentando la probabilità di guasto ed avaria. Pertanto la definizione di procedure di verifica elettrica periodica diventa fondamentale per l’individuazione di gran parte di quelle situazioni di compromissione della sicurezza che sono causa di danni e incidenti. Il loro scopo è quello di accertarsi che un’apparecchiatura abbia mantenuto nel tempo le caratteristiche di sicurezza dichiarate dal produttore e certificate dalla marcatura di conformità CE. Per completare l’iter di verifica di sicurezza e definirne il livello minimo accettabile è essenziale eseguire, oltre alle verifiche elettriche, le verifiche funzionali per valutare l’efficacia delle singole funzioni e prestazioni.

Servizio provinciale integrativo di formazione e protezione in relazione alla fauna selvatica

In questa tesi si propone una soluzione alle difficoltà di gestione, tutela e ricerca della fauna presente in Alto Adige. Nel 1992, la Legge n. 157, comunemente nota come “legge sulla caccia”, ha delegato alle Regioni e alle Province autonome la regolamentazione delle attività di soccorso della fauna selvatica. Ad oggi non esistono né una definizione univoca di “centro di recupero”, né una legislazione nazionale di riferimento, nonostante siano strutture ampiamente diffuse sul territorio italiano, con un ruolo significativo per la tutela della fauna selvatica e capaci di forte impatto sull’opinione pubblica. Ne è scaturito un quadro nazionale eterogeneo in cui gli effetti di leggi molto diverse tra loro si sommano alle individualità delle associazioni incaricate e dei singoli individui partecipanti. In provincia di Bolzano l’unico centro di recupero operativo secondo la delega provinciale, soddisfa in maniera molto marginale agli obblighi a cui dovrebbe sottostare ricoprendo questo ruolo all’interno della provincia. Sarà quindi ipotizzata la presenza di un ulteriore centro di recupero faunistico in grado di adattarsi meglio alle esigenze del territorio e risolvere alcune tra le problematiche che il territorio, gli enti locali e le attività animaliste lasciano irrisolte. Più nello specifico, le attività del centro saranno inquadrate in un programma globale che potrà essere adottato come programma nazionale per la salvaguardia delle specie animali minacciate, attraverso le funzioni di cura della fauna, educazione ambientale, sensibilizzazione mediatica, corsi di formazione volontari, conduzione di programmi di riproduzione e reintroduzione di specie rare, nonché raccolta di dati e materiali per la ricerca e lo studio scientifico in ambito ecosistemico.

Sviluppo di una libreria per la visualizzazione di dati spazio temporali in R

Pacchetto R per il supporto dell'analisi di dati spazio temporali. Il pacchetto fornisce due funzioni, le quali permettono di avviare due applicazioni web, sviluppate con il framework shiny, per la visualizzazione di dati con connotazione spaziale di tipo areale o puntuale. Le applicazioni generano, a partire dai dati caricati dall'utente, due grafici interattivi per la visualizzazione della distribuzione temporale e spaziale del fenomeno che i dati descrivono. Sono previsti, all'interno dell'interfaccia utente delle applicazioni, una serie di componenti che permettono di personalizzare i grafici prodotti.

Identificazione dinamica della variazione di rigidezza flessionale in una trave metallica: indagini sperimentali e analisi numeriche

Un danneggiamento in una struttura altera le sue caratteristiche dinamiche quali frequenze naturali, indici di smorzamento e forme modali associate ad ogni frequenza naturale. In particolare, nel caso di travi, una variazione di rigidezza flessionale è in generale definibile danneggiamento se corrisponde ad una riduzione della stessa; tuttavia, anche un incremento altera i parametri dinamici della struttura. Il presente elaborato investiga l’applicazione del cambiamento nelle curvature modali per identificare un incremento di rigidezza flessionale in una trave metallica semplicemente appoggiata studiata presso il laboratorio LISG dell’Università di Bologna. Utilizzando le differenze centrali, le curvature modali sono state calcolate dalle forme modali ottenute sperimentalmente. Le modalità di calcolo utilizzate per identificare le forme modali della trave sono accomunate dall’utilizzo delle funzioni di trasferimento sperimentali ricavate sia dal rapporto tra le trasformate di output ed input, sia facendo uso della densità di potenza spettrale (PSD e CPSD). A supporto delle indagini sperimentali e per validare le modalità di calcolo utilizzate è stata modellata tramite elementi finiti una trave semplicemente appoggiata che simula la configurazione iniziale e quella irrigidita localmente in un suo tratto. I risultati numerici condotti validano le modalità utilizzate per la determinazione delle forme modali, evidenziando una forte sensibilità delle curvature modali all’irrigidimento locale. Come atteso, lato sperimentale le forme modali risultano meno accurate di quelle dedotte dalle esperienze numeriche. I risultati ottenuti evidenziano limiti e potenzialità dell’algoritmo di identificazione impiegato.

Metodi numerici per la funzione segno di matrice

Per funzioni di matrice intendiamo generalizzazioni di funzioni scalari che permettono di valutare tali funzioni anche per matrici. Esistono numerosi esempi notevoli di funzioni di matrice: tra queste la funzione esponenziale, la radice quadrata e il segno. Quest'ultima è particolarmente utile per la risoluzione di particolari equazioni matriciali come ad esempio le equazioni di Sylvester e le equazioni di Riccati. In questo elaborato introdurremo il concetto di funzione di matrice per poi soffermarci proprio sulla funzione segno. Oltre che a fornire tutte le definizioni necessarie e analizzare le proprietà che ci aiuteranno a comprendere meglio questa funzione, ci interesseremo all'implementazione di algoritmi che possano calcolare o approssimare la funzione segno di matrice. Un primo metodo sfrutterà la decomposizione di Schur: supponendo di conoscere la decomposizione della matrice, e di trovarci in algebra esatta, questo metodo non fornirà un'approssimazione del segno della suddetta matrice ma l'esatto segno della stessa. Il secondo metodo che studieremo si può definire più come una famiglia di metodi. Vedremo infatti tre algoritmi diversi che però sfruttano tutti l'iterazione di Newton, opportunamente adattata al caso matriciale: il metodo di base, convergente globalmente, in cui applicheremo semplicemente questa iterazione, ed altri due che mireranno a risolvere problemi distinti del metodo di base, ovvero il numero di iterazioni necessarie per giungere alla convergenza (introducendo il concetto di riscaling) e l'alto costo computazionale (sacrificando però la convergenza globale). Grazie all'aiuto di Matlab analizzeremo più nello specifico l'efficienza dei vari algoritmi descritti, ed infine vedremo più nello specifico come utilizzare la funzione segno di matrice per risolvere le equazioni algebriche di Sylvester e di Riccati.

Analisi di giochi di parole bilingue e allusioni: il caso del programma russo Ciao, 2020! e Ciao, 2021!

Il presente elaborato ha l’obiettivo di analizzare il fenomeno dei giochi di parole, in particolar modo quelli bilingue, e le allusioni, andandone a definire i tipi, le funzioni, gli usi e le caratteristiche. L’analisi è stata eseguita prendendo come riferimento alcuni esempi dei programmi russi Ciao, 2020! e Ciao, 2021!, in cui l’uso della lingua italiana svolge un ruolo fondamentale. L’intento è quello di comprendere più a fondo il funzionamento dei mezzi e strumenti per creare l’effetto comico, tenendo conto anche della cultura di un popolo: l’uso innovativo della lingua straniera per creare giochi di parole bilingue, le allusioni culturospecifiche russe e il modo in cui queste vengono utilizzate per avere un effetto sul pubblico sono alla base dell’unicità e originalità di questo elaborato. Inoltre, viene anche analizzata la risposta dell’audience italiana ai tentativi di fare umorismo, studiata sulla base di fenomeni come il failed humour e i culture bumps, cercando di dare una motivazione a tale reazione.

Electrical Impedance Tomography: strategie algoritmiche per il problema inverso

La tomografia ad impedenza elettrica è un metodo di imaging relativamente nuovo che ha suscitato interesse in un ampia gamma di discipline, la sua portabilità, sicurezza e basso costo suggeriscono che potrebbe risolvere diversi problemi clinici. Matematicamente il problema dell'EIT può essere suddiviso in un problema in avanti e uno inverso. Il problema forward, si basa su un'equazione differenziale parziale ellittica, e definisce l'insieme delle tensioni misurate a partire da una distribuzione nota di conducibilità. Il problema inverso è modellato come un problema dei minimi quadrati non lineare, in cui si cerca di ridurre al minimo la differenza tra le tensioni misurate e quelle generate dalla conducibilità ricostruita. Il problema inverso è mal posto e porta ad una soluzione che non dipende con continuità dai dati e quindi le tecniche di ricostruzione richiedono l'introduzione di un termine di regolarizzazione. L'elaborato si concentra sulle strategie algoritmiche per il problema inverso e sulla realizzazione di un'interfaccia grafica in grado di settare i parametri e confrontare velocemente i metodi proposti. Il progetto nella sua visione più ampia vorrebbe utilizzare le strategie algoritmiche proposte per dati ottenuti dal sistema prodotto dall'Università di Bologna nel laboratorio di Ingegneria Cellulare e Molecolare (ICM) di Cesena. I risultati dei test consentono di delineare quali siano gli strumenti migliori per poter arrivare ad una corretta ricostruzione dell'immagine nonché suggerire possibili miglioramenti della configurazione hardware al fine arrivare a risultati sperimentali completi.