Analisi della risposta dinamica di opere di protezione dalla caduta massi nella provincia autonoma di Bolzano

Nel contesto della progettazione di interventi di difesa da frane di crollo, la tesi è rivolta allo studio del comportamento di opere di protezione dalla caduta massi, con particolare riguardo alle barriere paramassi, strutture metalliche progettate per arrestare blocchi in caduta lungo un versante. Specificamente, il comportamento altamente non lineare di queste strutture è stato osservato mediante modellazione numerica agli elementi finiti con codice di calcolo STRAUS 7 v.2.3.3. La formulazione dei modelli è stata sviluppata a partire dai dati contenuti nel Catasto delle opere di protezione (VISO), recentemente messo a punto dalla Provincia Autonoma di Bolzano, nel contesto di una più ampia procedura di analisi della pericolosità di versante in presenza di opere di protezione, finalizzata ad una appropriata gestione del rischio indotto da frane di crollo. Sono stati messi a punto una serie di modelli agli elementi finiti di alcune tra le tipologie più ricorrenti di barriere paramassi a limitata deformabilità. Questi modelli, sottoposti ad una serie di analisi dinamiche e non-lineari, intese a simulare l’impatto di blocchi aventi massa e velocità nota, hanno permesso di osservare la risposta complessiva di queste strutture in regime dinamico identificando i meccanismi di rottura a partire dall’osservazione della formazione di cerniere plastiche, monitorando contestualmente grandezze rilevanti quali gli spostamenti e le forze mobilitate in fondazione. Questi dati, opportunamente interpretati, possono fornire i parametri necessari all’implementazione di più ampie procedure di analisi del rischio indotto da movimenti frane di crollo.

Simulazione sociale nell'ambito della produzione e distrubuzione di energia da fonti rinnovabili.

Simulazione ad agenti nel settore fotovoltaico per individuare gli impatti che, gli strumenti di politica hanno sulle scelte degli agenti, sulla redditività economica dei loro impianti e sulle grandezze caratteristiche dell'ambiente simulato (es. Potenza installata, Spesa Totale). Inoltre l'applicazione permette, al singolo agente, di simulare un impianto per valutare la fattibilità e la redditività di un investimento nel settore: ciò è possibile in quanto la simulazione riproduce fedelmente gli aspetti normativi ed economici che lo regolano.

Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione

Trent’anni or sono il concetto di ottimalità venne formulato in senso teorico da Lévy, ma solo un decennio dopo Lamping riesce a darne elegante implementazione algoritmica. Realizza un sistema di riduzione su grafi che si scoprirà poi avere interessanti analogie con la logica lineare presentata nello stesso periodo da Girard. Ma l’ottimalità è davvero ottimale? In altre parole, l’implementazione ottimale del λ calcolo realizzata attraverso i grafi di condivisione, è davvero la migliore strategia di riduzione, in termini di complessità? Dopo anni di infondati dubbi e di immeritato oblìo, alla conferenza LICS del 2007, Baillot, Coppola e Dal Lago, danno una prima risposta positiva, seppur parziale. Considerano infatti il caso particolare delle logiche affini elementare e leggera, che possiedono interessanti proprietà a livello di complessità intrinseca e semplificano l’arduo problema. La prima parte di questa tesi presenta, in sintesi, la teoria dell’ottimalità e la sua implementazione condivisa. La seconda parte affronta il tema della sua complessità, a cominciare da una panoramica dei più importanti risultati ad essa legati. La successiva introduzione alle logiche affini, e alle relative caratteristiche, costituisce la necessaria premessa ai due capitoli successivi, che presentano una dimostrazione alternativa ed originale degli ultimi risultati basati appunto su EAL e LAL. Nel primo dei due capitoli viene definito un sistema intermedio fra le reti di prova delle logiche e la riduzione dei grafi, nel secondo sono dimostrate correttezza ed ottimalità dell’implementazione condivisa per mezzo di una simulazione. Lungo la trattazione sono offerti alcuni spunti di riflessione sulla dinamica interna della β riduzione riduzione e sui suoi legami con le reti di prova della logica lineare.