有限BCK-代数子代数个数估计定理

设X是一个n阶BCK-代数,我们用N(i)来表示X中i阶子代数的个数,其中1≤i≤n.本文的目的是证明有限BCK-代数子代数个数估计定理. 定理 设X是n(≥1)阶BCK-代数,则,i=1,2,…,n. 关于BCK-代数的定义和基本性质可参阅文献[1]和[2].为了引用的方便,我们列出一个BCK-代数必须满足的五条公理:     

一类有限真BCI-代数

本文完全解决了有限BCI-代数扩张理论中的一种特殊情况.设B_2=0,1是2阶BCK-代数,P=Z_2~(ad)是2阶P-半单BCI-代数.本文决定了所有这样的有限真BCI-代数X,其BCK-部分是B_2,而X/B_2≌P=Z_2~(ad)。     

BCK-代数的几个计数定理

本文推广了文献中的有限BCK-代数子代数个数估计定理,给出了任意BCK-代数的子代数个数下界的一个估计。对于n阶BCK-代数和n阶半直接既约交换BCK-代数,本文分别给出了其子代数个数下界的较具体的表达公式。另处我们还讨论了互不同构的n阶BCK-代数的个数的下界值的估计问题。     

非交换的正关联BCK代数

本文解决了关于非交换的正关联BCK-代数的真类问题、基数问题和真子类问题。作者使用有限BCK-代数的局部分析法,确定了阶不超过5的非交换正关联BCK-代数的全部类型,讨论了C型和非C型的非交换正关联BCK-代数的有关问题。     

BCK-代数的稳定化子

引入了BCK-代数的稳定化子概念,给出了其相关性质,重点研究了左稳定化子与正则理想之间的关系。进一步,引入了BCK-代数的相对稳定化子概念,讨论了相对稳定化子与正则理想、固执理想及布尔理想之间的关系。借助左相对稳定化子,证明了BCK-代数的所有理想之集构成一个相对伪补格。     

BCK-数的Fuzzy理想的同态象

本短文论证了 BCK-代数有 sup 性质的 Fuzzy 理想的同态象仍是 Fuzzy 理想,Fuzzy 关联理想的同态象仍是 Fuzzy 关联理想。     

新疆保险公司营业大楼大体积筏板基础冬期施工

1996年，商品混凝土在乌鲁木齐还未得到广泛推广应用的情况下，不留施工缝，一次浇筑长65m，宽25m，厚1．6m，防渗等级S8这样大体积筏板基础混凝土，确有一定难度．为此，本文采取了有条件时优先选用商品混凝土，无条件或商品混凝土供应中断时现场搅拌进行浇筑的方法解决了这一难题．     

对称群上Cayley图的连通性

本文研究限制性边连通度的λ′-原子．运用所得结果可以证明Cayley图C(Sn,S)是最优超-λ的．这里Sn是n次对称群,S是若干由奇置换构成的共轭类的并，另外，我们还证明了C(Sn，S)是Vosperian的．除非它是完全二部图．     

BCK一代数的J-扩张

本文给出一种新的BCK-代数的扩张方法,并用这种方法给出122种J阶上型ECIi-代数.     

一类S盒的等价生成方法

针对某GF(2^#)域上方幂运算加仿射变换所生成的S盒，指出了该类S盒可以在任意一个GF(2^#)域上通过适当选择仿射变换矩阵等价地生成．基于有限域理论，证明了在30个形如Z2[x]／(f(x))的GF(2^#)域中，每一个这类S盒至少可以用240个不同的仿射变换矩阵等价地生成．     

Rb-Na混合蒸气中碰撞能量合并逆过程

研究了异核碰撞能量合并逆过程：Rb(7D) Na(3S)-Rb(5P) Na(3P)．染料激光二步激发基态Rb原子到Rb(7D)态，利用双调制技术检测由上述过程产生的Na(3P1)发射的荧光，基态Na原子密度由近翼吸收系数测定．碰撞能量合并逆过程速率系数由原子密度和荧光强度比得到．讨论了其它过程对速率系数的影响．     

蓝舌病毒HbC3株S7基因5’非编码区序列分析

根据已发表的蓝舌病毒(bluetongue virus．BTV)10型标准株S7基因设计合成一对与其5'-NCR(noncoding region)序列同源的引物．经反转录-聚合酶链反应(RT-PCR)扩增出HbC3株和10型标准株长度分别为277bp和290bp的S7基因5’非编码区cDNA片段．以建立起dsRNA体外扩增系统．将扩增的BTV-HbC3毒株的S7基因5’非编码区片段通过粘端连接克隆到pUCm-T载体中．用PCR技术和限制性内切酶分析鉴定，表明获得重组质粒pUCm-T-BTV-HbC3-S7．通过核苷酸序列分析方法分别将2个毒株的S7基因5’非编码区与呼肠孤病毒-3(reovirus-3)型比对。发现BTV-HbC3株与呼肠孤病毒-3 L2基因5’非编码区基因具有完全的同源性．将BTV-HbC3毒株接种在不同细胞系如猴肾传代细胞(Vero)、人肝癌细胞(Hep-3B)和小鼠成纤维细胞(L929)等细胞株上，比较BTV-HbC3在不同种系细胞上的增殖特征，并且用双向免疫扩散试验证实BTV-HbC3和BTV-10型之间的血清学关系．结合本实验室的研究结果提示BTV-HbC3株可能是蓝舌病毒的一个新的基因型．     

传递图中的限制性边连通度

设G=(V，E)是一个连通图，S包含于E是一个边子集，如果G—S不再连通，且G—S的每一个连通分支都至少含有r个点，则称S为一个r-限制性边割．最小r-限制性边割中所含的边数为G的r-限制性边连通度，记作λ(G)．如果对所有的i=1，…，r，λ(G)都达到其最大可能值，则称G为λ-最优图．王铭和李乔证明了：若G是一个d-正则的点传递图，d≥4，围长g≥5，或者G是一个d-正则的边传递图，d≥4，围长g≥4，则G是λ（g-1)-最优图．本文推广了这一结果，证明了：在同样的条件下，G是λg-最优图．     

李欣并代数的性质及其应用

通过讨论李欣并代数X=X1U1X2与它的两个子代数X1、X2之间的关系,其中X1是BCK-代数,X2是BCI-代数,得到了李欣并代数X分别是交换、正关联、关联的BCI-代数的充要条件.从而确定了所有阶n≤5的真BCI-代数按交换性、正关联和关联性的分类.     

一类0.1矩阵变换图的边连通性

Let U (R, S) denote the class of all m×n matrices of 0's and 1's havingrow sum vector R and column sum vector S. The interchange graph G (R,S)is the graph where the vertices are the matrices in U (R, S) and where twomatrices are joined by an edge provided they differ by an interchange. Brualdishowed that the connectivity of G(R, S) is at least two. In the present paperwe prove that the edge connectivity of G(R, S) is equal to the minimum degreeof vertices of G(R, S)     

一种C/S与B/S混合结构的饭店管理系统

介绍了C／S和B／S混合结构对改变饭店管理模式的作用,讨论了用PB8．0构造C／S和B／S混合结构的基本体系,分析了C／S结构饭店管理系统向C／S和B／S混合结构转换中的移植策略和基本步骤．     

有限交换群上Bi-Cayley图的Hamilton性

设G是一个有限群,S是G的一个子集(可以含G的单位元).Bi-Cayley图BC(G,S)是一个二部图:其顶点集为G×{0,1},而边集为{{(g,0),(sg,1)}:g∈G,s∈S}.本文证明了有限交换群上连通的Bi-Cayley图BC(G,S)是Hamilton的,如果S-1=S且S含二阶元或单位元.     

关于一个亚纯函数唯一性定理的改进

为了以下论述的方便,用f(z)与g(z)表示开平面上非常数的亚纯函数,a_1(z),…,a_m(z)为m个判别的亚纯函数.设S={a_1(z)),…,a_m(z)},令f~(-1)(S)=(?){z|f(z)-a~i(z)=0}这里n重零点在f~(-1)(S)中计算n次。 若f~(-1)(S)(?)g~(-1)(S),则记作f(z)∈S→g(z)∈S,因此f(z)∈S(?)g(z)∈S表示f~(-1)(S)=g~(-1)(S). 当a为一有穷复数时,显然f(z)∈{a}(?)g(z)∈{a}表示f(z)—a与g(z)—a的零点相同且每个零点的重级也相同,类似地f(z)∈{∞}(?)g(z)∈{∞}表示f(z)与g(z)的极点相同且每个极点的重级也相同。     

bop基因及其上游启动子的克隆与表达

应用重组PCR的方法，直接从盐沼盐杆菌(Halobactrium salinarium)S9的基因组DNA上扩增到了编码细菌视紫红质(bacteriorhodopsin)的基因——bop基因及其启动子部分(1196bp)，并将其克隆到表达载体pXLNovR后，在宿主菌株中得到了表达．测序结果表明，扩增得到的片段与NCBI数据库中的bop基因及启动子的序列完全相同，且其表达产物的分子量与野生型BR蛋白的分子量一致，并且在568nm处表现出BR蛋白特征吸收峰．本方法与其他方法(如逆转录PCR，建立基因文库后从中调取等方法)相比具有操作简便，成功率高的优点．     

S41中的Ⅱ型洛伦兹等参超曲面

研究S41中的Ⅱ型洛伦兹等参超曲面.证明了S41中最小多项式为(λ-a)2的Ⅱ型洛伦兹等参超曲面局部地被两个函数C1(t)和C2(t)所唯一确定,并给出了这种超曲面的解析表达式,从而完成了S41中的Ⅱ型洛伦兹等参超曲面的分类.