2025年1月17日
星期五
|
欢迎来到海南省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
您的位置:
专家智库
>
资助详情
>
国家高技术研究发展计划(005AA113130)
国家高技术研究发展计划(005AA113130)
作品数:
1
被引量:1
H指数:1
相关作者:
王戟
陈火旺
刘万伟
更多>>
相关机构:
国防科学技术大学
更多>>
发文基金:
教育部“新世纪优秀人才支持计划”
国家自然科学基金
国家重点基础研究发展计划
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
题名
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
作者
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
自动机
1篇
计算机
1篇
计算机软件
1篇
TABLEA...
1篇
BÜCHI自...
1篇
CO
1篇
LTL
机构
1篇
国防科学技术...
作者
1篇
刘万伟
1篇
陈火旺
1篇
王戟
传媒
1篇
吉林大学学报...
年份
1篇
2007
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
相关度排序
相关度排序
被引量排序
时效排序
基于LTL Tableau的自动机构造
被引量:1
2007年
基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。
刘万伟
王戟
陈火旺
关键词:
计算机软件
LTL
TABLEAU
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张