Reservoir history matching refers to the process of continuously adjusting parameters reservoir model, so that its dynamic response will match historical observation data, which is a prerequisite for making forecasts based on model. With development optimization theory and machine learning algorithms, automatic has made numerous breakthroughs practical applications. In this perspective, existin...

The paper presents a design for the Denali-2 super-optimizer, which will generate minimum-instruction-length machine code for realistic machine architectures using automatic theorem-proving technology: specifically, using E-graph matching (a technique for pattern matching in the presence of equality information) and boolean satisfiability solving. The paper presents a precise definition of the ...

The presented work addresses the problem of automatic control point matching for the registration of remotely sensed images. The inaccuracy of flight parameters and the sensor specific appearance of objects are the difficulties automatic registration suffers from. To overcome these problems the presented system uses prior knowledge to select appropriate structures for matching, i.e. control poi...

A method for automatic horizon tracking in reflection seismic data images across discontinuities is described. Horizon tracking is an important task of the structural interpretation of seismic images, however the automatic tracking across discontinuities has still not been solved satisfactorily. The reason for this is the difficulty involved in locating non-ambiguous local correlation features ...

The matching strategy of any approach to automatic aerial triangulation (AT) plays the key role for a high success rate. It has basically to solve the problem of finding homologous image patches even in case of very crude initial approximations – and to subsequently apply a matching scheme which provides preferably fully transferred tie points. Crucial situations occur, for instance, when large...

This paper presents a new method for matching individual line segments between images. The method uses both greylevel information and the multiple view geometric relations between the images. For image pairs epipolar geometry facilitates the computation of a cross-correlation based matching score for putative line correspondences. For image triplets cross-correlation matching scores are used in...

We present the top{down design of a new system which performs automatic parallelization of numerical Fortran 77 or C source programs for execution on distributed{memory message { passing multi-processors such as e.g. the INTEL iPSC860 or the TMC CM{5. The key idea is a high{level pattern{matching approach which in some useful way permits partial restructuring of a wide class of numerical progra...

History matching is an inverse problem of partial differential equation on mathematics. We adopt the constrained non-linear optimization to handle this problem, defining the objective function as the weighted square sum of differences between the wells simulation values and the corresponding observation values. We develop an optimization computing program that include Zoutendijk feasible direct...