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

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

基于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模型，对疾病的预防与控制具有实用参考价值．     

一类退化反应扩散方程组解的整体存在性与有限爆破问题

研究一类非局部退化反应扩散方程组初边值问题.利用上下解方法,通过精细的分析,得到了解整体存在和爆破的条件.     

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

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

一类拟牛顿算法的收敛性

根据一类基于新拟牛顿方程Bk 1sk=yk*的修改BFGS类算法,采用广义W olfe线搜索模型(GW搜索模型):f(xk 1)≤f(xk) δkαgTkdk和g(xk 1)Tdk≥m ax{,σ1-(kα‖dk‖)p}gTkdk,其中0<δ≤σ<1,p∈(-∞,1),得到一类修正的BFGS算法(M BFGS),证明了M BFGS算法的全局收敛性和超线性收敛性.数值试验结果表明M BFGS算法是有效的.     

非线性离散竞争系统的全局稳定性

考虑一类非线性离散的Lotka-Volterra竞争系统,通过构造适当的Lyapunov函数,得到了保证该系统全局渐近稳定的充分性条件,并给出该结果在一类二维竞争系统中的应用.     

环境质量评价中的主成分分析与全局主成分分析方法

给出在环境质量评价中对即时性平面数据的主成分分析方法与对多维动态数据系统的全局主成分分析方法,着重介绍了对时序立体数据表进行立体式的综合与简化,并应用于具体的实例,得到很好的结果.这两种方法对环境质量的评价和治理工作都有积极的指导作用与重要的应用价值.