Abstract: A method is described for seismic modeling implemented on a computer system including multiple computer nodes, which includes receiving, at a computer processor, a 4D speed of sound in water library and a marine seismic survey geometry; creating, via the computer processor, a full survey 3D Earth model for each seismic shot time based on the 4D speed of sound in water library to generate a set of dynamic 3D Earth models; simulating 4D seismic shots for the set of dynamic 3D Earth models by simulating multiple shots on each node to generate a set of 4D seismic shot gathers; and outputting the 4D seismic shot gathers.

Abstract: A method is described for seismic modeling implemented on a computer system including multiple computer nodes, which includes receiving, at a computer processor, a 4D speed of sound in water library and a marine seismic survey geometry; creating, via the computer processor, a full survey 3D Earth model for each seismic shot time based on the 4D speed of sound in water library to generate a set of dynamic 3D Earth models; simulating 4D seismic shots for the set of dynamic 3D Earth models by simulating multiple shots on each node to generate a set of 4D seismic shot gathers; and outputting the 4D seismic shot gathers.

Abstract: Embodiments of a method for implementing a finite difference time domain modeling with multiple APCs are disclosed herein. The disclosed methods and systems overcome the memory capacity limitation of APCs by having each APC perform multiple timesteps on a small piece of the computational domain or data volume in a APC queued manner. The cost of transferring data between host and compute accelerator can then be amortized over multiple timesteps, greatly reducing the amount of PCI bandwidth required to sustain high propagation speeds. The APC queued nature of the algorithm achieves linear scaling of PCI throughput with increasing number of APCs, allowing the algorithm to scale up to many dozens of APCs in some embodiments.

Abstract: A finite difference wavefield modeling framework decouples the tasks of physical modeling and hardware-software optimization through the use of a platform-agnostic intermediate representation in the form of a dataflow graph. In at least some embodiments a wavefield simulation method includes specifying a kernel of operations to be applied at each point in a space and representing the kernel as a platform-agnostic dataflow graph. For each of multiple implementation platforms, the method further includes: deriving from the platform-agnostic graph a customized graph for the implementation platform; translating the customized graph into configuration information for the implementation platform; supplying the configuration information to the implementation platform to obtain a wavefield simulator; and employing the wavefield simulator to repeatedly apply said kernel of operations to each point in the space with specified input or output signals.

Abstract: A finite difference wavefield modeling framework decouples the tasks of physical modeling and hardware-software optimization through the use of a platform-agnostic intermediate representation in the form of a dataflow graph. In at least some embodiments a wavefield simulation method includes specifying a kernel of operations to be applied at each point in a space and representing the kernel as a platform-agnostic dataflow graph. For each of multiple implementation platforms, the method further includes: deriving from the platform-agnostic graph a customized graph for the implementation platform; translating the customized graph into configuration information for the implementation platform; supplying the configuration information to the implementation platform to obtain a wavefield simulator; and employing the wavefield simulator to repeatedly apply said kernel of operations to each point in the space with specified input or output signals.

Abstract: Embodiments of a method for implementing a finite difference time domain modeling with multiple APCs are disclosed herein. The disclosed methods and systems overcome the memory capacity limitation of APCs by having each APC perform multiple timesteps on a small piece of the computational domain or data volume in a APC queued manner. The cost of transferring data between host and compute accelerator can then be amortized over multiple timesteps, greatly reducing the amount of PCI bandwidth required to sustain high propagation speeds. The APC queued nature of the algorithm achieves linear scaling of PCI throughput with increasing number of APCs, allowing the algorithm to scale up to many dozens of APCs in some embodiments.

Abstract: One embodiment of the invention involves a model-based method of inverting electromagnetic data associated with a subsurface area that includes developing a three-dimensional electromagnetic property model of the area, and restricting changes that may be made to the model during the electromagnetic data inversion process. Other related embodiments of the inventive method are also described and claimed.

Abstract: To synchronize units of a formation evaluation/drilling operation evaluation system, a time delay associated with a communications link between a master unit and a slave unit of the formation evaluation/drilling operation evaluation system is determined. The master unit has a master time clock that provides universal time. The time delay associated with the communications link is used to enable synchronization of time provided by a slave time clock in the slave unit to the universal time.

Abstract: To synchronize units of a formation evaluation/drilling operation evaluation system, a time delay associated with a communications link between a master unit and a slave unit of the formation evaluation/drilling operation evaluation system is determined. The master unit has a master time clock that provides universal time. The time delay associated with the communications link is used to enable synchronization of time provided by a slave time clock in the slave unit to the universal time.

Abstract: One embodiment of the invention involves a method for determining whether an electromagnetic survey will be able to distinguish between different subsurface conditions in an area that includes developing a three-dimensional electromagnetic property model of the area, and simulating an electromagnetic response of a field electromagnetic data acquisition system using the three-dimensional electromagnetic property model to determine if expected differences in an electromagnetic response of a electromagnetic data acquisition system are within detectability limits of the system. Another embodiment involves a model-based method of inverting electromagnetic data associated with a subsurface area that includes developing a three-dimensional electromagnetic property model of the area, and restricting changes that may be made to the model during the electromagnetic data inversion process. Other related embodiments of the inventive method are also described and claimed.