BACKGROUND Several methods that are currently used for contouring analysis have problems providing reliable and/or meaningful results. In this paper a solution to these problems is proposed in a form of a novel measure, which was developed based on requirements defined for contouring studies. MATERIALS AND METHODS The proposed distance deviation measure can be understood as an extension of th...

Present work describes the structural stability and mechanical properties of Ni-based binary and ternary alloys. These alloys have been evaluated using first principles density functional theory (DFT) within generalized gradient approximation (GGA). The equilibrium lattice constant values of the phase in these alloys are in good agreement with the experimental data obtained by X-ray diffraction...

joining of titanium alloys to other materials especially steels has attracted much attention in recent years due to the exceptional properties of titanium such as excellent corrosion resistance and mechanical properties and its increasing application in various industries. according to the fe-ti binary phase diagram, these two elements do not have complete solubility. this leads to difficulties...

Binary transition metal dichalcogenide monolayers share common properties such as a direct optical bandgap, spin-orbit splittings of hundreds of meV, light-matter interaction dominated by robust excitons and coupled spin-valley states. Here we demonstrate spin-orbit-engineering in Mo(1-x)WxSe2 alloy monolayers for optoelectronics and applications based on spin- and valley-control. We probe the ...

The corrosion behavior of high stiffness NiTiCo shape memory alloys was systematically investigated in the present study including straight wires, wire formed stents, and laser cut stents. It was found that the corrosion behavior of NiTiCo alloys is comparable to that of binary NiTi. This is attributed to the small amount of cobalt used in the ternary alloy. Additionally, the corrosion resistan...

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

A series of molecular dynamics simulations of simple liquid binary mixtures of soft spheres with disparate-mass particles were carried out to investigate the origin of the marked differences between the dynamic structure factors of some liquid binary mixtures such as the Li0.7Mg0.3 and Li0.8Pb0.2 alloys. It is shown that the facility for observing peaks associated with fast-propagating modes in...

Alloy is a formal modeling language based on first-order relational logic, with no native support for specifying reactive systems. We propose an extension of Alloy to allow the specification of temporal formulas using LTL, and show how they can be verified by bounded model checking with the Alloy Analyzer.

Aluminum deoxidation equilibrium of molten Fe–Co alloy was experimentally measured using a chemical method and numerically assessed sub-regular solution model based on Darken’s quadratic formalism Redlich-Kister type polynomial at 1873 K. It found that the degree oxygen content reduction by Al-deoxidation decreased with increasing cobalt concentration in alloy, peaking around 40 to 60 mass% Co,...

There are errors in the Funding section. The correct funding information is as follows: This work was supported by National Natural Science Foundation of China (NNSFC31400091) (http://www.nsfc.gov.cn), Natural Science Foundation of Jiangsu Province (BK2012202) (http://www.jstd.gov.cn/), Chinese Postdoctoral Science Foundation (2013M540518) (http://res.chinapostdoctor.org.cn/BshWeb/index.shtml),...