Analisi dinamica del ciclo integrato dell'acciaio: un approccio basato sulla simulazione

Nella presente tesi viene analizzato in modo approfondito il ciclo integrato dell'acciaio che �� uno dei metodi pi�� consolidati e affermati per la produzione sia di semilavorati, sia di prodotti finiti di acciaio. L'approccio all'analisi del ciclo integrato dell'acciaio �� di tipo dinamico e basato sulla simulazione, vale a dire che si cerca di capire come e in che modo i vari fattori del ciclo integrato interagiscono e si influenzano fra di loro per cercare in seguto di esplicitare tali dinamiche in un unico modello di simulazione. Sino ad ora infatti nella letteratura si possono trovare modelli che analizzano separatamente solo alcuni aspetti del ciclo integrato dell'acciaio. L'intenzione ultima di questa tesi �� quella di fornire uno strumento in pi�� che possa far capire, date determinate caratteristiche e obiettivi dell'azienda, quale sia la direzione pi�� plausibile e giustificabile da seguire.

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.

Progettazione ed implementazione di strumenti per la valutazione di reti complesse con propriet�� scale-free

Il cervello �� una rete di cellule nervose connesse da assoni e le cellule stesse sono reti di molecole connesse da reazioni biochimiche. Anche le societ�� sono reti di persone collegate da rapporti di amicizia, parentela e legami professionali. Su pi�� larga scala, catene alimentari ed ecosistemi possono essere rappresentati come reti di specie viventi. E le reti pervadono la tecnologia: Internet, reti elettriche e sistemi di trasporto non sono che pochi degli esempi possibili. Anche il linguaggio che si sta usando in questo momento per veicolare questi ragionamenti a chi legge �� una rete, fatta di parole connesse da relazioni sintattiche. A dispetto dell'importanza e della pervasivit�� delle reti, gli scienziati hanno sempre avuto poca comprensione delle loro strutture e propriet��. In che modo le interazioni di alcuni nodi non funzionanti in una complessa rete genetica possono generare il cancro? Come pu�� avvenire cos�� rapidamente la diffusione in taluni sistemi sociali e di comunicazioni, portando ad epidemie di malattie e a virus informatici? Come possono alcune reti continuare a funzionare anche dopo che la maggioranza dei loro nodi ha, invece, smesso di farlo? [...] Le reti reali sono realmente casuali?

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

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 gra��� 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 gra��� 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 a���ni 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 a���ronta 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.