This paper investigates the microstructures and the polarization behaviors of Al7.5Cr22.5Fe35Mn20Ni15 high-entropy alloy in 1M (1 mol/L) deaerated sulfuric acid (H2SO4), nitric acid (HNO3), and hydrochloric acid (HCl) solutions at temperatures of 30–60 ̋C. The three phases of the Al7.5Cr22.5Fe35Mn20Ni15 high-entropy alloy are body-centered cubic (BCC) dendrites, face-centered cubic (FCC) interd...

The microstructure, tensile, and creep behavior of a Ti-5Al-45Nb (at. pct) alloy was evaluated. The main objective of processing and characterizing this alloy was to obtain the constituent properties of a fully-b Ti-Al-Nb alloy to aid in modeling the tensile and creep properties of twophase orthorhombic + body-centered-cubic (O + bcc) alloys. A second objective was to compare the tensile and cr...

Segmented polyurethane(SPU)s are block polymers which have a good elastic property and thermoplasticity. However, the biocompatibility of SPU is not sufficient, and a living organism rejects the SPU as a foreign material. Thus, some modification is needed to provide excellent biocompatibility and retain the good physical characteristics of the SPUs. In this study, we blended the 2methacryloylox...

Microstructural and mechanical characterization of 10 vol% SiC particles (SiCp) reinforced 6061 Al-based composite fabricated by powder thixoforming (PTF) was investigated in comparison with the PTF and permanent mold cast (PMC) 6061 monolithic alloys. The results reveal that the microstructure of the PMC alloy consists of coarse and equiaxed α dendrites and interdendritic net-like eutectic pha...

It is common for the components in a homogeneous metallic alloy to separate at its surface. This phenomenon is known as surface segregation. For example, under certain conditions, the surface layer of atoms in a Cu85Pd15 is pure copper, while the second layer of atoms is 50% copper. The bulk retains its 85/15 composition. A depth-profile characterizes the surface segregation by describing the a...

The generality of Alloy’s relational logic and the full automation of its analysis have prompted several attempts to use Alloy as a backend engine for other tools. However, these efforts have been hampered by the Alloy Analyzer’s lack of 1) a clean API, 2) support for partial instances, and 3) a mechanism for sharing subformulas and subexpressions. Designed expressly as a plugin component, the ...

To define the formal semantics of a modeling language, one normally starts from the abstract syntax and then defines the static semantics and dynamic semantics. Having a formal semantics is important for reasoning about the language but also for building tools for the language. In this paper we propose a novel approach for this task based on the Alloy language. With the help of a concrete examp...

In this article, PtAg alloy nanoislands/graphene hybrid composites were prepared based on the self-organization of Au@PtAg nanorods on graphene sheets. Graphite oxides (GO) were prepared and separated to individual sheets using Hummer's method. Graphene nano-sheets were prepared by chemical reduction with hydrazine. The prepared PtAg alloy nanomaterial and the hybrid composites with graphene we...

This paper describes how Yices, a modern SAT Modulo theories solver, can be used to analyze the address-book problem expressed in Alloy, a first-order relational logic with transitive closure. Current analysis of Alloy models – as performed by the Alloy Analyzer – is based on SAT solving and thus, is done only with respect to finitized types. Our analysis generalizes this approach by taking adv...

For neutron scattering research that is performed under extreme conditions, such as high static pressures, high-strength metals that are transparent to the neutron beam are required. The diffraction of the neutron beam by the metal, which follows Bragg’s law, can be completely removed by alloying two metallic elements that have coherent scattering lengths with opposite signs. An alloy of Ti and...