Model transformations are one of the core artifacts of a model-driven engineering approach. The relational logic language Alloy has been used in the past to verify properties of model transformations. In this paper we introduce the concept of functional Alloy modules. In essence a functional Alloy module can be viewed as an Alloy module representing a model transformation. We describe a sublang...

The mechanical properties of the Akers type clasp, bar and frame made by the newly developed Ti-20Cr-0.2Si alloy were studied in order to obtain the indices for designing the cast partial denture base. In the case of the clasp, the bending strength of the Ti-20Cr-0.2Si alloy and pure Ti was lower than that of the Co-Cr alloy. The Ti-20Cr-0.2Si alloy and pure Ti may have the same retentive force...

We demonstrate experimentally a gating ratchet with cold rubidium atoms in a driven near-resonant optical lattice. A single-harmonic periodic modulation of the optical potential depth is applied, together with a single-harmonic rocking force. Directed motion is observed as a result of the breaking of the symmetries of the system.

We implement double electromagnetically induced transparency (DEIT) in rubidium vapor using a tripod-shaped energy-level scheme consisting of hyperfine magnetic sublevels of the 5S1/2-->5P1/2 transition. We show experimentally that through the use of DEIT one can control the contrast of transparency windows as well as group velocities of the two signal fields. In particular, the group velocitie...

in this paper, a novel method of producing bi-metallic alloy nanoparticles at low temperatures using hydrogen bombardment of thin films, deposited on glass substrates, is introduced. optical and morphological characteristics of the nanoparticles were extensively studied for various conditions of plasma treatment, such as plasma power density, temperature, duration of hydrogen bombardment, thick...

the openings of copper converter in sarcheshmeh copper complex in iranis made of a heat resisting austenitic steel (fe-25cr-12ni) and many failures have been reported. understanding the failure mechanism of the alloy helps to develop better alloys for similar complex environments. samples of as-cast alloy and those taken from failed ones were examined. optical microscopy (om), x-ray diffraction...

BACKGROUND Different adenosine stress imaging protocols have not been systemically validated for absolute myocardial perfusion and coronary flow reserve (CFR) by positron emission tomography, where submaximal stress precludes assessing physiological severity of coronary artery disease. METHODS AND RESULTS In 127 volunteers, serial rest-stress positron emission tomography scans using rubidium-...

Multiple quantum modes in correlated fields are essential for future quantum information processing and quantum computing. Here we report the generation of multi-mode phenomenon through parametric amplified four- and six-wave mixing processes in a rubidium atomic ensemble. The multi-mode properties in both frequency and spatial domains are studied. On one hand, the multi-mode behavior is domina...