385 research outputs found

    Temporal Integration of Seismic Traveltime Tomography

    Get PDF
    Time-lapse geophysical measurements and seismic imaging methods in particular are powerful techniques for monitoring changes in reservoir properties. Traditional time-lapse processing methods treat each dataset as an independent unit and estimate changes in reservoir state through differencing these separate inversions. We present a general least-squares approach to jointly inverting time-varying property models through use of spatio-temporal coupling operators. Originally developed within the medical imaging community, this extension of traditional Tikhonov regularization allows us to constrain the way in which models vary in time, thereby reducing artifacts observed in traditional time-lapse imaging formulations. The same methodology can also accommodate changes in experiment geometry as a function of time thus allowing inversion of incremental or incomplete surveys. In this case, temporal resolution is traded for improved spatial coverage at individual timesteps. We use seismic traveltime tomography as a model problem although almost any geophysical inversion task can be posed within this formalism. We apply the developed time-lapse inversion algorithm to a synthetic crosswell dataset designed to replicate a CO2 sequestration monitoring experiment

    Applying Compactness Constraints to Differential Traveltime Tomography

    Get PDF
    Tomographic imaging problems are typically ill-posed and often require the use of regularization techniques to guarantee a stable solution. Minimization of a weighted norm of model length is one commonly used secondary constraint. Tikhonov methods exploit low-order differential operators to select for solutions that are small, flat, or smooth in one or more dimensions. This class of regularizing functionals may not always be appropriate, particularly in cases where the anomaly being imaged is generated by a non-smooth spatial process. Timelapse imaging of flow-induced velocity anomalies is one such case; flow features are often characterized by spatial compactness or connectivity. By performing inversions on differenced arrival time data, the properties of the timelapse feature can be directly constrained. We develop a differential traveltime tomography algorithm which selects for compact solutions i.e. models with a minimum area of support, through application of model-space iteratively reweighted least squares. Our technique is an adaptation of minimum support regularization methods previously explored within the potential theory community. We compare our inversion algorithm to the results obtained by traditional Tikhonov regularization for two simple synthetic models; one including several sharp localized anomalies and a second with smoother features. We use a more complicated synthetic test case based on multiphase flow results to illustrate the efficacy of compactness constraints for contaminant infiltration imaging. We conclude by applying the algorithm to a CO[subscript 2] sequestration monitoring dataset acquired at the Frio pilot site. We observe that in cases where the assumption of a localized anomaly is correct, the addition of compactness constraints improves image quality by reducing tomographic artifacts and spatial smearing of target features.Massachusetts Institute of Technology. Earth Resources Laborator

    Extracellular electron uptake from a cathode by the lactic acid bacterium Lactiplantibacillus plantarum

    Get PDF
    A subset of microorganisms that perform respiration can endogenously utilize insoluble electron donors, such as Fe(II) or a cathode, in a process called extracellular electron transfer (EET). However, it is unknown whether similar endogenous EET can be performed by primarily fermentative species like lactic acid bacteria. We report for the first time electron uptake from a cathode by Lactiplantibacillus plantarum, a primarily fermentative bacteria found in the gut of mammals and in fermented foods. L. plantarum consumed electrons from a cathode and coupled this oxidation to the reduction of both an endogenous organic (pyruvate) and an exogenous inorganic electron acceptor (nitrate). This electron uptake from a cathode reroutes glucose fermentation toward lactate degradation and provides cells with a higher viability upon sugar exhaustion. Moreover, the associated genes and cofactors indicate that this activity is mechanistically different from that one employed by lactic acid bacteria to reduce an anode and to perform respiration. Our results expand our knowledge of the diversity of electroactive species and of the metabolic and bioenergetic strategies used by lactic acid bacteria

    Applying Compactness Constraints to Seismic Traveltime Tomography

    Get PDF
    Tomographic imaging problems are typically ill-posed and often require the use of regularization techniques to guarantee a stable solution. Minimization of a weighted norm of model length is one commonly used secondary constraint. Tikhonov methods exploit low-order differential operators to select for solutions that are small, flat, or smooth in one or more dimensions. This class of regularizing functionals may not always be appropriate, particularly in cases where the anomaly being imaged is generated by a non-smooth spatial process. Timelapse imaging of flow-induced seismic velocity anomalies is one such case; flow features are often characterized by spatial compactness or connectivity. We develop a traveltime tomography algorithm which selects for compact solutions through application of model-space iteratively reweighted least squares. Our technique is an adaptation of minimum support regularization methods previously developed within the potential theory community. We emphasize the application of compactness constraints to timelapse datasets differenced in the data domain, a process which allows recovery of compact perturbations in model properties. We test our inversion algorithm on a simple synthetic dataset generated using a velocity model with several localized velocity anomalies. We then demonstrate the efficacy of the algorithm on a CO2 sequestration monitoring dataset acquired at the Frio pilot site. In both cases, the addition of compactness constraints improves image quality by reducing spatial smearing due to limited angular aperture in the acquisition geometry.Toksoz, M. NafiMassachusetts Institute of Technology. Earth Resources Laborator

    Electronic control of redox reactions inside Escherichia coli using a genetic module.

    Get PDF
    Microorganisms regulate the redox state of different biomolecules to precisely control biological processes. These processes can be modulated by electrochemically coupling intracellular biomolecules to an external electrode, but current approaches afford only limited control and specificity. Here we describe specific electrochemical control of the reduction of intracellular biomolecules in Escherichia coli through introduction of a heterologous electron transfer pathway. E. coli expressing cymAmtrCAB from Shewanella oneidensis MR-1 consumed electrons directly from a cathode when fumarate or nitrate, both intracellular electron acceptors, were present. The fumarate-triggered current consumption occurred only when fumarate reductase was present, indicating all the electrons passed through this enzyme. Moreover, CymAMtrCAB-expressing E. coli used current to stoichiometrically reduce nitrate. Thus, our work introduces a modular genetic tool to reduce a specific intracellular redox molecule with an electrode, opening the possibility of electronically controlling biological processes such as biosynthesis and growth in any microorganism

    Computation of 3D Frequency-Domain Waveform Kernals for c(x,y,z) Media

    Get PDF
    Seismic tomography, as typically practiced on both the exploration, crustal, and global scales, considers only the arrival times of selected sets of phases and relies primarily on WKBJ theory during inversion. Since the mid 1980’s, researchers have explored, largely on a theoretical level, the possibility of inverting the entire seismic record. Due to the ongoing advances in CPU performance, full waveform inversion is finally becoming feasible on select problems with promising results emerging from frequency-domain methods. However, frequency-domain techniques using sparse direct solvers are currently constrained by memory limitations in 3D where they exhibit a O(n4) worst-case bound on memory usage. We sidestep this limitation by using a hybrid approach, calculating frequency domain Green’s functions for the scalar wave equation by driving a high-order, time-domain, finite-difference (FDTD) code to steady state using a periodic source. The frequency-domain response is extracted using the phase sensitive detection (PSD) method recently developed by Nihei and Li (2006). The resulting algorithm has an O(n3) memory footprint and is amenable to parallelization in the space, shot, or frequency domains. We demonstrate this approach by generating waveform inversion kernels for fully c(x,y,z) models. Our test examples include a realistic VSP experiment using the geometry and velocity models obtained from a site in Western Wyoming, and a deep crustal reflection/refraction profile based on the LARSE II geometry and the SCEC community velocity model. We believe that our 3D solutions to the scalar Helmholtz equation, for models with upwards of 100 million degrees of freedom, are the largest examples documented in the open geophysical literature. Such results suggest that iterative 3D waveform inversion is an achievable goal in the near future.Shell GameChangerMassachusetts Institute of Technology. Earth Resources Laborator

    A MATLAB app to assess, compare and validate new methods against their benchmarks

    Get PDF
    Emerging technologies for physiological signals and data collection enable the monitoring of patient health and well-being in real-life settings. This requires novel methods and tools to compare the validity of this kind of information with that acquired in controlled environments using more costly and sophisticated technologies. In this paper, we describe a method and a MATLAB tool that relies on a standard sequence of statistical tests to compare features obtained using novel techniques with those acquired by means of benchmark procedures. After introducing the key steps of the proposed statistical analysis method, this paper describes its implementation in a MATLAB app, developed to support researchers in testing the extent to which a set of features, captured with a new methodology, can be considered a valid surrogate of that acquired employing gold standard techniques. An example of the application of the tool is provided in order to validate the method and illustrate the graphical user interface (GUI). The app development in MATLAB aims to improve its accessibility, foster its rapid adoption among the scientific community and its scalability into wider MATLAB tools
    • …
    corecore