检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

Inhibitory effect of the adenovirus type 5 E1A protein expressed in the yeast system on the human tumor cell growth

Adenovirus 5 type E1A as a tumor suppressor gene can inhibit tumor growth and enhance the sensitivity of chemotherapy and radiotherapy. E1A have the ability to integrate into the host genome, resulting in long-time expression that induces Rb gene inactivation and animal cells immortalization. This prompted us to select the E1A protein for treatment of cancer in order to overcome the limitations of E1A gene therapy. Thus, we firstly constructed E1A eucaryotic expression vector (pPIC9/E1A), transformated the pichia pastoris yeast cells (GS115) and screened the high-expressing recombinant strains. The positive yeast strains were cultured in the shake flask, and induced for 3 d. The crude E1A protein was purified using two steps of column chromatography on HiTrap Q and HiTrap SP. The purified E1A protein was identified by SDS-PAGE and Western blot. E1A protein was mostly located at cellular nuclear when Chariot delivered E1A protein into cells. The analysis in vitro indicated that the E1A protein arrested LN686 cell cycle at G2/M phase, and significantly inhibited the growth of LN686 tumor cells. The current studies firstly provided an experimental basis to further develop E1A protein for tumor treatment.     

Microarray-Based Differential Expression Monitoring of 79 Novel Genes in Human Fetal Tissues

0　ＩｎｔｒｏｄｕｃｔｉｏｎＬａｒｇｅ ｓｃａｌｅｓｅｑｕｅｎｃｉｎｇａｎｄｔｈｅａｐｐｌｉｃａｔｉｏｎｏｆｅｘｐｒｅｓｓｅｄｓｅｑｕｅｎｃｅｔａｇ(ＥＳＴ)ｔｅｃｈｎｏｌｏｇｙｈａｓｌｅｄｔｏｔｈｅｉｄｅｎｔｉｆｉｃａｔｉｏｎｏｆｈｕｎｄｒｅｄｓａｎｄｔｈｏｕｓａｎｄｓｏｆｇｅｎｏｍｉｃｓｅｑｕｅｎｃｅｓｆｒｏｍｖａｒｉｏｕｓｍｉｃｒｏｂｅｓｔｏｍｕｌｔｉｃｅｌｌｕｌａｒｅｕｋａｒｙｏｔｅｓａｎｄｐｌａｎｔｓ[1,2 ] .ＥｘｐｒｅｓｓｉｏｎａｎａｌｙｓｉｓｏｆｅａｃｈｋｎｏｗｎｇｅｎｅｏｒＥＳＴｕｓｉ…     

肝片吸虫保护性抗原基因在卡介苗中的表达

用ECoR　I酶切合肝片吸虫保护性抗原基因FH3的重组质粒pUC18／FH3，回收FH3(约1．0kb)片段并测定其碱基序列．FH3片段以正确相位插入到E．coli—分枝杆菌穿梭表达质粒载体pMV261中，构建含有肝片吸虫保护性抗原基因的重组穿梭质粒．通过电转移法转化卡介苗，斑点杂交实验汪明，重组卡介苗中含有此抗原基因．热诱导FH3基因在卡介苗中的表达，并对基图表达产物进行别SDS—PAGE分析．结果显示，表达产物相对分子量为22kD．     

北京市旅游开发中资源的区域表达程式和内容

按照国家标准《旅游资源分类、调查与评价》预计在北京市完成全面旅游资源详查后，提出对某些旅游资源数据处理的意见和建议。内容包括测算旅游资源主类、亚类、基本类型及其单体的量值（资源主类所属基本类型及其资源单体数量、结构分析、基本类型数量总汇、人文旅游资源和自然旅游资源数量结构）、品质（资源单体质量分级构成、自然旅游资源和人文旅游资源的分级质量等级构成、基本类型等级分级结构、区域资源质量等级构成、资源等级区域分析）、组合关系（基本类型－－单体组合、集合区的表达）等。这些分析将对北京市旅游资源开发提供直接的量化依据。     

高级语言中子程序的副作用

高级语言中子程序的副作用是指子程序(过程和函数)对全程量或非局部量的改变.在C语言子程序中由于使用了全局变量,或是使用了静态变量,或是使用了指针参数,从而产生副作用.分别分析了++、--运算符、函数参数的运算次序、逻辑表达式、赋值表达式的副作用.而Turbo PASCAL中,系统会自动对表达式中的函数运算次序进行优化,从而引发更复杂的副作用.     

一般平面地图依点和面数的计数(Ⅰ)

主要讨论了一般有根平面地图依点数和边数的计数问题,获得了该类地图具有2参数的计数函数的一个新的参数形式解以及它的计数显式,从而简化了文献中的相应结果.     

平滑l0范数约束的β NMF及其在聚类中的应用

针对基因表达数据噪声大、冗余性较高,传统的NMF算法在基因表达数据聚类中的低效性问题,提出了一种平滑的l_0范数约束的β散度的矩阵分解与K-means相结合的聚类算法,应用到基因表达数据当中;将平滑的l_0范数约束引入到基于β散度的矩阵分解的目标函数中,从而提取有用特征信息用于聚类;最后通过实验比较,改进的算法平均聚类精度达到70%,比传统的NMF聚类算法精度提高了11%,聚类效果相较其他方法显著。     

基于基因表达谱芯片杂交分析Lamprey-PHB2转染前后Chang liver细胞的基因表达差异

选取了10个物种与本课题组前期克隆得到的东北七鳃鳗抗增殖蛋白2(Lm-PHB2)进行氨基酸序列相似性对比,检测PHB2基因进化水平,结果表明各物种的PHB2氨基酸序列在PHB结构域处高度保守,但在N-端和C-端氨基酸序列保守性较低.将重组质粒pEGFP-N1-Lm-PHB2瞬时转染入张氏肝(CHL)细胞后,利用基因表达谱芯片技术分析基因的表达差异.结果显示CHL细胞中共有270条显著差异表达基因,其中显著上调基因共141条,显著下调基因共129条,涉及细胞信号转导、细胞周期调节、细胞增殖、细胞代谢和细胞凋亡等多个方面.通过实时荧光定量聚合酶链式反应(PCR)对基因表达谱芯片分析结果进行验证,结果显示转染pEGFP-N1-Lm-PHB2质粒后,细胞周期基因CDC25C、氧化应激相关基因(CAT,SOD,GST)和抗细胞凋亡基因HAX1均有显著性差异.     

基于改进核模糊粗糙集的特征基因混合选择方法

针对基因表达谱高维、小样本、高冗余和高噪声等特点,提出了一种特征基因混合选择方法.采用Relief F方法对原始基因进行排序,过滤无效基因,获得初选基因子集,给出了基于差分进化算法优化的核模糊粗糙集模型,进行了特征基因终选.仿真实验结果表明:所提算法比Relief F、Kruskal Wallis、Gini Index等算法在分类精度和基因数量等方面有明显优势.