Abstract Three FeCrAl alloys and two chromia-formers (a stainless steel, a Ni-base alloy) have been exposed in four environments (dry air, air + 20% H 2 O, O Ar 95% N 5% ) for 168 h at 800 °C. The corroded samples were investigated by SEM/EDS, XRD gravimetry, the formation of CrO (OH) (g) was measured as function time using denuder technique. Fe-base alloy formed Cr-rich protective oxide scale ...

Additive manufacturing of alloys has gained attention by industry as it provides economical production complex-configuration engine parts with fewer joining steps and greater geometric freedom. The creep behaviour additively manufactured (AM) Inconel 625 718 at 650 800 °C was compared that the wrought alloy after 24 hour long-term tests up to about one year. is precipitation strengthened while ...

The corrosion behavior of uncoated, nickel (Ni) and nickel–phosphorous (Ni–P)-coated AISI 430 alloy was investigated in Ar–3%H2 Ar–3%H2–3%H2O atmosphere at 800 °C for 100 h. Microstructure, chemical composition, reaction products were analyzed by scanning electron microscopy, energy-dispersive spectroscopy, X-ray diffraction techniques. extent Ni–P-coated is higher than Ni-coated 430. Oxidation...

Abstract —Subduction of marine carbonates is accompanied by numerous transformations and interactions, including reactions with reduced mantle rocks. At depths 250–300 km, enter zones where metallic iron can be stable. The interaction metals one the mechanisms release elemental carbon formation diamond. These processes are also isotope fractionation result in a significant isotopic heterogeneit...

We present a case study where we use automated formal analysis to reason about problem-frame concerns. The descriptions of the problem domains, machine and requirements are written in the Alloy language. We show that an evaluation of results and counterexamples provided by a model finder can reveal useful information that can help remove inconsistencies as well as composition errors.

The ballistic response of the high strength, low alloy (HSLA-100) steel at ambient and temperatures of -400°C, -800°C and -1960°C is investigated in this work. Lambert-jonas equation is used to fit the experimental results into a curve. The effect of quenching on ballistic behavior of HSLA-100 is also studied. The experiments are conducted on 3mm thick rectangular specimens impacted by blunt ti...

Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. Motivation „ Formal techniques not yet widely adopted by programmers. „ Commercial pressure to produce higher quality software is increasing. „ Software developers favour so-called lightweight techniques that provide immediate returns and sit comfortably ...