可分解平衡不完全区组设计RBIB的存在性理论

一个t-(v,k,λ)设计(X,■)是指由一个v元集X和一个X的子集族■所构成的序对,■中的元素为X的某些k元子集(称为区组),而且X中任意的t元子集都恰好被包含在λ个区组之中。2-设计就是在实验设计中经常用到的平衡不完全区组设计(BIB)。如果     

可分解三元系的嵌入

设X为一个v元集,A为由X的三元子集(叫作区组或三元组)作成的子集族。如果X中任意一对不同元素都恰好同时包含在λ个三元组中,则称序对(X,A)为一个λ重     

有限域上酉空间中子空间的不变量

设F_(q~2)是含q~2个元素的有限域,这里q是一个素数的幂。设F_(q~2)的对合自同构,它的固定子域是F_q。F_(q~2)上的n×n矩阵H叫做厄米特矩阵,如果这里表示将H的每个位置上的元素都用它在对合自同构(1)下的像来代替而得到的矩阵,而表示的转置矩阵。两个n×n厄米特矩阵H_1和H_2叫做合同,如果F_(q~2)上有n×n非奇异矩阵P,使。熟知,F_(q~2)上的n×n厄米特矩阵H一定和以下形状的一个矩阵合同:     

不可约单纯设计B[4,2;v]与B[4,3;v,]的存在性

所谓一个平衡不完全区组设计B[k,λ;v]是这样一个序对(X,(?)),其中X是一个包含v个元素的有限集,(?)是由X的k-子集(称为区组)组成的一个子集族,使得X中任意一对不同的元素同时包含于λ个区组中。若一个B[k,λ;v]不包含重复区组,则称为单纯的。     

可链连续体的小周期同胚

设所有空间都是度量空间,凡映射皆为连续的。连续体(continuum)意指紧致连通度量空间,紧致度量空间X可链(cbainable),如果ε>0,X都有一个ε-链覆盖。有限个     

标号可分解设计与可分解GD设计的构作

设V为包含v个元素的一个有限集,为V的一些k-子集(称作区组)组成的子集族,若V中任意一对不同的元素恰好在λ个区组中相遇,则称序对(V,(?))为一个平衡不完全区组设计,或简称为区组设计,记作S_λ(2,k;v)。     

n循环与n超可解群

R. Baer等曾讨论了n可换,n可解与n幂零群并得出一系列结果。但尚未见有文献提出n循环与n超可解群。本文给出n循环与n超可解群的定义及其若干结果。以下用符号G(n)表示群G的子集{x~n|x∈G},n—G表示群C的子集{x|x~n~i=e,i为某非负整数,e为G的单位元},P_a—G表示群G的子集{x|(o(x),n)=1},其中o(x)表示x的阶。若G=n—G,则称G为n群。若G=P_n—G,则称G     

S_p(4,p~n)的第一Cartan不变量

在模表示理论中,Cartan不变量的矩阵C是一个重要的研究课题,它的元素的性质尚未完全搞清。我们主要讨论B_2型Chevalley群S_p(4,p~n)的Cartan矩阵中的一个元素——C_(11)——第一Cartan不变量,它等于平凡模M(n,θ)在它的射影包R(n,θ)的合成列中的重数,即C_(11)~((n))=[R(n,θ):     

负相伴随机变量的不变原理

随机变量X_1,…,X_n称为是负相伴(NA)的,如果对R~n上的任意两个关于它们的每一个变量不减(或不增)的函数f_1和f_2,只要(?)=f_(?)(X_1…,X_n),j=1,2,都有有限的方差,就有无限个随机变量称为是NA的,如果它的任意有限子集是NA的.在许多与实际有关的模型(如可靠性理论、渗透模型和多元统计分析)中,都需要研究这类随机变量Matula等曾研究过NA序列的强大数律.最近,苏淳、赵林城和王岳宝对于一个具有有限方差的强平稳序列|X_n,n≥1|,通过建立若干有力的矩不等式,给出了它的弱收敛性.假设:     

乘域的一个性质

设m、n是正整数,n元集合F对于代数运算是闭的,即F是n元乘域。本文将证明: 定理 如果F的2m元子集G对此代数运算构成直积分解中仅有一个偶数阶群以及条件A:对于α∈F,β∈F\G,必有αβ∈F\G以及βα∈F\G的Abel群,则对于F中所有元素的任何两个排列α_1,…,α_n和b_1,…,b_n,相应的F′={a_1b_1,…,a_nb_n}≠F。     

无重复区组的可分解二重三元系

一、引言 所谓一个三元系S_λ(2,3;v)是一个序对(V,B),其中V是一个v元集,B是由V的一些3-子集(叫作三元组)组成的子集族,使得V的任一2-子集都恰好包含在λ个三元组中。 S_λ(2,3;v)中若干三元组若构成V的一个划分,则称为一个平行类。若B可划分成平行类,则S_λ(2,3;v)叫作可分解的并记作RS_λ(2,3;v)。若B的某个子集构成V\{x}的一     

AG(n,F_q)中的二次超曲面——q是奇素数幂的情形

设F_q是含q个元素的有限域,q是一个奇素数的幂,再设AG(n,F_q)是F_q上的n维仿射空间。设有二次方程     

2维de Bruijn-Good图的同态

令m,n是正整数,F_2是由0和1两个元素组成的有限域,F_2上的2维(m,n)阶deBruijn-Good图是一有向图,它的顶点集合V由F_2上的m×n阵组成,即 它的弧集合由下面的2个集合E_1和E_2组成:     

强可识语言族

Σ为一有限集,Σ~*表示Σ生成的自由么半群,Σ~*的元素与子集分别称为Σ上的字与语言,2~(Σ*)表示Σ~*的幂集,L(Σ)=2~(Σ*)—{φ}的子集称为Σ上的语言族。在人工智能中的一些问题的推动下,1974年Havet等人开创了语言的分支代数结构的研究,定义了有限分支自动机,从而导致了作为有限分支自动机识别的所谓可识语言族的研究;Havel在文献[2]中又引进了语言的相似度的概念,进而定义了语言之间的一种距离d,使(L(Σ),d)成一距离空间;文献[2]中还定义了语言族的一种替换性,并证明了,语言族是自相容的,当且仅当它具替换性且为L(Σ)的闭集。     

S_p(4,p~n)的第一Cartan不变量

在模表示理论中,Cartan不变量的矩阵是一个重要的研究课题,它的元素的性质尚未完全搞清。我们主要讨论B_2型Chevalley群S_p(4,P~n)的Cartan矩阵中的一个元素——C_(11)——第一Cartan不变量,它等于平凡模M(n,θ)在它的射影包R(n,θ)的合成列中的重数,即C_(11)~(n)=[R(n,θ):M(n,θ)]。当P充分大时,它是一个与p无关,只依赖于自然数n的值。Cheng和笔者分别计算了p=2和p≥7时,A_2型Chevalley群SL(3,P~n)及其扭群SU(3,P~n)的第一Cartan不变量;Chastkofsky用另外的方法得到了与     

一类泛函方程逐步逼近法的控制收敛定理

本文用矩阵谱半径这个重要数据建立一类泛函B_i(i=1,2,…,n)的乘积空间,x=col(x_1,x_2,…x_n)方程逐步逼近法的两个控制收敛性定理。∈B,意指x_i∈B_i(i=1,2,…n)可仿n维欧氏空间 设B(?)B_1×B_2…×B_n为n个Banach空间的三种赋范方式对B赋范。     

可分解设计RGD(4,3;v)的存在性

所谓一个可分组设计GD(k,m;v)是指这样一个有序三元组(V,G,B),其中V是一个v元集,G是V的一些m子集(称作组)的集合,B是V的一些k子集的集合,使得 (ⅰ) G构成V的一个划分; (ⅱ) V中任意一对取自G中不同组的元素恰好在唯一的一个区组中相遇。 给定一个GD(k,m;v),若B中的若干个区组构成V的一个划分,则称为一个平行     

Hamilton图泛圈性的Ore类条件

在本文中,所有的图都是简单图,未定义的术语是常见的。众所周知,一个n阶图G,若对任何点对x,y;xy(?)E(G)总有d(x)+d(y)≥n,则G是Hamilton图(Ore,1960);进一步,G是泛圈图或二部图~K(n/2),n/2(Bondy,1971年)。     

模n-王后问题中的部分n-解

z_n为以n为模的剩余类集,其元素简记为r、s、…,z_n×z_n的一个子集S={(r_i,s_i)|i=0,1,…,m—1}(0相似文献   

广义循环布尔矩阵半群的极大子群

本文所讨论的矩阵都是元素在布尔代数B={0,1}上的n×n矩阵。设r是一个非负整数。r-循环(广义循环)布尔矩阵是指元素a_(ij)∈B的这样一个矩阵A=(a_(ij)),其中除第一行外,其余各行元素都是由它们的前一