Banach空间中二阶非线性脉冲微分方程初值问题解的存在性

利用Monch不动点定理和分段估计方法,结合Gronwall不等式,研究了Banach空间中一类二阶非线性脉冲微分方程初值问题解的存在性。将该问题转化为等价的一阶非线性脉冲积分方程,在较弱的非紧性条件和先验估计条件下,获得了其解的存在性充分条件,改进和推广了相关文献的结果。     

从文献分析看我国对搜索引擎研究的现状和热点

基于搜索引擎发明16年来(1994-2009)有关搜索引擎研究论文的数据统计,利用Spss快速聚类等方法分析了论文的时间序列分布、登载期刊分布、作者分布;同时通过关键词使用频率的统计分析,挖掘出搜索引擎技术和信息检索技术方面的研究热点,并对其进行总结。     

具有时滞的二阶微分方程三点边值问题三个正解的存在性

研究了一类具有时滞的二阶微分方程三点边值问题。在构造新函数空间和新泛函的基础上,利用分析技巧和Avery Peterson不动点定理得到了该边值问题存在三个正解的充分条件,推广和完善了已有的结果。     

基于ASIFT的医学图像配准算法

对ASIFT算法的原理进行了分析,针对医学图像配准鲁棒性强、准确性高和低耗时率的要求,设计出基于ASIFT的医学图像配准算法。该算法首先通过ASIFT算法提取图像特征点,接着用欧式距离筛选出匹配的特征点,最后实现参考图像与浮动图像之间的配准。该算法较好地解决了其他同类型算法中存在的提取的特征点数量少、特征点匹配的精确度不高、不能对扭曲变形的仿射图像配准等问题。实验结果表明,该算法不仅提高了配准的精确度和准确性,也提高了配准的稳定性和可靠性。     

热管空气预热器改造设计,制造及使用分析

通过在含尘烟气流环境下工作特性的分析,指出发展锅炉热管空气预热器研究的意义。在热管研制中探索了解决工质－管材相容性问题的综合措施及动态蒸汽钝化方法;探讨了热管传热性能的分析计算。换热器的整体设计以传热负荷和允许阻力为目标函数进行各种方案的优化选择。     

零级代数体函数涉及重值的Borel点

证明了单位圆内一类零级代数体函数存在涉及重值的Borel点．     

一类椭圆方程弱解的存在性问题

研究一类椭圆方程弱解的存在性。获得了一个弱解的无界序列的存在性定理。其中Ω包函R^n是具有光滑边界的有界开区域。主要结果改进和发展了前人的一些相应结果．     

Sharp增广拉格朗日函数的局部鞍点

对于约束优化问题,证明了局部鞍点就是局部最优解,利用泰勒展开公式证明了sharp增广拉格朗日函数在二阶充分性条件下,局部鞍点的存在性,从而保证了原问题和对偶问题的局部最优值相等.     

广义均衡和不动点问题的迭代算法

运用粘滞迭代方法,提出一种寻求2个广义均衡问题解及无限多个非扩张映像不动点集的公共元的新的迭代格式,在Hilbert空间中,证明了该算法的强收敛性,推广和改进了相关的结果.     

框筒结构的简化分析模型

将楼层整体变形分为剪切变形和弯曲变形,用壁式框架D值法和等效连续体法,对在侧向荷载作用下框筒结构进行简化分析.在考虑翼缘框架对剪切变形影响的前提下,应用壁式框架D值法对整体剪切变形进行分析;在考虑剪力滞效应的前提下,用等效连续体法推导剪力滞系数,分析整体弯曲变形.算例结果表明,简化计算与空间框架计算的结果接近,各柱轴向应变的误差在2%～8%之间,水平位移误差在10%之内.