POSITIVE SOLUTION FOR NONLINEAR SINGULAR BOUNDARY VALUE PROBLEMS

Under suitable conditions on f(·,u), it is shown that the two-point boundaryvalue problem((u'))' + λq(t)f(u) = 0in (0, 1),u(0) = u(1) = 0,has two positive solution or at least one positive solution for λ in a compatibleinterval.     

一些部分差集和相对差集的构造

In this paper, we give a construction of RDS in Galois ring by using some bent function, and obtain the equivalent relationship between RDS and a kind of bent function. At the same time, its existence is demonstrated.     

具有位相型修理的离散时间可修排队系统

本文研究了具有一般独立输入，位相型修理的离散时间可修排队系统，假定服务台对顾客的服务时间和服务台寿命服从几何分布，运用矩阵解析方法我们给出系统嵌入在到达时刻的稳态队长分布和等待时间分布，并证明这些分布均为离散位相型分布．我们也得到在广义服务时间内服务台发生故障次数的分布，证明它服从一个修正的几何分布．我们对离散时间可修排队与连续时间可修排队进行了比较，说明这两种排队系统在一些性能指标方面的区别之处．最后我们通过一些数值例子说明在这类系统中顾客的到达过程、服务时间和服务台的故障率之间的关系．     

二阶变系数线性微分方程组的稳定性

本文讨论方程组的零解的稳定性,推广了文[2]的相应结果.     

基于项重写技术的机器发现逻辑

机器学习与机器发现的研究需要借鉴机器定理证明技术的成果和现代科学哲学的方法论.遵循这两个观点,本文扩展了基于项重写规则法的机器定理证明技术,使之能解决某些有关机器发现的问题.在此基础上给出了Lakatos 发现方法论的一个形式系统,并建立了实现Lakatos方法的算法.     

二元三次一阶光滑的分片多项式样条函数

一元样条大致从以下三个方向上发展起来的:一元截断多项式样条;一元B-样条;一元分片多项式样条。二元样条的研究已取得了不少进展,文[2]可视为一元截断多项式样条向二元截断多项式样条推广的奠基性的工作,文[3]又讨论了二元B样条的构造方面的进展,但一元分片多项式样条的构造方法如何推广到二元样条上来,几乎没有见到什么工作。我们曾在文[4]中作过一点努力,但那是讨论二元二     

齿轮系统间隙非线性振动研究综述

本文较为详细地评述了近２０年来齿是隙非弛性动力学拓研究。文中分别从数学及力学模型求解方法、动态特性等方面介绍了关于“振一冲”问题、齿轮传动系统和汽车变速等研究的理论与方法，并提出了应进一步深入研究的几个问题。     

可逆测度与拟可逆测度的等价性

本文讨论了一类速度函数的可逆与拟可逆测度间的关系,证明了在[2]的条件下,可逆测度与拟可逆测度是等价的。