一类退化拟线性发展方程的初边值问题

研究一类退化拟线性发展方程ua-uxx-β(uxt)x=f(x,t)的初边值问题,其中β(s)∈C1,β(s)≥0.利用单调算子方法,在关于β(s)的增长阶较弱的条件下,得到整体强解的存在性与唯一性,从实质上改进和推广了Prestel[1]的结果.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

减少化验次数的一个优化模型

依据数学理论证明在一定条件下，可以减少化验次数；并给出了选择方法；建立了一个减少化验次数的优化模型。     

状态空间方程的计算机仿真计算

本文通过对系统状态空间方程的计算机仿真计算,提出了状态空间方程的求解方法,并通过求解获取系统的有关信息,如敛散性、能控性、能观测性等,为系统的参数调整与设计提供依据。     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。     

带有非局部源项的发展方程全局解的不存在性

通过试验函数法,本文讨论了具有形如‖u‖p或‖ Du‖p的非局部源项的发展方程全局解的不存在性.     

论《红楼梦》的神话性

本文对《红楼梦》神话性进行了探讨，主要是通过人物来历，行为的解析，论述了作品所展示的现实世界、虚无世界的文化形态。揭示了中国人的文化心态，对现实的重视，对神话的追求，由此说明《红楼梦》的经久不衰的原因。