期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到66篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
有限状态自动机的并行确定化及过程分析 被引量：5
1
作者 孙玉强 刘三阳 +1 位作者 王明斐 邹凌 《计算机科学》 CSCD 北大核心 2006年第10期293-294,F0003,共3页
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
关键词 并行转换 非确定有限自动机 确定有限自动机
在线阅读 下载PDF
基于事件确定有限自动机的UML2.0序列图描述与验证 被引量：8
2
作者 张琛 段振华 田聪 《软件学报》 EI CSCD 北大核心 2011年第11期2625-2638,共14页
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata... 为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性. 展开更多
关键词 UML2.0序列图 事件确定有限自动机 模型检测 命题投影时序逻辑 验证
在线阅读 下载PDF
确定有限自动机最小化算法的并行处理 被引量：3
3
作者 孙玉强 李玉萍 +1 位作者 王海燕 陈继光 《计算机科学》 CSCD 北大核心 2008年第1期298-300,共3页
对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细描述了算法并行处理过程并验证其算法的可行性。
关键词 并行化 确定有限自动机 可区分状态表
在线阅读 下载PDF
基于确定有限状态自动机的改进多模式匹配算法研究 被引量：10
4
作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多
关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动机 优化策略
在线阅读 下载PDF
确定型格值有限自动机的最小化 被引量：2
5
作者 李斌 舒兰 《计算机工程与应用》 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
基于信息系统的确定有限自动机最小化算法
6
作者 杨传健 葛浩 +1 位作者 姚光顺 王波 《计算机应用》 CSCD 北大核心 2012年第7期1991-1993,1997,共4页
目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处... 目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处理过程,给出一个基于分治思想的DFA最小化算法,在平均情况下该算法的时间复杂度为O(n log n),空间复杂度为O(n)。最后通过实例验证了所提算法的正确性。 展开更多
关键词 确定有限自动机 信息系统 等价类 最小化
在线阅读 下载PDF
确定型模糊多重集有限自动机的极小化
7
作者 王拥兵 李永明 《计算机工程与科学》 CSCD 北大核心 2016年第12期2574-2578,共5页
主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模... 主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。 展开更多
关键词 多重集 确定型模糊多重集有限自动机 同余 同态 极小化
在线阅读 下载PDF
基于多维有限自动机的DFA改进算法 被引量：5
8
作者 宫阳阳 刘勤让 +4 位作者 杨镇西 邵翔宇 邢池强 焦慧娟 彭志彬 《通信学报》 EI CSCD 北大核心 2015年第5期174-186,共13页
多个正则表达式规则编译成一个DFA（deterministerfiniteautomata）时，会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题，从信息论的角度给出了解释，并提出多维数学模型，将冗余状态分为0维状态和1维状态，通过前者按... 多个正则表达式规则编译成一个DFA（deterministerfiniteautomata）时，会产生状态爆炸、存储急剧增加的现象。针对最严重的状态爆炸问题，从信息论的角度给出了解释，并提出多维数学模型，将冗余状态分为0维状态和1维状态，通过前者按照维度压缩，后者动态构建的方法将空间复杂度降到理论下界，并在此基础上提出多维有限白动机（MFA，multi—dimensionalfiniteautomata）。实验表明，MFA构造时间比XFA略少，比DFA、STT冗余压缩算法和Hybrid．FA降低了2～3个数量级；存储空间比XFA略高，比DFA、STT冗余压缩算法、mDFA、Hybrid-FA降低了1-2个数量级；匹配时间比DFA、Hybrid．FA略多，但是比XFA略少，比sTT冗余压缩算法和mDFA降低了1-2个数量级。 展开更多
关键词 正则表达式 dfa 有限自动机 状态爆炸
在线阅读 下载PDF
确定的有限元胞自动机的两个性质 被引量：1
9
作者 谷静 易宇 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期21-24,共4页
提出了确定的有限元胞自动机的概念,通过对演化构形的惟一性特征的分析,证明了确定的有限元胞自动机的状态演化最终处于稳定状态或者循环状态;具有相同演化结果的状态构成等价关系两个性质.利用初等元胞自动机对其进行了验证,在此基础上... 提出了确定的有限元胞自动机的概念,通过对演化构形的惟一性特征的分析,证明了确定的有限元胞自动机的状态演化最终处于稳定状态或者循环状态;具有相同演化结果的状态构成等价关系两个性质.利用初等元胞自动机对其进行了验证,在此基础上,对元胞自动机的四个普遍性分类进行了三个层次的探讨. 展开更多
关键词 元胞自动机 确定的有限元胞自动机 复杂系统 人工生命
在线阅读 下载PDF
基于确定性有限细胞自动机的开采沉陷模拟方法 被引量：1
10
作者 李露 刘秀敏 贾民 《煤炭工程》 北大核心 2018年第10期157-161,共5页
针对矿区保护应用中的岩体变形模拟问题,提出了一种基于确定性有限细胞自动机的开采沉陷模拟方法。该方法采用自动机理论描述岩体内部和表面的沉降分布,能够以相对简单的方法获取沉降槽剖面,且该剖面与大地测量法观测到的剖面一致。在... 针对矿区保护应用中的岩体变形模拟问题,提出了一种基于确定性有限细胞自动机的开采沉陷模拟方法。该方法采用自动机理论描述岩体内部和表面的沉降分布,能够以相对简单的方法获取沉降槽剖面,且该剖面与大地测量法观测到的剖面一致。在现有细胞自动机解决方案的基础上,通过在模型的第二个细胞网格中增加一个沉降网格的副本,提出了基于传播函数概念的水平位移模拟优化方法。该方法可同时对沉降和岩体模型内部和表面上的水平位移进行模拟。此外,确定了用于描述最大水平位移与最大沉降的比值关系式。对煤层抽取开采引起的300m×800m岩体进行了变形分布模拟。结果显示,提出模型的沉降和水平位移结果与几何积分理论一致,验证了其可行性。 展开更多
关键词 沉降 水平位移 传播函数 确定性有限 邻域细胞自动机
在线阅读 下载PDF
用确定性的有限自动机进行图像压缩编码
11
作者 朱晓瑾 刘静 《通信学报》 EI CSCD 北大核心 1996年第1期1-6,共6页
本文提出用确定性的有限自动机（ＤＦＡ）进行图像压缩编码的方法。对一幅输入的数字化灰度图像，检测其中的自相似性，该图像可被表示成一个确定的有限自动机（ＤＰＡ）。ＤＦＡ的尺寸小于原图像。解码算法可以非常高效地由ＤＦＡ复原... 本文提出用确定性的有限自动机（ＤＦＡ）进行图像压缩编码的方法。对一幅输入的数字化灰度图像，检测其中的自相似性，该图像可被表示成一个确定的有限自动机（ＤＰＡ）。ＤＦＡ的尺寸小于原图像。解码算法可以非常高效地由ＤＦＡ复原图像。 展开更多
关键词 图像编码 图像压缩 有限自动机 确定性
在线阅读 下载PDF
基于扩展确定有限自动机的功能需求获取方法 被引量：1
12
作者 马赞 王鹏 崔明山 《实验技术与管理》 CAS 北大核心 2020年第5期78-84,共7页
功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合... 功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度。通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性。 展开更多
关键词 需求获取 功能需求 扩展确定有限自动机(Edfa) 需求获取流程 结构化需求获取
在线阅读 下载PDF
一种基于智能有限自动机的正则表达式匹配算法 被引量：14
13
作者 张大方 张洁坤 黄昆 《电子学报》 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
一种基于扩展有限自动机验证组合Web服务的方法 被引量：37
14
作者 雷丽晖 段振华 《软件学报》 EI CSCD 北大核心 2007年第12期2980-2990,共11页
为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状... 为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误与其他方法相比,该方法更适于验证开放式环境下的组合Web服务. 展开更多
关键词 组合WEB服务 确定有限自动机 形式化验证
在线阅读 下载PDF
基于有限自动机的模式匹配算法及其应用研究 被引量：5
15
作者 李钢 吴燎原 +1 位作者 张仁斌 张佑生 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第12期2772-2775,共4页
针对质量统计过程控制(SPC)中的异常模式快速匹配问题,提出了基于确定有限自动机(DFA)的模式匹配算法,给出了能利用DFA进行匹配的基于多维输入数据的模式串定义。在分析常规质量控制图中的八种异常模式的基础上,给出了基于DFA的模式串... 针对质量统计过程控制(SPC)中的异常模式快速匹配问题,提出了基于确定有限自动机(DFA)的模式匹配算法,给出了能利用DFA进行匹配的基于多维输入数据的模式串定义。在分析常规质量控制图中的八种异常模式的基础上,给出了基于DFA的模式串匹配算法。该算法在企业计算机辅助质量控制系统(CAQCS)中得到了成功的应用,表明它适于解决SPC中的异常模式的匹配问题,且有简单、快速和准确的特点。 展开更多
关键词 异常模式匹配 确定有限自动机 多维 常规控制图
在线阅读 下载PDF
基于模板有限自动机的正则表达式匹配算法 被引量：3
16
作者 邵翔宇 刘勤让 孙淼 《计算机应用研究》 CSCD 北大核心 2016年第7期2139-2142,2147,共5页
采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则... 采用规则分组的办法解决DFA状态爆炸问题,随着规则数目的增加,空间压缩效率大大降低。针对此问题提出了模板有限自动机分组算法。该算法基于规则模板对规则集进行分组,各分组分别构建匹配引擎;同时,根据实际规则数目和系统结构改变规则子集的数目,达到更好的匹配效率。理论分析和实验表明,与传统分组算法相比,在存储空间压缩相当情况下,分组数目大大减少;与其他典型的DFA改进算法相比,预处理时间和存储空间有数量级别的缩减,且匹配速率没有明显降低。 展开更多
关键词 正则表达式 确定型有限自动机 分组算法 规则模板 模板有限自动机
在线阅读 下载PDF
正规文法与有限自动机的等价构造 被引量：3
17
作者 钱忠胜 邹俊 《计算机应用与软件》 CSCD 北大核心 2008年第6期110-112,共3页
在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该... 在功能上,正规文法与有限自动机描述和识别语言是等价的,它们之间也存在等价构造算法,但这些构造算法有些复杂。对其算法进行了简化且给以了证明,并提出了一个从有限自动机构造等价左线性正规文法的算法,同时也进行了证明,最后给出了该算法的一个实例。 展开更多
关键词 有限自动机 dfa NFA 正规文法
在线阅读 下载PDF
基于有限状态自动机的Web服务组合(英文) 被引量：1
18
作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多
关键词 WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性
在线阅读 下载PDF
带空移动的加权有限自动机量化等价及其转换
19
作者 汪国武 《计算机应用与软件》 CSCD 2016年第8期23-26,87,共5页
在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空... 在经典的有限自动机理论中,带空移动的有限自动机与不带空移动的有限自动机是等价的。取值于实数的加权有限自动机是自动机的一种推广模型,它给经典自动机的每个转换赋一个取值于实数的权值,这些权值表示执行转换的代价。为了研究带空移动的加权有限自动机与不带空移动的加权有限自动机是否具有等价性这一问题,提出量化等价的概念,并研究如何将一个带空移动的加权有限自动机转换为一个与之量化等价的不带空移动的加权有限自动机。研究结果表明:这两者是量化等价的。 展开更多
关键词 量化等价 不确定的有限状态自动机 加权自动机 形式化验证
在线阅读 下载PDF
基于自动机原理的自动售货机软件的实现 被引量：4
20
作者 胡德敏 杨伟民 +1 位作者 高建 范祺 《上海理工大学学报》 CAS 北大核心 2003年第1期99-102,共4页
利用自动机原理对现有的自动售货机的工作模式进行了分析,指出了自动售货机在购买多种商品时的不方便之处和销售管理上的落后现象,提出了用软件方法对自动售货机工作模式进行优化和扩展,并增强其管理功能,以使自动化销售过程更快捷、准... 利用自动机原理对现有的自动售货机的工作模式进行了分析,指出了自动售货机在购买多种商品时的不方便之处和销售管理上的落后现象,提出了用软件方法对自动售货机工作模式进行优化和扩展,并增强其管理功能,以使自动化销售过程更快捷、准确和有效. 展开更多
关键词 非确定性有限自动机 确定性有限自动机 信息交互
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部