【摘 要】
：
Twig模式最小化作为XML查询优化的一个重要方面，由于在进行最小化的过程中通常要利用XML Schema中的约束信息，因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过
【机 构】
：
北京工业大学计算机学院,北京工业大学软件学院,提赛德大学计算机学院米德尔斯堡TS13BA
【基金项目】
：
本文受北京市自然科学基金：面向XQuery语言的树模式查询技术研究（4122011）资助.
论文部分内容阅读
Twig模式最小化作为XML查询优化的一个重要方面，由于在进行最小化的过程中通常要利用XML Schema中的约束信息，因此被称为Schema特征。为了简化运用传统方法提取Schema特征的过程，以及确保提取过程的正确性，提出了一种自动提取Schema特征的模型检查算法。在Schema的形式模型的基础上，利用扩展的CTL公式表示Schema特征，提出算法以检查Schema模型是否满足要求的特征。由于扩展了CTL公式，所提算法不但可以检查孩子、子孙等前向的Schema特征，而且可以检查双亲、祖先等后向特征。
其他文献
随着全球经济一体化和信息化的发展，我国高等学校将被置于整个国际社会发展的大环境之下，国际交流与合作在高校的发展中将扮演更加重要的角色。因此，对作为高校对外交流与合作真
基于最短向量问题的格公钥密码体制是典型的抗量子计算密码体制.格的唯一最短向量问题可转化为二面体群的隐含子群问题.有效地求解二面体群的隐含子群问题可攻破基于格的唯一
随着遥感技术的快速发展,越来越多的成像卫星可采集同时相的全色和多光谱图像。通常,多光谱图像的分辨率低于全色图像,但实际应用中人们更迫切需要提升多光谱图像的分辨率。当前,研究人员已提出了大量的图像融合方法来解决这个问题,但依然存在光谱失真、细节模糊等问题。此外,真实遥感图像的尺寸较大,现有融合方法难以满足实际应用的高时效要求。为此,提出了基于比值变换的全色与多光谱图像高保真融合方法。根据全色与多光谱
随着我国经济快速发展，人民生活和健康保障水平不断提高，医疗卫生需求与医疗市场服务之间存在较大矛盾，主要是医疗价格上涨，整体医疗费用水平高于国民生产总值的增长速度。当前，在
提出了一种鲁棒的快速角点检测算法,以解决现有基于点到弦距离累加的角点检测算法存在的缺陷,即角点定位低、算法时间复杂度高等问题。该算法结合了‘单尺度’和‘多尺度’的优势,首先在‘单尺度’下获取候选角点集合,保留了邻近角点,并使得后续计算量大大降低,然后在‘多尺度’下计算候选角点的特征值,使之有效地去除伪角点。实验表明,所提算法的时间复杂度降低了,并且保持了算法的鲁棒性,角点定位精度也得到了提升。
随着时代的发展、社会的进步及我国社会主义市场经济体系的建立,大量新的投资主体和经济团体应运而生,国家重点建设项目不断扩大,档案管理在经济建设和各项社会事业中的作用
近几年，许多企业和研究所为了进行工业产业结构调整，加大了固定资产项目建设，新建、扩建、改建了许多科研、生产基地，由此产生了大量固定资产投资项目档案。如何做好固定资产投资
线性SVM具有算法简单、训练和测试速度快等优点,但不能用于解决线性不可分问题。为此,将样本数据集划分为多个集合并分别构造它们的LSVM,然后运用径向基函数的非线性组合来拟合非线性的决策函数,从而解决线性不可分问题。鉴于此,提出了一种适合非线性大样本分类的LSVM快速集成模型FMELSVM。该模型利用径向基函数RBF改善了LSVM的非线性输出能力,同时引进了优化权来提升LSVM的集成效果。UCI数据
为了产生、加工出一组逼近白噪声统计信号特性的信号并将其作为扩频码来降低扩频通信系统的误码率、提高可靠性,基于三元组随机数提出三元组扩频码.该扩频码由真随机熵源提供
在我并不算太长的档案职业生涯中，曾亲历过两次“档案空白”，而这两次“空白”时常会清晰地浮现在我的脑海，真切地站立在我的面前，挥之不去，成为永远抹不掉的疤痕和伤痛。