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

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

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

本文讨论如下形式的方程((?)/(?)~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 时,解的渐近性态。     

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

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边值条件下所有解振动的若干充分条件.     

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

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

方程f(x)=P-x与f-1(x)=P-x的两根之和一定为P吗

常见题目:①设方程10x=p-x的根为x1,方程lgx=p-x的根为x2,则x1 x2=p;②设方程x3=p-x的根为x1,方程3x=p-x的根为x2,则x1 x2=p.可以用数形结合法或函数的单调性证明,此略.我们类比猜想:方程f(x)=p-x与f-1(x)=p-x的两根之和一定为p(p为实常数)吗?经过探究发现,此结论不一定成立.一     

一类两点边值问题的多重非负解

该文考虑两点边值问题[1/q(t)][q(t)y′(t)]′+p(t)f(y(t))= 0,λ_1 y(α)-λ_2y′(α)=0 and y(β)=B非负解的存在性, 其中p(t)可能在t=α或t=β附近具有奇异性, f(0)≥0, lim_(y→+∞)f(y)/y=+∞, 并且存在y>0, 使得f(y)<0.      

随机变量序列的大数定律及常返性定理

对一类有界独立或相依的随机变量序列|ξn|,获得了它的伯努利大数定律、波雷尔强大数定律及常返性定理.作为应用,得出了Loève专著[1]中的推广的伯努利大数定律、常返性定理,改进了[1]中的推广的波雷尔强大数定律.     

非线性椭圆方程自由边值问题球对称解的存在性

给出了如下的非线性椭圆方程自由边值问题-Δu=λu+(1+ε)u+p,x∈B Rn,u|Ω=μ,∫Ωnu=-M(1)在C[0,1]中的球对称解的存在性.并得到比上述问题更一般的非线性椭圆方程自由边值问题-Δu=h(u),x∈B Rn,u|Ω=μ,∫Ωun=-M,在C[0,1]中的球对称解的存在性,其中B为Rn中的单位球,p>1,λ>0,μ<0,M>0,ε>0;λ,μ,M,ε均为常数,n为正整数.     

脉冲微分方程的上、下解及其在常微分方程上的应用

In this paper, we establish the existence of upper and lower solutions for a periodic boundary value problems (PBVP for short) of impulsive differential equations. which guarantees the existence of at least one solution for the problem. As an application, these results are applied to PBVP of ODE and some examples are given to illustrate our results.