状态自动机

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于认知启发式规则的行人动力学建模被引量：3
《交通运输系统工程与信息》2012年第4期149-154,共6页许奇 毛保华 钱堃 朱宇婷 梁肖 
国家自然科学基金重点项目(71131001);国家重点基础研究发展计划项目(2012CB725406);中央高校基本科研业务费专项资金资助(2012YJS053)
行人动力学建模的关键是对行人运动方向和速度的选择进行描述.本文构建了基于多层有限状态自动机的行人Agent适应性决策模型;在此基础上,针对行人运动过程中快速决策的特征,通过构建基于认知启发式规则的行人运动行为规则集合,建立了描...
关键词：城市交通 行人 交通行为 认知启发式 多层有限状态自动机 
一种提高时序安全属性静态检测实用性的方法被引量：2
《计算机学报》2012年第2期244-256,共13页霍玮 李丰 丁兆伟 桑春雷 张兆庆 冯晓兵 
国家"八六三"高技术研究发展计划项目基金(2008AA01Z115);国家自然科学基金青年科学基金项目(61100011);国家自然科学基金创新研究群体科学基金项目(60921002);国家"核高基"重大专项基金项目(2009ZX01036-001-002);国家"九七三"重点基础研究发展规划项目基金(2011CB302504)资助~~
程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组...
关键词：有限状态自动机 时序安全属性 切片技术 程序静态检测 F-衡量 
基于DFA复合式Agent模型的设计与实现被引量：1
《中南大学学报（自然科学版）》2010年第2期600-608,共9页卢薇薇 蔡自兴 文志强 陈爱斌 
国家重点基础研究发展计划("973"计划)项目(A1420060159)
针对机器人团队协作检测与跟踪动态目标的需要,提出1种基于有限状态自动机(DFA)的复合式Agent模型。通过结合有限状态自动机的行为状态模型,对复合式Agent模型进行改进,在固定路线的动态目标跟踪实验中,对改进前后的Agent模型实际实验...
关键词：复合式Agent模型 有限状态自动机 动态多目标跟踪 
基于系统调用的入侵检测新方法
《计算机应用研究》2006年第12期112-114,共3页刘雪飞 王申强 吴伯桥 马恒太 
国家"863"计划资助项目(2003AA144030);国家"973"重点资助项目(G1999035810);中国科学院软件所基础课题研究基金项目(CXK45634);北京机械工业学院人才引进基金项目(59525027(J))
通过分析系统调用行为特征,提出了程序的系统调用行为可以用有限状态自动机来描述的方法,证明了算法产生的自动机的完整性,并给出算法性能分析结果。
关键词：入侵检测 系统调用 有限状态自动机 
使用概率规则文法评估人机界面可用性被引量：4
《计算机辅助设计与图形学学报》2005年第12期2709-2715,共7页王常青 王绪刚 马翠霞 邓昌智 戴国忠 
国家自然科学基金重点项目(60033020);国家"八六三"高技术研究发展计划(2003AA411330;2002AA111080);国家重点基础研究发展规划项目(2002CB312103)
提出一种在界面系统设计规约的基础上使用的可用性评估方法.首先使用有限状态自动机抽象界面系统设计,根据概率规则文法对有限状态自动机的状态转换概率进行预测;然后结合用户的熟练程度提出了界面可用性评估算法;最后讨论了一个手机界...
关键词：人机界面 可用性评估 概率规则文法 有限状态自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部