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...

The purpose of this study is to understand the electrochemical corrosion behavior of 1wt% Cu content Al-6Si-0.5Mg alloy in 0.1M NaCl solution. The potentiodynamic polarization curves reveal that 1wt% Cu content alloy is less prone to corrosion than the Cu free alloy. The EIS test results show that corrosion resistance or polarization resistance (Rct) increases with the addition of 1wt% Cu to Al...

The effect of long period stacking ordered (LPSO) phase and γ' precipitates on the ageing behavior and mechanical properties of the extruded Mg-8.2Gd-3.8Y-1.0Zn-0.4Zr (wt.%) alloy was investigated. The results show that more β' phases precipitate during ageing treatment in the LPSO phase containing alloy so that the LPSO phase containing alloy exhibits a higher age-hardening response than the γ...