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

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

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

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

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

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

最优控制系统综合问题中首次积分的应用

在具有固定时间和自由右端的变分问题中，利用自由未控制对象运动方程的首次积分．较详细讨论了最优控制系统综合方法．     

一类双曲方程反问题的存在性和唯一性

讨论了如何确定下述双曲方程中反问题中的未知系数ｑ（ｘ），用压缩映像原理证明了反问题的存在性和唯一性定理。     

曲面的联络系数Γkij及ωji的计算

首先给出了正交曲线网作为曲面S的参数曲线网时曲面的联络系数,即Г1 11=2-1(EG-F2)-1(GE1-2FF1+FE2),Γ2 11=2-1(EG-F2)-1(2EF1-EE2-FE1),Г1 12=2-1(EG-F2)-1(GE2-FG1),Г2 12=2-1(EG-F2)-1(EG1-FE2),Г1 22=2-1(EG-F2)-1(2GE2-GG1-FG2),Г2 22=2-1(EG-F2)-1(EG2-2FF2+FG1).然后给出了用曲面的第一基本形式的系数E,F,G及其偏导数表示的联络系数Γk ij及ωj i的计算.     

吉尼系数逐步扩大的原因分析

我国吉尼系数偏大反映了我国收入分配领域的问题与矛盾，也带有我国经济发展过程中种种不和谐的烙印。目前吉尼系数已超过国际公认的警戒线，收入差距的扩大打破了原有的大锅饭、平均主义，带来了劳动生产率的提高。但收入差距的扩大也带来了种种问题，不利于改革的深入发展和社会的稳定。     

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.     

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

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