Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “leverage points”

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 289 records · Page 16

Towards Automated Reasoning Chains for Verification of LLM-Generated Scientific Code

With the rise of Large Language Model (LLM) generated code, including in domains like scientific computing, ensuring not only syntactical, but also mathematical correctness, has become a critical task. Traditional formal methods approaches often struggle with the ambiguity of floating-point code, and full symbolic execution is extremely costly and limited. We propose a chain-of-reasoning approach that iteratively lifts basic semantics from code into the SPIRAL system and then establishes numerical equivalency to the desired mathematical operation. Here, we leverage the ample mathematical knowledge already formalized in SPIRAL to enable the system to recognize not just different implementations of the same algorithm but fully separate approaches to solving the given problem. The chain establishes tight error bounds on the output of given code with respect to the true continuous solution it approximates, quantifying all sources of error. We demonstrate this approach by establishing the correctness of a pseudospectral solver for a simple 1-dimensional Poisson problem.

Oschatz, Quentin [Carnegie Mellon University,Pitts↗

Throughput-Oriented and Accuracy-Aware DNN Training with BFloat16 on GPU

Deep Neural Networks (DNNs) have transformed the field of artificial intelligence and achieved extraordinary success in many areas. The training of DNNs is commonly compute and memory-intensive, which has resulted in several optimizations in the training phase. Among them, reduced precision is a typical and widely used technique to accelerate DNN training and reduce memory requirements. However, applying a widely adopted reduced precision format such as Float16 to all involved operations in DNN training is not optimal as the use of Float16 in some operations can hurt model accuracy. Meanwhile, additional optimizations including loss scaling and autocast techniques can mitigate the accuracy loss but lead to inherent overhead and inadequate use of reduced precision. In this work, we leverage another reduced precision format, BFloat16, and introduce a throughput-oriented and accuracy-aware approach to maximize the performance potential of DNN training. Since the high throughput provided by BFloat16 format is accompanied by low precision of the floating-point representation, this approach achieves high throughput by using BFloat16 on all DNN operations and avoids the accuracy loss through a customized accuracy-aware normalization. Results show that our approach outperforms the state-of-the-art mixed-precision training by 1.21x on an NVIDIA A100 GPU.

Xie, Zhen↗

Selective Sampling for Sensor Type Classification in Buildings

A key barrier to applying any smart technology to a building is the requirement of locating and connecting to the necessary resources among the thousands of sensing and control points, i.e., the metadata mapping problem. Existing solutions depend on exhaustive manual annotation of sensor metadata --- a laborious, costly, and hardly scalable process. To reduce the amount of manual effort required, this paper presents a multi-oracle selective sampling framework to leverage noisy labels from information sources with unknown reliability such as existing buildings, which we refer to as weak oracles, for metadata mapping. This framework involves an interactive process, where a small set of sensor instances are progressively selected and labeled for it to learn how to aggregate the noisy labels as well as to predict sensor types. Two key challenges arise in designing the framework, namely, weak oracle reliability estimation and instance selection for querying. To address the first challenge, we develop a clustering-based approach for weak oracle reliability estimation to capitalize on the observation that weak oracles perform differently in different groups of instances. For the second challenge, we propose a disagreement-based query selection strategy to combine the potential effect of a labeled instance on both reducing classifier uncertainty and improving the quality of label aggregation. We evaluate our solution on a large collection of real-world building sensor data from 5 buildings with more than 11,000 sensors of 18 different types. The experiment results validate the effectiveness of our solution, which outperforms a set of state-of-the-art baselines.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

WHOLESCALE: Coordinates of wells at San Emidio, Nevada

This dataset includes position coordinates and elevation information for wells at the WHOLESCALE San Emidio project location. Well positions in the attached file are characterized by UTM coordinates (Easting, Northing) in meters, and WHOLESCALE coordinates (Easting, Northing) relative in meters from a chosen reference point. The elevation of the top and bottom of open intervals within each well (representing locations of perforated or open-hole sections) are measured in meters (positive) above WGS84 geoid (mean sea level). The WHOLESCALE acronym stands for Water & Hole Observations Leverage Effective Stress Calculations and Lessen Expenses. The goal of the WHOLESCALE project is to simulate the spatial distribution and temporal evolution of stress in the geothermal system at San Emidio in Nevada, United States.

15 GEOTHERMAL ENERGY↗

Control Design Strategies to Enhance Long-Term Aircraft Structural Integrity

Over the operational lifetime of both military and civil aircraft, structural components are exposed to hundreds of thousands of low-stress repetitive load cycles and less frequent but higher-stress transient loads originating from maneuvering flight and atmospheric gusts. Micro-material imperfections in the structure, such as cracks and debonded laminates, expand and grow in this environment, reducing the structural integrity and shortening the life of the airframe. Extreme costs associated with refurbishment of critical load-bearing structural components in a large fleet, or altogether reinventoring the fleet with newer models, indicate alternative solutions for life extension of the airframe structure are highly desirable. Increased levels of operational safety and reliability are also important factors influencing the desirability of such solutions. One area having significant potential for impacting crack growth/fatigue damage reduction and structural life extension is flight control. To modify the airframe response dynamics arising from command inputs and gust disturbances, feedback loops are routinely applied to vehicles. A dexterous flight control system architecture senses key vehicle motions and generates critical forces/moments at multiple points distributed throughout the airframe to elicit the desired motion characteristics. In principle, these same control loops can be utilized to influence the level of exposure to harmful loads during flight on structural components. Project objectives are to investigate and/or assess the leverage control has on reducing fatigue damage and enhancing long-term structural integrity, without degrading attitude control and trajectory guidance performance levels. In particular, efforts have focused on the effects inner loop control parameters and architectures have on fatigue damage rate. To complete this research, an actively controlled flexible aircraft model and a new state space modeling procedure for crack growth have been utilized. Analysis of the analytical state space model for crack growth revealed the critical mathematical factors, and hence the physical mechanism they represent, that influenced high rates of airframe crack growth. The crack model was then exercised with simple load inputs to uncover and expose key crack growth behavior. To characterize crack growth behavior, both "short-term" laboratory specimen test type inputs and "long-term" operational flight type inputs were considered. Harmonic loading with a single overload revealed typical exponential crack growth behavior until the overload application, after which time the crack growth was retarded for a period of time depending on the overload strength. An optimum overload strength was identified which leads to maximum retardation of crack growth. Harmonic loading with a repeated overload of varying strength and frequency again revealed an optimum overload trait for maximizing growth retardation. The optimum overload strength ratio lies near the range of 2 to 3 with dependency on frequency. Experimental data was found to correlate well with the analytical predictions.

Newman, Brett A.↗

Windows of Opportunity for Skillful Forecasts Subseasonal to Seasonal and Beyond

There is high demand and a growing expectation for predictions of environmental conditions that go beyond 0–14-day weather forecasts with outlooks extending to one or more seasons and beyond. This is driven by the needs of the energy, water management, and agriculture sectors, to name a few. There is an increasing realization that, unlike weather forecasts, prediction skill on longer time scales can leverage specific climate phenomena or conditions for a predictable signal above the weather noise. Currently, it is understood that these conditions are intermittent in time and have spatially heterogeneous impacts on skill, hence providing strategic windows of opportunity for skillful forecasts. Research points to such windows of opportunity, including El Niño or La Niña events, active periods of the Madden–Julian oscillation, disruptions of the stratospheric polar vortex, when certain large-scale atmospheric regimes are in place, or when persistent anomalies occur in the ocean or land surface. Gains could be obtained by increasingly developing prediction tools and metrics that strategically target these specific windows of opportunity. Across the globe, reevaluating forecasts in this manner could find value in forecasts previously discarded as not skillful. Users’ expectations for prediction skill could be more adequately met, as they are better aware of when and where to expect skill and if the prediction is actionable. Given that there is still untapped potential, in terms of process understanding and prediction methodologies, it is safe to expect that in the future forecast opportunities will expand. Process research and the development of innovative methodologies will aid such progress.

Annarita Mariotti↗

The Origins Space Telescope: Baseline Mission Concept

The Origins Space Telescope will trace the history of our origins from the time dust and heavy elements permanently altered the cosmic landscape to present-day life. How did galaxies evolve from the earliest galactic systems to those found in the Universe today? How do habitable planets form? How common are life-bearing worlds? To answer these alluring questions, Origins will operate atmid- and far-infrared (IR) wavelengths and offer powerful spectroscopic instruments and sensitivity three orders of magnitude better than that of the Herschel Space Observatory, the largest telescope flown in space to date. We describe the baseline concept for Origins recommended to the 2020 US Decadal Survey in Astronomy and Astrophysics. The baseline design includes a 5.9-m diameter telescope cryocooled to 4.5 K and equipped with three scientific instruments. A mid-infrared instrument (Mid-Infrared Spectrometer and Camera Transit spectrometer) will measure the spectra of transiting exoplanets in the 2.8 to 20 μm wavelength range and offer unprecedented spectrophotometric precision, enabling definitive exoplanet biosignature detections. The far-IR imager polarimeter will be able to survey thousands of square degrees with broadband imaging at 50 and 250 μm. The Origins Survey Spectrometer will cover wavelengths from 25 to 588 μm, making wide-area and deep spectroscopic surveys with spectral resolving power R ∼ 300, and pointed observations at R ∼ 40;000 and 300,000 with selectable instrument modes. Origins was designed to minimize complexity. The architecture is similar to that of the Spitzer Space Telescope and requires very few deployments after launch, while the cryothermal system design leverages James Webb Space Telescope technology and experience. A combination of current-state-of-the-art cryocoolers and next-generation detector technology will enable Origins’ natural background-limited sensitivity.

David Leisawitz↗

Harnessing ketones as hydrogen acceptors for atom-efficient upgrading of oxygenates to fuels over H/ZSM-5

Heterogeneous mixtures of bio-derived oxygenates are promising feedstocks for synthetic aviation fuel (SAF), but conversion strategies for one common component—short-chain (C 5–7 ) internal ketones—are lacking. Previous work has shown that cyclization of ketones over H/ZSM-5 is limited by its high productivity of light paraffins. We study 4-heptanone upgrading over H/ZSM-5 and show that aromatics and olefins can be formed at high carbon yield when operating at up to 90% conversion. The yield of desirable products is not impacted by the introduction of a recycle stream of the unconverted 4-heptanone and other products with similar boiling points. We hypothesize, based on first-principles calculations, that the higher olefin yield is driven by the ease of hydrogen transfer to unreacted ketones as opposed to hydrogenating olefin products. We demonstrate how this ease of hydrogen transfer to ketones can be leveraged to enhance olefin selectivity in the conversion of methanol to olefins as well by co-feeding ketones. Olefinic products of the cyclization reaction are then oligomerized to a SAF blendstock to demonstrate an end-to-end ketone-to-SAF process facilitated by upgrading ketones over H/ZSM-5 at partial conversion with a recycle stream. The results of this work demonstrate a strategy to improve the carbon yield from bio-derived acids to SAF to over 75%, representing a relative improvement of more than 50% compared to previously reported data.

08 HYDROGEN↗

Mini AERCam for In-Space Inspection

The NASA Johnson Space Center Engineering Directorate has developed the Miniature Autonomous Extravehicular Robotic Camera (Mini AERCam) as a free-flying, robotic inspection vehicle intended for future external inspection and remote viewing of human spacecraft. The Mini AERCam technology demonstration unit has been successfully integrated into the approximate form and function of a nanosatellite flight system by leveraging the success of AERCam Sprint flight system and related free-flyer technology development. The Mini AERCam free flyer can be operated via remote piloting from a control station supporting teleoperation and supervised autonomous commanding, with functions such as automatic stationkeeping, point-to-point maneuvering, and automatic docking. Free-flyer testing has been conducted on an air-bearing table and in a six degree-of-freedom closed-loop orbital simulation, and enhancements have been made to provide additional capabilities for future space-based inspection. This presentation will provide a technical overview of the Mini AERCam development, including strategies for spacecraft integration.

Fredrickson, Steven E.↗

The United States COVID-19 Forecast Hub dataset

Academic researchers, government agencies, industry groups, and individuals have produced forecasts at an unprecedented scale during the COVID-19 pandemic. To leverage these forecasts, the United States Centers for Disease Control and Prevention (CDC) partnered with an academic research lab at the University of Massachusetts Amherst to create the US COVID-19 Forecast Hub. Launched in April 2020, the Forecast Hub is a dataset with point and probabilistic forecasts of incident cases, incident hospitalizations, incident deaths, and cumulative deaths due to COVID-19 at county, state, and national, levels in the United States. Included forecasts represent a variety of modeling approaches, data sources, and assumptions regarding the spread of COVID-19. The goal of this dataset is to establish a standardized and comparable set of short-term forecasts from modeling teams. These data can be used to develop ensemble models, communicate forecasts to the public, create visualizations, compare models, and inform policies regarding COVID-19 mitigation. These open-source data are available via download from GitHub, through an online API, and through R packages.

60 APPLIED LIFE SCIENCES↗

In-Situ Navigation and Timing Services for the Human Mars Landing Site Part 1: System Concept

In [1] and [2], we introduce a new geometric trilateration method that simultaneously performs absolute positioning and relative positioning. The relative position is derived from a “differencing” function of two raw-range measurements between a known reference point and of the target from a navigation satellite, thereby eliminating most of the common errors like atmospheric delays, ephemeris errors, and instrument delays in real-time. In the Mars environment this “error-cancellation” function greatly reduces the need to perform extensive orbit determination (OD) of the navigation satellites like the Earth’s GPS, and only requires occasional tracks from the Earth’s large-aperture deep space antennas to perform OD’s. Leveraging on this scheme, we propose a low-cost, low-maintenance regional navigation satellite system architecture that provides in-situ navigation and timing services for robotic and human missions in the vicinity of a Mars landing site. This architecture is built upon the proposed Mars relay network infrastructure, and a number of notional Mars orbiting and surface missions in the human exploration era of Mars. We assume two areostationary Mars relay orbiters that have continuous line-of-sight visibility with the Mars landing site, a Deep Space Habitat (DSH) in an inclined 48-hour circular orbit, and a surface communication lander that could serve as the reference point. These orbiting and surface infrastructure elements broadcast GPS-like ranging signals and other ephemeris information to the mission users. With one or more additional orbiters in areosynchronous orbits that trace around a figure-8 path, a regional navigation satellite system can be realized that provides in-situ course absolute localization and precision relative localization and timing services to the users in the vicinity of a Mars landing site. This paper describes the system concept of the proposed Mars regional navigation satellite system.

Lee, Charles↗

LTAU-FF: Loss Trajectory Analysis for Uncertainty in atomistic Force Fields

Model ensembles are effective tools for estimating prediction uncertainty in deep learning atomistic force fields. However, their widespread adoption is hindered by high computational costs and overconfident error estimates. In this work, we address these challenges by leveraging distributions of per-sample errors obtained during training and employing a distance-based similarity search in the model latent space. Our method, which we call LTAU (Loss Trajectory Analysis for Uncertainty), efficiently estimates the full probability distribution function of errors for any test point using the logged training errors, achieving speeds that are 2–3 orders of magnitudes faster than typical ensemble methods and allowing it to be used for tasks where training or evaluating multiple models would be infeasible. We apply LTAU towards estimating parametric uncertainty in atomistic force fields (LTAU-FF), demonstrating that it produces well-calibrated confidence intervals and predicts errors that correlate strongly with the true errors for data near the training domain. Furthermore, we show that the errors predicted by LTAU-FF can be used in practical applications for detecting out-of-domain data, tuning model performance, and predicting failure during simulations. We believe that LTAU will be a valuable tool for uncertainty quantification in atomistic force fields and is a promising method that should be further explored in other domains of machine learning.

97 MATHEMATICS AND COMPUTING↗

Experimental scheme for polarizing boron nuclei

Unraveling the internal structure of hadrons and nuclei in terms of the quarks and gluons of quantum chromodynamics is a central focus of current nuclear physics research. Directly observing gluonic states in the nucleus would be groundbreaking and is an objective of the future Electron-Ion Collider (EIC). Over 30 years ago, Jaffe and Manohar [R. L. Jaffe and A. Manohar, Phys. Lett. B 223 , 218 (1989)] identified a new double-helicity flip structure function, directly sensitive to exotic gluons. They pointed out that this could be measured in inclusive high-energy electron scattering from a transversely polarized nuclear target with spin 𝐼 ≥ 1. Here, in this work, we identify the spin-3 nucleus boron-10 as a particularly interesting system to search for exotic gluons. Leveraging technical advances in atomic physics over the past decade, we outline an experimental scheme to directly optically pump a beam of stable boron atoms to polarize the nuclear spin. Technical challenges to realize a spin-polarized beam of boron-10 in the EIC are discussed. The proposed scheme will also polarize the 11 B nucleus, which could significantly enhance the proton-boron fusion cross section.

atomic spectra↗

Scalable Techniques for Stochastic Power Flow Problems (Final Report)

The proposed research focuses on developing scalable algorithms for two-stage security-constrained OPF problems with AC power flow constraints, a class of problems complicated by (i) scale arising from a scenario representation; and (ii) the presence of nonlinearity, nonconvexity, and possibly second-stage discreteness or complementarity. Unfortunately, most existing solvers cannot contend with both challenges simultaneously; accordingly, the proposed research focuses on developing solution techniques that can both scale with the number of scenarios and contend with nonconvexity and second-stage complementarity. We consider three avenues for addressing such problems: (i) Variable sample-size SQP (VS-SQP) methods that combine sparse Quasi-Newton updates with a scalable variance-reduced stochastic gradient scheme for stochastic QP subproblems, allowing for contending with second-stage complementarity via regularization; (ii) Variable sample-size stochastic Interior-point (VS-sIP) schemes that propose a sampling-based regularized (to allow for contending with complementarity) interior-point schemes in which a Schur-complement technique is employed for decomposing the Newton direction computation step; (iii) Variable sample-size tractable ADMM (VS-tADMM) schemes combine variable sample-sizes with carefully designed techniques for resolving each of the nonconvex updates (by leveraging the QCQP structures). We intend to compare the three schemes using performance profiles in terms of solution quality, scalability, etc. and then select one scheme which will then be developed and further refined in Python for purposes of the GO competition.

42 ENGINEERING↗

Enhanced Large Solid Rocket Motor Understanding Through Performance Margin Testing: RSRM Five-Segment Engineering Test Motor (ETM-3)

The Five-Segment Engineering Test Motor (ETM-3) is an extended length reusable solid rocket motor (RSRM) intended to increase motor performance and internal environments above the current four-segment RSRM flight motor. The principal purpose of ETM-3 is to provide a test article for RSRM component margin testing. As the RSRM and Space Shuttle in general continue to age, replacing obsolete materials becomes an ever-increasing issue. Having a five-segment motor that provides environments in excess of normal opera- tion allows a mechanism to subject replacement materials to a more severe environment than experienced in flight. Additionally, ETM-3 offers a second design data point from which to develop and/or validate analytical models that currently have some level of empiricism associated with them. These enhanced models have the potential to further the understanding of RSRM motor performance and solid rocket motor (SRM) propulsion in general. Furthermore, these data could be leveraged to support a five-segment booster (FSB) development program should the Space Shuttle program choose to pursue this option for abort mode enhancements during the ascent phase. A tertiary goal of ETM-3 is to challenge both the ATK Thiokol Propulsion and NASA MSFC technical personnel through the design and analysis of a large solid rocket motor without the benefit of a well-established performance database such as the RSRM. The end result of this undertaking will be a more competent and experienced workforce for both organizations. Of particular interest are the motor design characteristics and the systems engineering approach used to conduct a complex yet successful large motor static test. These aspects of ETM-3 and more will be summarized.

Huppi, Hal↗

Using Social Media and Mobile Devices to Discover and Share Disaster Data Products Derived From Satellites

Data products derived from Earth observing satellites are difficult to find and share without specialized software and often times a highly paid and specialized staff. For our research effort, we endeavored to prototype a distributed architecture that depends on a standardized communication protocol and applications program interface (API) that makes it easy for anyone to discover and access disaster related data. Providers can easily supply the public with their disaster related products by building an adapter for our API. Users can use the API to browse and find products that relate to the disaster at hand, without a centralized catalogue, for example floods, and then are able to share that data via social media. Furthermore, a longerterm goal for this architecture is to enable other users who see the shared disaster product to be able to generate the same product for other areas of interest via simple point and click actions on the API on their mobile device. Furthermore, the user will be able to edit the data with on the ground local observations and return the updated information to the original repository of this information if configured for this function. This architecture leverages SensorWeb functionality [1] presented at previous IGARSS conferences. The architecture is divided into two pieces, the frontend, which is the GeoSocial API, and the backend, which is a standardized disaster node that knows how to talk to other disaster nodes, and also can communicate with the GeoSocial API. The GeoSocial API, along with the disaster node basic functionality enables crowdsourcing and thus can leverage insitu observations by people external to a group to perform tasks such as improving water reference maps, which are maps of existing water before floods. This can lower the cost of generating precision water maps. Keywords-Data Discovery, Disaster Decision Support, Disaster Management, Interoperability, CEOS WGISS Disaster Architecture

Toward a Safety Risk-Based Classification of Unmanned Aircraft

There is a trend of growing interest and demand for greater access of unmanned aircraft (UA) to the National Airspace System (NAS) as the ongoing development of UA technology has created the potential for significant economic benefits. However, the lack of a comprehensive and efficient UA regulatory framework has constrained the number and kinds of UA operations that can be performed. This report presents initial results of a study aimed at defining a safety-risk-based UA classification as a plausible basis for a regulatory framework for UA operating in the NAS. Much of the study up to this point has been at a conceptual high level. The report includes a survey of contextual topics, analysis of safety risk considerations, and initial recommendations for a risk-based approach to safe UA operations in the NAS. The next phase of the study will develop and leverage deeper clarity and insight into practical engineering and regulatory considerations for ensuring that UA operations have an acceptable level of safety.

Torres-Pomales, Wilfredo↗

The Additive Manufacturing Moment Measure - A Parallel Computation Technique for Determining Build Variance in the Laser Powder Bed Fusion Process

Additive manufacturing (AM) has unique process attributes that facilitate the creation of optimized, complex, and unique parts for aerospace applications. However, the multi-scale and complicated building process for AM parts can cause unexpected build conditions that result in microstructural variability within the deposited material. The need for richer datasets and computational modeling capabilities to improve AM process reliability is a consequence of this microstructural variability. A computational approach, referred to as the Additive Manufacturing Moment Measure (AM3), addresses this need by leveraging the way AM processes fuse material in precise, incremental steps. During the layering sequence, each previous step contributes to the condition of the current step at the center of the heat source. The precise steps can be selected to systematically create a time-space point field with co-located machine input and in-situ sensor data. The sequential nature of the AM process, coupled with nearest neighbor calculations, allows for a fully parallel computation for part-scale build profile analysis. The AM3 concept introduced here enables part-scale assessment directly from build files and in-situ process monitoring sensors alike. The AM moment measures were calculated for build point fields and compared with co-located in-situ and ex-situ nondestructive evaluation and optical microscopy observations. These comparisons permit a better understanding of how the sequential process actions can affect the quality of a laser powder bed fusion (LPBF) build. Details of the AM3technique will be discussed and compared to measured LPBF part characteristics. The AM3 results indicate a strong potential to advance the qualification process for aerospace applications.

Additive Manufacturing↗