Synthesis,structure, and characterization of the thorium zirconolite CaZr1-xThxTi2O7 system

A series of zirconolite ceramics with composition CaZr_1-xTh_xTi₂O₇ (Δx = 0.10) were reactively sintered at 1350°C for 20 h, in air (0 ≤ x ≤ 0.60) and 5% H₂/N₂ (0 ≤ x ≤ 0.40). A sample with composition corresponding to x = 0.20 was also produced by hot isostatic pressing (HIP) at 1300°C and 100 MPa for 4 hours. Th⁴⁺ immobilization was most readily achieved under oxidizing conditions, with Th⁴⁺ preferentially incorporated within a pyrochlore-structured phase in the range 0.10 ≤ x ≤ 0.50, yet formation of the zirconolite-4M polytype was not observed. We report the novel synthesis of single-phase pyrochlore with nominal composition CaZr_0.40Th_0.60Ti₂O₇ when targeting x = 0.60. Th⁴⁺ incorporation under reducing conditions produced a secondary Th-bearing perovskite, comprising 24.2 ± 0.6 wt% of the phase assemblage when targeting x = 0.40, alongside 8.8 ± 0.3 wt% undigested ThO₂. Under reducing conditions, powder XRD data were consistent with zirconolite adopting the 3T polytype structure. The sample produced by HIP presented a nonequilibrium phase assemblage, yielding a major phase of zirconolite-2M alongside accessory Th⁴⁺-bearing phases ThTi₂O₆, ThO₂, and perovskite. These data highlight the efficacy of Th⁴⁺ as a Pu⁴⁺ surrogate, with implications for the formation of Zr-stabilized Th-pyrochlore phases as matrices for waste with elevated Th⁴⁺ content.     

Ongoing verification of a multiphysics community code: FLASH

When developing a complex, multi‐authored code, daily testing on multiple platforms and under a variety of conditions is essential. It is therefore necessary to have a regression test suite that is easily administered and configured, as well as a way to easily view and interpret the test suite results. We describe the methodology for verification of FLASH, a highly capable multiphysics scientific application code with a wide user base. The methodology uses a combination of unit and regression tests and an in‐house testing software that is optimized for operation under limited resources. Although our practical implementations do not always comply with theoretical regression‐testing research, our methodology provides a comprehensive verification of a large scientific code under resource constraints.Copyright © 2013 John Wiley & Sons, Ltd.     

Predicting the health risks related to whole-body vibration and shock: a comparison of alternative assessment methods for high-acceleration events in vehicles

In this paper, alternative assessment methods for whole-body vibration and shocks are compared by means of 70 vibration samples measured from 13 work vehicles, deliberately selected to represent periods containing shocks. Five methodologies (ISO 2631-1:1997, BS 6841:1987, ISO 2631-5:2004, DIN SPEC 45697:2012 and one specified by Gunston [2011], ‘G-method’) were applied to the vibration samples. In order to compare different evaluation metrics, limiting exposures were determined by calculating times to reach the upper limit thresholds given in the methods. Over 10-fold shorter times to exposure thresholds were obtained for the tri-axial VDV (BS 6841) than for the dominant r.m.s. (ISO 2631-1) when exposures were of high magnitude or contained substantial shocks. Under these exposure conditions, the sixth power approaches (ISO 2631-5, DIN SPEC, G-method) are more stringent than a fourth power VDV method. The r.m.s. method may lead to misleading outcomes especially if a lengthy measurement includes a small number of severe impacts. In conclusion, methodologies produce different evaluations of the vibration severity depending on the exposure characteristics, and the correct method must be selected.     

Evaluating and improving the effectiveness and efficiency of design process communication

Project information management research enables the efficient exchange of information, but does not effectively communicate process. Design process management research effectively communicates processes, but with methods too inefficient to be adopted in practice. The lack of methods for effective and efficient design process communication manifests as a struggle for Architecture, Engineering, and Construction industry professionals to: (1) collaborate within projects, (2) share processes between projects, and (3) understand processes across projects to strategically invest in improvement. These struggles motivate the paper’s first contribution: a research method for evaluating a design management methodology’s ability to effectively and efficiently communicate design processes. As a second contribution, this paper validates the Design Process Communication Methodology (DPCM). DPCM specifies elements and methods for exchanging and organizing digital information to support knowledge-intensive design processes. Cloud computing enables the operationalization of DPCM as a tool that enables interaction with a project’s information. Results from this operationalization demonstrate that designers employing DPCM accurately capture processes with little effort. When collaborating, improved process clarity and information consistency result in less rework, and positive iteration enables increased consideration of multi-disciplinary design trends. Designers share processes between project teams with fewer process mistakes. DPCM enables the understanding of processes providing more insights into the relationships between design integration and project performance; and more opportunities for strategic investment in improved processes.     

The natural history and fisheries ecology of Lake Chilwa,southern Malawi

Lake Chilwa produces between zero and 24,000 metric tons of fish per year, making it one of the most productive but variable lakes in Africa. The size of the lake varies seasonally and among years, sometimes drying completely. Its surrounding wetland and floodplain provide habitat for a diversity of birds and economically valuable grasses and reeds. When the lake has water, there is considerable activity on its shores and temporary fishing villages spring up. People move in and out of the lake basin in concert with these seasonal and longer term changes. This paper examines the environmental dynamics of Lake Chilwa and its surrounding wetlands, presents an overview of the socio-economic context of the area and discusses threats to this resilient system that might occur as a result of climate change. We conclude that management of Lake Chilwa must place the lake in the wider economic and ecological system in which it is situated. Ultimately, land-use practices within the basin present more of a threat to the resilience of the fishery and people's livelihoods than overfishing or a strict focus on the lake's resources. These perspectives present significant challenges to conventional fisheries governance.     

Adiabatic quantum optimization with qudits

Most realistic solid state devices considered as qubits are not true two-state systems. If the energy separation of the upper energy levels from the lowest two levels is not large, then these upper states may affect the evolution of the ground state over time and therefore cannot be neglected. In this work, we study the effect of energy levels beyond the lowest two energy levels on adiabatic quantum optimization in a device with a double-well potential as the basic logical element. We show that the extra levels can be modeled by adding additional ancilla qubits coupled to the original logical qubits, and that the presence of upper levels has no effect on the final ground state. We also study the influence of upper energy levels on the minimum gap for a set of 8-qubit spin glass instances.     

Scenario analysis and management options for sustainable river basin management: Application of the Elbe DSS

We developed a decision support system (DSS) for sustainable river basin management in the German Elbe catchment (～100,000 km²), called Elbe-DSS. The system integrates georeferenced simulation models and related data sets with a user friendly interface and includes a library function. Design and content of the DSS have been developed in close cooperation with end users and stakeholders. The user can evaluate effectiveness of management actions like reforestation, improvement of treatment plant technology or the application of buffer strips under the influence of external constraints on climate, demographic and agro-economic changes to meet water management objectives such as water quality standards and discharge control. The paper (i) describes the conceptual design of the Elbe-DSS, (ii) demonstrates the applicability of the integrated catchment model by running three different management options for phosphate discharge reduction (reforestation, erosion control and ecological-farming) under the assumption of regional climate change based on IPCC scenarios, (iii) evaluates the effectiveness of the management options, and (iv) provides some lessons for the DSS-development in similar settings. The georeferenced approach allows the identification of local inputs in sub-catchments and their impact on the overall water quality, which helps the user to prioritize his management actions in terms of spatial distribution and effectiveness.     

A principled approach to programming with nested types in Haskell

Initial algebra semantics is one of the cornerstones of the theory of modern functional programming languages. For each inductive data type, it provides a Church encoding for that type, a build combinator which constructs data of that type, a fold combinator which encapsulates structured recursion over data of that type, and a fold/build rule which optimises modular programs by eliminating from them data constructed using the buildcombinator, and immediately consumed using the foldcombinator, for that type. It has long been thought that initial algebra semantics is not expressive enough to provide a similar foundation for programming with nested types in Haskell. Specifically, the standard folds derived from initial algebra semantics have been considered too weak to capture commonly occurring patterns of recursion over data of nested types in Haskell, and no build combinators or fold/build rules have until now been defined for nested types. This paper shows that standard folds are, in fact, sufficiently expressive for programming with nested types in Haskell. It also defines buildcombinators and fold/build fusion rules for nested types. It thus shows how initial algebra semantics provides a principled, expressive, and elegant foundation for programming with nested types in Haskell.