对于初等多值函数问题的研究

首先研究了辐角函数的一些性质,进而对对数函数的多值性进行了分析,最后讨论了多值函数的应用问题.     

基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

基于自适应初始搜索点预测的目标跟踪算法

为了得到恰当的初始搜索点以使得目标跟踪算法避开背景干扰并缩短搜索距离,提出了一种自适应初始搜索点预测的算法。该算法通过对坐标变换参数的变化率进行Kalman滤波来更好地预测初始搜索点;更重要的是,该算法有效地在线估计Kalman滤波器中的模型噪声功率,而非先验地对它们的取值做出假设,因而能够在没有任何人工干预的情况下动态地根据不同的目标运动状况和搜索精度进行实时调整。大量实景视频流上的实验结果均证实了该算法显著提高了跟踪稳定性,并且大幅降低了计算量。     

Ck-Banach(k≥1)流形之间非线性映射的局部线性化

在参考文献[1]中,给出了Banach空间之间非线性映射的局部线性化定理,本文将上述结果进行推广,考虑Ck-Banach流形之间非线性映射局部线性化问题.     

Lidstone边值问题多个单调正解的存在性

对含有各阶导数的2m阶微分方程:y(2m)(t)=f(t,y(t),y′(t),…,y(2m-2)(t),y(2m-1)(t)),t∈(0,1),y(2i+1)(0)=y(2i)(1)=0,0≤i≤m-1,其中(-1)mf:[0,1]×R2m→[0,∞)是连续的。笔者首先给出方程的Green函数及其一些性质,并赋予f一定的增长条件,利用5个泛函的不动点定理,然后给出上述边值问题的3个单调正解的存在性。     

尾矿坝振动实验数据样本容量的优化研究

针对铀尾矿坝振动实验逸出氡累积浓度数据样本容量设计的主观性,本文基于偏向角绝对值均值递减还原逸出氡累积浓度曲线,采用随机起点等距抽样方法,得到不同样本容量的数据子集;通过曲线拟合和样本决定系数度量不同子集对还原实验数据集的代表能力。在保障实验研究精度条件下,得到使实验成本较优的最小样本容量,实验结果表明在样本决定系数大于0.98时,优化后样本容量为实验数据样本容量的10%以下。     

有限个一致李普希兹渐近拟非扩张映像强收敛定理

在任意Banach空间中,给出了有限个一致李普希兹渐近拟非扩展映像强收敛于其公共不动点的问题,此结果推广了以前的结论.     

具有常余维数2k+2k-2不动点集的(Z2)k作用

设(Z2)k作用于光滑闭流形Mn,其不动点集具有常余维数r,Jn,kr是具有上述性质的未定向的n维上协边类[Mn]构成的集合.Jn,kr=∑n≥rJn,kr为未定向上协边环N*=∑n≥rNn的理想.通过构造上协边环N*的一组生成元决定了理想J2k 2k-2*,k.     

数学分析中的不动点问题

讨论了数学分析中的几个不动点问题,给出了它们在数学分析中的某些应用.     

求解P*τ阵线性互补问题的高阶宽邻域内点算法

对P*(τ)线性互补问题提出了一种高阶宽邻域内点算法,在算法的每步迭代过程中,基于线性规划原始-对偶仿射尺度算法的思想来求解一个线性方程组,得到迭代方向,再适当选取步长,得到算法迭代的多项式复杂性.