期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
有理数理论的计算复杂性
1
作者
陈国龙
《淮北煤师院学报(自然科学版)》
CAS
1999年第1期1-4,共4页
本文讨论了有理数理论的复杂性,通过构造精确的判定过程,从而确定了有理数理论的计算复杂性上界.
关键词
有理数理论
前束范式
计算复杂性
逻辑理论
下载PDF
职称材料
域上无限上三角方阵的逆
被引量:
1
2
作者
陈国龙
《淮北煤师院学报(自然科学版)》
1999年第4期9-11,共3页
利用模型论中的紧致性定理。
关键词
域
无限方阵
逆方阵
无限上三角方阵
下载PDF
职称材料
设计多媒体风格的屏幕保护程序
3
作者
胡智文
胡国亮
《淮北煤师院学报(自然科学版)》
2000年第2期32-35,共4页
本文讨论了在VB环境下设计多媒体风格的屏幕保护程序的基本步骤。
关键词
VB
屏幕保护程序
多媒体风格
程序设计
下载PDF
职称材料
积分型的Bernstein不等式
4
作者
李红
王信松
《淮北煤师院学报(自然科学版)》
2000年第3期6-11,共6页
本文得到以下积分型Bernstein不等式:令Pn(D)=■(D2+2α,D+α2+β23)>∏(D-入j),其中D=a/dx, a,βs, λj为实数;βs> 0,s=1,2,…, k;j=1,2,…, n-2k;β=...
本文得到以下积分型Bernstein不等式:令Pn(D)=■(D2+2α,D+α2+β23)>∏(D-入j),其中D=a/dx, a,βs, λj为实数;βs> 0,s=1,2,…, k;j=1,2,…, n-2k;β=■βs,p≥1则1.若m>4β,则对任意的m阶三角多项式Tm(x),有 (∫0| Pn(D)Tm(x)|Pdx)1/P≤|Pn(im)|(∫0|Tm(x)| Pdx)2.若α>4β,对f(x)∈Bσ,有 (∫-∞|Pn(D)f(x)|pdx)≤|Pn(iσ)|(∫-∞|f(x)|pdx)
展开更多
关键词
Bσ函数类
微分积多项式
BERNSTEIN不等式
下载PDF
职称材料
外壳方法进行内存驻留
5
作者
吴胜华
《淮北煤师院学报(自然科学版)》
1999年第2期73-74,共2页
本文介绍了一种在DOS状态下新的内存驻留程序设计方法,用此法可编写各种应用软件。
关键词
内存驻留
中断向量
中断调用
外壳法
程序设计
下载PDF
职称材料
题名
有理数理论的计算复杂性
1
作者
陈国龙
机构
淮北煤师院计算机科学与技术系
出处
《淮北煤师院学报(自然科学版)》
CAS
1999年第1期1-4,共4页
文摘
本文讨论了有理数理论的复杂性,通过构造精确的判定过程,从而确定了有理数理论的计算复杂性上界.
关键词
有理数理论
前束范式
计算复杂性
逻辑理论
Keywords
the theory of rational number prenex normal form computational complexity
分类号
O141.3 [理学—基础数学]
TP301.5 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
域上无限上三角方阵的逆
被引量:
1
2
作者
陈国龙
机构
淮北煤师院计算机科学与技术系
中国
科学
院软件所
计算机
科学
开放研究实验室
出处
《淮北煤师院学报(自然科学版)》
1999年第4期9-11,共3页
文摘
利用模型论中的紧致性定理。
关键词
域
无限方阵
逆方阵
无限上三角方阵
Keywords
field
infinite matrix
inverse matrix
分类号
O151.21 [理学—基础数学]
下载PDF
职称材料
题名
设计多媒体风格的屏幕保护程序
3
作者
胡智文
胡国亮
机构
淮北煤师院计算机科学与技术系
出处
《淮北煤师院学报(自然科学版)》
2000年第2期32-35,共4页
文摘
本文讨论了在VB环境下设计多媒体风格的屏幕保护程序的基本步骤。
关键词
VB
屏幕保护程序
多媒体风格
程序设计
Keywords
visual basic
screen saver
application program interface functions
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
积分型的Bernstein不等式
4
作者
李红
王信松
机构
淮北煤师院计算机科学与技术系
淮北
煤
师院
数学
系
出处
《淮北煤师院学报(自然科学版)》
2000年第3期6-11,共6页
文摘
本文得到以下积分型Bernstein不等式:令Pn(D)=■(D2+2α,D+α2+β23)>∏(D-入j),其中D=a/dx, a,βs, λj为实数;βs> 0,s=1,2,…, k;j=1,2,…, n-2k;β=■βs,p≥1则1.若m>4β,则对任意的m阶三角多项式Tm(x),有 (∫0| Pn(D)Tm(x)|Pdx)1/P≤|Pn(im)|(∫0|Tm(x)| Pdx)2.若α>4β,对f(x)∈Bσ,有 (∫-∞|Pn(D)f(x)|pdx)≤|Pn(iσ)|(∫-∞|f(x)|pdx)
关键词
Bσ函数类
微分积多项式
BERNSTEIN不等式
Keywords
class of βσ function
differential polynomial
(p, q) type operator
分类号
O178 [理学—基础数学]
下载PDF
职称材料
题名
外壳方法进行内存驻留
5
作者
吴胜华
机构
淮北煤师院计算机科学与技术系
出处
《淮北煤师院学报(自然科学版)》
1999年第2期73-74,共2页
文摘
本文介绍了一种在DOS状态下新的内存驻留程序设计方法,用此法可编写各种应用软件。
关键词
内存驻留
中断向量
中断调用
外壳法
程序设计
Keywords
resides in memory, interrupt vector, interrupt invoke
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
有理数理论的计算复杂性
陈国龙
《淮北煤师院学报(自然科学版)》
CAS
1999
0
下载PDF
职称材料
2
域上无限上三角方阵的逆
陈国龙
《淮北煤师院学报(自然科学版)》
1999
1
下载PDF
职称材料
3
设计多媒体风格的屏幕保护程序
胡智文
胡国亮
《淮北煤师院学报(自然科学版)》
2000
0
下载PDF
职称材料
4
积分型的Bernstein不等式
李红
王信松
《淮北煤师院学报(自然科学版)》
2000
0
下载PDF
职称材料
5
外壳方法进行内存驻留
吴胜华
《淮北煤师院学报(自然科学版)》
1999
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部