一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。     

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

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

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

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

非等熵流气体动力学方程组解的生命跨度

考虑一维非等熵流气体动力学方程组Cauchy问题，给出了其经典解产生奇性的一个充分条件，并证明了解的生命跨度的精确估计。     

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

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

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]中提出的检验的势进行了比较。