测量误差的概括分布

本根据Lp估计与极大似然估计原则,导出了用参数p来表达测量误差分布的一族指数分布--称为概括分布的密度函数,此分布可全面地概括诸如正态分布、拉普拉斯分布和均匀分布等典型分布,可把多种分布统一为一个形式,达到理论上的进一步概括与总结。     

秩亏自由网的一种直接算法

文中在分析原有的秩亏自由网平差方法的基础上,给出了秩亏自由网的一种直接解法,它不需要组成法方程式,就可以得到与其它解法完全相同的解L和X。     

自适应LMD融合新小波阈值函数的信号去噪

针对非线性非平稳信号的去噪问题,基于LMD分解噪声的特征,并融合自适应寻优函数,提出了一种基于局部均值分解新小波阈值函数去噪方法。通过仿真信号和实测工程信号验证,比较EMD滤波、Harr小波、LMD滤波和LMD-新小波阈值函数4种算法的信号去噪效果,并采用3种评价因子对各种算法的去噪效果进行评价。结果表明,文中提出的LMD-新小波阈值函数方法能够基于白噪声分解特征,充分发掘数据本身所蕴含的物理机制和物理规律,融合新阈值函数,相比于其他传统方法在信号去噪方面效果较好。     

空间数据线要素综合的经典算法及其实现

随着地图学家们的不断深入研究,已产生出各种新的地图综合算法,而线要素的综合算法是地图综合的最重要的算法,其中的经典算法且具有代表性的有Douglas-Peucker算法和Li-Openshaw算法。对两种算法进行了比较分析,论述了其在VC环境下具体的实现方法。     

LTE小区间漫游安全性研究

通过对E-UTRAN（演进型UTRAN）架构及3GPP LTE区间切换方式的分析,指出切换中可能存在的安全缺陷,即存在伪冒UE攻击与重放攻击,使得UE与源基站、UE与目标基站之间的认证正确性不能保证。由此,文章提出了一种改进方案来克服伪冒UE攻击与重放攻击,并分析了该改进方案的安全性。     

IEEE 802.11i基于Kerberos架构认证的形式化分析

形式化方法对安全协议的分析有着无可替代的优势,串空间模型又是众多形式化方法中有良好扩展性的方法之一。利用串空间模型对IEEE 802.11i的认证方式中基于Kerberos架构认证进行了机密性和认证性证明,并得出其安全性可靠的结论。最后也提出了形式化方法的不足之处和未来研究方向。     

数字地图质量的模糊综合评价

本文基于模糊数学的综合评判原理, 阐述了数字地图的质量评价方法,用此方法得到的结果较为合理、可靠,使得数字地图产品的质量检验过程具有定量化、标准化、合理化。     

标度总体最小二乘的迭代解法

针对标度总体最小二乘解算问题,应用测量平差中的构造拉格朗日条件极值的方法,推导了标度总体最小二乘的迭代逼近解算公式,通过与奇异值分解法分析比较,论证了2种解算方法具有等价性与一致性。     

大坝变形监测数据异常值检验与分析

大坝安全监测资料中可能存在一些异常测值.这些异常测值对大坝结构性态评价和大坝安全监控会产生较大影响,必须进行判断和处理.介绍了狄克松判别法和格拉布斯判别法,并对某水电厂监测数据进行了实例分析.结果表明:狄克松判别法和格拉布斯判别法对于大坝安全监测数据中有个别异常测值的情况都可以进行检验和定位.大坝变形受很多因素的影响,其异常观测值不一定就是粗差,可能包含有其他方面的信息,因此对发现的异常值需要进行综合分析.     

自由网的奇异值分解算法

本文在分析自由网解算方法的基础上,探讨了矩阵的奇异值分解和广义逆矩阵的关系,证明了奇异分解和广义逆矩阵的关系,推导了应用奇异分解进行自由网平差解算的公式,给出了加权情况下自由网平差的奇异值分解解算。最后通过算例进行了解算,验证了方法的正确性和合理性。通过奇异值分解分析可以看出矩阵分解在测量平差解算中的特殊作用,揭示了矩阵分解和平差计算的关系。