MOND e TeVeS: teorie alternative all'ipotesi di materia oscura

In questa tesi descriviamo due teorie, la MOND e la TeVeS, che si pongono come alternativa all’ipotesi dell’esistenza della materia oscura. Seguendo l’ordine storico degli eventi, nel primo capitolo presentiamo i dati sperimentali e le considerazioni teoriche che hanno convinto gli scienziati del ’900 che la massa osservata nell’Universo sia minore della massa dinamica inferita dalla fisica newtoniana e dalla Relatività Generale. Il primo tentativo di risolvere questo problema è consistito nell’ipotizzare l’esistenza di una materia non ancora osservata, divenuta nota come “materia oscura”. Affrontando le questioni sollevate dalle curve di rotazione delle galassie a spirale, dalla relazione di Tully-Fisher, dalla legge di Freeman e dalle fluttuazioni della radiazione cosmica di fondo, vedremo come questa ipotesi si sia evoluta per tenere conto dei risultati sperimentali, a partire dal modello della sfera isoterma fino al modello ΛCDM, e i problemi che essa non risolve. Nel secondo capitolo descriviamo la MOND, una modifica della dinamica newtoniana nata con l’obiettivo di ridurre la quantità di materia oscura necessaria per descrivere l’Universo. Il problema della massa nascosta può, infatti, essere dovuto a un’incompleta comprensione delle leggi della fisica e, confrontando la MOND con i dati sperimentali presentati nel primo capitolo, vedremo come essa riesca a descrivere la dinamica su scale galattiche ed extragalattiche. Concluderemo il capitolo mostrando una densità di lagrangiana capace di riprodurre la formula fenomenologica della MOND. Per affrontare le questioni cosmologiche è necessario disporre di una teoria relativistica che recuperi la MOND nel limite di campo debole. Nel terzo capitolo trattiamo quindi la TeVeS, riportando le azioni che permettono di derivare le equazioni dei campi di tale teoria. Dopo averne studiato i limiti relativistici e non relativistici, accenneremo a come essa permetta di estendere il paradigma MOND in campo cosmologico.

Realizzazione di un dispositivo elettromeccanico per la simulazione e per la ricerca di una soluzione stabile del sistema dinamico del pendolo inverso

Obiettivo della tesi è la realizzazione di un dispositivo in grado di riprodurre il sistema del pendolo inverso e di trovare soluzioni vicine alla posizione di equilibrio stabile. Verranno ricavate le equazioni del moto che descrivono il sistema attraverso la meccanica Lagrangiana. Una volta integrate numericamente le equazioni, si procederà con la ricerca di una funzione di controllo per mantenere in equilibrio il sistema: l'efficacia della soluzione verrà valutata graficamente, senza approfondire l'approccio proveniente dalla teoria del controllo che ne è alla base. Infine il sistema verrà realizzato praticamente ed utilizzeremo le stesse funzioni studiate in precedenza.

Studio di termoresistenza di lieviti fermentativi

In anni recenti il potenziale degradativo dei lieviti nelle bevande ha assunto un’importanza crescente a causa degli importanti danni economici ad essi associati e i produttori sono sempre più attenti a queste problematiche, anche in relazione alla tendenza di ridurre i trattamenti termici, in una strategia di risparmio energetico e di riduzione del danno termico organolettico. L’obiettivo dell’elaborato è stato quello di testare la termoresistenza di diversi ceppi di lieviti che possono costituire un rischio per bevande di fantasia: sette appartenenti alla specie Saccharomyces cerevisiae, tre Zygosaccharomyces, un ceppo di Saccharomycodes ludwigii, uno di Schizosaccharomyces pombe e uno di Kluyveromyces marxianus. Le prove di termoresistenza sono state condotte in vitro utilizzando terreno di coltura impiegando temperature di 55°C, 60°C e 65°C e i dati sono stati modellati con l’equazione di Weibull per ottenere le curve di morte termica dei diversi ceppi. Questo modello permette di tenere conto dell’approccio vitalistico dell’interazione tra temperatura e cellula e descrive l’inattivazione microbica come risultato del fallimento delle cellule nel contrastare le condizioni ostili dovute all’alta temperatura. I risultati hanno dimostrato che i ceppi erano caratterizzati da termoresistenza molto variabile. In generale, tra le specie non Saccharomyces, i più resistenti erano K. marxianus e Sch. Pombe mentre tra i Saccharomyces il più resistente era il ceppo SPA, isolato in uno stabilimento di bevande e responsabile di un incidente industriale che ha portato all’alterazione di oltre 500000 bottiglie di bibite gassate. Questo screening preliminare per la valutazione della termoresistenza ad un potenziale trattamento industriale ha permesso di individuare i lieviti più resistenti che saranno poi oggetto di un successivo studio in cui verranno tenuti presenti altri fattori tecnologici e di prodotto per poi potersi muovere in un ambiente industriale.

Impianti idroelettrici per la produzione di energia

L'energia idroelettrica è una fonte di energia alternativa e rinnovabile che sfrutta il moto dell'acqua, generato grazie all'energia potenziale presente tra due bacini posti a quote diverse per convertire l'energia meccanica in elettrica attraverso un alternatore collegato a turbina. Gli impianti si classificano in: impianti ad acqua fluente, a deflusso regolato, ad accumulo tramite pompaggio. Le turbine idrauliche sono quei dispositivi meccanici in grado di convertire l'energia cinetica in energia meccanica. Fra tutte studieremo la Pelton, la Francis e la Kaplan e i loro criteri di scelta. I grandi impianti hanno un notevole impatto ambientale, ecco perché la nuova tecnologia si basa sul mini idroelettrico; quest'ultimo dal punto di vista economico è competitivo rispetto alle altre fonti rinnovabili ed ai combustibili fossili.

Programmazione ad Agenti e Pianificazione: AgentSpeak(PL) come caso di studio

In questa tesi si discutono inizialmente i concetti chiave di agente e sistema multi-agente e si descrivono in ogni dettaglio il linguaggio di programmazione AgentSpeak(L) e la piattaforma Jason, fornendo le basi per poter programmare con il paradigma AOP. Lo scopo centrale di questa tesi è quello di estendere il modello di pianificazione dell’interprete di AgentSpeak(L), considerato come caso specifico, con un approccio che può essere integrato in qualsiasi linguaggio di programmazione ad agenti. Si espone un’evoluzione di AgentSpeak(L) in AgentSpeak(PL), ossia la creazione ed esecuzione di piani automatici in caso di fallimento attraverso l'uso di un algoritmo di planning state-space. L'approccio integrativo modifica il Ciclo di Reasoning di Jason proponendo in fase di pianificazione automatica un riuso di piani già esistenti, atto a favorire la riduzione di tempi e costi nel long-term in un sistema multi-agente. Nel primo capitolo si discute della nozione di agente e delle sue caratteristiche principali mentre nel secondo capitolo come avviene la vera e propria programmazione con AgentSpeak(L). Avendo approfondito questi argomenti base, il terzo capitolo è incentrato sull’interprete Jason e il quarto su una migliore estensione dell'interprete, in grado di superare i limiti migliorando le performance nel tempo. Si delineano infine alcune considerazioni e ringraziamenti nel quinto e ultimo capitolo. Viene proposta con scrittura di carattere divulgativo e non ambiguo.

Analisi neurocomputazionale dell'integrazione multisensoriale in soggetti neurotipici e sofferenti di disturbi dello spettro autistico

L'obiettivo prefissato è quello di sviluppare una rete neurale modificando un modello preesistente che permetta di analizzare e comprendere in termini matematici i processi neurali alla base dell'integrazione multisensoriale in soggetti sofferenti di disturbo dello spettro autistico confrontandoli con soggetti neurotipici, concentrandosi sul ruolo delle sinapsi feedforward (dirette dalle aree unisensoriali alla multisensoriale).

Il crowdfunding come forma alternativa ed innovativa al finanziamento di una start-up: il caso Look Ahead

Il seguente percorso di tesi si articola in due parti. Nella prima si andranno ad illustrare le varie possibili fonti di finanziamento alle quali uno o più imprenditori potranno rivolgersi nella creazione di una nuova impresa, con una attenzione particolare a quello che è il crowdfunding, o finanziamento collettivo, considerato una alternativa valida e innovativa alle forme tradizionali per raccogliere i capitali necessari. Nella seconda parte sarà presentata la startup italiana Look Ahead, di cui il sottoscritto ne rappresenta una delle menti, come esempio di una startup che ha scelto di usufruire di questo particolare tipo di finanziamento. In particolare, ne sarà ricostruito l’intero Business Plan redatto in sede accademica, in modo da mettere in evidenza le caratteristiche del prodotto offerto, il segmento di mercato servito, il modello di business e l’analisi finanziaria.

Progetto di servizi multimediali in sistemi di Crowd Sensing

Nell’ambito delle Smart City si rivela di fondamentale importanza ottenere quante più informazioni possibili dalla popolazione locale. In questo scenario sono di utilizzo strategico sistemi di CrowdSensing e soprattutto di Mobile CrowdSensing per raccogliere informazioni dalla popolazione autoctona. Su queste basi nasce e si sviluppa il sistema ParticipAct dell’Università di Bologna. A differenza dei tradizionali sistemi di Mobile CrowdSensing, ParticipAct attua il modello del così detto “Mobile CrowdSensing Partecipativo”, che vede l’utente non solo come fonte di dati passivi, ma come fonte di informazioni di qualsiasi genere, da questionari a fotografie. Questa Tesi di laurea vuole mettere in evidenza come l’integrazione di dati multimediali, in particolare i Video, possono essere sfruttati come risorsa per Smart City grazie alla loro particolare natura composta. Viene poi analizzata la particolare architettura del sistema ParticipAct e come è stato possibile implementare la richiesta di Task contenenti azioni di tipo Video in un sistema basato su interazione Client - Server.

Un esempio di Economia Circolare: il riciclo e il riuso dei dispositivi Tessili per Sala Operatoria

Negli ultimi decenni l’attenzione alle tematiche della sostenibilità ambientale e dell’inquinamento globale da parte dell’opinione pubblica e delle imprese è in costante aumento. Una tra le principali fonti di inquinamento è costituita dai rifiuti, e di conseguenza, la loro gestione e il loro smaltimento sono diventate una priorità, non solo per le istituzioni, ma anche per le imprese e per i cittadini. Inoltre la crescita della domanda delle risorse presenti in natura è in costante aumento e l’approvvigionamento di esse si è rivelato essere invece soggetto a significativi limiti. In questo attuale contesto quindi, il modello economico lineare fino ad oggi utilizzato, “take-make-dispose”, non risulta più idoneo. Si è sviluppato così il concetto di “Economia Circolare”. L’obiettivo di questa economia è quello di eliminare il concetto di scarto, il rifiuto deve essere considerato una vera e propria risorsa. In questo sistema tutte le attività, a partire dall’ estrazione fino ad arrivare alla produzione, sono organizzate in modo che i rifiuti di uno diventino risorse per un altro. L’obiettivo della tesi è quello di applicare il concetto di Economia Circolare al mercato dei dispositivi tessili per sala operatoria (DTSO), utilizzando la valutazione del ciclo di vita di un prodotto (analisi LCA) in modo da individuare le fasi più critiche e poter operare dei miglioramenti. Dopo essere stati sottoposti a 70 cicli di lavaggio e sterilizzazione i dispositivi TTR (Tessuti Tecnici Riutilizzabili) non sono più idonei ad essere utilizzati in ambito ospedaliero e vengono smaltiti in discarica , così come vengono smaltiti altri miliardi di rifiuti ogni giorno.Questi tessuti, seppur non conformi agli standard qualitativi richiesti dalle norme ospedaliere, possono essere riciclati o riutilizzati in prodotti di altro tipo. L’obiettivo di questo lavoro è quello di reimmettere questi dispositivi in un ciclo di vita di un nuovo prodotto, in ottica appunto di economia circolare.

Analisi e ottimizzazione del flusso di approvvigionamento in una produzione su commessa: il caso CT Pack S.r.l.

La tesi ha l'obiettivo di analizzare e ottimizzare i flussi di approvvigionamento in un'azienda che produce su commessa: CT Pack S.r.L, specializzata nella realizzazione di macchine automatiche per il packaging di biscotti, gelato e cioccolato. Per raggiungere l'obiettivo si è preso come riferimento il modello proposto dal BPR (Business Process Reengineering): sono stati analizzati i principali attori coinvolti, in particolare fornitori e magazzino, mediante l'uso di KPI definiti ad hoc. Sulla base di questi sono stati individuati due processi critici: il primo riguarda la gestione del magazzino, che presenta un'elevata quantità di codici non movimentati anche a causa del processo di gestione del materiale avanzato al termine di ciascuna commessa; il secondo riguarda il materiale a consumo, che impiega i magazzinieri per un tempo eccessivo, è caratterizzato da giacenze per il 30% non movimentate e da supermarket collocati in officina ridondanti e caratterizzati da bassi tassi di utilizzo (anche sotto il 50%). Per risolvere questi problemi ed effettuare una riprogettazione si fa affidamento agli strumenti proposti dal project management: si imposta quindi un progetto che ha l'obiettivo di ridurre nel breve periodo il valore di magazzino mediante lo smaltimento attraverso diverse vie di codici non utilizzati e agisce nel lungo periodo per evitare che le criticità si ripropongano. Mediante la riprogettazione della gestione dei resi di produzione si prevede un maggior controllo, grazie al lavoro congiunto di ufficio tecnico e ufficio acquisti. La nuova gestione del materiale a consumo ha in se alcune delle tecniche proposte dalla lean production (il kanban, per esempio) e integra il fornitore nella catena di approvvigionamento, garantendo un maggior controllo sulle quantità, un risparmio di circa 7 h/mese di lavoro per i magazzinieri e una riduzione delle giacenze del 46%.

Effetto di olio essenziale di Satureja Montana ed estratto di Cotinus coggygria sulle curve di morte termica di Listeria monocytogenes e Saccharomyces cerevisiae

Negli ultimi anni, è aumentato notevolmente l'interesse per piante e prodotti vegetali, e composti da essi derivati od estratti, in alternativa ai conservanti chimici per prevenire o ritardare lo sviluppo microbico negli alimenti. Questo deriva dalla percezione negativa, ormai diffusa a livello pubblico, nei confronti di sostanze di sintesi che sono ampiamente utilizzate come conservanti nell’industria alimentare. Sono stati effettuati diversi studi sull’attività antimicrobica di questi composti negli alimenti, anche se il loro utilizzo a livello industriale è limitato. Ciò dipende dalla difficile standardizzazione di queste sostanze, dovuta alla variabilità della matrice alimentare che ne può alterarne l’attività antimicrobica. In questa sperimentazione si sono utilizzati l’olio essenziale di Sateureja montana e l’estratto di Cotinus coggygria e sono state fatte delle prove preliminari, determinandone le componenti volatili tramite gas-cromatografia abbinata a microestrazione in fase solida. Sono stati selezionati un ceppo di Listeria monocytogenes (Scott A) e uno di Saccharomyces cerevisiae (SPA), e sono stati utilizzati per realizzare curve di morte termica in sistema modello e in sistema reale. Dai risultati ottenuti si può affermare che Satureja montana e Cotinus coggygria possono essere presi in considerazione come antimicrobici naturali da impiegare per la stabilizzazione di alimenti, nonché per ridurre l’entità dei trattamenti termici atti a salvaguardare le proprietà nutrizionali ed organolettiche di alimenti, come ad esempio succhi di frutta, garantendone la sicurezza e qualità microbiologica.

Sviluppo e ottimizzazione di un velivolo senza pilota

L’obiettivo di questo trattato è lo studio di un aeromobile militare a pilotaggio remoto (APR), volto ad una sua conversione per usi prettamente civili: il velivolo in questione è il Predator Canard-Long. Tale studio è basato sulle problematiche dovute alla sostituzione del propulsore originale Rotax 914 (4 cilindri da 115 CV del peso di 95 kg) con un Peugeot HDi Fap (4 cilindri da 175 CV del peso di 240 kg). L’aeromobile in questione dovrà svolgere compiti di monitoraggio e sorveglianza di siti archeologici, dunque si richiederà un alto livello di autonomia affinché le missioni vengano svolte nel modo più efficiente possibile. Preso un modello pre-esitente, costruito al CAD tramite il software Solidworks2016, è stato studiato il comportamento del velivolo tramite simulazioni CFD. Data l’insufficienza della portanza a causa dell’aggiunta di peso dovuta alla rimotorizzazione, sono state provate diverse soluzioni atte a colmare lo scompenso. Scelta come soluzione migliore l’installazione di alette canard e la modifica del profilo aerodinamico, è stato infine necessario verificare che la risposta ai comandi dell’aeromobile modificato soddisfacesse le richieste desiderate.

Analisi del ruolo del porto di Ravenna nell’import/export di prodotti ortofrutticoli

L'elaborato tratta il ruolo del porto di Ravenna nell'import/export di prodotti ortofrutticoli. Dopo una accurata analisi dei dati, lo studio delle rotte marittime e l'uso di Dbms per gestire un database complesso, si propone un modello di programmazione lineare intera su un problema di ship routing, ship scheduling e full ship-load balancing. L'obiettivo è di massimizzare il profitto derivante da un prezzo di vendita e soggetto ai vari costi della logistica. Il modello sceglie la rotta ottimale da effettuare, in termini di ordine di visita dei vari porti che hanno un import e un export dei prodotti studiati. Inoltre, è in grado di gestire lo scorrere del tempo, fornendo come soluzione il giorno ottimale di visita dei vari porti considerati. Infine, trova la ripartizione ottima del numero di container a bordo della nave per ogni tipologia di prodotto.

Sostenibilità della Supply Chain e indici di misurazione delle performance

Il presente elaborato si propone di analizzare la tematica della sostenibilità nella gestione della Supply Chain, con particolare attenzione alla misurazione delle performance attraverso indicatori KPI e modelli multidimensionali. Nella prima sezione, dopo un’introduzione sul tema dello sviluppo sostenibile, si offre una descrizione dello scenario attuale e degli approcci alla sostenibilità, evidenziandone i principi guida e le sfide future, mentre in seguito vengono analizzate le pressioni esercitate dagli stakeholder per l’implementazione di pratiche sostenibili. La seconda porzione dell’elaborato è incentrata sull’introduzione della sostenibilità nel Supply Chain Management, caratterizzandone l’evoluzione dalla tradizionale gestione della catena di fornitura e mettendone in luce opportunità e barriere. Successivamente, la terza parte si propone di entrare nel dettaglio in merito alle pratiche adottabili nella filiera finalizzate all’implementazione di un management sostenibile, proponendo un modello concettuale per l’analisi delle varie attività, dalla progettazione di prodotto fino alla logistica inversa. Un’ulteriore tematica approfondita è rappresentata dall’impatto di queste pratiche sostenibili sulle performance economiche aziendali, proponendo diversi approcci. Nell’ultima sezione dell’elaborato il focus è incentrato sulla misurazione delle performance di sostenibilità, dove ne vengono indagate opportunità e difficoltà, proponendo in seguito un modello teorico. Contestualmente vengono quindi esposti diversi KPI e modelli multidimensionali, i quali, con modalità e prospettive diverse, contribuiscono alla misurazione delle prestazioni di sostenibilità: in particolare viene fatto riferimento agli indici caratteristici del GRI e all’utilizzo combinato della balanced scorecard e dell’analytic hierarchy process.

Modellistica e controllo di attuatori idraulici

La tesi tratta della modellistica e del controllo di un attuatore idraulico con valvola a quattro vie. Inizialmente si definiscono le grandezze e le formule fondamentali per descrivere un sistema idraulico e costruirne il modello matematico. Successivamente si ricava il modello non lineare del sistema nello spazio degli stati, quindi lo si linearizza per poterlo descrivere e studiare anche tramite funzioni di trasferimento. Si ricava quindi, utilizzando anche Matlab e Simulink, il controllo da applicare al modello linearizzato e si testa il comportamento del sistema in risposta a diversi segnali di ingresso. Infine si applica lo stesso controllore al sistema non lineare e si confrontano i due diversi comportamenti.