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

The material flow and microstructural evolution in the friction stir welds of a 6061-Al alloy to itself and of a 6061-Al alloy to 2024-Al alloy plates of 12.7 mm in thickness were studied under different welding conditions. The results showed that plastic deformation, flow, and mechanical mixing of the material exhibit distinct asymmetry characteristics at both sides of the same and dissimilar ...

An hypereutectic Al-18Si alloy was modified via an Al-3B master alloy. The effect of the added Al-3B and the modification temperature on the microstructure, tensile fracture morphologies, and mechanical properties of the alloy were investigated using an optical microscope, Image-Pro Plus 6.0, a scanning electron microscope, and a universal testing machine. The results show that the size of the ...

objective(s):   metal nanoparticles (nps) offer a wide variety of potential applications in pharmaceutical sciences due to the unique advances in nanotechnology research. in this work, bimetal ag-au alloy nps were prepared and their combinations with other antibiotics were tested against staphylococcus aureus.   materials and methods: firstly, ag-au alloy nps with au/ag molar ratio of 1:1 was f...

The puprose of this study was to evaluate retention force of conical double crowns in two material connections: gold casting alloy/gold casting alloy and gold casting alloy/gold electroforming alloy. 12 crown pairs of both material connections with the cone angles of 2°, 4° and 6° were made. Experiment of 10.000 in-and-out cycles was performed using a new device which allows the retentive force...