Banach空间二阶微分方程的周期解

研究了有序Ｂａｎａｃｈ空间中二阶微分方程周期解的存在性,利用凸锥理论与上、下解方法获得了周期解的存在性结果,并把Ｌｅｅｌａ关于二阶常微分方程的结果推广到了无限维空间．     

基于卷积型变分原理的半解析法及其在热传导中的应用

本文基于积型变分原理提出了瞬态热传导问题的半解法,该方法在空间域内作有限元离散,在时间上用纵数表示,吸取了现有求解瞬态问题方法的优点,又克服了其缺陷,一维和二维算例结果表明。该方法进求解热传导问题的一种新型、有效的方法。     

拟塑性流体理论中一类奇异非线性边界值问题

研究了起源于拟塑性流体理论中的一类奇异非线性两点边界值问题正确的存在性和唯一性。     

自催化反应模型的行波解

运用常微定性理论的相平面分析方法讨论了自催化反应中的Ｋａａｓ－Ｐｅｔｅｒｓｅｎ模型,得到了行波存在的各种可能结果。     

时滞周期竞争—竞争—互惠模型的解的渐近性

利用单调方法讨论了一类含时滞及周期系数的反应扩散系统的竞争－竞争－互惠模型,对解的渐近性态作了详尽的分析,并证明正周期解的存在性,和不含时滞方程的单调方法相比,对含时滞模型采用了一种新的定义上,下解的方法。     

带拟凸约束的极小规则

本文给出带拟凸约束规划的一个新算法,其结果改进和推广了文－「１－３」的结论。     

立体视觉中求对应点的解

从讨论物体表面的特性出发,研究了立体视觉中可匹配点存在的集合以及唯一匹配问题,指出了可匹配点集与成象系统焦点位置及其物体表面法线之间的关系,证明了空间曲线在两幅图象上投影的孤长之比和变形的物理特性。     

关于时滞Liénard型方程的周期解

本文研究具有时滞的Lienard型方程周期解的存在性,得到了一些新的结果。     

带权Burger方程的初边值问题的整体光滑解

考虑带权Burger方程的初边值问题,构造性地证明了整体光滑解的存在性。     

多重操作系统的启动

本文讨论通过将原MASTER BOOT扇区改写,使其具备二种操作系统的启动能力。