期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
良结构下推系统的表达能力
1
作者
靳阳
蔡小娟
李国强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015年第8期1084-1089,共6页
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式...
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.
展开更多
关键词
良结构下推系统
良
拟序
向量加法
系统
可达性问题
在线阅读
下载PDF
职称材料
良结构下推系统的可覆盖性问题的下界
2
作者
李春淼
蔡小娟
李国强
《软件学报》
EI
CSCD
北大核心
2018年第10期3009-3020,共12页
良结构下推系统是下推系统和良结构迁移系统的结合,该系统允许状态和栈字符是向量的形式,因而它们是无限的.状态迁移的同时允许栈进行入栈出栈的操作.它"非常接近不可判定的边缘".利用重置0操作,提出了一种模型可覆盖性问题...
良结构下推系统是下推系统和良结构迁移系统的结合,该系统允许状态和栈字符是向量的形式,因而它们是无限的.状态迁移的同时允许栈进行入栈出栈的操作.它"非常接近不可判定的边缘".利用重置0操作,提出了一种模型可覆盖性问题复杂度下界的一般性证明方法,并且证明了状态是三维向量的子集和一般性的良结构下推系统的可覆盖性问题分别是Tower难和Hyper-Ackermann难的.
展开更多
关键词
良结构下推系统
可覆盖性
下界
重置0
Hyper-Ackermann难
在线阅读
下载PDF
职称材料
题名
良结构下推系统的表达能力
1
作者
靳阳
蔡小娟
李国强
机构
上海交通大学BASICS实验室
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015年第8期1084-1089,共6页
基金
国家自然科学基金项目(61472238
61100053)资助
文摘
良结构下推系统是将状态集和栈字符集都扩展为良拟序的下推系统.研究向量加法系统及其扩展系统与良结构下推系统的关系,证明了多个模型可归约到良结构下推系统.通过树的后序遍历构造了分支向量加法系统到良结构下推系统的编码;通过显式引入栈证明递归向量加法系统是良结构下推系统的一种特例;创新地使用栈深表示向量的一维,来构造一位零测试向量加法系统到良结构下推系统的编码.通过这些编码证明了良结构下推系统的表达能力不低于这些向量加法扩展系统,进一步说明了良结构下推系统的一般性.
关键词
良结构下推系统
良
拟序
向量加法
系统
可达性问题
Keywords
well-structured pushdown system
well-quasi-order
vector addition system
reachability problem
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
良结构下推系统的可覆盖性问题的下界
2
作者
李春淼
蔡小娟
李国强
机构
上海交通大学软件学院
出处
《软件学报》
EI
CSCD
北大核心
2018年第10期3009-3020,共12页
基金
国家自然科学基金(61472238
61672340
61872232)~~
文摘
良结构下推系统是下推系统和良结构迁移系统的结合,该系统允许状态和栈字符是向量的形式,因而它们是无限的.状态迁移的同时允许栈进行入栈出栈的操作.它"非常接近不可判定的边缘".利用重置0操作,提出了一种模型可覆盖性问题复杂度下界的一般性证明方法,并且证明了状态是三维向量的子集和一般性的良结构下推系统的可覆盖性问题分别是Tower难和Hyper-Ackermann难的.
关键词
良结构下推系统
可覆盖性
下界
重置0
Hyper-Ackermann难
Keywords
well-structured pushdown system
coverability
lower bound
reset-zero
Hyper-Ackermann hard
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
良结构下推系统的表达能力
靳阳
蔡小娟
李国强
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
2
良结构下推系统的可覆盖性问题的下界
李春淼
蔡小娟
李国强
《软件学报》
EI
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
