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

Recrystallized binary Mo-0.2 wt.% Si (Mo-0.68 at.% Si) and Mo-0.3 (Mo-1.0 alloys a ternary Mo-0.75 Si-0.14 B (Mo-2.5 Si-1.2 B) alloy were tested in uniaxial tension as function of temperature vacuum the results are compared to previous on recrystallized commercial purity (CP) Mo Mo-0.1 (Mo-0.34 solid solution alloy. Yield strength increases with increasing content at all temperatures examined e...

Abstract TC4 titanium alloy and AA6061 aluminum are widely used in the transportation industry because of their excellent mechanical properties lightweight. In this work, was solution heat treated between 800 °C 990 for 1 h, water cooled to room temperature. The riveting tensile tests at temperature were conducted evaluate joint performance. strength failure morphology discuss performance joint...

In this work, a process of cold rolling with 70% thickness reduction and different annealing temperatures was selected to regulate the microstructure Ti-3wt%Cu alloy. Microstructural evolution, mechanical properties antibacterial alloy under conditions were systematically investigated in terms X-ray diffraction (XRD), scanning electron microscope (SEM), transmission (TEM), tensile test. The res...

The authors report on the evaluation of oxide scale and interface microstructure a Cr–Nb–Ta–V–W refractory high entropy alloy (HEA) at elevated temperatures. HEA is oxidized 700 800 °C in lab air substrate/oxide investigated. Combined situ X-ray diffraction (XRD) coupled with ex scanning electron microscopy (SEM) energy dispersive spectrometry (EDS) analyses characterize confirm phases present ...

Abstract This paper studies the effect of solution temperature on microstructure and mechanical properties TB10 titanium alloy bars. The results show that is composed β phase primary α (α p ) when treatment below transition temperature. With increase temperature, grain size in increases, thickness boundary decreases, number decrease, so strength decreases plasticity increases. When 800°C, retic...