位置服务上下文计算本体形式化实现方法

本文采用Protégé本体开发平台将五元组模型的位置服务上下文计算本体形式化,使其在JADE环境下应用成为可能。首先通过介绍位置服务上下文计算应用的国内外发展现状,引出本体形式化问题。然后应用五元组模型进行位置服务上下文信息建模。建模后抽象出的位置服务上下文计算本体符合FIPA-ACL规范,使不同的信息在Agent之间进行交换,从而实现形式化本体在计算机系统之间的交流。最后,我们将采用Protégé平台定义的ContextOntology形式化本体通过Ontology Bean Generator插件将其导出为Java类,使其在JADE平台下得以应用。     

基于笛卡尔坐标的卫星地影模型解析

卫星地影的精确计算对于卫星的电源设计、定轨和定姿等方面具有重要意义。本文通过基于地心的笛卡尔坐标系,从向量的角度描述了日、地、卫之间的几何关系,针对不同轨道高度的卫星分别利用圆柱形模型和圆锥形模型对其进出地影的时间和位置进行了解算和分析,同时给出了圆锥形模型的计算程序。     

基于大视场光学测量设备的多星观测和解算天文经纬度研究

本文提出了一种新的基于大视场光学测量设备和GPS测量点位天文坐标的方法,即测量多个星体方位角相对于主光轴方位角的增量,然后通过非线性最小二乘法解算出点位的天文坐标。采用该方法不仅可以避免讨论大气蒙气差的修正问题,而且能够满足高精度天文坐标的测量要求。     

基于便携式移动终端的虚拟地理环境协同感知问题研究

基于便携式移动终端的虚拟地理环境系统的主要目的,是提供一个便于携带、方便使用并支持多人交互合作的平台,其中用户之间的协同感知必然是多用户进行协同工作的基础。从便携式移动终端的硬件和软件构成着手,从终端到体系构建多移动终端用户虚拟地理环境体系结构,总结便携式移动终端协同感知问题自身的特点,提出基于空间感知的协同模型。     

基于网络爬虫的Web服务抓取解析器的设计与实现

随着Web服务和网络技术的发展,越来越多的Web服务得以开发并发布到网络上。由于网络上存在的Web服务相互之间没有内在的必然联系,用户很难快速有效地获取和利用这些服务。本文设计了一种Web服务抓取解析器框架,包括URL抓取器、WSDL文档解析器和用于结构化存储Web服务信息的数据库等。该抓取解析器采用网络爬虫程序对互联网中的URL进行搜索,通过搜索发现分布在网络上的Web服务,并最终建立起一个关于Web服务的信息库,为共享Web服务提供条件。     

南海北部陆坡西部海域“海马”冷泉甲烷渗漏及其海底表征

2015年3月"海马"号遥控无人潜水器(ROV)在南海北部陆坡西部海域首次发现活动冷泉,并命名为"海马"冷泉,此后中国地质调查局广州海洋地质调查局先后组织了3个航次,对"海马"冷泉开展进一步勘查和研究。本次研究在综合分析4个航次调查数据的基础上,初步阐述"海马"冷泉的分布范围、地形地貌、生物群落、自生碳酸盐岩和流体活动等特征。总体而言,"海马"冷泉区地势平缓,气体渗漏现象非常发育,是以CH4为主要气体渗漏形成的活动冷泉区,且气体渗漏活动具有时空迁移性。气体碳同位素组成表明,海马冷泉区的CH4为混合成因气,且以微生物成因为主;"海马"冷泉区发育有多种类型的化能自养冷泉生物群落,冷泉区种类丰富,目前已报道了多个冷泉生物新种。这些发现为研究南海北部陆坡西部海域天然气水合物分解及其环境效应、冷泉生物生命起源与演化和南海与印度洋及太平洋物种迁移贯通等科学问题提供重要依据。     

1990—2018年中巴经济走廊冰湖时空变化特征

中巴经济走廊是贯通南北丝路的关键枢纽。在全球变暖的背景下, 区域内冰川变化情况复杂, 部分冰川出现前进或跃动现象, 冰湖溃决的风险在不断上升, 进而威胁中巴经济走廊的建设与民生安全。基于1990—2018年Landsat TM/ETM+/OLI遥感影像, 利用目视解译方法提取了中巴经济走廊3期冰湖编目数据, 并分析了28年来该区域内冰湖的总体变化趋势、 空间异质性以及成因。结果表明： 中巴经济走廊目前共发育有2 380个冰湖, 总面积为（131.76±19.08） km², 集中分布于喀喇昆仑山脉和喜马拉雅山脉; 1990—2018年期间, 冰湖总体面积扩张速度为0.48%·a^-1, 但各个山脉不同规模冰湖面积变化差异较大。中巴经济走廊在气温和降水的共同作用下, 区内冰湖面积呈扩张趋势, 同时气温和降水变化率的空间差异使得冰湖面积变化存在空间差异; 冰川的快速退缩增加了区内冰湖溃决的风险。     

微波消解-电感耦合等离子体质谱法测定超细粒度岩石和土壤样品中的稀土元素

应用电感耦合等离子体质谱法(ICP-MS)分析岩石和土壤样品中稀土元素的含量,取样量可低至数毫克级,但200目样品粒度要求分析取样100mg才能保证代表性,导致ICP-MS灵敏度高、取样量小的优势难以得到充分发挥。本文研究了研磨方式、研磨时间、物料比对超细粒度土壤和岩石样品制备的影响,结果表明采用乙醇作为分散剂进行湿法球磨,200目粒度的土壤、岩石样品分别研磨10min和15min,土壤样品的物料比采用物料7g、研磨球500个、分散剂45mL,岩石样品的物料比选取物料5g、研磨球500个、分散剂45mL,细化程度最佳。在此条件下制备的超细粒度土壤标准物质GBW07404、GBW07447的粒径分布D_(95)可低至7.51μm、7.05μm,超细粒度岩石标准物质GBW07104、GBW07121的D_(95)可低至8.42μm、8.30μm。在硝酸-氢氟酸-过氧化氢酸溶体系中微波消解处理超细粒度岩石标准物质GBW07104,取样量减少至5mg,总用酸量减少至0.25mL,消解时间降低为25min,稀土元素的测定值与认定值基本一致,相对标准偏差在1.64%～5.21%之间。该方法用于分析其他超细粒度标准物质(GBW07404、GBW07447和GBW07121)中的稀土元素,相对误差为0.17%～6.60%,满足《地质矿产实验室测试质量管理规范》的一级标准。     

封闭系统中的白云石化作用过程及其油气地质意义——以南羌塘拗陷中侏罗统布曲组白云岩为例

南羌塘拗陷中侏罗统布曲组结晶白云岩作为盆地最优质的储层是通过埋藏成岩过程中封闭条件下的白云石化作用形成的,岩石所具有的高孔隙度与封闭系统中白云石化反应有关。根据对羌资11井和羌资12井布曲组的岩石结构分类、碳氧同位素组成及温度计算、流体包裹体均一温度等分析结果,可以认为：结晶白云岩碳同位素值分布区间较窄（2. 86‰~4. 27‰）,氧同位素值随着白云石晶体变粗（自形程度变差）逐渐偏负（-3. 27‰~-8. 17‰）,显著低于保留原始组构的白云岩,表明结晶白云岩碳源来自于先驱灰岩中的碳,其白云石化作用应是在远离大气水的封闭成岩环境中进行;结晶白云岩流体包裹体均一温度主峰值区间为90~140 ℃,且随着白云石晶粒变粗（自形程度变差）,均一温度呈升高的趋势,与氧同位素计算温度变化趋势一致,表明白云石化作用过程是在封闭的条件下进行,白云石随地热增温而生长,并非受外来流体的影响。开放系统中的白云石化作用对油气储集空间的形成没有实际意义,而埋藏成岩过程中封闭系统的白云石化是形成南羌塘拗陷优质储层最为重要的成岩机制。     

鄂尔多斯地块—扬子地块深部电性结构特征及其动力学意义

位于青藏高原东北缘的秦岭造山带在大地构造上南接扬子地块、北接华北地块,是特提斯构造域和古亚洲洋构造域的转换带。本文基于对一条起始于扬子地块,穿过秦岭造山带和鄂尔多斯地块,到达河套地堑的南北向大地电磁测深剖面的研究,探讨秦岭造山带和其北侧的鄂尔多斯地块、南侧的扬子地块之间的接触关系,以及青藏高原物质东北向逃逸等地学问题。对实测数据进行了张量阻抗分解和维性分析等工作,并对剖面进行了二维反演,获得岩石圈电性结构模型。根据电阻率模型认为:在秦岭造山带北部发现大规模"瓶颈状"分布的低阻异常体(C2),可能为华北、华南地块双向俯冲前缘地幔物质的上涌通道,或者是青藏高原中、下地壳物质沿秦岭造山带中构造薄弱位置向东逃逸的通道;在秦岭造山带和大巴山弧形带边界处发现南倾的低阻异常(C1),解释为大巴山弧形带北缘的逆冲断裂在电性上的反映;电性结构模型中,扬子地块高阻异常体(R2、R3和R4)向北倾斜至秦岭造山带下方,而北部鄂尔多斯地块的高阻异常体(R5和R6)向南倾斜至秦岭造山带下方;高阻异常通常被认为是稳定岩石圈的反映,据此推断这两组相向俯冲至秦岭造山带下方的高阻异常是华北地块和扬子地块向秦岭造山带下方汇聚的电性结构探测依据;鄂尔多斯地块南、北电性差异较大,北部中、下地壳大规模分布电阻率值在3～100Ω·m之间的低阻异常体,可能为地幔上涌导致的局部熔融或含盐流体共同作用的结果。