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 时,解的渐近性态。     

一类求解线性约束非线性规划问题的可行方向法

Wilson,Han和Powell提出的序列二次规划方法(简称SQP方法)是求解非线性规划问题的一个著名方法,这种方法每次迭代的搜索方向是通过求解一个二次规划子问题得到的,本文受[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.     

Browder-Petryshyn 型的严格伪压缩映射的粘滞迭代逼近方法

主要研究Browder-Petryshyn型的严格伪压缩映射的粘滞迭代逼近过程,证明了Browder-Petryshyn型的严格伪压缩映射的不动点集F(T)是闭凸集．在q-一致光滑且一致凸的Banach空间中,对于严格伪压缩映射T,利用徐洪坤在2004年引进的粘滞迭代得到的序列弱收敛于T的某个不动点．同时证明了Hilbert空间中Browder-Petryshyn型的严格伪压缩映射的相应迭代序列强收敛到T的某个不动点,其结果推广与改进了徐洪坤2004年的相应结果．     

高阶半线性抛物型方程组的生命跨度

其中m,P,q>1．利用试验函数方法,首先推导一些积分不等式,然后对方程组爆破解的生命跨度 [0,T)给出估计．     

一类常微分方程组的紧支撑样条小波方法探讨

应用三次紧支撑样条小波插值函数得到了求一类常微分方程组数值解的隐式公式,并求得到其局部截断误差为O(-h5).在此基础上给出1个显式校正求解公式,并讨论得到其局部截断误差为O(-h4).