Formation of low-temperature deformation-induced segregations of nickel in Fe–Ni-based austenitic alloys

ABSTRACT

The authors present the results of an investigation in Fe–Ni-Cr austenitic alloys of the low-temperature deformation-induced segregations of nickel that form in the micro regions being (i) located close to grain- and subgrain boundaries and (ii) characteristic of the concentration and magnetic inhomogeneities indicated by the appearance of a dark diffraction contrast at the electron diffraction patterns taken from these regions typical (at the same time) of an enhanced value of Curie temperature. The observed effects were connected with the micro distortions caused by the local change of lattice parameter because of an increase in nickel concentration, as well as in the result of a magnetostriction dilatation. Using methods of the X-ray energy dispersive spectroscopy (XEDS) and atomic-probe body-section radiography (tomography – APT) has made it possible to determine the borders of those regions of austenite that were characteristic of an enhanced concentration of nickel in the fields of the localisation of a deformation-induced segregation of nickel in the vicinity of grain (subgrain) boundaries of austenitic alloys of the types Fe–13Cr–30Ni and Fe–37Ni–3Ti.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.     

Boundedness of semilinear Duffing equations at resonance in a critical situation

In this paper, we propose a sufficient and necessary condition for the boundedness of all the solutions for the equation $\ddot{x}+n^{2}x+g(x)=p(t)$ with the critical situation that $|{\int }_0^{2\pi }p(t)e^{?int}dt|=2|g(+\infty )?g(?\infty )|$ on g and p, where $n\in {\mathbb{N}}^{+}$, $p(t)$ is periodic and $g(x)$ is bounded.     

氢化丁苯共聚物结构的核磁共振波谱表征Ⅱ.微观结构的定量计算

在氢化丁苯共聚物¹³C-NMR谱脂肪碳部分谱带归属的基础上,根据各谱带的主要来源,推导出六个二单元浓度的计算公式。计算出二单元、一单元的相对含量,各结构单元的数均序列长度、嵌段含量和其它结构参数。加氢前后的¹H-和¹³C-NMR谱的组成计算结果基本一致。初步探讨了作为粘度指数改进剂的氢化丁苯共聚物微观结构与性能的关系,为合成提供了依据。     

固体力学有限元体系的结构拓扑变化理论

本文是文[1]的继续.文[1]提出了杆件系统的结构拓扑变化理论和拓扑变化法本文将这一理论和方法推进到连续体有限元体系;且在此基础上揭示出有限元体系的一个新性质,称为基本位移之梯度的正交性定理,从而给出一套设计敏度的显式表达式,可直接用于计算.     

用Riccati变换求解同调谐振子

利用Riccati变换求解同谐谐振子的定态薛定谔方程,求得了能谱及态函数 关键词： 同调谐振子 本征值谱 Riccati变换法     

Coxeter Transformation and Quasiquivers

Mathematical Notes -     

Hankel convolution operators on entire functions and distributions

In this paper we study the Hankel convolution operators on the space of even and entire functions and on Schwartz distribution spaces. We characterize the Hankel convolution operators as those ones that commute with Hankel translations and with a Bessel operator. Also we prove that the Hankel convolution operators are hypercyclic and chaotic on the spaces under consideration.