Alloy is a formal modeling language based on first-order relational logic, with no native support for specifying reactive systems. We propose an extension of Alloy to allow the specification of temporal formulas using LTL, and show how they can be verified by bounded model checking with the Alloy Analyzer.

Lead-free selective soldering can result in extended times at high temperatures, which in turn can result in excessive dissolution of exposed copper, such as plated through holes. This phenomenon is more severe with lead-free, since the alloys have higher melting points, hence requiring longer times for the PTH to reach the higher temperatures, and the alloys typically have a greater capacity t...

BACKGROUND Modular neck adapters for hip arthroplasty stems allow the surgeon to modify CCD angle, offset and femoral anteversion intraoperatively. Fretting or crevice corrosion may lead to failure of such a modular device due to high loads or surface contamination inside the modular coupling. Unfortunately we have experienced such a failure of implants and now report our clinical experience wi...

The electronics industry is undergoing a materials evolution due to the pending Restriction of Hazardous Substances (RoHS) European Directive. Printed wiring board laminate suppliers, component fabricators, and printed wiring assembly operations are engaged in a multitude of investigations to determine what leadfree (Pbfree) material choices best fit their needs. The size and complexity of Pbfr...

There are errors in the Funding section. The correct funding information is as follows: This work was supported by National Natural Science Foundation of China (NNSFC31400091) (http://www.nsfc.gov.cn), Natural Science Foundation of Jiangsu Province (BK2012202) (http://www.jstd.gov.cn/), Chinese Postdoctoral Science Foundation (2013M540518) (http://res.chinapostdoctor.org.cn/BshWeb/index.shtml),...

Bulk metallic glasses (BMGs) show higher strength and lower Young's modulus than Ti-6Al-4V alloy and SUS 316L stainless steel. This study aimed to perform in vivo evaluations of Zr65Al7.5Ni10Cu17.5 BMGs for osteosynthesis devices. In the study for intramedullary implants, osteotomies of the femoral bones were performed in male Wistar rats and were stabilized with Zr65Al7.5Ni10Cu17.5 BMGs, Ti-6A...

Aleksandra ČAIROVIĆ Faculty of Dental Medicine University of Belgrade Clinic for Prosthodontics Rankeova 4, 11000 Belgrade Serbia [email protected] SUMMARY Introduction Increases in market prices of gold over the last 20 years have led to expansion of basic dental alloys, which, primarily due to their good mechanical properties and acceptable prices, have found their place in everyday...

PURPOSE The aim of the presented research was to find a combination of surface modification methods of implants made of the Ti-6Al-4V ELI alloy, that lead to formation of effective barrier for metallic ions that may infiltrate into solution. METHODS To this end, the following tests were carried out: roughness measurement, the voltamperometric tests (potentiodynamic and potentiostatic), and th...

Microstructure, wetting behavior and interfacial reactions between Sn–0.7Cu and Sn–0.3Ag–0.7Cu (SAC0307) solders solidified on Ni coated Al substrates were compared and investigated. Microstructure of Sn–0.7Cu alloy exhibited a eutectic matrix composed of primary β-Sn dendrites with a fine dispersion of Cu6Sn5 intermetallics whereas microstructure of SAC0307 alloy exhibited coarser Cu6Sn5 and f...