检索结果-维普期刊中文期刊服务平台

基于确定有限状态自动机的改进多模式匹配算法研究被引量：10: 1; 作者陆琳琳田野《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页; 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 展开更多; 关键词网络入侵检测系统模式匹配单模式确定有限状态自动机优化策略; 在线阅读下载PDF 职称材料

确定型格值有限自动机的最小化被引量：2: 2; 作者李斌舒兰《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页; 给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类... 展开更多; 关键词格半群确定型有限状态自动机等价关系商集最小化最小化算法; 在线阅读下载PDF 职称材料

带空移动的加权有限自动机量化等价及其转换: 3; 作者汪国武《计算机应用与软件》 CSCD 2016年第8期23-26,87,共5页; 在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空... 展开更多; 关键词量化等价不确定的有限状态自动机加权自动机形式化验证; 在线阅读下载PDF 职称材料

基于局部乱序事件排序的复杂事件匹配方法: 4; 作者夏秀峰周清怡 +3 位作者张杨郗红梅杨宏伟邱涛《计算机工程与设计》北大核心 2024年第10期2986-2993,共8页; 为处理乱序事件流上的复杂事件匹配问题,减少排序开销,在非确定有限状态自动机的基础上提出解析查询指导排序策略和匹配结果反馈排序策略。根据查询内容对事件流进行分解过滤,得到查询所需的子事件流,设计基于堆排序的子事件流合并算法... 展开更多; 关键词复杂事件匹配乱序事件流非确定有限状态自动机分解过滤子事件流堆排序状态转移; 在线阅读下载PDF 职称材料

在线-离线数据流上复杂事件检测被引量：10: 5; 作者彭商濂李战怀 +1 位作者陈群李强《计算机学报》 EI CSCD 北大核心 2012年第3期540-554,共15页; 随着数据采集和处理技术的发展,在物联网对象跟踪、网络监控、金融预测、电信消费模式等领域中进行事件检测显得越发重要.事件检测在一次扫描数据流的假设下完成,数据流在被处理完后丢弃.事实上,很多应用场景中,历史数据流因含有丰富的... 展开更多; 关键词物联网复杂事件检测数据流非确定有限状态自动机 RFID 无线传感器网络; 在线阅读下载PDF 职称材料

一个完善的基于判定链表的DFA最小化算法: 6; 作者陈矗任平红 +1 位作者禹继国马炳先《计算机工程与应用》 CSCD 2013年第6期48-51,共4页; 应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基... 展开更多; 关键词判定链表确定有限状态自动机(DFA) 最小化; 在线阅读下载PDF 职称材料

基于Verilog HDL的流水线模型机的设计与实现: 7; 作者易小琳彭一凡《北京工业大学学报》 EI CAS CSCD 北大核心 2007年第10期1096-1101,共6页; 为了提高模型机指令执行的并行性,使用Verilog HDL并采取top-down设计方法,利用确定的有限状态自动机(DFA)理论,设计并实现了一台具有指令级并行性的流水线模型机的方案.阐述了该流水线模型机的DFA设计算法与Verilog HDL的实现方法,并... 展开更多; 关键词流水线 VERILOG HDL描述微处理器确定的有限状态自动机; 在线阅读下载PDF 职称材料

题名基于确定有限状态自动机的改进多模式匹配算法研究被引量：10: 1; 作者陆琳琳田野; 机构大连外国语学院软件学院长春理工大学计算机科学与技术学院; 出处《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页; 文摘针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。; 关键词网络入侵检测系统模式匹配单模式确定有限状态自动机优化策略; Keywords Network intrusion detection system Pattern matching Single pattern Deterministic finite-state automaton Optimised strategy; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名确定型格值有限自动机的最小化被引量：2: 2; 作者李斌舒兰; 机构电子科技大学应用数学学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页; 基金国家自然科学基金(No.10671030)~~; 文摘给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取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最小化算法的一个容易实现的构造型描述和相应示例。; 关键词格半群确定型有限状态自动机等价关系商集最小化最小化算法; Keywords lattice-ordered monoid； deterministic lattice finite automata； equivalence relation； quotient set； minimization； minimization algorithm；; 分类号 O235 [理学—运筹学与控制论] TP23 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名带空移动的加权有限自动机量化等价及其转换: 3; 作者汪国武; 机构安徽工程大学计算机与信息学院安徽工程大学计算机应用技术重点实验室; 出处《计算机应用与软件》 CSCD 2016年第8期23-26,87,共5页; 基金国家自然科学基金项目(61300170) 安徽省教育厅自然科学基金项目(KJ2013B020) 安徽省优秀青年人才基金重点项目(2013SQRL034ZD); 文摘在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题,提出量化等价的概念,并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明:这两者是量化等价的。; 关键词量化等价不确定的有限状态自动机加权自动机形式化验证; Keywords Quantitative equivalence Nondeterministic finite automata Weighted automata Formal verification; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于局部乱序事件排序的复杂事件匹配方法: 4; 作者夏秀峰周清怡张杨郗红梅杨宏伟邱涛; 机构沈阳航空航天大学计算机学院沈阳飞机工业(集团)有限公司试飞站/试飞实验室; 出处《计算机工程与设计》北大核心 2024年第10期2986-2993,共8页; 基金国家自然科学基金项目(62002245) 科技部国家重点研发计划课题基金项目(2021YFB01) 辽宁省自然科学基金项目(2022-BS-218)。; 文摘为处理乱序事件流上的复杂事件匹配问题,减少排序开销,在非确定有限状态自动机的基础上提出解析查询指导排序策略和匹配结果反馈排序策略。根据查询内容对事件流进行分解过滤,得到查询所需的子事件流,设计基于堆排序的子事件流合并算法。通过匹配过程中自动机的状态,设计算法对自动机状态转移相关的事件实例进行排序。在股票数据集上进行实验,验证了提出方法相较于现有方法在匹配性能上有显著提升。; 关键词复杂事件匹配乱序事件流非确定有限状态自动机分解过滤子事件流堆排序状态转移; Keywords complex event processing out-of-order event stream nondeterministic finite automaton decomposition filtration child event stream heap sorting state transition; 分类号 TP315 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名在线-离线数据流上复杂事件检测被引量：10: 5; 作者彭商濂李战怀陈群李强; 机构西北工业大学计算机学院西北工业大学软件与微电子学院; 出处《计算机学报》 EI CSCD 北大核心 2012年第3期540-554,共15页; 基金国家自然科学基金(60803043 60873196 +1 种基金 61033007) 国家"八六三"高技术研究发展计划项目基金(2009AA01A404)资助~~; 文摘随着数据采集和处理技术的发展,在物联网对象跟踪、网络监控、金融预测、电信消费模式等领域中进行事件检测显得越发重要.事件检测在一次扫描数据流的假设下完成,数据流在被处理完后丢弃.事实上,很多应用场景中,历史数据流因含有丰富的信息而不能简单丢弃,且一些事件检测查询需要同时在实时和历史数据流上进行.鉴于已有复杂事件检测很少考虑同时在实时-历史数据流上进行模式匹配,作者研究了在线-离线数据流上复杂事件检测的关键问题.主要工作如下:(1)针对滑动窗口内产生的大量模式匹配中间结果,提出利用时态关系和时空关系管理中间结果的方法 TPM和STPM.STPM以中间结果的时态和状态信息为权值对中间结果进行管理,将最近的、最有可能更新状态的中间结果置于内存,极大地减少了中间结果的读取操作代价.(2)给出了基于选择度的在线-离线复杂事件检测优化算法;(3)给出了算法的复杂性分析和代价模型;(4)在基于时空关系的中间结果管理模型下,在一个在线-离线复杂事件检测原型系统中进行实验,对多个参数(子窗口大小,选择度,匹配率,命中率)进行了算法对比分析.实验结果充分验证了所提出的算法的可行性和高效性.; 关键词物联网复杂事件检测数据流非确定有限状态自动机 RFID 无线传感器网络; Keywords Internet of Things complex event processing data stream nondeterministic finite automation（NFA） RFID wireless senser networks; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一个完善的基于判定链表的DFA最小化算法: 6; 作者陈矗任平红禹继国马炳先; 机构曲阜师范大学计算机科学学院济南大学信息科学与工程学院; 出处《计算机工程与应用》 CSCD 2013年第6期48-51,共4页; 基金国家自然科学基金(No.60903099) 山东省自然科学基金(No.ZR2012FM023); 文摘应用判定链表进行DFA最小化方法中只处理无互相依赖等价状态会造成最小化结果不正确。针对此问题,分析了DFA中状态的k次传递等价、含自回路状态的等价以及互相依赖等价等结构特点,将分析结果应用于DFA最小化算法中,提出了一个完善的基于判定链表的DFA最小化算法。该算法涵盖所有等价状态的链表处理,与传统的分割或合并算法的最小化结果一致,保证了基于判定链表的最小化结果的正确性。; 关键词判定链表确定有限状态自动机(DFA) 最小化; Keywords state-judging list Deterministic Finite states Automata（DFA） minimization; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于Verilog HDL的流水线模型机的设计与实现: 7; 作者易小琳彭一凡; 机构北京工业大学计算机学院; 出处《北京工业大学学报》 EI CAS CSCD 北大核心 2007年第10期1096-1101,共6页; 文摘为了提高模型机指令执行的并行性,使用Verilog HDL并采取top-down设计方法,利用确定的有限状态自动机(DFA)理论,设计并实现了一台具有指令级并行性的流水线模型机的方案.阐述了该流水线模型机的DFA设计算法与Verilog HDL的实现方法,并给出了相应的仿真测试.测试结果证明,该模型机能并行处理4条指令,并具有预取指令和旁路功能.; 关键词流水线 VERILOG HDL描述微处理器确定的有限状态自动机; Keywords pipeline processing Verilog HDL descriptions microprocessor chips deterministic finite automa-tion （DFA）; 分类号 TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于确定有限状态自动机的改进多模式匹配算法研究	陆琳琳田野	《计算机应用与软件》 CSCD 北大核心	2013	10	在线阅读下载PDF 职称材料
2	确定型格值有限自动机的最小化	李斌舒兰	《计算机工程与应用》 CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料
3	带空移动的加权有限自动机量化等价及其转换	汪国武	《计算机应用与软件》 CSCD	2016	0	在线阅读下载PDF 职称材料
4	基于局部乱序事件排序的复杂事件匹配方法	夏秀峰周清怡张杨郗红梅杨宏伟邱涛	《计算机工程与设计》北大核心	2024	0	在线阅读下载PDF 职称材料
5	在线-离线数据流上复杂事件检测	彭商濂李战怀陈群李强	《计算机学报》 EI CSCD 北大核心	2012	10	在线阅读下载PDF 职称材料
6	一个完善的基于判定链表的DFA最小化算法	陈矗任平红禹继国马炳先	《计算机工程与应用》 CSCD	2013	0	在线阅读下载PDF 职称材料
7	基于Verilog HDL的流水线模型机的设计与实现	易小琳彭一凡	《北京工业大学学报》 EI CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料