Nano-ZnO particle addition to monolithic magnesium for enhanced tensile and compressive response

In this study, the effects of nanoscale ZnO reinforcement on the room temperature tensile and compressive response of monolithic Mg were studied. Experimental observations indicated strength properties improvement due to nanoscale ZnO addition. A maximum increment in tensile yield strength by similar to 55% and compressive yield strength by 90% (with reduced tension-compression asymmetry) was achieved when 0.8 vol.% ZnO nanoparticles were added to Mg. While the fracture strain values under tensile loads were found to increase significantly (by similar to 95%, in case of Mg-0.48ZnO), it remained largely unaffected under compressive loads. The microstructural characteristics studied in order to comprehend the mechanical response showed significant grain refinement due to grain boundary pinning effect of nano-ZnO particles which resulted in strengthening of Mg. Texture analysis using X-ray and EBSD methods indicated weakening of basal fibre texture in Mg/ZnO nanocomposites which contributed towards the reduction in tension-compression yield asymmetry and enhancement in tensile ductility when compared to pure Mg. (C) 2014 Elsevier B.V. All rights reserved.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Effect of applied pressure on densification of monolithic ZrCx ceramic by reactive hot pressing

The effect of applied pressure on reactive hot pressing (RHP) of zirconium (Zr):graphite (C) in molar ratios of 1:0.5, 1:0.67, 1:0.8, and 1:1 was studied at 1200 degrees C for 60 min. The relative density achievable increased with increasing pressure and ranged from 99% at 4 MPa for ZrC0.5 to 93% for stoichiometric ZrC at 100 MPa. The diminishing influence of pressure on the final density with increasing stoichiometry is attributed to two causes: the decreasing initial volume fraction of the plastically deforming Zr metal which leads to the earlier formation of a contiguous, stress shielding carbide skeleton and the larger molar volume shrinkage during reaction which leads to pore formation in the final stages. A numerical model of the creep densification of a dynamically evolving microstructure predicts densities that are consistent with observations and confirm that the availability of a soft metal is primarily responsible for the achievement of such elevated densification during RHP. The ability to densify nonstoichiometric compositions like ZrC0.5 at pressures as low as 4 MPa offers an alternate route to fabricating dense nonstoichiometric carbides.