Sviluppare applicazioni VoIP su Symbian: una corsa ad ostacoli

Uno sguardo d'insieme al mondo dello sviluppo di applicazioni per Symbian OS. Un trattazione sui strumenti a disposizione, un'applicazione di esempio e problemi riscontrati.

Le reti di distribuzione idrica nella sicurezza antincendio - Verifiche con il codice INFOWORKS WS

Le reti di distribuzione idrica conservano un ruolo importante ed irrinunciabile nella sicurezza antincendio, ma diversi fattori sul piano normativo e strutturale limitano la loro potenzialità  nelle fasi di estinzione dell'incendio. Ma in che modo si è evoluta in Italia negli ultimi anni la lotta all'incendio? E' ormai noto che non esistono incendi standard, quelli per i quali è possibile definire procedure d'intervento e modalità  di estinzione; non è quindi banale identificare le portate antincendio necessarie (Needed Fire Flow) e il tempo per il quale esse devono essere garantite. In certi contesti è possibile ipotizzare un certo standard d'incendio ma ciò presuppone che edifici, strutture e tutto ciò che è sottoposto ad incendio, possano essere considerati fabbricati a "regola d'arte", ovvero realizzati attraverso procedure esecutive aventi standard di qualità  certificata. Ciò è stato affrontato nei criteri di realizzazione delle nuove costruzioni, ma le vecchie costruzioni, soprattutto gli edifici presenti nei centri storici, sono evidentemente più vulnerabili e sfuggono alla possibilità  di identificare affidabili valori del NFF. Il quadro che si presenta coinvolge quindi carenze normative, contesti urbani con differente vulnerabilità  e una sostanziale disomogeneità  prestazionale delle reti di distribuzione idrica presenti nel territorio nazionale, legata non solo alla disponibilità  idrica ma, anche e soprattutto, alla conformazione della rete, ai livelli di pressione ed alla specifica capacità della rete nel sostenere incrementi di flusso dovuto al prelievo dagli idranti stradali. La scarsa conoscenza di questi aspetti, piuttosto che tradursi in miglioramenti della rete idrica e della sua efficienza ai fini antincendio, ha portato nel tempo ad adottare soluzioni alternative che agiscono principalmente sulle modalità operative di utilizzo dei mezzi dei VV.F. e sul fronte dei dispositivi antincendio privati, quali una migliore protezione passiva, legata all'uso di materiali la cui risposta all'incendio fosse la minore possibile, e protezioni attive alternative, quali impianti sprinkler, di tipo aerosol o misti. Rimangono tutte le problematiche legate alla caratterizzazione nell'area urbanizzata in termini di risposta al prelievo per incendio dagli idranti pubblici sui quali la normativa vigente non impone regole circa le prestazioni e la loro dislocazione sul territorio. Questa incertezza spesso si traduce in un maggiore dispiego di mezzi rispetto all'entità dell'incendio ed ad una scarsa possibilità  di ottimizzare l'allocazione delle unità  operative dei VV.F., con un evidente incremento del rischio nel caso in cui si verifichino più eventi di incendio contemporaneamente. La simulazione numerica avanzata, su modelli opportunamente calibrati delle reti di distribuzione, può consentire una maggiore comprensione quantitativa del livello di sicurezza antincendio offerto da una rete di distribuzione idrica.

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

Studio della mobilità ambientale di contaminanti inorganici su fanghi da dragaggio

La gestione di fanghi da dragaggio richiede una buona conoscenza della natura degli inquinanti da cui essi sono contaminati. Questo studio si è posto l’obiettivo di individuare una strategia di caratterizzazione applicata a sedimenti dragati nel Porto di Ravenna. Particolare attenzione è stata rivolta allo studio della mobilità degli inquinanti inorganici (metalli pesanti), sia sul materiale tal quale che sui residui ottenuti dopo trattamento di soil washing, operazione prevista al fine di separare sabbie a basso carico di contaminanti dalla frazione sitosa-argillosa dove si ha la maggior concentrazione di contaminanti. Lo studio sulla mobilità è stato eseguito avvalendosi di opportuni test di rilascio, valutando gli effetti di diversi parametri, quali pH, tempo di dilavamento, rapporto solido-liquido. In conclusione, dai risultati della caratterizzazione chimica si è potuto valutare l’efficienza del Soil Washing sui sedimenti trattati: efficienza elevata per le componenti organiche, meno vistosa la decontaminazione dei metalli sulle sabbie per valori bassi di contaminazione. I sedimenti e le sabbie non presentano livelli di contaminazione preoccupanti, cosa che li renderebbe idonei al riuso secondo le modalità previste. Il metallo la cui lisciviazione dipende maggiormente dal pH è lo Zn, il Cu è il metallo più influenzato dalla complessazione con la sostanza organica, l’As è l’unico metallo ad avere massima lisciviazione a pH basico. Dopo trattamento Soil Washing tutti i metalli ad esclusione di Cu e del Fe aumentano la loro mobilità nella frazione fina rispetto al sedimento tal quale.

Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Impianti per la generazione distribuita di biometano e per l'immissione nelle reti di distribuzione del gas naturale.

Studio dell'avvento di nuove realtà produttive energetiche da fonti rinnovabili nel settore del gas naturale. Il settore analizzato risulta quello relativo all'allacciamento di impianti di produzione di biometano alla rete del gas naturale. La finalità è la valutazione degli effetti della generazione distribuita di biometano nel futuro sistema del gas naturale (Smart Grid Gas) in termini di progettazione e conduzione del sistema nel suo complesso.