关于BR0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。     

树鼩IL-2Rα(CD25)基因的分离、鉴定及表达分析

CD25是CD4+CD25+调节性T细胞的重要标记分子.树鼩是一种重要的人类疾病动物模型,但是,树鼩的CD25基因还是未知.我们以树鼩脾脏RNA为模板,对树鼩白介素-2受体基因alpha链(tsCD25)进行了RT-PCR(逆转录-聚合酶链式反应),获得了一个816bp的开放阅读框.TsCD25 cDNA编码一个由271个氨基酸组成的分子量为30.9 ku的蛋白多肽.预测的tsCD25包含2个Sushi结构域、2个N-糖基化位点和多个O-糖基化位点.tsCD25和灵长类CD25在氨基酸水平上的同源性为65.3%～66.4%.RT-PCR检测发现,tsCD25 mRNA分布于树鼩的外周血、脾脏和肺,并受PMA 和 ionomycin 刺激的调节.我们的结果为下一步制备tsCD25单克隆抗体,抑制CD4+CD25+Tregs功能以及开展有关的研究工作奠定了基础.     

树鼩PD-1基因的分离、鉴定及表达分析

PD-1(Programmed cell death 1)是一种抑制性的受体,是免疫球蛋白超家族的成员.大量研究证明PD-1能被诱导而在活化的T淋巴细胞、B淋巴细胞、NKT 细胞和单核细胞上表达,从而在慢性感染的病因学中起着重要作用.树鼩(Tupaia belangeri)做为一个理想的模型可被应用于许多人类感染性疾病如乙型病毒性肝炎.为了充分利用树鼩对于感染性疾病的宿主免疫应答模型,我们分离出树鼩PD-1基因.利用迅速扩增cDNA末端PCR(RACE-PCR)技术,从树鼩脾组织中克隆了PD-1基因的全长cDNA序列.序列分析显示树鼩PD-1 cDNA 的开放阅读框编码一个由242个氨基酸组成的跨膜蛋白,并且和人类、灵长类和啮齿类中的同源基因有高度相似性.组织分布分析表明在所检测的几种组织中PD-1基因只在脾中表达.此外,淋巴细胞刺激实验显示,利用PMA和ionomycin刺激新鲜分离的树鼩外周血单核细胞(PBMCs)能够诱导PD-1 mRNA水平上的表达.我们的结果为将来进一步探讨树鼩的免疫功能提供了良好的基础.     

基于Schnorr密码体制的匿名代理签名方案

基于Schnorr密码体制提出了一种新的匿名代理方案.在该方案中,代理签名者身份对验证者来说是不可见的,签名出现争议时,验证者可以借助原始签名者确定代理签名者的身份,同时,原始签名人可以根据需要收回代理签名权.本方案不需要可信第三方,计算量较小,应用方便,是一种安全、高效的代理签名方案.     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。