Abstract: Systems and techniques are provided for seismic acquisition operations. The displacements among activation positions of the seismic sources are random values or selected from a predefined list to accelerate progress to cover the area of interest. Regular or irregular perturbations (e.g., random values or selected from a predefined list) in a crossline direction are used for source line spacings and sail line move ups. The source line spacings are fixed or varied with respect to time during the seismic survey. The seismic sensors are spaced at regular or irregular intervals. Complete coverage are attained by performing interpolation techniques to the acquired seismic data. An image reconstruction from the collected seismic survey data, which are processed with compressive sensing techniques before the reconstruction, are generated based in part on an inversion technique or an imaging algorithm.

Abstract: A program translation system may generate a first program source internal representation expressed using a source language representation of a source programming language and a first program target internal representation that is expressed using a target language representation of a target programming language. The system may interpret the first program source and target internal representations with first program data to generate a first program source and target results. The system may, when the source and target results are inconsistent, modify the target language representation. The system may, when the source and target results are consistent, generate a second program source internal representation of a second program. The system may use the second program source internal representation to generate a second program target internal representation of the second program. The system may use the second program target internal representation to generate a second program in the target programming language.