一种快速的素数生成和检验算法

就运算复杂度、报错率、实际运行效率等方面,对已有的素数检验算法进行了分析和比较.同时分析素数生成的相关算法,优化了ISO/IEC的生成算法并得到一个新的素数生成算法.     

脉冲中立型时滞微分方程的正解的存在性

本文证明了线性脉冲中立型微分方程 [y(t)+p(t)y(t-τ)-r(t)y(t-ρ)]′+q(t)y(t-σ)=0,t≥0,t≠t_k, y(t_k~+)-y(t_k)=b_ky(t_k),k=1,2,…正解的存在性等价于一类非脉冲中立型方程正解的存在性,应用这一结果,建立了此类线性脉冲中立型微分方程正解存在性的若干充分条件。     

Herstein定理的推广

1955年Herstein将著名的Jacobson定理推广为:定理A.如果对R中任意x,y,存在可依赖于x,y的整系数多项式p(t),使[x-x2p(x),y]=0,则R是交换的.本文利用多项式的系数和定义了n元多项式,f(x1,x2…,xn)的Fk性质,并以此证明了一个环的交换性定理,当n=1时,即得到定理A.     

Joint value-distribution theorems on Lerch zeta-functions. II

We give corrected statements of some theorems from [5] and [6] on joint value-distribution of Lerch zeta-functions (limit theorems, universality, functional independence). We also present a new direct proof of a joint limit theorem in the space of analytic functions and an extension of a joint universality theorem. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 3, pp. 332–350, July–September, 2006.     

Discrete Universality of L-Functions for New Forms

A Voronin-type discrete universality theorem for the L-functions of new forms is proved.     

BOCHNER TECHNIQUE IN REAL FINSLER MANIFOLDS

Using non-linear connection of Finsler manifold M, the existence of local coordinates which is normalized at a point x is proved, and the Laplace operator A on 1-form of M is defined by non-linear connection and its curvature tensor. After proving the maximum principle theorem of Hopf-Bochner on M, the Bochner type vanishing theorem of Killing vectors and harmonic 1-form are obtained.     

平面运动学位似运动Steiner公式的推广

对单参数闭平面复意义位似运动，给出了Muller提出的Steiner公式和混合面公式的表达式。利用推广的Steiner公式得到了位似运动的Holditch定理．作为特例，给出了Muller位似比h≡1时的结果。     

On Korovkin Type Theorem in the Space of Locally Integrable Functions

It is shown that a Korovkin type theorem for a sequence of linear positive operators acting in weighted space L _p,w (loc) does not hold in all this space and is satisfied only on some subspace.     

Empirical likelihood for partial linear models

In this paper the empirical likelihood method due to Owen (1988,Biometrika,75, 237–249) is applied to partial linear random models. A nonparametric version of Wilks' theorem is derived. The theorem is then used to construct confidence regions of the parameter vector in the partial linear models, which has correct asymptotic coverage. A simulation study is conducted to compare the empirical likelihood and normal approximation based method. Research supported by NNSF of China and a grant to the first author for his excellent Ph.D. dissertation work in China. Research supported by Hong Kong RGC CERG No. HKUST6162/97P.