拟阵族N的分裂子M(K_5)

研究拟阵族N的分裂子M(K5)。先应用分裂子定理和拟阵的单扩张定理证明:若N={M:M是二元域拟阵且M不含有同构于F*7的拟阵},则F7是N的一个分裂子。据此证明了两个结论:1.若N={M:M是正则拟阵且M不含M(K3,3)-幼阵},则M(K5)是N的一个分裂子;2.M(K5)是EX(U2,4,F7,M(K3,3))和EX(U2,4,F7*,M(K3,3))的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。     

拟阵基关联图中的路

证明了如果M=(E,B)是一个简单拟阵，拟阵M的秩ρ=ρ(M)至少为2，E中的每一个元素都包含在M的某一个圈中，Δ(M)=Δ(E,B,F)为拟阵M的基关联图，则Δ(M)中存在一条路P，使得P覆盖E中的所有元素.     

f—M—余正则序列和f—余模

在对模的正则序列、余正则序列及f-正则序列性质学习与研究的基础上，定义了拟局部环（A,Ψ）（Ψ为A的唯一极大理想）上Artin模M的f-余正则序列并给出了一些简单性质，由此定义了一类模－f-余模，并将f-余正则序列用于一类特殊的广义分式模，得到了一个正合性原理。     

凸度量空间中的不动点和最佳逼近

讨论了凸度量空间上不动点的存在和最佳逼近问题.主要得到以下结论:设(X,d)是一个凸度量空间,F是X的非空闭子集,T:F→X是一个连续映射且T(F)包含于X的一个紧子集D中,则T有不动点当且仅当对每一个ε>0,T具有ε-不动点;设(X,d)是一个完备的一致凸度量空间,M是X的一个闭凸集,如果对每一个x∈X,PM(x)是单点集,那么最近点投影P:X→M是连续的;设(X,d)是严格凸度量空间,MX是非空闭集,且是T-正则的,如果T是紧自映射且u∈X使d(T(x),u)≤d(x,u),x∈M,那么M中每一个u的最佳逼近点都是T的不动点.     

序半群中的粗糙集

介绍了序半群中粗糙集的概念，这个概念是一般半群中子集的拓广，对给定的一个子集，给出了一个序半群的正则同余的关于该子集上下近似的定义，讨论了一些子集的运算和上下近似算子之间的关系，特别是当该子集是理想（左、右理想）时，他们的上下近似也是理想。     

拟阵(M-Z1)/Z2在Z+中的(F-Z1)-可流性

研究幼阵M′在Z+中的F′-可流性.首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C((M′)*)都有p′(D′∩F′)≤p′(D′-F′)被满足时,总可以找到满足{∑e∈C′,C′∈C′(F′)Φ′(C′)≥p′(e),若e∈F-Z1,∑e∈C′,C′∈C(F′)Φ′(C′)≤p′(e),若e∈E-(F-Z1). 的非负整数值函数Φ′(C′);E→Z+,从而M′是在Z+的F′-可流拟阵.     

欧拉函数的一个同余性质

本文获得欧拉函数的一个同余性质：设ａ，ｎ，ｒ是任意正整数，ａ≥２，ｎ≥２。那么这里ψ（ｍ）表示欧拉函数。     

Liouville定理的另一种证法

设Ω是Rn 上的一个开子集 ,如果Sobolev类映射 f∈W1,nloc(Ω ,Rn)是一拟正则映射 ;那么f或是一个常数 ,或是 Rn=Rn∪ {∞ }上M bius变换在Ω上的限制 .当维数n为偶数时 ,映射 f的正则性假定可降到 f∈W1,n/2loc (Ω ,Rn)的最弱情形     

面向投影时序逻辑的Web服务模型检测

为了满足Web服务的可靠性.利用投影时序逻辑的模型检测方法来验证Web服务.利用投影时序逻辑的一个可执行子集对OWL-S进行建模.用命题投影时序逻辑来描述期望的性质.模型M和性质P统一以投影时序逻辑来表示,通过判定M蕴含P的有效性,即判定M和非P的合取的不可满足性,亦利用M和非P的正则形可构造合取式的正则图,判定合取的不可满足性,从而达到模型检测的目的.通过运行实例表明,所提模型检测器可验证Web服务系统性质,保证Web服务的可靠性.     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0，b）及θ（a，1）的一个新的刻划，利用这个刻划，得到理想I=（d]是同余理想的充要条件，从而断定L的同余理想只能是正则理想．     

不包含K_(4,4)-图子式的环-4-连通三正则图的刻画(英文)

证明了如果一个环-4-连通三正则图不包含立方体图子式,则该图同构于V_n,n6和Petersen图,利用这个结果,将所有不包含K_(4,4)-图子式的环-4-连通三正则图分为三类:Petersen图、M(o|¨)bius带和定义的一类特殊图类.     

超可解群的两个充分条件

设X是群G的非空子集,群G的子群A称为在G中X—s半置换的,如果A在G中存在一个补充T,使得对于T的任意Sylow子群L,都存在z∈X满足AT^xp=T^xpA．利用这个概念给出有限群为超可解的两个新的充分条件．     

超环面图上的约束数

非空图G的约束数b(G)是指使得图G的控制数γ(G)增大而删除的最少的边数.[Fischermann M, Rautenbach D, Volkmann L. Remarks on the bondage number of planar graphs. Discrete Math,2003,260:57-67\]已经证明,对于一个围长为g(G)的平面图G,如果g(G)≥4则b(G)≤6,如果g(G)≥5则b(G)≤5,如果g(G)≥6则b(G)≤4,如果g(G)≥8则b(G)≤3.我们把这个结果推广到连通的超环面图中.     

Banach空间的一个新几何常数(英文)

设X是一个Banach空间,M是X的非空有界闭子集,称非负实数b关于X的向量拓扑τ和集,M有性质(pr):如果对所有x,y∈M及r>0,和M中τ收敛于x的序列≤br则,本文研究这种数的性质及其他结构常数的关系。     

Fuzzy半群中Fuzzy粗糙理想的性质

基于张文修（2001）半群中粗糙理想的概念与性质，本文首先给出FuzzY半群中点态化强Fuzzy同余关系和Fuzzy粗理想的定义，然后主要讨论了Fuzzy半群中两个非空Fuzzy子集积的Fuzzy粗理想的有关性质，进一步补充和完善了Fuzzy半群中粗糙集理论的数学结构．     

关于有限群的X置换子群

令A,B是一个群G的两个子群,X是G的一个非空子集,称A与B是X可置换的,如果存在X中的一个元x,使得ABx=BxA.对X置换子群和它们的一些应用进行了综合评述,介绍了一系列相关的重要成果和一些未解决的问题.     

带tt*-结构的Frobenius流形上两个平坦亚纯联络形式同构的存在性

超曲面奇异的半通用展开的基空间上可以自然赋予一个几何结构,Hertling把该结构公理化称之为CV-结构,并证明了该几何结构和基空间上的典范Frobenius流形是相容的,从而给出了CDV-结构。给定任意的CDV-结构M,在切丛的拉回丛H:=π*T(1,0)M上,有两个自然地平坦亚纯联络,且奇点只在{0}×M和{∞}×M上。如果该CDV-结构中的Frobenius流形结构是一个半单Frobenius流形时,这两个联络都是非正则的亚纯联络。通过已知的非正则平坦亚纯联络分类定理得到形式同构存在性定理:这两个自然的平坦亚纯联络是形式同构的。将给出该形式同构存在性定理的另一个证明:显式构造性证明。     

在一类限定3-正则图中:β≥ n/3

G（V，E）是一个图。如果点集I是V的子集且＜I＞是空图，则称I是独立集，如果点集X是V子集且N[X]=V，则称X是控制集。如果点集I是V的独立集且又是控制子集，则称I是独立控制集，即极大独立集，β(G)=max{|I|I是G的独立集}，称β(G)是图G的独立数。在不发生混淆的情况下，用β表示图G的独立数，可以证明：在限定3－正则图中，β≥n/3，其中n是图的阶。     

两图之联的End—正则性

讨论了２个图联图的Ｅｎｄ－正则性，得到了一个主要定理，即如果Ｘ＋Ｙ是Ｅｎｄ正则的，那么Ｘ与Ｙ皆Ｅｎｄ－正则，说明了此定理不逆不真，但对某些特殊的图Ｘ和Ｙ来说，此定理之逆成立。     

一类含两棵边不相交生成树的图

若C有一个生成子图是欧拉图,则称G是超欧拉图(supereulerian graph).用SL表示全体超欧拉图的集合.1995年,赖虹建(LAI Hong-jian)、陈志宏(CHEN Zhi-hong)提出一个关于欧拉生成子图边数的公开问题;决定:L=min max G∈SL-{K1}{|E(H)|/|E(G)|} : H是G的欧拉生成子图}定义了一些含两棵边不相交生成树的图Fi(i=1,2,3),证明了如果G∈F3,那么L≥2/3.