一种新的DFA状态最小化算法 被引量：2

1

作者 范书义 孟晨 王成 《计算机工程与应用》 CSCD 2012年第1期47-48,67,共3页

提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化... 提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。 展开更多

关键词 确定有穷自动机(dfa) 状态最小化 状态转换矩阵

在线阅读 下载PDF 职称材料

使用DFA的Web会话构造方法 被引量：1

2

作者 黄金晶 赵雷 杨季文 《计算机工程与应用》 CSCD 北大核心 2009年第8期138-140,共3页

会话识别是Web使用挖掘数据预处理中重要的一个环节。将确定的有限自动机(DFA)思想运用于会话构造,针对一段用户访问日志,通过DFA中各个状态间的转换,实现会话构造。该方法更多考虑页面之间的连续性,关注用户的实际访问序列,有利于后续... 会话识别是Web使用挖掘数据预处理中重要的一个环节。将确定的有限自动机(DFA)思想运用于会话构造,针对一段用户访问日志,通过DFA中各个状态间的转换,实现会话构造。该方法更多考虑页面之间的连续性,关注用户的实际访问序列,有利于后续的用户访问模式的挖掘。 展开更多

关键词 WEB使用挖掘 数据预处理 会话识别 确定的有限自动机(dfa)

在线阅读 下载PDF 职称材料

一个完善的基于判定链表的DFA最小化算法

3

作者 陈矗 任平红 +1 位作者 禹继国 马炳先 《计算机工程与应用》 CSCD 2013年第6期48-51,共4页

应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基... 应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基于判定链表的DFA最小化算法。该算法涵盖所有等价状态的链表处理,与传统的分割或合并算法的最小化结果一致,保证了基于判定链表的最小化结果的正确性。 展开更多

关键词 判定链表 确定有限状态自动机(dfa) 最小化

在线阅读 下载PDF 职称材料

一种针对DFA状态爆炸的正则表达式匹配方法 被引量：4

4

作者 王翔 卢毓海 +1 位作者 马伟 刘燕兵 《计算机工程》 CAS CSCD 北大核心 2019年第4期148-156,共9页

针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间... 针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间可达10 ms量级,抽取率高达99%,同时匹配引擎具有较好的稳定性和可拓展性,且匹配速度优于相关开源匹配引擎。 展开更多

关键词 正则表达式 确定有限自动机 状态爆炸 子串抽取 匹配引擎

在线阅读 下载PDF 职称材料

面向深度包检测的DFA细粒度并行匹配方法 被引量：7

5

作者 刘兴奎 邵宗有 +1 位作者 刘新春 孙凝晖 《计算机研究与发展》 EI CSCD 北大核心 2014年第5期1061-1070,共10页

确定性有限自动机(DFA)是实现正则表达式匹配的一种有效手段,但DFA的状态跳转是串行的,导致匹配速度慢、难以满足高速骨干网环境深度包检测(DPI)的性能需求.提出了一种称为LBDFA(Loopback DFA)的细粒度并行化状态跳转方法,通过将在Loopb... 确定性有限自动机(DFA)是实现正则表达式匹配的一种有效手段,但DFA的状态跳转是串行的,导致匹配速度慢、难以满足高速骨干网环境深度包检测(DPI)的性能需求.提出了一种称为LBDFA(Loopback DFA)的细粒度并行化状态跳转方法,通过将在Loopback状态上的连续跳转并行化,提高了匹配速度.此外,利用Bloom filter消除该并行跳转中的临时偏离现象,进一步提高了并行潜力.在L7-filter以及Snort规则集上的测试结果表明,LBDFA能够满足10Gbps以上的正则表达式匹配需求. 展开更多

关键词 正则表达式 确定性有限自动机 深度包检测 回环状态 FPGA

在线阅读 下载PDF 职称材料

基于改进的Trie树和DFA的敏感词过滤算法 被引量：13

6

作者 吴珊 李英祥 +2 位作者 徐鸿雁 张仕霞 施宜军 《计算机应用研究》 CSCD 北大核心 2021年第6期1678-1682,1688,共6页

通过对文本内容中敏感词过滤方法及相关技术的研究,提出了一种基于改进的Trie树和DFA的敏感词过滤算法,解决了敏感词过滤技术中的人工干扰、分词障碍等关键问题,提高了文本中敏感词过滤的准确性和有效性。提出的算法包括三个步骤:基于... 通过对文本内容中敏感词过滤方法及相关技术的研究,提出了一种基于改进的Trie树和DFA的敏感词过滤算法,解决了敏感词过滤技术中的人工干扰、分词障碍等关键问题,提高了文本中敏感词过滤的准确性和有效性。提出的算法包括三个步骤:基于排列组合的数学原理对中文词向中拼混合词进行扩充;采用改进的Trie树结构来存储DFA的所有状态,构建敏感词树;根据构建的敏感词树结构以及采用最小匹配规则对文本内容中的敏感词进行检测和过滤。通过分析得到构建敏感词树算法的时间复杂度为O(n×len),敏感词检测及过滤算法时间复杂度为O(L)。实验结果表明,本算法其查准率为100%,查全率约为87%~100%。 展开更多

关键词 改进的Trie树 确定有穷自动机(dfa) 敏感词过滤 最小匹配规则

在线阅读 下载PDF 职称材料

基于决策树和DFA的老挝文敏感信息过滤算法 被引量：5

7

作者 王艺皓 丁洪伟 +2 位作者 王丽清 李波 李浩 《计算机应用与软件》 北大核心 2022年第7期241-246,274,共7页

通过对老挝文语言特点的分析,提出一种基于确定有穷自动机和决策树的老挝文敏感信息过滤算法。将老挝文进行词汇划分和编码化处理,合理地解决老挝文与汉语书写上的差异性以及计算机读取存储出现乱码的问题;结合决策树的特点,构建老挝文... 通过对老挝文语言特点的分析,提出一种基于确定有穷自动机和决策树的老挝文敏感信息过滤算法。将老挝文进行词汇划分和编码化处理,合理地解决老挝文与汉语书写上的差异性以及计算机读取存储出现乱码的问题;结合决策树的特点,构建老挝文敏感信息决策树,该树不依赖于词典,且可以实现实时更新;基于确定有穷自动机模型实现了老挝文敏感信息的检测和过滤,同时也实现了实时报警。实验表明,该过滤算法针对老挝文有较高的工作效率,同时也取得了较好的查全率和查准率。 展开更多

关键词 确定有穷自动机 决策树 敏感信息过滤 老挝文过滤 网络舆情

在线阅读 下载PDF 职称材料

基于DFA复合式Agent模型的设计与实现 被引量：1

8

作者 卢薇薇 蔡自兴 +1 位作者 文志强 陈爱斌 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第2期600-608,共9页

针对机器人团队协作检测与跟踪动态目标的需要,提出1种基于有限状态自动机(DFA)的复合式Agent模型。通过结合有限状态自动机的行为状态模型,对复合式Agent模型进行改进,在固定路线的动态目标跟踪实验中,对改进前后的Agent模型实际实验... 针对机器人团队协作检测与跟踪动态目标的需要,提出1种基于有限状态自动机(DFA)的复合式Agent模型。通过结合有限状态自动机的行为状态模型,对复合式Agent模型进行改进,在固定路线的动态目标跟踪实验中,对改进前后的Agent模型实际实验数据进行比较,并将该模型应用于基于区域的多机器人多目标跟踪实验中。结果表明:改进后的Agent模型通过有限状态自动机中的状态抽象,不仅从目标检测与跟踪的角度提高了Agent个体性能,还从社会的角度,提高了群体团队的协作性能;提出的模型通过行为状态模型将动作、决策等与环境信息进行了有效的分离,从而具有较好的可移植性和高扩展性;改进后的Agent模型跟踪偏差期望值与样本方差均降为改进前的一半,为实时的目标协作检测与跟踪提供了有效途径。 展开更多

关键词 复合式Agent模型 有限状态自动机 动态多目标跟踪

在线阅读 下载PDF 职称材料

Xgadget:基于动静结合的二进制Gadget搜索

9

作者 吕建强 付才 +3 位作者 何帅 江帅 李明 韩兰胜 《计算机工程与应用》 CSCD 北大核心 2024年第9期299-308,共10页

代码复用技术一直以来都是软件安全研究领域的热点,ROP(return-oriented programming)、JOP(jump-oriented programming)和DOP(data-oriented programming)技术是典型代表。Gadget搜索是代码复用的基础,针对现有静态搜索算法存在支持的G... 代码复用技术一直以来都是软件安全研究领域的热点,ROP(return-oriented programming)、JOP(jump-oriented programming)和DOP(data-oriented programming)技术是典型代表。Gadget搜索是代码复用的基础,针对现有静态搜索算法存在支持的Gadget类型不多,不能同时搜索动态链接库等问题,提出了基于动静结合的二进制Gadget搜索方法,基于此开发了搜索工具Xgadget。利用动态映像级插桩,对所有函数进行反汇编;设计了Token级和指令级有穷自动机,实现了基于自动机的静态搜索算法;在五款应用程序中对其进行了测试与评估。实验结果表明,算法支持ROP、JOP、DOP等多种Gadget类型的搜索,能够同时对目标程序动态链接库进行搜索,搜索数量是ROPgadget的12.5倍,单位指令搜索时间较之降低32.1%。算法为不同需求的代码复用提供更为广泛的支持,且输出结果是二进制Gadget,后续复用更直接,有利于代码复用自动化利用。 展开更多

关键词 代码复用 Gadget搜索 动静结合 dfa算法 二进制 DOP方法 动态链接库

在线阅读 下载PDF 职称材料

深度包检测中一种高效的正则表达式压缩算法 被引量：29

10

作者 徐乾 鄂跃鹏 +1 位作者 葛敬国 钱华林 《软件学报》 EI CSCD 北大核心 2009年第8期2214-2226,共13页

提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut a... 提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut and combine algorithm based on DR),有效地选择出导致DFA状态膨胀的片段并隔离,降低了单个正则表达式存储需求.同时,基于正则表达式的组合关系提出一种选择性分群算法REGADR(regular expressions group algorithm based on DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹配算法的复杂性. 展开更多

关键词 正则表达式 确定的有穷状态自动机(deterministic finite automaton 简称dfa) 深度包检测(deep packet inspection 简称DPI) 多模式匹配算法 入侵检测

在线阅读 下载PDF 职称材料

面向存储的正则表达式匹配算法综述 被引量：13

11

作者 姚远 刘鹏 +1 位作者 单征 田双鹏 《计算机应用》 CSCD 北大核心 2009年第12期3171-3173,3177,共4页

正则表达式匹配是当前深度包检测领域中的关键性技术。介绍了面向存储的正则表达式匹配算法的基本思想和设计方法,给出了算法分类并比较了典型压缩算法间的差异,分析了正则表达式语法对算法设计的影响,最后论述了目前研究中面临的技术... 正则表达式匹配是当前深度包检测领域中的关键性技术。介绍了面向存储的正则表达式匹配算法的基本思想和设计方法,给出了算法分类并比较了典型压缩算法间的差异,分析了正则表达式语法对算法设计的影响,最后论述了目前研究中面临的技术难点并对今后算法设计的发展趋势作了展望。 展开更多

关键词 确定的有限自动机 面向存储 正则表达式 深度包检测 压缩算法

在线阅读 下载PDF 职称材料

一种基于智能有限自动机的正则表达式匹配算法 被引量：14

12

作者 张大方 张洁坤 黄昆 《电子学报》 EI CAS CSCD 北大核心 2012年第8期1617-1623,共7页

本文提出了一种基于智能有限自动机(Smart Finite Automaton,SFA)的正则表达式匹配算法,在XFA的分支迁移边上增加额外的判断操作指令,消除XFA的回退迁移边,避免不必要的状态迁移操作.实验结果表明,SFA提高了正则表达式匹配的时空效率,与... 本文提出了一种基于智能有限自动机(Smart Finite Automaton,SFA)的正则表达式匹配算法,在XFA的分支迁移边上增加额外的判断操作指令,消除XFA的回退迁移边,避免不必要的状态迁移操作.实验结果表明,SFA提高了正则表达式匹配的时空效率,与XFA相比,在存储空间开销上减少了44.1%,在存储器访问次数上减少了69.1%. 展开更多

关键词 深度数据包检测 正则表达式匹配 确定型有限自动机 扩展有限自动机 智能有限自动机

在线阅读 下载PDF 职称材料

基于稀疏矩阵存储的状态表压缩算法 被引量：5

13

作者 姚远 刘鹏 +1 位作者 王辉 笱程成 《计算机应用》 CSCD 北大核心 2010年第8期2157-2160,2217,共5页

正则表达式匹配对于网络安全应用至关重要。将稀疏矩阵和索引表引入确定的有限自动机的状态转换表,提出了一种稀疏矩阵索引的状态压缩表算法,并给出了稀疏矩阵和索引表的构造方法。而后同字母压缩表算法结合,给出了该算法的优化策略。... 正则表达式匹配对于网络安全应用至关重要。将稀疏矩阵和索引表引入确定的有限自动机的状态转换表,提出了一种稀疏矩阵索引的状态压缩表算法,并给出了稀疏矩阵和索引表的构造方法。而后同字母压缩表算法结合,给出了该算法的优化策略。最后在实际规则集上进行评估,实验结果证明了算法的压缩效果,并进一步得出了算法的适用范围。 展开更多

关键词 确定的有限自动机 深度包检测 正则表达式 稀疏矩阵 压缩算法

在线阅读 下载PDF 职称材料

基于云模型的网络系统状态评估与预测模型研究 被引量：11

14

作者 李飞 张仕斌 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2010年第6期99-104,共6页

目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究... 目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究背景,首先分析了网络可生存性等关键问题。考虑到网络系统状态具有不确定性、随机性等特征,引入云模型和有限状态机理论对网络系统状态来进行描述和检测,提出了基于云模型的网络系统状态评估与预测模型,并从理论上进行了具体的分析和求证。最后通过仿真实验与分析,进一步说明了本研究的模型的可行性与合理性,为当前错综复杂的网络系统的可生存性研究提供了一种有价值的新思路。 展开更多

关键词 云模型 网络系统 有限状态机 状态评估 预测模型

在线阅读 下载PDF 职称材料

基于正则表达式的深度包检测算法 被引量：14

15

作者 丁晶 陈晓岚 吴萍 《计算机应用》 CSCD 北大核心 2007年第9期2184-2186,2193,共4页

在深入分析了DFA状态数对算法性能影响的基础上,提出了一种新的基于正则表达式的深度包检测算法,该算法保证在任意有限的系统资源下算法的时间复杂度空间复杂度最小。在Linux下实现了该算法,并对基于L7-filter模式集合的网络数据包进行... 在深入分析了DFA状态数对算法性能影响的基础上,提出了一种新的基于正则表达式的深度包检测算法,该算法保证在任意有限的系统资源下算法的时间复杂度空间复杂度最小。在Linux下实现了该算法,并对基于L7-filter模式集合的网络数据包进行了大量检测实验。结果表明,与已有的正则表达式算法比较,该算法的时间复杂度和空降复杂度最小。 展开更多

关键词 深度包检测 模式匹配 正则表达式 确定性有限自动机

在线阅读 下载PDF 职称材料

面向新一代大众游戏的手势交互技术 被引量：8

16

作者 万华根 肖海英 邹松 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1159-1165,共7页

随着虚拟现实、人机交互等技术的快速发展,面向家庭、办公室等的新一代大众游戏已引起人们的广泛关注.针对大众游戏亟需的自然交互,从硬件、软件两方面研究手势交互技术.通过选择适合于手势交互游戏的手持装置并对其进行简单再造,以降... 随着虚拟现实、人机交互等技术的快速发展,面向家庭、办公室等的新一代大众游戏已引起人们的广泛关注.针对大众游戏亟需的自然交互,从硬件、软件两方面研究手势交互技术.通过选择适合于手势交互游戏的手持装置并对其进行简单再造,以降低游戏的硬件成本;提出综合亮度、颜色、形状特征的目标检测两步法,以提高手持运动目标检测的鲁棒性,并提出手势交互的人手运动有限状态机模型;采用基于规则的方法分割手部运动轨迹,提出手势的参数化描述方法及相应的识别准则.针对经典游戏俄罗斯方块的相关实验表明,采用手势交互取代传统的按键操作,交互更为自然有效,且能增强用户的游戏体验. 展开更多

关键词 大众游戏 手势交互 有限自动状态机 手势识别

在线阅读 下载PDF 职称材料

高性能正则表达式匹配算法评估 被引量：4

17

作者 金军航 张大方 黄昆 《计算机工程》 CAS CSCD 北大核心 2010年第19期269-271,共3页

为对现有的高性能正则表达式匹配算法进行综合比较与分析,实现诸如DFA、D2FA、CD2FA、mDFA及XFA等最新算法,采用Snort规则集综合评估这些算法的存储空间和匹配时间。实验结果表明,在存储空间方面,与mDFA相比,XFA的存储空间减少84.9%89.... 为对现有的高性能正则表达式匹配算法进行综合比较与分析,实现诸如DFA、D2FA、CD2FA、mDFA及XFA等最新算法,采用Snort规则集综合评估这些算法的存储空间和匹配时间。实验结果表明,在存储空间方面,与mDFA相比,XFA的存储空间减少84.9%89.9%;在匹配效率方面,与mDFA相比,XFA的匹配时间增加了38.9%174.6%;XFA在存储空间和匹配效率上具有良好的可伸缩性,即当规则数增加到8倍时,mDFA的存储空间增长了64倍,而XFA的存储空间仅增加了16倍,匹配时间仅增加了61.3%。 展开更多

关键词 正则表达式匹配 确定有限自动机 扩展有限自动机 性能评估

在线阅读 下载PDF 职称材料

一种高效匹配PCRE的扩展自动机 被引量：2

18

作者 刘鹏 姚远 +1 位作者 邰铭 张铮 《计算机工程》 CAS CSCD 北大核心 2010年第12期39-42,共4页

分析现有方法处理状态爆炸的局限性,将条件函数和位图结构引入自动机,提出一种位图移位有限自动机(Bs-FA),并给出由正则表达式到Bs-FA的一般方法。对计数字符组与前缀交迭的情况,仅需引入较小位图空间,就能使整个自动机内存空间明显减... 分析现有方法处理状态爆炸的局限性,将条件函数和位图结构引入自动机,提出一种位图移位有限自动机(Bs-FA),并给出由正则表达式到Bs-FA的一般方法。对计数字符组与前缀交迭的情况,仅需引入较小位图空间,就能使整个自动机内存空间明显减少。在实际规则集上评估,并与现有方法进行比较,说明该自动机的应用价值。 展开更多

关键词 确定的有限自动机 深度包检测 正则表达式

在线阅读 下载PDF 职称材料

非确定型有穷自动机的极小化 被引量：5

19

作者 李翰芳 许道云 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2007年第4期582-588,共7页

利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构... 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言. 展开更多

关键词 确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化

在线阅读 下载PDF 职称材料

网络流量分析系统的设计与实现 被引量：7

20

作者 张潇晓 唐勇 +1 位作者 苏金树 陈曙晖 《计算机应用》 CSCD 北大核心 2011年第A02期25-28,共4页

随着网络速度的不断增长及网络应用的不断增多,网络监管的难度大大增加。实现了一种高速网络流量的实时监控系统NTAS——网络流量分析系统。通过PF_RING底层报文捕获模块,捕获网络流量,并对网络流量进行完整会话管理以及在此基础上基于... 随着网络速度的不断增长及网络应用的不断增多,网络监管的难度大大增加。实现了一种高速网络流量的实时监控系统NTAS——网络流量分析系统。通过PF_RING底层报文捕获模块,捕获网络流量,并对网络流量进行完整会话管理以及在此基础上基于有穷自动机(DFA)的协议识别,解决了同类系统性能不足和协议识别率不高的问题。最后给出了NTAS与同类系统的比较测试。测试结果表明,NTAS具备在高速网络环境下对网络流量的实时分析处理的能力。 展开更多

关键词 网络会话管理 网络会话哈希值 有穷自动机 网络流量分析系统

在线阅读 下载PDF 职称材料