一般正项几何规划问题的一种直接算法

本文将一般的正项几何规划问题化为等价的目标函数为线性函数，具有线性等式和非线性不等式约束条件的非线性规划问题，进而给出了一个具有全局收敛性质和特殊结构形式的广义投影梯度型算法。     

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

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

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

广义不确定系统的鲁棒镇定方法

针对范数有界的广义不确定线性系统，得到了广义二次可镇定的充要条件，并设计了相应的鲁棒镇定状态反馈控制律。     

基于GIS和GPS的交通状态参数估计仿真分析

在行程时问参数估计的模型和方法研究的基础上，探讨了地理信息系统（GIS）环境下仿真出租车全球定位系统（GPS）信息的系统实现和关键技术．提出了系统评价的指标，包括信息的准确性、信息的及时性、信息的广泛性和信息成本等，对路网连通性拓扑结构的构建、GPS坐标与城市平面直角坐标的转换模型以及仿真过程中的关键问题给出了解决方法．应用开发的GPS交通仿真系统进行了模拟试验的计算结果表明，提出的模型和方法是可行的和有效的．     

具有离散时滞的非自治扩散的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模型，对疾病的预防与控制具有实用参考价值．