A indústria do betão pré fabricado é, por tradição, inovadora, precursora de novas tecnologias e de novos materiais.O processo produtivo de estruturas com elementos pré-fabricados difere significativamente do das estruturas betonadas em obra pelo facto de uma parte, ou a totalidade, dos elementos da estrutura serem produzidos em fábrica, em condições de produção melhoradas em relação às condições da obra, e serem posteriormente transportados para a obra, onde são, finalmente ligados entre si. A produção em fábrica é efectuada em ambiente protegido do Sol e da chuva, com operários fixos e com formação profissional para desenvolverem tarefas com procedimentos normalizados. Consequentemente, os elementos executados em fábrica possuem melhor qualidade, sob vários aspectos, do que as estruturas executadas em obra.Este livro divide-se em duas grandes áreas, numa primeira abordam-se algumas aplicações de estruturas pré-moldadas no mundo e numa segunda parte descreve-se o seu comportamento estrutural face a diferentes acções. Nos primeiros capítulos relata-se a experiência da pré-fabricação em três países de diferentes continentes: o Brasil, Portugal e a Austrália e revelam-se novas oportunidades que poderão surgir para a indústria da pré-fabricação. Nos capítulos seguintes dá-se um especial enfoque à investigação do comportamento das ligações (rígidas e semi-rígidas). Aborda-se o projecto de estruturas de betão pré-fabricado às acções acidentais. E por fim, dedicam-se os últimos capítulos ao comportamento das estruturas pré-fabricadas face às acções sísmicas. Nesta área, o bom desempenho das estruturas e grande parte do conhecimento e da tecnologia actual advém da resposta dada pelos engenheiros, investigadores e construtores aos fenómenos naturais que afectam as nossas construções, como comprova o desempenho das ligações dúcteis resistentes a momentos em edifícios pré fabricados de betão no verdadeiro teste sísmico que foram os sismos de Christchurch de 2010 e 2011.

The layer-by-layer (LbL) assembly of polyelectrolyte pairs on temperature and pH-sensitive cross-linked poly(N-isopropylacrylamide)-co-(methacrylic acid), poly(NIPAAm-co-MAA), microgels enabled a fine-tuning of the gel swelling and responsive behavior according to the mobility of the assembled polyelectrolyte (PE) pair and the composition of the outermost layer. Microbeads with well-defined morphology were initially prepared by synthesis in supercritical carbon dioxide. Upon LbL assembly of polyelectrolytes, interactions between the multilayers and the soft porous microgel led to differences in swelling and thermoresponsive behavior. For the weak PE pairs, namely poly(l-lysine)/poly(l-glutamic acid) and poly(allylamine hydrochloride)/poly(acrylic acid), polycation-terminated microgels were less swollen and more thermoresponsive than native microgel, whereas polyanion-terminated microgels were more swollen and not significantly responsive to temperature, in a quasi-reversible process with consecutive PE assembly. For the strong PE pair, poly(diallyldimethylammonium chloride)/poly(sodium styrene sulfonate), the differences among polycation and polyanion-terminated microgels are not sustained after the first PE bilayer due to extensive ionic cross-linking between the polyelectrolytes. The tendencies across the explored systems became less noteworthy in solutions with larger ionic strength due to overall charge shielding of the polyelectrolytes and microgel. ATR FT-IR studies correlated the swelling and responsive behavior after LbL assembly on the microgels with the extent of H-bonding and alternating charge distribution within the gel. Thus, the proposed LbL strategy may be a simple and flexible way to engineer smart microgels in terms of size, surface chemistry, overall charge and permeability.The layer-by-layer (LbL) assembly of polyelectrolyte pairs on temperature and pH-sensitive cross-linked poly(N-isopropylacrylamide)-co-(methacrylic acid), poly(NIPAAm-co-MAA), microgels enabled a fine-tuning of the gel swelling and responsive behavior according to the mobility of the assembled polyelectrolyte (PE) pair and the composition of the outermost layer. Microbeads with well-defined morphology were initially prepared by synthesis in supercritical carbon dioxide. Upon LbL assembly of polyelectrolytes, interactions between the multilayers and the soft porous microgel led to differences in swelling and thermoresponsive behavior. For the weak PE pairs, namely poly(l-lysine)/poly(l-glutamic acid) and poly(allylamine hydrochloride)/poly(acrylic acid), polycation-terminated microgels were less swollen and more thermoresponsive than native microgel, whereas polyanion-terminated microgels were more swollen and not significantly responsive to temperature, in a quasi-reversible process with consecutive PE assembly. For the strong PE pair, poly(diallyldimethylammonium chloride)/poly(sodium styrene sulfonate), the differences among polycation and polyanion-terminated microgels are not sustained after the first PE bilayer due to extensive ionic cross-linking between the polyelectrolytes. The tendencies across the explored systems became less noteworthy in solutions with larger ionic strength due to overall charge shielding of the polyelectrolytes and microgel. ATR FT-IR studies correlated the swelling and responsive behavior after LbL assembly on the microgels with the extent of H-bonding and alternating charge distribution within the gel. Thus, the proposed LbL strategy may be a simple and flexible way to engineer smart microgels in terms of size, surface chemistry, overall charge and permeability.

Sandstone building stones are important in the building elements of Portuguese monuments, particularly in the western and southern regions. Alveolization due to salt crystallization was the most important degradation pattern found in the old sandstone façades of buildings in the village of Atouguia da Baleia. Because weathering progressively increases porosity in stones, experimental research was conducted on the most porous variety of sandstone, which is similar to the type of stones found in the façades of ancient buildings in that village. An automatic salt crystallization accelerated ageing chamber was developed. Monotonic and cyclic uniaxial compressive tests were carried out on samples after sodium chloride crystallization ageing tests had been performed, in order to assess the compressive mechanical behavior of sandstone during accelerated ageing. The results of stress–strain compression diagrams showed a clear decreasing trend in the values of mechanical parameters during the salt crystallization ageing progress. The difference in compressive strength values between monotonic and cyclic compression also decreases with as salt crystallization ageing progresses. A predictive equation that correlates the compressive strength of sandstones with salt crystallization ageing cycles is proposed.

This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements. Our work builds on a novel deep-heap analysis technique based on separation logic to statically approximate the read- and write-sets of a transactional memory Java program. We implement our technique and apply our tool to a set of micro benchmarks and also to one benchmark of the STAMP package. We corroborate known results, certifying some of the examples for safe execution under snapshot isolation by proving the absence of write-skew anomalies. In other cases our analysis has identified transactions that potentially trigger previously unknown write-skew anomalies.>

Spreadsheets play an important role in software organizations. Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect information from different systems, to adapt data coming from one system to the format required by another, to perform operations to enrich or simplify data, etc. In fact, over time many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users. Unfortunately, spreadsheet systems provide poor support for modularity, abstraction, and transformation, thus, making the maintenance, update and evolution of spreadsheets a very complex and error-prone task. We present techniques for model-driven spreadsheet engineering where we employ bidirectional transformations to maintain spreadsheet models and instances synchronized. In our setting, the business logic of spreadsheets is defined by ClassSheet models to which the spreadsheet data conforms, and spreadsheet users may evolve both the model and the data instances. Our techniques are implemented as part of the MDSheet framework: an extension for a traditional spreadsheet system.

The present work is devoted to the study of the decontamination of chars obtained in the co-pyrolysis of plastics, biomass and tyre wastes. The chars were extracted with several organic solvents of different polarities either individually or in sequence. The ability of each selected extractant to remove toxic pollutants was evaluated by comparing the extraction yields and by characterizing the crude extracts with a combination of chemical analysis and toxicity bioassays. Also, the mineral composition of the treated and non-treated chars was assessed. The results obtained in this study indicate that hexane is the more efficient extraction solvent to be used in the organic decontamination of chars obtained in the co-pyrolysis of plastics, tyres and biomass. A sequential extraction with solvents of increasing polarity can provide a better decontamination of the raw pyrolysis char than any individual extraction. The compounds removed from the char during the decontamination process are mainly aliphatic hydrocarbons and aromatic hydrocarbons, therefore a material that may be upgraded to be used as a fuel and/or as raw material for the organic chemical industry.

The co-combustion of coal and meat and bone meal (MBM) is a possible energetic valorization route for this residue. Nevertheless, the properties of ashes produced need to be studied. To evaluate these properties, three combustion tests were performed in a fluidized bed reactor: 1) coal combustion; 2) coal + MBM (85% + 15%) co-combustion; 3) MBM combustion. The characterization of ashes was focused on the following aspects: (1) Determination of bulk content of Cr, Zn, Ni, Cu, Pb, Cd, Hg, As, Ba, Mo, Sb, Se, Ca, Na, Mg, Fe, Al and K; (2) Leaching properties of ashes based on the European Standard EN12457-2. The eluates were characterized for some of the metals referred above and for Cr VI, CN−, pH, Cl−, F−, SO42−, dissolved organic carbon and total dissolved solids. The eluates were also characterized for ecotoxicological levels by using the following bio-indicators: bacterium V. fischeri, microalgae S. capricornutum and microcrustacean D. magna. The ashes produced in the combustion of coal and co-combustion of coal + MBM have not shown evidences of ecotoxicity, while the ashes produced in the combustion of MBM were classified as ecotoxic. An assessment of the relationship between the chemical and the ecotoxicological properties of the ashes was performed. pH seemed to be the chemical parameter that most influences the ecotoxicological level of ashes.

Software Transactional Memory (STM) algorithms correctness rely on metadata associated with the memory locations accessed during the transaction life-time. STM implementations may store this metadata either in-place, by wrapping the memory cells in a container that includes the memory cell itself and the corresponding metadata, or out-place, by resorting to a mapping function that associates the memory cell address to an external table with the corresponding metadata. The implementation techniques for these two approaches are very different and each STM framework is usually biased towards one of them, only allowing the efficient implementation of algorithms that fall into the appropriate category, and inhibiting the fair comparison with STM algorithms falling into the other. In this paper we introduce a technique that supports the use of in-place metadata without requiring to wrap memory cells, thus providing STM algorithms with direct access to the transactional metadata and overcoming the bias. The proposed technique is available as an extension to the DeuceSTM framework and allows the efficient implementation of a wide range of STM algorithms, thus enabling their fair (unbiased) comparison in a common STM infrastructure. We illustrate the benefits of our approach by analyzing its impact in two popular TM algorithms with two different transactional workloads, TL2 and multi-versioning, which bias to out-place and in-place respectively.