确定有限自动机相关论文
针对正则表达式匹配速度低的问题,提出一种基于DFA结构的并行匹配算法.正则表达式匹配过程中,DFA的一部分状态访问次数多而另一部......
为简化并自动化组合Web服务验证，提出一种基于扩展有限自动机（extended deterministic finite automata，简称EDFA）验证组合web服务的方......
针对确定有限自动机(DFA)的正则表达式匹配技术存在状态膨胀和一次状态转移只能处理单个字符的问题,提出了一种基于布鲁姆过滤器的......
简述确定有限自动机的基本概念,提出了应用确定有限自动机在MES中实现流程控制的思想。通过XML来构造确定有限自动机,并给出实现方......
有限自动机和正则表达式都是描述语言重要方法,二者的转换具有重要意义.针对确定有限自动机模型做了深入的分析,在并行环境,提出了......
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究，详细分析了非确定有限自动机到确定有限自动机的并......
对有限自动机模型最小化做了深入分析，提出了一种基于可区分状态表结构的并行最小化算法，以实例详细；描述了算法并行处理过程并验证其......
针对软件开发过程中安全性分析与设计不足的问题，在研究现有软件安全性建模及形式化验证技术的基础上，提出了一种适用于面向对象的软......
主要研究词法分析器的技术,包括如何构造词法分析器?如何建立单词串的符号表和怎样优化词法分析器?研究如何从正规表达式出发,设计......
基于正则表达式进行深度报文检测在IDS/IPS、应用层协议识别等网络应用中具有重要作用。然而,采用DFA实现正则表达式需要大量的存......
针对质量统计过程控制(SPC)中的异常模式快速匹配问题,提出了基于确定有限自动机(DFA)的模式匹配算法,给出了能利用DFA进行匹配的......
针对集中式体系结构并发工作流的两种运行方式（活动并发执行和活动以任意顺序执行），对区间时序逻辑进行扩展，提出两个新操作符“交错”......
介绍了基于词法规则的语义对象匹配算法,通过有限状态自动机将文本与描述语义对象的规则匹配,分析连续匹配成功的片段,以计算文本......
针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数。在可计算逻......
目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出......
物联网呈现异构节点海量化、汇聚协议多样化、数据解析差异化的特点,多样化汇聚协议的适配与数据解析是大规模物联网数据汇聚的核......
为了解决现有正则表达式匹配算法在时间复杂度与空间复杂之间的平衡问题,提出一种通过参数动态设定的确定有限自动机（dynamic param......
传统的基于自动机的深度包检测算法是把正则表达式转化成确定有限自动机,在转化过程中会导致自动机状态消耗巨大运算空间。针对这......
根据可计算理论,形式语言的递归性是计算机产生和识别形式语言的基础。从正则语言识别的角度证明了正则语言的识别系统确定有限自......
为对现有的高性能正则表达式匹配算法进行综合比较与分析,实现诸如DFA、D2FA、CD2FA、mDFA及XFA等最新算法,采用Snort规则集综合评......
传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径，但存在监控需求表达能力不强及代码分散等问题。针对该问题，提出基......
通过分析确定有限自动机状态转换函数的内在含义，引入有关的原子命题，得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与......
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证......
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列......
目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安......
研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法．矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算．......
针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取......
