Search

This study investigated the corrosion behaviour of commercial and model Fe- and Ni-based alloys in solar salt at 600°C. The thermal decomposition of nitrate salts led to an increasing concentration of oxidizing agents in the salt melt and thus to a higher corrosion rate. For Fe-based alloys, the oxide scales contained a Na- and Fe-rich outer layer, followed by an inner Cr-rich layer and nitridation as well as Cr-depletion was observed at the scale/metal interface. Furthermore, higher extent of chloride impurities in solar salt, led to a significantly higher corrosion rate for ferritic-martensitic alloys. For Ni-based alloys, the formation of a duplex scale consisting of a NiO outer and Ni-Cr spinel layer showed protective character during isothermal exposure; however even for Ni-based alloys, Cr was detected in the salt melt, which showed evidence for its dissolution in the melt as toxic hexavalent Cr. Diffusion aluminide and electroless Ni-P coatings deposited on cost-efficient ferriticmartensitic alloys led to formation of protective oxide scales and hindered the Cr-dissolution into the salt melt. info:eu-repo/semantics/publishedVersion

In this paper we describe the design and implementation of feqb, a tool that synthesizes sound equality tests for inductive data types in the dependent type theory of the Coq system. Our procedure scales to large inductive data types, as in hundreds of constructors, since the terms and proofs it synthesizes are linear in the size of the inductive type. Moreover it supports some forms of dependently typed arguments and sigma types pairing data with proofs of decidable properties. Finally feqb handles deeply nested containers without requiring any human intervention.