基于DTD节点自动机的XML模式验证方法

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:yuming_wu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XML已经成为Web环境中数据表示和交换的标准.XML的模式验证在XML的使用中地位重要.DTD作为模式描述的一种方法,应用广泛,但使用DTD描述的模式不能正常表示同构的XML数据.文章扩展了DTD并提出了一种基于自动机的模式验证方法,将扩展的DTD中每个元素转换为一个自动机,将XML文档编码为字符串,并将字符串作为自动机的输入进行验证,可以有效地验证同构的XML.
其他文献
目的:用腺病毒载体将人骨形态发生蛋白-2(BMP-2)基因导入兔骨髓基质干细胞(BMSCs),种植PLA/PCL(聚乳酸/聚己内酯)支架体外构建组织工程骨.方法:蛋白印迹法检测转染后细胞BMP-
国防工业进入和退出的制度性障碍表现为潜规则障碍、正式规则障碍和实施机制带来的障碍.通过转变国防工业政府管理部门的职能、加强国防工业领域的行业法律法规制度建设、推
新中国成立初期,人民解放军展开了学苏军活动。这次学苏军活动,经历了全面学习、有分析有批判地学习以及确立“以我为主”方针等三个历史阶段。通过学习、借鉴苏军经验,人民
本文在明确信息资源内涵的基础上,对目前在信息资源测量中采用较多的信息资源丰裕度系数测度模型进行评析,并对该模型的指标体系和具体算法作出了改进,以期进一步完善。 On
研制一种超效缓凝剂 SRA,当掺量为 0 .0 4 5 %时可将终凝时间延长到 10 h;综合考察 SRA对水稳粒料的强度和对水泥凝结时间的影响确定 SRA的最佳掺量在 0 .0 5 %~ 0 .0 6 % ,用
通过对人体模型测试和示踪气体测量,研究了一种个性化送风系统中风速、风温和污染物浓度随送风参数的变化状况,并预测了此系统微环境(人员呼吸区)中空气参数的改变程度.结果
通过对河南省新乡市自动气象站日常观测设备的正常使用直接决定气象数据的准确性,为保证观测数据质量,气象观测设备的日常维护是地面气象观测的一项十分必要的工作,随着自动
煤炭行业一直以来是我国的经济发展支柱产业中重要的组成部分,随着我国经济的飞速发展,探测地质数据的传统技术已不能满足当今煤田开发的需要,只有很好的与国际接轨,引入相关
根据西藏东南部察隅县出现有气象记录以来罕见的强暴雨雪天气灾害的亲身经历,通过对县级台站气象服务的思考,对如何提高县级台站气象服务提出一些看法和体会.
高超的课堂讲授艺术能够激发和锻炼学员的记忆能力、思维能力、想象能力,直接影响学员的学习效果和授课质量。军校教员应注重在教学过程中培养和提升课堂讲授的口头语言艺术