The corrosion behaviour of 316L stainless steel coatings obtained by cold spray method was investigated in this study. 316L powders were deposited onto Al5052 aluminum substrates. The coatings were produced using nitrogen (N2) process gas. In order to further improve the corrosion and mechanical properties of the coatings, heat treatment was applied at 250 and 750 °C. The corrosion performances...

Abstract Cold spray is considered as an emerging technique for preparing wear-resistant metal matrix composite coatings on the surface of various kinds metallic materials. In this work, a viable strategy “cold spraying + hot rolling post-treatment” was successfully applied to prepare B 4 C/6061 Al coating commercially available 6061 plates. The results revealed that post-treatment in uniform di...

Conventional software model-checking involves (i) creating an abstract model of a complex application; (ii) validating this model against the application; and (iii) checking safety properties against the abstract model. To non-experts, steps (i) and (ii) are often the most daunting. Firstly how does one decide which aspects of the application to include in the abstract model? Secondly, how does...

Magnetic properties of uranium-based compounds are related to the character of the 5f electronic states, ranging between a localized character and itinerancy (see e.g. [1]). UFe2 is the first uranium compound reported to exhibit ferromagnetism [2]. The Curie temperature TC given by various authors differs in some extent, but remains in the vicinity of 160 K in most of cases (see [1] and referen...

Fan-Meshes (FM) are a kind of geometrical primitives for generating 3D model or scene descriptions that are able to preserve both local geometrical details and topological structures. In this paper, we propose an efficient simplification algorithm for the FM models to achieve fast post-processing and rendering of large models or scenes. Given a global error tolerance for the surface approximati...

Ellipsoids are important primitives used in visualization and modeling, where often a larger number of ellipsoids have to be displayed in real-time. The standard approach of tessellating each ellipsoid into a smooth polygonal mesh leads to unacceptable polygon counts that dramatically increase the rendering time. In this paper a method is proposed to splat ellipsoids perspectively correct. The ...