完全可分的三元系TS(v,4)的支撑集

§ 1　 IntroductionA triple system of order v and indexλ,denoted by TS(v,λ) ,is a collection of3- ele-mentsubsets Aof a v- set X,so thatevery 2 - subsetof X appears in preciselyλ subsets of A.L etλ≥ 2 and (X,A) be a TS(v,λ) .If Acan be partitioned into t(≥ 2 ) parts A1,A2 ,...,Atsuch that each (X,Ai) is a TS(v,λi) for 1≤ i≤ t,then (X,A) is called de-composable.Otherwise it is indecomposable.If t=λ,λi=1for 1≤ i≤ t,the TS(v,λ) (X,A) is called completely decomposable.It …     

MAURER-CARTAN EQUATION OF A_∞-ALGEBRAS

§ 0　IntroductionA∞ - algebras were first introduced and applied by Stasheff in [12 ,13].Recently,theyappeared in both mathematics and mathematical physics[1 ,5— 8,1 0 ] .An A∞ - algebra is a Z-graded vector space over a fixed field k with a sequence of graded maps mn∶ A n→ A ofdegree n- 2 (n≥ 1) satisfying certain axioms (see [5 ,6 ,12 ,13]) .In this paper,we focusour attentions on,as we call,the minimal A∞ - algebras,which are usual A∞ - algebrasdefined in [5 ,6 ,12 ,13]with m1 =…     

INVERSE EIGENVALUE PROBLEM OF HERMITIAN GENERALIZED ANTI-HAMILTONIAN MATRICES

§1　IntroductionWe considerthe following inverse eigenvalue problem offinding an n-by-n matrix A∈S such thatAxi =λixi,i =1,2 ,...,m,where S is a given set of n-by-n matrices,x1 ,...,xm(m≤n) are given n-vectors andλ1 ,...,λmare given constants.Let X=(x1 ,...,xm) ,Λ=(λ1 ,λ2 ,...,λm) ,then the above inverse eigenvalue problemcan be written as followsProblem Given X∈Cn×m,Λ=(λ1 ,...,λm) ,find A∈S such thatAX =XΛ,where S is a given matrix set.We also discuss the so-called opti…     

具有位相型修理的离散时间可修排队系统

本文研究了具有一般独立输入，位相型修理的离散时间可修排队系统，假定服务台对顾客的服务时间和服务台寿命服从几何分布，运用矩阵解析方法我们给出系统嵌入在到达时刻的稳态队长分布和等待时间分布，并证明这些分布均为离散位相型分布．我们也得到在广义服务时间内服务台发生故障次数的分布，证明它服从一个修正的几何分布．我们对离散时间可修排队与连续时间可修排队进行了比较，说明这两种排队系统在一些性能指标方面的区别之处．最后我们通过一些数值例子说明在这类系统中顾客的到达过程、服务时间和服务台的故障率之间的关系．     

POSITIVE SOLUTIONS OF NONLOCAL BOUNDARY VALUE PROBLEM FOR NONLINEAR RETARDED DIFFERENTIAL EQUATION

§1　IntroductionAt present,boundary value problems (BVPs) are widely investigated with variousmethods and techniques. BVPs with integral boundary conditions constitute a veryinteresting class of problems such as multipoint,three-point,four-point and nonlocalboundary value problems which are considered by many authors.And the existence ofpositive solutions for these problems becomes the subjectof many papers[1—6] .In a recentpaper[7] ,the authors have studied the existence of positive solut…     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Possible triggering of solar activity to big earthquakes (Ms ≥ 8) in faults with near west-east strike in China

A big earthquake (Ms = 8.1) occurred at western Kunlun Mts gap on November 14, 2001. It is the biggest earthquake in China in the past 50 years and the only one with a magnitude bigger than 8 in China after Dangxiong Earthquake (M = 8) in Tibet in 1951. The big earthquake has drawn wide attention of scientists in seismological, geophysical, geological and astro-geodynamic circles. Scientists are interested in the occurrence regularity of the very big earthquakes and try to find out the fac…     

有机化合物电子光谱中的助色基及其作用机理探讨(Ⅰ)

本文就电子光谱中助色基的作用进行了讨论 ,认为不能一概地认为助色基能使与之相连的生色基最大吸收波长统统发生红移 ,而应具体问题具体分析 :对于n→π 来说 ,一方面助色基的p轨道和生色基的最低π 反键空轨道相互作用 ,使π 反键轨道能量上升 ,另一方面助色基的p轨道和生色基的n轨道正交 ,n轨道能量基本保持不变 ,因此n→π 跃迁能增加 ,吸收波长发生蓝移。对于π→π 跃迁来说 ,助色基的p轨道和生色基的最高π成键轨道相互作用生成的新的最高π成键轨道 ,能量虽然有所升高 ,但升高的程度与π 反键轨道升高的程度相比 ,在一些化合物中π轨道升高程度较大 ,因而π→π 跃迁能减小 ,吸收波长发生红移 ;在另一些化合物中π轨道升高程度较小 ,因而π→π 跃迁能增加 ,吸收波长发生蓝移。