Termodinamica dei buchi neri e radiazione di Hawking

Questo lavoro di tesi si occupa dello studio dei buchi neri e delle loro proprietà termodinamiche da un punto di vista teorico. Nella prima parte si affronta una analisi teorico-matematica che mostra la soluzione dell’equazione di Einstein in relatività generale per un problema a simmetria sferica. Da questa soluzione si osserva la possibile presenza nell’universo di oggetti ai quali nemmeno alla luce è data la possibilità di fuggire, chiamati buchi neri. Ad ogni buco nero è associato un orizzonte degli eventi che si comporta come una membrana a senso unico: materia e luce possono entrare ma niente può uscire. E` studiata inoltre la possibile formazione di questi oggetti, mostrando che se una stella supera un certo valore critico di massa, durante la fase finale della sua evoluzione avverrà un collasso gravitazionale che nessuna forza conosciuta sarà in grado di fermare, portando alla formazione di un buco nero. Nella seconda parte si studiano le leggi meccaniche dei buchi neri. Queste leggi descrivono l’evoluzione degli stessi attraverso parametri come l’area dell’orizzonte degli eventi, la massa e la gravità di superficie. Si delinea quindi una analogia formale tra queste leggi meccaniche e le quattro leggi della termodinamica, con l’area dell’orizzonte degli eventi che si comporta come l’entropia e la gravità di superficie come la temperatura. Nella terza parte, attraverso l’utilizzo della meccanica quantistica, si mostra che l’analogia non è solo formale. Ad un buco nero è associata l’emissione di uno spettro di radiazione che corrisponde proprio a quello di un corpo nero che ha una temperatura proporzionale alla gravità di superficie. Si osserva inoltre che l’area dell’orizzonte degli eventi può essere interpretata come una misura della informazione contenuta nel buco nero e di conseguenza della sua entropia.

Meccanismi di produzione dell'energia in astrofisica

L’elaborato si propone di trattare i principali meccanismi di produzione dell’energia studiati in ambito astrofisico. L’ambiente di lavoro `e molto vasto e spazia dal “microscopico”, come le reazioni termonucleari, al “macroscopico”, come le contrazioni termodinamiche, le Supernovae, e i dischi di accrescimento. Non essendo possibile trattare tutti i meccanismi esistenti sono stati tralasciati i processi di conversione di energia, come ad esempio l’emissione di Sincrotrone, la Bremsstrahlung e l’effetto Compton Inverso, pur tenendo presente che, visti dall’esterno del sistema dove essi si verificano, tali processi possono essere considerati meccanismi che producono fotoni a spese dell’energia interna del sistema. Data la brevità del testo ci limiteremo ad affrontare solo i meccanismi relativi agli interni stellari, tralasciando per`o lo stadio finale di Supernovae. Una completa impostazione del problema richiederebbe la derivazione formale delle Equazioni fondamentali degli interni stellari che costituiscono l’insieme completo delle equazioni che governano la struttura interna delle stelle, il modo in cui l’energia viene trasportata dal core alla superficie, l’opacità e i tassi di produzione di energia. Si assume tale derivazione come già affrontata, riferendosi alle parti dei testi [5] e [6] in bibliografia che trattano questi argomenti.

Sviluppo e verifica di un framework basato su logica computazionale per la selezione dinamica di web services tramite informazioni

La presenza sempre più massiccia di fornitori di servizi basati su web service ha portato in rilievo uno dei limiti di questo approccio, l’impossibilità di rendere automatizzabili i task di ricerca, invocazione e orchestrazione dei servizi. Il raggiungimento di questo obiettivo risulta impossibile a causa della mancanza di informazioni comprensibili ad una macchina attraverso le quali un agente software può effettuare delle scelte tra vari servizi esposti. Il fallimento della “ricerca intelligente” di un servizio pubblicato sta nella stessa modellazione dei servizi. I linguaggi attualmente disponibili permettono di modellare un servizio solo dal punto di vista sintattico. Definire le operazioni proposte, il tipo di parametri accettati e il tipo di output prodotto non è sufficiente a comprendere cosa il servizio può fare. I web services semantici consentono di superare questo limite fornendo uno stack semantico, il quale ha il compito di racchiudere le informazioni relative ai servizi, il loro funzionamento e gli obiettivi raggiungibili organizzando la conoscenza in ontologie. La formalizzazione dei modelli ontologici e la loro integrazione con i servizi esistenti è uno dei problemi più interessanti che ha catturato l’attenzione di numerosi studi di settore. Negli ultimi anni numerose sono state le soluzioni proposte. Tra queste si possono considerare due principali vie di sviluppo che hanno visto un’intensa attività sperimentale. Il primo scenario è volto a modellare in maniera formale la conoscenza legata ai servizi esposti, il secondo integra i servizi già esistenti con nuove strutture semantiche in modo da conservare le infrastrutture presenti. Entrambi i filoni hanno come scopo quello di fornire la conoscenza adatta a sistemi esperti che consentano di automatizzare la ricerca dei servizi in base ai desideri dei clienti, permettendo la loro composizione dinamica basata su un’interazione utile e indipendente dai protocolli che vincolano il trasporto delle informazioni.

Analisi e progettazione di un sistema di link discovery semi-automatico nell'ambito dei Linked Open Data

Lo scopo di questo elaborato è di analizzare e progettare un sistema in grado di supportare la definizione dei dati nel formato utilizzato per definire in modo formale la semantica dei dati, ma soprattutto nella complessa e innovativa attività di link discovery. Una attività molto potente che, tramite gli strumenti e le regole del Web Semantico (chiamato anche Web of Data), permette data una base di conoscenza sorgente ed altre basi di conoscenza esterne e distribuite nel Web, di interconnettere i dati della base di conoscenza sorgente a quelli esterni sulla base di complessi algoritmi di interlinking. Questi algoritmi fanno si che i concetti espressi sulla base di dati sorgente ed esterne vengano interconnessi esprimendo la semantica del collegamento ed in base a dei complessi criteri di confronto definiti nel suddetto algoritmo. Tramite questa attività si è in grado quindi di aumentare notevolmente la conoscenza della base di conoscenza sorgente, se poi tutte le basi di conoscenza presenti nel Web of Data seguissero questo procedimento, la conoscenza definita aumenterebbe fino a livelli che sono limitati solo dalla immensa vastità del Web, dando una potenza di elaborazione dei dati senza eguali. Per mezzo di questo sistema si ha l’ambizioso obiettivo di fornire uno strumento che permetta di aumentare sensibilmente la presenza dei Linked Open Data principalmente sul territorio nazionale ma anche su quello internazionale, a supporto di enti pubblici e privati che tramite questo sistema hanno la possibilità di aprire nuovi scenari di business e di utilizzo dei dati, dando una potenza al dato che attualmente è solo immaginabile.

Wüsten, Palmen und Basare - Die cineastische Geographie des imaginierten Orients

Der Orient als geographischer Topos paust sich durch populäre Medien wie kaum ein anderer. Besonders das Kino vermag es diese Imagination aufscheinen zu lassen. Der cineastisch-imaginierte Orient existiert parallel zur Lebenswelt und konstituiert auf diese Weise eine ganz eigene Wirklichkeit. Gegenstand der Arbeit ist es die Konstruktionsprinzipien des cineastischen Orients zu entschlüsseln sowie eine dafür geeignete Analyseform zu entwickeln. Der Arbeit liegt ein Grundverständnis zugrunde, dass das Unterhaltungskino als ein besonderes Medium alltäglicher Imaginationen betrachtet und auf diese Weise Welt und Wirklichkeit generierend ist. Der empirisch-analytische Teil der Arbeit entwickelt aus tradiertem filmanalytischem Handwerkszeug eine geographische Filmlektüre. Die Analyse, bzw. Lektüre, der ausgewählten Filme durchleuchtet die vom Kino transportierten Mythen und die sich wiederholenden Narrative des cineastischen Orients. Die Lektüre orientiert sich dabei an visuellen und handlungszentrierten filmischen Topoi und liest diese als filmische Standardorte. Zudem werden existierende personengebundene Stereotype herausgearbeitet, die als Grundlage der Kreation des Anderen und als Konstruktionsprinzip des Fremden verstanden werden. Diese haben Konsequenzen für eine filmisch kommunizierte und geschaffene populäre Geopolitik und ermöglichen ein Verständnis der diskursiv-gesellschaftlichen Strukturen der Filme. Die innere Logik des cineastischen Orients ist dabei nicht nur auf Bilder oder nur auf die narrativen Elemente ausgerichtet, sondern erschließt sich aus deren Kombination. Die detaillierte Lektüre der in den Kommunikations-Prozess involvierten Sequenzen und Einstellungen zeigen schließlich, wie die globalen Bilderwelten des Kinos zum Bestandteil einer intermedial hervorgebrachten und im Laufe der Zeit gewachsenen Geographie geworden sind und welche Bedeutung und Funktion die filmimmanente Geographie für die Dramaturgie des cineastischen Orients besitzt.

Rimini. Un nuovo fronte mare. Riqualificazione del lungomare e proposta di un centro polifunzionale

Il progetto di tesi si pone come obiettivo la riqualificazione urbana del fronte mare della città di Rimini e la progettazione di un nuovo centro culturale polifunzionale. La costruzione di nuovi margini urbani, viene qui proposta secondo una reinterpretazione di un carattere tipicamente funzionale delle città di costa del litorale adriatico: la proiezione della funzione urbana oltre la linea di costa, con la costruzione di moli oltre l’edificato. “La città allunga la mano nell’acqua.” La tesi riprende questo aspetto di tipicità e propone una serie di “nuovi moli”, strutture polifunzionali destinate a incentivare quale risorsa fruitiva per il pubblico, stanziale o turistico, il rapporto col mare Adriatico. Anche in relazione a queste “proiezioni” oltre il litorale marino la tesi ha analizzato le forme dell’architettura di ultima generazione, cercando di recepirne i significati espressi attraverso la definizione formale; da qui parte il percorso della formulazione compositiva espressa nelle tavole grafiche, nelle quali si sottolinea il rapporto funzionale in relazione alla nova forma urbis e alla ricaduta sul nuovo assetto ambientale. E’, in sintesi, l’accettabilità di questo e dell’integrazione paesaggistica che la tesi vuole sostenere, attraverso il lungo percorso analitico e progettuale affrontato.

Mycelium tectonics: studio di comportamenti morfologico-costruttivi attraverso sistemi biologici e simulazioni al computer

Mycelium Tectonics è un lavoro multidisciplinare che interseca l’architettura con la biologia e con la tecnologia. Il concetto di tettonica - qui definito come il territorio in cui si costruiscono le relazioni tra l’organizzazione formale e i processi di funzionamento endogeni - viene indagato partendo da un punto di vista materico, dai limiti fisici e meccanici della materia e dalle differenze che ne possono emergere attraverso il cambio di scala. Procedendo dunque dal basso, sono stati studiati fenomeni quali l’auto-organizzazione e le intelligenze collettive, costituite da elementi con comportamenti autonomi, in cui l’organizzazione globale non è pianificata a priori ma emerge dalle interrelazioni degli elementi stessi. Si è tentato di descrivere una tettonica in cui fosse proprio la differenziazione e la variazione, di cui il sistema è intrinsecamente capace, a produrre una propria forma di organizzazione tettonica ed estetica su cui la funzionalità potesse essere mappata in modi non convenzionali. La biologia fornisce in questo diversi stimoli circa il concetto di costruire in termini di articolazione spaziale e adattabilità: in natura ogni struttura viene generata mediante processi di crescita intrinsecamente coerenti, e le relazioni che la regolano rendono impossibile scindere le parti dal tutto; una logica profondamente differente dai processi produttivi - e costruttivi – odierni, che racchiude in questo il potenziale per superarne i limiti. L’esperienza di laboratorio ha permesso un’ indagine approfondita sulle capacità esplorative e di morfogenesi del micelio: un organismo pluricellulare molto semplice formato da numerosi filamenti (ife), capaci di ramificarsi e riconnettersi tra loro per formare una rete biologica di trasporto. Le strategie messe in atto durante la crescita, poi simulate digitalmente, si sono evidenziate durante tutto il percorso di ricerca pratica, fornendo non solo motivo di dibattito teorico, quanto stimoli e possibilità a livello operativo. Partendo dagli esperimenti in vitro, lo studio si è poi soffermato sulla possibilità di far crescere il micelio (della specie Pleurotus Ostreatus) su strutture fibrose di canapa. Queste sono state simulate ed indagate digitalmente, al fine di costruire prototipi fisici da far colonizzare attraverso una crescita controllata del micelio. I modelli, lasciati essiccare, mostrano caratteristiche e performance emergenti, coerentemente alle premesse architettoniche. Considerando i risultati - seppur parziali - dell’attività teorico-sperimentale condotta, diviene necessario considerare un significato più esteso del termine sostenibilità, oltre ad un esame più approfondito delle ripercussioni a scala ecologica conseguenti l’applicazione di soluzioni qui soltanto ipotizzate.

Il senso del numero: uno studio sperimentale.

Lo scopo di questo lavoro è costruire uno strumento per valutare il senso del numero negli studenti di due scuole secondarie di primo grado, l'una che predilige una didattica di stampo tradizionale, l'altra innovativa. Dopo aver descritto il senso del numero nelle quattro componenti cognitive e comportamentali individuate si analizzano i risultati dei suddetti studenti ad un test, composto da quesiti presi dalle valutazioni nazionali INVALSI ed internazionali TIMSS, i quali conducono ad osservare se e come una di queste ultime componenti è prevalente rispetto ad un'altra, e se il senso del numero può andare perso nel corso degli anni se si privilegia un approccio formale all'aritmetica piuttosto che la creazione di ambienti di apprendimento significativi che possano stimolare la creatività, la scoperta e la coproduzione di conoscenza.

Milano. Progetto di riassetto urbano per il comprensorio "magenta - xxiv maggio - carroccio"

Il ragionamento condotto su Milano è partito dalla considerazione del rapporto architettura natura oltre alla considerazione dei tracciati principali aventi carattere strutturante. Il primo atto dell’architettura è la distribuzione pieno-vuoto.Questo significa guardare alla planimetria e rappresenta una scelta forte rispetto all’architettura contemporanea, la quale, spesso, si basa sull’immagine, quindi sulla facciata.L’attenzione è stata posta non alla facciata, ma all’architettura in profondità, riconosciuta nella città storica. Il processo razionale svolto ha portato all’articolazione delle varie parti, progettando edifici che, assieme a quelli esistenti, danno unitarietà all’impianto generale tentando una semplificazione formale attraverso la successione di volumi nuovi ed esistenti. Il procedimento condotto per la redazione del progetto ha seguito una successione razionale, non cercando direttamente l’immagine di una forma voluta, ma una successione di spazi, pieni e vuoti, in rapporto tra loro. Solo in un secondo momento si sono individuati, nella storia, i riferimenti di progetto. Il procedimento seguito, quindi, è stato influenzato, sia dall’architettura dell’illuminismo, sia dall’architettura neoclassica milanese. Lo stesso Bonicalzi chiarisce come l’attenzione non andrebbe posta agli aspetti estetici, ma agli aspetti logici dell’architettura. In questo progetto si è tentato di fare questo.

Homeorhetic assemblies: turning beehive formation dynamics into high-res tectonics

Homeorhetic Assemblies indaga le potenzialità tettoniche ed architettoniche derivanti dallo studio dei sistemi biologici decentralizzati, dei loro comportamenti e delle relazioni dinamiche con la colonia in termini di processi adattativi e costruttivi continui nel tempo. La ragione di questo interesse è radicata nei principi dell’ecologia applicata al design ed alle tecnologie di fabbricazione contemporanee, che vanno al di là della mera imitazione formale: ci si è quindi chiesto come raggiungere una spazialità complessa ed articolata, omogeneità di prestazioni ed una struttura continua caratterizzata da molti elementi aventi le stesse caratteristiche di forma e materiale. L’ecologia è lo studio di un insieme di economie, ovvero rapporti di scambio, tra un organismo ed il suo ambiente e l’efficenza dei pattern distributivi che derivano da queste relazioni sono fondamentali al fine del successo evolutivo del sistema stesso. I sistemi su cui ci si è concentrati sono caratterizzati dalla capacità di creare strutture a buon mercato (con l’uso di istruzioni semplici ed un unico materiale) e ad elevato grado di complessità ed efficienza, armonizzando l’aspetto formale con l’organizzazione materica e fisiologica. Il modello di comportamento considerato riguarda le dinamiche alla base della creazione degli alveari naturali creati dalle api millifere. Queste caratteristiche sono state codificate nella programmazione di un sistema multi agente composto da agenti autonomi in grado di interagire in un ambiente eterogeneo e capaci di depositare selettivamente elementi in una struttura composta da springs e particles, periodicamente stabilizzata ed ottimizzata. In un tale sistema, a priori sono note solo le relazioni locali per i singoli agenti ed il comportamento strutturale generale, mentre gli oggetti e gli eventi emergono in maniera non predeterminata come risultato di queste interazioni nello spazio e nel tempo. I risultati appaiono estremamente complessi ed eterogenei nella loro organizzazione spaziale, pur emergendo un set di elementi identificabili nella loro specifica singolarità (come ad esempio superfici, colonne, capriate etc...) ma che generano strutture continue, e creano grande differenziazione di densità e di disposizione dei singoli elementi all’interno della struttura. La ridondanza strutturale ottenuta è una scelta deliberata e permessa dall’automatizzazione della fase di costruzione attraverso la programmazione di robot, tramite i quali si intende realizzare un prototipo fisico delle strutture ottenute.

Grafi aleatori - il modello di Erdos-Rényi

Dopo aver dato una definizione formale per il modello di Erdos-Rényi, si dimostra che in un grafo ER il grado dei nodi (misura della connessione) risulta essere una variabile aleatoria con distribuzione binomiale, mentre il clustering (misura della densità di archi a livello locale) tende a zero. Successivamente si determinano le funzioni soglia per alcune proprietà monotone particolarmente significative, consentendo così di descrivere diverse configurazioni possibili per un grafo ER al variare dei suoi parametri. Infine, si mostra come si possano utilizzare i grafi ER per modellizzare la diffusione di una malattia infettiva all’interno di una popolazione numerosa.

Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields

La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.

Embodied computation and life: building blocks for open-ended evolution

Il presente lavoro si propone di sviluppare una analogia formale tra sistemi dinamici e teoria della computazione in relazione all’emergenza di proprietà biologiche da tali sistemi. Il primo capitolo sarà dedicato all’estensione della teoria delle macchine di Turing ad un più ampio contesto di funzioni computabili e debolmente computabili. Mostreremo quindi come un sistema dinamico continuo possa essere elaborato da una macchina computante, e come proprietà informative quali l’universalità possano essere naturalmente estese alla fisica attraverso questo ponte formale. Nel secondo capitolo applicheremo i risultati teorici derivati nel primo allo sviluppo di un sistema chimico che mostri tali proprietà di universalità, ponendo particolare attenzione alla plausibilità fisica di tale sistema.