基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

分布式实时数据库系统中事务并发控制策略研究

本文主要对分布实时数据库系统中的事务并发控制进行探讨,结合虚拟锁和乐观法等思想,提出两种新的解决方案:2PL-HP协议和OPT-Sacrifice协议.前者可提高事务的并发度,减少阻塞的发生,从而满足实时性的要求;后者在提高事务并发度的基础上尽量保护那些己经进入提交状态的事务,降低无辜牺牲的几率,从而减少因为错过执行期限而被迫废弃的事务的数目,满足事务的实时性要求.     

Hestenes-Stiefel共轭梯度法的全局收敛性

其中g_k=(?)f(x_k)||·||为R~n中的L_2范数.在所有的共轭梯度法中,PR法被认为是最好的方法之一,在实际计算中HS和PR法效果差不多,它们都优于FR方法.在充分下降性假设下((?)f(x_k)~Td_k≤-σ_3||(?)f(x_k)||~2),Nocedal证明了只要β_k取正数,那么在采取Strong Wolfe-type搜索得到步长α_k的情况下,PR和HS法是全局收敛的.这里的StrongWolfe-type搜索形式如下:     

高阶非线性退化拋物型方程的初边值问题

本文讨论了高阶非线性退化方程■都为非负常数)的两类初边值问题全局解的存在性(Blow—up)。     

一类非线性年龄结构鱼群系统的稳定性

讨论了具有年龄结构的鱼群系统的稳定性，证明了其平衡解是全局渐近稳定的．关键词     

一种参数自调整多种群遗传算法

在借鉴海明距离、爬山法思想的基础上,提出了通过划分种群,采用不同的自适应参数,在保持快速收敛于最优的同时不失种群的多样性.新方法提高了搜索精度,较好地克服了未成熟收敛现象,并通过多元多峰数学函数对新方法和基本遗传算法进行比较评估,验证了新方法具有较满意的优化效果.     

香港高校学生事务工作的特色与启示

通过对香港五所大学的考察,简要探讨香港高校学生事务工作的特色,希望通过研究和借鉴香港高校的经验,对内地高校学生工作有积极的指导意义。     

一类捕食者——食饵模型的定性分析

本文对一类捕食者——食饵模型进行定性分析,得到了非平凡平衡点全局稳定性的条件和正平衡点周围存在唯一极限环的充分条件,并且本文给出了1个关于这类系统“大范围”极限环的存在唯一性定理。     

具有一般发生率和潜伏期时滞的水痘传播动力学模型

建立并研究了一类具有一般发生率和潜伏期时滞的水痘传播动力学模型.首先,证明了模型解的非负性和有界性.其次,给出了模型的基本再生数R₀,并证明了模型正平衡点的存在唯一性.再次,通过构造Lyapunov泛函,证明了无病平衡点及地方病平衡点的全局稳定性.最后通过数值模拟验证了：当R₀<1时,无病平衡点E₀全局渐近稳定;当R₀>1时,地方病平衡点E^*全局渐近稳定.     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。