Engineering Papers⌕ Search

SEARCH · Engineering Papers

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.

At least 37 records · Page 2

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↗

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↗

Enhanced Tensor Completion Based Approaches for State Estimation in Distribution Systems

Grid state estimation is essential for effective control and management of distribution systems. While weighted least squares has been the conventional method for state estimation, sparsity-aware methods have become popular due to their superior performance with limited data. Matrix completion and compressed sensing-based state estimation approaches exploit the underlying smoothness in the state variables. However, classic matrix completion methods do not take into account the temporal correlation of system states. Compressed sensing methods, on the other hand, require an appropriate choice of sparsifying basis that may not be easy to identify. This paper proposes a blocktensor completion based framework which uses an alternative approach to estimate voltage phasor, power injections and branch currents. This approach utilizes the temporal correlation of the system states in a tensor trace-norm minimization formulation with power flow equations as constraints. Herein, feature scaling is introduced in the problem formulation to benefit from the improved sensitivity of the tensor trace norm to the matrix columns in the scaled unfoldings of the tensor. Weighted tensor norm is utilized to exploit the structures of the different unfoldings of the state measurement tensor to improve the voltage estimation. The estimation accuracy is further improved by alternatively estimating the tensor columns and increasing the available data at each stage in the tensor completion process. The proposed methods are evaluated on the IEEE-33, 37 test systems and a 100- node test system. The proposed methods are shown to provide significant performance gains relative to the classic matrix and tensor completion based approaches.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Joint Optimization of Well Completions and Controls for CO 2 Enhanced Oil Recovery and Storage

CO 2 storage through CO 2 enhanced oil recovery (EOR) is considered as one of the technologies to help promote larger scale deployment of CO 2 storage because of associated economic benefits through oil recovery, 45Q tax credits and the utilization of existing infrastructure. The objective of this study is to demonstrate how optimal reservoir management and operation strategies (including well completions and controls) can be used to optimize both CO 2 storage and oil recovery. The optimization problem was focused on jointly estimating the well completions (i.e., fraction of injection/production well perforations in each reservoir layer) and CO 2 injection/oil production controls that maximize the net present value (NPV) in a CO 2 EOR and storage operation. We utilized the newly developed StoSAG algorithm, one of the most efficient optimization algorithms in the reservoir management community, to solve the optimization problem. The performance of joint optimization approach was compared with the performance of well control only optimization approach. In addition, the performance of co-optimization of CO 2 storage and oil recovery approach was compared with the performances of maximization of only CO 2 storage and maximization of only oil recovery approaches. The optimization results showed that a joint optimization of well completions and well controls can achieve an 8.84% higher final NPV than the one obtained from the optimization of only well controls. It was observed that the NPV incremental for joint optimization is mainly due to the fact that the optimal well completions and controls approach results in efficient CO 2 storage and oil production from different reservoir layers depending on the differences in individual layer properties. Comparison of co-optimization (i.e., maximization of NPV) and maximization of only CO 2 storage or only oil recovery showed that the co-optimization and maximization of only oil recovery result in significantly higher final NPV than that obtained through maximization of only CO 2 storage approach while maximization of only CO 2 storage can achieve significantly higher CO 2 storage in the reservoir compared to the other two scenarios. The similar results for co-optimization and maximization of oil production are obtained because of the difference in oil revenue compared to CO 2 storage tax credit. To the best of our knowledge, this is the first study in oil/gas industry and CO 2 storage community to perform joint optimization of well completions and well controls in the fields. We expect that the proposed optimization framework will be a useful and efficient tool for field engineers to optimally manage CO 2 EOR projects to maximize revenue through oil recovery as well as CO 2 storage by taking advantage of the new 45Q tax law.

Artificial intelligence↗

Non-invertible global symmetries and completeness of the spectrum

It is widely believed that consistent theories of quantum gravity satisfy two basic kinematic constraints: they are free from any global symmetry, and they contain a complete spectrum of gauge charges. For compact, abelian gauge groups, completeness follows from the absence of a 1-form global symmetry. However, this correspondence breaks down for more general gauge groups, where the breaking of the 1-form symmetry is insufficient to guarantee a complete spectrum. We show that the correspondence may be restored by broadening our notion of symmetry to include non-invertible topological operators, and prove that their absence is sufficient to guarantee a complete spectrum for any compact, possibly disconnected gauge group. In addition, we prove an analogous statement regarding the completeness of twist vortices: codimension-2 objects defined by a discrete holonomy around their worldvolume, such as cosmic strings in four dimensions. We discuss how this correspondence is modified in various, more general contexts, including non-compact gauge groups, Higgsing of gauge theories, and the addition of Chern-Simons terms. Finally, we discuss the implications of our results for the Swampland program, as well as the phenomenological implications of the existence of twist strings.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

CheckV assesses the quality and completeness of metagenome-assembled viral genomes

Abstract Millions of new viral sequences have been identified from metagenomes, but the quality and completeness of these sequences vary considerably. Here we present CheckV, an automated pipeline for identifying closed viral genomes, estimating the completeness of genome fragments and removing flanking host regions from integrated proviruses. CheckV estimates completeness by comparing sequences with a large database of complete viral genomes, including 76,262 identified from a systematic search of publicly available metagenomes, metatranscriptomes and metaviromes. After validation on mock datasets and comparison to existing methods, we applied CheckV to large and diverse collections of metagenome-assembled viral sequences, including IMG/VR and the Global Ocean Virome. This revealed 44,652 high-quality viral genomes (that is, >90% complete), although the vast majority of sequences were small fragments, which highlights the challenge of assembling viral genomes from short-read metagenomes. Additionally, we found that removal of host contamination substantially improved the accurate identification of auxiliary metabolic genes and interpretation of viral-encoded functions.

59 BASIC BIOLOGICAL SCIENCES↗

On completeness and generalized symmetries in quantum field theory

We review a notion of completeness in QFT arising from the analysis of basic properties of the set of operator algebras attached to regions. In words, this completeness asserts that the physical observable algebras produced by local degrees of freedom are the maximal ones compatible with causality. We elaborate on equivalent statements to this completeness principle such as the non-existence of generalized symmetries and the uniqueness of the net of algebras. We clarify that for non-complete theories, the existence of generalized symmetries is unavoidable and further that they always come in dual pairs with precisely the same “size”. Moreover, the dual symmetries are always broken together, be it explicitly or effectively. Finally, we comment on several issues raised in recent literature, such as the relationship between completeness and modular invariance, dense sets of charges, and absence of generalized symmetries in the bulk of holographic theories.

Astronomy & Astrophysics↗

Los Alamos National Laboratory Meteorology Monitoring Program: 2019 Data Completeness (Quality Report)

This report summarizes data completeness by tower and by instrument for 2019 and compares that data with the Los Alamos National Laboratory (LANL) and the ANSI/ANS-3.11-2015 standard. This report is designed to make data users aware of data completeness and any data quality issues. LANL meteorology monitoring goals include 95% completeness for all measurements. The ANS 2015 standard requires 90% completeness for all measurements. This report documents instrument/tower issues as they impact data completeness.

54 ENVIRONMENTAL SCIENCES↗

Multiphase complete exchange on Paragon, SP2 and CS-2

The overhead of interprocessor communication is a major factor in limiting the performance of parallel computer systems. The complete exchange is the severest communication pattern in that it requires each processor to send a distinct message to every other processor. This pattern is at the heart of many important parallel applications. On hypercubes, multiphase complete exchange has been developed and shown to provide optimal performance over varying message sizes. Most commercial multicomputer systems do not have a hypercube interconnect. However, they use special purpose hardware and dedicated communication processors to achieve very high performance communication and can be made to emulate the hypercube quite well. Multiphase complete exchange has been implemented on three contemporary parallel architectures: the Intel Paragon, IBM SP2 and Meiko CS-2. The essential features of these machines are described and their basic interprocessor communication overheads are discussed. The performance of multiphase complete exchange is evaluated on each machine. It is shown that the theoretical ideas developed for hypercubes are also applicable in practice to these machines and that multiphase complete exchange can lead to major savings in execution time over traditional solutions.

Bokhari, Shahid H.↗

Absolute measures of the completeness of the fossil record

Measuring the completeness of the fossil record is essential to understanding evolution over long timescales, particularly when comparing evolutionary patterns among biological groups with different preservational properties. Completeness measures have been presented for various groups based on gaps in the stratigraphic ranges of fossil taxa and on hypothetical lineages implied by estimated evolutionary trees. Here we present and compare quantitative, widely applicable absolute measures of completeness at two taxonomic levels for a broader sample of higher taxa of marine animals than has previously been available. We provide an estimate of the probability of genus preservation per stratigraphic interval, and determine the proportion of living families with some fossil record. The two completeness measures use very different data and calculations. The probability of genus preservation depends almost entirely on the Palaeozoic and Mesozoic records, whereas the proportion of living families with a fossil record is influenced largely by Cenozoic data. These measurements are nonetheless highly correlated, with outliers quite explicable, and we find that completeness is rather high for many animal groups.

Non-NASA Center↗

NASA’s Space Launch System: Exploration Mission-1 Hardware Nears Completion

The Space Launch System (SLS) Program completed several significant production milestones in 2018 for the launch vehicle’s first mission (Fig. 1) and is poised for greater accomplishments in 2019. With manufacturing and hardware installation finished, Boeing completed the core stage forward join and shipped the liquid hydrogen tank structural test article to Marshall Space Flight Center for testing. The core stage aft join and LOX tank STA are expected to be completed in 2019 on the way to final stage integration. The four EM-1 engines are poised for stage integration in 2019. The Launch Vehicle Stage Adapter completed outfitting at Marshall and will be shipped to Kennedy Space Center in 2019. All solid rocket motor segments for the EM-1 boosters are cast, inspected and ready for shipment to KSC. The upper stage, the Interim Cryogenic Propulsion Stage (ICPS), and the Orion Stage Adapter (OSA), where 13 6U CubeSats will ride to deep space on EM-1, were completed and delivered to Exploration Ground Systems at KSC in 2017 and 2018, respectively. The Program continues to work toward first launch of the nation’s new super heavy lift deep space capability in fiscal 2020. SLS is designed, engineered and tested to launch the most challenging exploration missions, minimizing risk and providing the greatest opportunity for mission success. This paper will discuss the technical and programmatic successes and challenges of the past year and look ahead to plans for 2019.

Honeycutt, John↗

NASA’s Space Launch System: First Mission Hardware Nears Completion

The Space Launch System (SLS) Program (Fig. 1) completed several significant production milestones in 2018 for its first mission and is poised for greater accomplishments in 2019. With manufacturing and hardware installation complete, Boeing completed the core stage forward join and shipped the liquid hydrogen tank structural test article to Marshall Space Flight Center for testing. The core stage aft join and LOX tank STA are expected to be completed in 2019 on the way to final stage integration. The four EM-1 engines are poised for stage integration in 2019. The Launch Vehicle Stage Adapter completed outfitting at Marshall and will be shipped to Kennedy Space Center in 2019. All solid rocket motor segments for the EM-1 boosters are cast, inspected and ready for shipment to KSC. The Program continues to work toward first launch of the nation’s new super heavy lift deep space capability in fiscal 2020. SLS is designed, engineered and tested to launch the most challenging exploration missions, minimizing risk and providing the greatest opportunity for mission success and scientific discovery. This paper will discuss the technical and programmatic successes and challenges of the past year and look ahead to plans for 2019.

Honeycutt, John↗

Matrix Completion Using Alternating Minimization for Distribution System State Estimation

This paper examines the problem of state estimation in power distribution systems under low-observability conditions. The recently proposed constrained matrix completion method which combines the standard matrix completion method and power flow constraints has been shown to be effective in estimating voltage phasors under low-observability conditions using single-snapshot information. However, the method requires solving a semidefinite programming (SDP) problem, which becomes computationally infeasible for large systems and if multiple-snapshot (time-series) information is used. This paper proposes an efficient algorithm to solve the constrained matrix completion problem with time-series data. This algorithm is based on reformulating the matrix completion problem as a bilinear (non-convex) optimization problem, and applying the alternating minimization algorithm to solve this problem. This paper proves the summable convergence of the proposed algorithm, and demonstrates its efficacy and scalability via IEEE 123-bus system and a real utility feeder system. This paper also explores the value of adding more data from the history in terms of computation time and estimation accuracy.

41 EE - Solar Energy Technologies Office (EE-4S)↗

Matrix Completion Using Alternating Minimization for Distribution System State Estimation: Preprint

This paper examines the problem of state estimation in power distribution systems under low-observability conditions. The recently proposed constrained matrix completion method which combines the standard matrix completion method and power flow constraints has been shown to be effective in estimating voltage phasors under low-observability conditions using single-snapshot information. However, the method requires solving a semidefinite programming (SDP) problem, which becomes computationally infeasible for large systems and if multiple-snapshot (time-series) information is used. This paper proposes an efficient algorithm to solve the constrained matrix completion problem with time-series data. This algorithm is based on reformulating the matrix completion problem as a bilinear (non-convex) optimization problem, and applying the alternating minimization algorithm to solve this problem. This paper proves the summable convergence of the proposed algorithm, and demonstrates its efficacy and scalability via IEEE 123-bus system and a real utility feeder system. This paper also explores the value of adding more data from the history in terms of computation time and estimation accuracy.

41 EE - Solar Energy Technologies Office (EE-4S)↗

Mechanisms of Complete Dissociation of CO 2 on Iron Clusters

Dissociation of CO 2 on iron clusters was studied by using semilocal density functional theory and basis sets of triple-zeta quality. Fe 2 , Fe 4 , and Fe 16 clusters were selected as the representative host clusters. When searching for isomers of Fe n CO 2 , n=2, 4 and 16 corresponding to carbon dioxide attachment to the host clusters, its reduction to O and CO, and to the complete dissociation, it was found that the total spin magnetic moments of the lowest energy states of the isomers are often quenched with respect to those of initial reagents Fe n +CO 2 . Dissociation pathways of the Fe 2 +CO 2 , Fe 4 +CO 2 , and Fe 16 +CO 2 reactions contain several transition states separated by the local minima states; therefore, a natural question is where do the spin flips occur? Since lifetimes of magnetically excited states were shown to be of the order of 100 fs, the search for the CO 2 dissociation pathways was performed under the assumption that magnetic deexcitation may occur at the intermediate local minima. Two dissociation pathways were obtained for each Fe n +CO 2 reaction using the gradient-based methods. It was found that the Fe 2 +CO 2 reaction is endothermic with respect to both reduction and complete dissociation of CO 2 , whereas the Fe 4 +CO 2 and Fe 16 +CO 2 reactions are exothermic to both reduction and complete dissociation of carbon dioxide. Finally, the CO 2 reduction was found to be more favorable than its complete dissociation in the Fe 4 case.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗