高阶退化非线性Kirchhoff型双曲方程解的爆破

采用能量方法研究了一高阶退化非线性Kirchhoff型双曲方程,建立了一些精妙的估计,得到了该方程带有正初始能量解的有限时刻爆破性质.     

纵轴式掘进机截割过程动力学建模与仿真

为掌握纵轴式掘进机在截割岩石过程中性能综合分析各种影响因素,建立了截割系统的动力学模型,应用Matlab进行仿真,得到了工作状态下掘进机截割头的转速和转矩的变化.研究结果表明,掘进机截齿排列方式和岩石性质对掘进机截割头的转速和转矩影响较明显,而截齿截割过程中的间隙非线性因素对截割头影响较小,为掘进机优化设计提供了理论依据.     

浅层基底下掏土法在建筑物纠偏中的应用

通过该工程的成功实践,文章阐述浅层掏土迫降法结合石灰桩加固周边土层纠倾加固施工的全过程及施工要点,对类似工程有一定的参考价值.     

一个Navier-Stokes耦合系统的指数衰减解

用迭代技术通过紧性方法证明Navier-stokes耦合系统解的存在性,运用能量方法得到解的衰减性估计.     

一个强耦合系统正解的L~∞(0,T;H~1(Ω))估计

运用能量方法,通过采用嵌入定理、内插不等式建立了非线性强耦合生态系统正解的L(∞0,T;H(1Ω))估计.     

渗流方程的第二边值问题

运用上、下解及闸函数讨论了渗流方程的第二边值问题解的存在性、唯一性及非饱和区域在有限时间消失的条件。     

渗流方程的第一边值问题

运用上、下解方法讨论了含吸收项第一边值问题弱解的存在性、唯一性、局部正则性，分界面的连续性，弱解的渐近性     

渗流方程的第二边值问题解的一些性质

运用Schauder理论建立了弱解的局部正则性,通过第一特征值函数讨论了解的渐近性.     

一个植被生态系统非负弱解对初值的连续依赖性

利用能量方法,采用嵌入不等式研究一个非线性强耦合生态植被系统,建立非负弱解正则性估计,得到植被生态系统非负弱解对初值的连续依赖性.     

托卡马克装置三次系统的Lyapunov量计算

主要研究托卡马克装置三次系统的Lyapunov量计算问题,给出一般平面多项式系统到其基本复形式之间的转换及其转换公式;利用Lyapunov量复算法在Maple计算程序下,计算出该三次一般系统的Lyapunov量,得到原点是其一阶细焦点的结论.