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

City logistics: trasporto merci in ambito urbano

Molteplici studi, portati a termine di recente in Europa ed oltreoceano, hanno focalizzato l’attenzione sulle problematiche indotte dal trasporto merci in ambito urbano e contribuito ad identificarne possibili soluzioni (city logistics). Le aree urbane, dovrebbero idealmente essere luoghi ove abitare, svolgere attività economiche, sociali e ricreative. Esse possono vedere compromessa la loro predisposizione a tali scopi anche a causa del crescente traffico delle merci, il cui trasporto è effettuato principalmente su gomma, per via delle brevi distanze da coprire e delle carenze infrastrutturali. I veicoli commerciali, ad eccezione di quelli di ultima generazione, incidono negativamente sulla qualità dell’ambiente urbano, generando inquinamento atmosferico e acustico. La politica del “just in time”, che prevede l’assenza di magazzini di stoccaggio delle merci, incrementa i movimenti commerciali. Nella presente tesi vengono trattati alcuni aspetti logistici di regolamentazione della sosta e degli accessi per i mezzi di trasporto merci, in grado di rendere più efficiente la distribuzione dei beni, mitigando le problematiche indotte dal traffico e, quindi, salvaguardando la qualità di vita nei centri cittadini.

Trasporto di materia in membrane polimeriche e nanocomposite per la separazione di gas

Membrane-based separation processes are acquiring, in the last years, an increasing importance because of their intrinsic energetic and environmental sustainability: some types of polymeric materials, showing adequate perm-selectivity features, appear rather suitable for these applications, because of their relatively low cost and easy processability. In this work have been studied two different types of polymeric membranes, in view of possible applications to the gas separation processes, i.e. Mixed Matrix Membranes (MMMs) and high free volume glassy polymers. Since the early 90’s, it has been understood that the performances of polymeric materials in the field of gas separations show an upper bound in terms of permeability and selectivity: in particular, an increase of permeability is often accompanied by a decrease of selectivity and vice-versa, while several inorganic materials, like zeolites or silica derivates, can overcome this limitation. As a consequence, it has been developed the idea of dispersing inorganic particles in polymeric matrices, in order to obtain membranes with improved perm-selectivity features. In particular, dispersing fumed silica nanoparticles in high free volume glassy polymers improves in all the cases gases and vapours permeability, while the selectivity may either increase or decrease, depending upon material and gas mixture: that effect is due to the capacity of nanoparticles to disrupt the local chain packing, increasing the dimensions of excess free volume elements trapped in the polymer matrix. In this work different kinds of MMMs were fabricated using amorphous Teflon® AF or PTMSP and fumed silica: in all the cases, a considerable increase of solubility, diffusivity and permeability of gases and vapours (n-alkanes, CO2, methanol) was observed, while the selectivity shows a non-monotonous trend with filler fraction. Moreover, the classical models for composites are not able to capture the increase of transport properties due to the silica addition, so it has been necessary to develop and validate an appropriate thermodynamic model that allows to predict correctly the mass transport features of MMMs. In this work, another material, called poly-trimethylsilyl-norbornene (PTMSN) was examined: it is a new generation high free volume glassy polymer that, like PTMSP, shows unusual high permeability and selectivity levels to the more condensable vapours. These two polymer differ each other because PTMSN shows a more pronounced chemical stability, due to its structure double-bond free. For this polymer, a set of Lattice Fluid parameters was estimated, making possible a comparison between experimental and theoretical solubility isotherms for hydrocarbons and alcoholic vapours: the successfully modelling task, based on application of NELF model, offers a reliable alternative to direct sorption measurement, which is extremely time-consuming due to the relevant relaxation phenomena showed by each sorption step. For this material also dilation experiments were performed, in order to quantify its dimensional stability in presence of large size, swelling vapours.

Il trasferimento dei diritti nel contratto di trasporto di cose

Nel trasporto di cose si registra l’intervento nella fase di riconsegna della merce di un soggetto diverso dall’originario contraente con il vettore: il destinatario. Tale contratto si caratterizza per uno sfasamento tra il momento della stipulazione del contratto tra mittente e vettore e quello della riconsegna delle merci, nel quale al destinatario viene riconosciuta facoltà di esercitare i diritti nascenti dal contratto di trasporto nei confronti del vettore; tale sfasamento temporale fra l’inizio e la fine della prestazione del vettore comporta una scissione in seno alla figura del creditore del trasporto nei confronti del vettore fra mittente e destinatario. Questo elemento crea una particolare situazione giuridica che è stata variamente inquadrata. Si verifica, infatti, un fenomeno di successione del destinatario al mittente nell’acquisto e nel conseguente esercizio dei diritti nascenti dal contratto di trasporto, ossia un trasferimento dei diritti dal mittente al destinatario, di portata apparentemente eversiva del principio della relatività degli effetti del contratto codificato dall’art. 1372 c.c. Si pone, dunque, il problema di individuare quali diritti nei confronti del vettore siano esercitabili dal destinatario, ossia quale sia il contenuto di tali diritti. In secondo luogo, si pone il problema di accertare con quali modalità temporali il destinatario acquisti tali diritti. Bisogna, poi, stabilire a quale titolo tale acquisto avvenga. Inoltre è necessario stabilire come si concili la legittimazione all’esercizio di tali diritti con i poteri di disposizione del carico e, in definitiva, di modifica del contratto del trasporto, riconosciuti al mittente e determinare a chi spetti la legittimazione ad esercitare le azioni derivanti dal contratto di trasporto verso il vettore. Questi quesiti toccano un problema di più ampia portata riguardante la configurazione giuridica della posizione negoziale assunta dal destinatario all’interno della complessa fattispecie contrattuale che vincola fra loro i tre soggetti e la determinazione del meccanismo giuridico che rende possibile il trasferimento dei diritti che nascono dal contratto di trasporto al destinatario, il quale si sostituisce al mittente nella titolarità degli stessi. La disciplina del trasporto non si presta ad una interpretazione univoca, ponendo problemi applicativi di non facile soluzione. Le esigenze di un’idonea configurazione giuridica del contratto di trasporto e dei rapporti intercorrenti fra i soggetti intorno ad esso interagiscono, quelle di un equo contemperamento degli interessi delle parti e quelle di una compiuta risposta ai problemi pratici connessi all’attuale realtà dei traffici non hanno trovato risposte condivise. La dottrina e la giurisprudenza hanno fornito diverse soluzioni, per lo più basate su un’interpretazione sistematica del contratto di trasporto, a margine del codice di commercio del 1882, prima, e del codice civile del 1942, poi. Si è dunque dato vita alla ricerca, all’interno delle norme generali in tema di obbligazioni e contratti, delle logiche e degli istituti ai quali può essere ricondotto l’acquisto da parte del destinatario del risultato della prestazione del vettore nella fase finale della riconsegna del carico. L’elaborato analizza tutte le teorie sviluppate dagli interpreti. In particolare viene esaminata la tesi accolta dalla dottrina e dalla giurisprudenza maggioritarie, volta a qualificare il trasporto come un contratto a favore a terzi, la tesi che qualifica tale contratto come un’ipotesi di indicazione o di delegazione di pagamento e la tesi che qualifica il trasporto come di cose come contratto naturalmente suscettibile di cessione al destinatario. Di tali teorie vengono indagate le conseguenze applicative, con particolare riferimento al contenuto dei diritti, delle azioni e delle eccezioni esercitabili dei soggetti che partecipano al contratto, per concludere che la teoria che fornisce il più ampio contemperamento degli interessi delle parti, alla luce dell’attuale realtà dei traffici, è quella che riconduce il trasferimento dei diritti inerenti al contratto di trasporto di cose all’istituto della cessione.

Calcolo della posizione di reti di stazioni permanenti

Con il trascorrere del tempo, le reti di stazioni permanenti GNSS (Global Navigation Satellite System) divengono sempre più un valido supporto alle tecniche di rilevamento satellitare. Esse sono al tempo stesso un’efficace materializzazione del sistema di riferimento e un utile ausilio ad applicazioni di rilevamento topografico e di monitoraggio per il controllo di deformazioni. Alle ormai classiche applicazioni statiche in post-processamento, si affiancano le misure in tempo reale sempre più utilizzate e richieste dall’utenza professionale. In tutti i casi risulta molto importante la determinazione di coordinate precise per le stazioni permanenti, al punto che si è deciso di effettuarla tramite differenti ambienti di calcolo. Sono stati confrontati il Bernese, il Gamit (che condividono l’approccio differenziato) e il Gipsy (che utilizza l’approccio indifferenziato). L’uso di tre software ha reso indispensabile l’individuazione di una strategia di calcolo comune in grado di garantire che, i dati ancillari e i parametri fisici adottati, non costituiscano fonte di diversificazione tra le soluzioni ottenute. L’analisi di reti di dimensioni nazionali oppure di reti locali per lunghi intervalli di tempo, comporta il processamento di migliaia se non decine di migliaia di file; a ciò si aggiunge che, talora a causa di banali errori, oppure al fine di elaborare test scientifici, spesso risulta necessario reiterare le elaborazioni. Molte risorse sono quindi state investite nella messa a punto di procedure automatiche finalizzate, da un lato alla preparazione degli archivi e dall’altro all’analisi dei risultati e al loro confronto qualora si sia in possesso di più soluzioni. Dette procedure sono state sviluppate elaborando i dataset più significativi messi a disposizione del DISTART (Dipartimento di Ingegneria delle Strutture, dei Trasporti, delle Acque, del Rilevamento del Territorio - Università di Bologna). E’ stato così possibile, al tempo stesso, calcolare la posizione delle stazioni permanenti di alcune importanti reti locali e nazionali e confrontare taluni fra i più importanti codici scientifici che assolvono a tale funzione. Per quanto attiene il confronto fra i diversi software si è verificato che: • le soluzioni ottenute dal Bernese e da Gamit (i due software differenziati) sono sempre in perfetto accordo; • le soluzioni Gipsy (che utilizza il metodo indifferenziato) risultano, quasi sempre, leggermente più disperse rispetto a quelle degli altri software e mostrano talvolta delle apprezzabili differenze numeriche rispetto alle altre soluzioni, soprattutto per quanto attiene la coordinata Est; le differenze sono però contenute in pochi millimetri e le rette che descrivono i trend sono comunque praticamente parallele a quelle degli altri due codici; • il citato bias in Est tra Gipsy e le soluzioni differenziate, è più evidente in presenza di determinate combinazioni Antenna/Radome e sembra essere legato all’uso delle calibrazioni assolute da parte dei diversi software. E’ necessario altresì considerare che Gipsy è sensibilmente più veloce dei codici differenziati e soprattutto che, con la procedura indifferenziata, il file di ciascuna stazione di ciascun giorno, viene elaborato indipendentemente dagli altri, con evidente maggior elasticità di gestione: se si individua un errore strumentale su di una singola stazione o se si decide di aggiungere o togliere una stazione dalla rete, non risulta necessario il ricalcolo dell’intera rete. Insieme alle altre reti è stato possibile analizzare la Rete Dinamica Nazionale (RDN), non solo i 28 giorni che hanno dato luogo alla sua prima definizione, bensì anche ulteriori quattro intervalli temporali di 28 giorni, intercalati di sei mesi e che coprono quindi un intervallo temporale complessivo pari a due anni. Si è così potuto verificare che la RDN può essere utilizzata per l’inserimento in ITRF05 (International Terrestrial Reference Frame) di una qualsiasi rete regionale italiana nonostante l’intervallo temporale ancora limitato. Da un lato sono state stimate le velocità ITRF (puramente indicative e non ufficiali) delle stazioni RDN e, dall’altro, è stata effettuata una prova di inquadramento di una rete regionale in ITRF, tramite RDN, e si è verificato che non si hanno differenze apprezzabili rispetto all’inquadramento in ITRF, tramite un congruo numero di stazioni IGS/EUREF (International GNSS Service / European REference Frame, SubCommission for Europe dello International Association of Geodesy).

Sviluppo di un ambiente virtuale per la simulazione della evacuazione dei passeggeri dagli aeromobili da trasporto

Presentazione dello sviluppo di un ambiente grafico per la simulazione dell'evacuazione dei passeggeri dagli aeromobili dell'aviazione civile in seguito a situazioni di emergenza.