定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

有关勾股定理、射影定理的研究性论题

本文对勾股定理、射影定理的研究性论题进行了研究。     

遥控车用气动控制系统

介绍了一种遥控多功能底盘，操作使用遥控器通过电子遥控系统、气动控制系统使小型农机的离合、换档、转向等动作的操纵实现了遥控自动化。小四轮拖拉机的车型试验结果表明，遥控多功能底盘实现了小型农机的完全无人驾驶，配以相应的农具可广泛应用于恶劣环境下的田间作业。     

累次极限换序的一个充分条件

本文对于二元函数的累次极限的换序给出了一致收敛这一充分条件。     

炮采工作面大角度转向回采技术研究

针对炮采工作面不规则布置条件,研究探讨转向回采技术方案,确定大角度转向回采采用捎场回采工艺,此项工艺避免了迁巷或其他系统改造造成采面停产的弊端,能较好的解决采面转向推进的技术难题,对类似条件下的开采有一定的借鉴性。     

哈贝马斯社会批判理论根基的语言学转向

生活世界理论在哈贝马斯社会批判理论中居于核心地位，但他对生活世界的理解并不是前后一致的。他早期基本上是在综合胡塞尔和许茨生活世界理论基础上而形成自己关于生活世界的理解，而他后期的社会批判理论则奠基在语言学转向后的生活世界理论基础之上。由于这一语言学转向，与其早期社会批判理论相比，他后期的社会批判理论在形式上更趋合理，在内容上更深刻，在批判的同时还形成了自己关于未来理想社会的建构理论。     

遗传算法模式理论研究

给出了多种交叉方式遗传算法的模式定理及相关的证明.该定理避免了遗传算法模式理论的不足,使模式理论更加准确、严格.     

不连续二阶周期边值问题的可解性

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数.通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.