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

半结构化数据正以其灵活性而成为解决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个小时。     

高校思想政治理论课师资队伍建设的几点思考

在大学生思想政治教育过程中,建立起一支结构合理、素质精良、充满活力的思想政治理论课师资队伍是提高思想政治理论课教学实效的重点。具体而言,必须深入了解当前实际情况,全面掌握新时期思想政治理论课教师所面临的挑战,加强组织建设,解决思想政治理论课师资队伍在数量、结构上的不合理和后继乏人的状况;加强思想建设,解决思想政治理论课教师对教学的不适状况等,还应该有的放矢地培养他们的综合素质。拥有一支强有力的高校思想政治理论课师资队伍,对提高思想政治教育的实效性具有非常重要的现实意义。     

基于MVC模式的嵌入式Web设计方法

为了提高嵌入式Web应用开发效率和代码重用性,提出了一种基于MVC模式的嵌入式Web应用开发模式,并基于该模式设计出一种实用的CGI应用程序模板引擎.该设计引入MVC方法,将Web应用开发分为模型、视图和控制器3个模块,从而在嵌入式Web设计过程中实现了逻辑层与表示层的分离,使嵌入式Web应用程序设计过程模块化并具有清晰的层次结构.基于此方法开发嵌入式Web应用,可以提高代码的重用性,增强系统的可扩展性和可维护性.该模式是一种通用的设计方法,可以根据实际环境应用在各种嵌入式系统平台上.