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

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

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

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

电子碰撞Ag的L壳层电离截面的测量

作者用Si(Li)探测器测量了能量为5～2keV的电子碰撞Ag的L壳总平均电离截面；用Monte Carlo方法计算的电子反射能谱，修正了来自衬底的反射电子对测量结果的影响．作者对实验结果与Cryzinski的理论计算结果进了比较．     

浅论提高高校电子阅览室利用率的措施

分析了高校电子阅览室利用率低的原因，从加大宣传力度，加强电子信息资源的建设和管理，创建网络导航数据库，加强对读者的信息教育等方面提出了提高电子阅览室利用率的措施。     

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

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

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

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