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

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

取值于Banach空间中的（E1）囿变函数

引入取值Ｂａｎａｃｈ空间中的（Ｅ１）囿变函数的概念，并讨论它与强、弱囿变函数之间的关系．     

AC=BD在微分方程中的应用

利用AC＝BD的思想，将变系数广义KdV方程约化成常微分方程，求出了KdV方程的Lax对。     

晶体之美在和谐

晶体好像是数学专家。构成晶体的原子或离子其实是在按照一定的规则填补着空间。从18世纪起，人们便开始研究这些规则，但直到上个世纪初才得到实验的证实。     

电气设计中功率因数平衡的实现

通过对电气设计中功率因数不平衡因素约分析，针对主要影响因素，确定了对策及措施，并给出了实现功率功率平衡的途径。     

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

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

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

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

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

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

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