一类二阶非线性微分系统的全局渐近稳定性

该文研究非线性微分系统的零解全局渐近稳定性，获得了此系统零解全局渐近稳定的充分条件，推广和改进了文献［4j的结果。     

全局最优化的平滑积分变换方法：I基本思想和理论框架

提出了解决全局最优化中多极小问题的平滑积分变换方法。通过平滑积分变换将目标函数平滑变形，充分变形后的目标函数将仅有一个极小，沿该极小在变形过程中的轨变回溯即可找出其对应的原始目标函数的一个较深且较宽的极小。研究了平滑积分变换的数学性质并提出了不依赖局部极小化算法的极小追踪技术。     

一类非线性控制系统的全局稳定性

讨论了一类由若干非线性子系统互连组成的复杂非线性控制系统的全局稳定性问题。首先给出系统的描述，得出系统的状态方程，然后讨论并得出了系统存在唯一平衡点及全局指数稳定性的充分条件。     

具有离散时滞的非自治扩散的N种群竞争模型

1模型与概念文献[1]给出了如下具有时滞的Lotka-Voltrra竞争模型x(t)=x(t)(r1-ax(t-τ)-by(t))y(t)=y(t)(r2-cx(t)-dy(t))本文将上述模型推广到非自治的N种群竞争扩散模型进行讨论.考虑如下形式的模型x·i(t)=xi(t)(ri(t)-aii(t)xi(t-τ)-∑nj=1,j≠iaij(t)xj(t))x·n(t)=xn(t)     

一类带饱和项互惠模型平衡态正解的存在性

研究了一类两个物种同时带有饱和项的互惠模型在第一边界值条件下的平衡态正解的存在性．首先用单调解的方法给出了此解的先验估计，然后利用局部分歧理论研究了在λ1-c〈a〈λ1和a〉λ1两种情况下模型分别在两个半平凡解上出现的局部分歧现象，并证明了分别在分歧点（β，0，θβ）和（b＇，θa，0）附近存在正解；最后利用全局分歧理论研究了其整体分歧，从而证明了这两种情况下模型存在平衡态正解．     

饱和传染力反应扩散方程D-SIS流行病模型渐近分析

利用反应扩散方程单调方法和不变区域理论，研究具有饱和传染力的反应扩散方程D-SIS流行病模型，证明了解的存在惟一性，得到了疾病绝灭与持续的阈值——基本再生数，分别证明了无病平衡点和地方病平衡点的全局渐近稳定性．该研究将相应常微分方程模型的研究结果推广到了偏微分方程D-SIS模型，对疾病的预防与控制具有实用参考价值．     

混沌系统的双向耦合同步

文章对混沌系统的线性双向耦合同步进行研究，通过选取适当的耦合参数，可以达到混沌系统的全局混沌同步，给出了同步原理．对物理学中的WINDMI系统，采用简单的线性耦合方式，运用双向耦合同步方案，讨论其复杂的混沌同步行为，用Mathematica软件进行仿真实验，理论分析和数值仿真结果都表明了该方法的有效性．     

高斯牛顿算法在求解广义互补问题中的应用

本文将广义互补问题转化为一个非线性方程组问题,然后建立了GCP问题的无约束优化问题的转化形式,对该优化问题,用两种步长下的阻尼高斯牛顿算法来求解,并给出了两种情况下算法的全局收敛性.     

基于本体的空间信息集成

提出了将本体的思想和方法引入到空间信息集成的思路,以解决当前地理信息系统中的各种异构问题.研究了地理本体模型的建立和表示,并在此基础上提出了一种面向空间信息集成的地理本体比较方法,其核心思想是从结构和语义两个方面对地理本体中的概念进行比较,其中从结构方面对概念进行比较主要是对概念的名称进行比较,而从语义方面对概念进行比较主要是确定在地理本体中概念之间的语义关系.     

基于本体的环境信息系统框架

为了解决环境信息学研究和应用中所遇到的数据异构、系统互操作和信息检索等问题,将信息学中本体和语义网研究领域的最新成果引入环境信息学,提出和设计了一个基于本体的环境信息系统框架。该框架以本体技术为核心,采用双层本体结构,提供语义级的信息共享和系统互操作,实现了环境信息服务和环境智能信息检索功能,具有很强的可扩展性。