FM逻辑的紧致性与Lwenheim-Skolem性

讨论了FM模型的若干性质 ,给出了FM逻辑的紧致性定理及Lwenheim-Skolem性定理     

关于模糊语义紧致性的若干定理

较系统地分析了抽象公式集上的模糊语义及其所导出的逻辑结论算子的各种紧致性之间的关系，在适当的条件下证明了模糊语义的紧致性和逻辑紧致性分别与它所导出的逻辑结论算子的紧致性和连续性等价。又，在公式集为自由代数的情况下给出了模糊语义紧致性的一个一般性定理，证明了凡由连续函数生成的模糊语义都是紧致的。     

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

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

两类指数稳定性的等价性

Ｘ为Ｂａｎａｃｈ空间,其范数为‖·‖,Ｔ(ｔ)为Ｘ上Ｃ0半群,其无穷小生成元为Ａ:Ｄ(Ａ)|→Ｘ.Ｔ(ｔ)称为指数稳定,若有Ｍ,σ>0使得‖Ｔ(ｔ)ｘ‖≤Ｍｅ-σｔ‖ｘ‖,ｘ∈Ｘ.(1)Ｔ(ｔ)称为能量指数稳定,若有Ｍ,σ>0使得‖Ｔ(ｔ)ｘ‖Ｄ(Ａ)≤Ｍｅ-σｔ‖ｘ‖Ｄ(Ａ),ｘ∈Ｄ(Ａ),(2)这里‖·‖Ｄ(Ａ)是Ａ的图象范数[1].实际应用提出这样的问题(见文献[2]):这两个概念是否等价?文献[2]证明了当Ｔ(ｔ)是Ｈｉｌｂｅｒｔ空间上压缩Ｃ0半群且Ａ有界可逆时,两类指数稳定性是等价的.本文证明了:定理　若有Ｍ1,σ>0使得‖Ｔ(ｔ)ｘ‖≤Ｍ1ｅ-σｔ‖ｘ‖,ｘ…     

关于算子的双酉等价性

文献[1]对Hilbert空间的子空间引入了一个等价的概念,并引入了广义维数dim_g(),对等距算子证明了一个等价性定理.注意,文中许多结论只适用于可析Hilbert空间.我们从矩阵的奇异分解的思想,引入了一个双酉等价性的概念.本文主要讨论双酉等价性条件,对双     

膜结合型巨噬细胞集落刺激因子介导的内吞及其半衰期

膜结合型巨噬细胞集落刺激因子（ｍ－Ｍ－ＣＳＦ）是巨噬细胞集落刺激因子（Ｍ－ＣＳＦ）的异型体，兼有粘附分子和反向传导信号的作用．以ｍ－Ｍ－ＣＳＦ高表达的Ｊ６－１细胞系为模型，研究了重组人 Ｍ－ＣＳＦ可溶性受体（ｒｈ－Ｍ－ＣＳＦ－ｓＲ）与 ｍ－Ｍ－ＣＳＦ的结合、内化和再循环．结果显示： ｍ－Ｍ－ＣＳＦ与 ｒｈ－Ｍ－ＣＳＦ－ｓＲ的结合具高亲和性（ Ｋｄ＝ １．７８×１０－１２ ｍｏｌ／Ｌ），且 ｍ－Ｍ－ＣＳＦ能介导能量和温度依赖的 ｒｈ－Ｍ－ＣＳＦ－ｓＲ内化（ｔ_１／２＝ ２０ｍｉｎ）；内化的 ｒｈ－Ｍ－ＣＳＦ－ｓＲ能以 ｍ－Ｍ－ＣＳＦ结合的形式回到细胞表面，表明： ｍ－Ｍ－ＣＳＦ有受体样介导内化和再循环作用．用间接免疫荧光法和流式细胞仪测定了４株白血病细胞系和正常人脐血单个核细胞的ｍ－Ｍ－ＣＳＦ、膜结合型Ｍ－ＣＳＦ－Ｒ、胞质和胞核Ｍ－ＣＳＦ及胞质和胞核Ｍ－ＣＳＦ－Ｒ的半衰期，结果显示：４株白血病细胞系的各种Ｍ－ＣＳＦ和Ｍ－ＣＳＦ－Ｒ半衰期均长于正常人脐血单个核细胞相应Ｍ－ＣＳＦ和Ｍ－ＣＳＦ－Ｒ的半衰期，提示：白血病细胞降解Ｍ－ＣＳＦ和Ｍ－ＣＳＦ－Ｒ的速率明显降低；胞内Ｍ－ＣＳＦ和Ｍ－ＣＳＦ－Ｒ在瘤细胞中的作用值得研究．     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

高等真核低频磁场作用后特异反应基因的克隆及鉴定

极低频磁场（ＥＬＦＭＦ）生物学效应的机理研究是当前生物电磁学中迫切需要解决的问题，为探索ＥＬＦＭＦ的特异反应基因及这些基因的结构与功能，用ｍＲＮＡ差异显示技术对受ＥＬＦＭＦ辐照与假辐照的Ｄａｕｄｉ细胞内的ｍＲＮＡ进行了检测，筛选到一个受ＥＬＦＭＦ诱牵ＤＤ片段，反向Ｎｏｒｔｈｅｒｎ及Ｎｏｒｔｈｅｒｎ鉴定进一步证实系磁场导所致，经克隆测序及与ＧｅｎｅＢａｎｋ同源性比较表明该基因片段（ＭＦ－ＣＡ）是人细     

高等真核细胞受极低频磁场作用后特异反应基因的克隆及鉴定

极低频磁场（ＥＬＦ ＭＦ）生物学效应的机理研究是当前生物电磁学中迫切需要解决的问题．为探索 ＥＬＦ ＭＦ的特异反应基因及这些基因的结构与功能，用 ｍＲＮＡ差异显示技术（ｄｉｆｆｅｒｅｎｔｉａｌｄｉｓｐｌａｙ， ＤＤ）对受ＥＬＦ ＭＦ辐照与假辐照的Ｄａｕｄｉ细胞内的ｍＲＮＡ进行了检测，筛选到一个受ＥＬＦ ＭＦ诱导表达的ＤＤ片段（＞１ｋｂ），反向Ｎｏｒｔｈｅｒｎ及Ｎｏｒｔｈｅｒｎ鉴定进一步证实系磁场诱导所致．经克隆测序及与ＧｅｎｅＢａｎｋ同源性比较表明该基因片段（ＭＦ－ＣＡ）是人细胞中新发现的受磁场诱导的反应基因。     

不分明拓扑空间中紧性与ТиХОНОВ定理

紧性是经典拓扑学中最基本的一个性质,关于乘积空间的紧性的定理则被认为一般拓扑学中最重要定理之一.把紧性概念与定理推广到不分明拓扑空间,国外的尝试已有不少.正如[2]所指出,有关工作[3～8]中,所定义的几种不分明紧性概念或者     

MoO3/α-Fe2O3体系表面相互作用的研究

通过机械混全焙烧法制备了ＭｏＯ３／α－Ｆｅ２Ｏ３样品，采用了ＸＲＤ，ＸＰＳ，ＬＲＳ，ＴＧ－ＤＴＡ以及Ｍｏｅｓｓｂａｅｒ谱研究了ＭｏＯ３与α－Ｆｅ２Ｏ３之间的相互作用，ＸＲＤ和ＸＰＳ证实，在适当的温度下焙烧的样品，ＭｏＯ３在α－Ｆｅ２Ｏ３表面上的分散容量为０．８ｍｍｏｌＭｏＯ３／１００ｍ＾２α－Ｆｅ２Ｏ３，ＬＲＳ和ＦＴ－ＩＲ结果表明，在低含量的样品中，Ｍｏ＾６＋主要讲入α－Ｆｅ２Ｏ３的表面四面体位；     

基于连续值逻辑■上拓扑中仿紧性的刻画

文献[1]给出了基于连续值逻辑(?)上拓扑(简称不分明化拓扑)的定义,并用逻辑的语义方法讨论了有关性质。继而文献[1]的作者又深入讨论了紧性、一致性等拓扑学中重要内容。那么,人们广为关注的拓扑学中另一个重要内容——仿紧性在此类拓扑中又如何刻划呢?本文的定理回答了这个问题,即得到了在T_3条件下的四种等价刻画。文中涉及的术语与记号     

s-相关GFR共轭梯度方法的全局收敛性

建立了ｓ－相关ＧＦＲ共轭梯度法,其中参数βｋ对于Ｆｌｅｔｃｈｅｒ－Ｒｅｅｖｅｓ参数βｋ＾ＦＲ的相关比,给出了两种（ｓ＝１,２）不同的上界估计。证明了两个一般性收敛性定理。由这两个定理分别推出了在若干种步长的选择策略下,ｓ－相关ＧＦＲ方法的全局收敛性。其中有几种步长策略的使用在共轭梯度法的研究文献中尚属首次。     

控制麻疹病毒血凝集性的重要功能位点

ＩＭＡ．ＳＭＤ是经Ｂ９５ａ细胞系培养纯化的２株麻疹病毒，其血凝集性呈阴性。将其在Ｖｅｒｏ细胞系中培养数代后其血凝集性转变为阳性。对在２种细胞中培养获得的病毒进行序列分析发现：以上２株病毒Ｈ蛋白的第５４６位均由Ｓｅｒ（ＨＡＤ阴性）突变为Ｇｌｙ（ＨＡＤ阴性）。利用位点专一性诱变并在ＣＯＳ细胞中对２种Ｈ蛋白进行表达证实：该突变导致血凝集性的改变；进一步利用抗ＣＤ４６的单克隆抗体证实：该突变同时导致Ｈ蛋白     

关于P调和映射热流的一个注记

本文的目的有二:一是指出Chen等关于P调和映射热流全局存在性适合于12)维光滑无边Riemann流形,S~n是R~(n 1)中的单位球面.考虑下述发展调和映射的全局存在性:     

一种新的红细胞源性降压因子的作用机制

研究了一种来自红细胞的新的内源性降压因子（ＥＤＤＦ）的降压机制，重点探讨其对血管平滑肌细胞（ＶＳＭＣ）胞浆游离钙离子及核内钙离子转运的影响，以ｆｌｕｏ－３／ＡＭ作为Ｃａ＾２＋荧光探针，采用激光扫描共聚焦显微镜观察人脐静脉ＶＳＭＣ（ＨＵＶ），钙超载模型大鼠肠系膜ＶＳＭＣ（ＣａＯＭＶ）和正常对照Ｗｉｓｔａｒ大鼠肠系膜培养的ＶＳＭＣ（ＷＭＶ）「Ｃａ＆２＋」ｉ及（「Ｃａ＾２＿」ｎ）的变化；用流式细胞仪测定     

周期半群环的单位元的存在性

Ponizovski(?)在文献[1]中提出下面的问题:问题 什么样的半群环是有单位元的环?李方在文献[2]中研究了纯正半群环的情形,本文考虑周期半群环的情形,将周期半群环的单位元存在性问题归结到幂等元生成的子半群环的单位元存在性问题,符号同文献[2].本文的主要结果如下:定理 设S是周期半群.则RS含单位元当且仅当R含单位元,且存在E(S)的一个有限子集U,使得S=SU=US,在此条件下,有I_(RS)=I_R.此定理的证明难点在于下面的引理的证明.引理 设S是周期半群.若RS含单位元,则R含单位元.引理的证明大意:假设集合A={T:T是周期半群,RT含单位元,但R〈E(T)〉不     

FMRP与TDG蛋白的相互作用

脆性Ｘ智力低下蛋白ＦＭＲＰ表达的缺乏可以导致最常见的遗传性智力低下疾病—脆性Ｘ综合征。用酵母双杂交体系筛选与ＦＭＲＰ相互作用的蛋白质，以期通过相互作用的蛋白质研究与ＦＭＲＰ相关的生化途径。从小鼠胚胎ｃＤＮＡ文库中得到一个与ＦＭＲＰ特异相互作用蛋白的ｃＤＮＡ（Ｇｅｎｂａｎｋ号ａｆ１０２８５７）。该ｃＤＮＡ编码的蛋白与人的Ｇ／Ｔ错配ＤＮＡ胸腺嘧啶糖苷酶（ｈＴＤＧ）高度同源通过多种ＦＭＲＰ造反剪接异构体     

弱紧生成的Banach空间中弱随机元的弱等价性定理及其应用

本文证明了如下基本定理:设(Ω,σ,u)为任一概率空间,(B,||·||)为任一弱紧生成的Banach空间,则任一弱随机元V:Ω→B必弱等价于一强可测随机元(?):Ω→B 从而本定理不仅去掉了Lewis定理中关于弱随机元有界性的限制且在Banach空间概率论中有广泛的应用.作为应用的例子,本文在弱紧生成的Banach空间中就弱2-阶弱随机元建立了其再生核Hilbert空间的性质定理.     

中介命题逻辑MP的完备性

根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。