Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Core logs”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13

ORIGINS OF SCATTER IN THE RELATIONSHIP BETWEEN HCN 1-0 AND DENSE GAS MASS IN THE GALACTIC CENTER

We investigate the correlation of HCN 1-0 with gas mass in the central 300 pc of the Galaxy. We find that on the ∼10 pc size scale of individual cloud cores, HCN 1-0 is well correlated with dense gas mass when plotted as a log–log relationship. There is ∼0.75 dex of scatter in this relationship from clouds like Sgr B2, which has an integrated HCN 1-0 intensity of a cloud less than half its mass, and others that have HCN 1-0 enhanced by a factor of 2–3 relative to clouds of comparable mass. We identify the two primary sources of scatter to be self-absorption and variations in HCN abundance. We also find that the extended HCN 1-0 emission is more intense per unit mass than in individual cloud cores. In fact the majority (80%) of HCN 1-0 emission comes from extended gas with column densities below 7 × 10{sup 22} cm{sup −2}, accounting for 68% of the total mass. We find variations in the brightness of HCN 1-0 would only yield a ∼10% error in the dense gas mass inferred from this line in the Galactic center. However, the observed order of magnitude HCN abundance variations, and the systematic nature of these variations, warn of potential biases in the use of HCN as dense gas mass tracer in more extreme environments such as an active galactic nucleus and shock-dominated regions. We also investigate other 3 mm tracers, finding that HNCO is better correlated with mass than HCN, and might be a better tracer of cloud mass in this environment.

79 ASTRONOMY AND ASTROPHYSICS↗

Coupling geophysical, geological, geochemical and mineralogical assessments to examine preferential contaminant transport pathways in interbedded fractured bedrock

This study shows that a multi-faceted approach, combining borehole geophysical logging and surface seismic P-wave first-arrival tomography with confirmatory coring, well installation, and chemical and mineralogical analysis, is effective for identifying difficult-to-locate preferential contaminant transport pathways in deeper fractured bedrock. Seismic tomography detected porous 10–20 m wide elongated fractured conduits that allow acidic groundwater contaminated with uranium (U) and nitrate (NO 3 - ) to migrate within interbedded shale-limestone bedrock over 1000 m from a former disposal facility (S-3 Ponds site) located at the DOE Y-12 National Security Complex in Tennessee (USA). Conventional drilling techniques would easily miss these conduits because they are oriented parallel with fractured bedding planes. Synchrotron analysis of aquifer solids revealed that > 95 % of the U is hexavalent (U VI ). This uranyl (UO 2 2+ ) species is coordinated with carbonate, iron oxide, silicate and phosphate minerals within cemented white to yellow precipitates, which contain U concentrations as high as ∼21.6 % by weight fraction. Identifying the presence of these mineral phases, enables a further understanding of the potential effectiveness of remediation actions. The combination of methodologies presented here can also be applied to other explorations, such as the detection of water supply.

Fate and transport↗

CarbonSAFE Rocky Mountain Phase I: Ensuring Safe Subsurface Storage of Carbon Dioxide in the Intermountain West

An integrated CCS pre-feasibility study, CarbonSAF E Rocky Mountain Phase I, was conducted by the U niversity of Utah and its partners as part of the US D epartment of Energy’s Carbon Storage Assurance a nd Facility Enterprise (CarbonSAFE) program. The a ssembled project team consisted of academic, indus try and governmental agencies covering the technic al and non- technical challenges of a commercial-sc ale CO 2 storage facility capable of storing 50 million tonnes of anthropogenically-sourced CO 2 . The Rock y Mountain CarbonSAFE team identified the Hunter Power Plant in central Utah as the primary source of CO 2 on which this study would be focused. The nea rby Huntington power plant, also operated by Rocky Mountain Power, was evaluated as a secondary sou rce of CO 2 . The Hunter plant was chosen because o f an interest in CO 2 capture technology by the plant operator, Rocky Mountain Power, and also because i t is a representative example of a typical coal-fired g enerating station in the Rocky Mountain west. Amine -based and cryogenic-based capture assessments w ere performed for approximately 3 million tonnes per year for one of the boiler units at the Hunter plant, yi elding cost of capture estimates of $\$56$/tonne and $\$4 1.50$/tonne. Transportation and intermediate compre ssion would increase the per tonne costs, but will be highly dependent on specific injection locations and available rights-of-way. A high-level technical sub-ba sinal evaluation was performed on the area surround ing the Hunter and Huntington power plants to verify CO 2 storage capacity and integrity. Initial geologic c haracterization efforts focused on sites immediately adjacent to the Hunter plant, including the deep eolia n Permian White Rim Sandstone, which in outcrop a nd core from other locations indicates high permeabi lity and high porosity. However, petrophysical logs fr om wells near Hunter indicate porosity of only 2-4%. As a result, potential injection sites were moved stru cturally down-dip (to the west), into the high permea bility (~200 mD) and high porosity (20%) Navajo san dstone. A comprehensive analysis of the reservoir a nd seals was conducted, providing data to the model , simulation and risk assessment groups on the proje ct. CO 2 capacity estimates for the Navajo Sandston e approximately 18 kilometers from the Hunter plant are well in excess of the 50 million tonnes goal of the project. Area of Review Delineation and Risk Asse ssment on the Navajo, associated seals and shallow groundwater aquifers identified the most significant risks and mitigation options. A non-technical assessment to a commercial-scale CO 2 storage facility in central Utah was conducted. EPA Underground Injection Control Class VI and National Environmental Policy Act permitting present particularly challenging issues related to the development of any saline aquifer for CO 2 storage, including the area around the Hunter plant. While surface and subsurface ownership and ri ghts are not straightforward, especially on any privat e land, many of the stakeholders in central Utah are accustomed and open to oil/gas/mineral-related activities similar to what would be required for CO 2 storage sites.

01 COAL, LIGNITE, AND PEAT↗

Ordovician-Cambrian Units: Hierarchical Evaluation of Geologic Carbon Storage Resource Estimates

The Indiana Geological and Water Survey (IGWS) led subtask 1.1 to assess the regional distribution and estimate the storage capacity of Ordovician-Cambrian stratigraphic units located within the partnership region. A comprehensive data set of wireline logs and petrophysical information was used to generate these interpretations. These data include core analysis for porosity and permeability, mercury injection capillary pressure (MICP), and existing well data including location and stratigraphic information. This report includes storage resource estimates (SREs) for three potential storage reservoirs(limestone and dolostone from the Upper Ordovician Trenton Limestone/Black River Group and equivalent units, the Middle Ordovician St. Peter Sandstone, and primary target reservoir rocks of the Lower Ordovician and Upper Cambrian Knox Supergroup and equivalent units) calculated using six methodologies: (1) a fixed value of porosity of 10 percent in all units evaluated; (2) a unique average porosity (per well) from wireline-derived porosity (neutron, sonic, and/or density porosity for each unit); (3) porosity values from core analysis; (4) a depth-dependent porosity model (Knox Supergroup only); (5) porosity based on a model based on petrophysical facies; and (6) SREs using National Energy Technology Laboratory’s CO2 Storage prospeCtive Resource Estimation Excel aNalysis (CO2-SCREEN beta V2). All methods used the same values for thickness for each unit. However, the areal extent of each assessment was limited by the data available for each method. Estimated volumes were calculated in 1-by-1 kilometer grid cells and summarized as county and total stratigraphic unit volumes. The resultant SREs mass are displayed using boxplots, which allow for comparing data statistics (mean values and variability) between methods. Differences observed in SRE results from the six methods are mainly attributable to differences in the data and conceptual models used to interpret or estimate porosity in each method. Based on this systematic variability between methods, it is inferred that methods 1, 4, and 6 are best used for regional-scale reconnaissance estimates of storage capacity while methods 2, 3, and 5 are more appropriate for local scales where more data is required. All estimates are data-density dependent and different methods require different amounts of data for reasonable assessments. ArcMap 10.5.1 software was used to portray SREs to help visualize spatial variance of estimates for each methodology, and more importantly, to highlight those areas having the greatest total storage potential estimates.

01 COAL, LIGNITE, AND PEAT↗

Futher identifications of hydrogen in Grw +708247

Numerous spectra of the magnetic white dwarf Grw +70 8247 were obtained with the double CCD spectrograph at Palomar with signal-to-noise ratio above 100. Five weak absorptions in the blue and four in the red are produced by hydrogen in a strong magnetic field. New, precise, multiparameter, variational energy levels yielding intensity and wavelength, from 100 to 600 MG are presented. A search for those Zeeman components with wavelengths nearly constant with field is carried out. Two such Zeeman components which are relatively sharp and strong Pi transitions, explain the Minkowski band, 4137 A (known since 1938), as the 2s0-4f0 and the 5855 A band as the 2s0-3p0. Both have minimum wavelengths at B of about 300 MG. Their absorptions resemble band heads degraded to the red, as observed. The mixed nature of the 4f0 level results in an intensity ratio (2s0-4f0)/(2s0-3p0) = 0.58 at 280 MG, high for a line forbidden at zero field. Profiles computed for a pole-on dipole, near log Bp = 8.5, fit the two observed lines. Other hydrogen transitions (including the core of Ly-alpha) are consistent with the field strength. Six models with a variety of Bp and inclination are illustrated to show the quality of fit to the observations.

Greenstein, J. L.↗

Improved Oil Recovery in the Cypress Using an Unconventional Approach

Geologic characterization of the Cypress Sandstone, residual oil zones, well log analysis, and preliminary results from reservoir simulations. Webb presented data from new core collected as part of the project in September 2016. The preliminary simulation results were for the Kenner West Field.

Webb, Nathan↗

Bolometric temperature and young stars in the Taurus and Ophiuchus complexes

We calculated bolometric temperature (T(sub bol)) and luminosity (L(sub bol)) for 128 young stellar objects (YSOs) in Taurus, 74 in the Ophiuchus 'core', and 33 in the Ophiuchus 'off-core' region. We have constructed the bolometric luminosity-temperature (BLT) diagram, the log-log plot of L(sub bol) versus T(sub bol), for the three samples. T(sub bol) is defined as the temperature of a blackbody having the same frequency as the observed continuum spectrum. It measures the redness (or coldness) of an astronomical source. The BLT diagram is analogous to the H-R diagram and allows for a direct and quantitative comparison of YSOs at a wide variety of evolutionary states, ranging from the most deeply embedded stars to T Tauri stars nearly on the main sequence. We found (1) T(sub bol) increases monotonically from embedded sources (approximately 60-500 K) to classical T Tauri stars (approximately 1000-3000 K) to weak-line T Tauri stars (approximately 2000-5000 K); (2) T(sub bol) correlates reasonably well with the age inferred from the evolutionary models of pre-main-sequence stars and protostars for embedded 'protostars' and weak-line T Tauri stars. There is no significant correlation for the classical T Tauri stars. These results can be understood in terms of dissipation of circumstellar dust envelope and disk during the early stages of stellar evolution. Sources in the three regions have different distributions in the BLT diagram. The Ophiuchus core has the highest fraction of cold sources among the three regions. These cold sources are also more luminous than the YSOs in the other regions. The Ophiuchus off-core sample is dominated by the more evolved pre-main-sequence stars. The Taurus sources have distributions intermediate in L(sub bol), T(sub bol), and age between the Ophiuchus core and off-core distributions. These may suggest differences in the star formation history, and possibly in the stellar masses and mass accretion rates in these star-forming regions.

Chen, H.↗

PROPERTIES OF CARBON–OXYGEN WHITE DWARFS FROM MONTE CARLO STELLAR MODELS

We investigate properties of carbon–oxygen white dwarfs with respect to the composite uncertainties in the reaction rates using the stellar evolution toolkit, Modules for Experiments in Stellar Astrophysics (MESA) and the probability density functions in the reaction rate library STARLIB. These are the first Monte Carlo stellar evolution studies that use complete stellar models. Focusing on 3 M{sub ⊙} models evolved from the pre main-sequence to the first thermal pulse, we survey the remnant core mass, composition, and structure properties as a function of 26 STARLIB reaction rates covering hydrogen and helium burning using a Principal Component Analysis and Spearman Rank-Order Correlation. Relative to the arithmetic mean value, we find the width of the 95% confidence interval to be ΔM{sub 1TP} ≈ 0.019 M{sub ⊙} for the core mass at the first thermal pulse, Δt{sub 1TP} ≈ 12.50 Myr for the age, Δlog(T{sub c}/K) ≈ 0.013 for the central temperature, Δlog(ρ{sub c}/g cm{sup −3}) ≈ 0.060 for the central density, ΔY{sub e,c} ≈ 2.6 × 10{sup −5} for the central electron fraction, ΔX{sub c}({sup 22}Ne) ≈ 5.8 × 10{sup −4}, ΔX{sub c}({sup 12}C) ≈ 0.392, and ΔX{sub c}({sup 16}O) ≈ 0.392. Uncertainties in the experimental {sup 12}C(α,γ){sup 16}O, triple-α, and {sup 14}N(p,γ){sup 15}O reaction rates dominate these variations. We also consider a grid of 1–6 M{sub ⊙} models evolved from the pre main-sequence to the final white dwarf to probe the sensitivity of the initial–final mass relation to experimental uncertainties in the hydrogen and helium reaction rates.

79 ASTRONOMY AND ASTROPHYSICS↗

A New Approach to Predict Hydrogeological Parameters Using Shear Waves from the Multichannel Analysis of Surface Waves Method

For near-surface contaminant characterization, the accurate prediction of hydrogeological parameters in anisotropic and heterogeneous environments has been a challenge since the last decades. However, recent advances in near-surface geophysics have facilitated the use of geophysical data for hydrogeological characterization in the last few years. A pseudo 3-D high resolution P-wave shallow seismic reflection survey was performed at the P Reactor Area, Savannah River Site, South Carolina in order to delineate and predict migration pathways of a large contaminant plume including trichloroethylene. This contaminant plume originates from the northwest section of the reactor facility that is located within the Upper Atlantic Coastal Plain. The data were collected with 40 Hz geophones, an accelerated weight-drop as seismic source and 1 m receiver spacing with near- and far-offsets of 0.5 and 119.5 m, respectively. In such areas with near-surface contaminants, a detailed subsurface characterization of the vadose zone hydraulic parameters is very important. Indeed, an inexpensive method of deriving such parameters by the use of seismic reflection surveys is beneficial, and our approach uses the relationship between seismic velocity and hydrogeological parameters together with empirical observations relating porosity to permeability and hydraulic conductivity. Shear wave velocity ( V s ) profiles were estimated from surface wave dispersion analysis of the seismic reflection data and were subsequently used to derive hydraulic parameters such as porosity, permeability, and hydraulic conductivity. Additional geophysical data including core samples, vertical seismic profiling, surface electrical resistivity tomography, natural gamma and electrical resistivity logs allowed for a robust assessment of the validity and geological significance of the estimated V s and hydrogeological models. The results demonstrate the usefulness of this approach for the upper 15 m of shallow unconsolidated sediments even though the survey design parameters were not optimal for surface wave analysis due to the higher than desired frequency geophones.

Engineering↗

Hot gas in the cold dark matter scenario: X-ray clusters from a high-resolution numerical simulation

A new, three-dimensional, shock-capturing hydrodynamic code is utilized to determine the distribution of hot gas in a standard cold dark matter (CDM) model of the universe. Periodic boundary conditions are assumed: a box with size 85 h(exp -1) Mpc having cell size 0.31 h(exp -1) Mpc is followed in a simulation with 270(exp 3) = 10(exp 7.3) cells. Adopting standard parameters determined from COBE and light-element nucleosynthesis, sigma(sub 8) = 1.05, omega(sub b) = 0.06, and assuming h = 0.5, we find the X-ray-emitting clusters and compute the luminosity function at several wavelengths, the temperature distribution, and estimated sizes, as well as the evolution of these quantities with redshift. We find that most of the total X-ray emissivity in our box originates in a relatively small number of identifiable clusters which occupy approximately 10(exp -3) of the box volume. This standard CDM model, normalized to COBE, produces approximately 5 times too much emission from clusters having L(sub x) is greater than 10(exp 43) ergs/s, a not-unexpected result. If all other parameters were unchanged, we would expect adequate agreement for sigma(sub 8) = 0.6. This provides a new and independent argument for lower small-scale power than standard CDM at the 8 h(exp -1) Mpc scale. The background radiation field at 1 keV due to clusters in this model is approximately one-third of the observed background, which, after correction for numerical effects, again indicates approximately 5 times too much emission and the appropriateness of sigma(sub 8) = 0.6. If we have used the observed ratio of gas to total mass in clusters, rather than basing the mean density on light-element nucleosynthesis, then the computed luminosity of each cluster would have increased still further, by a factor of approximately 10. The number density of clusters increases to z approximately 1, but the luminosity per typical cluster decreases, with the result that evolution in the number density of bright clusters is moderate in this redshift range, showing a broad peak near z = 0.7, and then a rapid decline above redshift z = 3. Detailed computations of the luminosity functions in the range L(sub x) = 10(exp 40) - 10(exp 44) ergs/s in various energy bands are presented for both cluster central regions and total luminosities to be used in comparison with ROSAT and other observational data sets. The quantitative results found disagree significantly with those found by other investigators using semianalytic techniques. We find little dependence of core radius on cluster luminosity and a dependence of temperature on luminosity given by log kT(sub x) = A + B log L(sub x), which is slightly steeper (B = 0.38) than is indicated by observations. Computed temperatures are somewhat higher than observed, as expected, in that COBE-normalized CDM has too much power on the relevant scales. A modest average temperature gradient is found, with temperatures dropping to 90% of central values at 0.4 h(exp -1) Mpc and 70% of central values at 0.9 h(exp -1) Mpc. Examining the ratio of gas to total mass in the clusters normalized to Omega(sub B) h(exp 2) = 0.015, and comparing with observations, we conclude, in agreement with White (1991), that the cluster observations argue for an open universe.

Kang, Hyesung↗

Utah FORGE 2-2439: A Multi-Component Approach to Characterizing In-Situ Stress: Laboratory, Modeling and Field Measurement - Workshop Presentation

This is a presentation on A Multi-Component Approach to Characterizing In-Situ Stress at the U.S DOE FORGE EGS Site: Laboratory, Modeling and Field Measurement project by Battelle [Columbus, OH], presented by Mark Kelley. The project's objective was to characterize stress in the Utah FORGE EGS reservoir using three methods: a laboratory rock-core stress estimation combined with a Machine Learning approach for estimation of in-situ stress from field sonic-log data, a field based in-situ measurement (min-frac) approach, and a modeling approach. This presentation was featured in the Utah FORGE R&D Annual Workshop on September 7, 2023. The workshop provided a valuable opportunity to explore the progress made in each of the 17 Research and Development projects funded under Solicitation 2020-1 which aim to enhance our understanding of the crucial factors influencing the development of Enhanced Geothermal Systems (EGS) reservoirs and resources.

15 GEOTHERMAL ENERGY↗

Contributed Review: Nuclear magnetic resonance core analysis at 0.3 T

Nuclear magnetic resonance (NMR) provides a powerful toolbox for petrophysical characterization of reservoir core plugs and fluids in the laboratory. Previously, there has been considerable focus on low field magnet technology for well log calibration. Now there is renewed interest in the study of reservoir samples using stronger magnets to complement these standard NMR measurements. Here, the capabilities of an imaging magnet with a field strength of 0.3 T (corresponding to 12.9 MHz for proton) are reviewed in the context of reservoir core analysis. Quantitative estimates of porosity (saturation) and pore size distributions are obtained under favorable conditions (e.g., in carbonates), with the added advantage of multidimensional imaging, detection of lower gyromagnetic ratio nuclei, and short probe recovery times that make the system suitable for shale studies. Intermediate field instruments provide quantitative porosity maps of rock plugs that cannot be obtained using high field medical scanners due to the field-dependent susceptibility contrast in the porous medium. Example data are presented that highlight the potential applications of an intermediate field imaging instrument as a complement to low field instruments in core analysis and for materials science studies in general.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Comparison of VLBI radio-core and X-ray flux densities of extragalactic radio sources

The relation between compact radio core and X-ray emission in extragalactic radio sources, suggested by Worral et al. (1987) and Kembhavi et al. (1986), is investigated by comparing the X-ray flux densities observed in 56 extragalactic radio sources with the Einstein Observatory with the compact radio-core flux densities derived from published VLBI maps for these radio sources. It was found that the radio to X-ray spectral index distribution had a small dispersion, whereas the log-log plot of the flux densities showed no correlation. This implies that the basic level of X-ray emission is determined by the radio-core emission, but that the exact value depends on other parameters.

Bloom, Steven D.↗

Applying Graph Analytics to Understand Compute Core Usage and Publication Trends in a Petascale Supercomputing Facility

The Oak Ridge Leadership Computing Facility (OLCF) runs Titan, the No. 4 supercomputer in the world, to deliver over four billion compute core hours every year to several scientific domains, in their pursuit of leadership science. In this paper, we analyze four years worth of heterogeneous log data sources from the OLCF resource fabric, capturing metadata on entities such as users (2,546), scientific project allocations (674), jobs (1,352,402) and publications (1,146), to derive insights into the trends in core hour usage and publications, across 35 science domains. We have constructed a scalable graph to represent the OLCF entities and apply rich graph analytics for our analysis. Based on this, we have analyzed the metadata across five dimensions, namely (1) quantitative analysis of Titan system usage, (2) quantitative analysis of OLCF publications, (3) correlation analysis between system usage and publications, (4) text analysis to derive OLCF research trends, and (5) utilization of graph mining for association analysis. To the best of our knowledge, our work is the first of its kind to apply graph- based big data techniques to provide comprehensive insights on an HPC center's core hour usage and users' publication trends. Our results provide valuable details into an HPC center's core allocation program, measuring the productivity of scientific domains, the interplay between core usage and research output, accelerating collaboration, and in predicting new connections between resource entities.

Lee, Sangkeun (Matt)↗

Overview of Hydraulic Fracturing Test Site 2 in the Permian Delaware Basin (HFTS-2)

Here, the Hydraulic Fracturing Test Site 2 (HFTS-2) is a large collaborative field-based R&D program in the Permian Delaware Basin, funded by the US Department of Energy through the National Energy Technology Laboratory (NETL) and the E&P industry, with support from academia. The projects' main objective is to improve the understating of the hydraulic fracturing process through utilization of advanced diagnostics and collection of through-fracture cores to provide undisputable evidence and attributes of the created hydraulic fractures. At the HFTS-2, in excess of $30 million was used to perform hydraulic fracturing research focusing on the Wolfcamp formation at a field site hosted and operated by Occidental. In addition to the research data collected by the project, Occidental provided a significant amount of background data for about a dozen existing wells in the test area as well as access to previously collected core. Additional technical and laboratory support was provided by the program members. Building on learnings and unanswered questions from HFTS-1 in the Permian Midland basin, the HFTS-2 used eight new producing wells and two existing (parent) wells to perform hydraulic fracturing research. Multiple science wells were drilled to sample and characterize the subsurface, including the collection of 540 feet of core in a vertical pilot hole and 948 feet of high-angle through-fracture core. The project installed permanent fiber optic cables in 3 wells to monitor near wellbore signals during fracturing and to collect cross-well strain measurements. Additional advanced diagnostics included a significant formation evaluation program on the vertical whole core, multi array moment tensor inversion capable microseismic survey, multi-well time-lapse geochemistry analysis, analysis of proppant distribution in producing child and slant core well, and others. We will provide an overview of the HFTS-2 project, including list of the consortium members, details of the test site, experiments performed, and technologies tested.

58 GEOSCIENCES↗

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗

Petrophysical and geomechanical properties of gas hydrate-bearing sediments recovered from Alaska North Slope 2018 Hydrate-01 Stratigraphic Test Well

Knowledge of petrophysical and geomechanical properties of gas hydrate-bearing sediments are essential for predicting reservoir response due to gas production from gas hydrate reservoirs. That information will be critical parameters for designing production well completion such as specification of depressurization pump, water storage tank, and mesh size of sand screen. In December 2018, Stratigraphic Test Well Hydrate-01 was drilled in the western part of the Prudhoe Bay Unit, Alaska North Slope as part of the technical planning effort for a future long-term production test by collaborative team of DOE/NETL, USGS, and MH21-S (Boswell et al., 2020, Collett et al., 2020, Okinaka et al., 2020). Data set of logging-while-drilling (LWD) were acquired (Haines et al., 2020, Suzuki et al., 2019) and core sampling depth was determined on-site.Side-wall pressure coring was conducted to recover gas hydrate-bearing sediments from two reservoir sections named Unit-B and Unit-D. A total of 34 cores were successfully recovered by 5 runs of a wire-line deployed pressure corer (CoreVault® System - Halliburton). Core analysis scheme of this project are shown in Figure 1. All cores were quenched in liquid nitrogen while at high pressure in the laboratory of Stratum Reservoir, LLC. at Anchorage (Figure 1, a)). And the cores were removed from the pressure corer autoclave with temperature support of dry ice and stored under liquid nitrogen at atmospheric pressure. 19 damaged cores were processed to index property measurements directly such as grain size, grain density. 4 of another 17 cores were depressurized and trimmed for making a plug to analyze petrophysical properties of host sediments. Unsteady-state permeability test was conducted to obtain relative water permeability to gas and core scale NMR T2 distribution measurement was performed for evaluating pore size distribution at Houston (Figure 1, b)). Remained high quality 13 cores were preserved with gas hydrate for advanced laboratory analysis. National Institute of Advanced Industrial Science and Technology, as a part of the Japanese National Hydrate Research Program (MH21-S, funded by Ministry of Economy, Trade and Industry), received the samples at Sapporo, Japan for advanced core analysis. High-resolution X-ray CT was used to analyze the quality of the samples, which showed undisturbed lithological layers. Cores were lathed into cylindrical shape and distributed for multi property measurements (Figure 1, c)).<p>As a result, sediment from Unit-D is categorized as silty sand at ~37% porosity with ~80% gas hydrate saturation. An average hydration number n = 6.16 was measured by Raman spectroscopy. An average intrinsic permeability of ~400 mD and in situ effective permeability (with hydrate) on the order of ~10 mD. The Unit B recovered cores consisted of well sorted sand at ~40% porosity with ~95% gas hydrate saturation. An average intrinsic permeability of ~1 Darcy and in situ effective permeability on the order of ~30 mD was measured for the Unit B cores. There was a small permeability reduction due to porosity loss with increasing effective stress that simulated consolidation behavior along with depressurization in the highly permeable sandy sediment. The apparent minimum change in porosity and permeability may be caused by the low compressibility of quartz sand grains in the recovered cores. XRD and thermal conductivity analysis also suggested high quartz content. Triaxial compression tests established internal friction angles based on the Mohr-Coulomb's failure criterion, which are 40° for hydrate-bearing sediment and 29.8° for hydrate free sediment.</p>

Yoneda, Jun↗

Utah FORGE: Well 16A(78)-32 Logs

This dataset contains all well logs from Utah FORGE well 16A(78)-32. This includes the mud log, Sanvean Technologies logs, and Schlumberger logs. Please see the file descriptions below for information about each log.

15 GEOTHERMAL ENERGY↗