检验引力波是否携带能量的另两种方法及其理论根据

引力波的特性受制于引力场能动张量及引力体系能动张量守恒定律的形式 .由于引力波理论采用了爱因斯坦提出的引力场赝能动张量密度ｔμ(Ｇ)ν及守恒定律 ｘμ(Ｉ μ(Ｍ)ν(ｘ) ｔμ(Ｇ)ν(ｘ) ) =0 [1 ,2 ] ,由此可导出关系[2 ]- ｔ∫Ｖ(Ｉ μ(Ｍ)ν(ｘ) ｔμ(Ｇ)ν(ｘ) )ｄＶ =Ｃ∮Ｓｔｉ(Ｇ) 0 (ｘ)ｄＳｉ (1)式中Ｓ面系位于真空中 .式 (1)表明波源通过引力波向外辐射能量 .Ｌｏｒｅｎｔｚ及Ｌｅｖｉ Ｃｉｖｉｔａ曾提出另一种引力场能动张量密度Ｉ μ(Ｇ)ν及守恒定律 ｘμ(Ｉ μ(Ｍ )ν(ｘ) Ｉμ(Ｇ)ν(ｘ) ) =0 [1 ,2 ] ,由此…     

球面均匀分布PPCM检验统计量关于维数与样本量的Berry-Esseen界和LIL

Ｘ1,Ｘ2,…,Ｘｎ为ｉ.ｉ.ｄ.ｐ维随机向量,分布函数为Ｆ(ｘ).崔恒建[1]定义了如下ＰＰＣｒａｍ啨ｒ＿ｖｏｎＭｉｓｅｓ检验统计量:ＣＭｎ,ｐ=∫ａ∈Ｓｐ-1∫∞-∞ｎ[Ｆａｎ(ｘ)-Ｆａ(ｘ)]2Ｗ(Ｆａ(ｘ))ｄＦａ(ｘ)ｄμ(ａ),(1)其中Ｆａｎ(ｘ)=1ｎ∑ｎｉ=1Ｉ[ａ′Ｘｉ≤ｘ]为ａ′Ｘ1,ａ′Ｘ2,…,ａ′Ｘｎ的经验分布函数.Ｆａ(ｘ)=Ｐ(ａ′Ｘ1≤ｘ)是ａ′Ｘ1的分布函数,μ(·)是Ｓｐ-1={ａ:ａ∈Ｒｐ,‖ａ‖=1}上的均匀测度.在零假设Ｈ0:Ｘ1服从Ｓｐ-1上的均匀分布下,Ｆａ(ｘ)Ｇ(ｘ)=∫ｘ-1ｇ(ｕ)ｄｕ,其中,ｇ(ｕ)=Γｐ2Γ12Γｐ-12(1-ｕ2)ｐ-22,…     

基于对称差的Fuzzy度量及收敛问题

Ｆｕｚｚｙ数是Ｆｕｚｚｙ数学中应用最为广泛的内容之一.本文从λ截集的对称差集合的Ｌｅｂｅｓｇｕｅ测度出发,引进衡量Ｆｕｚｚｙ数之间差异的一致对称差度量ｄΔ及Ｐ平均对称差度量ｄΔＰ,弥补了现行文献中以Ｈａｕｓｄｏｒｆｆ度量为基础所建立的Ｆｕｚｚｙ数之间的差异度量不适用于某些实际问题的不足.这对Ｆｕｚｚｙ数理论的进一步发展具有明显意义.设Ｒ为实数域,Ｅ1为Ｆｕｚｚｙ数空间[1];Ａ～∈Ｅ1,Ａλ表示Ａ～的λ截集并约定Ａ0为Ａ～的支集的闭包;Ａ,ＢＲ,Ａ与Ｂ的对称差集合记为ＡΔＢ=(Ａ-Ｂ)∪(Ｂ-Ａ);ｍ表示Ｌｅｂｅｓｇｕ…     

TFEL妆光层体内的点缺陷及其作用

通过对薄膜的光致发光谱的测量,研究了分层优化的ＺｎＳ：Ｅｒ＾３＋薄膜电致发光器件的发光层体内点缺陷和种类及其在禁带中的能级位置。结果表明：ＺｎＳ：Ｅｒ＾３＋体内除了作为发光中心的替位铒离子Ｅｒ＾２＋外,主要的点缺陷是Ｓ空位Ｖｓ、Ｚｎ空平Ｖｚｎ、浅施主Ｃｌｓ和Ｆｓ、深受主Ｃｕ＾＋等。Ｓ空位是双施主能级,Ｖｓ＾１＋和Ｖｓ＾２＋分别位于导带底１．３６和２．３６ｅＶ处;Ｚｎ空位是双受主能级,ＶＺｎ＾１－和     

连通、局部连通、无爪图是点泛圈图

本文只讨论有限、无向、无环和多重边的简单图。V(G)、E(G)分别表示图G的顶点集和边集。如果S(?)V(G),用G[S]表示子集S在G中的导出子图。若u∈V(G),N(u)表示u点的邻域,即邻接于u点的全体顶点的集合。     

L~*中的典型赋值中介与公理系统的简化

出于为模糊推理奠定逻辑基础之需要,文献[1]提出了形式系统Ｌ.基于此文献[2～4]从语义的角度为ＦＭＰ及ＦＭＴ建立了严格的逻辑依据.为从语构的角度开展进一步的工作,本文首先证明了Ｌ中Ｆ(Ｓ)的典型赋值中介[Ｆ]的结构定理,然后将Ｌ中的14条公理作了简化,得出了仅含9条公理的等价系统Ｌ°.设Ｓ是无限集,是一元运算,∨与→是二元运算,以Ｆ(Ｓ)记由Ｓ生成的(,∨,→)型自由代数.称由Ｆ(Ｓ)、文献[1]中的14条公理(Ｌ1),(Ｌ3)—(Ｌ6),(Ｍ1)—(Ｍ9)以及ＭＰ规则与交推理规则组成的系统为Ｌ.设Ａ,Ｂ∈Ｆ(Ｓ),定义Ａ～Ｂ　　当且仅当├(Ａ→Ｂ)且├…     

再创辉煌

据来自“美国科学信息所”(ＩＳＩ)方面的消息,《科学通报》英文版,ＣｈｉｎｅｓｅＳｃｉｅｎｃｅＢｕｌｌｔｅｔｉｎ(ＣＳＢ),从1998年第1期起(Ｖｏｌ.43(1),1998),再次被收入ＳｃｉｅｎｃｅＣｉｔａｔｉｏｎＩｎｄｅｘ(即通常所说的ＳＣＩ-ＣＤＥ).此外,ＣＳＢ仍被ＳｃｉｅＳｅａｒｃｈ(即ＳｃｉｅｎｃｅＣｉｔａｔｉｏｎＩｎｄｅｘＥｘｐａｎｄｅ,ＳＣＩＥ),ＲｅｓｅａｒｃｈＡｌｅｒｔ,ＣｕｒｒｅｎｔＣｏｎｔｅｎｔｓ/Ｐｈｙｓｉｃａ1,ＣｈｅｍｉｃａｌａｎｄＥａｒｔｈＳｃｉｅｎｃｅｓ(ＣＣ/ＰＣＥＳ)收录。这样,我国被ＳＣＩ收录的…     

人类C2H2型锌指蛋白基因ZNF199全长cDNA的分离与克隆

锌指蛋白是一类参与基因表达调控的重要调节蛋白,这些蛋白可与ＤＮＡ/ＲＮＡ相互作用,从而参与基因的表达调控.迄今已克隆的人类锌指蛋白基因近200个.根据保守结构域的差异,锌指蛋白可分为数种类型,其中Ｃ2Ｈ2型锌指蛋白占绝大多数,这种蛋白质的锌指基序由28个氨基酸组成,常为ＹＥＣＸ2ＣＸ3ＦＸ5ＬＸ2ＨＸ3ＨＴＧＥＫＰ,其序列是非常保守的,特别是各个锌指之间的毗邻区(ＴＧＥＫＰ)极其保守[1].近期研究表明,锌指蛋白基因结构的变异与肿瘤发生、胚胎发育和分化等密切相关,如人体锌指基因ＷＴ1和ＬＡＺ3的易位可分别导致Ｗｉｌｍ’ｓ瘤[2]和…     

InGaAs/InP半导体激光器自锁模特性的研究

Ｓｐｅｎｃｅ[1]在掺钛蓝宝石激光中实现了自锁模,它的诞生,使超短脉冲激光进入了新阶段.近年来,Ｃｒ4 :ＹＡＧ,Ｃｒ:ＬｉＳｒＬＦ6等固体材料也实现了激光的自锁模运转。无论是以ＩｎＧａＡｓ/ＩｎＰ量子阱材料[2,3]或ＩｎＧａＡｓ/ＩｎＰ体材料为激活介质,在外腔工作条件下,采用锁模Ｎｄ:ＹＡＧ(1.3μｍ)激光同步泵浦,都曾获得高功率窄脉冲运转,这里介绍一种ＩｎＧａＡｓ/ＩｎＰ体材料在连续的Ｎｄ:ＹＡＧ激光泵浦下,采用外腔结构实现自锁模运转的实验结果,我们所使用的实验装置结构是如图1(ｂ)所示的外腔面发射ＩｎＧａＡｓ/ＩｎＰ半导体…     

一个边着色定理

Berge曾给出一个边着色定理,下面为使用方便起见,我们不妨称它为B定理。著名的Vizing定理和另外一些边着色的结果都可以作为B定理的推论。我们叙述这个定理如下:B定理 设G是一个无环重图,[a,b]_0是G的一条边,令G′=G—[a,b]_0,若G′是可q-边着色的,且q≥d_G(a),q≥d_G(b);d_(G′)(x) m_(G′)(a,x)≤q,则G也可q-边着色。这里d_G(x)表示顶点x在图G中的次;m_(G′)(x,y)表示在图G′中以x和y为端点的边数;Γ_(G′)(x)表示顶点x在G′中的邻点集合。     

图的度和、连通度和控制圈

令Ｇ是一个ｎ阶图.设Ｃ是Ｇ中的一个圈,如果Ｇ-Ｖ(Ｃ)是空图,那么称Ｃ是控制圈.令δ,κ和α分别表示图Ｇ的最小度、连通度和独立数.用σｋ表示Ｇ中任意ｋ个独立点的度和的最小值.Ｂａｕｅｒ等人[1]证明了:设Ｇ是ｎ阶2连通图.若σ3≥ｎ κ,则Ｇ是Ｈａｍｉｌｔｏｎ图.本文证明了:定理　设Ｇ是ｎ阶3连通图.若σ4≥ｎ 2κ,则Ｇ包含一个最长圈Ｃ,使得Ｃ是一个控制圈.界ｎ 2κ是最好可能的.我们能构造一类图,它们满足定理假设,但不是Ｈａｍｉｌｔｏｎ的.根据定理,我们有如下结论:推论1　设Ｇ是ｎ阶3连通图.若σ4≥ｎ 2κ并且δ≥α,则Ｇ是Ｈａｍｉ…     

VK3诱导的植物细胞凋亡及其机理

ＶＫ３可诱导烟草细胞的凋亡,表现为：染化体凝集,凋亡小体形成,ＤＮＡ末端断裂、降解形成梯状电泳,此过程伴随特异核酸酶的激活,其活性依赖于Ｃａ＾２＋,Ｍｇ＾２＋,可被Ｚｎ＾２＋和ＥＤＴＡ（Ｅｔｈｙｌｅｎｅｄｉａｍｉｎｅｔｅｔｒａａｃｅｔｉｃ）抑制。ＤＮＡ降解可被ＤＥＶＤ（Ａｃ－Ａｓｐ－Ｇｌｕ－Ｖａｌ－Ａｓｐ－ａｌｄｅｈｙｄｅ）抑制。核纤层蛋白降解为３５ｋｕ片段,ＤＥＶＤ,ＰＭＳＦ（Ｐｈｅｎｙｌｍｅｔ     

新型双四面体骨架杂核簇合物的合成

过渡金属原子簇化学是当今化学学科中非常活跃的研究领域之一.由于它对合成化学和理论化学具有重要意义,以及它在催化和超导等方面的应用前景,而倍受各国化学家的重视.金属交换反应是一种重要的合成异核金属羰基簇合物的途径[1].我们也曾经研究了以ＳＦｅＣｏ2(ＣＯ)9为前体簇合物与金属交换剂Ｎａ[Ｍ(ＣＯ)3ＣｐＣ(Ｏ)Ｒ](Ｍ=Ｍｏ,Ｗ;Ｒ=Ｈ,ＣＨ3,Ｃ2Ｈ5Ｏ)之间的反应,合成了一系列杂原子四面体簇合物[2].本文首次合成了两种新型的金属交换试剂:Ｎａ[(ＣＯ)3ＭＣｐＣ(Ｏ)Ｃ6Ｈ4Ｃ(Ｏ)ＣｐＭ(ＣＯ)3]Ｎａ[Ｍ=Ｍｏ(3),Ｗ(4)],这类交换剂可与…     

一个Ringel猜想的证明

本文仅讨论简单无向图.图G被称为是一个极大平面二部图(以下简称为mpb图),如果:1)G是二部图.2)G是平面图.3)若u,v∈V(G),(u,v)∈E(G),则G+(u.v)或者不满足1)或者不满足2).为简便,不防将本文所提到的平面图本身视为它的一个平面嵌入.设H是G的一个边导出子图.H在G中的边补图,记为(?),定义为E(G)\E(H)在G中的边导出子图.特别地,如果T是G的一棵树,称(?)为T在G中的上树.     

具有状态约束的由变分不等式表示的优化控制

本文中我们将研究具有如下形式的由非线性双曲型变分不等式表示的优化控制问题ｙ″ Ａｙ β(ｙ′) Ｂｕ ｆ,ａ.ｅ.ｉｎＱ =Ω× [0 ,Ｔ]　　　　　ｙ(0 ) =ｙ0 ,ｙ′(0 ) =ｙ1( )状态约束 :Ｆ(ｙ) Ｓ ,目标函数为Ｉ.　　这里 β是不连续、非线性、非单调的多值映射 .　　对由微分方程控制的优化控制问题 ,众多学者进行过研究 .对由变分不等式控制的优化控制问题 ,也有许多学者进行过研究 ,如Ｊ.Ｌ .Ｌｉｏｎｓ ,Ｖ .Ｂａｒｂｕ ,Ｄ .Ｔｉｂａ以及Ｆ .Ｍｉｇｎｏｔ等等 .然而这些研究中大部分是基于 β为极大单调算子这样一个假设[1 - 7]…     

Banach空间中线性系统的稳定性

无穷维空间中线性系统的稳定性是许多作者关注的问题.Ｇｉｂｓｏｎ在文献[1]中证明了如下结果:设Ｔ(ｔ)是Ｈｉｌｂｅｒｔ空间Ｘ由Ａ生成的渐近稳定的Ｃ0压缩半群,而Ｂ为Ｘ上紧线性算子.如果Ａ Ｂ生成的Ｃ0半群Ｓ(ｔ)是指数稳定的,则Ｔ(ｔ)必定也是指数稳定的.因此,Ｈｉｌｂｅｔ空间中一个非指数稳定的Ｃ0半群不可能通过紧反馈达到指数稳定.Ｔｒｉｇｇｉａｎｉ在文献[2]中把Ｇｉｂｓｏｎ的结果推广到具有“逼近性质”的Ｂａｎａｃｈ空间Ｘ.本文用非常简单的方法证明了Ｇｉｂｓｏｎ的结果在任何Ｂａｎａｃｈ空间中都成立,并且给出了Ｃ0半群的…     

Ramsey数r(3,14)和r(3,15)的新下界

Ramsey数r(p,q)是满足下述条件的最小正整数r:对任意的r个顶点的图G(本文中的图均指无向简单图),则G或有P个顶点的团(即完全子图k_p)或有q个顶点的独立集。Ramsey 1930年证明了Ramsey数的存在性,Ramsey理论的研究在近六十年中也取得了许多有意义的结果(参看文献[2]     

(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相似文献   

新型激光晶体Nd∶Gd_(0.8)La_(0.2)VO_4的生长及其激光性能的研究

激光二极管(简称ＬＤ)泵浦的固体激光器具有效率高、体积小、输出稳定、寿命长的优点,在军事、工业、医学和科研等领域有广泛的应用,是近年来国内外激光领域的一个研究热点.目前在这个领域中,Ｎｄ∶ＹＶＯ4晶体的激光器已商品化.Ｎｄ∶ＧｄＶＯ4激光晶体与Ｎｄ∶ＹＶＯ4相比,具有吸收系数大[1],热导率高[2],激光性能优良[3]等优点.由Ｎｄ∶ＧｄＶＯ4通过离子替代形成的Ｎｄ∶Ｇｄ0.5Ｌａ0.5ＶＯ4晶体[4],与Ｎｄ∶ＧｄＶＯ4相比,其吸收半宽较大.为把两者的优点相结合,我们生长了Ｌａ掺杂量为20%的晶体,即Ｎｄ∶Ｇｄ0.8Ｌａ0.2ＶＯ4,并对其性…     

拓扑线性空间中的紧集

本文给出了有关拓扑空间中紧集定理的一个新证明 ,从而完善了 [1,2 ]中的有关结果 .　　紧集是拓扑空间中最基本、最重要的结构之一 .它一直是人们研究的热点问题 .[1,2 ]中有关拓扑线性空间的定理证明 ,均有不妥之处 .本文给出了一种新的证明 ,从而完善了上述结果 .　　设Ａ为线性拓扑空间中的集合 ,Ａ称为紧集是指Ａ的任意开覆盖均有有限子覆盖 .Ａ称为完全有界集是指对零点的任一邻域Ｖ ,都有ｚ1,ｚ2 ,… ,ｚｎ∈Ａ使Ａ ∪ｎｉ=1 (ｚｉ Ｖ) .Ａ称为完备的是指Ａ中任意Ｃａｕｃｈｙ网均收敛于Ａ中一点[1,2 ] .　　定理[1,2 ] 　设Ａ为线…