期刊文献+
共找到29篇文章
< 1 2 >
每页显示 20 50 100
非确定型有穷自动机的极小化 被引量:5
1
作者 李翰芳 许道云 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2007年第4期582-588,共7页
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构... 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言. 展开更多
关键词 确定有穷自动机 确定有穷自动机 等价关系 状态极小化
在线阅读 下载PDF
一种基于有穷状态自动机的二维浅海声线追踪方法 被引量:6
2
作者 孙万卿 葛亮 《兵工学报》 EI CAS CSCD 北大核心 2007年第11期1382-1387,共6页
给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线... 给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线追踪内在的状态及状态转移分析。同时,给出了本征声线搜取的方法。最后通过对特定声速剖面情况的数值解值和解析解值进行比较,验证了该方法的正确性,并且讨论了应用该方法应该注意的问题和方法中还有待解决的问题。数值仿真实验结果表明,这种方法能够追踪浅海声线路径,其数值解精度达10-4.该方法在匹配场层析、目标跟踪定位和其它领域的射线跟踪有着应用前景。 展开更多
关键词 声学 声线追踪 有穷状态自动机 浅海 本征声线
在线阅读 下载PDF
基于有穷状态自动机浅海声场仿真研究 被引量:2
3
作者 孙万卿 葛亮 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第14期3142-3144,共3页
提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越... 提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越大。为了减小运算量,本征声线通过两次追踪不同步长的方法获得。数值仿真结果证明了该方法的可行性,其精度可以达10-4。该方法可望应用到光学和地震学等领域的射线传播研究中。 展开更多
关键词 有穷状态自动机 Snell定律 本征声线 浅海声场
在线阅读 下载PDF
基于非确定有穷自动机的网络入侵容忍系统研究 被引量:3
4
作者 张艺濒 谢金晶 《现代电子技术》 2007年第3期65-67,70,共4页
入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后,入侵容忍系统仍能及时自我诊断、恢复和重构,并能为合法用户提供所需的全部或者降级的服务。本文依据非确定性有穷自动机理论,... 入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后,入侵容忍系统仍能及时自我诊断、恢复和重构,并能为合法用户提供所需的全部或者降级的服务。本文依据非确定性有穷自动机理论,模拟计算机受到攻击时入侵容忍系统的工作过程,为入侵容忍技术的发展提供了一种方法。 展开更多
关键词 入侵容忍 有穷自动机 网络安全 确定性
在线阅读 下载PDF
基于有穷自动机的自然语言状态转换 被引量:1
5
作者 毛婷 杨晶东 王伟光 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2012年第6期885-888,共4页
针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数... 针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数、字母表规则、无差别地完成各种状态转换过程.研究结果表明:该方法能有效地完成自然语言状态下的机器人状态、动作间的转换,具有较好的实时性和可靠性. 展开更多
关键词 自然语言 有穷自动机 状态转移函数 字母表规则 前向视觉 全向视觉 动机器人 机器人世界杯
在线阅读 下载PDF
基于紧凑型有穷自动机模型的告警相关处理 被引量:3
6
作者 刘康平 王志文 +2 位作者 李增智 张劲 杨帆 《小型微型计算机系统》 CSCD 北大核心 2001年第4期397-400,共4页
在网络管理领域 ,告警相关 (Alarm Correlation)是取代简单告警过滤机制的一种全新故障管理策略 .通过在非确定型有穷自动机 (ndfa)的定义中引入状态基 (State Cardinality)的概念 ,本文首先给出紧凑型有穷自动机 (cfa)的定义 ,然后提... 在网络管理领域 ,告警相关 (Alarm Correlation)是取代简单告警过滤机制的一种全新故障管理策略 .通过在非确定型有穷自动机 (ndfa)的定义中引入状态基 (State Cardinality)的概念 ,本文首先给出紧凑型有穷自动机 (cfa)的定义 ,然后提出了基于紧凑型有穷自动机的告警相关处理模型并进行了详尽的描述 .在一个电信管理网 (TMN)的故障管理子系统中应用该模型对大量的告警信息在时间上和空间上进行告警相关处理 .仿真结果表明 ,基于紧凑型有穷自动机的告警相关处理模型的算法实现具备简单、高效、实用和实时的特点 。 展开更多
关键词 电信管理网 告警相关 故障管理 状态 紧凑型有穷自动机
在线阅读 下载PDF
汉字有穷自动机的优化及相关算法研究 被引量:1
7
作者 张友红 谷文祥 殷明浩 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期22-26,共5页
在研究了汉字有穷自动机可以表示的语言基础上,引进了最小状态汉字有穷自动机和可区分状态的概念,并利用汉字有穷自动机间的等价性和可区分状态的性质,给出了一种最小化算法,实验证明,此算法优于最小化汉字有穷自动机算法.
关键词 最小汉字有穷自动机 可区分状态 等价性
在线阅读 下载PDF
基于有穷自动机的自动信任协商策略 被引量:1
8
作者 李健利 刘博 邓潇 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1375-1381,共7页
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于... 自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性. 展开更多
关键词 协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列
在线阅读 下载PDF
基于有限状态自动机的Web服务组合(英文) 被引量:1
9
作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多
关键词 WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性
在线阅读 下载PDF
基于量子逻辑的几类有穷自动机之间的关系
10
作者 李平 李永明 《工程数学学报》 CSCD 北大核心 2011年第2期220-230,共11页
根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了... 根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了初态为分明的确定型量子有穷自动机与终态为分明的确定型量子有穷自动机是等价的.这些结论为实际应用中计算模型的合理选取提供了理论依据. 展开更多
关键词 量子有穷自动机 状态 左等价 右-γ等价 右-γε等价
在线阅读 下载PDF
模糊识别器与有穷自动机的等价性 被引量:4
11
作者 汤恒琦 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2008年第9期33-36,共4页
针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受... 针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受的语言与模糊识别器的行为相同,从而得出它们之间的等价性。 展开更多
关键词 模糊识别器 有穷自动机 模糊集 状态
在线阅读 下载PDF
模型检测基于概率时间自动机的反例产生研究 被引量:6
12
作者 张君华 黄志球 曹子宁 《计算机研究与发展》 EI CSCD 北大核心 2008年第10期1638-1645,共8页
模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上... 模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例. 展开更多
关键词 模型检测 反例 基于概率时间自动机 符号状态交集 确定性
在线阅读 下载PDF
几类带空转移的n元伪加权自动机的关系
13
作者 赵路瑶 王海辉 李平 《计算机工程与科学》 CSCD 北大核心 2022年第2期364-371,共8页
引入了n元伪加权有穷自动机——带有n个有限字符集的伪加权有穷自动机、分明型n元伪加权有穷自动机和确定型n元伪加权有穷自动机的概念。根据状态转移函数在每个字符集上是否带空转移,将以上自动机分为4类:带r-型空转移的n元伪加权有穷... 引入了n元伪加权有穷自动机——带有n个有限字符集的伪加权有穷自动机、分明型n元伪加权有穷自动机和确定型n元伪加权有穷自动机的概念。根据状态转移函数在每个字符集上是否带空转移,将以上自动机分为4类:带r-型空转移的n元伪加权有穷自动机和带空转移的n元伪加权有穷自动机和带r-型空转移的分明型n元伪加权有穷自动机和带空转移的分明型n元伪加权有穷自动机。给出了以上自动机所识别语言的定义并探究了它们之间的关系,讨论了状态转移函数在每个字符集上是否带空转移对其接受语言的影响。 展开更多
关键词 伪半环 n元伪加权有穷自动机 状态转移函数 空转移 关系
在线阅读 下载PDF
论有穷状态验证方法的局限性
14
作者 葛玮 龚晓庆 郝克刚 《计算机科学》 CSCD 北大核心 2007年第2期280-283,共4页
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式... 程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式化推理的专业理论和数学水平。但是,现有的有穷状态验证方法有很大的局限性,它要求所论证的性质是有穷自动机所接受的事件序列的集合,或等价地说该性质能表示成为正则表达式。众所周知,有穷自动机所能接受的语言类,按Chomsky字的集合的分类是很小的类。本文讨论了这种局限性,并尝试突破只能使用有穷自动机的限制,提出了一种新的验证方法——有穷路径验证法。在这种方法中,所论证的性质表示可以推广到使用任何一类自动机。作为代价,描写系统的模型限制是无环的。对于有环的描写系统的模型,本文提出了一种称之为“有穷路径测试”的方法。同一般的程序测试一样,用这种方法通过测试不能正面地验证程序的正确性,可是如果通不过测试,则能帮你发现反例,找出程序的错误。与一般的程序测试不同的是这里的测试是相对于模型的路径,而不执行实际的程序。 展开更多
关键词 程序验证 程序测试 有穷自动机 有穷状态验证 有穷路径验证
在线阅读 下载PDF
一种新的DFA状态最小化算法 被引量:2
15
作者 范书义 孟晨 王成 《计算机工程与应用》 CSCD 2012年第1期47-48,67,共3页
提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化... 提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。 展开更多
关键词 确定有穷自动机(DFA) 状态最小化 状态转换矩阵
在线阅读 下载PDF
UML状态机模型元素的RSL形式化定义 被引量:4
16
作者 郭艳燕 刘惊雷 《计算机科学》 CSCD 北大核心 2013年第5期177-183,205,共8页
UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一... UML状态机作为UML动态描述机制的重要组成部分,在描述系统及模型的动态行为时扮演着重要的角色,但已有的UML动态语义缺乏准确的形式化描述。首先将UML状态机抽象成图;再将图通过传统的有穷自动机进行语义扩展,同时增加状态分层,形成一个基于UML状态机的有穷自动机;然后用RAISE规约语言RSL对扩展后的自动机进行形式化定义,使UML状态机中的模型元素的语义更加清晰、精确,为后期的UML状态机的操作语义形式化研究打下基础。 展开更多
关键词 统一建模语言(UML ) 状态 形式化方法 有穷自动机 RAISE规约语言(RSL)
在线阅读 下载PDF
基于网络状态的入侵行为描述及存储方法 被引量:1
17
作者 金晓燕 张来顺 +1 位作者 张晗 费金龙 《计算机工程与设计》 CSCD 北大核心 2006年第3期453-456,共4页
提出了一种基于正则语言描述的网络状态入侵行为方法。该方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。论证了应用该方法的可行性,利用通用入侵检测框架CIDF... 提出了一种基于正则语言描述的网络状态入侵行为方法。该方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。论证了应用该方法的可行性,利用通用入侵检测框架CIDF对应用这种方法的入侵检测系统进行了描述,并讨论了该系统实现时攻击描述的判断和存储方式,最后与其它入侵行为方法进行了比较。 展开更多
关键词 入侵行为 有穷自动机 网络状态 通用入侵检测框架 存储
在线阅读 下载PDF
未知同步时序机状态网络生成算法研究 被引量:1
18
作者 宋璞 李清宝 +1 位作者 肖达 樊敏 《计算机工程与设计》 CSCD 北大核心 2008年第6期1331-1335,共5页
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状... 获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。 展开更多
关键词 同步时序机 有穷自动机 状态网络 状态驱动 加全搜索 最短路径
在线阅读 下载PDF
基于FPGA改进电路的高性能正则表达式匹配算法 被引量:1
19
作者 卓艳男 刘强 +1 位作者 姜磊 戴琼 《计算机应用》 CSCD 北大核心 2016年第4期927-930,共4页
针对正则表达式匹配过程中吞吐率低及逻辑资源占用数多的问题,提出一种完全基于现场可编程门阵列(FPGA)逻辑电路的改进确定有限自动机(DFA)匹配算法。首先,该算法统计了DFA中每个状态的大多数转移边都会集中指向相同状态特征的结果... 针对正则表达式匹配过程中吞吐率低及逻辑资源占用数多的问题,提出一种完全基于现场可编程门阵列(FPGA)逻辑电路的改进确定有限自动机(DFA)匹配算法。首先,该算法统计了DFA中每个状态的大多数转移边都会集中指向相同状态特征的结果,随后根据正则表达式的转移矩阵为DFA的每个状态设置一条默认的转移边,最后进行逻辑电路简化处理,并采用L7-filter规则集进行实测。实验结果表明,改进后的DFA方案与非确定有限自动机(NFA)方案相比,有10%~60%的规则获得了更高的吞吐率,62%~87%的规则占用了更少的逻辑资源。 展开更多
关键词 正则表达式 现场可编程门阵列 模式匹配 确定性有穷状态自动机
在线阅读 下载PDF
深度包检测中一种高效的正则表达式压缩算法 被引量:29
20
作者 徐乾 鄂跃鹏 +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
上一页 1 2 下一页 到第
使用帮助 返回顶部