期刊文献+
共找到10篇文章
< 1 >
每页显示 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
作者 李健利 刘博 邓潇 《小型微型计算机系统》 CSCD 北大核心 2013年第6期1375-1381,共7页
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于... 自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于有穷自动机的信任协商定义体系,并构造有穷自动机状态转换图对相应的访问控制策略进行图形化表示,便于分析和构造协商策略.针对积极策略缺乏安全性和谨慎策略缺乏高效性的问题,提出了基于有穷自动机的协商策略,该策略在谨慎策略的基础上加入记忆链结构,以减少协商双方交互次数,提高协商效率.经证明,该策略具备完备性和安全性,并通过仿真实验证明相对于谨慎策略,该策略具备高效性. 展开更多
关键词 协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列
在线阅读 下载PDF
深度包检测中一种高效的正则表达式压缩算法 被引量:29
4
作者 徐乾 鄂跃鹏 +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
5
作者 朱维军 周清雷 张钦宪 《计算机学报》 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
6
作者 李爱萍 王正华 段利国 《计算机工程与设计》 CSCD 北大核心 2014年第2期509-514,共6页
对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包... 对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包装组件的功能描述,将遗留的Web应用转化为共享的Web服务。通过对Web遗留系统移植过程的实例分析验证了方案的可行性。 展开更多
关键词 Web遗留系统 有穷状态自动机 黑盒包装 WEB服务 移植过程
在线阅读 下载PDF
一种可扩展的SMS中间件系统设计
7
作者 汤战勇 房鼎益 +1 位作者 陈晓江 吴晓南 《计算机应用与软件》 CSCD 北大核心 2007年第8期34-37,共4页
针对传统的短消息服务SMS(Short Message Service)中间件难以适应多种应用的问题,提出了一种基于多标准分类MCV(Multiple Criteria-Value)的业务模型,通过数据掩码图,利用该业务模型能够有效实现对具体业务的抽象描述,从而形成统一、灵... 针对传统的短消息服务SMS(Short Message Service)中间件难以适应多种应用的问题,提出了一种基于多标准分类MCV(Multiple Criteria-Value)的业务模型,通过数据掩码图,利用该业务模型能够有效实现对具体业务的抽象描述,从而形成统一、灵活的多业务应用函数接口。通过对传统的基于单一行业应用的单状态机模型的研究和改进,提出了一种多状态机模型,以此构成SMS中间件框架,成功设计和实现了一个通用、灵活的SMS中间件系统。理论分析和实际测试结果表明,利用MCV业务模型可以方便、正确地获取应用层多种业务,提高SMS中间件的灵活性,并保证SMS中间件的实时和高效,所实现的SMS中间件系统能够满足实用要求。 展开更多
关键词 短消息服务 短消息网关 SMS中间件 SDL(服务定义语言) FSM(有穷状态自动机)
在线阅读 下载PDF
汉字手写式键盘输入方法的设计与实现
8
作者 吴海辉 樊庆林 吴建国 《计算机应用》 CSCD 北大核心 2008年第10期2707-2710,共4页
设计了一种汉字手写式键盘输入法,给出了基于快速模糊匹配方法的笔画智能生成算法及其实现。该方法在键盘上将汉字笔画模拟表示为笔画轨迹的起点、拐点、中间点和落点的键序列,通过构造笔画的网状搜索空间,实现了键序列到笔画序列集合... 设计了一种汉字手写式键盘输入法,给出了基于快速模糊匹配方法的笔画智能生成算法及其实现。该方法在键盘上将汉字笔画模拟表示为笔画轨迹的起点、拐点、中间点和落点的键序列,通过构造笔画的网状搜索空间,实现了键序列到笔画序列集合的转换,进而实现汉字输入。本方法无需记忆键位,会写汉字就会输入。 展开更多
关键词 汉字键盘输入 汉字手写输入 笔画 有穷状态自动机
在线阅读 下载PDF
一种通用中间件安全模型及形式化描述 被引量:3
9
作者 吴景阳 毋国庆 《计算机工程与科学》 CSCD 2006年第1期112-114,共3页
本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机(FSM)对该模型进行形式化描述,... 本文通过对中间件安全性的分析,结合传统安全模型的特点,从中间件安全模型设计要求的特点出发,建立了一个可应用于任何中间件技术的通用中间件安全模型;最后对该模型的特征进行分析,并运用有穷状态自动机(FSM)对该模型进行形式化描述,并证明了系统的安全性。 展开更多
关键词 中间件安全性 安全模型 体系结构 有穷状态自动机FSM
在线阅读 下载PDF
基于FPGA改进电路的高性能正则表达式匹配算法 被引量:1
10
作者 卓艳男 刘强 +1 位作者 姜磊 戴琼 《计算机应用》 CSCD 北大核心 2016年第4期927-930,共4页
针对正则表达式匹配过程中吞吐率低及逻辑资源占用数多的问题,提出一种完全基于现场可编程门阵列(FPGA)逻辑电路的改进确定有限自动机(DFA)匹配算法。首先,该算法统计了DFA中每个状态的大多数转移边都会集中指向相同状态特征的结果... 针对正则表达式匹配过程中吞吐率低及逻辑资源占用数多的问题,提出一种完全基于现场可编程门阵列(FPGA)逻辑电路的改进确定有限自动机(DFA)匹配算法。首先,该算法统计了DFA中每个状态的大多数转移边都会集中指向相同状态特征的结果,随后根据正则表达式的转移矩阵为DFA的每个状态设置一条默认的转移边,最后进行逻辑电路简化处理,并采用L7-filter规则集进行实测。实验结果表明,改进后的DFA方案与非确定有限自动机(NFA)方案相比,有10%~60%的规则获得了更高的吞吐率,62%~87%的规则占用了更少的逻辑资源。 展开更多
关键词 正则表达式 现场可编程门阵列 模式匹配 确定性有穷状态自动机
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部