(F,α,ρ,d)-凸和广义(F,α,ρ,d)-凸条件下一类多目标规划问题的对偶

对偶理论是最优化理论的重要组成部分,具有深刻的理论意义和重要的应用价值。针对多目标规划问题的对偶问题,在F-凸,ρ-凸和(F,ρ)-凸的基础上对(F,α,ρ,d)-凸和广义(F,α,ρ,d)-凸条件下的多目标规划问题进行了研究,将多目标非线性规划问题的Wolfe向量对偶,Mond-Weir型向量对偶和混合型向量对偶的弱对偶定理中的凸性条件弱化。在较弱的凸性((F,α,ρ,d)-拟凸,(F,α,ρ,d)-伪凸,弱(F,α,ρ,d)-拟凸)条件下,给出并证明了相应的弱对偶定理。通过弱化凸性条件,从而扩大了多目标规划的实用范围。     

关于余代数逻辑的研究

余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr？der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr？der所构造的函子是等价的.     

关于余代数逻辑的研究

余代数为各种各样的模态逻辑提供一致的语义框架.Lutz Schr(o)der证明了任意自函子的余代数类都有一个rank-1的公理化.反过来,每一个rank-1的模态逻辑都有一个可靠的、强完备的余代数语义.另一方面,Clemens Kupke 等提出模态逻辑可以描述成布尔代数上的自函子,并基于对偶理论研究余代数逻辑的可靠完备性.通过对偶理论重新证明了rank-1的模态逻辑都是余代数的,并且证明通过对偶理论构造出来的函子和Schr(O)der所构造的函子是等价的.     

基于对偶四元数的三维空间坐标转换直接解法

利用对偶四元数能同时描述旋转矩阵和平移向量的优势,提出一种适用于大角度的三维空间坐标转换参数求解模型。该模型解决了传统算法不适用于大旋角的问题,可以直接解算坐标转换参数,且无需迭代初始值。通过模拟数据进行仿真实验表明,该方法无需线性化,计算简便,验证了该方法的正确性与有效性。     

基于对偶四元数的不同地形无人机影像区域网平差解算方法

随着对地观测技术的发展,通过各种传感器获取的影像越来越多。无人机遥感技术以其方便、快捷、成本低、可云下飞行的优势正越来越多地运用到铁道沿线信息的获取中,为保证后续分类、信息提取、面积量算的精度,对无人机影像进行区域网平差具有重要意义。考虑到无人机影像具有像幅小、数量多、基线短、重叠度不规则等特点,将对偶四元数引入到无人机影像定向过程中,提出了一种利用对偶四元数进行无人机影像区域网平差解算的方法,并针对不同地形区域的无人机影像进行实验。实验结果表明:本文提出的算法应用到无人机影像区域网平差中,精度与常规光束法区域网平差相当,所需像控点数量及分布与常规光束法区域网平差相当,本文研究为提高无人机影像区域网平差的解算效率探索了一种新思路。     

基于路段-路口联合建模的对偶图卷积网络的行程时间估计方法

估计给定路径的行程时间在许多城市交通系统中起着重要作用，例如导航、路线规划和拼车等。然而，现有的大多数工作都侧重于对路段或交叉路口进行单独建模，这并不能准确估计行驶时间，因为交叉路口和路段作为路径的基本要素不仅各自包含多样化的空间属性和时间动态，而且它们之间还具备较强的耦合相关性。为了解决上述问题，本论文提出了一种新颖的端到端深度学习框架，即面向行程时间估计的对偶图卷积网络（DGCN-TTE）来对交叉路口和路段进行联合建模。具体来说，这个模型采用对偶图卷积方法来捕获路口和路段的复杂关系，其中构建节点图来刻画路口之间的相关性，构建边图来表征路段之间的交互特征。为了捕捉空间和时间特征的联合关系，模型中还引入了一种在捕捉时间依赖性的同时结合了从多个邻域范围内整合多尺度空间关系的时空学习模块。本论文通过对3个真实世界的轨迹数据集上的充分的实验来评估提出的DGCN-TTE模型，结果表明该模型显著优于现有的方法，评估指标相比于次优方法最多可以获得超过10%的提升。     

小波二叉分解在信号压缩处理中的应用

讨论了小波在信号压缩中由正交离散小波变换缺乏平移不变性，会对信号压缩的性能造成不利的影响。为了解决这一问题，在讨论正交离散小波变换时对每个变换尺度上均对偶采样和奇采样的奇采样的结构进行保留，从而衍生出了二叉树结构，按相应准则可确最优分解路线并 此可重构原信号，最后给出的仿具结果证实了该变换方式较正交离散小波变换在取得较高压缩能力的同时，具有更高的信噪比。     

K_(1,n)-free图有(g,f)-因子的最小度条件

讨论了图的(g,f)-因子存在问题,并给出了K1,n-free图有(g,f)-因子的一个最小度条件。     

春节,他们与钻机为伴

每逢佳节倍思亲。 春节,是我国最隆重的传统节日。过年了,忙碌了一年的人们最大的心愿就是——回家!回家与父母妻儿团聚,回家共享天伦之乐。回家,是身心的彻底回归,放下手头忙碌的工作,背起行囊,向家的方向奔去。     

利用二维活断层探测资料构建焦作地区浅层三维构造模型

运用专业地震解释及构造建模软件，综合利用焦作地区地震数据、钻孔数据、地质信息对活断层二维浅层地震剖面进行层位与断层解释，同时对断层平面组合与空间展布规律进行研究，实现地质资料与地震数据的有机结合，构建近地表Q₃地层底界面、Q地层底界面、N地层底界面分布模型和第四纪断层模型。以第四纪断层模型为基本骨架，以近地表地层分布为主要分层，模拟Q-Q₃地质体、N-Q地质体的构造形态和断层发育情况，系统反映近地表N地层底界面至Q₃地层底界面的空间结构特征。     

联合GPS和GRACE数据分析陕甘宁地区地表垂直形变

采用甘肃省CORS网和中国大陆构造环境监测网络中共48个台站的GPS观测数据，解算得到观测台站的垂直位移，并与GRACE时变重力场Mascon模型解CSR RL05M数据计算得到的垂直形变进行比较，分析区域地表垂直形变特征。结果表明，研究区内台站垂直形变存在局部特征，甘肃庆阳和平凉地区垂直形变与其他地区存在明显差异，相关系数、均方根减少量和周年信号减少量均高于其他地区；扣除趋势项后，观测台站GPS垂直位移与GRACE垂直形变时间序列相关系数均值为0.72，GPS和GRACE周年信号振幅均值分别为6.00 mm和3.70 mm，周年信号减少量和均方根误差减少量均值分别为0.51和0.29；研究区内GPS垂直位移和GRACE垂直形变时间序列一致性较强，GRACE垂直形变能有效解释50%以上的GPS垂直位移周年信号，GPS垂直位移时间序列包含的非构造形变中平均约29%来源于环境负载变化所引起的负荷形变。     

渤海与东海云雾屏障及其对遥感海洋信息有效性的研究

本文阐述了渤海与东海云雾屏障作用,使海区能见度降低,即使是中小尺度的海洋信息,历经多年的NOAA卫星监测,均已表明了无论空间分辨率或时间分辨率,能够较完整的获取这一遥感“天窗”信息则概率很低.笔者,结合渤海与东海的云雾和区域海洋特征,NOAA卫星信息的多波段、多时相特点,建立了信息需求分析模型,并示出渤海和东海海洋遥感“天窗”信息的概率排队.     

降雨对滑坡的影响与基于ANSYS的滑坡数值模拟研究

分析了四川理县一处山体滑坡2014-08～2015-08的监测数据。结果表明,滑坡处于缓慢发生中,滑移的主要方向指向山体旁的学校;1 a中3个监测点在该方向上的累积位移量分别为180 mm、262 mm和448 mm。分析降雨量资料发现,降雨对山体滑坡有延迟的影响。利用ANSYS软件对滑坡发生的过程进行数值模拟,并计算监测点的位移,结果与实际观测情况吻合较好,得到降雨量与弹性模量、密度、粘聚力、内摩擦角之间的关系。该数值模拟实验提供了一种预测滑坡的新方法。     

小波二叉分解在信号压缩处理中的应用

讨论了小波在信号压缩中由于正交离散小波变换缺乏平移不变性,会对信号压缩的性能造成不利的影响.为了解决这一问题,在讨论正交离散小波变换时对每个变换尺度上均对偶采样和奇采样的结果进行保留,从而衍生出了二叉树结构,按相应准则可以确定最优分解路线并由此可重构原信号,最后给出的仿真结果证实了该变换方式较标准正交离散小波变换在取得较高压缩能力的同时,具有更高的信噪比.     

我骄傲,我是国土资源人

在广袤的蓝天下和丰硕的收获里 我脚踏着最厚重的土地 在深深的地壳中和劳动的汗水里 我寻找着资源的踪迹 遇到荣誉我从不沾沾自喜     

新经济时代的地球信息科学

扼要介绍近15年来,中国在空间数据采集和数据挖掘方面的新进展。提出地球信息科学面对知识创新,迎接新经济挑战与机遇的思路。特别探讨了有关地学信息图谱的新概念。     

“数字南海”空间关系数据库模型及传输协议设计与实现

数字地球是当前网络G IS领域的研究与开发热点之一,其中,大量的空间数据在空间数据库中的组织和存储,以及在网络上的传输是数字地球系统中的两个重要技术。本文通过"数字南海"的开发实践,从国家信息安全角度出发探讨了自主设计与研发空间关系数据库模型和网络传输协议的若干技术方法。提出了以面向对象的ORM源模型设计空间数据库概念模型,以擅长语义表达的IDEF1X模型设计空间数据库逻辑模型和以关系数据库实现空间数据库存储模型的技术方案。并运用异步非阻塞套接字和多线程等技术在TCP/IP网络传输协议上,设计并实现了空间数据应用传输协议,使得空间数据在数字地球的客户端三维显示系统与服务器端的空间数据服务器系统之间能够高效安全地传输,实现Google Earth类似的操作功能,包括空间数据的流式传输和渐进式传输等,适应了数字地球的要求,并保证了空间数据的安全性,可为我国数字地球系统的自主开发与研制提供参考和借鉴。     

基于MapReduce的空间敏感性分析并行算法设计

近年来,随着遥感空间数据广泛应用于生态系统,推动了区域尺度生态遥感参数模型的发展。敏感性分析对识别模型关键参数,降低模型不确定性和完善模型具有重要作用。区域尺度的生态遥感参数模型,在进行模型参数敏感性分析时,由于涉及到空间数据的复杂运算,单机环境无法满足快速分析的要求。为了提高生态遥感参数模型空间敏感性分析效率,本文以青藏高原为研究区域,利用植被光合模型VPM(Vegetation Photosynthesis Model)和开源云计算平台Hadoop,设计和实现了基于Sobol′的生态遥感参数模型空间敏感性分析并行算法,并在实验室集群环境下进行算法分析,验证了算法的有效性和适用性。该算法的核心是利用MapReduce并行编程技术,对空间敏感性分析中的地图抽样和模型迭代过程进行任务分割,将分割后的子任务分配至不同的计算节点进行并行计算。实验表明,本文提出的并行策略,能有效缩短地图抽样和模型迭代计算时间,相比于单机算法,并行算法的运行速度提高了14倍左右。     

基于自然语言空间关系描述的地图近似表达方法

自然语言和地图都具备表达地理实体空间关系的能力,自然语言使用方便、抽象化程度高,而地图更为直观,从自然语言转换到地图,有助于人们更深入地了解自然语言描述的地理实体空间关系。然而,如何让计算机具有从自然语言构建图形信息的能力,使计算机具有智能化空间认知思维是当前研究的难点。本文总结了自然语言空间关系描述的类型及特点,提出了基于自然语言描述的地理实体抽象表达方法以及空间关系近似转换方法,建立了一种基于自然语言空间关系描述的地图近似表达策略。实验结果表明,本文方法有效可行,能够实现定性描述的自然语言空间关系向定量（或近似定量）的图形空间关系的转换,为自然语言到地图的转换研究奠定了基础。     

创新地理信息服务模式,打造网络地理信息服务民族优秀品牌

"天地图"是国家地理信息公共服务平台建设取得的重要成果。它的开通标志着国家测绘地理信息局在转变测绘服务方式、提升测绘服务能力、推进地理信息产业发展方面迈出了至关重要的一步。"天地图"的建设采用了集成技术创新、服务模式创新、组织实施模式创新等策略,有效地利用、集成和优化各种资源,产生了集成效应。"天地图"刚刚起步,距满足用户需求还有很大距离。国家基础地理信息中心将在国家测绘地理信息局的领导下,大力丰富信息资源、提升服务能力,推进社会化应用,力争早日将"天地图"打造成为具有国际影响力的民族品牌。