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

We directly demonstrate an improvement in the radiative decay rate of dye molecules near multilayer hyperbolic metamaterials (HMMs). Our comprehensive study shows a radiative decay rate for rhodamine 800 (Rh800) that is several times higher due to the use of HMM samples as compared to dielectric substrates. This is also the first experimental demonstration that multilayer hyperbolic metamateria...

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.

Die corrosion has been a concern during aluminum alloy die casting. The casting parameters play significant role in causing corrosion, such as the temperature of melt and working time. In order to study effect time on dynamic behaviors, SDHA steel was stirred molten ADC12 at 650–800 °C. morphology product were investigated through X-ray diffraction (XRD) scanning electron microscope (SEM) obser...

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.

As an important mechanical property, tensile behavior has been regarded as indicator for the creep and thermal fatigue properties of Ni-based superalloys. The property superalloys is closely related to amount, size, distribution γ'-phase carbides. To further clarify deformation mechanism CM247LC alloy, this study investigated its solidification characteristics directionally-solidified heat-trea...

• The metal dusting corrosion resistance of Fe-based alloy is significantly improved. Development at each step explained by SEM, Raman and FIB/TEM/EDS/EELS. NS-SPD yields high density defects in the deformation zone near surface. Thermochemical treatment promotes formation a protective Cr-rich oxide scale. Combined thermochemical has been used to improve Incoloy 800. After testing under infinit...

In the present work, passive oxidation kinetics of silicon nitride α-Si3N4 and (α+β)-Si3N4 powders at different temperatures from 1000 to 1200 °C were evaluated. Oxidation these was carried out improve wettability pressureless infiltration AZ91E Mg-alloy. The kinetic constant (kp) values oxide layer depth calculated. constants kp, 9.11e-16 6.35e-16 kg2/m4s 4.25 nm 3.69 nm, for (α+β)-Si3N4, resp...

High-temperature titanium alloys are widely used in aerospace hot parts; however, the thermal barrier temperature of 600 °C limits its service temperature. In this paper, a two-step hot-dip plating method is proposed to prepare composite coating containing Ce on surface alloy, which can make oxidation resistance alloy reach 800 The microstructure, phase composition, and element distribution Ce-...