期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
有理数理论的计算复杂性
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 下一页 到第
使用帮助 返回顶部