La risposta torsionale non lineare di strutture asimmetriche in pianta

Il lavoro principale di questa tesi è stato quello di fornire gli spettri di particolari coefficienti, detti Magnification Factors, da utilizzare in associazione con gli spettri degli spostamenti già forniti dalla normativa quando si ha a che fare con strutture eccentriche a 3 gradi di libertà per ricavare una prima stima di alcuni punti notevoli di tali strutture (spostamenti longitudinali del centro di massa, del lato flessibile e del lato rigido). In particolare tali Magnification Factors, che dipendono esclusivamente da parametri fisici della struttura (i.e. Ωθ, ξ, e, TL, R), vanno moltiplicati per il valore di spostamento spettrale ricavato dalla normativa entrando nello spettro degli spostamenti con il periodo longitudinale disaccoppiato (TL) della struttura. Il risultato di questo prodotto è lo spostamento longitudinale del punto notevole della struttura eccentrica cui ogni Magnification Factors si riferisce. Gli spettri dei Magnification Factors sono stati ricavati attraverso l’integrazione diretta dell’equazione del moto del sistema dinamico ad 1 piano a 3 gradi di libertà.

Segmentazione e categorizzazione di oggetti mediante immagini depth e deep learning

Questo lavoro è iniziato con uno studio teorico delle principali tecniche di classificazione di immagini note in letteratura, con particolare attenzione ai più diffusi modelli di rappresentazione dell’immagine, quali il modello Bag of Visual Words, e ai principali strumenti di Apprendimento Automatico (Machine Learning). In seguito si è focalizzata l’attenzione sulla analisi di ciò che costituisce lo stato dell’arte per la classificazione delle immagini, ovvero il Deep Learning. Per sperimentare i vantaggi dell’insieme di metodologie di Image Classification, si è fatto uso di Torch7, un framework di calcolo numerico, utilizzabile mediante il linguaggio di scripting Lua, open source, con ampio supporto alle metodologie allo stato dell’arte di Deep Learning. Tramite Torch7 è stata implementata la vera e propria classificazione di immagini poiché questo framework, grazie anche al lavoro di analisi portato avanti da alcuni miei colleghi in precedenza, è risultato essere molto efficace nel categorizzare oggetti in immagini. Le immagini su cui si sono basati i test sperimentali, appartengono a un dataset creato ad hoc per il sistema di visione 3D con la finalità di sperimentare il sistema per individui ipovedenti e non vedenti; in esso sono presenti alcuni tra i principali ostacoli che un ipovedente può incontrare nella propria quotidianità. In particolare il dataset si compone di potenziali ostacoli relativi a una ipotetica situazione di utilizzo all’aperto. Dopo avere stabilito dunque che Torch7 fosse il supporto da usare per la classificazione, l’attenzione si è concentrata sulla possibilità di sfruttare la Visione Stereo per aumentare l’accuratezza della classificazione stessa. Infatti, le immagini appartenenti al dataset sopra citato sono state acquisite mediante una Stereo Camera con elaborazione su FPGA sviluppata dal gruppo di ricerca presso il quale è stato svolto questo lavoro. Ciò ha permesso di utilizzare informazioni di tipo 3D, quali il livello di depth (profondità) di ogni oggetto appartenente all’immagine, per segmentare, attraverso un algoritmo realizzato in C++, gli oggetti di interesse, escludendo il resto della scena. L’ultima fase del lavoro è stata quella di testare Torch7 sul dataset di immagini, preventivamente segmentate attraverso l’algoritmo di segmentazione appena delineato, al fine di eseguire il riconoscimento della tipologia di ostacolo individuato dal sistema.

Progettazione e realizzazione di un'applicazione per l'estrazione, l'analisi e l'integrazione di social data e linked open data.

Studio ed analisi delle principali tecniche in ambito di Social Data Analysis. Progettazione e Realizzazione di una soluzione software implementata con linguaggio Java in ambiente Eclipse. Il software realizzato permette di integrare differenti servizi di API REST, per l'estrazione di dati sociali da Twitter, la loro memorizzazione in un database non-relazionale (realizzato con MongoDB), e la loro gestione. Inoltre permette di effettuare operazioni di classificazione di topic, e di analizzare dati complessivi sulle collection di dati estratti. Infine permette di visualizzare un albero delle "ricondivisioni", partendo da singoli tweet selezionati, ed una mappa geo-localizzata, contenente gli utenti coinvolti nella catena di ricondivisioni, e i relativi archi di "retweet".

Diagnosi di strutture lignee e murarie: Il contributo delle indagini sperimentali

Conoscere dal punto di vista tecnico-costruttivo una costruzione storica è fondamentale per un’attendibile valutazione della sicurezza strutturale attuale e per la scelta di un eventuale ed efficace intervento di miglioramento. Per le strutture di interesse storico appartenenti al patrimonio culturale, ma anche per gli altri edifici, risulta difficile conoscere le origini del manufatto, le modifiche avvenute nel corso del tempo dovute a fenomeni di danneggiamento derivanti dal peggioramento delle condizioni dei materiali e dall’avvenimento di eventi calamitosi a causa della mancanza di documentazione storica. La mia tesi e’ focalizzata su tecniche di indagine non distruttive in modo da migliorare la conoscenza della struttura per poi intervenire in modo corretto. L’obiettivo del lavoro svolto e’ stato indagare il contributo delle indagini sperimentali alla diagnosi di edifici storici, in particolare elementi strutturali lignei e di muratura applicando indagini sperimentali non distruttive. Ho dapprima descritto lo stato dell’arte delle varie prove effettuate attraverso la lettura e il confronto di diversi articoli tecnico-scientifici riportando gli obiettivi, la strumentazione impiegata e i risultati ottenuti dalle diverse prove. Ho poi effettuato uno studio del materiale legno utilizzato per le costruzioni, riportandone la descrizione dal punto di vista strutturale, le caratteristiche fisiche, chimiche e meccaniche, le diverse classificazioni e le fasi di lavorazione. Quindi ho analizzato alcune delle prove non distruttive necessarie per una diagnosi di elementi lignei. Per ogni prova vengono riportate alcune caratteristiche, il principio di funzionamento e la strumentazione utilizzata con eventuali software annessi. Negli ultimi 3 capitoli si procede con l’applicazione sperimentale delle prove in sito o in laboratorio precedentemente descritte, in diversi casi di studio; in particolare 1) l’applicazione della prova di compressione assiale su alcuni provini ricavati da un elemento strutturale in legno antico per ricavare vari parametri fisici e meccanici; 2) lo studio di una capriata di legno presente in laboratorio, recuperata dopo il sisma dell’Emilia del 2012, iniziando dall’ispezione visuale classificazione a vista degli elementi sulla base di quanto riportato nella normativa per poi analizzare i dati delle varie prove non distruttive eseguite. 3) Infine è applicata la prova termografica ad un edificio di interesse storico, come l’ex Monastero di Santa Marta, situato in via S. Vitale a Bologna per indagare la tipologia strutturale, le tecnologie costruttive impiegate nelle varie epoche di questo complesso.

Strumenti informatici per l'analisi spaziale: Ipotesi di applicazione allo studio della densita e dei tessuti urbani

Questa tesi si prepone di indagare quali ricadute positive potrebbe avere, nei confronti della pianificazione urbanistica e il monitoraggio a scala territoriale, l’applicazione delle tecnologie di analisi spaziale assistita dal computer, con particolare riferimento all’analisi tipomorfologica delle forme insediative, sia a scala di quartiere (distinguendo tessuto compatto, a grana fine, grossa, ecc.), che a scala urbana (analisi della densità e delle aggregazioni extraurbane). A tal fine sono state elaborate due ipotesi applicative delle recenti tecnologie di elaborazione object-oriented, sperimentandole sulle principali città romagnole che si collocano sull’asse della via Emilia.

Il sillogismo e il “Gioco della Logica” di L. Carroll

La tesi è suddivisa in due capitoli. Nel primo capitolo è data una definizione di sillogismo, la sua classificazione nelle 4 figure e la sua interpretazione mediante il calcolo delle classi. Inoltre è spiegato il calcolo predicativo monadico ed è dimostrata la sua decidibilità. Nel secondo capitolo è illustrato il “Gioco della Logica” di L. Carroll descrivendo le regole del gioco e riportando diversi esempi. Inoltre è evidenziata una discrepanza nell'interpretazione del quantificatore universale tra la logica di Carroll e la logica moderna.

Impatto delle tecnologie Smart City sulla città di Cesena

La presente tesi ha lo scopo di censire e classificare le principali attività di Cesena come Smart City, con particolare riguardo a quelle che hanno una componente tecnologica predominante. La tesi presenta le definizioni concetto di Smart City e le diverse articolazioni in ambiti che questo prevede. Scelta come chiave di lettura la classificazione più utilizzata in ambito internazionale, sono stati approfonditi i sei ambiti di azione in cui questa si articola: Smart Economy, Smart People, Smart Governance, Smart Mobility, Smart Enviroment, Smart Living. Inoltre, la tesi presenta le principali metodologie di valutazione utilizzate per comparare la smartness delle città, in contesto italiano ed europeo, nonché i criteri con cui queste valutazioni sono state applicate. Nel testo viene dato rilievo agli aspetti più legati alle nuove tecnologie ICT, viste come sostegno ed accelerante nei progetti attuati verso la smartness.

High-energy view of radio galaxies: prospects for the new generation of Cherenkov telescopes

I Nuclei Galattici Attivi (AGN) sono sorgenti luminose e compatte alimentate dall'accrescimento di materia sul buco nero supermassiccio al centro di una galassia. Una frazione di AGN, detta "radio-loud", emette fortemente nel radio grazie a getti relativistici accelerati dal buco nero. I Misaligned AGN (MAGN) sono sorgenti radio-loud il cui getto non è allineato con la nostra linea di vista (radiogalassie e SSRQ). La grande maggioranza delle sorgenti extragalattiche osservate in banda gamma sono blazar, mentre, in particolare in banda TeV, abbiamo solo 4 MAGN osservati. Lo scopo di questa tesi è valutare l'impatto del Cherenkov Telescope Array (CTA), il nuovo strumento TeV, sugli studi di MAGN. Dopo aver studiato le proprietà dei 4 MAGN TeV usando dati MeV-GeV dal telescopio Fermi e dati TeV dalla letteratura, abbiamo assunto come candidati TeV i MAGN osservati da Fermi. Abbiamo quindi simulato 50 ore di osservazioni CTA per ogni sorgente e calcolato la loro significatività. Assumendo una estrapolazione diretta dello spettro Fermi, prevediamo la scoperta di 9 nuovi MAGN TeV con il CTA, tutte sorgenti locali di tipo FR I. Applicando un cutoff esponenziale a 100 GeV, come forma spettrale più realistica secondo i dati osservativi, prevediamo la scoperta di 2-3 nuovi MAGN TeV. Per quanto riguarda l'analisi spettrale con il CTA, secondo i nostri studi sarà possibile ottenere uno spettro per 5 nuove sorgenti con tempi osservativi dell'ordine di 250 ore. In entrambi i casi, i candidati migliori risultano essere sempre sorgenti locali (z<0.1) e con spettro Fermi piatto (Gamma<2.2). La migliore strategia osservativa per ottenere questi risultati non corrisponde con i piani attuali per il CTA che prevedono una survey non puntata, in quanto queste sorgenti sono deboli, e necessitano di lunghe osservazioni puntate per essere rilevate (almeno 50 ore per studi di flusso integrato e 250 per studi spettrali).

Traduzione ed interpretazione delle "espressioni fisse". Una bibliografia ragionata

L’elaborato presenta una ricerca di tipo bibliografico su una serie di articoli estratti da riviste ed archivi elettronici dedicati alla traduzione, interpretazione, comunicazione, e linguistica. La ricerca vuole descrivere lo stato degli studi e delle ricerche relative alle espressioni fisse e a tutte le sottocategorie che vi appartengono: non esiste infatti un accordo unanime circa la loro definizione, classificazione ed uso all’interno della lingua. Il motivo principale che ha portato alla sua realizzazione è il fatto che le espressioni fisse sono fortemente presenti nel linguaggio quotidiano, e si tratta di segmenti composti da più parole che si presentano come un’unica unità di significato culturalmente connotate. Gli obiettivi consistono nel verificare, in primo luogo, se si fosse raggiunto un accordo circa la definizione e categorizzazione delle espressioni fisse; in secondo luogo, elencare le problematiche principali che implica la traduzione o interpretazione di un’espressione fissa; ed in terzo luogo individuare eventuali strategie o suggerimenti proposti dagli studiosi, anche in vista della formazione di traduttori ed interpreti. La prima parte dell’elaborato fornisce un inquadramento teorico dedicato alla definizione delle espressioni fisse e dei concetti di cultura e di intraducibilità. La seconda parte include la ricerca bibliografica vera e propria, e la terza parte propone: in primo luogo, alcune categorizzazioni possibili per descrivere gli articoli trovati; in secondo luogo analizza i problemi evidenziati dagli autori; ed in terzo luogo riassume le strategie e soluzioni elaborate dai diversi studiosi per agevolare traduttori e interpreti (professionisti o in formazione) nella traduzione delle espressioni fisse da una lingua-cultura a un’altra.

Lo spettro di alcuni oscillatori non commutativi

Questa tesi si occupa della teoria spettrale di certi sistemi di equazioni ordinarie chiamati oscillatori non commutativi. Dopo avere introdotto i fondamenti necessari per la teoria vengono dimostrati alcuni teoremi qualitativi sullo spettro di tali sistemi.

Curve di terzo grado nel piano e nello spazio

Si è interessati a classificare le cubiche del piano proiettivo complesso. In particolare vengono classificate le cubiche piane dimostrando che ogni cubica non singolare è proiettivamente equivalente a una cubica di equazione affine nota e che esistono infinite classi di equivalenza proiettiva per le cubiche piane non singolari. Si mostra inoltre che le cubiche piane singolari irriducibili possono essere ricondotte a due classi di equivalenza proiettive: la prima classe contiene le cubiche con un nodo, la seconda classe contiene invece le cubiche con una cuspide. Infine si studiano le proiezioni piane della cubica gobba da un suo punto, oppure da un punto esterno alla cubica.

Dinamica delle galassie a spirale e delle galassie ellittiche

In questa tesi si vuole fornire una descrizione generale delle dinamiche delle galassie ellittiche e a spirale. Nel primo capitolo si danno informazioni generali sulle grandezze che caratterizzano le galassie e come esse vengono classificate. Nel secondo capitolo si espone il concetto di sistema collisionale, si fa notare come le galassie risultino essere sistemi non collisionali e come questo porti delle semplificazioni nella trattazione di questi oggetti e ne spieghi alcune caratteristiche. Si prosegue andando a considerare le equazioni che descrivono il moto (equazione non collisionale di Boltzmann, equazioni di Jeans, teorema del viriale in forma tensoriale) e le informazioni che si possono ricavare. Nel terzo capitolo ci si concentra sulle galassie ellittiche e sulle principali leggi che le descrivono e dalle quali è possibile ottenere stime riguardo distanza e dimensioni. Il quarto e ultimo capitolo è incentrato sulle galassie a spirale e in particolare sulla dinamica del disco, e come si è giunti all'ipotesi dell'esistenza della materia oscura, e sulla dinamica dei bracci.

Caratteristiche principali dell'emissione di galassie ellittiche

In questo elaborato mi accingerò ad illustrare una concisa classificazione e descrizione della struttura delle galassie ellittiche. In seguito verranno trattati in modo più specifico i meccanismi alla base dell'emissione di questa classe di galassie, quali: corpo nero, breamsstrahlung, sincrotrone e Compton inverso.

Applicazioni mobili a supporto della mobilita elettrica: stato dell'arte e definizione di nuovi servizi per la profilazione dei consumi

Uno dei comparti industriali più importanti nel mondo è senz’altro il settore automobilistico, il quale è oggetto di particolare attenzione da parte dei governi mondiali. Infatti l’automobile è il mezzo sia urbano che extraurbano che è stato perfezionato nel tempo in base alle esigenze dell’uomo, ma bisogna anche evidenziare che in generale il settore dei trasporti è un settore industriale che negli anni non ha portato grandi innovazioni, in quanto presenta ancora la stessa tecnologia di trent’anni fa. Attualmente, grazie alle nuove normative Europee riguardanti la tutela dell’ambiente e le riduzioni di emissioni, si sta passando a nuove forme di alimentazione per ridurre le emissioni di CO2 ed evitare di utilizzare i combustibili fossili. Una valida soluzione è stata attuata attraverso i veicoli completamente elettrici (EV), dato il rendimento energetico nettamente superiore e l’assente emissione di gas inquinanti. Purtroppo gli utenti hanno ancora timore ad utilizzare i veicoli elettrici (EV): ciò avviene soprattutto per mancanza/scarsità di infrastrutture e servizi a supporto degli utenti, provocando nell’utente un’insicurezza che viene più comunemente chiamata “range anxiety” (timore che il EV non abbia autonomia sufficiente per arrivare a destinazione) e generando l’infondata idea che i EV siano utilizzabili solo in città o per i tragitti brevi. In questo documento è proposta un’applicazione la quale sarà in grado di ridurre i problemi relativi a “Driving without anxiety”. In particolare tale applicazione è in grado di rilevare la velocità media e l’accelerazione sul tratto di strada che si sta percorrendo. Attraverso il servizio di Google Direction si richiede la velocità media stimata sul medesimo tratto. L’applicazione confronta il valore reale ed il valore medio stimato, ed in base a quello fornisce una classificazione dello stile di guida dell’utente (es. Aggressivo); fornisce una stima dell’energia consumata sul tratto percorso, inserendo nel calcolo dell’energia un parametro che consente di tener conto dello stile di guida, determinato al passo precedente.

Analisi petrografica di inclusi in depositi piroclastici del Monte Vesuvio

Il lavoro svolto mira alla classificazione dei litici presi in carica dal magma durante le eruzioni del Monte Somma-Vesuvio