优化设计性实验教学培养学生的科学素质

通过论证设计性实验与科学素质之间的关系，提出体现培养科学素质的问题式学习模式，并在大学物理实验教学中进行了教学改革试验。     

有序拓扑向量空间中有效点的存在性定理

1980年,H.W.Cordy引进K-半紧概念,深入地讨论了Banach空间中有效点的存在性.本文将K-半紧性推广到K-仿紧性,从而在较弱条件下获得一般有序拓扑向量空间中的有效点存在性定理.     

模糊数学,随机数学与精确数学的逻辑比较

本文揭示模糊数学，随机数学与精确数学有相似的形式公理化描述，它们的区别只在语义上。     

CORBA~( ):一个具有自卫智能体的扩展CORBA

将自卫机制加入OOP成为AOP以提高CORBA中软件的强健性和防卫能力,在CORBA这个异构环境中,一个对象申请服务之后就需等待,如果应答迟迟不到则有可能永远等待下去,为避免这种现象的产生和蔓延,在客户和服务方的行为中加入超时机制(timeout mecha-nism)并采用利己或利他策略,使得对象可独立地根据当前环境和时间决定下一步骤,将这种在协作者失败的情况下仍能生存的对象称为自卫智能体,加入白卫智能体的CORBA称为CORBA~( ),由于智能体可在任何条件下生存,CORBA~( )可为用户提供可靠的服务,也就能实现CORBA~( )中软件构成的强健性。     

关于一类非平衡交互作用粒子系统的相变

本文利用一维格点上非平衡Glauber＋Kawasaki过程所对应的Hgdrodynamic宏观方程，刻画了过程何时从一非渐近稳定态开始分离，该非渐近稳定态对应于一具有均值为常数的乘积测度，证明了时间标度在一定范围时，过程仍逗留在该非渐近稳定态．而时间标度超出该范围时，过程向渐近稳定态分叉，即系统发生相变．     

一类具有奇异系数的弱双曲型方程的解的可微性及渐近性

本文讨论如下形式的方程((?)/(?)~t-it~ρD_x)(?)/(?)~t+it~ρD_x+(α+β)/t~α)u+α/t~α-(?)/(?)~t+α(α+β)/t~(2α)u=f(t,x) (1)x∈R~n,00,α≥1的常数。α及β也是常数。方程在 t=O 有重特征。而低阶项的系数正好在 t=0 有奇异性。我们在方程的低阶项符合一定条件,且方程的特征根的重数与低阶项的奇异性的阶数满足一定关系时,给出了方程(1)的解的唯一性与可微性定理。并讨论了当 t→+0 时,解的渐近性态。     

一般两速离散lllner模型的1＋1维精确解

ｌｌｌｎｅｒ模型是最一般的Ｂｏｌｔｚｍａｎｎ方程的两速模型，它包括Ｃａｒｌｅｍａｎ模型和ＭｃＫｅａｎ模型作为两种特殊情形。离散ｌｌｌｎｅｒ模型１＋１维精确能够以一种简洁的方式进行研究，前人的结论需要修正。我们得到了一类新的１＋１维精确解，这给出了研究类似的离散Ｂｏｌｚｍａｎｎ方程精确行波解的一般方法。     

拟线性常微分方程在半无限区间的边值问题

Existence of positive solution is established for boundary value problems of non-singular for a class quasi-linear ordinary differential equation on the semi-infinite interval. The results are obtained by using the nonlinear alternative of Leray-Schauder method.     

具连续分布滞量的非线性中立型抛物偏泛函微分方程的振动性

考虑一类具连续分布滞量的非线性中立型抛物偏泛函微分方程解的振动性,借助Green定理和时滞微分不等式获得了这类方程在Robin,Dirichlet边值条件下所有解振动的若干充分条件.     

一类二阶三点边值问题单调正解的存在性

利用范数形式的锥上不动点定理,研究了一类二阶微分方程三点边值问题单调正解的存在性．分别给出了齐次和非齐次边界条件下的三点边值问题单调正解存在的充分条件,确定了解曲线的凹凸性,并且给出了一个应用实例．