搜索结果: 1-4 共查到“自动机理论 XML”相关记录4条 . 查询时间(0.14 秒)
XML数据类型验证算法的改进
树自动机 XML Schema模式 类型
2009/9/27
介绍几种XML Schema类型验证算法，并对其中基于树自动机的算法进行研究，针对它在验证嵌套复杂类型XML文档过程中存在的问题，提出一种改进算法，为每个终结符增设一个处理状态标志，从而对以XML文档表示的数据类型进行验证。通过实验测试其性能，结果表明该算法是有效的。
基于P2P和XML内容的发布订阅系统
发布/订阅 树自动机 P2P
2009/6/24
介绍了一种面向大规模分布式应用的发布订阅中间件系统,系统采用一种结合了下推树和自下而上树自动机的XPath订阅快速匹配算法,支持XPath多谓词和分支特性。系统事件代理P2P网络节点之间的事件或订阅消息路由采用了扩展的Chord路由协议和订阅聚合、覆盖等多种优化措施。实验结果表明,系统具有较好的效率和性能,能满足面向大规模分布式应用的要求。
基于XML的无人机任务链模型
无人机 任务规划 任务链
2009/4/17
对无人机系统地面任务控制站与飞行器通信协议中的任务链进行了研究。根据功能将任务链分为航路计划、传感器计划、通信计划和控制权限交接计划4个部分，建立了能够支持复杂任务的任务链模型。采用XML语言对任务链进行表达，增强了任务链的标准性和通用性。最后实现了任务控制站通过任务链控制多架无人机协同执行任务的仿真。
Tree Automata for Schema-level Filtering of XML Associations
Access control association object flexible security granularity XML security tree automata
2014/3/12
In this paper we present query-filtering techniques based on bottom-up tree automata for XML access control. In our authorization model (RXACL), RDF statements are used to represent security objects a...