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

地表移动破坏裂缝特征及其控制方法

通过分析地下开采的影响，黄土覆盖层变形裂缝规律，提出以开采方法和工艺方式来控制或减弱地表变形裂缝破坏程度，并在保护地表建筑物的前提下，最大限度回收“三下”呆滞煤炭     

一类非线性微分系统极限环的存在性

本文研究了方程ｘ＋ｆ（ｘ）φ（ｘ）＋ψ（ｘ）ｇ（ｘ）＝０ （Ｅｑｓ．）的极限环问题，推广了文（１）的结论并补充了文（２）有关结果。     

关于线性NDDE振动性的代数判据（Ⅰ）

本文给一阶线性自治中立型方程一切解振动的充要条件，这些条件仅依赖于系统的参数，从而对自治系统彻底解决了［１］中提出的问题１２     

对西方数学直观的评析

本文从数学方法论的角度,具体论述和评析了西方数学直观随数学发展的不同阶段所表现出的特点和演变方式。     

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

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