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

In this study, the grindability of cast magnetic alloys (Fe-Pt-Nb magnetic alloy and magnetic stainless steel) was evaluated and compared with that of conventional dental casting alloys (Ag-Pd-Au alloy, Type 4 gold alloy, and cobalt-chromium alloy). Grindability was evaluated in terms of grinding rate (i.e., volume of metal removed per minute) and grinding ratio (i.e., volume ratio of metal rem...

An Aluminum based in-situ alloy reinforced with Mg2Si and Si hard particles produced by casting Al-6Si-0.5Mg alloy. The microstructure, tensile properties and fracture behavior of the alloy were investigated and the results show that the Mg2Si and Si hard particles produced by precipitation hardening have great effects. The homogenized (24hr at 500 o C) and solutionized (2hr at 540 o C) cast al...

In this study we examined the hypothesis based on relevant literature survey that the in vitro corrosion behavior of a Cobalt-chrome dental casting alloy for metal-ceramic restorations is better than that of a Nickel-chrome dental casting alloy. The corrosion released metal ions were analysed by Inductively Coupled Plasma-Atomic Emission Spectroscopy. Moreover, the specimens were electrochemica...