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

基于扩展确定有限自动机的功能需求获取方法: 1; 作者马赞王鹏崔明山《实验技术与管理》 CAS 北大核心 2020年第5期78-84,共7页; 功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合... 展开更多; 关键词需求获取功能需求扩展确定有限自动机(edfa) 需求获取流程结构化需求获取; 在线阅读下载PDF 职称材料

一种基于智能有限自动机的正则表达式匹配算法被引量：14: 2; 作者张大方张洁坤黄昆《电子学报》 EI CAS CSCD 北大核心 2012年第8期1617-1623,共7页; 本文提出了一种基于智能有限自动机(Smart Finite Automaton,SFA)的正则表达式匹配算法,在XFA的分支迁移边上增加额外的判断操作指令,消除XFA的回退迁移边,避免不必要的状态迁移操作.实验结果表明,SFA提高了正则表达式匹配的时空效率,与... 展开更多; 关键词深度数据包检测正则表达式匹配确定型有限自动机扩展有限自动机智能有限自动机; 在线阅读下载PDF 职称材料

软件安全分析的有穷自动机模型被引量：4: 3; 作者陈峰李伟华《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期22-26,共5页; 目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件... 展开更多; 关键词软件安全分析 UML安全扩展确定有限自动机形式化建模; 在线阅读下载PDF 职称材料

基于规则模板的正则表达式分组算法被引量：8: 4; 作者邵翔宇刘勤让谭力波《电子学报》 EI CAS CSCD 北大核心 2016年第1期236-240,共5页; 采用规则分组的方法解决确定型有限自动机（Deterministic Finite Automata,DFA）状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.... 展开更多; 关键词正则表达式确定型有限自动机分组自动机扩展有限自动机多维有限自动机规则模板; 在线阅读下载PDF 职称材料

高性能正则表达式匹配算法评估被引量：4: 5; 作者金军航张大方黄昆《计算机工程》 CAS CSCD 北大核心 2010年第19期269-271,共3页; 为对现有的高性能正则表达式匹配算法进行综合比较与分析,实现诸如DFA、D2FA、CD2FA、mDFA及XFA等最新算法,采用Snort规则集综合评估这些算法的存储空间和匹配时间。实验结果表明,在存储空间方面,与mDFA相比,XFA的存储空间减少84.9%89.... 展开更多; 关键词正则表达式匹配确定有限自动机扩展有限自动机性能评估; 在线阅读下载PDF 职称材料

题名基于扩展确定有限自动机的功能需求获取方法: 1; 作者马赞王鹏崔明山; 机构中国民航大学适航学院北京畅研汇明科技有限公司; 出处《实验技术与管理》 CAS 北大核心 2020年第5期78-84,共7页; 基金国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105); 文摘功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度。通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性。; 关键词需求获取功能需求扩展确定有限自动机(edfa) 需求获取流程结构化需求获取; Keywords requirements acquisition functional requirement extending deterministic finite automata(edfa) requirement acquisition process structured requirement acquisition; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于智能有限自动机的正则表达式匹配算法被引量：14: 2; 作者张大方张洁坤黄昆; 机构湖南大学信息科学与工程学院中国科学院计算技术研究所; 出处《电子学报》 EI CAS CSCD 北大核心 2012年第8期1617-1623,共7页; 基金国家973重点基础研究发展计划(No.2012CB315805) 国家自然科学基金(No.61173167 +1 种基金 No.61100171) 中国博士后科学基金(No.20100470023); 文摘本文提出了一种基于智能有限自动机(Smart Finite Automaton,SFA)的正则表达式匹配算法,在XFA的分支迁移边上增加额外的判断操作指令,消除XFA的回退迁移边,避免不必要的状态迁移操作.实验结果表明,SFA提高了正则表达式匹配的时空效率,与XFA相比,在存储空间开销上减少了44.1%,在存储器访问次数上减少了69.1%.; 关键词深度数据包检测正则表达式匹配确定型有限自动机扩展有限自动机智能有限自动机; Keywords deep packet inspection regular expression matching deterministic finite automaton extended finite automaton smart finite automaton; 分类号 TP393.8 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名软件安全分析的有穷自动机模型被引量：4: 3; 作者陈峰李伟华; 机构西北工业大学计算机学院西北大学信息科学与技术学院; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第1期22-26,共5页; 基金国家自然科学基金资助项目(60803150,60803151) 国家自然科学基金委员会-广东联合基金重点资助项目(U0835004) +3 种基金陕西省科技攻关基金资助项目(2009k08-04); 文摘目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用UMLsec建立软件安全相关的非形式化模型基础上,通过SEDFA准确的描述能够表达安全交互的序列图。首先创建序列图中单个对象的自动机,其次构造对象积自动机,从而得到表示系统整体交互的SEDFA。结论为系统安全属性的验证提供了基础,可作为下一步生成软件安全测试用例。; 关键词软件安全分析 UML安全扩展确定有限自动机形式化建模; Keywords software safety analysis UMLsec deterministic finite automata formal modeling; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于规则模板的正则表达式分组算法被引量：8: 4; 作者邵翔宇刘勤让谭力波; 机构国家数字交换系统工程技术研究中心; 出处《电子学报》 EI CAS CSCD 北大核心 2016年第1期236-240,共5页; 基金国家973重点基础研究发展计划(No.2013CB329104); 文摘采用规则分组的方法解决确定型有限自动机（Deterministic Finite Automata,DFA）状态爆炸问题,随着分组数目的增加,匹配效率大大降低.本文提出正则表达式的输入驱动特性理论,并基于此提出了基于规则模板的分组算法——模板有限自动机.模板有限自动机算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎.理论分析和实验表明,与典型的DFA改进算法相比,预处理时间和存储空间有2~3个数量级别的缩减,且匹配效率没有明显降低.; 关键词正则表达式确定型有限自动机分组自动机扩展有限自动机多维有限自动机规则模板; Keywords regular expression deterministic finite automata multiple DFAs extended finite automata multi-dimensional finite automata signature templates; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名高性能正则表达式匹配算法评估被引量：4: 5; 作者金军航张大方黄昆; 机构湖南大学软件学院湖南大学计算机与通信学院; 出处《计算机工程》 CAS CSCD 北大核心 2010年第19期269-271,共3页; 基金国家自然科学基金资助项目(60673155 90718008); 文摘为对现有的高性能正则表达式匹配算法进行综合比较与分析,实现诸如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%。; 关键词正则表达式匹配确定有限自动机扩展有限自动机性能评估; Keywords regular expression matching deterministic finite automaton extended finite automaton performance evaluation; 分类号 N945 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于扩展确定有限自动机的功能需求获取方法	马赞王鹏崔明山	《实验技术与管理》 CAS 北大核心	2020	0	在线阅读下载PDF 职称材料
2	一种基于智能有限自动机的正则表达式匹配算法	张大方张洁坤黄昆	《电子学报》 EI CAS CSCD 北大核心	2012	14	在线阅读下载PDF 职称材料
3	软件安全分析的有穷自动机模型	陈峰李伟华	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2011	4	在线阅读下载PDF 职称材料
4	基于规则模板的正则表达式分组算法	邵翔宇刘勤让谭力波	《电子学报》 EI CAS CSCD 北大核心	2016	8	在线阅读下载PDF 职称材料
5	高性能正则表达式匹配算法评估	金军航张大方黄昆	《计算机工程》 CAS CSCD 北大核心	2010	4	在线阅读下载PDF 职称材料