期刊文献+
共找到27篇文章
< 1 2 >
每页显示 20 50 100
一种基于有穷状态自动机的二维浅海声线追踪方法 被引量:6
1
作者 孙万卿 葛亮 《兵工学报》 EI CAS CSCD 北大核心 2007年第11期1382-1387,共6页
给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线... 给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线追踪内在的状态及状态转移分析。同时,给出了本征声线搜取的方法。最后通过对特定声速剖面情况的数值解值和解析解值进行比较,验证了该方法的正确性,并且讨论了应用该方法应该注意的问题和方法中还有待解决的问题。数值仿真实验结果表明,这种方法能够追踪浅海声线路径,其数值解精度达10-4.该方法在匹配场层析、目标跟踪定位和其它领域的射线跟踪有着应用前景。 展开更多
关键词 声学 声线追踪 有穷状态自动机 浅海 本征声线
在线阅读 下载PDF
基于有穷状态自动机浅海声场仿真研究 被引量:2
2
作者 孙万卿 葛亮 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第14期3142-3144,共3页
提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越... 提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越大。为了减小运算量,本征声线通过两次追踪不同步长的方法获得。数值仿真结果证明了该方法的可行性,其精度可以达10-4。该方法可望应用到光学和地震学等领域的射线传播研究中。 展开更多
关键词 有穷状态自动机 Snell定律 本征声线 浅海声场
在线阅读 下载PDF
基于有穷自动机的自然语言状态转换 被引量:1
3
作者 毛婷 杨晶东 王伟光 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2012年第6期885-888,共4页
针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数... 针对Robocup自主机器人比赛中,机器人进攻和防守状态、动作转换延迟问题,采用一种基于有穷自动机模型的自然语言状态转换方法,把机器人、环境等自然语言信息抽象成形式化的符号和状态,并转化为有穷自动机输入符号.通过设定状态转移函数、字母表规则、无差别地完成各种状态转换过程.研究结果表明:该方法能有效地完成自然语言状态下的机器人状态、动作间的转换,具有较好的实时性和可靠性. 展开更多
关键词 自然语言 有穷自动机 状态转移函数 字母表规则 前向视觉 全向视觉 动机器人 机器人世界杯
在线阅读 下载PDF
基于紧凑型有穷自动机模型的告警相关处理 被引量:3
4
作者 刘康平 王志文 +2 位作者 李增智 张劲 杨帆 《小型微型计算机系统》 CSCD 北大核心 2001年第4期397-400,共4页
在网络管理领域 ,告警相关 (Alarm Correlation)是取代简单告警过滤机制的一种全新故障管理策略 .通过在非确定型有穷自动机 (ndfa)的定义中引入状态基 (State Cardinality)的概念 ,本文首先给出紧凑型有穷自动机 (cfa)的定义 ,然后提... 在网络管理领域 ,告警相关 (Alarm Correlation)是取代简单告警过滤机制的一种全新故障管理策略 .通过在非确定型有穷自动机 (ndfa)的定义中引入状态基 (State Cardinality)的概念 ,本文首先给出紧凑型有穷自动机 (cfa)的定义 ,然后提出了基于紧凑型有穷自动机的告警相关处理模型并进行了详尽的描述 .在一个电信管理网 (TMN)的故障管理子系统中应用该模型对大量的告警信息在时间上和空间上进行告警相关处理 .仿真结果表明 ,基于紧凑型有穷自动机的告警相关处理模型的算法实现具备简单、高效、实用和实时的特点 。 展开更多
关键词 电信管理网 告警相关 故障管理 状态 紧凑型有穷自动机
在线阅读 下载PDF
非确定型有穷自动机的极小化 被引量:5
5
作者 李翰芳 许道云 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2007年第4期582-588,共7页
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构... 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言. 展开更多
关键词 确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化
在线阅读 下载PDF
汉字有穷自动机的优化及相关算法研究 被引量:1
6
作者 张友红 谷文祥 殷明浩 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期22-26,共5页
在研究了汉字有穷自动机可以表示的语言基础上,引进了最小状态汉字有穷自动机和可区分状态的概念,并利用汉字有穷自动机间的等价性和可区分状态的性质,给出了一种最小化算法,实验证明,此算法优于最小化汉字有穷自动机算法.
关键词 最小汉字有穷自动机 可区分状态 等价性
在线阅读 下载PDF
基于有穷自动机的自动信任协商策略 被引量:1
7
作者 李健利 刘博 邓潇 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1375-1381,共7页
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于... 自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性. 展开更多
关键词 协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列
在线阅读 下载PDF
基于量子逻辑的几类有穷自动机之间的关系
8
作者 李平 李永明 《工程数学学报》 CSCD 北大核心 2011年第2期220-230,共11页
根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了... 根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了初态为分明的确定型量子有穷自动机与终态为分明的确定型量子有穷自动机是等价的.这些结论为实际应用中计算模型的合理选取提供了理论依据. 展开更多
关键词 量子有穷自动机 状态 左等价 右-γ等价 右-γε等价
在线阅读 下载PDF
模糊识别器与有穷自动机的等价性 被引量:4
9
作者 汤恒琦 邓培民 易忠 《计算机工程与应用》 CSCD 北大核心 2008年第9期33-36,共4页
针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受... 针对模糊识别器与有穷自动机的关系,证明了当输入字母表相同时,任给一个模糊识别器,必然存在一个有穷自动机,使得模糊识别器的行为与有穷自动机所接受的语言相同;反之,任给一个有穷自动机,必然存在一个模糊识别器,使得有穷自动机所接受的语言与模糊识别器的行为相同,从而得出它们之间的等价性。 展开更多
关键词 模糊识别器 有穷自动机 模糊集 状态
在线阅读 下载PDF
几类带空转移的n元伪加权自动机的关系
10
作者 赵路瑶 王海辉 李平 《计算机工程与科学》 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
论有穷状态验证方法的局限性
11
作者 葛玮 龚晓庆 郝克刚 《计算机科学》 CSCD 北大核心 2007年第2期280-283,共4页
程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式... 程序有穷状态验证方法是介于程序验证和程序测试之间的一种方法,一方面它如同程序验证一样可以证明某程序具有某些要求的性质,或找出反例证明该程序不具有所要求的性质。另一方面它又不像程序验证那样复杂,要求验证人员具有较高的形式化推理的专业理论和数学水平。但是,现有的有穷状态验证方法有很大的局限性,它要求所论证的性质是有穷自动机所接受的事件序列的集合,或等价地说该性质能表示成为正则表达式。众所周知,有穷自动机所能接受的语言类,按Chomsky字的集合的分类是很小的类。本文讨论了这种局限性,并尝试突破只能使用有穷自动机的限制,提出了一种新的验证方法——有穷路径验证法。在这种方法中,所论证的性质表示可以推广到使用任何一类自动机。作为代价,描写系统的模型限制是无环的。对于有环的描写系统的模型,本文提出了一种称之为“有穷路径测试”的方法。同一般的程序测试一样,用这种方法通过测试不能正面地验证程序的正确性,可是如果通不过测试,则能帮你发现反例,找出程序的错误。与一般的程序测试不同的是这里的测试是相对于模型的路径,而不执行实际的程序。 展开更多
关键词 程序验证 程序测试 有穷自动机 有穷状态验证 有穷路径验证
在线阅读 下载PDF
一种新的DFA状态最小化算法 被引量:2
12
作者 范书义 孟晨 王成 《计算机工程与应用》 CSCD 2012年第1期47-48,67,共3页
提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化... 提出了一种基于状态转换矩阵的适合计算机实现的DFA状态最小化算法,在计算等价状态过程中,通过记录扫描过程中发现的具有相同输入字符和相同转换状态的状态判定链表,算法可以用一遍扫描和与传统算法相近的存储空间实现DFA状态的最小化。与传统的DFA状态最小化算法相比,该算法具有较好的时间复杂度和相同的空间复杂度。 展开更多
关键词 确定有穷自动机(DFA) 状态最小化 状态转换矩阵
在线阅读 下载PDF
UML状态机模型元素的RSL形式化定义 被引量:4
13
作者 郭艳燕 刘惊雷 《计算机科学》 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
14
作者 金晓燕 张来顺 +1 位作者 张晗 费金龙 《计算机工程与设计》 CSCD 北大核心 2006年第3期453-456,共4页
提出了一种基于正则语言描述的网络状态入侵行为方法。该方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。论证了应用该方法的可行性,利用通用入侵检测框架CIDF... 提出了一种基于正则语言描述的网络状态入侵行为方法。该方法结合网络入侵的目标和特点,利用有穷自动机理论,基于网络协议来实现进程和操作系统的状态建立,从而可以发现未知的入侵。论证了应用该方法的可行性,利用通用入侵检测框架CIDF对应用这种方法的入侵检测系统进行了描述,并讨论了该系统实现时攻击描述的判断和存储方式,最后与其它入侵行为方法进行了比较。 展开更多
关键词 入侵行为 有穷自动机 网络状态 通用入侵检测框架 存储
在线阅读 下载PDF
嵌入式系统的CFSM模型
15
作者 郭天天 卢焕章 张志勇 《系统工程与电子技术》 EI CSCD 北大核心 2005年第12期2091-2094,共4页
随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以... 随着嵌入式系统的速度、复杂度的上升,软硬件协同设计已经越来越广泛地应用于各种嵌入式系统的设计当中。介绍了一种基于常用的FSM模型的CFSM模型。CFSM模型继承了FSM模型的优点,改善了它的缺点。CFSM模型是一个通用的系统模型,既可以表示控制型系统,又可以表示数据型系统。给出了它的定义、行为描述、数学模型以及应用等。CFSM模型对软硬件都是透明的,可以推迟系统设计中的软硬件划分时间,得到更优的设计。 展开更多
关键词 软硬件协同设计 fsm模型 Cfsm模型 有穷自动机
在线阅读 下载PDF
未知同步时序机状态网络生成算法研究 被引量:1
16
作者 宋璞 李清宝 +1 位作者 肖达 樊敏 《计算机工程与设计》 CSCD 北大核心 2008年第6期1331-1335,共5页
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状... 获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的压缩状态网络动态生成算法可以在数据采集的同时动态生成状态转移关系图。深入探讨了状态驱动策略,保证状态驱动路径尽可能短,搜索次数尽可能少,从而达到快速获取不明时序芯片内部状态网络的目的。最后通过实例模拟分析了状态网络的形成过程,通过阐述在实际工程中的应用情况,说明了算法的可行性。 展开更多
关键词 同步时序机 有穷自动机 状态网络 状态驱动 加全搜索 最短路径
在线阅读 下载PDF
会话类E-Service的接口兼容和服务组合分析 被引量:6
17
作者 张文涛 彭泳 陈俊亮 《计算机学报》 EI CSCD 北大核心 2006年第7期1047-1056,共10页
针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异,给出了对接口环境的严格定义和接口兼容检查的精确算法.在应用上,由于接口兼容的组合算法COMP可以得到组合接口自动机,通过计算COMP(COMP(A1,…,COMP(AN-1... 针对会话类E-Service的会话完整性对环境提出的更多限制以及由此导致的行为差异,给出了对接口环境的严格定义和接口兼容检查的精确算法.在应用上,由于接口兼容的组合算法COMP可以得到组合接口自动机,通过计算COMP(COMP(A1,…,COMP(AN-1,AN)))可以保证最终的组合结果是协议兼容的. 展开更多
关键词 接口兼容 组合 会话类E-Service 有限状态自动机(fsm) WEB服务
在线阅读 下载PDF
深度包检测中一种高效的正则表达式压缩算法 被引量:29
18
作者 徐乾 鄂跃鹏 +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
基于DNA计算的线性时序逻辑模型检测方法 被引量:4
19
作者 朱维军 周清雷 张钦宪 《计算机学报》 EI CSCD 北大核心 2016年第12期2578-2597,共20页
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi... 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5′-3′型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本公式与5种LTL常见公式实施了检测;与之对照,已有的方法只能有效检测1种LTL基本公式与0种LTL常见公式.在此基础上,对本实验给出的DNA编码方案直接作位数扩展即可拥有对任意给定LTL一般公式的(理论)检测能力. 展开更多
关键词 模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 DNA计算
在线阅读 下载PDF
Web遗留系统服务化包装方法的研究 被引量:3
20
作者 李爱萍 王正华 段利国 《计算机工程与设计》 CSCD 北大核心 2014年第2期509-514,共6页
对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包... 对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包装组件的功能描述,将遗留的Web应用转化为共享的Web服务。通过对Web遗留系统移植过程的实例分析验证了方案的可行性。 展开更多
关键词 Web遗留系统 有穷状态自动机 黑盒包装 WEB服务 移植过程
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部