有穷状态自动机

作品数：19被引量：60H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：彭坤杨董群峰孙万卿徐乾葛亮更多>>
相关机构：中国科学技术大学中国海洋大学中国科学院重庆大学更多>>
相关期刊：《科技信息》《中国民航大学学报》《计算机应用与软件》《甘肃科技纵横》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家科技型中小企业技术创新基金中国博士后科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于DNA计算的线性时序逻辑模型检测方法被引量：4
《计算机学报》2016年第12期2578-2597,共20页朱维军 周清雷 张钦宪 
国家自然科学基金(61250007;U1204608;U1304606;61373043;61572444);中国博士后科学基金(2012M511588;2015M572120);河南省高等学校青年骨干教师资助计划(2014GGJS-001)资助~~
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3′-5′型单链DNA分子对LTL公式的有穷状态自动机(Fi...
关键词：模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 DNA计算 
航空器意图描述语言的生成与识别方法研究被引量：1
《中国民航大学学报》2015年第3期13-16,27,共5页马兰 张继尘 程一琳 
国家自然科学基金项目(U1333116)
针对当前航空器意图研究存在的统一性与规范性方面的问题,利用计算机形式语言文法的形式定义生成航空器意图描述语言AIDL(aircraft intent description language)的文法,根据AIDL的词法规则与句法规则实现了AIDL句型的有效组合方式,同...
关键词：航空器意图描述语言 确定的有穷状态自动机 AIDL文法 
Web遗留系统服务化包装方法的研究被引量：3
《计算机工程与设计》2014年第2期509-514,共6页李爱萍 王正华 段利国 
山西省科技攻关基金项目(工业)(20120321030);太原理工大学2012年校青年基金项目(2012L067)
对Web遗留系统进行服务化包装,是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码,运行风险增强,针对此问题设计了一种基于有穷状态自动机形式描述的黑盒包装方案。给出了包装方案的参考模型和模型内包...
关键词：Web遗留系统 有穷状态自动机 黑盒包装 WEB服务 移植过程 
确定型有穷状态自动机的同态压缩
《广西师范学院学报（自然科学版）》2010年第4期95-99,共5页文杰 
国家自然科学基金(600863005;61011130038)
对于确定型有穷状态自动机(DFA),通过定义状态集上的等价关系≈Q,借助于等价关系,可以在平方时间内构造出接受相同语言的极小化自动机.本文在DFA之间引入同态关系,证明了同态压缩下DFA接受相同语言.
关键词：确定型自动机 状态等价 极小化 同态压缩 
基于有穷状态自动机原理的粉状物料运输车智能卸料控制程序被引量：1
《工业控制计算机》2010年第3期42-43,共2页陈铭 蒋存波 钟凡 
控制程序是粉状智能物料运输车完成自动卸料过程的关键,控制程序设计的好坏决定卸料过程能否顺利完成。针对新型粉状物料运输车智能卸料控制器,采用基于消息传递机制和有限状态机原理的多分支结构,程序结构简单清晰,容易编写、调试、功...
关键词：智能卸料 有穷状态自动机 控制程序 
深度包检测中一种高效的正则表达式压缩算法被引量：29
《软件学报》2009年第8期2214-2226,共13页徐乾 鄂跃鹏 葛敬国 钱华林 
国家高技术研究发展计划(863)No.2007AA01Z214;CNIC青年基金No.0714071101~~
提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut a...
关键词：正则表达式 确定的有穷状态自动机(deterministic finite automaton 简称DFA) 深度包检测(deep packet inspection 简称DPI) 多模式匹配算法 入侵检测 
汉字手写式键盘输入方法的设计与实现
《计算机应用》2008年第10期2707-2710,共4页吴海辉 樊庆林 吴建国 
设计了一种汉字手写式键盘输入法,给出了基于快速模糊匹配方法的笔画智能生成算法及其实现。该方法在键盘上将汉字笔画模拟表示为笔画轨迹的起点、拐点、中间点和落点的键序列,通过构造笔画的网状搜索空间,实现了键序列到笔画序列集合...
关键词：汉字键盘输入 汉字手写输入 笔画 有穷状态自动机 
模型检验技术在软件漏洞自动挖掘中的应用被引量：1
《华中科技大学学报（自然科学版）》2008年第2期70-73,共4页刘晖 张翀斌 张晓敏 
将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方...
关键词：软件 漏洞挖掘 模型检验 时序安全属性 有穷状态自动机 
基于有穷状态自动机浅海声场仿真研究被引量：2
《系统仿真学报》2007年第14期3142-3144,共3页孙万卿 葛亮 
提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越...
关键词：有穷状态自动机 Snell定律 本征声线 浅海声场 
公交查询算法的改进
《科技信息》2007年第31期69-69,11,共2页李伙钦 陈明 
本文主要研究公交换乘搜索算法的改进,通过将有穷状态自动机思想应用于公交换乘搜索算法中,研究更为高效、准确的公交搜索算法,方便市民日常乘车。
关键词：公交查询 有穷状态自动机 搜索算法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部