实空间重正化群中的组合变换

本文提出两种组合变换,对二维方格上的伊辛模型作了实空间重正化群变换,计算结果与精确结果相近。     

序列弱收敛的特征

本文在Schauder基存在的假设下,讨论了Banach空间中序列弱收敛的性质,自反Banach空间中序列弱收敛的等价条件,给出了Banach空间中序列弱收敛与强收敛等价的一个充分条件。     

混合条件下的哈密尔顿系统周期解的存在性

本文利用鞍点定理得到了二阶哈密尔顿系统{ü(t)+▽F(t,u(t))=0,■t∈R,u(0)-u(T)=u(0)-u(T)=0,T0在带有混合条件时的周期解的存在性,推广了已有结果.     

二阶奇异非线性特征值问题正解的存在性

本文讨论了含一般微分算子的二阶奇异微分方程在Sturm-Liouville边值条件下的正解的存在性.通过将非线性项f在原点及无穷远处的增长性分为9种情形,本文运用锥拉伸与压缩不动点定理获得了问题无正解、至少有一个正解及至少有两个正解存在时参数λ的取值范围.     

二阶三点边值问题对称正解的存在性及多解性

本文运用Krasnosel'skii不动点定理方法研究了三点边值问题{u″(t)+a(t)f(t,u,u′)=0,t∈[0,1],u(0)=u(1)=αu(η)对称正解的存在性和多解性,这里α∈(0,1),η∈(0,1),f:[0,1]×[0,∞)×(-∞,∞)→[0,∞)连续,且对任意(u,v)∈[0,∞)×(-∞,∞),f(·,u,v)在[0,1]上对称.     

JM模型缺陷排除假设的修改及参数估计

JM模型是软件可靠性模型中影响较大者之一,它假设缺陷排除是完全的,后人对此模型提出了种种修改和补充,但没有从本质上解决问题.本文对此假设提出自己的观点,并给出了置信限及其证明.     

红外图像序列中机动点目标的快速检测技术

本文针对红外自动寻的末制导系统提出了一种适合于检测星空背景下的远距离点目标的快速算法,它可用于检测静止不动、匀速运动和机动运动的点目标。该算法通过构造一个关于3D空间中数据集的轨迹表达的总代价函数将点目标轨迹提取问题转化成为总代价函数对目标参量的最优化问题,通过迭代算法实现这个最优化,文章证明了算法的收敛性,并估算了该检测算法的检测性能,实验表明该方法适合于小SNR时的点目标检测。     

从因AGC受损的红外图像中计算点源能量比

通过分析光学系统的特性,利用点扩展函数,提出了用图像斑点的几何尺寸推算红外点源辐射强度比的方法。通过本方法对多帧因自动增益控制和成像设备饱和而受损的红外图像分析表明,红外辐射强度比的计算值和理论值是吻合的,证明了该方法的有效性。     

点在八个卦角中的投影分析

介绍了空间任意一点在由三投影面体系所构成的八个卦角中的投影特点．即正投影、水平投影和侧投影分别在八个空间区域中的投影，并且举例说明其投影的求作方法，同时也指出了八个区域中的投影的异同．     

五年制高职学生思想教育与党建工作的着力点——高校实施“党建绿化工程”研究课题报告

在对五年制高职学生思想政治工作状况进行调研分析的基础上,本文提出要认识教育对象的特殊性,把握五年制高职学生思想政治教育和党建工作的着力点。