一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

与HBV X蛋白相互作用的细胞蛋白的筛选及其鉴定

参考GenBank核苷酸序列库中的HBV的核苷酸序列设计合成了一对对应于HBx基因的引物，从原发性肝癌(hepatocellular carcinoma，HCC)患者的血清中提取HBV基因组DNA作为模板，扩增HBx编码区并测定了核苷酸序列．将该编码区克隆到酵母双杂交系统的诱饵蛋白表达载体pGBKT7中，转入酵母细胞AH109，进行表型鉴定．然后通过Mating实验从已制备好用于酵母双杂交系统的肝cDNA表达文库中筛选与HBx相互作用的细胞蛋白，并用体外免疫共沉淀实验进一步验证．研究表明，分离得到的与HBx基因编码的蛋白相互作用的4种新的细胞蛋白，分别是醛缩酶B、C8α亚基、一种丝氨酸蛋白酶Hepsin和一种未知蛋白．     

电子束流品质对自由电子激光小信号增益影响的计算

对电子束有一定初始能量分散或角度分散时的自由电子激光小信号增益用较简便的方法进行了分析计算,并给出了一个渐近公式,结果与用计算机模拟解自由电子激光微分方程组得到的结果一致。     

量子算法的NMR实现方法

量子计算机是一种以量子耦合方式进行信息处理的装置[1 ] 。原则上 ,它能利用量子相干干涉方法以比传统计算机更快的速度进行诸如大数的因式分解、未排序数据库中的数据搜索等工作[2 ] 。建造大型量子计算机的主要困难是噪音、去耦和制造工艺。一方面 ,虽然离子陷阱和光学腔实验方法大有希望 ,但这些方法都还没有成功实现过量子计算。另一方面 ,因为隔离于自然环境 ,核自旋可以成为很好的“量子比特” ,可能以非传统方式使用核磁共振 (NMR)技术实现量子计算。本文介绍一种用NMR方法实现量子计算的方法 ,该方法能够用比传统方法少的步骤解决一个纯数学问题。基于该方法的简单量子计算机使用比传统计算机使用更少的函数“调用”判断一未知函数的类别。     

基于VolSurf参数的化合物水溶性QSPR分析

利用分子的VolSurf参数预测化合物的水溶解度并阐明有利于水溶解度的主要分子结构特征.被测化合物包括185个共两大系列分子,使用偏最小二乘判别分析和多元线性回归方法在实验数据和分子特征之间建立相关性,均得到较好的结果.以70个化合物所建立的训练集模型对其余115个化合物有较好的预测能力.参数分析表明分子内较大的亲水区域对水溶解度有利;分子质心与疏水区、亲水区之间的不平衡性越高,水溶解度越大;分子量及体积大的分子对其水溶解度不利.     

双无限随机环境中马氏链的瞬时性与不变函数

在随机环境中马氏链的研究领域,引入了一类π-不可约、常返和瞬时性的概念,给出了π-不可约链是瞬时链的一个充要条件,引入了双无限随机环境中马氏链不变函数的概念,讨论了它们的存在性及基本性质。最后,利用不变函数的性质,给出了π-不可约链是瞬时链的一个判别准则,此准则与不变函数有关。     

车前子中多糖含量的测定

采用蒽酮-硫酸法比色测定，用精制车前子多糖测得车前子多糖对葡萄糖的换算因子，对我国同属不同品种的车前子不同采集时间及炮制前后其多糖含量进行了比较研究。结果表明：此测定方法简便可行。供试液在8h内显色稳定，重现性较好，平均回收率为97．8％，RSD=1．41％(n=5)。江西吉安产大粒车前子生品多糖含量在9．15％～9．83％之间，炮制后其多糖含量在6．29％～6.81％之间；南昌新祺周车前GAP标准基地的大粒车前子生品多糖含量为7.85％～8．38％，炮制后其多糖含量为6．01％～6．64％；东北产的小粒车前子生品多糖含量为6．61％，炮制后其多糖含量为6．45％。     

CFD在燃煤细粒子凝聚过程中的应用

燃煤产生的细粒子富集了大量的有毒痕量元素,对大气环境和人类健康造成严重危害。本文针对燃煤细粒子的形成过程,在计算流体力学(CFD)的基础上,结合气溶胶动力学理论,模拟了烟气中细粒子在圆柱形流场中由于碰撞而凝聚的过程,并通过计算结果分析细粒子颗粒特征参量(速度、质量、直径和颗粒数目)随流场的变化趋势,为深入研究燃煤细粒子的形成演化机理提供理论基础。     

能谱法和催化光度法测定无机纤维中铁含量的比较研究

本文研究了铁(Ⅲ)在酸性介质中催化抗坏血酸(Vc或H2A)还原4-硝基-3’-甲基-氨基偶氮苯的褪色反应,拟定了反应的最佳条件,探讨了反应机理,建立了催化动力学测定痕量铁的新方法,该方法的检出限为2.98×10~(-11)g·mL-1,线性范围为0-200 ng·(25 mL)-1。比较了X射线能量色散谱法和催化光度法在玄武岩纤维样品中铁含量的测定,结果误差为2.89％。     

乌桕类可可脂结晶过程中表现体积变化

为了解乌桕类可可脂(CTCBE)缓冷结晶横向胀罐爆裂原因，研究CTCBE结晶过程中的膨胀特性，采用流体静力法测试了不同等温结晶条件下CTCBE结晶形成的表观密度和表观体积及其横纵向膨胀状况。结果表明，CTCBE缓冷结晶后形成外部和中部两个晶区。在5-25℃的各等温结晶范围内，当结晶温度增加时，外部结晶区域减小、表观密度变化不大；中部结晶区域增大、表观密度明显减小，CTCBE的表观体积、横向、纵向膨胀率均增大，膨胀横向大于纵向。进一步表明CTCBE在自然缓冷固化的表观体积根本上由其结晶温度决定。为有效防止横向胀罐，自然缓冷固化温度应低于10℃。