基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

小球进盒种种

在学习排列组合时 ,我们会遇到一些形形色色的小球进盒问题 ,在深刻把握两个计数原理的同时 ,对下述小球进盒的种种问题应有清醒的认识 .1　相同小球进入相同盒 ,直接分组即可例 1　将 7个优秀学生名额分成 4组 ,每组至少有一个名额 ,则不同分配方案有　　种 .解析　由于 7个优     

H-空间与拟向量变分不等式

本在Hausdorff locally convex H-空间上建立了一个新的不动点定理；利用局部交性质，在Hausdorff locally convex H-空间上建立了相应的拟向量变分不等式．     

变式乘除一口清的最佳易倍数应为2—6

在珠算乘除运算中，应用“一口清”变为加减运算。从算理算法上讲，必能减少拨珠次数，提高运算速度。但在实践上讲，学习和掌握它却是相当困难的。如被珠算研究者和珠算选手们视为魔数的“7”，它的进律多迭六位数码，这样在实际计算中就要看七位(有时还不止是七位)数码才能得出一位乘积。这就不但给人们学习和掌握这一方法造成了记忆的困难，     

R￣d中Hausdorff维数和packing维数的确定

本文目的在于建立确定Ｒ￣ｄ中Ｈａｕｓｄｏｒｆｆ维数ｄｉｍ和ｐａｃｋｉｎｇ维数Ｄｉｍ的两个命题（定理１和定理２），进而寻求Ｒ￣ｄ中Ｈａｕｓｄｏｒｆｆ维数ｄｉｍ与ｐａｃｋｉｎｇ维数Ｄｉｍ相等的条件；这使得我们能够引入分形测度的测度论定义。     

位置参数模型变点问题的非参数检验

本文引入Fisher-Yates提出的计分函数和Van der Waerden提出的计分函数,对只有一个变点的位置参数模型的假设检验问题分别给出了四个检验统计量.利用Monte-Carlo随机模拟的方法,求出了检验的渐近临界值,并且对本文提出的检验,以及Pettitt在文[1] 中提出的检验,Schechtman和Wolfe在文[2]中提出的检验的势进行了比较。     

一类周期种群系统的适定性及最优控制

本文研究了一类非线性周期种群系统的适定性及最优控制问题 .利用压缩不动点原理讨论了该种群系统的周期解的存在唯一性 .并用变分法给出了最优控制所满足的必要条件 .     

二阶椭圆型微分方程解的振动定理

考虑二阶非线性椭圆型微分方程∑^n_{i,j}∂/∂x_i{A_{i,j}(x,y)∂/∂x_j}+q(x)f(y)=0 (E)，其中q(x)在外区域 Ω∈R\+n上变号. 利用偏Riccati变换和积分平均技巧, 建立了方程(E)所有解振动的充分准则.     

OSCILLATION FOR SOLUTIONS OF SYSTEMS OF N-TH ORDER PARTIAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper, some sufficient conditions for the oscillation for solutions to systems of n-th order partial functional differential equations are obtained.