面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

γ能谱测量及其应用

指出了γ能谱测量在核物理实验中的重要地位；根据国内外献报道，简述了γ能谱测量测量的基本原理，及其在测量技术、解谱方面的进展，综述了它在地质探测、环境及核工业检测等方面的应用，并讨论了它与其他测量手段结合而产生新的应用领域。     

两类类肽图的Wiener指标

文献[1]中给出了线性骨架类肽图的Wiener指标,文章结合实际给出了两类骨架更为复杂的类肽图的Wiener指标的计算方法,即当骨架图分别为完全图和轮时的类肽图的Wiener指标的计算方法及其精确结果。     

Matlab在物理实验数据处理中的应用

介绍了用Matlab处理杨氏模量实验数据,说明此方法比手工计算的简单快捷.     

关于富足0-■-单半群的注记

在富足0-■-单半群中,根据完全0-单半群的4个等价条件对应地引入了3个条件,研究了本原富足0-■-单半群与其它3个所提出条件的相互关系.     

Matlab在物理实验数据处理中的应用

介绍了用Matlab处理杨氏模量实验数据,说明此方法比手工计算的简单快捷。     

浅析体育俱乐部在新世纪大学校园文化中的作用

探讨大学校园文化与社会文化、高等教育及高校体育的关系,由此指出,在新世纪中高校体育俱乐部具有全面促进大学校园文化发展的作用,并具有加强大学校园文化德育与美育功能的作用。     

应用gE-MGB-TaqmanPCR方法检测冰冻动物组织样品

伪狂犬病毒是严重影响养猪业发展的重要病毒,病毒粒子具有较强的抵抗力。gE基因是伪狂犬病毒的毒力基因和gE-基因缺失疫苗的缺失基因。本实验应用gE-MGB-TaqmanPCR检测18份冰冻组织样品,阳性率为15/16(除2份弃去),与血清中和结合细胞MTT比色实验结果比较,符合率为100%。此方法以闭管的模式操作,减少了以后步骤污染的可能性,整个PCR检测过程少于2个小时。     

海水中氟氯烃的吹扫捕集气相色谱分析

建立了吹扫捕集气相色谱法测定海水中氟氯烃的方法.结果表明,本方法测得的氟氯烃的精密度和回收率高,CFC-11、CFC-113、CCl4的相对标准偏差为1.9%～4.1%,回收率为99.3%～101.0%,检测限分别为0.014 5 pmol/kg、0.033 2 pmol/kg、0.019 8 pmol/kg.本方法操作简便快速,是一种海水氟氯烃测定的可靠分析方法,已成功应用于北冰洋海域海水样品的分析测定.     

等离子体方法实现金属管件内表面改性研究进展

综述了近年来国内外利用等离子体方法实现金属管件内表面强化的研究进展. 介绍了几种管件内表面等离子体源离子注入和沉积技术，并对其优缺点分别加以分析. 详细介绍了中国科学院物理研究所等离子体物理实验室先后提出的几种等离子体源离子注入方法用于金属管件内表面改性的原理、技术特点及最新研究进展. 力图展望管件内壁离子注入技术研究的发展前景.