Expression of human β-subunit nerve growth factor (hNGFB) in yeast Pichia pastoris and E. coli

The gene hNGFB encoding the β subunit of human nerve growth factor (hNGF) was cloned intoP. pastoris secretive expression vector pHIL-S1 andE. coli expression vector pET-15b. The recombinant hNGFB vectors pSNGF and pET15b-NGF were transformed intoP. pastoris host cell GS115 (Mut⁺, His⁻) andE. coli strain BL21 (DE3) respectively. Expression and secretion of hNGFB inP. pastoris was attempted under the direction of the AOX1 promoter and PHO1 signal sequence. The positive colonies growing on medium without histidine were further selected by PCR. The yield of rehNGFB in GS115 was about 14.4% of total cellular secretive protein. The secreted protein was immunological active on Western blotting with rabbit anti-mNGFB antibodies. The fusion protein yield of rehNGFB inE. coli BL21 (DE3) was about 10.3% of total cellular protein after IPTG induction. Western blot detection showed its immunological activity.     

Computation of Leray-Schauder fixed points

A new simplicial homtopy algorithm is presented for computing the Leray-Schauder fixed points as well as Merrill fixed points and Eaves fixed points. Moreover, a coercivity condition to guarantee the computation proceeding in a bounded region is given.     

泡桐属植物种间关系研究

泡桐是我国重要的速生用材树种之一,大力发展泡桐对缓解我国木材短缺,改善生态环境和出口创汇具有重要的社会生态意义和经济意义。本文从形态学、细胞学和分子生物学等方面论述了泡桐属植物自建属以来的分类状况及各种分类方法的优缺点,最后对泡桐属植物分类提出了一些建议。     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较     

试论知识经济时代的科学教育

阐述了知识经济的基本特征,分析了科学教育在发展知识经济中的地位和作用,及在知识经济的机遇和挑战面前,新世纪人才所必须具备的素质和能力     

互连网络诊断性与容错性的细胞图自动机算法的串行模拟

本文对作者以前提出的细胞图自动机算法,给出了串行模拟结果,特别地给出了这些串行模拟程序对几种重要的互连网络如超立方体,交叉立体和Ｍｏｂｉｕｓ立方体模拟的一些具体结果及效率分析．     

交叉立方体互连网络的Hamilton连通性

交叉立方体互连网络是超立方体的一个变型,它有一些比超立方体更好的性质．本文证明了ｎ维交叉立方体ＣＱｎ的又一个超立方体所不具备的性质,即当ｎ≥１,ｎ≠２时,ＣＱｎ是Ｈａｍｉｌｔｏｎ连通的,并给出了当ｎ≥４时ＣＱｎ中任意两个顶点间Ｈａｍｉｌｔｏｎ路条数的一个下界４（２ｎ－１－２）∏ｎ－２ｉ＝３（２ｉ－２）２．     

结构碰撞的动力学研究及应用

针对均质自由梁坠撞时局部发生较大的弹塑性变形而引起的材料非线性,提出了自由梁坠撞过程的力学模型,利用弹塑性有限元法模拟出了碰撞部位的非线性弹簧的力学特性曲线,求出了坠撞响应并可将此法推广应用于多体系统的坠落碰撞问题求解。     

多连通域粘性流动的边界元分析

本文采用计算流体的边界元方法,对多连通域内的粘性流动进行了研究,并与其他方法［１］进行了比较,结果表明本文方法是有效的。     

模糊控制中近似推理的插值模型

提出一种新的模糊控制近似推理模型——插值模型,即用多元插值方法来进行近似推理．在精确插值问题基础上提出模糊插值问题,并给出插值公式