Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Application Abstraction”

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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Modular horizontal pendulum wave energy converter: Exploring feasibility to power ocean observation applications in the U.S. pacific northwest

Abstract Marine renewable energy as a power source for ocean observation applications has the potential to allow longer deployment operations due to the consistent, higher, and denser energy available from this resource. This additionally could encourage deployments in remote locations where maintenance is costly or resource availability is low if dependent on solar power. More importantly, gaps in spatial data could be filled. This paper examines the feasibility of a modular horizontal pendulum wave energy converter to power National Data Buoy Center's Self‐Contained Ocean Observations Payload (SCOOP) off the coast of Washington State, U.S. The effect on power output was studied when the pendulum's radius arm, mass, and power take‐off damping were varied. Results using Matlab toolbox WEC‐Sim revealed positive correlation between radius arm length and mass to power output, where power maximised for optimal damping values. Seasonal trends in power were not significant, where a 20 kg pendulum mass was needed to meet the SCOOP base power requirement of 5 W throughout the year.

16 TIDAL AND WAVE POWER↗
NASA NTRS2003

Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design

Human interaction with a complex control system involves the user, the automation’s discrete mode logic, and the underlying continuous dynamics of the physical system. The user-interface of such systems always displays a reduced set of information about the entire system. Designing interfaces such that all the pertinent information is available and assuring that this information is correct is important for any user-interface, but especially so for safety-critical systems such as automotive systems and autopilots. Here we describe a methodology for the analysis of hybrid control systems that incorporate user interaction, with the goal of assuring that the information provided to the user is correct. That is, the user-interface must contain all information necessary to safely complete a desired procedure or task. We begin with a hybrid system model which incorporates discrete mode logic as well as nonlinear continuous dynamics. Using a hybrid computational tool for reachability, we find the largest region of the state-space in which we can guarantee the state of the system can always remain – this is the safe region of operation. By implementing a controller for safety which arises from this computation, we mathematically guarantee that this safe region is invariant, meaning that the system will always remain within the safe region if the determined controller is used on the boundary of the safe region. Verification within a hybrid framework allows us to account for the continuous dynamics underlying the discrete representations displayed to the user. Using the computed invariant regions as discrete states, we can abstract a discrete event system from this hybrid system with safety restrictions. This abstraction can be used to determine what information must be provided on the display. Furthermore, in cases in which an interface already exists, the abstraction provides the necessary input into existing interface verification methods. We provide two examples: a car traveling through a yellow light at an intersection and an aircraft autopilot in an automatic landing/go-around maneuver. The examples demonstrate the applicability of this methodology to hybrid systems that have operational constraints we can pose in terms of safety. This methodology differs from existing work in hybrid system verification in that we directly account for the user’s interactions with the system.

Meeko Oishi↗
DOE OSTI2023

Characterizing uncertainty in Community Land Model version 5 hydrological applications in the United States

Abstract Land surface models such as the Community Land Model Version 5 (CLM5) are essential tools for simulating the behavior of the terrestrial system. Despite the extensive application of CLM5, limited attention has been paid to the underlying uncertainties associated with its hydrological parameters and how these uncertainties affect water resource applications. To address this long-standing issue, we use five meteorological datasets to conduct a comprehensive hydrological parameter uncertainty characterization of CLM5 over the hydroclimatic gradients of the conterminous United States. Key datasets produced from the uncertainty characterization experiment include: a benchmark dataset of CLM5 default hydrological performance, parameter sensitivities for 28 hydrological metrics, and large-ensemble outputs for CLM5 hydrological predictions. The presented datasets will assist CLM5 calibration and support broad applications, such as evaluating drought and flood vulnerabilities. The datasets can be used to identify the hydroclimatological conditions under which parametric uncertainties demonstrate substantial effects on hydrological predictions and clarify where further investigations are needed to understand how hydrological prediction uncertainties interact with other Earth system processes.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2023

Entanglement-enhanced optomechanical sensor array with application to dark matter searches

Abstract Squeezed light has long been used to enhance the precision of a single optomechanical sensor. An emerging set of proposals seeks to use arrays of optomechanical sensors to detect weak distributed forces, for applications ranging from gravity-based subterranean imaging to dark matter searches; however, a detailed investigation into the quantum-enhancement of this approach remains outstanding. Here, we propose an array of entanglement-enhanced optomechanical sensors to improve the broadband sensitivity of distributed force sensing. By coherently operating the optomechanical sensor array and distributing squeezing to entangle the optical fields, the array of sensors has a scaling advantage over independent sensors (i.e., $$\sqrt{M}\to M$$ M → M , where M is the number of sensors) due to coherence as well as joint noise suppression due to multi-partite entanglement. As an illustration, we consider entanglement-enhancement of an optomechanical accelerometer array to search for dark matter, and elucidate the challenge of realizing a quantum advantage in this context.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
NASA NTRS1992

(abstract) A Broad-Band Microseismometer for Planetary Applications

There has recently been renewed interest in the development of instrumentation for making measurements on the surface of Mars. This is due to the Mars Environmental Survey (MESUR) Mission, for which approximately 16 small, long-lived (2 to 10 years), relatively inexpensive surface stations will be deployed in a planet-wide network. This will allow the investigation of processes (such as seismology and meteorology) which require the simultaneous measurement of phenomena at many widely spaced locations on the surface over a considerable length of time. Due to the large number of vehicles involved, the mass, power, and cost of the payload will be severely constrained. A seismometer has been identified as one of the highest priority instruments in the MESUR strawman payload.

Mars seismology sensors MESUR sensor network lande↗
NASA NTRS1986

A study of the use of abstract types for the representation of engineering units in integration and test applications

Physical quantities using various units of measurement can be well represented in Ada by the use of abstract types. Computation involving these quantities (electric potential, mass, volume) can also automatically invoke the computation and checking of some of the implicitly associable attributes of measurements. Quantities can be held internally in SI units, transparently to the user, with automatic conversion. Through dimensional analysis, the type of the derived quantity resulting from a computation is known, thereby allowing dynamic checks of the equations used. The impact of the possible implementation of these techniques in integration and test applications is discussed. The overhead of computing and transporting measurement attributes is weighed against the advantages gained by their use. The construction of a run time interpreter using physical quantities in equations can be aided by the dynamic equation checks provided by dimensional analysis. The effects of high levels of abstraction on the generation and maintenance of software used in integration and test applications are also discussed.

Johnson, Charles S.↗
NASA NTRSDate not supplied

A new template for developing C++ applications in NASA's Core Flight System

In this presentation, we will demonstrate an example Core Flight System (cFS) application written in C++, compatible with the Draco releases of the Core Flight Executive (cFE) and NASA Operating System Abstraction Layer (OSAL). The application boilerplate, supporting library, and associated generation script were recently developed and licensed under the permissive Apache License 2.0 with the goal of easing the cFS app development with C++. The design and features of this application will be presented, including a higher-level interface for interactions with the cFE software bus pipes, tables, and event services. Data structures are provided for centralized telecommand and telemetry parsing which isolates bookkeeping of message components from the calling code in an application's core logic. Specific advantages of writing a cFS application in C++ will be shown, including easier avoidance of symbol collisions via namespaces, expanded compile-time checks via constant expressions, default initialization for data structures, null safety via references, improved syntax for operating on multi-dimensional arrays, and reliable serialization of enumerations via enumeration classes. Special considerations needed for integrating a C++ application will be identified, including function linkage, exceptions, and stack unwinding. Evidence for the usefulness of this template will be discussed in the context of development of a flight software application used for interfacing with a solid-state data recorder.

Dominick Allen↗
DOE OSTI2025

Induced protein expression in Leptospira spp. and its application to CRISPR/Cas9 mutant generation

Abstract Expanding the genetic toolkit for Leptospira spp. is a crucial step toward advancing our understanding of the biology and virulence of these atypical bacteria. Pathogenic Leptospiraare responsible for over 1 million human leptospirosis cases annually and significantly impact domestic animals. Bovine leptospirosis causes substantial financial losses due to abortion, stillbirths, and suboptimal reproductive performance. The advent of the CRISPR/Cas9 system has marked a turning point in genetic manipulation, with applications across multiple Leptospira species. However, incorporating controlled protein expression into existing genetic tools could further expand their utility. We developed and demonstrated the functionality of IPTG-inducible heterologous protein expression in Leptospira spp. This system was applied for regulated expression of dead Cas9 (dCas9) to generate knockdown mutants, and Cas9 to produce knockout mutants by inducing double-strand breaks (DSB) into desired targets. IPTG-induced dCas9 expression enabled validation of essential genes and non-coding RNAs. Additionally, IPTG-controlled Cas9 expression combined with a constitutive non-homologous end-joining (NHEJ) system allowed for successful recovery of knockout mutants, even in the absence of IPTG. These newly controlled protein expression systems will advance studies on the basic biology and virulence ofLeptospira, as well as facilitate knockout mutant generation for improved veterinary vaccines.

Science & Technology - Other Topics↗
DOE OSTI2020

Leveraging operational information from wastewater injection wells to evaluate CO 2 injection performance for carbon storage applications in the Appalachian Basin

Abstract Geologic parameters, geophysical logging, injection testing, and operational metrics from wastewater injection wells were integrated to develop a preliminary design of a carbon storage facility in the Appalachian Basin. A scattered group of 10–20 commercial wastewater injection wells dispose off produced water from oil and gas wells in the region, utilizing a sequence of stacked deep saline formations for injection zones. These wastewater injection wells provide practical benchmarks for understanding the feasibility of carbon dioxide (CO 2 ) storage. Geologic models were developed based on characterization data from the wastewater injection wells. Reservoir simulations were calibrated according to injection testing and operational data from the wastewater injection wells. Long‐term operational data on injection flow rates and pressures measured in the wastewater injection wells were especially useful to evaluate the performance of carbon storage applications. The simulations were used to estimate injection pressures, radius of CO 2 saturation, and pressure response for industrial scale CO 2 storage applications. Results were also used to provide a design basis in terms of number of injection wells, well spacing, area of review, injection system components, monitoring plan, and CO 2 pipeline distribution system. The analysis demonstrates that there is sufficient injectivity in the deep saline formations in the west‐central Appalachian Basin to store commercial volumes of anthropogenic CO 2 . The geologic system appears suitable for supporting CO 2 injection rates of 0.5–1.0 million metric tons per year at injection pressures below formation fracture pressure in a single well. The long‐term operational data of wastewater injection wells within the study area suggested a lower permeability‐thickness values than indicated by initial reservoir tests. A workflow for developing realistic permeability values for input into reservoir simulations is presented. © 2020 Society of Chemical Industry and John Wiley & Sons, Ltd.

Valluri, Manoj↗
DOE OSTI2024

Density estimation via measure transport: Outlook for applications in the biological sciences

Abstract One among several advantages of measure transport methods is that they allow or a unified framework for processing and analysis of data distributed according to a wide class of probability measures. Within this context, we present results from computational studies aimed at assessing the potential of measure transport techniques, specifically, the use of triangular transport maps, as part of a workflow intended to support research in the biological sciences. Scenarios characterized by the availability of limited amount of sample data, which are common in domains such as radiation biology, are of particular interest. We find that when estimating a distribution density function given limited amount of sample data, adaptive transport maps are advantageous. In particular, statistics gathered from computing series of adaptive transport maps, trained on a series of randomly chosen subsets of the set of available data samples, leads to uncovering information hidden in the data. As a result, in the radiation biology application considered here, this approach provides a tool for generating hypotheses about gene relationships and their dynamics under radiation exposure.

gene expression data↗
DOE OSTI2023

Generalized filtered lifting line theory for arbitrary chord lengths and application to wind turbine blades

Abstract The filtered lifting line theory is an analytical approach used to solve the equations of flow subjected to body forces with a Gaussian distribution, such as used in the actuator line model. In the original formulation, the changes in chord length along the blade were assumed to be small. This assumption can lead to errors in the induced velocities predicted by the theory compared to full solutions of the equations. In this work, we revisit the original derivation and provide a more general formulation that can account for significant changes in chord along the blade. The revised formulation can be applied to wings with significant changes in chord along the span, such as wind turbine blades.

17 WIND ENERGY↗
DOE OSTI2024

Even-point multi-loop unitarity and its applications: exponentiation, anomalies and evanescence

Abstract We identify novel structure in newly computed multi-loop amplitudes and quantum actions for even-point effective field theories, including both the nonlinear sigma model (NLSM) and double-copy gauge theories such as Born-Infeld and its supersymmetric generalizations. We exploit special properties of all even-point theories towards establishing an efficient unitarity based amplitude construction. In doing so, we find evidence that the leading IR divergence of NLSM amplitudes exponentiates when the target space is$$ \mathbbm{CP} $$ CP 1 ≅ SU(2)/U(1). We then systematically compute the two-loop anomalous behavior of Born-Infeld, and find that the counterterms needed to restore U(1) invariant behavior at loop-level can be constructed via a symmetric-structure double-copy. We also demonstrate that the divergent part of the one-minus (−+++) two-loop anomaly vanishes upon introducing an evanescent operator. In addition to these purely photonic counterterms, we verify through explicit calculation that the anomalous matrix elements that violate U(1) duality invariance can be alternatively cancelled by summing over internal$$ \mathcal{N} $$ N = 4 DBIVA superfields. Finally we find that$$ \mathcal{N} $$ N = 4 Dirac-Born-Infeld-Volkov-Akulov (DBIVA) amplitudes admit double-copy construction through two-loop order by reproducing our unitarity based result with a double copy between color-dual$$ \mathcal{N} $$ N = 4 super-Yang-Mills and our two-loop NLSM amplitudes. This result supports the possibility of color-dual representations for NLSM beyond one-loop. We conclude with an overview of howD-dimensional four-photon counterterms can be constructed in generality with the symmetric-structure double-copy, and outline a convenient way of counting evanescent operators using Hilbert series as generating functions.

Physics↗
DOE OSTI2020

Physically Interpretable Neural Networks for the Geosciences: Applications to Earth System Variability

Abstract Neural networks have become increasingly prevalent within the geosciences, although a common limitation of their usage has been a lack of methods to interpret what the networks learn and how they make decisions. As such, neural networks have often been used within the geosciences to most accurately identify a desired output given a set of inputs, with the interpretation of what the network learns used as a secondary metric to ensure the network is making the right decision for the right reason. Neural network interpretation techniques have become more advanced in recent years, however, and we therefore propose that the ultimate objective of using a neural network can also be the interpretation of what the network has learned rather than the output itself. We show that the interpretation of neural networks can enable the discovery of scientifically meaningful connections within geoscientific data. In particular, we use two methods for neural network interpretation called backward optimization and layerwise relevance propagation, both of which project the decision pathways of a network back onto the original input dimensions. To the best of our knowledge, LRP has not yet been applied to geoscientific research, and we believe it has great potential in this area. We show how these interpretation techniques can be used to reliably infer scientifically meaningful information from neural networks by applying them to common climate patterns. These results suggest that combining interpretable neural networks with novel scientific hypotheses will open the door to many new avenues in neural network‐related geoscience research.

58 GEOSCIENCES↗
DOE OSTI2021

SeismoGen: Seismic Waveform Synthesis Using GAN With Application to Seismic Data Augmentation

Abstract Detecting earthquake arrivals within seismic time series can be a challenging task. Visual, human detection has long been considered the gold standard but requires intensive manual labor that scales poorly to large data sets. In recent years, automatic detection methods based on machine learning have been developed to improve the accuracy and efficiency. However, the accuracy of those methods relies on access to a sufficient amount of high‐quality labeled training data, often tens of thousands of records or more. We aim to resolve this dilemma by answering two questions: (1) provided with a limited amount of reliable labeled data, can we use them to generate additional, realistic synthetic waveform data? and (2) can we use those synthetic data to further enrich the training set through data augmentation, thereby enhancing detection algorithms? To address these questions, we use a generative adversarial network (GAN), a type of machine learning model which has shown supreme capability in generating high‐quality synthetic samples in multiple domains. Once trained, our GAN model is capable of producing realistic seismic waveforms of multiple labels (noise and event classes). Applied to real Earth seismic data sets in Oklahoma, we show that data augmentation from our GAN‐generated synthetic waveforms can be used to improve earthquake detection algorithms in instances when only small amounts of labeled training data are available.

Wang, Tiantong↗
DOE OSTI2024

Thermoelastic Properties of Fe 3+ ‐Rich Jeffbenite and Application to Superdeep Diamond Barometry

Abstract Jeffbenite (Mg 3 Al 2 Si 3 O 12 ) is a tetragonal phase found in so far only in superdeep diamonds, and its thermoelastic parameters are a prerequisite for determining entrapment pressures as it is regarded as a potential indicator for superdeep diamonds. In this study, the thermoelastic properties of synthetic Fe 3+ ‐jeffbenite were measured up to 33.7 GPa and 750 K. High‐temperature static compression data were fitted, giving ( ∂K T 0 / ∂ T ) P = −0.0107 (4) GPa/K and α T = 3.50 (3) × 10 −5 K −1 . The thermoelastic properties and phase stability are applied to modeling isomekes, or P‐T paths intersecting possible conditions of entrapment in diamond. We calculate that under ideal exhumation, jeffbenite entrapped at mantle transition zone conditions will exhibit a high remnant pressure at 300 K ( P inc ) of ∼5.0 GPa. Elastic geobarometry on future finds of jeffbenite inclusions can use the new equation of state to estimate entrapment pressures for this phase with still highly uncertain stability field in the mantle.

Geology↗
DOE OSTI2024

Nanosecond anomaly detection with decision trees and real-time application to exotic Higgs decays

Abstract We present an interpretable implementation of the autoencoding algorithm, used as an anomaly detector, built with a forest of deep decision trees on FPGA, field programmable gate arrays. Scenarios at the Large Hadron Collider at CERN are considered, for which the autoencoder is trained using known physical processes of the Standard Model. The design is then deployed in real-time trigger systems for anomaly detection of unknown physical processes, such as the detection of rare exotic decays of the Higgs boson. The inference is made with a latency value of 30 ns at percent-level resource usage using the Xilinx Virtex UltraScale+ VU9P FPGA. Our method offers anomaly detection at low latency values for edge AI users with resource constraints.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Phase diagram of a distorted kagome antiferromagnet and application to Y-kapellasite

Abstract We investigate the magnetism of a previously unexplored distorted spin-1/2 kagome model consisting of three symmetry-inequivalent nearest-neighbor antiferromagnetic Heisenberg couplings J ⬡ , J , and $$J^{\prime}$$ J ′ , and uncover a rich ground state phase diagram even at the classical level. Using analytical arguments and numerical techniques we identify a collinear $$\overrightarrow{Q}=0$$ Q → = 0 magnetic phase, two unusual non-collinear coplanar $$\overrightarrow{Q}=(1/3,1/3)$$ Q → = ( 1 / 3 , 1 / 3 ) phases and a classical spin liquid phase with a degenerate manifold of non-coplanar ground states, resembling the jammed spin liquid phase found in the context of a bond-disordered kagome antiferromagnet. We further show with density functional theory calculations that the recently synthesized Y-kapellasite Y 3 Cu 9 (OH) 19 Cl 8 is a realization of this model and predict its ground state to lie in the region of $$\overrightarrow{Q}=(1/3,1/3)$$ Q → = ( 1 / 3 , 1 / 3 ) order, which remains stable even after the inclusion of quantum fluctuation effects within variational Monte Carlo and pseudofermion functional renormalization group. The presented model opens a new direction in the study of kagome antiferromagnets.

36 MATERIALS SCIENCE↗