To evaluate a Ni-43.5wt%Ti alloy as a new alloy for cast clasp, the fatigue properties of its castings were examined and compared with those of Co-Cr and Type IV Au alloys castings. The Ni-Ti alloy was cast into a phosphate-bonded investment mold using an argon-arc melting and pressure casting machine. The Ni-Ti alloy castings showed superelasticity in bending tests. Fatigue tests were carried ...

Cr-Fe-C alloy deposits were successfully prepared on high-carbon tool steel in a Cr3+-based electroplating bath containing Fe2+ ions and suitable complex agents. A Cr-based alloy deposit was obtained with an electroplating current density higher than 25 Adm-2, and a Fe-based alloy deposit was obtained using a current density of 20 Adm-2. Following electroplating, these alloy deposited specimens...

Microstructural and electrical properties of Cu-chromium alloy (Cu-Cr) dispersed with vapor-grown carbon fiber (VGCF) prepared by powder metallurgy (P/M) process have been investigated. Cu-0.7 mass% Cr pre-alloyed powder (Cu-Cr) made by water atomization process was used as raw materials, which contained solid solute Cr elements in Cu matrix. The alloy powder coated with un-bundled VGCF by usin...

Al-5Ti-C master alloy was prepared and used to modify hypereutectic Al-20%Si alloy. The microstructure evolution and mechanical properties of hypereutectic Al-20%Si alloy with Al-5Ti-C master alloy additions (0, 0.4, 0.6, 1.0, 1.6 and 2.0 wt%) were investigated. The results show that, Al-5Ti-C master alloy (0.6 wt%, 10 min) can significantly refine both eutectic and primary Si of hypereutectic ...

We reported a one-pot, environmentally friendly method for biosynthesizing nanoscale Au-Ag alloy using chloroplasts as reducers and stabilizers. The prepared nanoscale Au-Ag alloy was characterized by UV-visible spectroscopy, X-ray diffraction (XRD) and high resolution transmission electron microscopy (HR-TEM). Fourier transform infrared spectroscopy (FTIR) analysis was further used to identify...

In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abs...

This article contains two main contributions. On the theoretical side, it presents a novel complete calculus for Alloy. On the applied side we present DYNAMITE, a tool that combines the semi-automatic theorem prover PVS with the Alloy Analyzer. DYNAMITE allows one to prove Alloy assertion from Alloy specifications, while using the Alloy Analyzer for the automated analysis of hypotheses introduc...

Study of the corrosion behaviour of a magnetron sputtered Al–Cu/Al–Cu–Mg model alloy couple in sulphate solutions has been undertaken to gain insight into the galvanic coupling between the matrix and SAl2CuMg particles in the 2024 aluminium alloy (AA2024). Polarisation curves and local electrochemical impedance spectroscopy measurements (LEIS) were performed on the individual alloys and on the ...

Using GaxIn1-xP as a prototype system, we present the first systematic examination of the alloy scattering effects on the global electronic structure of a semiconductor alloy for the whole composition range. Contrary to conventional wisdom, many electronic states in such a "well behaved" alloy are found to differ drastically from a Bloch state, including band edge states that are derived from d...

Corrosion behavior of friction stir processing (FSP) WE43 alloy in a simulated body fluid (SBF) was investigated. Micro-galvanic corrosion was the dominated corrosion behavior, and the corrosion resistance of FSP WE43 alloy was improved compared to the cast counterpart. Furthermore, due to the fine-grained and homogeneous microstructure, uniform corrosion morphology was observed on FSP WE43 all...