The effect of Ni impurity on the self-diffusivity of bSn in the (1 0 1) symmetric tilt grain boundary is investigated. Using molecular dynamics simulations over a temperature range of 300–450 K. It is shown that Ni solute decreases the grain boundary self-diffusivity of bSn as the amount of solute in grain boundary increases. We also study the solute effect on the diffusive width of grain bound...

Low gold-content dental alloys nowadays represent viable alternatives to high nobility alloys. The casting techniques and equipment used for low-gold content alloys are similar to those used for conventional gold alloys. This, coupled with their acceptable properties, good clinical performance and lower cost, has lead to their widespread use. The alloy performance in the dental laboratory is an...

We present a systematic approach to fabricate a variety of magnetic nanoparticles with desirable structure and controlled magnetic properties based on our studies of the process kinetics. The morphology of binary alloy particles is dependent on their bulk thermodynamics—for immiscible heterogeneous systems sCo–Aud core-shell structures are obtained while miscible systems sFe–Ptd lead to alloy n...

Magnetoelastic alloy films have been used as a working electrode in an electrochemical cell. This material allows magnetic interrogation of electrochemical deposition. This technique was used to monitor the electrochemical deposition of polypyrrole by multisweep (CV) and potentiostatic methods. Since the determination of the mass-sensitive magnetoelastic film's resonance frequency is based on m...

Alloy is an increasingly popular lightweight specification language based on relational logic. Alloy models can be automatically verified within a bounded scope using off-the-shelf SAT solvers. Since false assertions can usually be disproved using small counterexamples , this approach suffices for most applications. Unfortunately, it can sometimes lead to a false sense of security, and in criti...

Semantics-preserving model transformations are usually proposed in an ad hoc way because it is difficult to prove that they are sound with respect to a formal semantics. So, simple mistakes lead to incorrect transformations that might, for example, introduce inconsistencies to a model. In order to avoid that, we propose a set of simple modeling laws (which can be seen as bi-directional transfor...