排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
为了实现精确加速从而解决由于不同时间度量而造成的模型检测时出现的片段问题,提出了一种识别时间自动机中可加速环的方法.针对时间自动机规模较大的问题,在识别可加速环的方法中引入拓扑排序的思想,通过简化时间自动机的规模,提高了识别时间自动机中可加速环的效率.实例验证和复杂度分析表明该方法是可行的. 相似文献
2.
3.
4.
研究了天然VacA细胞空泡毒素蛋白诱导细胞空泡和凋亡的生物学活性.培养空泡毒素阳性的Hp菌株,超声碎菌后提取上清,用SDS—PAGE分析上清中目的条带,测定其蛋白含量,用电镜观察VacA致Hela细胞空泡样变,然后用MTT法检测Hela细胞的生长曲线后,分别用MTT法分析VacA对Hela细胞的生长抑制作用,以及用TUNEL法和流式细胞技术检测VacA蛋白致凋亡的细胞毒活性.实验结果表明,在PAGE上可见相应VacA蛋白条带,电镜下天然VacA毒素致Hela细胞空泡化明显,因此VacA毒素可以抑制Hela细胞的生长,并且诱导其凋亡;在倒置显微镜下观察可见细胞空泡、脱落,胞浆浓缩,胞核皱缩、碎裂,呈现圆形固缩状态.MTT法数据示H.pylori Va-cA蛋白具有浓度依赖性地致细胞毒活性,光镜下可见TUNEL法中可显示棕黄色凋亡细胞,因此证明幽门螺杆菌VacA蛋白有明显的诱导Hela细胞凋亡的作用. 相似文献
1