多项式组特征列的矩阵求法

基于矩阵多元多项式的带余除法,给出了代数情形多项式组特征列的一种新求法,并举例验证了这种方法的有效性.     

单调递增分形函数上、下界的估计

Mass distribution principle is one of important tools in studying Hausdorff dimension and Hausdorff measure.In this paper we will give a numerical approximate method of upper bound and lower bound of mass distribution function f(x)(it is a monotone increasing fractal function)and its some applications.     

一类次线性算子在非齐型空间上的弱Herz空间中的弱型估计

作者引入了非齐型空间上的弱Herz空间,并建立了一类次线性算子在这些空间中的弱型估计. 作为应用, 证明了由Calder\'on-Zygmund算子和$\os$函数生成的交换子在弱Herz空间中的弱型估计,其中$r\ge1$. 并且Orlicz空间$\os$当$r=1$时即为$\rb$空间;当$r>1$时为$\rb$的子空间.     

Krawtchouk多项式的渐近性态

在前人的基础上,对Krawtchouk多项式及其零点的渐近性态进行了研究.首先推导出对于任意固定的u=n/N∈(0,P)或(0,q)Krawtchouk多项式Kn(λN)(其中λ=xN,0<λ<1)的一致有效渐近展开式.然后又得到了它的零点的渐近性态,并对其相应的误差限进行分析.该误差限为o(n-4/3).     

连带Legendre函数的高精度计算

给出了昨数次整数阶连带Ｌｅｇｅｎｄｒｅ函数Ｐ＾ｖ＾ｍ（和Ｑζｃｏｓθ）的高精度算法。计算结果表明，在４８６以上的微机上，如采用双精度，至少可精确到小数点后９位有效数字。     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

L^p Estimates for Singular Radon Transforms with Rough Kernels

The purpose of this paper is to study the mapping properties of the singular Radon transforms with rough kernels. Such singular integral operators are proved to be bounded on Lebesgue spaces.     

The normal famility of mermorphic functions

Let F be a family of mermorphic functions in a domain D, and let a, b, c be complex numbers, a ≠ b. If for each f ∈ F, the zeros of f-c are of multiplicity ≥ k ＋ 1, and -↑Ef（k）（a） belong to -↑Ef （a）, -↑Ef（k）（b）belong to -↑Ef （b）, then F is normal in D.     

一类对称正交多带小波的构造

收稿考滤了一类多带正交对称小波滤波器对应多相矩阵分解结构,系统地构造了一类具有自由参数多带小波滤波器簇,以4带小波为例得到了用参数角表示的一类正交对称滤波器序列.     

亚纯函数涉及小函数的奇异方向

本文研究了平面上亚纯函数的奇异方向.利用角域内Ahlfors-Shimize特征函数和几个已有的关于函数增长性估计的引理,证明了复平面上的零级超越亚纯函数存在一条涉及小函数的T方向.推广了吴昭君和孙道椿给出的结果.