树自动机相关论文
检验查询可满足性是XML文档查询的一个重要问题。Active XML(AXML)文档在XML文档中引入嵌入式Web服务,增强了文档的动态性和灵活性......
本文介绍了树自动机结合项重写系统分析安全协议的方法。首先,协议步骤转化为项重写系统,通信请求被建模成树自动机;树自动机按照......
近年来,互联网技术的迅速发展和广泛应用极大地改变了分布式系统的规模。大型的分布式系统可以扩展至数百万节点,使得传统的同步紧......
该文给出了分支时序逻辑ＣＴＬ的一个基于自动机理论的模型检验算法。作者将模型检验问题规约为树自动机的成员问题，即判定给定树是否为自......
该论文是利用句法模式识别方法进行遥感影象中的机场识别的开端.该文的主要目的是在遥感图像上进行机场跑道的自动识别.机场跑道是......
GML已成为地理空间数据编码的事实标准.GML文档一般体积庞大,存储和传输时占用巨额资源.提出了一种基于文档模式的有效GML压缩方法......
提出一种新的树自动机超最小化算法，该算法将确定的树自动机转换为确定的有限自动机，再根据确定的有限自动机划分f-等价类方法及状态......
针对当前网页结构信息抽取技术存在的不足,提出一种基于确定性树自动机的信息抽取技术。该方法的核心思想是充分利用HTML文档的树......
利用形式化方法或工具自动化分析实用安全协议十分必要，定理证明技术因其可解决无限状态系统的验证备受关注，但扩展其验证规模和自动......
基于树自动机理论，研究了Active XML（简记为AXML）模式重写问题，提出了一种多项式时间的AXML模式重写判定算法，并对算法进行了实现。实验......
如何在XML数据流上高效地执行XPath查询，是XML数据流管理的关键问题。DTD结构信息对提高XML查询效率有很大帮助，已有的大部分算法没......
循环术语集是描述逻辑长期以来的研究难点，它的最基本的问题即语义及推理问题没有得到合理的解决．分析了描述逻辑循环术语集的研究现......
Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpat......
介绍了一种面向大规模分布式应用的发布订阅中间件系统，系统采用一种结合了下推树和自下而上树自动机的XPath订阅快速匹配算法，支持X......
提出一种新的树自动机超最小化算法，该算法将确定的树自动机转换为确定的有限自动机，再根据确定的有限自动机划分，一等价类方法及状态......
针对现有基于网页结构信息抽取技术的不足,提出一种基于确定性树自动机DTA(deterministic tree automaton)的信息抽取技术。其核心......
文档有效性检验是XML领域的一个基本问题．ActiveXML（AXML）文档在XML文档中引入web服务，传统用于解决XML文档有效性的检验方法并不适用......
GML已成为地理空间数据编码的事实标准．GML文档一般体积庞大，存储和传输时占用巨额资源．提出了一种基于文档模式的有效GML压缩方法，通......
为了自动将数据从HTML网页中抽取出来，采取树自动机推断方式进行数据抽取．核心思想是将样本网页转化为二叉树并构建出能够接受这些网......
从代数的角度出发研究树自动机的同余与同态,得出树自动机的同态基本定理和同构基本定理,进而研究它们之间语言的相关性质.......
本文在安全事件的时间语义及上下文语义关系分析的基础上,建立语义攻击树模型,提出了增强非确定有限树自动机处理策略及其算法,并......
提出了一种结合下推自动机和树自动机行为的自动机（XFTA）执行XPath订阅匹配XML数据流算法，支持多谓词、分支等XPath语言常规特性，消除......
自动机理论是研究离散型数字系统的功能、结构以及两者关系的数学理论,是对许多具体的离散数字系统的抽象,自动机理论是在开关网络......
为了提高XML数据流的查询匹配效率，基于XML过滤技术研究提出了一种基于树自动机的XML过滤技术XTAFilter。该技术利用hash表来存储谓......
为支持虚拟组织成员透明访问分布、异构的信息资源,对虚拟组织内的资源查询机制进行研究。首先对分布异构信息资源的虚拟化问题进......
在目前的计算机应用中,很多行业都存在大量的大块数据文件,这些大块数据文件均以某种存储格式存储。在传统的应用中,软件都是以格......
主动XML（AXML）是指一部分数据直接给出，另一部分数据以Web Services调用方式隐含给出XML文档。研究AXML重写问题，给出AXML重写系统的形......
介绍几种XML Schema类型验证算法，并对其中基于树自动机的算法进行研究，针对它在验证嵌套复杂类型XML文档过程中存在的问题，提出一种......
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性......
XML的发展，引发了人们对于文档和形式语言之间关系的研究，树自动机理论重新引起了研究者们的高度重视。介绍了树自动机的概念、类型......
Active XML(Active eXtensible Markup Language)的提出,能够有效的解决当前分布式数据管理中存在的数据源异构性、交互性及自主性......
理论计算机科学在很多不同领域有其根源:生物学家研究神经网的模型,电气工程师发展交换理论用以作为硬件设计的工具,数学家对逻辑......
研究了AXML文档安全重写判定问题，即判定给定AXML文档通过触发其包含的服务调用生成的文档集合是否能够全部重写为符合目标模式的文......
本文将模糊树自动机和模糊上下文无关树文法的概念推广到格半群上。证明了在接受语言和生成语言的意义下，树自动机和上下文无关树文......
为应对情景应用构建过程中，待连接服务之间的不匹配现象，提出了一种半自动的服务适配方法。提出了以树型文法表示服务的消息，并基于树......
如何在XML数据流上高效地执行大量的XPath查询成为数据流应用中一个迫切需要解决的关键问题.目前提出的算法或者不能完全支持XPath......
