【摘 要】
：
目的 探讨建立大鼠急性肺血栓栓塞症(PTE)模型的方法,并观察急性PTE大鼠血清可溶性细胞间黏附分子-1(sICAM-1)及可溶性血管细胞粘附分子-1(sVCAM-1)的变化及意义.方法 通过颈
【机 构】
：
首都医科大学附属北京朝阳医院京西院区
【基金项目】
：
科技部"十五"攻关项目"肺栓塞规范化诊治方法的研究"(No.2001BA703B13)
论文部分内容阅读
目的 探讨建立大鼠急性肺血栓栓塞症(PTE)模型的方法,并观察急性PTE大鼠血清可溶性细胞间黏附分子-1(sICAM-1)及可溶性血管细胞粘附分子-1(sVCAM-1)的变化及意义.方法 通过颈外静脉注入血凝块建立PTE大鼠模型,于制模后2 h、6 h、1 d、3 d、7 d及14 d处死大鼠,取左肺做苏木素-伊红(HE)及磷钨酸苏木素(PTAH)染色,检测血清sICAM-1及sVCAM-1浓度.结果 PTE组可见血栓栓塞于肺动脉,栓塞后2 h组可见血栓表面有白细胞附着,6 h组有继发血栓形成,1 d组血
其他文献
语法结构正确的过程模型并不能保证过程运作的实际执行,因为没有考虑实例化阶段的时间资源安排。传统的过程自动机描述法不足以分析实例化过程模型。针对这种情况,提出用时间自动机描述过程模型语义的方法,设计了生成时间自动机的算法,分析了这种描述方法在模型检验中的应用。
学科知识建模是一项巨大的工程,当前存在的主要问题有知识库不能很好地共享和重用,难以实现语义上的推理及检索等。把本体技术应用于学科知识建模中,构造了部分课程本体,并实现了对该本体的推理及查询。
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计,并给出了相关示例。
在GIS领域中,由于Delaunay三角网在描述地表形态方面有很大的优势,所以常被用于生成不规则三角形网(TIN)。对约束TIN的构建过程进行了研究,并对其中的逐点插入算法和强行约束线算法从实现上进行了改进,提高了构网的速度。
运动检测是现代视频监控系统的核心。在分析和探讨了几种运动检测算法后,提出了一种新的应用于视频监控系统的运动检测算法,该算法结合统计法和边缘检测筛选出运动边缘点,对运动边缘点逐个进行块匹配最优搜索,估算出运动矢量。该算法的应用有效地压缩了存储的视频数据,改善了系统性能,有很好的实用价值。
通过对手机内容服务系统,特别是其安全性要求的研究,提出了一种适合于手机内容服务系统的安全模型。该模型能够满足手机内容服务系统的各种安全需求。讨论了一个具体的模型及其实现策略,分析了模型中使用的一些关键技术,同时对模型的性能作了简要的评测。
XML已经成为网络上信息描述和信息交换的标准,随着XML应用得越来越广泛,人们提出了多种XML数据的查询方法。但是,很多查询方法都有各自的局限性。利用有意义的最小公共实体结构EntityInMLCAS(Entity In Meaning Lowest Common An- cestor Structure)原理,提出一种优化查询方法。同时采用堆栈技术的方法对XML文档结点树进行自顶向下的遍历,该方