InSAR相位解缠算法的分析评价

相位解缠是合成孔径雷达干涉测量技术（InSAR）数据处理过程中的关键步骤,相位解缠算法的选取关系到InSAR最终成果数字方程模型（DEM）或者形变量的精度。介绍了相位解缠的基本原理,利用基于路径跟踪、最小范数和网络流思想的8种解缠算法对加拿大魁北克地区合成孔径雷达（SAR）干涉图进行相位解缠,通过不同的评价指标对解缠结果进行了评价比较。实验结果表明：Flynn最小不连续法、最小Lp范数法和Snaphu网络流法具有较好的稳定性和适应性。     

卡尔曼滤波在InSAR噪声消除与相位解缠中的应用

相位解缠作为InSAR技术中的关键步骤,一直是研究的难点和热点。通常的相位解缠方法在相位解缠前首先必须进行噪声消除,而卡尔曼滤波将相位解缠问题转化为状态估计问题,实现了相位解缠与噪声消除一并处理,成为一种相位解缠新途径。并提出了卡尔曼滤波在相位解缠与噪声抑制中的一种新算法。     

华北型煤田岩溶陷落柱侧壁厚壁筒突水模式研究

岩溶陷落柱作为一种特殊地质体,在华北型煤田广泛发育和分布,本文就华北型煤田岩溶陷落柱侧壁厚壁筒突水模式及判据进行了研究,这对华北型煤田煤矿安全生产有着重要意义。     

基于先验知识的GIS路径寻优算法

针对地理信息系统中特定的两点路径寻优问题,提出了一种基于先验知识的快速搜索算法。该算法模拟人脑寻找路径的思维过程,首先针对实际问题建立先验知识库,在路径搜索过程中,利用知识库中的信息剪去不可能的搜索路径,构造出简化的查询树,从而大大提高最优路径的搜索速度。     

煤矿采掘工程平面图自动绘制系统研究

采掘工程平面图是煤矿生产必备的基础资料之一,而春绘制目前牌手工阶段。为了实现煤矿矿山测量的标准化和自动化,本文讨论了采掘工程平面图的自动绘制系统的设计,并以ＡｕｔｏＣＡＤ为平台开发研制了采掘工程平面图自动绘制系统。     

硬土—软岩工程地质信息管理分析系统及其应用

在中国大规模的工程建设实践中,人们积累了大量与硬土-软岩有关的工程经验和测试数据,总结这些测试结果并用现代计算机技术进行自动化管理是十分必要的,作者以中国科学院地质与地球物理研究所工程地质力学开放研究实验室多年来的室内试验结果为基础,研制开发了“硬土-软岩工程地质信息管理分析系统（HRGISM）”软件,实现了岩土工程地质信息资源管理的自动化和可视化,并在信息管理的基础上强化了试验数据分析和工程特性预测功能,本文简要地介绍了HRGIMS系统的主要功能和实际应用。     

车载智能地理信息查询系统及其自然语言接口

车载地理查询系统涉及到多方面的软、硬件技术和数据来源；本文提出了车载系统所需具备的主要功能，并对其中所需解决的关键问题进行了讨论。特别是针对如何使车载系统具备一定的智能问题，提出了将自然语言和空间查询语句结合，构造模式库，在自然语言识别处理的基础上，完成自然语言空间查询的方法。     

非线性参数平差的一个新途径

在分析顾及一阶偏导致的非线性参数平差的近似直接解法与迭代解法基础上,提出顾及到二阶偏导数的非线性参数平差的一种新的计算公式。由于非线性度量曲率立体阵的引入,使得平差计算公式表达简洁,而且便于非线性平差本质的分析。最终算例分析说明该方法的有效性及实用性。     

非线性观测值函数的协方差和协因数传播及其权倒数

将非线性观测值函数在其近似值处泰勒级数展开，取至二次项，得到线性－二次项形式。利用线性空间［Ｌ，Ｑ］＾Ｎ的概念和性质，将它表示成［α，β］的向量形式。定义广义协方差算子和广义协因数算子，导出了线性－二次项的非线性观测值函数的广义协方差和广义协因数传播律。在此基础上，给出了非线性平差值函数和未知数函数的权倒数公式。     

InSAR与概率积分法联合的矿区地表沉降精细化监测方法

结合InSAR与概率积分法的优势,提出一种InSAR和概率积分法联合进行矿区地表沉降的精细化监测方法.该方法首先计算InSAR时序累积沉降盆地,进而建立判别大梯度形变的约束条件,区分沉降边缘与沉降中心.对于形变较小的沉降边缘,保留InSAR结果,而对于大梯度沉降中心,则结合InSAR与概率积分模型建立矿区工作面的沉降盆地,并通过空间插值,获取地理坐标系下连续的地表沉降信息,最终得到完整的矿区地表沉降结果.论文以山东某矿区为研究区域,采用2016年10月16日 2018年3月4日期间的21景SAR影像和工作面水准实测数据对该方法的可行性和精度进行了验证.结果 表明,该方法能够在减少水准监测工作量的前提下,获得与实际情况相吻合的沉降结果,其监测能力明显优于常规InSAR和概率积分法,可有效弥补两种技术单独在矿区地表沉降监测中的不足,获取更为准确、可靠的矿区地表沉降信息.