一种适应性复制协议的研究与设计

传统的复制协议往往对如何适应遗留系统和引入复制技术对系统性能造成的影响方面考虑不够深入.本文在分析传统复制协议的基础上,提出了一种新协议.其设计采用复制实例数目可动态伸缩的逻辑令牌环结构,因而在满足可用性需求的前提下,可支持不同分布系统对适应性的需求,同时保证引入复制技术后系统的性能.文中详细论述了相应的系统模型和服务请求的处理,并通过与几种典型的传统复制协议的比较,证明了该协议的可行性.     

ATM基础上的下一代无线PCN

介绍了ATM基础上的下一代无线个人通信网,对于其传输结构作了详细的描述,提出目前尚要解决的问题。     

基于反省技术的灵活工作管理系统

面对复杂多样的应用环境，灵活性成为工作流技术研究的重点之一。反省作为提高系统灵活性的重要技术手段可用于工作流管理系统中，本文分别从结构和行为方面对工作流过程及其管理进行了具体化，进而建立其反省模型。为了方便对元级的抽象和编程操纵，我们提出了元对象协议模型，其中包括协议声明、元对象关联、协议选择和元对象管理等机制或方法，进一步，本文通过典型的应用说明了反省方法对提高工作流系统灵活性和适应性是有效的。最后，文章介绍了工作流管理系统中反省技术的实现方法。     

基于脉冲耦合神经网络的椒盐噪声滤波

基于脉冲耦合神经网络,提出了一种有效的椒盐噪声图像滤波算法.首先利用PCNN相似群神经元同步发放脉冲的特性检测噪声,并给出了神经元参数的估计方法.然后考虑到噪声点应和最近的非噪声点最相似,提出了一种扩展窗口中值滤波算法对噪声点进行滤波.仿真表明,本文提出的方法对不同强度的噪声图像均体现了优异的滤波性能,和相关的中值滤波算法相比也体现了相当明显的优势.     

一类广义Liénard方程周期正解的存在性

本文证明一类广义Liénard方程周期正解的存在性及渐近稳定性.我们讨论的非自治函数可满足超线性条件,克服了连续定理讨论超线性条件的困难.文章的最后,我们给出两个例子和数值解以及对应的相图和时间序列图来验证我们的结论.     

一类广义Li\'enard方程周期正解的存在性

本文证明一类广义Li\''enard方程周期正解的存在性及渐近稳定性. 我们讨论的非自治函数可满足超线性条件,克服了连续定理讨论超线性条件的困难. 文章的最后,我们给出两个例子和数值解以及对应的相图和时间序列图来验证我们的结论.     

一类具有偏差变元的p-Laplacian Liénard型方程在吸引奇性条件下周期解的存在性

该文考虑了一类具有偏差变元的奇性P-Laplacian Lienard型方程(φ_p(x'(t))'+f(x(t))x'(t)+g(t, x(t-σ(t)))=e(t)其中g(x)在原点处具有吸引奇性.通过应用Manasevich-Mawhin连续定理和一些分析方法,证明了这个方程周期解的存在性.     

一类带阻尼项的奇性Duffing方程周期解的存在性

通过用Manasevich-Mawhin连续定理,证明了一类奇性Duffing方程周期解的存在性和唯一性,给出了新的结论并改进了已有的一些结论.     

基于反省技术的灵活工作流管理系统

面对复杂多样的应用环境,灵活性成为工作流技术研究的重点之一.反省作为提高系统灵活性的重要技术手段也可用于工作流管理系统中.本文分别从结构和行为方面对工作流过程及其管理进行了具体化,进而建立其反省模型.为了方便对元级的抽象和编程操纵,我们提出了元对象协议模型,其中包括协议声明、元对象关联、协议选择和元对象管理等机制或方法.进一步,本文通过典型的应用说明了反省方法对提高工作流系统灵活性和适应性是有效的.最后,文章介绍了工作流管理系统中反省技术的实现方法.     

三阶非线性微分方程周期解的非退化和存在唯一性北大核心CSCD

该文虑了一类三阶线性微分方程x′″(t)+a_(2)x″(t)+a_(1)x’′t)=a_(0)(t)x(t)的非退化性.利用Writinger不等式,给出该方程的非退化条件.再利用三阶线性微分方程的非退化性,证明了三阶非线性微分方程在半线性条件和超线性条件下周期解的存在唯一性.