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.

Integrazione di piattaforme d'esecuzione e simulazione in una toolchain Scala per aggregate programming

La tesi è calata nell'ambito dell'Aggregate Programming e costituita da una prima parte introduttiva su questo ambito, per poi concentrarsi sulla descrizione degli elaborati prodotti e infine qualche nota conclusiva unitamente a qualche possibile sviluppo futuro. La parte progettuale consiste nell'integrazione del framework Scafi con il simulatore Alchemist e con una piattaforma di creazione e di esecuzione di sistemi in ambito Spatial Computin, con lo scopo di potenziare la toolchain esistente per Aggregate Programming. Inoltre si riporta anche un breve capitolo per l'esecuzione del framework scafi sviluppato in scala sulla piattaforma Android.

Investigation on performance characteristics of dense graded hot mix asphalt with RAP and Crumb Rubber

The use of recycled materials in asphalt mixtures such as reclaimed asphalt pavements (RAP) have become widely accepted as a replacement for virgin asphalt binder or virgin aggregates. In this study, the RAP content was 30%, and CR additives were blended with the soft unmodified binder by using dry processes. The objective of this study was to investigate and evaluate the engineering properties of dry method application of crumb rubber influences on reclaimed asphalt pavement (RAP) mixtures. To evaluate the effect of rubber-bitumen interaction on the mixture’s mechanical properties, a laboratory investigation has been conducted on a range of dense graded and 30% RAP by dry process crumb rubber modified (CRM) asphalt mixtures containing 0% (control), 1% crumb rubber by the total aggregate mass. The experimental program in this research include the binder extraction for estimating the amount of aged binder in the both fine and coarse RAP material. Before extracting the binder the RAP sieve analysis, have been done to provide the Black grading curve. In continue after the binder extraction the material sieved again to providing the white curve. The comparison of Black and White curve indicated that there is a remarkable difference between the aggregate grading even for the fine RAP. The experimental program was continued by fabricating 12 specimens in different 4 types of mixtures. For the first group no RAP, no rejuvenator and no crumb rubber were used. For the second group 30% of virgin aggregates substituted by RAP material and the third group was similar to the second group just with 0.01% rejuvenator. the forth group was the group, which in that the specimens contain RAP, rejuvenator and crumb rubber. Finally the specimens were tested for Indirect tensile strength. The results indicated that the addition of crumb rubber increased the optimum amount of binder in the mixture with 30% RAP.

Investigation on performance characteristics of dense graded hot mix asphalt with RAP and crumb rubber

The objective of this study was to fundamentally characterize the laboratory performance of traditional hot mix asphalt (HMA) mixtures incorporating high RAP content and waste tire crumb rubber through their fundamental engineering properties. The nominal maximum aggregates size was chosen for this research was 12mm (considering the limitation of aggregate size for surface layer) and both coarse and fine aggregates are commonly used in Italy that were examined and analyzed in this study. On the other hand, the RAP plays an important role in reducing production costs and enhancing the environmentally sustainable pavements instead of using virgin materials in HMA. Particularly, this study has aimed to use 30% of RAP content (25% fine aggregate RAP and 5% coarse aggregate RAP) and 1% of CR additives by the total weight of aggregates for mix design. The mixture of aggregates, RAP and CR were blended with different amount of unmodified binder through dry processes. Generally, the main purposes of this study were investigating on capability of using RAP and CR in dense graded HMA and comparing the performance of rejuvenator in RAP with CR. In addition, based on the engineering analyses during the study, we were able compare the fundamental Indirect Tensile Strength (ITS) value of dense graded HMA and also mechanical characteristics in terms of Indirect Tensile Stiffness Modulus (ITSM). In order to get an extended comparable data, four groups of different mixtures such as conventional mixture with only virgin aggregates (DV), mixture with RAP (DR), mixture with RAP and rejuvenator (DRR), and mixture with RAP, rejuvenator, CR (DRRCr) were investigated in this research experimentally. Finally, the results of those tests indicated that the mixtures with RAP and CR had the high stiffness and less thermal sensitivity, while the mixture with virgin aggregates only had very low values in comparison.