Q_k(x)与F_k(x)的渐近公式

设ｎ，ｋ为自然数，Ｇ（ｎ）阶群中的同构类数，Ｆｋ（ｘ）与Ｑｋ（ｘ）分别表示不超过ｘ的自然数中使Ｇ（ｎ）＝ｋ的自然数、无平方因子自然数的个数．本文的目的是用Ｂｒｕｎ筛法证明Ｑｋ（ｘ）的条件渐近公式并对Ｆｋ（ｘ）的渐近性质做出了推测．     

C~*-代数的实完全等距映射

C*-代数的*-同构一定是(完全)等距映射,反之不然.本文证明了C*-代数的实完全等距映射能够完全决定C*-代数*-同构的结论.     

The structure and distances in Yule recursive trees

Based on uniform recursive trees, we introduce random trees with the factor of time, which are named Yule recursive trees. The structure and the distance between the vertices in Yule recursive trees are investigated in this paper. For arbitrary time t > 0, we first give the probability that a Yule recursive tree Y_t is isomorphic to a given rooted tree γ; and then prove that the asymptotic distribution of ζ_t,m, the number of the branches of size m, is the Poisson distribution with parameter λ = 1/m. Finally, two types of distance between vertices in Yule recursive trees are studied, and some limit theorems for them are established.© 2007 Wiley Periodicals, Inc. Random Struct. Alg., 2007     

A remark on CD 0(K)-spaces

A representation of the CD ₀(K)-space is given in [1, 2] for a compact Hausdorff space K without isolated points. We generalize this to an arbitrary countably compact space K without any assumption on isolated points.     

Some Linear Isomorphism Theorems for Certain 2nth-Order Nonsymmetric Differential Operator with Parameter

本文给出了一类带参数２ｎ阶非对称微分算子Ａλ的一些正则性定理，籍此可刻画一类飞行器在其运行过程中的双向平稳行为．     

The 1-Lipschitz mapping between the unit spheres of two Hilbert spaces can be extended to a real linear isometry of the whole space

LetE andF be Hilbert spaces with unit spheresS ₁(E) andS ₁(F). Suppose thatV ₀ S₁(E) →S ₁(F) is a Lipschitz mapping with Lipschitz constantk=1 such that −V ₀[S ₁(E)] ⊂V ₀[S ₁(E)]. Then V₀ can be extended to a real linear isometric mappingV fromE intoF. In particular, every isometric mapping fromS ₁(E) ontoS ₁(F) can be extended to a real linear isometric mapping fromE ontoF.     

On Sequential Separability

A new criterion for the sequential separability of the space C(X) of continuous real-valued functions on X in the topology of simple convergence is obtained.     

刚粘塑性强化球形薄壳在撞击体作用下的大变形动力分析

本文研究了在平头圆柱体的冲击下，薄球形壳的动力大变形。通过等度量变换，给出了球壳的变形模态。在Ｐｅｒｚｙｎａ和Ｓｙｍｏｎｄｓ的粘塑性本构模型基础上，设材料从Ｍｉｓｅｓ屈服条件，并假定弯矩的膜力不耦合。根据刚粘塑性强化材料的变分原理。给出球壳的运动方程结果与实验进行了比较，二者吻合较好。     

基于格半群的有限状态自动机的同态

本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.     

图模式挖掘中的子图同构算法

图模式挖掘问题在Web挖掘、生物信息学、社会关系等众多领域有广泛的应用,它涉及到子图的搜索以及子图的同构问题.这两个问题都具有相当高的计算复杂度,现有的子图同构问题大多采用最小编码算法,但对无标签图特别是对无标签无向图,该算法效率较底,从而子图的同构成为图模式挖掘问题的一个瓶颈.针对无标签图,以代数理论为基础,分别利用度序列和特征值构造了两种子图同构算法,用于对有向图和无向图的同构判别.最后对2个真实生物网络进行了仿真实验,结果表明,算法的效率优于现有算法.