QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 LTL satisfiability checking revisited 会议论文 20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013 Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1) 收藏  |  浏览/下载：6/0  |  提交时间：2014/12/16 一种有效的基于LTL和Petri网的模型检测方法 期刊论文 2010, 2010 张斌; 罗贵明; 王平; ZHANG Bin; LUO Gui-ming; WANG Ping 收藏  |  浏览/下载：3/0 构建度量区间时序逻辑的时间自动机 学位论文 硕士, 北京: 中国科学院研究生院, 2010 王勤思 收藏  |  浏览/下载：20/0  |  提交时间：2010/06/08 模型检测  实时时序逻辑  度量区时序逻辑  基于迁移的扩展时间Büchi自动机  Tableau方法。   对时间自动机进行空性检测的过程和改进 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   checking timed buchi automata emptiness using lu-abstractions 学位论文 2009 Li Guangyuan 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/20 Approximation theory  Extrapolation  Robots  Time sharing systems  Translation (languages)   基于SCC空性检测中状态空间的缩减方法 期刊论文 计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松 收藏  |  浏览/下载：13/0  |  提交时间：2011/06/10 空性检测  基于迁移的扩展Büchi自动机  可接受条件  检测算法  状态空间  强连通图  深度优先搜索  最坏情况  优势结合  搜索算法  接受条件  检测过程  布尔变量  自动机  性能  迁移  内存  扩展  标识Cellular radio systems  Ketones