Z is a well-defined and well-known specification language. Unfortunately, it takes significant expertise to use existing tools (such as theorem provers) to automatically check properties of Z specifications. Because Alloy is substantially similar to Z and the Alloy Analyzer offers a relatively simple method of model checking, we believe that Alloy should be largely employed in classes that teac...

The purpose of this study was to investigate the correlation between corrosion resistance and surface composition of an experimental Ti-20 mass% Cr casting alloy in a saline solution containing fluoride. The alloy had a greater resistance to corrosion in a fluoride-containing saline solution than did commercially pure titanium. However, with confirmed dissolution of titanium and chromium, it me...

INCONEL alloy 783 was annealed and aged following the standard heat treatment procedure. One set of specimens was then isothermally exposed at 500 degrees C for 3000 h. Mechanical properties were measured at room temperature and 650 degrees C, and the results showed the prolonged exposure increased the strength and decreased elongation of alloy 783. The microstructures of as-produced and expose...

The band structures of dilute-As AlNAs alloys with As composition ranging from 0% up to 12.5% are studied by using First-Principle Density Functional Theory (DFT) calculation. The energy band gap shows remarkable reduction from 6.19 eV to 3.87 eV with small amount of As content in the AlNAs alloy, which covers the deep ultraviolet (UV) spectral regime. A giant bowing parameter of 30.5 eV ± 0.5 ...

OBJECTIVES Micromechanical retention of resin cements to alloys is an important factor affecting the longevity of metal base restorations. This study aimed to compare the bond strength and etching pattern of a newly introduced experimental etchant gel namely Nano Met Etch with those of conventional surface treatment techniques for nickel-chrome (Ni-Cr) and high noble alloys. MATERIALS AND MET...

Over the years, aluminum content in a vehicle part is increasing due to the needs to reduce weight as well as increase fuel efficiency. Most of the cast product in a vehicle part is mostly cast from A356 alloy. It is used because A356 alloy posses’excellent characteristics over other type of alloy such as cast ability, high weight-to-strength ratio, good corrosion resistance and good weld-abili...

BACKGROUND Magnesium (Mg) alloy is a metal-based biodegradable material that has received increasing attention in the field of clinical surgery, but it is currently seldom used in intestinal anastomosis. This study was conducted to comprehensively assess a ternary magnesium (Mg)-zinc (Zn)-strontium (Sr) alloy's biological superiorities as a preparation material for intestinal anastomosis ring. ...

0261-3069/$ see front matter 2010 Elsevier Ltd. A doi:10.1016/j.matdes.2010.08.008 ⇑ Corresponding author. Address: School of Mechan ing, Nanyang Technological University, 50 Nanyang Republic of Singapore. Tel.: +65 6790 5588; fax: +65 E-mail address: [email protected] (Z.W. Zhon In this study, a rapidly solidified aluminum alloy was compared with beryllium copper and 6061 aluminum alloys in ...

Microstructure, precipitation hardening response, and mechanical and physical properties of Cu-Cr-Ag alloy and Cu-Cr-Ag-Ce alloy have been investigated using transmission electron microscopy, scanning electron microscope, optical microscope, electrical conductivity analysis, and tensile test. The influence of element Ce on the matrix refinement, impurity removal, and precipitation in the Cu-Cr-...

Bonding between laboratory light-cured composite and surface treated Au-Ag-Pd alloy was investigated using newly developed 4-META/MMA-TBB opaque resin. Shear bond strength after 20,000 thermocycles obtained from heated alloy with this method was 25.1 MPa. Ion-coated specimen showed 25.6 MPa after 50,000 thermocycles with decrease in bond strength being small. Ferric chloride treated specimen, h...