Complete genome sequence of the facultatively anaerobic, appendaged bacterium Muricauda ruestringensis type strain (B1T)
Explore the source record for details and available documents.
59 BASIC BIOLOGICAL SCIENCES↗
SEARCH · Search NASA
Results for “Completeness”
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.
Complete genome sequence of the termite hindgut bacterium Spirochaeta coccoides type strain (SPN1T), reclassification in the genus Sphaerochaeta as Sphaerochaeta coccoides comb. nov. and emendations of the family Spirochaetaceae and the genus Sphaerochaeta
Spirochaeta coccoides Dröge et al. 2006 is a member of the genus Spirochaeta Ehrenberg 1835, one of the oldest named genera within the Bacteria. S. coccoides is an obligately anaerobic, Gram-negative, non-motile, spherical bacterium that was isolated from the hindgut contents of the termite Neotermes castaneus. The species is of interest because it may play an important role in the digestion of breakdown products from cellulose and hemicellulose in the termite gut. Here we provide a taxonomic re-evaluation for strain SPN1T, and based on physiological and genomic characteristics, we propose its reclassification as a novel species in the genus Sphaerochaeta, a recently published sister group of the Spirochaeta. The 2,227,296 bp long genome of strain SPN1T with its 1,866 protein-coding and 58 RNA genes is a part of the GenomicEncyclopedia of Bacteria and Archaea project.
59 BASIC BIOLOGICAL SCIENCES↗
Completeness map evaluation demonstrated with candidate next-generation cardiac CT architectures
Purpose: In this report, the authors introduce the general concept of the completeness map, as a means to evaluate the completeness of data acquired by a given CT system design (architecture and scan mode). They illustrate the utility of completeness map by applying the completeness map concept to a number of candidate CT system designs, as part of a study to advance the state-of-the-art in cardiac CT. Methods: In order to optimally reconstruct a point within a volume of interest (VOI), the Radon transform on all possible planes through that point should be measured. The authors quantified the extent to which this ideal condition is satisfied for the entire image volume. They first determined a Radon completeness number for each point in the VOI, as the percentage of possible planes that is actually measured. A completeness map is then defined as a 3D matrix of the completeness numbers for the entire VOI. The authors proposed algorithms to analyze the projection datasets in Radon space and compute the completeness number for a fixed point and apply these algorithms to various architectures and scan modes that they are evaluating. In this report, the authors consider four selected candidate architectures, operating with different scan modes, for a total of five system design alternatives. Each of these alternatives is evaluated using completeness map. Results: If the detector size and cone angle are large enough to cover the entire cardiac VOI, a single-source circular scan can have {>=}99% completeness over the entire VOI. However, only the central z-slice can be exactly reconstructed, which corresponds to 100% completeness. For a typical single-source architecture, if the detector is limited to an axial dimension of 40 mm, a helical scan needs about five rotations to form an exact reconstruction region covering the cardiac VOI, while a triple-source helical scan only requires two rotations, leading to a 2.5x improvement in temporal resolution. If the source and detector of an inverse-geometry (IGCT) system have the same axial extent, and the spacing of source points in the axial and transaxial directions is sufficiently small, the IGCT can also form an exact reconstruction region for the cardiac VOI. If the VOI can be covered by the x-ray beam in any view, a composite-circling scan can generate an exact reconstruction region covering the VOI. Conclusions: The completeness map evaluation provides useful information for selecting the next-generation cardiac CT system design. The proposed completeness map method provides a practical tool for analyzing complex scanning trajectories, where the theoretical image quality for some complex system designs is impossible to predict, without yet-undeveloped reconstruction algorithms.
46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
Improving Project Management with Simulation and Completion Distribution Functions
Despite the critical importance of project completion timeliness, management practices in place today remain inadequate for addressing the persistent problem of project completion tardiness. A major culprit in late projects is uncertainty, which most, if not all, projects are inherently subject to. This uncertainty resides in the estimates for activity durations, the occurrence of unplanned and unforeseen events, and the availability of critical resources. In response to this problem, this research developed a comprehensive simulation based methodology for conducting quantitative project completion time risk analysis. It is called the Project Assessment by Simulation Technique (PAST). This new tool enables project stakeholders to visualize uncertainty or risk, i.e. the likelihood of their project completing late and the magnitude of the lateness, by providing them with a completion time distribution function of their projects. Discrete event simulation is used within PAST to determine the completion distribution function for the project of interest. The simulation is populated with both deterministic and stochastic elements. The deterministic inputs include planned project activities, precedence requirements, and resource requirements. The stochastic inputs include activity duration growth distributions, probabilities for events that can impact the project, and other dynamic constraints that may be placed upon project activities and milestones. These stochastic inputs are based upon past data from similar projects. The time for an entity to complete the simulation network, subject to both the deterministic and stochastic factors, represents the time to complete the project. Repeating the simulation hundreds or thousands of times allows one to create the project completion distribution function. The Project Assessment by Simulation Technique was demonstrated to be effective for the on-going NASA project to assemble the International Space Station. Approximately $500 million per month is being spent on this project, which is scheduled to complete by 2010. NASA project stakeholders participated in determining and managing completion distribution functions produced from PAST. The first result was that project stakeholders improved project completion risk awareness. Secondly, using PAST, mitigation options were analyzed to improve project completion performance and reduce total project cost.
Cates, Grant R.↗
Completion Effects on Diagnosing Multistage Facture Treatments with Distributed Temperature Sensing
Summary Distributed temperature sensing (DTS) is a valuable tool to diagnose multistage hydraulic fracture treatments. When a stage interval is shut in, the clusters that take more fluid during pumping warm up more slowly. Therefore, the fluid volume injected into each cluster can be quantitatively interpreted by numerical inversion of the warm-back temperature behavior. This general concept assumes that the different warm-back behavior is controlled by only the injected fluid volume; however, recent observations of DTS data indicate that completion configurations significantly influence the warm-back behavior. This paper investigates the completion effects on the DTS interpretation. In ideal conditions, when a stage is fractured, the upstream stage intervals should show an almost uniform temperature that is close to the injected fluid temperature. This is due to the high fluid velocity of injected fluid in the wellbore, and the upstream intervals have not been perforated (noncommunicating intervals), so the only heat transfer is heat conduction between the wellbore fluid and the surrounding reservoir. But the field DTS data show considerably irregular variations in temperature along the upstream stage intervals. These variations are caused by the completion effects. The nonuniform temperature profile is caused by different heat transfer behavior induced by completion hardware along the production casing string, such as joints, clamps, and blast protectors, and by the sensing cable location in the cement, as well as the cement quality. Because the varying heat transfer behavior impacts the warm-back behavior as well as the temperature profile, the completion effects need to be considered in DTS interpretation. A method of DTS interpretation considering the completion effects to diagnose multistage fracture treatments was developed. Because the heat transfer between a wellbore and a reservoir depends on the overall heat transfer coefficient describing heat conduction through the completion in a forward model, this parameter needs to be tuned all along the wellbore. To calibrate the completion effect, the temperature inversion is conducted using the temperature measured at a stage interval that is upstream of a stage interval currently being treated. Because the interpreted stage interval is not perforated at that time, the thermal behavior at the noncommunicating interval is governed by only the heat conduction through the completion environment. Once the effective values of the overall heat transfer coefficient are estimated along the interpreted stage interval, they can be assumed to be constant physical parameters. Then, the fluid volume distribution is interpreted by using the effective overall heat transfer coefficient profile along each interval. This study provides a field application of the developed interpretation method. The new interpretation method provides more accurate diagnosis of fracture treatments by DTS interpretation.
Engineering↗
Evaluation of “Tight Oil” Well Performance and Completion Practices in the Powder River Basin - “Time Slice” Analysis
The objective of this paper is to assess how well completion practices and well performance have evolved over time (“time slices”) in the tight sands and shales of the Powder River Basin (PRB). This information can provide a foundation for helping operators define more effective well completion practices and thus optimize well performance in an emerging “tight oil” basin. To start, the authors assembled a “database” containing well completion practices, production data, and geologic information for more than 800 horizontal (Hz) wells targeting three “tight oil” formations -- Turner, Frontier, and Mowry--placed on production in the past dozen years. To control for the impact of geologic and reservoir properties on well performance, the authors defined 12 geologically distinct areas (“partitions”) for the Turner, Frontier, and Mowry Shale in the Powder River Basin (4 partitions in each formation). This paper discusses the methodology for establishing “time slices” for each partition within each of the three “tight oil” formations, including (1) taking out, to the extent practical, the effects of geology by partitioning the three “tight oil” formations based on their geologic parameters; (2) using type curves and estimated ultimate recoveries (EURs) to establish a reliable measure of well performance; and (3) rigorously inspecting the production and well completion data to assure a quality dataset. Partition #2, a high thermal maturity area of the Frontier Sandstone in the western Powder River Basin, helps illustrate the results of the study. Using a dataset of 55 Hz wells, the study found that well performance has steadily improved, with oil EURs increasing from 180 MBbl in 2012-13 to 290 MBbl in 2018-19. Much of this improvement was due to the use of longer Hz laterals, increasing notably from 3,765 ft in 2012-13 to 10,260 ft in 2018-19. More intensive completion practices contributed, as well. For example, the number of frac stages more than doubled, from 17 to 35, and proppant concentrations increased from 1,060 lbs/ft to 1,320 lbs/ft. Finally, the data show diminishing returns to longer laterals and more intensive completion practices. For example, the key performance measure of oil EUR per 1,000 ft of lateral is decreasing. For 2012-13, Hz wells recovered 50 MBbl of oil per 1,000 ft of lateral while the more recent 2018-19 Hz wells only provide 30 MBbl of oil per 1,000 ft of lateral. Considerable insight can be gained by using “time slices” and geologic partitioning to better understand the relationship between changes in well drilling and completion practices and changes in well performance in emerging “tight oil” plays. The results from this study can also serve as a foundation for subsequent, more intense efforts involving data analytics for defining more optimum well completion practices targeting specified geologic settings and formations.
02 PETROLEUM↗
A Demonstration that Correcting for Completeness and Reliability Is Critical for Robust Occurrence Rates
A measurement of planetary occurrence rates based on a planet catalog should be robust against details of how initial detections were classified as planets or false positives. This is accomplished by supplying the catalog’s rate of missed planets (completeness) and rate of non-planets incorrectly called planets (reliability). The final Kepler data release (DR25) includes products that can be used with the DR25 planet candidate catalog to correct for completeness and reliability in occurrence rate estimates. This is made possible by the Kepler Robovetter, which algorithmically and uniformly selects planets based on a variety of metrics and thresholds. Completeness, reliability, and occurrence rates potentially depend on these Robovetter thresholds. We study the impact of varying these vetting thresholds using the techniques of Bryson et al. 2019 (arXiv:1906.03575). We explore sets of thresholds that result in more or fewer planets (trading off completeness for reliability), as well as thresholds tuned to pass DR25 false positives identified as possible planets by the Kepler False Positive Working Group. We find that when correcting only for completeness, and not reliability, the resulting occurrence rates have a strong dependence on these threshold sets. For example, the value of SAG13 eta-Earth varies by over a factor of 4 when not corrected for reliability. However, when correcting for both completeness and reliability, occurrence rates using our threshold sets are statistically indistinguishable, with differences being well inside 1-sigma error bars. We present occurrence rates integrated over several period-radius ranges. For example, SAG13 eta-Earth is consistent with 0.127 (+0.094)(-0.054) (from Bryson et al. 2019) for all the Robovetter threshold sets. This result emphasizes the importance of correcting occurrence rates for both completeness and reliability. This suggests that inconsistent completeness and reliability correction may be a significant contributor to the large variation of occurrence rates in recent literature. We plan to make the Robovetter results for our threshold sets available, and encourage the community to use them to examine whether other occurrence rate methods yield similarly robust results.
Bryson, S.↗
Analysis of Completion Design Impact on Cluster Efficiency and Pressure-Based Well Communication in HFTS-2 Delaware Basin
The Hydraulic Fracturing Test Site 2 (HFTS-2) is a joint industry project in the Delaware basin to advance hydraulic fracturing understanding and improve productivity in shale reservoirs. The project integrates multi-disciplinary approaches to evaluate different completion designs, well spacing, inter-well communication, and stimulated rock volume, among other factors. This paper focused on two major areas related to hydraulic fracture performance. First, an analysis of different completion designs on cluster efficiency based on near well Distributed Acoustic Sensing (DAS). Second, an evaluation of well and completion designs on inter-well fracture driven interactions (FDIs) based on downhole pressure monitoring. Fluid/sand distribution and cluster efficiency analyses were based on near wellbore DAS data collected from two adjacent horizontal wells completed in two different landing zones in the Wolfcamp formation. These wells had different completion designs aiming to evaluate the effect of normal vs. extended stage lengths, perforation hole tapering and limited entry. Standard deviation from ideal fluid/sand distribution and waterfall plots were used to evaluate cluster efficiency for each design and stage. Inter-well FDIs analysis was conducted among the horizontal wells and a vertical monitor well. One horizontal well served as the monitor well while the other horizontal well was being treated. The vertical well was instrumented with downhole pressure and temperature gauges to aid monitoring fracture height growth. The pressure response during and after fracturing was characterized based on maximum pressure increase value and slope. Pressure response vs. FDIs trigger factors such distance, cluster efficiency and stage fluid volume were also analyzed. Based on the different completion and perforation designs tested, DAS analysis suggests that limited entry design worked best. Extreme limited entry showed the potential of high perforation erosion and reduced cluster efficiency. Here, the limited entry and tapered perforation design demonstrated potential to improve the cluster efficiency for extended stage lengths. Pressure monitoring across formation units proved to be critical to understand fracture interactions and fracture vertical growth. Pressure communication across different formation units during hydraulic fracturing operation indicate fractures grew upwards during Wolfcamp wells fracturing. However, this pressure communication dissipated over time. High intensity FDIs were recorded when the frac stages Downloaded from http://onepetro.org/URTECONF/proceedings-pdf/21URTC/1-21URTC/D011S018R001/2477607/urtec-2021-5289-ms.pdf/1 by Carol Worster on 28 February 2022 URTeC 5289 were closer to the pressure gauge location in the monitor wells. Some of these stages that produced high intensity FDIs also had high fluid volume per cluster and low cluster efficiency. The multi-disciplinary and high-quality data collected from HFTS-2 helped to further understand why completion approaches such as limited entry and tapered perforation design are successful in improving cluster efficiency. The DAS data combined with downhole high-resolution pressure measurements also helped to quantify the effect of lower cluster efficiency data on the incidence and intensity of FDIs.
58 GEOSCIENCES↗
Completion Design Considerations for a Horizontal Enhanced Geothermal System
The petroleum industry has had considerable success in recent decades in developing unconventional shale plays using horizontal drilling and multi-zonal isolation and stimulation techniques to fracture tight formations to enable the commercial production of oil and gas. Similar well completions could be used in Enhanced Geothermal Systems (EGS) to create multiple fractures from horizontal wells. This study assesses whether well completion techniques used in the unconventional shale industry to create multi-stage fractures can be applied to an enhanced geothermal system, with a focus on the completion of the EGS injection well. This study assumes an Enhanced Geothermal System (EGS) consisting of a central horizontal injection well flanked on each side by horizontal production wells, connected to the injection well by multiple fractures. The focus is on the design and completion of the horizontal well. For the purpose of developing design criteria, a reservoir temperature of 200 degrees C (392 degrees F) and an injection well flow rate of 87,000 barrels per day (160 kg/s), corresponding to production well flow rates of 43,500 barrels per day (80 kg/s) is assumed. The analysis found that 9-5/8 inches 53.5 pounds per foot (ppf) P110 casing string with premium connections meets all design criteria for the horizontal section of injection well. A P110 grade is fairly common and is often used in horizontal sections of shale development wells in petroleum operations. Next, several zonal isolation systems commonly used in the shale gas industry were evaluated. Three techniques were evaluated -- a 'plug and perf' design, a 'sand and perf' design, and a 'packer and port' design. A plug and perf system utilizes a cemented casing throughout the length of the injector wellbore. The sand and perf system is identical to the plug and perf system, but replaces packers with sand placed in the casing after stimulation to screen out the stimulated perforated zones and provide zonal isolation. The packer and port completion approach utilizes an open horizontal hole that zonally isolates areas through the use of external packers and a liner. A review of technologies used in these systems was performed to determine if commercially available equipment from the petroleum industry could be used at the temperatures, pressures, and sizes encountered in geothermal settings. The study found no major technical barriers to employing shale gas multi-zonal completion techniques in a horizontal well in a geothermal setting for EGS development. For all techniques considered, temperature limitations of equipment are a concern. Commercially available equipment designed to operate at the high temperatures encountered in geothermal systems are available, but is generally unproven for geothermal applications. Based on the study, further evaluation of adapting oil and gas completion techniques to EGS is warranted.
15 GEOTHERMAL ENERGY↗
Completable scheduling: An integrated approach to planning and scheduling
The planning problem has traditionally been treated separately from the scheduling problem. However, as more realistic domains are tackled, it becomes evident that the problem of deciding on an ordered set of tasks to achieve a set of goals cannot be treated independently of the problem of actually allocating resources to the tasks. Doing so would result in losing the robustness and flexibility needed to deal with imperfectly modeled domains. Completable scheduling is an approach which integrates the two problems by allowing an a priori planning module to defer particular planning decisions, and consequently the associated scheduling decisions, until execution time. This allows a completable scheduling system to maximize plan flexibility by allowing runtime information to be taken into consideration when making planning and scheduling decision. Furthermore, through the criteria of achievability placed on deferred decision, a completable scheduling system is able to retain much of the goal-directedness and guarantees of achievement afforded by a priori planning. The completable scheduling approach is further enhanced by the use of contingent explanation-based learning, which enables a completable scheduling system to learn general completable plans from example and improve its performance through experience. Initial experimental results show that completable scheduling outperforms classical scheduling as well as pure reactive scheduling in a simple scheduling domain.
Gervasio, Melinda T.↗
HFTS-2 Completions Design and State-of-the-Art Diagnostics Results
Various completion schemes were tested as part of the Hydraulic Fracture Test Site-2 (HFTS-2) project. The wells were instrumented with permanent fiber optic (FO) cable, and unique near-wellbore and far-field region surveys were acquired to evaluate spatial and temporal hydraulic fracture characteristics. The state-of-the-art diagnostics included substantial monitoring of both the well stimulation and longer-term production performance. The objective was to evaluate and improve stimulation distribution effectiveness (SDE) for different completion designs based on the diagnostics results. A hydraulic fracturing (HF) profile (i.e., proppant/fluid allocation among clusters) was obtained using near-wellbore Distributed Acoustic Sensing (DAS) data acquired during stimulation. Statistical analysis provided a quantitative assessment of SDE for the different completion designs. A novel workflow was developed to assess time-lapse fracture property changes at the cluster and stage levels based on Distributed Strain Sensing (DSS) data acquired during the production phase. These time-lapse fracture property changes were compared with the HF profile. Based on the statistical analysis, Rate Per Cluster (RPC) during proppant slurry placement appears to be a primary completion design variable, rather than the typical Rate Per Perf (RPP). If RPC was not maintained at a certain level, the likelihood of uneven distribution increased dramatically. The stage configurations that created low RPC while maintaining high RPP did not show improved SDE. The strain change results based on DSS data during the production phase indicated near-wellbore fracture property changes (e.g., aperture changes during well shut-in and flow periods) and aligned well with near-wellbore DAS signals acquired during stimulation. More importantly, fracture property changes based on DSS data acquired during two tests over a 7-month period show high consistency and good alignment with the near-wellbore HF profile. This workflow quantitatively evaluates SDE for different completion designs using diagnostic results and could help optimize completion strategy for future development projects. Here, the analysis and interpretation of results demonstrate the technical feasibility of using permanent fiber optic cable for stimulation and production monitoring and indic
58 GEOSCIENCES↗
EFFECTS OF DIFFUSE BACKGROUND EMISSION AND SOURCE CROWDING ON PHOTOMETRIC COMPLETENESS IN SPITZER SPACE TELESCOPE IRAC SURVEYS: THE GLIMPSE CATALOGS AND ARCHIVES
We characterize the completeness of point source lists from Spitzer Space Telescope surveys in the four Infrared Array Camera (IRAC) bandpasses, emphasizing the Galactic Legacy Infrared Mid-Plane Survey Extraordinaire (GLIMPSE) programs (GLIMPSE I, II, 3D, 360; Deep GLIMPSE) and their resulting point source Catalogs and Archives. The analysis separately addresses effects of incompleteness resulting from high diffuse background emission and incompleteness resulting from point source confusion (i.e., crowding). An artificial star addition and extraction analysis demonstrates that completeness is strongly dependent on local background brightness and structure, with high-surface-brightness regions suffering up to five magnitudes of reduced sensitivity to point sources. This effect is most pronounced at the IRAC 5.8 and 8.0 {mu}m bands where UV-excited polycyclic aromatic hydrocarbon emission produces bright, complex structures (photodissociation regions). With regard to diffuse background effects, we provide the completeness as a function of stellar magnitude and diffuse background level in graphical and tabular formats. These data are suitable for estimating completeness in the low-source-density limit in any of the four IRAC bands in GLIMPSE Catalogs and Archives and some other Spitzer IRAC programs that employ similar observational strategies and are processed by the GLIMPSE pipeline. By performing the same analysis on smoothed images we show that the point source incompleteness is primarily a consequence of structure in the diffuse background emission rather than photon noise. With regard to source confusion in the high-source-density regions of the Galactic Plane, we provide figures illustrating the 90% completeness levels as a function of point source density at each band. We caution that completeness of the GLIMPSE 360/Deep GLIMPSE Catalogs is suppressed relative to the corresponding Archives as a consequence of rejecting stars that lie in the point-spread function wings of saturated sources. This effect is minor in regions of low saturated star density, such as toward the Outer Galaxy; this effect is significant along sightlines having a high density of saturated sources, especially for Deep GLIMPSE and other programs observing closer to the Galactic center using 12 s or longer exposure times.
79 ASTRONOMY AND ASTROPHYSICS↗
Low-rank Tensor Completion for PMU Data Recovery
This paper proposes a tensor completion method for the recovery of missing phasor measurement unit (PMU) measurements. Tensor completion as the general case of matrix completion has attracted increasing attention in recent years. The imputation accuracy for the existing matrix completion methods may be significantly reduced when there are consecutive data losses across multiple data channels. To tackle this issue, we explore the multi-way characteristics of PMU measurements by using a tensor model. We leverage the low-rank property of the PMU measurements and formulate the missing PMU data recovery problem as a low-rank tensor completion problem. An efficient algorithm based on alternating direction method of multipliers (ADMM) is developed to solve the tensor completion problem. The experiments using the real PMU dataset show that the proposed method exhibits better imputation accuracy compared with the conventional data recovery methods.
Ghasemkhani, Amir↗
Application of Horizontal Well Completion Techniques to Enhanced Geothermal Systems: Final Report October 2015 - September 2016
The petroleum industry has had success in developing unconventional shale plays using horizontal drilling and multi-zonal isolation and stimulation techniques to fracture tight formations, thus enabling the commercial production of oil and gas. Wellbore similarity exists with enhanced geothermal system (EGS) proposals. The technologies and techniques from the petroleum industry are being stretched to accommodate the higher temperatures, high water flow rates, and large-diameter completions encountered in geothermal settings. In this study, we assess whether well completion techniques used in the unconventional shale industry to create multi-stage fractures can be applied to an enhanced geothermal system, focusing on the fracture construction and completion of the EGS production well. We reviewed technologies used in these systems to determine if commercially available equipment from the petroleum industry could be used at the temperatures, pressures, and sizes encountered in geothermal settings. Our study found no major technical barriers to employing shale gas multi-zonal completion techniques in a horizontal well in a geothermal setting for EGS development. Temperature limitations of equipment are a concern for all techniques considered. Equipment designed to operate at high temperatures encountered in geothermal systems is commercially available, but is generally unproven for geothermal applications. Based on our study, further evaluation is warranted on adapting oil and gas completion techniques to EGS. This project is a continuation of the FY14 Horizontal Geothermal Completion project sponsored by the U.S. Department of Energy through the National Renewable Energy Laboratory and the Colorado School of Mines.
15 GEOTHERMAL ENERGY↗
Completeness of the NASA/IPAC Extragalactic Database (NED) Local Volume Sample
We introduce the NASA/IPAC Extragalactic Database (NED) Local Volume Sample (NED-LVS), a subset of ~1.9 million objects with distances out to 1000 Mpc. We use UV and IR fluxes available in NED from all-sky surveys to derive physical properties, and estimate the completeness relative to the expected local luminosity density. The completeness relative to near-IR luminosities (which traces a galaxy's stellar mass) is roughly 100% at D < 30 Mpc and remains moderate (70%) out to 300 Mpc. For brighter galaxies (≳L * ), NED-LVS is ~100% complete out to ~400 Mpc. When compared to other local Universe samples (GLADE and HECATE), all three are ~100% complete below 30 Mpc. At distances beyond ~80 Mpc, NED-LVS is more complete than both GLADE and HECATE by ~10%–20%. NED-LVS is the underlying sample for the NED gravitational-wave follow-up service (NED-GWF), which provides prioritized lists of host candidates for GW events within minutes of alerts issued by the LIGO–Virgo–KAGRA collaboration. We test the prioritization of galaxies in the volume of GW170817 by three physical properties, where we find that both stellar mass and inverse specific star formation rate place the correct host galaxy in the top 10. In addition, NED-LVS can be used for a wide variety of other astrophysical studies: galaxy evolution, star formation, large-scale structure, galaxy environments, and more. The data in NED are updated regularly, and NED-LVS will be updated concurrently. Consequently, NED-LVS will continue to provide an increasingly complete sample of galaxies for a multitude of astrophysical research areas for years to come.
79 ASTRONOMY AND ASTROPHYSICS↗
Completeness Index for Earthquake-Induced Landslide Inventories
Understanding the global relation between Earthquake-Induced Landslides (EQILs) and the factors contributing to their initiation is still an open topic within the geomorphological community. Accessing EQIL inventories and analyzing them concerning their potential causes is the key to explore such relation. However, each of the existing EQIL inventories has its level of completeness and associated uncertainty which makes any unified relationship which is challenging to obtain. So far, the completeness of EQIL inventories has never been clearly defined. As a result, it has never been accounted for in global EQIL predictive models. In this technical note, we propose a simple definition for the completeness of EQIL inventories. We analyze 30 digital EQIL for 21 earthquakes and develop a semi-quantitative method to estimate the completeness level, which we refer to as Completeness Index (CI). The CI results from a combination of topographic factors, ground shaking parameters, and a measure derived from landslide size statistics. The proposed CI consists of Low, Moderate, and High completeness classes which can be used to evaluate any landslide inventory. We made the whole procedure to compute the CI accessible in an ArcGIS toolbox together with a test dataset.
Hakan Tanyas↗
Completing the Cleanup of the US Department of Energy's East Tennessee Technology Park - Four Years Early - 16067
On August 1, 2011, URS - CH2M Oak Ridge LLC (UCOR) began its $2.6 billion cleanup of the East Tennessee Technology Park (ETTP), the former Oak Ridge Gaseous Diffusion Plant, located on the U.S. Department of Energy's (DOE) Oak Ridge Reservation (ORR) in Tennessee. Under the contract, the scope of work to be completed includes demolition of all gaseous diffusion buildings, namely K-25, K-31 and K-27, as well as other facilities such as the Toxic Substance Control Act (TSCA) Incinerator, the K-1200 Centrifuge Complex and the K-1037 Barrier Plant. Additionally, UCOR will remove contaminated soils and treat contaminated groundwater. Waste generated by these cleanup activities will be disposed at onsite as well as offsite facilities. UCOR will also continue to manage hundreds of the DOE Oak Ridge Office of Environmental Management (OREM)-owned facilities across the ORR. Due largely to funding challenges early in the project, the DOE estimated in their October 2013 Program Plan 2014-2024 that ETTP cleanup would not be achieved until 2024, four years later than originally scheduled in UCOR's contract with the DOE. In November 2014, the DOE Manager for OREM, Susan Cange, publicly shared her 'vision' for ETTP cleanup by 2020, four years earlier than the DOE's current plan. As part of Vision 2020, all gaseous diffusion buildings would be demolished by the end of 2016. In response to Ms. Cange's vision, UCOR published a Strategic Plan describing how ETTP could be cleaned up by 2020, provided that a number of funding and programmatic and technical challenges could be overcome. UCOR is in the midst of implementing its Strategic Plan, and progress is being made to that end. Since assuming its responsibilities as the ETTP cleanup contractor, UCOR has completed its life-cycle Performance Measurement Baseline (PMB); received its Earned Value Management System (EVMS) certification; completed the D and D of the 44-acre K-25 and 17-acre K-31 gaseous diffusion buildings; completed the K-1070- B Burial Ground remediation project; completed RCRA closure of the TSCA Incinerator; and disposed of more than 541,411 cubic yards of cleanup waste while managing the on-site Environmental Management Waste Management Facility (EMWMF). In 2015, UCOR achieved safety 'Star Status' under the DOE's Voluntary Protection Program (VPP); completed the demolition of the K-31 gaseous diffusion building; advanced the characterization and deactivation of the K-27 gaseous diffusion building, readying the building for the start of demolition in 2016; and began characterization activities in the K-1037 Barrier Plant as well as a number of facilities in the Poplar Creek Area of the ETTP Site. Project performance through December 31, 2015, is as follows: Cost Performance Index - 1.12, Schedule Performance Index - 1.02. Since safety is the foundation of all cleanup work, UCOR's safety record goes hand-in-hand with its project performance. Through calendar year 2015, UCOR's recordable injury rate was 0.94 occurrences per 200,000 work hours, and the day away case rate was 0.31. These rates are both below the DOE and UCOR goals. (authors)
12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
Formal verification and validation of run-to-completion style state charts using Event-B
State chart notations with ‘run to completion’ semantics are popular with engineers for designing controllers that react to environment events with a sequence of state transitions but lack formal refinement and rigorous verification methods. State chart models are typically used to design complex control systems that respond to environmental triggers with a sequential process. The model is usually constructed at a concrete level and verified and validated using animation techniques relying on human judgement. Event-B, on the other hand, is based on refinement from an initial abstraction and is designed to make formal verification by automatic theorem provers feasible. Abstraction and formal verification provide greater assurance that critical (e.g. safety or security) properties are not violated by the control system. In this paper, we introduce a notion of refinement into a ‘run to completion’ state chart modelling notation and leverage Event-B’s tool support for theorem proving. We describe the difficulties in translating ‘run to completion’ semantics into Event-B refinements and suggest a solution. We illustrate our approach and show how models can be validated at different refinement levels using our scenario checker animation tools. We show how critical invariant properties can be verified by proof despite the reactive nature of the system and how behavioural aspects of the system can be verified by testing the expected reactions using a temporal logic, model checking approach. To verify liveness, we outline a proof that the run to completion is deadlock-free and converges to complete the run.
97 MATHEMATICS AND COMPUTING↗