Alloy is a automatically analyzable modelling language based on first-order logic. An Alloy model can be translated into a Boolean formula whose satisfying assignments correspond to instances in the model. Currently, the translation procedure mechanically converts each piece of the Alloy model individually into its most straightforward Boolean representation. This thesis proposes a more efficie...

Phase equilibria of AZ91D Mg alloys for nonflammable use, containing Ca and Y, were carried out by using FactSage® and FTLite database, which revealed that solid solution treatment could be performed at temperatures from 400 to 450C. Solid solution treatment of AZ91D Mg alloy without Ca and Y was successfully conducted at 420C and supersaturated microstructure with all beta phase resolved into ...

A new fluoride releasing resin-ionomer cement was used for bonding of gallium alloy restorations in vitro. Etching, priming, and fluoride releasing resin-ionomer cement were used in the experimental group (ARG), prior to placement of the gallium alloy restorations. Three different controls were used: gallium alloy only (G), no etching, fluoride releasing resin-ionomer cement, gallium alloy (RG)...

Cobalt-nickel (Co-Ni) binary alloy nanowires of different compositions were co-deposited in the nanopores of highly ordered anodic aluminum oxide (AAO) templates from a single sulfate bath using alternating current (AC) electrodeposition. AC electrodeposition was accomplished without modifying or removing the barrier layer. Field emission scanning electron microscope was used to study the morph...

The chemical degradation of alloy components in sulfur-containing environments is a major concern in oil and gas production. This paper discusses the effect of elemental sulfur and its simplest anion, sulfide, on the corrosion of Cr-Mo alloy steel at pH 2 and 5 during 10, 20 and 30 h immersion in two different solutions. 4130 Cr-Mo alloy steel is widely used as tubing and tubular components in ...

Porous titanium (Ti) and titanium alloys are promising scaffold biomaterials for bone tissue engineering, because they have the potential to provide new bone tissue ingrowth abilities and low elastic modulus to match that of natural bone. In the present study, a new highly porous Ti6Ta4Sn alloy scaffold with the addition of biocompatible alloying elements (tantalum (Ta) and tin (Sn)) was prepar...

Natural ageing responses of duplex structured Mg-6%Li and Mg-6%Li-6%Zn-1.2%Y alloys have been investigated. Microstructural analyses revealed that the precipitation and coarsening process of α-Mg particles could occur in β-Li phases of both two alloys during ageing process. Since a certain amount of Mg atoms in β-Li phases were consumed for the precipitation of abundant tiny MgLiZn particles, t...

The composition dependence of the emission intensities was investigated in Cu-Ni as well as Ni-Zn binary alloy samples when a low-pressure argon laser-induced plasma was employed as the excitation source. The calibration curve in the Cu-Ni alloy system gave a linear relationship, implying that the selective evaporation of Cu or Ni atoms was caused less in those alloys having several chemical co...

It is shown that an electrodeposited Zn-Ni-Cd alloy coating produced from sulfate electrolyte inhibits the discharge of hydrogen on carbon steel. The newly developed ternary alloys have approximately ten times higher corrosion resistance when compared to a Zn-Ni alloy. Hydrogen permeation characteristics of Zn-Ni-Cd alloy coatings were studied and compared with those of a bare and a Zn-Ni alloy...

Normal temperature tensile and fatigue tests were adopted to test the mechanical performance and fatigue life of 2524 aluminum alloy under the three states of T3, artificial aging, and creep aging, and scanning electron microscope and transmission electron microscope were also used to observe the fatigue fracture morphology and aging precipitation features of the alloy under the above three sta...