Technical requirements for the use of C&DW recycled aggregates in municipal and rural roads and trenches

The use of construction and demolition waste (C&DW) in the construction industry is an important contribution to attain sustainability in the sector. The roads are among the civil engineering works which can use larger quantities of C&DW recycled aggregates. In Portugal, the limit values for the properties of C&DW recycled aggregates that can be used in the roads of Portuguese Road Network are defined by two Laboratório Nacional de Engenharia Civil (LNEC) technical specifications (TS), in accordance to Portuguese Decree-law no. 46/2008 of May 12th. Municipal and rural roads and trenches have specific characteristics that can enable the use of C&DW of lower quality than those required by existing LNEC TS, and even then ensuring an adequate performance. However, given the absence of specific regulation for those applications, the Portuguese Environment Agency requires compliance with the existing LNEC TS, which represents an obstacle to recycling a significant part of the C&DW, in particular at a local government level. This paper presents guidelines for the recycling of C&DW in municipal and rural roads and in trenches, which could be considered in a new forthcoming LNEC TS. In the preparation of the guidelines, the bibliography collected and analysed, the information gathered from the application of C&DW in a municipal and rural roads of a Portuguese municipality and in the roadways of a Portuguese resort, and the results of laboratory tests carried out on samples collected in the Portuguese municipality were taken into consideration.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

O hospital da misericórdia de Penafiel (1600-1850)

Tese de Doutoramento em História - Especialidade de Idade Moderna

Arquivo Histórico de Chaves

Relatório de estágio de mestrado em História

O papel dos fisioterapeutas na equipe multidisciplinar atuantes no complexo municipal André Vidal de Araújo em Manaus

Dissertação de mestrado em Educação Especial (área de especialização em Dificuldades de Aprendizagem Específicas)