基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

绵羊ISG15基因的克隆表达与纯化

为了克隆并表达绵羊ISG15,且对其表达产物进行纯化,首先从绵羊外周血单核细胞(PBMC)中提取总RNA,通过逆转录聚合酶链式反应(RT-PCR),扩增出ISG15的基因;再通过基因克隆技术,构建ISG15在pET28a中的重组表达质粒pET28a-ISG15,在大肠杆菌BL21(DE3)用IPTG进行诱导表达,得到ISG15的原核表达蛋白;最后采用Ni 2+-NTA亲和层析方法纯化目的蛋白。结果显示:克隆的绵羊ISG15基因序列长度为541bp,编码157个氨基酸。重组表达产物通过SDS-PAGE可检测到相对分子质量为25ku的重组蛋白,且表达的目的蛋白能被Ni 2+-NTA亲和层析方法所纯化。该研究为后续深入研究绵羊ISG15奠定基础。     

缺血性脑卒中蒙西医治疗现状

缺血性脑卒中是最常见的脑血管病,严重威胁着人类健康。不同的医学体系对其治疗亦不同,现就蒙医与西医对缺血性脑卒中治疗的现状作一综述。     

大型万能轧机伺服缸故障频发原因分析与改进

针对大型万能轧机伺服缸故障频发的问题,从伺服自动控制系统、液压控制回路、伺服缸密封破损和伺服缸修复质量等方面对其故障频发原因进行了分析。结果表明,大型万能轧机伺服缸故障频发产生的原因是由伺服缸有杆腔压力过高、密封防水性能差、活塞杆修复质量差等造成的。在理论计算的基础上,通过对伺服缸有杆腔压力控制系统的优化与改造,并设计一种新型伺服缸密封来提高活塞杆修复标准,从而有效降低大型万能轧机伺服缸故障的频发率。     

猪笼草离体培养及植株再生研究

以猪笼草的幼嫩茎段为外植体进行离体组织培养及植株再生,研究结果表明：以液体培养基1／2MS＋6-BA1．0mg／I．＋NAA0．1mg／L对芽的初始诱导以及固体培养基1／2MS＋6-BA2．0mg／L＋NAA0．1mg／L对不定芽的增殖效果最好,增殖率达419％;生根培养基以1／4MS＋IBA0．5mg／L＋活性碳（0．01％）为最佳,生根率可达100％．     

双变量线性回归的解算

对于工程实践中较多存在自变量为随机变量的情形,应考虑双变量的线性回归,在总体最小二乘原则下,即n∑i=1（vxi^2＋vyi^2）=min,推导了在此准则下的具体解算方法,得到了相应的公式,最后并以算例加以验证与分析讨论,此方法对于工程实践的数据分析具有较大的参考价值。     

剪切来流作用下圆柱体结构物的双自由度流致振动

基于四步半隐式特征线分裂算子稳定化流体有限元方法,对二维线性剪切来流作用下弹性支撑圆柱体结构物双自由度流致振动问题进行了数值计算,着重研究雷诺数Re=150时,不同参数(频率比、剪切率与折减速度)对圆柱体结构物振动响应及其流场的影响.计算分析表明,随剪切率的增加,圆柱体结构物2个方向的频率锁定区间扩大,结构发生共振现象的范围亦增大;折减速度对圆柱钝体最大振动幅度的影响较大,在锁定区间内,圆柱振动位移较大,否则较小;在高频率比工况下圆柱运动轨迹呈‘8’字形;当频率较低时,圆柱运动轨迹随剪切率的增大由‘8’字形渐变为‘雨滴’形;在剪切来流作用下圆柱尾流模态为双单涡(2S)与涡对(P)+单涡(S)两种泄涡模式.     

《狼图腾》与《野性的呼唤》中动物意象之比较研究

《狼图腾》和《野性的呼唤》均为动物小说之经典。尽管是在不同的时代、社会文化背景下,两部小说却呈现出众多相似之处。将两本小说的动物意象进行对比,发现两部小说中的动物意象都与其传统意象有很大差别:狼不再自私、凶残、狡猾,而是富有智慧、团结并且有着丰富情感的精神载体。狼之间的关系与雪橇狗之间的关系截然不同,这在一定程度上折射出中西方文化的不同——中国强调和谐共处,而西方注重竞争。但两位作者在文中都体现出他们对尊重、爱护环境和动物的呼吁。     

具有ACC脱氨酶活性的绞股蓝根际细菌的分离鉴定及其促生作用

为了筛选含ACC脱氨酶的根际促生细菌,以1-氨基环丙烷-1-羧酸(ACC)为唯一氮源,从绞股蓝根际土壤中富集和分离ACC脱氨酶阳性细菌,利用α-丁酮酸测定法和CAS平板法分别检测其ACC脱氨酶活性和产嗜铁素能力,利用菌液培养接种法检测细菌的促生作用,最后通过生理生化试验和16SrRNA基因序列分析对所筛选的菌株进行鉴定.经富集筛选法从绞股蓝根际土壤中分离出9株ACC脱氨酶阳性细菌,它们均具有不同程度的ACC脱氨酶活性,其中3株细菌能产生嗜铁素.促生试验结果表明,7株ACC脱氨酶活性细菌对水稻幼苗根系的生长发育表现出不同程度的促生作用,其中菌株JDG127的促生作用最明显,与对照组相比,水稻幼苗的根长和根鲜重增长了约1.6倍.鉴定结果表明,9株细菌中1株属于单胞菌属(Stenotrophomonas),1株属于类芽胞杆菌属(Paenibacillus),1株属于芽孢杆菌属(Bacillus),2株属于肠杆菌属(Enterobacter),4株属于不动杆菌属(Acinetobacter),与ACC脱氨酶相比,铁载体对根际细菌的促生作用更明显.     

汽车车桥双曲线齿轮的设计

在汽车车桥齿轮的设计中,发展出了比圆锥齿轮运转更加平稳、强度更好的双曲线齿轮设计,克服了传统设计中出现的一些问题,提高了齿轮设计的使用效能。本文主要介绍了双曲线齿轮的设计方法、设计特点及存在问题,并对其改进方向做了一些阐述,旨在为提高双曲线齿轮设计加工水平提供可行的设计思路和方法。