一种有效验证XML文档语义的验证方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jplang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对传统的文本类型定义(DTD)对XML文档验证存在的漏洞,将本体论思想引入DTD文档,提出一种基于本体论思想的XML文档语义验证的有效方法,并在框架逻辑上予以实现。分析和实验表明,提出的方法可进一步提高信息获取的准确率。
其他文献
超立方网络拓扑是并行计算中最重要的多处理机互连结构之一,目前对它的研究热点主要集中在当超立方的网络互连结构中具有失效结点时,如何快速计算其上点到点的并行路由.本文
网络安全监测是Intemet/Intranet上的一个重要课题,如何能够在保证各种监测功能的前提下,尽量提高网络监测系统的性能,一直是一个难点.本文提出了一种基于PC机和Libpcap的纯
随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点.基于软件构件的特点,提出采用时序逻辑语言X
本文从OS研究的推动力--上层应用和底层硬件的角度,对过去OS的研究成果进行了详细的考察,并在该基础上得出结论:通用OS内核的结构不适合采用构件式.
随着数字电视、网上会议和在线点播的出现,越来越多的图像信息需要在网上进行传输,而此时人们不仅要求编码技术具有较好的压缩效果,还要求信息的传输能够满足渐进传输、多质量服
空间数据具有海量、复杂、连续、空间自相关、存在缺损与误差等的特点,要求空间聚类算法具有高效率,能处理各种复杂形状的簇,聚类结果与数据空间分布顺序无关,并且对离群点是健壮
网格要实现分布资源的共享,必须构建新的安全体系,制定更高要求的安全机制.通过分析网格计算的安全特性和安全策略,研究了网格计算的安全体系结构,讨论了结构中的主要技术和
贝叶斯(Bayesian)网络近年成为智能代理引人注目的研究方向,本文在介绍Bayesian网络及其构建方法、学习方法的基础上,构建了一个通用的可扩展的智能学习环境中的学生模型。
通过对图书馆学专业课程设置的变化,分析了图书馆学教育的现状与问题,展望了未来图书馆学教育“宽口径、厚基础、严培养”的发展趋势与特点。
随着网络带宽的不断提高,分组采样技术作为网络测量的手段越来越受到重视.因为在高速网络中对所有的分组进行实时的统计分析代价太大,而通过分组采样可以大大减少测量的代价,