稀土及杂质元素对ZA27合金晶间腐蚀的影响

为了从本质上了解杂质与稀土元素对锌铝合金晶间腐蚀的影响 ,探索抑制合金晶间腐蚀的有效途径 ,依据晶界的大角度重位点阵理论编制出相应计算机软件 ,建立含稀土、杂质及 η相颗粒的α相大角度晶界原子集团模型 ,采用递归法计算了α相晶界间的电荷转移 ,由此讨论了杂质 (Pb、Sn、Cd)及稀土元素 (La、Y)对Zn、Al电极电位的影响 .结果表明 ,杂质Pb、Sn、Cd增大原子间的电荷转移量 ,提高Zn、Al电极电位差 ,加速合金的腐蚀 ,稀土元素减小原子间的电荷转移量 ,降低Zn、Al电极电位差 ,具有抑制晶间腐蚀的作用 .     

自然数幂方和用二项系数表示的系数公式

得到了自然数幂方和由二项系数表示的系数a_i~(k)的公式,和由排列数表示的系数b_i~(k)的公式,证明了系数存在唯一性及系数间的若干重要性质,给出了计算系数的C-语言程序.     

一类平面多项式微分系统赤道环量的代数递推公式

本文研究一类形式相当一般的平面多项式系统赤道环量(Gauss球面的无穷远点奇点量)的计算,建立了系统赤道环量计算的简明的线性代数递推公式.应用递推公式计算赤道环量,只需用系统系数做四则运算,避免了通常计算赤道环量需要的复杂的积分运算和解方程,极易用计算机代数系统作符号推导并且不含舍入误差.     

无简并微扰论公式的研究

本文介绍了Ｗｉｇｎｅｒ公式，Ｇｏｌｄｓｔｏｎｅ公式与Ｓｃｈｒｏｄｉｎｇｅｒ公式及其递推形式，比较表明，Ｓｃｈｒｏｄｉｎｇｅｒ公式的递推形式更容易利用计算机程序实现。文中还给出了逐级计算非连通项到任意级的方法。     

Recursion relations for the constrained multi-component KP hierarchy

In this paper, we define a new constrained multi-component KP(cMKP) hierarchy which contains the constrained KP(cKP) hierarchy as a special case. We derive the recursion operator of the constrained multi-component KP hierarchy. As a special example, we also give the recursion operator of the constrained two-component KP hierarchy.     

Recursion relations for the extended Krylov subspace method

The evaluation of matrix functions of the form f(A)v, where A is a large sparse or structured symmetric matrix, f is a nonlinear function, and v is a vector, is frequently subdivided into two steps: first an orthonormal basis of an extended Krylov subspace of fairly small dimension is determined, and then a projection onto this subspace is evaluated by a method designed for small problems. This paper derives short recursion relations for orthonormal bases of extended Krylov subspaces of the type K^m,mi+1(A)=span{A^-m+1v,…,A^-1v,v,Av,…,A^miv}, m=1,2,3,…, with i a positive integer, and describes applications to the evaluation of matrix functions and the computation of rational Gauss quadrature rules.     

Rice and Rice‐Shapiro Theorems for transfinite correction grammars

Hay and, then, Johnson extended the classic Rice and Rice‐Shapiro Theorems for computably enumerable sets, to analogs for all the higher levels in the finite Ershov Hierarchy. The present paper extends their work (with some motivations presented) to analogs in the transfinite Ershov Hierarchy. Some of the transfinite cases are done for all transfinite notations in Kleene's important system of notations, $\mathcal {O}$. Other cases are done for all transfinite notations in a very natural, proper subsystem $\mathcal {O}_{\mathrm{Cantor}}$ of $\mathcal {O}$, where $\mathcal {O}_{\mathrm{Cantor}}$ has at least one notation for each constructive ordinal. In these latter cases it is open as to what happens for the entire set of transfinite notations in $(\mathcal {O} -\mathcal {O}_{\mathrm{Cantor}})$.     

Nonlocal Symmetries of the Camassa-Holm Type Equations

A class of nonlocal symmetries of the Camassa-Holm type equations with bi-Hamiltonian structures, including the Camassa-Holm equation, the modified Camassa-Holm equation, Novikov equation and Degasperis-Procesi equation, is studied. The nonlocal symmetries are derived by looking for the kernels of the recursion operators and their inverse operators of these equations. To find the kernels of the recursion operators, the authors adapt the known factorization results for the recursion operators of the KdV, modified KdV, Sawada-Kotera and Kaup-Kupershmidt hierarchies, and the explicit Liouville correspondences between the KdV and Camassa-Holm hierarchies, the modified KdV and modified Camassa-Holm hierarchies, the Novikov and Sawada-Kotera hierarchies, as well as the Degasperis-Procesi and Kaup-Kupershmidt hierarchies.