Effect of surface nanocrystallization induced by fast multiple rotation rolling on hardness and corrosion behavior of 316L stainless steel

A nanostructured layer was fabricated by using fast multiple rotation rolling (FMRR) on the surface of 316L stainless steel. The microstructure in the surface was characterized by transmission electron microscopy and X-ray diffraction. The effects of FMRR on the microhardness, surface roughness and corrosion behavior of the stainless steel were investigated by microhardness measurements, surface roughness measurements, potentiodynamic polarization curves and pitting corrosion tests. The surface morphologies of pitting corrosion specimens were characterized by scanning electron microscopy. The results show that FMRR can cause surface nanocrystallization with the grain size ranges from 6 to 24 nm in the top surface layer of the sample. The microhardness of FMRR specimen in the top surface layer remarkably increases from 190 to 530 HV. However, the surface roughness slightly rises after FMRR treatment. The potentiodynamic polarization curves and pitting corrosion tests indicated that the FMRR treated 316L stainless steel with a surface nanocrystallized layer reduced the corrosion resistance in a 3.5% NaCl solution and enhanced the pitting corrosion rate in a FeCl₃ solution. Possible reasons leading to the decrease in corrosion resistance were discussed.     

Fine structure of the isoscalar giant quadrupole resonance in Ca due to Landau damping?

The fragmentation of the Isoscalar Giant Quadrupole Resonance (ISGQR) in ⁴⁰Ca has been investigated in high energy-resolution experiments using proton inelastic scattering at Ep=200 MeV$E_{\mathrm{p}}=200\text{MeV}$. Fine structure is observed in the region of the ISGQR and its characteristic energy scales are extracted from the experimental data by means of a wavelet analysis. The experimental scales are well described by Random Phase Approximation (RPA) and second-RPA calculations with an effective interaction derived from a realistic nucleon–nucleon interaction by the Unitary Correlation Operator Method (UCOM). In these results characteristic scales are already present at the mean-field level pointing to their origination in Landau damping, in contrast to the findings in heavier nuclei and also to SRPA calculations for ⁴⁰Ca based on phenomenological effective interactions, where fine structure is explained by the coupling to two-particle–two-hole (2p–2h) states.     

CZF does not have the existence property

Constructive theories usually have interesting metamathematical properties where explicit witnesses can be extracted from proofs of existential sentences. For relational theories, probably the most natural of these is the existence property, EP, sometimes referred to as the set existence property  . This states that whenever (∃x)?(x)$(\exists x)?(x)$ is provable, there is a formula χ(x)$\chi (x)$ such that (∃!x)?(x)∧χ(x)$(\exists !x)?(x)\wedge \chi (x)$ is provable. It has been known since the 80s that EP holds for some intuitionistic set theories and yet fails for IZF. Despite this, it has remained open until now whether EP holds for the most well known constructive set theory, CZF. In this paper we show that EP fails for CZF.     

Reverse mathematics and initial intervals

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We show that the left to right directions of these theorems are equivalent to _ACA0${\mathsf{ACA}}_0$ and _ATR0${\mathsf{ATR}}_0$, respectively. On the other hand, the opposite directions are both provable in _WKL0${\mathsf{WKL}}_0$, but not in _RCA0${\mathsf{RCA}}_0$. We also prove the equivalence with _ACA0${\mathsf{ACA}}_0$ of the following result of Erdös and Tarski: a partial order with no infinite strong antichains has no arbitrarily large finite strong antichains.     

Monotonicity of the reflected Bessel transition density on the diagonal

For α∈R$\alpha \in \mathbb{R}$, let p^R(t,x,x)$p^R(t,x,x)$ denote the diagonal of the transition density of the α$\alpha$-Bessel process in (0,1]$(0,1]$, killed at 0 and reflected at 1. As a function of x$x$, if either α≥3$\alpha \ge 3$ or α=1$\alpha =1$, then for t>0$t>0$, the diagonal is nondecreasing. This monotonicity property fails if 1≠α<3$1\ne \alpha <3$.     

Minimum K2, 3‐Saturated Graphs

A graph is K_{2, 3}‐saturated if it has no subgraph isomorphic to K_{2, 3}, but does contain a K_{2, 3} after the addition of any new edge. We prove that the minimum number of edges in a K_{2, 3}‐saturated graph on vertices is sat.