打开网络信息资源的金钥匙——百度搜索引擎

阐述了网络搜索引擎在网络信息资源利用中的重要作用,重点介绍了百度搜索引擎的常用搜索技巧与其他一些比较实用的搜索技巧。     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题,提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段,以此片段为基准,将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算,将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低,得到优化方案.实验结果表明,基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间,并能保证假阳率和假阴率都为零.     

求解非凸函数优化问题的修正广义拟牛顿算法

对无约束最优化问题,提出了一种修正的广义拟牛顿算法,证明了该算法对非凸函数在Goldstein非精确线搜索下具有全局收敛性．     

一类多孔介质抛物型方程组解的渐近性态

为了描述物理学中多孔介质力学、流体力学、气体流量等问题3种介质的反应扩散问题,研究了一类具有3个变量耦合且同时具有加权非局部边界和非线性内部源的多孔介质抛物型方程组解的渐近性态,打破常用的第一特征值等构造上下解的方法,而采用常微分方程方法构造了该方程组的上、下解,引用比较定理,证明得到了由幂函数和指数函数完全耦合的一类抛物型方程组解的存在及爆破问题,在推广了已有的结果的基础上,为多孔介质及流体力学等问题提供理论支持.     

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

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

具有脉冲预防接种的SIQR流行病数学模型

讨论了一类具有脉冲预防接种且传染率为双线性的SIQR传染病模型.在脉冲预防接种下,分析了无病周期解的存在性和全局渐近稳定性.     

采用WOLFE搜索的BFGS—SQP算法

X.Chen给出了一个用于解决LC^1线性约束优化问题的BFGS－SQP算法,这个算法是用Armijo线性搜索原则来求步长的。采用Wolfe线性搜索原则来替代该BFGS－SQP算法的Armijo原则,经过类似的分析,同样得到了BFGS－SQP算法的全局收敛性及超线性收敛性。     

高层混合结构地震整体损伤指标研究

首先基于模态参数,给出高层混合结构在四个损伤状态下的最终软化指标;然后用非线性分析软件CANNY对9个不同结构参数高层混合结构模型进行了近500次不同地震动作用下的非线性时程分析,建立了最大层间位移角与最终软化指标及结构参数之间的关系,以及最大层间位移角和最大总位移角之间的关系;并结合Pushover分析,提出了高层混合结构基于变形和能量的双参数损伤指标,最后通过一高层混合结构的模拟地震振动台试验对建议的各损伤指标量化值进行了验证.     

一类非线性优化的Canonical对偶函数

研究如何获取球体约束下非线性优化的全局最小点.通过引入常微分方程和构造Canonical对偶函数的局部形式,引入了相应的对偶定理,勾勒出了原问题的KKT点和对偶问题的KKT点两者之间的关系.给出了凸乘子定义,对偶定理和搜寻全局最优点的方法,并通过一些例子加以演示.     

含一个食饵和两个竞争捕食者种群模型解的整体性态

讨论一类含一个食饵和两个竞争捕食者种群模型解的整体性态.首先讨论该模型解的整体存在性和一致有界性,然后运用线性化方法和Lyapunov函数方法讨论该模型非负平衡点的局部渐近稳定性和全局渐近稳定性.