基于时钟偏差模型的GPS不完整星座定位方法

为使GPS接收机在卫星星座不完整情况下仍能定位,提出采用接收机时钟偏差模型辅助接收机定位的方法.将模型预测的时钟偏差引入伪距线性化定位解算方程中,保证了在GPS星座不完整时仍能给出接收机的位置.基于GPS实测数据的验证分析表明,该方法的定位精度在标准误差范围内.同时,该方法具有计算简单、有效可行的特点,可以方便地嵌入到GPS接收机中.     

一类基于比率的Holling-(n+1)型捕食系统的定性分析

考虑了一类基于比率的Holling-(n+1)型功能性反应函数的捕食者食饵系统,得到了系统耗散和各类平衡点全局渐近稳定的条件.     

加权空间中随机部分耗散系统吸引子的存在性

利用随机分析和泛函分析为丁具研究加权空间中随机部分耗散系统的动力学行为.首先证明系统解的存在唯一性,并对这个解进行先验估计,通过论证得到系统吸收集的存在性;然后利用方程解的"尾部"在时间t足够大时任意小的性质讨论渐近紧性;最后证明系统全局吸引子的存在性.     

一种基于分级评分机制的搜索引擎构建

针对当前数据搜索实现方式存在的不足,提出了一种基于分级评分的搜索机制,并使用.NET2.0框架相关技术实现了一个基于该机制的搜索引擎。     

基于比率的三种群生态模型的建立及其稳定性

建立了基于比率的地下植物、地上植物、食草动物3种群生态模型,采用微分方程稳定性分析方法,对系统的稳定性进行了分析,讨论了系统边际平衡点的稳定性,并证明了这个系统正平衡点的存在性及其全局稳定性.     

一类非单调修正DY共轭梯度法

研究了一类非单调线搜索修正DY法,在适当的条件下,对一般非凸函数,证明了在新给出的非单调线搜索下修正的DY共轭梯度方法的全局收敛性,数值结果表明了该算法的有效性。     

一类非线性系统分岔混沌拓扑结构与全局复杂性

为了分析非线性系统在临界点附近的动力学行为,基于稳定性理论,讨论了CHEN系统平衡点的稳定性、局部拓扑结构及其全局复杂性.当2c-a≤0时,系统唯一的平衡点P=(0,0,0)是渐近稳定的;当2c-a>0时,系统有三个平衡点P和P±,且P是不稳定而P±是稳定的.系统在2c-a=0时产生分岔,其稳定的结点分岔出一双曲鞍点和两个稳定的汇,这就是Pitchfork分岔,可见在2c-a≤0变化到2c-a≥0时,吸引集A.从单点集变成为连接P和P±的两异宿轨道的并.同时给出了参数平面上的转迁集,这些转迁集将参数平面划分为不同的区域,在各个不同的区域对应于不同的解.系统随着参数的变化,从平衡点分岔出周期解.     

一类具功能性反应的捕食系统的定性分析

对具功能性反应的捕食与被捕食者两种群模型：x=x（a-bx）-kxy,y=y（-d＋ckx）。运用定性分析的方法,分析了该系统平衡点的稳定性态,证明了该系统存在鞍结点分支及平衡点的全局渐近稳定性,得到了该生态系统持续生存和捕食者种群走向绝灭的充分条件。     

重力式抗滑挡墙最优截面的模式搜索法

在满足安全要求的前提下,为了减少重力式抗滑挡墙的材料用量,降低工程造价,以抗滑挡墙的几何参数为优化变量,以截面面积为优化目标函数,在满足抗滑移、抗倾覆和地基承载力等约束条件的基础上,建立了重力式抗滑挡墙的优化模型,并用Hooke-Jeeves模式搜索算法求解,并编制了优化设计程序.通过对某抗滑挡墙的优化分析,结果表明:采用本文方法对重力式抗滑挡墙进行优化,在满足安全的条件下可以明显的降低工程费用,在滑坡治理工程中具有一定的实用价值.     

一类时滞非线性动力系统的全局指数稳定性

研究一类具有时滞的非线性动力系统的全局指数稳定性.在时间滞后连续且有界的条件下,通过分析具有时间滞后的微分不等式的稳定性,构造适当的向量李雅普诺夫函数和利用M-矩阵的性质,得到了该类动力系统全局指数稳定的一个充分条件.