期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
加速定理与函数分层
1
作者
徐书润
王永革
《软件学报》
EI
CSCD
北大核心
1993年第4期38-43,共6页
本文引进一种O(F)—LOOP算子,通过该算子可对一般递归函数集进行分层,且该算子对应于计算复杂性中的加速定理,由此我们得到加速度理的定量描述。
关键词
加速定理
函数分层
程序
下载PDF
职称材料
定义局部软件质量的评估组分步法:现场应用和有效性实验
2
作者
徐书润
吴涛
《软件》
北大核心
1993年第2期69-97,共29页
关键词
软件质量
评估组分步法
下载PDF
职称材料
κ-紧空间的κ-乘积定理
3
作者
丁龙云
徐书润
《南开大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第4期40-42,共3页
本文指出一族κ-紧空间的κ-乘积仍为κ-紧的充分必要条件是κ为紧致基数
关键词
k-紧空间
k-乘积拓扑
紧致基数
k-乘积定理
下载PDF
职称材料
题名
加速定理与函数分层
1
作者
徐书润
王永革
机构
南开大学数学研究所
出处
《软件学报》
EI
CSCD
北大核心
1993年第4期38-43,共6页
基金
国家自然科学基金
文摘
本文引进一种O(F)—LOOP算子,通过该算子可对一般递归函数集进行分层,且该算子对应于计算复杂性中的加速定理,由此我们得到加速度理的定量描述。
关键词
加速定理
函数分层
程序
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
定义局部软件质量的评估组分步法:现场应用和有效性实验
2
作者
徐书润
吴涛
出处
《软件》
北大核心
1993年第2期69-97,共29页
关键词
软件质量
评估组分步法
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
κ-紧空间的κ-乘积定理
3
作者
丁龙云
徐书润
机构
南开数学研究所
出处
《南开大学学报(自然科学版)》
CAS
CSCD
北大核心
1998年第4期40-42,共3页
文摘
本文指出一族κ-紧空间的κ-乘积仍为κ-紧的充分必要条件是κ为紧致基数
关键词
k-紧空间
k-乘积拓扑
紧致基数
k-乘积定理
Keywords
finally κ compact space
κ product Topology
strongly compact cardinal
分类号
O189.11 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
加速定理与函数分层
徐书润
王永革
《软件学报》
EI
CSCD
北大核心
1993
0
下载PDF
职称材料
2
定义局部软件质量的评估组分步法:现场应用和有效性实验
徐书润
吴涛
《软件》
北大核心
1993
0
下载PDF
职称材料
3
κ-紧空间的κ-乘积定理
丁龙云
徐书润
《南开大学学报(自然科学版)》
CAS
CSCD
北大核心
1998
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部