GPS大地高转换为正常高的新方法

在对分形几何理论及应用分析和研究的基础上,考虑到似大地水准面是一个不规则的曲面,用传统的欧氏几何模型去拟合,必然会抹杀它的不规则变化．因此,本文率先提出并引入用分形插值曲面函数拟合高程异常,构建GPS大地高转换为正常高的新方法．本文论述了分形插值曲面的原理,分析了分形插值曲面的计算公式,讨论了分形插值曲面的维数估计方法和公式,用实际数据进行了分形插值曲面拟合高程异常的数值分析以及与二次多项式曲面拟合模型结果的比较．实例计算结果表明,分形插值曲面函数拟合高程异常的精度明显优于二次多项式曲面．     

一类含积分边界条件分数阶微分方程解的存在性和唯一性

研究一类含积分边界条件非线性分数阶微分方程{~CD~αu(t)+f(t,u(t))=0,2α3,0t1, u(0)=u″(0)=0,u(1)=λ∫10u(s)ds,0λ2,解的存在性和唯一性,借助于Green函数的性质,利用Schauder不动点定理和Banach压缩映射原理,得到该边值问题解的存在性和唯一性定理,并举例验证所得结论的有效性.     

求解多背包约束下下模集函数最大值的近似算法及其性能保证

将部分穷举法与贪婪算法相结合,给出求解多背包约束下非减下模集函数最大值的近似算法．证明了该算法的性能保证是1-e^-1,算法的时间复杂性为O（3n^4）．     

采用熵函数法的多传感器空间配准算法的研究

针对传感器空间配准问题,提出了一种基于滑窗法的极小化极大熵函数的传感器空间配准算法。该算法使用熵函数作为优化准则,根据传感器的量测模型推导出关于传感器系统偏差的目标函数,然后借助极大熵函数的思想,将目标函数的绝对值转化为对应的极大熵函数,并且使用拟牛顿法求得的极大熵函数的解作为传感器系统偏差的估计值。在单目标跟踪场景和多目标跟踪场景下,与传统传感器空间配准算法在相同的仿真条件下进行对比,仿真结果表明,所提算法能够有效地提高传感器距离量测和角度量测系统偏差的估计精度,从而实现高精度的空间目标跟踪。     

分数阶微分方程积分边值问题正解存在性

为考察一类非线性分数阶微分方程在积分边界条件下正解的存在性,利用格林函数和Guo-Krasnoselskii不动点定理,研究了分数阶微分方程积分边值问题的正解,并得到了积分边值问题至少存在一个正解的判别准则.结果表明:这类分数阶微分方程边值问题的正解具有存在性,所得的结论丰富了分数阶微分方程正解的存在性的研究成果.     

基于Labview的相关分析的实现

提出了基于美国NI公司Labview虚拟仪器软件开发工具,利用Labview中的AnalyzeSignal Processing Time Domain函数模板提供的计算互相关与自相关函数,并对labview的相关函数进行了修正,开发虚拟数字式相关测量仪,并通过典型的信号对该分析仪进行仿真试验。     

关于Smarandache函数LS（n）均值研究

著名的Smarandache函数S（n）定义为：对于任意正整数n,存在最小的正整数m,使得n｜m,即：S（n）=min{m：n｜m,m∈N},本文利用初等及解析方法,研究了LS（n）的均值分布性质,否定了美籍数论专家F.Luca教授提出的一个猜想。     

多机电力系统电压静态稳定性的特征结构分析法

给出了电压稳定性的分类与定义，提出了一种新的多机系统电压静态稳定性的特征结构分析法。该方法不仅可以给出系统静态电压稳定裕度，而且能够直接计算稳定裕度对状态变量和控制变量的灵敏度，同时能够准确地辨别潮流多值解的属性，具有计算简单快速，提供信息全面、直观的优点。     

样条配点法分析网壳结构的动力响应

基于加权残值法的概念,本文提出一种分析结构物动力响应的无条件稳定的计算格式可用于分析周边简支圆柱形网壳的动力响应问题。网壳肋杆中的内力应用拟壳法作连续化处理计算得到。文中举计算实例并与Wilson-θ法相较非常接近。文中对于本文提出的计算格式的稳定性及精度进行了讨论及检验,又通过实例进行计算,证明本文方法稳定性,精度较Wilson-θ法等常规方法较高而工作量较少。可以作为分析结构物包括网壳在内的动力响应有效方法之一。     

基于均匀B-样条的二次三角样条曲线的性质

采用均匀B-样条研究一种二次E-角样条曲线,从而得到这种三角样条曲线基函数的性质及其曲线性质．