基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

HSV-1的microRNA-LAT基因修饰人骨髓间充质干细胞的体外研究

人骨髓间充质干细胞(HMSCs)具有强大的多向分化潜能, 能为组织移植和体外基因传递载体. 单纯疱疹病毒1型(HSV-1)不仅具有嗜神经元性, 而且对HMSCs也具有很强亲嗜性, 可作为HMSCs的基因修饰载体, 主要通过其自身携带的microRNA-LAT发挥抑制凋亡作用. 本研究构建针对microRNA-LAT的特异性茎环结构的逆转录引物, 并用特殊探针的real-time RT-PCR方法检测HMSCs细胞质中成熟microRNA-LAT的相对定量水平. 采用顺铂诱导对照法观察HSV-1对HMSCs的作用. 通过观察HMSCs细胞形态和流式细胞仪检测细胞凋亡率, 评测HSV-1引起的HMSCs抗凋亡功能; 同时采用RNAi方法, 化学合成TGF-β信号传导通路中SMAD3及TGF-β1靶点的siRNA和microRNA- LAT siRNA. 从基因mRNA, microRNA和蛋白质水平, 分别采用RT-PCR, real-time RT-PCR和Western blotting方法, 检测HMSCs中microRNA-LAT和SMAD3及TGF-β1表达水平及其相互关系. 结果表明, 与单纯顺铂诱导对照组相比, HSV-1组和microRNA- LAT组HMSCs凋亡细胞数减少, 细胞凋亡率降低(P < 0.05), 具有抗凋亡作用; 在TGF-β信号传导通路中, HSV-1组和microRNA-LAT组TGF-β1与 SMAD3靶点基因在mRNA水平及蛋白水平的表达量均观察到一定程度降低, 且降低水平与采用RNAi法的SMAD3组和TGF-β1组相类似. Real-time RT-PCR结果显示, 与空白对照组相比, 顺铂组HMSCs细胞质中成熟microRNA-LAT mRNA水平有所降低(P < 0.05). 据此, HSV-1 及其microRNA-LAT可敲除SMAD3和TGF-β1基因, 下调TGF-β信号传导通路表达而对顺铂诱导的HMSCs凋亡有拮抗作用. 本研究结果证明, HSV-1自身携带的microRNA-LAT对HMSCs细胞TGF-β信号传导通路中的SMAD3和TGF-β1具有精细调节和基因修饰作用, 使HMSCs具有抗凋亡功能, 并且HSV-1可作为针对HMSCs的特殊基因修饰候选载体.     

移动对象时空拓扑关系模型

时空拓扑关系是移动对象时空特性研究的一个重要内容。针对二维欧氏空间内的平面移动对象,建立基于时间片的时空数据模型。并基于点集理论定义移动对象时空拓扑关系的定性模型,表达为由9交模型描述的时态拓扑关系和空间拓扑关系的复合。同时提出其时空拓扑有效性、可计算性约束及其计算规则,进而给出移动对象动态时空特征的表达方法。该模型提出了一种移动对象时空拓扑关系的表达和计算方法,有效的刻画其动态特征,可以为移动对象数据库及其时空查询提供理论基础     

乙苯脱氢制苯乙烯工业生产过程的模拟与优化

利用建立的乙苯脱氢反应动力学模型 ,对乙苯脱氢制苯乙烯反应过程进行了计算机模拟 ,借助流程模拟软件ASPENPLUS 10.1,在灵敏度分析的基础上确定了苯乙烯生产过程的最佳操作条件。     

区域科技资源配置要分类实施

国家软科学研究计划项目《区域特色产业和科技资源空间布局研究》,通过对我国各地区特色优势产业分布与科技资源匹配关系的分析,将我国区域特色优势产业划分为两种类型,并指出我国区域科技资源配置要分类实施。     

基于多功率电平-多前导的mMTC免授权随机接入方案

传统的免授权随机接入方案存在严重的前导碰撞，这大大限制了终端的接入性能。为了降低前导碰撞及提高免授权随机接入概率，提出一种基于多输入多输出(multiple input multiple output, MIMO)和多功率电平-多时隙联合的免授权随机接入方案。在该方案中，活跃用户从前导池中随机选择多个前导序列构成组合前导，并根据自身位置选择一个发送功率电平，将组合前导和信号以该功率电平依次发送至基站；基站采用顺序干扰抵消技术分离不同功率电平的信号，通过前导检测识别竞争用户并估计随机接入冲突。仿真结果表明，相比单一非正交多址(non-orthogonal multiple access, NOMA)方案和单一多前导方案，所提方案能够有效提高用户的接入成功概率，对大规模随机接入场景具有更好的适应性。     

石蒜碱诱导人肝癌HepG-2细胞凋亡机制研究

利用MTT试验,检测石蒜碱对人肝癌HepG-2细胞具有增殖抑制作用,并观察细胞凋亡形态,采用流式细胞仪检测肿瘤细胞凋亡率,发现石蒜碱对人肝癌HepG-2肿瘤细胞具有显著的抗肿瘤作用;通过对肿瘤细胞膜上主要组成成分进行检测,发现石蒜碱可以改变HepG-2细胞膜主要组成成分,使细胞膜结构发生变化;通过考察石蒜碱对HepG-2细胞细胞膜结构功能的影响,发现石蒜碱可以破坏肿瘤细胞膜完整性,并且能够降低肿瘤细胞膜封闭度、肿瘤细胞膜流动性以及肿瘤细胞膜阳离子通道活性,肿瘤细胞膜主要组成成分、结构的改变将会改变肿瘤细胞的内环境,细胞的内环境的改变必将影响细胞正常的新陈代谢功能,引发细胞凋亡.     

红霉素摇瓶发酵控制条件的优化

文章讨论摇瓶发酵控制条件对红霉素发酵水平的影响。通过单因素和正交实验优化,最佳发酵条件为A1B2C2D2:前期发酵、中期和后期发酵三阶段发酵温度分别为31℃、33℃、29℃,发酵起始pH值为6.7,摇床转速控制为:0～48 h为220 r/min,48～96 h为300 r/min,96～144 h为220 r/min,144～168 h为150 r/min。优化后菌株UL5的发酵水平比优化前提高15.54%。     

电动机节电技术的研究

针对电动机目前存在的几个问题,简单分析了电动机在轻载运行时降压节电原理,重点对其节电技术措施进行了探讨。     

基于领域知识的冗余关联规则消除算法

关联规则挖掘算法用于从大型数据库中提取感兴趣的规则,然而,在领域知识中已经能清晰表示的知识并没有被充分考虑,关联规则挖掘算法提取的规则中包含了大量已知的关联性,从而产生了很多冗余规则.文章提出一种算法DKARM,同时考虑了数据本身以及相关的领域知识,以消除在领域知识中清晰表示的已知关联性.实验表明,该算法合理消除了冗余规则,有效降低了规则数目.