The joining of macroscopic films of vertically aligned multiwalled carbon nanotubes (CNTs) to titanium substrates is demonstrated by active vacuum brazing at 820 °C with a Ag-Cu-Ti alloy and at 880 °C with a Cu-Sn-Ti-Zr alloy. The brazing methodology was elaborated in order to enable the production of highly electrically and thermally conductive CNT/metal substrate contacts. The interfacial ele...

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.

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

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.

The rapid inward migration of fluoride ions in growing anodic titanium oxide under a high electric field has been elucidated by anodizing a Ti-12 at% silicon alloy, where film growth proceeds at nearly 100% efficiency in selected electrolytes. Further, incorporated silicon species in the anodic film are immobile, acting as marker species. The migration rate of fluoride ions is determined precis...

The hydrogen evolution reaction (HER) on Au with high chemical stability is activated by alloying it Ni. We evaluated the HER activity of AuNi surface alloy prepared at different temperatures single-crystal electrodes in 0.05 M H2SO4. potential cycle, including region Ni oxidative dissolution, further enhanced dealloying Ni, and depended structure substrate following order: AuNi/Au(100)<AuNi/Au...

Low-temperature (470 °C) gaseous carburization is successfully employed in surface hardening of a CoCrFeNi high entropy alloy. After low-temperature carburization, carburized case expanded face-centered cubic (FCC) structure, i.e., carbide-free supersaturated interstitial solid solution carbon (maximum ~3.0 wt%) FCC, forms the region Due to strengthening by interstitially dissolved atoms and st...

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

Effects of various surface treatments on hydrogen embrittlement 6061-T6 aluminum alloy were investigated. Rotary bending fatigue tests showed that electroless Ni-P plating reduced the strength considerably because absorbed into substrate by plating. These findings suggest possibility evaluating conducting rotary after

The inhibition effect and mechanism of cerium tartrate (CeTar) as a pigment in epoxy coating on AA2024-T3 aluminum alloy 3.5% NaCl solution were studied. Two kinds coatings applied the substrate, including single-layer with CeTar distributed uniformly double-layer composed an inner layer doped outer no CeTar. protective performances assessed by Machu test Electrochemical impedance spectroscopy ...