状态自动机

作品数：233被引量：688H指数：12
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄凯明早克热·卡德尔彭坤杨董群峰陈俊亮更多>>
相关机构：西安电子科技大学北京邮电大学清华大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于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计算 
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
对话管理中基于槽特征有限状态自动机的方法研究被引量：7
《计算机学报》2004年第8期1092-1101,共10页黄民烈 朱小燕 
国家自然科学基金项目 ( 60 2 72 0 19;60 3 2 10 0 2 )资助
对话系统的研究已经成为人机交互技术发展的新热点 ,而对话管理则是其中最重要的组成部分 .该文在当前对话管理的各种实现方法的基础上 ,提出了一种基于槽特征的自动机设计方法 ,其中应用了状态压缩和状态集、动作集的子空间划分 ,并着...
关键词：对话系统 人机交互 对话管理 对话策略控制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部