In vitro tensile bond strengths were determined for three adhesive cements and two resin-bonded bridge cements to two alloys, each prepared by two methods: sandblasted Ni-Cr-Be alloy (I), electro-etched Ni-Cr-Be alloy (II), sandblasted Type IV gold alloy (III), and tin-plated Type IV gold alloy (IV). Storage conditions of 24 hours at 37 degrees C and 30 days at 70 degrees C were evaluated. The ...

The Al-Mg-Ge alloy is one of the age-hardening aluminum alloy after solution heat treatment. It has been proposed that the age-precipitation behavior of Al-Mg-Ge alloy is different from that of Al-Mg-Si alloy according to our previous works about the microstructure on Al-Mg-Ge alloy over-aged at 523K. For example, The hardness of peak aged Al-1.0mass%Mg2Ge alloy is higher than that of Al-1.0mas...

Alloy is a new modeling language for software design, while Unified Modeling Language (UML) is a standard modeling language widely used in industry. This paper analyzes the similarities and the differences between Alloy and UML. It focuses on the complexity differences, accuracy differences, and the expression differences between these two languages. Both Alloy and UML can be used to specify th...

We propose VAlloy, an extension to the first order, relational language Alloy. Alloy is suitable for modeling structural properties of object-oriented software. However, Alloy lacks support for dynamic dispatch, i.e., function invocation based on actual parameter types. VAlloy introduces virtual functions in Alloy, which enables intuitive modeling of inheritance. Models in VAlloy are automatica...

The neotype magnesium alloy, Mg-Nd-Zn-Zr (NZK) alloy, was implanted into the rabbit femur to investigate its in vivo degradation behavior and biocompatibility. Seventy-two New Zealand white rabbits were randomly divided into the NZK alloy group, titanium alloy group and sham-operated group. Then NZK alloy rods were embedded in the rabbit femur in the NZK alloy group, titanium alloy rods were em...

Iron-nickel-chromium (Fe-Ni-Cr) alloy Haynes HR120 is an iron-nickel-based superalloy, which extensively used in gas turbines. Hence, the materials for fabrication of steam turbine blades should present great mechanical characteristics and creep properties. In this study, Fe-40Ni-24Cr was heat-treated at temperatures from 950 to 1250 °C. High temperature behavior microstructure evolution select...

We explore invariants as a linking mechanism between the business and technical service perspectives: From the business perspective, invariants can be used to model (business) requirements of an enterprise; from the technical perspective, invariants express the properties that must hold during the execution of a service. We propose an approach to enterprise service design that can be described ...

This article contains two main contributions. On the theoretical side, it presents a novel complete proof calculus for Alloy. On the applied side we present Dynamite, a tool that combines the semiautomatic theorem prover PVS with the Alloy Analyzer. Dynamite allows one to prove an Alloy assertion from an Alloy specification using PVS, while using the Alloy Analyzer for the automated analysis of...

*e-mail: [email protected] Current address: Department of Biochemistry and Microbiology, Institute of Biosciences, Universidade Estadual Paulista, Campus de Rio Claro, Av. 24A, 1515, Bela Vista, 13506-900 Rio Claro-SP, Brazil Current address: Embrapa Instrumentação Agropecuária, Rua XV de Novembro, 1452, 13560-970 São Carlos-SP, Brazil β-Lactam Antibiotics Epitope Mapping with STD NMR Spectr...

This work investigated the microstructure and elevated-temperature (400-475C) tensile and tensile-creep deformation behavior of a powder metallurgy (PM) rolled Ti-6Al-4V-1B(wt.%) alloy. The PM rolled Ti-6Al-4V-1B alloy exhibited a duplex microstructure, and it did not exhibit a strong α-phase texture compared with the PM extruded Ti-6Al-4V-1B alloy. The PM rolled Ti6Al-4V-1B alloy exhibited gre...