Carbonation durability of blended cement pastes used for waste encapsulation

Blended cement pastes are currently used for encapsulation of low level and intermediate level nuclear waste in the UK. However, there is still little information on the long-term durability of those mixes to some chemical attacks. Accelerated testing may predict the long-term durability or at least help the selection of more durable formulations. In this work, blended blastfurnace slag (BFS)/Portland cement (OPC) pastes containing 60, 75 and 90% BFS and pulverised fuel ash (PFA)/OPC pastes with 40, 55 and 75% PFA were cured at 20 and 60°C for 90 days then submitted to natural and accelerated carbonation (5% CO₂). The effects of the curing temperature as well as the OPC replacement level on the carbonation ratio are presented. Results showed a good correlation between natural and accelerated carbonation for the pastes studied. Carbonation was found to be governed by the amount of calcium hydroxide available in the mixes before the process started.     

The Hinterland Urbanised?

What defines the urban? And can the non-urban necessarily always be classified as rural? Neil Brenner , Director of the Urban Theory Lab at Harvard University Graduate School of Design, reflects on the lack of an overarching theory to describe these realms, and argues that what we call the countryside or the hinterland has become key to the process of capitalist urbanisation.     

Found in translation: Mackintosh,Muthesius and Japan

The theme of this paper is the presence of the Japanese influence in the work of Charles Rennie Mackintosh and, in particular, the Glasgow School of Art. This has often been observed but never satisfactorily explained. Rather than simply listing the evidence, this paper investigates the relationship between him and Hermann Muthesius against the background of the time Muthesius spent working as an architect in Tokyo. Using the correspondence held in the Deutscher Werkbund Archiv, Berlin, as evidence of the close relationship between the two men and the others of The Four, this paper suggests that it was Muthesius's sensitivity to Japanese architecture which encouraged the direction of Mackintosh's work in the late 1890s and early 1900s and in so doing, offers an explanation of the more idiosyncratic and unexplained features of the library at the Glasgow School of Art.     

Assessing and generating test sets in terms of behavioural adequacy

Identifying a finite test set that adequately captures the essential behaviour of a program such that all faults are identified is a well‐established problem. This is traditionally addressed with syntactic adequacy metrics (e.g. branch coverage), but these can be impractical and may be misleading even if they are satisfied. One intuitive notion of adequacy, which has been discussed in theoretical terms over the past three decades, is the idea of behavioural coverage: If it is possible to infer an accurate model of a system from its test executions, then the test set can be deemed to be adequate. Despite its intuitive basis, it has remained almost entirely in the theoretical domain because inferred models have been expected to be exact (generally an infeasible task) and have not allowed for any pragmatic interim measures of adequacy to guide test set generation. This paper presents a practical approach to incorporate behavioural coverage. Our BESTEST approach (1) enables the use of machine learning algorithms to augment standard syntactic testing approaches and (2) shows how search‐based testing techniques can be applied to generate test sets with respect to this criterion. An empirical study on a selection of Java units demonstrates that test sets with higher behavioural coverage significantly outperform current baseline test criteria in terms of detected faults. © 2015 The Authors. Software Testing, Verification and Reliability published by John Wiley & Sons, Ltd.