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

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