基于精细岩相约束的致密低渗储层参数建模研究——以红河油田92井区长812致密砂岩储层为例

鄂尔多斯盆地红河油田属于低孔、超低渗岩性油气藏.红河油田长8储层主要发育辫状河三角洲前缘水下分流河道和分流间湾两种沉积微相，并且在水下分流河道沉积微相中储层参数变化范围大，非均质性强，用常规的单一沉积相控建模方法无法对储层参数空间分布的非均质性进行充分表征.为了精确描述其储层参数及展布特征，以红河油田92井区长8₁²致密砂岩储层为例，在地质、岩心、测井等资料的基础上，应用基于精细岩相约束的储层参数建模方法建立了研究区三维地质模型，即先用沉积相发育模式约束建立沉积微相模型，再对水下分流河道沉积微相进行岩相细分，在沉积微相模型和不同岩相概率体的双重控制下建立岩相模型，然后以岩相模型为约束建立储层参数模型.结果表明，该方法建立的储层参数模型具有较高的可靠性，与地质认识符合较好，为该区油藏数值模拟提供了精确的地质模型，并为研究区下一步开发方案调整提供了地质依据.     

基于几何特征约束的建筑物点云配准算法

针对人工建筑物表面存在的几何特征关系提出了基于几何特征约束的建筑物点云配准算法,根据点云数据中平面与平面重合关系,推导点在平面上和平面法线平行的2种线性不等约束条件。在6独立参数模型中增加几何特征约束的不等约束条件组成了附有约束条件的配准模型。通过对建筑物3维激光扫描点云数据的采集和处理,详细分析了几何特征约束配准算法的处理结果。试验结果分析表明几何特征约束条件可以合理地改善3维空间转换参数解算结果,提出的配准模型较适合于人工建筑物点云数据的配准。     

改进约束D-TIN的等高线陡坡区域识别

针对高线图中陡坡区域特征的自动识别问题,在应用Delaunay三角网与线性插值法生成等高线图的基础上,改进了基于最大角原则生成约束Delaunay三角网的算法,对等高线图进行了三角剖分,根据等高线之间约束三角形的几何参数,计算了等高线图坡面单元坡度,识别出坡度较高区域。进一步地,给出了一种扩张算法对相连陡坡单元进行划分形成陡坡区域,计算了各个陡坡区域中心坐标、面积与平均坡度。通过对12组有256个坐标高程值的数据构建约束D-TIN并生成三维地形图对识别结果进行了评价,识别正确率达0.903,平均识别时间为33ms。实验表明,对于不同数据生成的不同等级等高线图的识别结果均有较高的效率与准确率。     

基于大比例尺航空影像共面约束条件的相机自检校方法

提出了基于大比例尺航空影像共面约束的相机自检校方法,该方法使用所有立体像对同名点基于共面约束对相机的内方位元素及畸变系数进行解算。首先进行航空影像同名点匹配,构建立体像对;然后基于共面约束使用直接解法和迭代优化进行相对定向,解算相机位置与姿态;最后使用最小二乘优化方法解算相机内方位元素和畸变系数。对于高分辨率大尺寸航空影像,图像中心及边缘的畸变差异较大,为了进一步提高解算精度,对图像进行网格区域划分解算畸变。使用大比例尺航空影像进行解算能真实精确反映航空摄影测量时所获取图像的相机参数和畸变系数,避免检校环境与使用环境不同解算得到的相机畸变参数不能真实反映所获取影像的畸变问题;使用所有同名点解算,避免由于选择不同特征点或控制点对检校精度的影响;通过区域网格划分,进一步提高了解算精度。对检校结果进行了分析,该方法精度较高,与基于室外检校场的精度相当,能真实精确反映航空摄影测量时所获取图像的相机参数和畸变系数,提高了三维重建的精度。     

大榭第二大桥首级GPS控制网设计与施测

通过对大榭第二大桥首级GPS控制网的网型设计、埋设方式、观测形式、平差方法等方面进行阐述,总结出小区域内利用强制约束边平差方法的实用性、高精度性等特点,为类似工程提供经验。     

Separation method for multi-source blended seismic data

Multi-source seismic technology is an efficient seismic acquisition method that requires a group of blended seismic data to be separated into single-source seismic data for subsequent processing. The separation of blended seismic data is a linear inverse problem. According to the relationship between the shooting number and the simultaneous source number of the acquisition system, this separation of blended seismic data is divided into an easily determined or overdetermined linear inverse problem and an underdetermined linear inverse problem that is difficult to solve. For the latter, this paper presents an optimization method that imposes the sparsity constraint on wavefields to construct the object function of inversion, and the problem is solved by using the iterative thresholding method. For the most extremely underdetermined separation problem with single-shooting and multiple sources, this paper presents a method of pseudo-deblending with random noise filtering. In this method, approximate common shot gathers are received through the pseudo-deblending process, and the random noises that appear when the approximate common shot gathers are sorted into common receiver gathers are eliminated through filtering methods. The separation methods proposed in this paper are applied to three types of numerical simulation data, including pure data without noise, data with random noise, and data with linear regular noise to obtain satisfactory results. The noise suppression effects of these methods are sufficient, particularly with single-shooting blended seismic data, which verifies the effectiveness of the proposed methods.     

An analytic solution to the alibi query in the space–time prisms model for moving object data

Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When speed limitations in these sample points are also known, space–time prisms (also called beads) (Pfoser and Jensen 1999 Pfoser, D. and Jensen, C.S. 1999. “Capturing the uncertainty of moving-object representations”. In Advances in spatial databases (SSD’99), Hong Kong, China, July 20–23, 1999, Vol. 1651, 111–132. Lecture notes in Computer Science.  [Google Scholar], Egenhofer 2003 Egenhofer, M. 2003. “Approximation of geopatial lifelines”. In SpadaGIS, workshop on spatial data and geographic information systsems, 4SpaDaGIS–Workshop on Spatial Data and Geographic Information Systems, Milano, Italy, March 2003. University of Genova.  [Google Scholar], Miller 2005 Miller, H. 2005. A measurement theory for time geography. Geographical Analysis, 37(1): 17–45. [Crossref], [Web of Science ®] , [Google Scholar]) can be used to model the uncertainty about an object's location in between sample points. In this setting, a query of particular interest that has been studied in the literature of geographic information systems (GIS) is the alibi query. This boolean query asks whether two moving objects could have physically met. This adds up to deciding whether the chains of space–time prisms (also called necklaces of beads) of these objects intersect. This problem can be reduced to deciding whether two space–time prisms intersect.

The alibi query can be seen as a constraint database query. In the constraint database model, spatial and spatiotemporal data are stored by boolean combinations of polynomial equalities and inequalities over the real numbers. The relational calculus augmented with polynomial constraints is the standard first-order query language for constraint databases and the alibi query can be expressed in it. The evaluation of the alibi query in the constraint database model relies on the elimination of a block of three exªistential quantifiers. Implementations of general purpose elimination algorithms, such as those provided by QEPCAD, Redlog, and Mathematica, are, for practical purposes, too slow in answering the alibi query for two specific space–time prisms. These software packages completely fail to answer the alibi query in the parametric case (i.e., when it is formulated in terms of parameters representing the sample points and speed constraints).

The main contribution of this article is an analytical solution to the parametric alibi query, which can be used to answer the alibi query on two specific space–time prisms in constant time (a matter of milliseconds in our implementation). It solves the alibi query for chains of space–time prisms in time proportional to the sum of the lengths of the chains. To back this claim up, we implemented our method in Mathematica alongside the traditional quantifier elimination method. The solutions we propose are based on the geometric argumentation and they illustrate the fact that some practical problems require creative solutions, where at least in theory, existing systems could provide a solution.     

无先验基准方法在SLR资料处理中的应用

SLR（satellite Laser Ranging)资料处理一般来说总是由各SLR测站构成的从标框架里进行。为了克服在SLR资料处理过程中对坐标框架的重复定义，利用全球1999年1月到12月的LAGEOS-1的SLR资料以无先验基准方法解算EOP（Earth Orientation Parameters）和所有SLR站的坐标的试验。在SLR资料处理中用无先验基准方法与GPS（Glaobal Positioning System)的不太一样，由于SLR的资料不能把SLR观测站连结成非常牢固的空间多面体（GPS的资料在每一瞬间可以拟测站联成一完整的空间多面体），因此需要加一些约束，以避免法方程出现秩亏。解得的测站从标用7参数转换到ITRF97坐标系，rms为1.3cm。EOP与IERS的eopc04序列相比，Xp、Yp、的rms分别为0.37mas、0.30mas，LOD（Length Of Day)的rmas为0.019ms。     

基于水环境约束分区的产业优化调整——以江苏省太湖流域为例

基于水环境保护与区域开发的相互关系,考虑水陆空间联系及水环境承载能力对区域产业布局的限制,构建由水环境容量和压力两方面要素为基础的水环境约束分区指标体系。以产业集聚发达、水网密集但水环境敏感性强的江苏省太湖流域为例,探索小流域评价单元划分、约束指标选择与空间叠置分析等技术。对区域水环境容量和压力的进行约束分区,划分为高压低容、低压低容、高压高容和低压高容等4种类型区。研究结果为发挥区域水环境质量和经济可持续发展的协同效应,制定差别化的产业准入政策提供科学依据。     

一种时空过程的梯形分级描述框架及其建模实例

以对象建模视图和事件模型为基础的自底向上的时空过程表达方法,缺少对地理时空现象的显式定义,在时空因果链的细化表达方面存在不足。本文设计一种时空过程的梯形分级描述框架STP-TRAP,对时空过程进行自顶向下的显式化建模和集成时空因果链的分级描述,并在事件模型基础上,通过引入约束关系描述扩展时空因果链的表达模式。土地利用变迁过程建模实例与土地利用管理信息系统的设计和实现证明,该框架对土地利用变迁时空过程表达效果较好,为土地利用变更数据管理提供了新的思路。