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

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

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

Materials and Methods: The study evaluated 10 samples each of fresh alloy, recast alloy with addition of 50% of wt. of new alloy and recast alloy without addition of new alloy. Samples were subjected to computerized Universal Testing Machine and mechanical properties viz. tensile strength, yield strength, percentage of elongation, modulus of elasticity and microhardness was tabulated. Data was ...

A novel hydrothermal layer-by-layer processing method for the fabrication of core/alloy nanoparticles with highly tunable surface plasmon resonance is described. For a model system of Au/Au(x)Ag(1-x), the processing temperature, alloy composition, and alloy thickness resulted in unique and tailorable plasmonic signatures. The discrete dipole approximation and selective alloy etching were used t...

Consider a substitutional solution of two metallic elements A and B. When the alloy is exposed to air at an elevated temperature, A oxidizes, but B does not. In the alloy, the two elements diffuse in opposite directions, but usually at different rates; the nonreciprocal diffusion is known as the Kirkendall effect. At the oxide-alloy interface, metallic atoms may either emit from or inject into ...

Recycling of aluminum alloys often decrease fluidity, consequently influence the castability of the alloy. In this study, the fluidity of Al-Zn alloys, such as the standard A713 alloy with and without scrap addition has been investigated. The scrap added was comprised of contaminated alloy turning chips. Fluidity measurements were performed with double spiral fluidity test consisting of gravity...

The bioactivity and the corrosion protection for a novel nano-grained Ti-20Nb-13Zr at % alloy were examined in a simulated body fluid (SBF). The effect of the SPS's temperature on the corrosion performance was investigated. The phases and microstructural details of the developed alloy were analyzed by XRD (X-ray Diffraction), SEM (Scanning Electron Microscopy), and TEM (Transmission Electron Mi...