In this study, magnesium-zinc (Mg-Zn) alloy was investigated as a biodegradable orthopedic implant. MC3T3-E1 cell attachment, mineralization and osteogenic-specific mRNA expression were assessed for as measurements of the in vitro biocompatibility of Mg-Zn alloy. In vivo degradation of the Mg-Zn alloy and the accompanying new bone formation in the femoral marrow cavity were analyzed by scanning...

The basis for developing a new dental alloy with high Au content is appropriate chemical composition and manufacturing technology. The demands which have to be met when developing a new dental alloy are linked with fulfilling the necessary requirements for making the alloy suitable for use in metal-ceramic restorations. Due to the stress generated by masticatory forces, alloys for dental restor...

This report presents a translation from UML class diagrams [OMG15, Rum16] to Alloy modules [Jac06] and a translation from Alloy instances back to UML object diagrams. An overview of the translation was first presented in [MRR11a] and applied in [MRR11b] to semantic differencing of class diagrams. It supports an extended list of CD language features, including, e.g., directed associations, compo...

The present work demonstrates that friction stir welding (FSW) is a feasible route for joining 6061 aluminium (Al) alloy to AISI 1018 steel. The weld has a good weld quality and is free of cracks and porosity. The tensile failure happened at the boundary between the nugget and thermomechanically affected zone of the base Al alloy, indicating that the weld has a higher joining strength. Despite ...

We report quantitative measurements of the impact of alloy disorder on the ν = 5/2 fractional quantum Hall state. Alloy disorder is controlled by the aluminum content x in the Al(x)Ga(1-x)As channel of a quantum well. We find that the ν = 5/2 state is suppressed with alloy scattering. To our surprise, in samples with alloy disorder the ν = 5/2 state appears at significantly reduced mobilities w...

Ageing of 75% cold rolled Al-6Mg alloy with ternary 0.4 wt% scandium and quaternary zirconium and titanium has been carried out. Alloy samples are naturally, isochronally and isothermally aged for different time and temperatures. Hardness values of the differently processed alloys have been measured to understand the ageing behavior of Al-6Mg alloy with scandium and quaternary zirconium and tit...

This study aimed to examine the shear bond strength between cobalt chromium alloy and autopolymerizing acrylic resin using experimental primers containing 5, 10, and 15 wt% of 4-methacryloxyethyl trimellitic anhydride or 1, 2, and 3 wt% of 3-methacryloxypropyl-trimethoxysilane comparison to 5 commercial primers (ML primers, Alloy primer, Metal/Zirconia primer, Monobond S, and Monobond plus). Si...

The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state, suggesting a transition-system semantics. Because Alloy does not intrinsically provide a notion of state, however, this interpretation is only implicit in the relational-algebra semantics underlying the Alloy Analyzer. In this ...

In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abs...

Metal nanoparticles (NPs) are of great interest due to their special optical, [ 1–3 ] electronic, [ 4–8 ] and catalytic [ 9,10 ] properties. [ 11 ] Among metal NPs, Au NPs have been investigated most extensively because of their facile preparation, resistance to oxidation, and surface plasmon resonance (SPR) band that can absorb and scatter visible light. [ 3 ] Core/ shell and alloy bimetallic ...