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

With the aim of applying to a magnetic core material, the effect of ribbon thickness on the magnetic properties of a (Fe, Co)-Si-B-P-Cu alloy ribbon was investigated. It is found that the Si addition in (Fe, Co)-Si-B-P-Cu nanocrystalline alloy increased the saturation magnetic flux density (Bs), but degraded the coercivity (Hc), suggesting that the Si addition should be suppressed to a little a...

The increasing interest in producing bimetallic nanoparticles and utilizing them in modern technologies sets the demand for fast and affordable characterization of these materials. To date Scanning Transmission Electron Microscopy (STEM) coupled to energy dispersive X-ray spectroscopy is usually used to determine the size and composition of alloy nanoparticles, which is time-consuming and expen...