确定型格值有限自动机的最小化 被引量：2

1

作者 李斌 舒兰 《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页

给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类... 给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk,并证明了可由Hk求取Q/Sk,从而得到仅利用集合运算便可求取Q/Rk的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。 展开更多

关键词 格半群 确定型有限状态自动机 等价关系 商集 最小化 最小化算法

在线阅读 下载PDF 职称材料

基于确定有限状态自动机的改进多模式匹配算法研究 被引量：10

2

作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页

针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多

关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动机 优化策略

在线阅读 下载PDF 职称材料

确定型模糊多重集有限自动机的极小化

3

作者 王拥兵 李永明 《计算机工程与科学》 CSCD 北大核心 2016年第12期2574-2578,共5页

主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模... 主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。 展开更多

关键词 多重集 确定型模糊多重集有限自动机 同余 同态 极小化

在线阅读 下载PDF 职称材料

确定有限自动机最小化算法的并行处理 被引量：3

4

作者 孙玉强 李玉萍 +1 位作者 王海燕 陈继光 《计算机科学》 CSCD 北大核心 2008年第1期298-300,共3页

对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细描述了算法并行处理过程并验证其算法的可行性。

关键词 并行化 确定有限自动机 可区分状态表

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

基于有限状态自动机的Web服务组合(英文) 被引量：1

6

作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多

关键词 WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性

在线阅读 下载PDF 职称材料

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

7

作者 张大方 张洁坤 黄昆 《电子学报》 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 职称材料

基于模板有限自动机的正则表达式匹配算法 被引量：3

8

作者 邵翔宇 刘勤让 孙淼 《计算机应用研究》 CSCD 北大核心 2016年第7期2139-2142,2147,共5页

采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则... 采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则子集的数目,达到更好的匹配效率。理论分析和实验表明,与传统分组算法相比,在存储空间压缩相当情况下,分组数目大大减少;与其他典型的DFA改进算法相比,预处理时间和存储空间有数量级别的缩减,且匹配速率没有明显降低。 展开更多

关键词 正则表达式 确定型有限自动机 分组算法 规则模板 模板有限自动机

在线阅读 下载PDF 职称材料

带空移动的加权有限自动机量化等价及其转换

9

作者 汪国武 《计算机应用与软件》 CSCD 2016年第8期23-26,87,共5页

在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空... 在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题,提出量化等价的概念,并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明:这两者是量化等价的。 展开更多

关键词 量化等价 不确定的有限状态自动机 加权自动机 形式化验证

在线阅读 下载PDF 职称材料

基于Verilog HDL的流水线模型机的设计与实现

10

作者 易小琳 彭一凡 《北京工业大学学报》 EI CAS CSCD 北大核心 2007年第10期1096-1101,共6页

为了提高模型机指令执行的并行性,使用Verilog HDL并采取top-down设计方法,利用确定的有限状态自动机(DFA)理论,设计并实现了一台具有指令级并行性的流水线模型机的方案.阐述了该流水线模型机的DFA设计算法与Verilog HDL的实现方法,并... 为了提高模型机指令执行的并行性,使用Verilog HDL并采取top-down设计方法,利用确定的有限状态自动机(DFA)理论,设计并实现了一台具有指令级并行性的流水线模型机的方案.阐述了该流水线模型机的DFA设计算法与Verilog HDL的实现方法,并给出了相应的仿真测试.测试结果证明,该模型机能并行处理4条指令,并具有预取指令和旁路功能. 展开更多

关键词 流水线 VERILOG HDL描述 微处理器 确定的有限状态自动机

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

移动互联网中一种移动学习方案的设计与原型实现 被引量：6

12

作者 丁亦喆 魏刃佳 +1 位作者 刘博 吴振强 《计算机工程与科学》 CSCD 北大核心 2015年第2期288-293,共6页

以移动教育方面的三方应用场景为例,设计并实现了一个面向精品课程和开放课程的移动学习系统原型,实现了网络教学资源整合。根据现行主流移动智能终端的特点,针对触摸屏移动智能终端因误操作引起的计算资源和通信资源浪费现象,给出了一... 以移动教育方面的三方应用场景为例,设计并实现了一个面向精品课程和开放课程的移动学习系统原型,实现了网络教学资源整合。根据现行主流移动智能终端的特点,针对触摸屏移动智能终端因误操作引起的计算资源和通信资源浪费现象,给出了一个有三方参与的应用系统场景中,可行的减少误操作的应用方法。通过使用确定型有限自动机的方法验证了系统的正确性。测试表明,该方法可以有效降低应用场景中代理服务模块和资源服务模块的工作压力,提高用户体验度。 展开更多

关键词 移动互联网 移动学习 精品课程 开放课程 确定型有限自动机

在线阅读 下载PDF 职称材料

一种用于深度报文检测的DFA状态表压缩方法 被引量：1

13

作者 刘俊超 赵国鸿 陈曙晖 《计算机工程与应用》 CSCD 北大核心 2008年第22期74-76,共3页

基于正则表达式进行深度报文检测在IDS/IPS、应用层协议识别等网络应用中具有重要作用。然而,采用DFA实现正则表达式需要大量的存储空间,限制了它的实际应用。将DFA状态转换表拆分成3个表,使用run-length编码进行压缩,并对压缩方法进行... 基于正则表达式进行深度报文检测在IDS/IPS、应用层协议识别等网络应用中具有重要作用。然而,采用DFA实现正则表达式需要大量的存储空间,限制了它的实际应用。将DFA状态转换表拆分成3个表,使用run-length编码进行压缩,并对压缩方法进行了优化。采用l7-filter中几个常用应用程序的正则表达式进行测试,结果表明该方法压缩效果一般在90%以上。 展开更多

关键词 正则表达式 深度报文检测 确定有限自动机 状态转换表压缩

在线阅读 下载PDF 职称材料

基于局部乱序事件排序的复杂事件匹配方法

14

作者 夏秀峰 周清怡 +3 位作者 张杨 郗红梅 杨宏伟 邱涛 《计算机工程与设计》 北大核心 2024年第10期2986-2993,共8页

为处理乱序事件流上的复杂事件匹配问题,减少排序开销,在非确定有限状态自动机的基础上提出解析查询指导排序策略和匹配结果反馈排序策略。根据查询内容对事件流进行分解过滤,得到查询所需的子事件流,设计基于堆排序的子事件流合并算法... 为处理乱序事件流上的复杂事件匹配问题,减少排序开销,在非确定有限状态自动机的基础上提出解析查询指导排序策略和匹配结果反馈排序策略。根据查询内容对事件流进行分解过滤,得到查询所需的子事件流,设计基于堆排序的子事件流合并算法。通过匹配过程中自动机的状态,设计算法对自动机状态转移相关的事件实例进行排序。在股票数据集上进行实验,验证了提出方法相较于现有方法在匹配性能上有显著提升。 展开更多

关键词 复杂事件匹配 乱序事件流 非确定有限状态自动机 分解过滤 子事件流 堆排序 状态转移

在线阅读 下载PDF 职称材料

在线-离线数据流上复杂事件检测 被引量：10

15

作者 彭商濂 李战怀 +1 位作者 陈群 李强 《计算机学报》 EI CSCD 北大核心 2012年第3期540-554,共15页

随着数据采集和处理技术的发展,在物联网对象跟踪、网络监控、金融预测、电信消费模式等领域中进行事件检测显得越发重要.事件检测在一次扫描数据流的假设下完成,数据流在被处理完后丢弃.事实上,很多应用场景中,历史数据流因含有丰富的... 随着数据采集和处理技术的发展,在物联网对象跟踪、网络监控、金融预测、电信消费模式等领域中进行事件检测显得越发重要.事件检测在一次扫描数据流的假设下完成,数据流在被处理完后丢弃.事实上,很多应用场景中,历史数据流因含有丰富的信息而不能简单丢弃,且一些事件检测查询需要同时在实时和历史数据流上进行.鉴于已有复杂事件检测很少考虑同时在实时-历史数据流上进行模式匹配,作者研究了在线-离线数据流上复杂事件检测的关键问题.主要工作如下:(1)针对滑动窗口内产生的大量模式匹配中间结果,提出利用时态关系和时空关系管理中间结果的方法 TPM和STPM.STPM以中间结果的时态和状态信息为权值对中间结果进行管理,将最近的、最有可能更新状态的中间结果置于内存,极大地减少了中间结果的读取操作代价.(2)给出了基于选择度的在线-离线复杂事件检测优化算法;(3)给出了算法的复杂性分析和代价模型;(4)在基于时空关系的中间结果管理模型下,在一个在线-离线复杂事件检测原型系统中进行实验,对多个参数(子窗口大小,选择度,匹配率,命中率)进行了算法对比分析.实验结果充分验证了所提出的算法的可行性和高效性. 展开更多

关键词 物联网 复杂事件检测 数据流 非确定有限状态自动机 RFID 无线传感器网络

在线阅读 下载PDF 职称材料

基于规则模板的正则表达式分组算法 被引量：8

16

作者 邵翔宇 刘勤让 谭力波 《电子学报》 EI CAS CSCD 北大核心 2016年第1期236-240,共5页

采用规则分组的方法解决确定型有限自动机（Deterministic Finite Automata,DFA）状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.... 采用规则分组的方法解决确定型有限自动机（Deterministic Finite Automata,DFA）状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.模板有限自动机算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎.理论分析和实验表明,与典型的DFA改进算法相比,预处理时间和存储空间有2~3个数量级别的缩减,且匹配效率没有明显降低. 展开更多

关键词 正则表达式 确定型有限自动机 分组自动机 扩展有限自动机 多维有限自动机 规则模板

在线阅读 下载PDF 职称材料

应用二维激光雷达的地形识别系统设计 被引量：2

17

作者 张燕 赵会民 +1 位作者 刘作军 杨鹏 《红外与激光工程》 EI CSCD 北大核心 2018年第8期144-151,共8页

动力型下肢假肢的主要功能是帮助截肢患者实现独立自如的行走,为了使假肢能够配合用户的运动,需要对用户的运动意图进行识别。通过提前获知用户前方环境信息,将其作为运动意图识别的先验知识,可以提高运动意图的识别精度。为了给动力型... 动力型下肢假肢的主要功能是帮助截肢患者实现独立自如的行走,为了使假肢能够配合用户的运动,需要对用户的运动意图进行识别。通过提前获知用户前方环境信息,将其作为运动意图识别的先验知识,可以提高运动意图的识别精度。为了给动力型下肢假肢提供前方环境信息,设计了一种可穿戴的地形识别系统。首先通过安装在人体腰部的二维激光雷达收集前方地形数据,然后利用凝聚分层聚类算法对采集的数据进行线性特征提取,最后利用有限状态自动机对前方地形进行识别。实验中,对平地过渡到上/下斜坡、上/下楼梯四种地形进行了测试。结果表明,该系统不仅对四种地形的识别精度达到了95.8%,还可以计算出传统的运动意图识别方法无法得到的地形参数信息,包括斜坡的坡度、楼梯的阶数和台阶的高度与宽度。这证明了将该系统应用于动力型下肢假肢的有效性和可行性。 展开更多

关键词 动力型下肢假肢 二维激光雷达 凝聚分层聚类 线性特征提取 有限状态自动机

在线阅读 下载PDF 职称材料

一种分布式制造系统控制结构的形式化建模方法 被引量：2

18

作者 陈玮 翟振坤 《系统仿真学报》 CAS CSCD 北大核心 2012年第8期1693-1696,共4页

针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结... 针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结构,结合有限状态自动机理论和制造系统自身混杂特性,提出一种优化自动机。同时,考虑到建模过程中Agent层次的动态划分和重组,进而提出了改进型动态控制元结构模型。最后,以瓷砖生产线为例,借助MATLAB为实验工具设计了相应的仿真实验,验证了所提理论和建模方法的可行性和有效性。 展开更多

关键词 分布式制造系统 有限状态自动机 改进型动态控制元结构 瓷砖生产线

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

一种面向深度包检测的DFA压缩算法

20

作者 张伟 许海洋 《计算机应用研究》 CSCD 北大核心 2017年第5期1525-1530,共6页

DFA(确定性有限自动机)对于实现深度包检测(deep packet inspection,DPI)技术具有重要作用。随着深度包检测规则的不断增多,DFA所需的存储空间急剧增大。为此,提出了一种基于字符替换的DFA压缩算法,利用状态转换表中每个状态通常只有少... DFA(确定性有限自动机)对于实现深度包检测(deep packet inspection,DPI)技术具有重要作用。随着深度包检测规则的不断增多,DFA所需的存储空间急剧增大。为此,提出了一种基于字符替换的DFA压缩算法,利用状态转换表中每个状态通常只有少数几个不同跳转的特点,将状态转换表分解为剩余表和字符替换表,减少了存储空间。此外,通过使相似的状态可以共享相同的字符替换表以进一步压缩存储空间,给出了复杂度为O(n2)的压缩算法,n为DFA的状态数。实验结果表明,该算法在L7-filter和Snort规则集上具有较稳定的压缩率,压缩率都在5%以下。 展开更多

关键词 正则表达式 字符替换 状态转换表压缩 确定性有限自动机 深度包检测

在线阅读 下载PDF 职称材料