Synthetic aggregates for the production of innovative low impact porous layers for urban pavements

According to the latest estimates, 40% of urban areas are covered by pavements. One of the most remarkable effects on the urban environment is the increase in impermeable surfaces which leads to problems related to water infiltration into the ground and the increase in wash-off volumes. The use of permeable and porous layers in urban applications for cycle lanes, footpaths and parking areas is growing in interest, increasing the potential for control and management of urban runoff. In this paper, a physical and mechanical characterization is proposed of an innovative mixture, prepared with a polymeric transparent binder for semi-porous layers with reduced contribution to the urban heat island effect. Two versions of this mixture are compared, one with just virgin and the one with artificial synthetic aggregates, produced through the alkali-activation of waste basalt powder. Results show suitable properties for both materials if compared to porous asphalt concretes in traditional pavements. Furthermore, the application of synthetic aggregates seems to be a viable solution for the production of innovative and eco-friendly mixtures, allowing the recycling of waste materials

Link Workers in Social Prescribing for Young People work: a case study from Sheffield

Introduction: Social Prescribing has an established recognition regarding the benefits provided to the health-related social needs of adults, but little is known about how the intervention addresses young people’s needs. There is optimism regarding the central role of two core mechanisms that allows social prescribing to be effective, such as the empathetic role of Link Workers and the connection with community resources. This paper aims to describe the role played by Link Workers working a Social Prescribing intervention targeting young people. Description: This paper adopts a case study methodology to describe the role of Link Workers addressing young people’s needs and implementing Social Prescribing scheme in Sheffield (UK). Data were collected through semi-structured interviews with four of the seven link workers of one organisation based in Sheffield. Data were analysed through an inductive approach for emerging themes. Discussion: We provided a description of the profiles and background of Link Workers and described the three models of referral pathways into the intervention. The paper also shows how Link Workers identify young people's needs and how they connect with the community. Conclusion: Based on the insights and the internationally accepted definition of Social Prescribing, we provide a visual representation of the Social Prescribing model and discuss challenges. The paper highlights lessons learned and future directions regarding the role of Link Workers from the case stud

On the relative expressiveness of higher-order session processes

By integrating constructs from the λ-calculus and the π-calculus, in higher-order process calculi exchanged values may contain processes. This paper studies the relative expressiveness of HOπ, the higher-order π-calculus in which communications are governed by session types. Our main discovery is that HO, a subcalculus of HOπ which lacks name-passing and recursion, can serve as a new core calculus for session-typed higher-order concurrency. By exploring a new bisimulation for HO, we show that HO can encode HOπ fully abstractly (up to typed contextual equivalence) more precisely and efficiently than the first-order session π-calculus (π). Overall, under session types, HOπ, HO, and π are equally expressive; however, HOπ and HO are more tightly related than HOπ and π

Development of functional rubber-based impact-absorbing pavements for cyclist and pedestrian injury reduction

Cyclists, pedestrians and elderly people’s specific needs in urban road infrastructures are often neglected. They rarely benefit from safety measures or innovations. Inspired by playgrounds and aiming to reduce vulnerable road users (VRUs) injuries, the development of the rubber-based Impact-Absorbing Pavements (IAP) offers a possibility to rethink the design of urban pavements and address safety on roads, which constitutes a major challenge in terms of attaining more sustain-able, resilient, and safe cities. Therefore, bituminous mixtures with four different crumb rubber con-tents, 0%, 14%, 28%, and 33% (in total weight), were produced by partial aggregates substitution using the dry process. After the assessment of the geometrical and volumetric properties, the mechanical performances were evaluated. Finally, the samples were tested to measure the abrasion and impact attenuation with the well-known Head Injury Criterion (HIC), at different temperatures from −10 to 40 °C, to obtain a wide range of values referring to possible weather conditions. A significant effect of the rubber percentage and layer thickness on impact attenuation was observed. All observations and results confirm the feasibility of the IAP concept and its positive effect on future injury-prevention applications

Functionalization of crumb rubber surface for the incorporation into asphalt layers of reduced stiffness: An overview of existing treatment approaches

The substitution of mineral aggregates with crumb rubber (CR) from waste end‐of‐life tires (ELTs) in the asphalt concretes, has been considered a sustainable paving industry approach. The rubber has been used to construct pavements with proven enhanced resilience and improved durability. However, some issues related to the rubber’s surface adhesion or swelling may arise with these practices and generate complications (binder consumption, temperatures, mixing times). One possible solution to overcome the materials’ compatibility problems is to pre‐treat the CR’s surface before its incorporation into the asphalt mixes to allow a surface functionalization that can enhance coverage and cohesion inside the mixes. The physical treatments using radiations‐based beam are already exploited in the plastic recycling industries avoiding the use of chemicals in con-siderable amounts. Such treatments permit the recovering of large quantities of polymer‐based materials and the enhancement of interfacial properties. This article provides an overview of existing surface treatments of polymers and especially rubber, including gamma ray, UV‐ozone, micro-waves, and plasma. Several studies have shown an overall improvement of the rubber surface’s reactive properties due to contaminant removal or roughness enhancement attributed to cross‐link-ing or scission reactions occurring on the rubber’s surface layer. With those properties, the asphalt mixes’ phase stability properties are increased when the pre‐treated rubber is incorporated. The treatments would permit to increase the CR quantities, yet reduce the layer stiffness, and improve the durability and the sustainability of future advanced road pavements

Leaching of PAHs from rubber modified asphalt pavements

The present study aimed to, for the first time, quantify the total content of 16 priority EPA PAHs in end-of-life tyre derived crumb rubber granulates and various manufactured rubberised asphalt mix designs. After identifying the availability of 16 EPA PAHs, the leaching behaviour of rubberised asphalt specimens, were evaluated using the Dynamic Surface Leaching Test (DSLT) based on CEN/TS 16637-2:2014 standard. This was prior to modelling the release mechanisms of PAHs by utilizing a mathematical diffusion-controlled leaching model. According to the results, the total content of 16 EPA PAHs in crumb rubber granulates ranged between 0.061 and 8.322 μg/g, which were associated with acenaphthene and pyrene, respectively. The total content of PAHs in rubberised asphalt specimens varied between 0.019 and 4.992 μg/g depending on the volume of crumb rubber granulates in the asphalt concrete mix design, and type of binder. Results of the leaching experiments revealed that the highest leached PAHs were benzo[b]fluoranthene, benzo[k]fluoranthene and naphthalene with a 64-days cumulative release per specimen surface area > 1 μg/m2. Acenaphthylene, fluoranthene, fluorene and indeno[1,2,3-c,d]pyrene were released in cumulative concentrations between 0.1 and 1 μg/m2. The PAHs with a cumulative release potential below 0.1 μg/m2 during DSLT were benzo[a]anthracene, benzo[a]pyrene, benzo[g,h,i]perylene and chrysene. The diffusion coefficients, which were calculated by mathematical modelling of DSLT data, revealed that the leaching process of 16 EPA PAHs from surface of rubberised asphalt concrete mix designs fitted all the criteria set by the NEN 7345 standard for diffusion-controlled leaching during all stages of leaching experiments

Assessment of construction and demolition waste materials for sublayers of low traffic rural roads

The need for exploiting massive amounts of natural raw materials for constructing pavements of roads as a key element for development of infrastructures in modern age, together with enormous production amounts of wastes related to civil engineering activities as biggest portion of solid waste generated all over the world, have highlighted the importance of utilizing recycled aggregates of these materials in road pavement layers. The key factor in this quest, is to evaluate load-bearing abilities of various kinds of waste aggregates. Aggregates of reclaimed asphalt, pre-stressed or normal concrete, masonry and demolition waste (CDW) exhibit different behavior under loading after compaction. The ideal situation would be to achieve the densest compacted and durable layer in order to get the highest durability, comparing to traditional road materials. In this study, aggregates from four types of recycled materials are being subjected to study for unbound and cemented pavement layers. Initial laboratory evaluations of size and composition are followed by constructing a field on a subgrade with high non-homogenous surface. Vibrating elastic modulus (Evib) for these materials were determined by Continuous Compaction Control (CCC) Oscillating Rollers. It is observed that, despite the weaknesses arisen from weak components such as masonry and elongated tiles, the stabilized distribution of the particle size can accelerate reaching to final compaction of unbound aggregates with roller passing. This process could be repeated with more or less same pattern in cemented layer, which exhibited an enhanced stiffness and uniformity in order to minimize the weak parts of non-uniform subgrade layer, and provide a high rigid pavement

Life Cycle Assessment of Innovative Asphalt Mixtures Made with Crumb Rubber for Impact-Absorbing Pavements

This study applies the life cycle assessment methodology to evaluate the environmental impacts of shock-absorbing pavements fabricated with recycled materials (crumb rubber and a colored pigment called ferrotone), employing the “cradle-to-grave” approach, in which the impacts of all life cycle phases (from materials’ acquisition to the end-of-life of the pavement) are included. The analysis compares the impacts of standard and innovative asphalt materials, considering cold and hot production processes. In addition, three different lifespans are simulated for the pavement structures: the reference service life until the first intervention is considered to be 5 years, and the following scenarios consider that the alternative asphalt materials may last 20% less (4 years) or 20% longer (6 years) than the reference service life. The analysis uses non-renewable cumulative energy demand (nr-CED) and global warming potential (GWP) as main indicators to determine the environmental impacts over a 45-year analysis period. The results show that adopting the “dry process” (consisting of adding the rubber as a partial substitution for aggregates) increases the overall impacts due to the need for higher contents of binder. However, if the alternative pavement structures last 20% longer than the reference, they would generate lower impacts in terms of nr-CED and GWP

Extracting Proofs from Tabled Proof Search

We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four different tabling strategies that can minimize such exploration significantly. In general, tabling involves storing previously proved subgoals and reusing (instead of reproving) them in proof search. In the case of co-inductive proof search, tables allow a limited form of loop checking, which is often necessary for, say, checking bisimulation of non-terminating processes. We enhance the notion of tabled proof search by allowing a limited deduction from tabled entries when performing table lookup. The main problem with this enhanced tabling method is that it is generally unsound when co-inductive definitions are involved and when tabled entries contain unproved entries. We design a proof system with tables and show that by managing tabled entries carefully, one would still be able to obtain a sound proof system. That is, we show how one can extract a post-fixed point from a tabled proof for a co-inductive goal. We then apply this idea to the technique of bisimulation ''up-to'' commonly used in process algebra

Causally consistent reversible choreographies: a monitors-as-memories approach

Under a reversible semantics, computation steps can be undone. This paper addresses the integration of reversible semantics into a process model of multiparty protocols (choreographies). Building upon the monitors-as-memories approach that we developed in prior work for reversible binary protocols, we present a reversible process framework for multiparty communication, which improves on prior models by seamlessly integrating asynchrony, decoupled rollbacks, and process passing. As main technical result, we prove that our multiparty, reversible semantics is causally-consistent