中介逻辑的同异性演算系统——带等词的中介谓词逻辑

本文构造带等词的中介谓词逻辑ME~*,它比MF~*多一个形式符号=,常谓词=的名称是等词,读为“等同于”.ME~*比MF~*多一条形成规则,即当a、b为项时,a=b是合式公式,关于项的定义参见[2]§17,在ME~*中实为个体     

含R_2dtc配体的Fe_4S_4类立方烷原子簇Fe_4S_4(C_5H_(10)dtc)_4·(1/2)CH_2Cl_2的合成与结构

对Fe—S蛋白的4Fe—4S活性中心的化学模拟推动了Fe_4S_4类立方烷原子簇化合物的合成与结构研究,这些模型化合物具有[Fe_4S_4L_4]~(2-)(L=RS,RO,Cl)通式。近年来,Coucouvanis等报道了一系列含混合配体的Fe_4S_4簇合物,如[Fe_4S_4(SPh)_2Cl_2]~(2-)和[Fe_4S_4Xn     

低温下莱河矿穆斯保尔谱的塞曼分裂

莱河矿是一种含铁的硅酸盐新矿物,其理想的结晶化学式为Fe_2~(3+)Fe~(2+)(siO_4)_2,Z=2,实际样品的Fe~(3+)/Fe~(2+)比值为1.5—1.8。对该矿物晶体已进行过X射线结构分析。它在室温下的穆斯保尔(Mssbauer)谱也先后有过报道。     

关于抽象二级绝对连续函数的注记

李国祯(科学通报,29(1984),以下简称“李文”)给出二级绝对连续函数和强、弱二级绝对连续函数的定义,并且,分别把这三类函数记为AC_2~*[a,b],AC_2[a,b],AC_2~(**)[a,6]。本文全面改进李文的结果。     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

一阶泛函微分方程振动性的一些结果

从而定理1证明了Hunt和Yorke(J.Diff.Equ.,53(1984),139—145)对于超前型方程的猜想。 定理2 若(R_1)g(t,ζ)≤t,ζ∈[a,b],R~*=[t_0,+∞)g(t,ζ) 是从 R~*×[a,b]到R~+的连续函数,关于ζ不减     

连续函数的有限性原理

∈[a,b]及>0,令设F=F([a,b])为[a,b]的一切有限子集构成的幂集。∈F定义K(A)={X(r):r∈A}。设二元关系φ(r,x)的定义域为D(φ)=[a,b],值域R(φ)在标准     

二次系统二阶三阶细焦点外围极限环不存性的研究

具有二阶三阶细焦点的二次系统可化为 (1)其中,m(l+n)=a(b+2l),w_3=ma~2[2a~2+n(l+2n)][(l+n)~2(n+b)-a~2(b+2l+n)]≠0。由文献[2-4]我们仅需考虑n≠0情形,不失一般性,可设n-1,a>0。故我们可把方程(1)_(?)记为(1)_(1,0)。     

关于非正常算子的Putnam-Fuglede定理

在Hilbert空间的算子理论中,正常算子有一个重要的性质——Putnam-Fuglode定理:若N_1、N_2是正常算子,X满足N_1X=XN_2,则必满足N_1~*X=XN_2~*。后来出现了如下推广。 (Ⅰ) 在文献[1]中证明了若N_1、N_2~*是亚正常算子,X为Hilbert-Schmidt算子,结论仍     

双核片状Mo-Fe-S原子簇的定域化研究

固氮酶的活性中心与Mo-Fe-S原子簇有关。人们已经合成了一系列的Mo-Fe-S原子簇化合物,并且对其进行了各种近似程度的量子化学研究,但是至今还缺少对化学键性质的直接计算研究。本文将通过对[S_2MoS_2FeCl_2]~(n-)(n=2,(1a);n=3,(1b))和[S_2MoS_2Fe(NO)_2]~(2-)(2)的正则和定域分子轨道的计算研究,直接得到分子中的化学键性质,配体的配位电子数,从而验证其电子结构规则。     

极性分子的碰撞动力学和稀薄极性气体的粘性

按照Enskog-Chapman稀薄气体动力学理论,单原子分子气体的粘性系数为η=5/12 ((πmkT)~(1/2))/(πσ~2Ω~(2,2)~*) (1) 其中,碰撞积分的公式为Ω~((l,s)~*)(T~*)= =2/((s+1)!T~(*s+2))integral from n=0 to ∞(e~(-g~*2)/T~*)g~(*25+3)Q~((l)*)(g~*)dg~* Q~((l)*)(g~*)= (2) =2/([1-(1+(-1)~l)/(2(1+l))])integral from n=0 to ∞((1-cos~lX)b~*db~* (3) x(g~*,b~*)= =π-2b~* integral from n=R_m~* to ∞((dR~*)/(R~*2))/(1-(b~(*2))/(R~(*2))-(U~*(R~*)/g~(*2)) (4) 且R*=R/σ,b~*=b/σ,U~*(R~*)=U(R)/ε, T~*=KT/ε,g~*=(1/2μ′(V_0~2)/ε)~(1/2),R_m~*=R_m/σ。 R表示分子间距离,b表示碰撞参量,U(R)表示分子间势能,T表示绝对温度,V_0表示分子间初始相对速度,m表示分子的质量,μ′表示两个相碰分子的折合质量,ε和σ分別是U(R)中具有能量和长度量纲的势参数,     

锰钾矿(KxMn8-xO16):天然活性八面体分子筛(OMS-2)

经重新鉴定, 确认湘潭锰矿床中大量产出锰钾矿(KxMn8-xO16). 其胶体沉积成因的单斜晶系锰钾矿中MnO2含量在90%以上, K2O含量大于3%, 含水量为2.2%~3.1%, 类似于沸石含水量. 其晶胞常数a0 = 0.9974 nm, b0 = 0.2863 nm, c0 = 0.9693 nm, b = 91.47. 由[MnO6]八面体双链构成较大的假四方孔道孔径为0.462 nm×0.466 nm, 并由K+充填在其中. 锰钾矿中大多数锰为Mn4+, 少量Mn3+替代Mn4+与孔道中K+离子数相匹配. 这不仅改变了近一个世纪对于该锰矿床氧化型矿石矿物组成的认识, 更重要的是在自然界中发现了丰富的活性八面体分子筛(OMS-2)的矿物资源.     

Bi-2223相厚膜银夹套带材的力学行为

设0≤a≤b≤1,G°(I)表示区间I=[0,1]上所有连续自映射之集.对任f∈G°(I),如果存在常数α>1,使得对任x_1,x_2∈[a,b],都有|f(x_2)-f(x_1)|≥α|x_2-x_1|,则称f在[a,b]上是扩张的,称α是f[a,b]的一个扩张常数,若在I上存在着k 1个点0=c_0相似文献   

葡萄石的晶体结构

硅酸盐矿物的结构资料已经确定了不少很有代表性的结构型式,并已阐明很多重要矿物的组成和性能。然而仍有若干硅酸盐矿物,按其组成和性能来说,不能纳入已知的结构型式中。葡萄石就是这一类矿物中的一个代表。葡萄石的组成为Ca_2 Al Si_3 O_(10)(OH)_2,晶体属正交晶系。密度为2.925克/厘米~3。Gossner和Mu-ssgnug曾给出正交晶胞的参数如下:a=4.65,b=5.52,c=18.53;     

水碳硼石的X射线结晶学研究

水碳硼石(Carboborite)是在我国发现的一种新矿物,1964年作为新矿物发表时,谢先德等根据它的晶形和单晶X射线分析测定为单斜晶系,a=11.32,b=6.68,c=18.59;a:b:c=1.6946:1:2.7828;β     

在限制第三项系数下的Bieberbach猜测

a一“.〔s,当}。3!‘艺︸ 本文证明 定理2.2,对一切设f(二)。二 记~乌,(矿一才:)·凡”)7,不等式1。,!<二成立. 引理4令一‘2招‘才记{a.}引理1=‘,.我们需要下面的引理.l十j〔s,则a3,一a二二一a孟)o,这里户 心一l塑少兰二里这1-~奥(d,一”.)·B矛Jz一l一1 二‘。,贝」a,.=艺凡(,,叮)石孟一b孟石各,必,(b3)二(9一占璧 5.)2 卯(b,)。.‘*<左以)”十l),b3<2 .21,令t一(r)=a3,一[夕一b孟 (,一6)〕占孟,其中!为不小于6的正实数,则 …     

渐近Putnam-Fuglede定理

在文献[1]中,我们将正常算子的Putnam-Fuglede定理推广到亚正常算子,证明了若T_1,T_2~*是亚正常算子,而X满足T_1X=XT_2。那么必有T_1~*X=XT_2~*,而且还证明一些其它形式。在文献[2]中,Moore将正常算子的Putnam-Fuglede定理推广为:若N_1、N_2为正常算子,X_n是有界的算子序列,满足‖N_1X_n-X_nN_2‖→0,那么必有‖N_1~*X_n-X_nN_2~*‖→0。最近有人利用次正常算子的正常延拓证明了     

关于共轭级数部分和收敛的一个定理

设f(x)是[a,b]上的实函数,∧={λ_n}是一不减的正数列,且使sum from n=1 to ∞(1/λ_n)=∞。如果存在M,使得对于[a,b]中一切不相重叠的子区     

(M+1)级绝对连续函数和Stieltjes积分——M=2,3,4,5,6,7,8,10

定义1 设f(x)是在[a,b]上定义的有限实函数,△_h~mf(x)=sum from r=0 to m(—1)′C′_mf[x (m-r)h],对任一正数ε,假如有如下的正数δ(ε)存在:当[a,b]中任何有限个两两互不相重叠的区间(a_1,     

抽象二级绝对连续函数

定义2 假如(共轭空间),f[x(t)]是普通二级绝对连续函数,则称x(1)是二级弱绝对连续函数,记为x(t)∈AC_2~(**)[a,b]