2~n+2阶Mendelsohn三元系大集的构造

设X是一个v元集(v≥3)。X的一个循环三元组是由三个有序对(x,y),(y,z),(z,x)组成的一个集,其中x,y,z是X的不同元。我们记它为〈x,y,z〉或〈y,z,x〉或〈z,x,y〉。X上的一个Mendelsohn三元系是一个对子(X,B),其中B由X的若干循环三元组构成,使得X的每个(由不同元组成的)有序对恰在B的一个循环三元组中。我们记它为MTS(v)。已经知道MTS(v)存在当且仅当v≡0或1(mod3),v≥3 v≠6。如果     

可分解三元系的嵌入

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

互不相交的transitive三元系大集

设X是一个v元集(v≥3)。X的一个transitive三元组是三个有序对(x,y),(y,z),(x,z)的集,其中x,y,z是x的相异元,通常将此三元组记为(x,y,z)。一个transitive三元系指的是一个有序对(X,％),其中％是X的一些transitive三元组的集     

对称Mendelsohn三元系和Mendelsohn三元系大集

一个v阶Mendelsohn三元系MTS(v)=(S,(?)),若存在a,b∈S使得则称其为对称的Mendelsohn三元系,记为SMTS(v)。若存在同一个v元集上两两无公共循环三元组的v-2个MTS(v)(SMTS(v)),则称它们为v阶(对称)Men-     

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

一、引言 所谓一个三元系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}的一     

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

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

循环Mendelsohn三元系的存在性

所谓一个v阶λ重的Mendelsohn三元系,记作MTS(v,λ)是指这样一个序对(V,B),其中V是一个v元集。     

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

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

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

自由格的若干定理

格的一个等式类K上由一个弱偏格生成的自由格的定义可以按自由代数的理论或仿照K上由偏格生成的自由格的定义来给出。 定理1(存在定理) 设u=相似文献   

代数系坡的理想的一些结果

本文介绍代数系坡的理想理论的主要结果。定义1 代数系(P; ,·)称为坡是指:1) (P; )是一个半格;2) (P;·)是一个交换半群;3) a·(b c)=a·b a·c;4)a·b a=a。若对于加法和乘法存在单位元,则称为具单位元的坡。本文仅讨论具单位元的坡。     

可分解设计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的一个划分,则称为一个平行     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

谢氏超晶石:一种FeCr_2O_4高压多形新矿物

新矿物谢氏超晶石(xieite)产自于随州陨石冲击脉体中,属于斜方晶系,空间群为Bbmm,晶胞参数:a=9.462(6),b=9.562(9),c=2.916(1).矿物实测化学式为(Fe0.87Mg0.13-Mn0.01)1.01(Cr1.62Al0.25Ti0.08V0.02)1.97O4,简化式为FeCr2O4.X射线衍射的特征谱线[d(),I/I0]:(2.675,100),(2.389,20),(2.089,10),(1.953,90),(1.566,60),(1.439,15),(1.425,15),(1.337,40).在冲击波引起的高温高压作用下,谢氏超晶石通过固态反应从铬铁矿转变形成,是FeCr2O4的高压多形矿物相.共生高压矿物有林伍德石、镁铁榴石、玲根石和涂氏磷钙石等,形成的压力和温度条件分别为18～23GPa和1800～1950℃.谢氏超晶石已获国际矿物协会新矿物、命名与分类委员会批准(IMA2007-056),该矿物以中国矿物学家谢先德教授的姓氏命名。     

四元整数环上二维线性群的自同构

设K是有理四元数体,即形为a bi cj dk(其中a,b,c,d均为有理数)的四元数全体。令R={(1/2)(a bi cj dk)∈K|a,b,c,d全为奇数或全为偶数},则R叫四元整     

3-GDD大集存在的谱

一个可分组设计GDD(t~u)是一个三元组(X,(?),(?)),它满足如下条件:(1)X是一个tu元点集;(2)(?)将X分拆成u个t子集,(?)中元称为组;(3)(?)是X的3子集簇,(?)中元称为区组,使得对任意B∈(?)及任意G∈(?),|B∩G|≤1,且X的任意不含在同一组内的2子集恰含在一个区组中.具有相同组集的两个GDD(t~u)(X,(?),(?))及(X,(?),(?))称为不相交的,若(?)∩(?)=φ.     

绝对稳定性理论中S手续的无亏损性问题

考虑直接控制系统(?)=AX-b(?)(σ),σ=C’X,(1)其中A∈R~(nxn),A稳定,b,c∈R~n,且(A,b)能控,(?)(σ)∈F_∞(?){(?)(σ):R→R连续;(?)(O)=0;(?)(O)=0;σ(?)(σ)≥0}.研究系统(1)的绝对稳定性有两种基本方法,一种是用Lurie型Lyapunov函数,即若存在     

关于丢番图方程a~x+b~y=c~z

对于丢番图方程a~x b~y=c~z,a,b,c是不同的素数(1)Nagell曾经给出max(a,6,c)<11时的全部非负整数解(x,y,z)(Ark.Mat.,3(1958),569),Makowski给出了(a,b,c)=(2,11,5)时的全部非负整数解(Nordisk mat.Tidskr.,7(1959),     

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献