Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Guaranteed performance”

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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

Learning-Based Demand Response in Grid Interactive Buildings via Gaussian Processes

This paper presents a predictive controller for a grid-interactive multi-zone building where the temperature dynamics are learned via Gaussian Process (GP) regression. We investigate the development of a learning-based predictive control with two main objectives: (i) continuously learn the temperature dynamics of the building based on data; and, (ii) use the learned dynamics to solve a multi-objective predictive control problem to guarantee occupants' comfort and energy efficiency during normal conditions and demand response events. We leverage the probabilistic non-parametric properties of GPs to estimate the (unknown) non-linear temperature dynamics of the building and to incorporate the uncertainty of those predictions in a multi-objective optimization problem. The GP-based predictive control is solved via a zero-order primal-dual projected-gradient algorithm. We evaluate numerically the performance of the proposed controller using a five-zone commercial building.

demand response↗
NASA NTRSDate not supplied

From Apollo to Artemis: How Processing ANGSA Core Samples 73001/2 Can Help to Prepare for Future Sample Return Missions to the Moon and Beyond.

Introduction: Apollo Sample 73001/2 is a ~71cm long double drive tube consisting of an upper part (73002) and a lower part (73001) that contains regolith collected near Lara Crater at the Apollo 17 site, Station 3. The double drive tube is believed to have penetrated a lunar landslide deposit that was transported from the slope of the South Massif into the Taurus-Littrow Valley [1]. As part of the ANGSA (Apollo Next Generation Sample Analyses) initiative, preparing a preliminary examination (PE) catalog of 73001/2 is a crucial first step for the early identification of material types such as rock fragments and potential stratigraphy within the core. Many new curation and scientific tools such as X-ray computed tomography (XCT) [3], multi-spectral imaging [4], and gas extraction manifold with piercing tool [5-7], have been applied to the ANGSA core to benefit curation strategy, PE efforts, sample allocation to the planetary science community, and ultimately help to prepare for future sample return missions like Artemis. 73001/2 Preliminary Examination and Processing: Sample 73002 was successfully opened and extruded in Nov. 2019 and fully dissected at the end of 2021. Sample 73001 (Fig. 1) was successfully extruded in March 2022 after careful planning before opening the Core Sample Vacuum Container (CSVC) that was holding the drive tube of 73001. XCT, as part of PE, was used to scan the bottom and top part of the 73001 core tube within the CSVC prior to opening it to 1) facilitate non-destructive, rapid detection of any contamination potentials due to piercing of the CSVC during gas extraction [7]; and 2) to aid in the Artemis sample tool development and provide data on the knife edge seal of the CSVC. This knowledge will help us connect the mechanics of the implemented design (i.e., XCT data) to the performance of the seal (i.e., data on the gas samples will tell us how well the seal preserved the volatile record of lunar samples). Both type of information will feed forward into Artemis tool and storage strategies for future samples. Results and Lessons learned: The XCT data of the CSVC and core tube within showed that the bottom Teflon cap was not pierced during gas extraction (Fig. 1c) and thus, the sample integrity remained guaranteed during piercing and subsequent gas extraction. However, the XCT scan of the top of the core (Fig. 1b) revealed that the drive tube was overfilled with lunar soil and the tool that keeps the soil constrained within the drive tube was not fully deployed. These preliminary data allowed us to implement the necessary steps to prevent loss of sample integrity, including any potential stratigraphy shifts during extrusion. Processing Apollo core 73001/2, creating an informative PE catalog, and applying new and refined tools and technologies for sample analyses are invaluable activities that will assist in circumventing any potential pitfalls, aid in the characterization of samples, and help in the assessment of how well any lunar material has been collected and preserved in the past. This will aid in designing future sample collections and curation procedures and help to prepare for future human exploration and sampling missions such as Artemis. References: [1] Schmitt H. (2017) Icarus 298, 2-33. [3] Zeigler et al. (2021) LPSC 52nd, #2632; [4] Sun et al. (2021), LPSC 52nd, #1789; [5] Parai et al. (2021), LPSC 52nd #2665; [6] Schild et al. (2021) LPSC 52nd #1888; [7] McDonald (2022) ESL 2022.

ANGSA↗
DOE OSTI2021

DEVELOPMENT OF A LUMPED-PARAMETER THERMAL MODEL FOR ELECTRO-HYDRAULIC ACTUATORS

This paper describes a thermal-hydraulic modeling method of a closed-circuit electro-hydraulic actuator (EHA). Despite the high energy efficiency of EHAs, it is always important to assess their cooling requirements, to guarantee that the operating temperature remains within an acceptable range. The method proposed in this paper is based on a lumped parameter approach and simplifies some of the complex heat transfer processes by introducing empirical correction factors. The model is validated by means of temperature measurements on an EHA architecture developed by the author. The good match between the simulation results and experiments confirms the capability of the proposed methodology to predict the temperature performance of the reference EHA under different drive cycles. The paper presents a detailed analysis of the power losses and passive heat dissipation for the reference system. Based on this analysis, the cooling requirements of the EHA are studied.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2020

Learning to Solve Large-Scale Security-Constrained Unit Commitment Problems

Security-constrained unit commitment (SCUC) is a fundamental problem in power systems and electricity markets. In practical settings, SCUC is repeatedly solved via mixed-integer linear programming (MIP), sometimes multiple times per day, with only minor changes in input data. In this work, we propose a number of machine learning techniques to effectively extract information from previously solved instances in order to significantly improve the computational performance of MIP solvers when solving similar instances in the future. Based on statistical data, we predict redundant constraints in the formulation, good initial feasible solutions, and affine subspaces where the optimal solution is likely to lie, leading to a significant reduction in problem size. Computational results on a diverse set of realistic and large-scale instances show that using the proposed techniques, SCUC can be solved on average 4.3 times faster with optimality guarantees and 10.2 times faster without optimality guarantees, with no observed reduction in solution quality. Out-of-distribution experiments provide evidence that the method is somewhat robust against data-set shift. Summary of Contribution. The paper describes a novel computational method, based on a combination of mixed-integer linear programming (MILP) and machine learning (ML), to solve a challenging and fundamental optimization problem in the energy sector. The method advances the state-of-the-art, not only for this particular problem, but also, more generally, in solving discrete optimization problems via ML. We expect that the techniques presented can be readily used by practitioners in the energy sector and adapted, by researchers in other fields, to other challenging operations research problems that are solved routinely.

Machine Learning↗
DOE OSTI2023

Quantum Interior Point Methods for Semidefinite Optimization

We present two quantum interior point methods for semidefinite optimization problems, building on recent advances in quantum linear system algorithms. The first scheme, more similar to a classical solution algorithm, computes an inexact search direction and is not guaranteed to explore only feasible points; the second scheme uses a nullspace representation of the Newton linear system to ensure feasibility even with inexact search directions. The second is a novel scheme that might seem impractical in the classical world, but it is well-suited for a hybrid quantum-classical setting. We show that both schemes converge to an optimal solution of the semidefinite optimization problem under standard assumptions. By comparing the theoretical performance of classical and quantum interior point methods with respect to various input parameters, we show that our second scheme obtains a speedup over classical algorithms in terms of the dimension of the problem n , but has worse dependence on other numerical parameters.

Augustino, Brandon↗
DOE OSTI2026

Resilience Through Data-Driven, Intelligent Designed Control: A Formal Methods Approach

The PNNL and GTRI team developed a strategy to integrate temporal logic rule specification for detection of cyber-intrusion in the source code and control algorithms of CPS using advanced cyber-data. The GTRI team utilized its capabilities in rule synthesis and temporal logic specifications for software assurance and verification to detect and predict impact of cyber-intrusions and malware in the computational and control algorithms of cyber-physical systems. The team also developed a testing and verification approach that could be used to validate the suggested approach against a realistic use-case CPS showcasing improvements in system impact prediction performance. Temporal logic offers a compact expression of events in absolute and relative time and has a formalized translation to state machines. As such, temporal logic rules can feasibly be synthesized to any system as a rule engine, with the process being formally verified to be correct. The goal here is to utilize temporal logic rules to detect cyber-attacks and manipulations in the computational algorithms and provide real-time software assurance and verification guarantees.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

A comparison of efficiency-aware model-predictive control approaches for wave energy devices

In this study, we compare four different formulations of model predictive control that attempt to maximise electrical power generated by a wave energy converter (WEC). Control laws include (1) pure maximisation of mechanical power, (2) maximisation of mechanical power with a control penalty factor, (3) maximisation of electrical power using power conversion efficiency, and (4) maximisation of electrical power using the full electro-mechanical model of a system. For this study, a wave-to-wire model is developed for a floating spherical buoy connected to a permanent magnet synchronous generator. The performance of the controllers, including the mechanical and electrical power outputs, is compared in irregular wave conditions for the unconstrained and force-constrained scenarios. The results demonstrate that the controller designed to maximise mechanical power is not suitable for practical applications and may lead to negative electrical power output due to the non-ideal power take-off efficiency. Moreover, the replacement of the power take-off dynamics by the efficiency coefficient does not guarantee the maximum electrical power production.

16 TIDAL AND WAVE POWER↗
DOE OSTI2026

A fresh perspective on the role of band bending, and related contributors, in light-driven production of electricity and chemicals

It is widely known that semiconductor-based solar energy conversion could power our planet. This is in part because high-quality semiconductor structures are unrivalled in their ability to separate photogenerated electrons and holes. One effective approach to achieving this photoinduced charge separation relies on a phenomenon known as “band bending”. But details to justify why band bending results in photoinduced charge separation are more complex than often appreciated. This underappreciation is an impediment to the rational, hypothesis-driven design of next-generation approaches to solar energy conversion. Herein we show, by means of derivations rooted in physical chemistry, that several phenomena – not just band bending – can facilitate photoinduced charge separation, and that each is influenced by nonequilibrium species concentration and a parameter, such as diffusion coefficient or rate coefficient, that introduces dynamics. To help visualize the impact of each phenomenon, we introduce plots that depict their contributions as free energy, force, flux, force constant, and rate. We reveal that spatial dopant distributions that define band bending are predictors of initial photogenerated species transport rates. But charge separation alone does not guarantee high-efficiency operation. A photogenerated change in energy that is freely available to do useful work is also essential, and is strongly dependent on semiconductor optical properties and reaction kinetics. Notably, this information reveals that specificity of interfacial chemical reactions – even when they are not preceded by charge separation elsewhere – can result in efficient solar energy conversion. We expect that this tutorial will guide researchers in their pursuit to uncover new mechanisms for light to perform useful work.

14 SOLAR ENERGY↗
NASA NTRS1989

Robust high-performance control for robotic manipulators

A robust control scheme to accomplish accurate trajectory tracking for an integrated system of manipulator-plus-actuators is proposed. The control scheme comprises a feedforward and a feedback controller. The feedforward controller contains any known part of the manipulator dynamics that can be used for online control. The feedback controller consists of adaptive position and velocity feedback gains and an auxiliary signal which is simply generated by a fixed-gain proportional/integral/derivative controller. The feedback controller is updated by very simple adaptation laws which contain both proportional and integral adaptation terms. By introduction of a simple sigma modification to the adaptation laws, robustness is guaranteed in the presence of unmodeled dynamics and disturbances.

Seraji, H.↗
NASA NTRS2007

Preliminary Assessment of Artificial Gravity Impacts to Deep-Space Vehicle Design

Even after more than thirty years of scientific investigation, serious concerns regarding human physiological effects of long-duration microgravity exposure remain. These include loss of bone mineral density, skeletal muscle atrophy, and orthostatic hypertension, among others. In particular, "Safe Passage: Astronaut Care for Exploration Missions," states "loss of bone density, which apparently occurs at a rate of 1% per month in microgravity, is relatively manageable on the short-duration missions of the space shuttle, but it becomes problematic on the ISS [International Space Station]. ...If this loss is not mitigated, interplanetary missions will be impossible." While extensive investigations into potential countermeasures are planned on the ISS, the delay in attaining full crew complement and onboard facilities, and the potential for extending crews tours of duty threaten the timely (< 20 years!) accumulation of sufficient data for countermeasures formulation. Indeed, there is no guarantee that even with the data, a practical or sufficiently robust set of countermeasures will be forthcoming. Providing an artificial gravity (AG) environment by crew centrifugation aboard deep-space human exploration vehicles, long a staple technique of science fiction, has received surprisingly limited engineering assessment. This is most likely due to a number of factors: the lack of definitive design requirements, especially acceptable artificial gravity levels and rotation rates, the perception of high vehicle mass and performance penalties, the incompatibility of resulting vehicle configurations with space propulsion options (i.e., aerocapture), the perception of complications associated with de-spun components such as antennae and photovoltaic arrays, and the expectation of effective crew micro-gravity countermeasures. These perception and concerns may have been overstated, or may be acceptable alternatives to countermeasures of limited efficacy. This study was undertaken as an initial step to try to understand the implications of and potential solutions to incorporating artificial gravity in the design of human deep-space exploration vehicles. Of prime interest will be the mass penalties incurred by incorporating AG, along with any mission performance degradation.

Joosten, B. Kent↗
DOE OSTI2021

SGD-Net: Efficient Model-Based Deep Learning with Theoretical Guarantees

Deep unfolding networks have recently gained popularity for solving imaging inverse problems. However, the computational and memory complexity of data-consistency layers within traditional deep unfolding networks scales with the number of measurements, limiting their applicability to large-scale imaging inverse problems. We propose SGD-Net as a new methodology for improving the efficiency of deep unfolding through stochastic approximations of the data-consistency layers. Our theoretical analysis shows that SGD-Net can be trained to approximate batch deep unfolding networks to an arbitrary precision. Our simulations on intensity diffraction tomography and sparse-view computed tomography show that SGD-Net can match the performance of the traditional batch network at a fraction of training and testing complexity.Deep unfolding networks have recently gained popularity for solving imaging inverse problems. However, the computational and memory complexity of data-consistency layers within traditional deep unfolding networks scales with the number of measurements, limiting their applicability to large-scale imaging inverse problems. We propose SGD-Net as a new methodology for improving the efficiency of deep unfolding through stochastic approximations of the data-consistency layers. Our theoretical analysis shows that SGD-Net can be trained to approximate batch deep unfolding networks to an arbitrary precision. Our simulations on intensity diffraction tomography and sparse-view computed tomography show that SGD-Net can match the performance of the traditional batch network at a fraction of training and testing complexity.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1992

Spacecraft nonlinear control

The feedback linearization technique is applied to the problem of spacecraft attitude control and momentum management with control moment gyros (CMGs). The feedback linearization consists of a coordinate transformation, which transforms the system to a companion form, and a nonlinear feedback control law to cancel the nonlinear dynamics resulting in a linear equivalent model. Pole placement techniques are then used to place the closed-loop poles. The coordinate transformation proposed here evolves from three output functions of relative degree four, three, and two, respectively. The nonlinear feedback control law is presented. Stability in a neighborhood of a controllable torque equilibrium attitude (TEA) is guaranteed and this fact is demonstrated by the simulation results. An investigation of the nonlinear control law shows that singularities exist in the state space outside the neighborhood of the controllable TEA. The nonlinear control law is simplified by a standard linearization technique and it is shown that the linearized nonlinear controller provides a natural way to select control gains for the multiple-input, multiple-output system. Simulation results using the linearized nonlinear controller show good performance relative to the nonlinear controller in the neighborhood of the TEA.

Sheen, Jyh-Jong↗
NASA NTRSDate not supplied

Guiding Integration of Formal Verification in Assurance Cases

Assurance cases are being increasingly acknowledged as away to build trust in complex systems with autonomous capabilities. An assurance case is a comprehensive, defensible, and valid justification that a system will function as intended for a specific mission and operating environment. Formal verification is often reserved for the most critical components of such systems. However, formal verification tools are often complex, and their usage is subject to many constraints and contextual dependencies. This can raise challenges both for performing the verification as well as reflecting the verification results appropriately in the assurance case, especially for non-expert users of the verification tool. To address these challenges, we present a tool-supported methodology for integrating formal verification results in an assurance case by capturing key verification method information in a rigorously constructed assurance case. In particular, we capture the tool specification in terms of its inputs, outputs, and assurance constraints as assumptions over inputs and guarantees provided over its outputs. The tool specification is parametrized over the inputs and outputs to both guide the intended application of the tool, as well as to check that the tool has been applied following the stated assumptions and that the guarantees hold. We define a generic tool assurance argument pattern that enables integration of the verification results in the assurance case by allowing custom refinement and automated instantiation for each tool use. We demonstrate our methodology on two formal verification tools and their applications to the verification of neural network properties for the aircraft domain.

Assurance Cases↗
NASA NTRS2001

SWUIS-A: A Versatile, Low-Cost UV/VIS/IR Imaging System for Airborne Astronomy and Aeronomy Research

We have developed and successfully flight-tested on 14 different airborne missions the hardware and techniques for routinely conducting valuable astronomical and aeronomical observations from high-performance, two-seater military-type aircraft. The SWUIS-A (Southwest Universal Imaging System - Airborne) system consists of an image-intensified CCD camera with broad band response from the near-UV to the near IR, high-quality foreoptics, a miniaturized video recorder, an aircraft-to-camera power and telemetry interface with associated camera controls, and associated cables, filters, and other minor equipment. SWUIS-A's suite of high-quality foreoptics gives it selectable, variable focal length/variable field-of-view capabilities. The SWUIS-A camera frames at 60 Hz video rates, which is a key requirement for both jitter compensation and high time resolution (useful for occultation, lightning, and auroral studies). Broadband SWUIS-A image coadds can exceed a limiting magnitude of V = 10.5 in <1 sec with dark sky conditions. A valuable attribute of SWUIS-A airborne observations is the fact that the astronomer flies with the instrument, thereby providing Space Shuttle-like "payload specialist" capability to "close-the-loop" in real-time on the research done on each research mission. Key advantages of the small, high-performance aircraft on which we can fly SWUIS-A include significant cost savings over larger, more conventional airborne platforms, worldwide basing obviating the need for expensive, campaign-style movement of specialized large aircraft and their logistics support teams, and ultimately faster reaction times to transient events. Compared to ground-based instruments, airborne research platforms offer superior atmospheric transmission, the mobility to reach remote and often-times otherwise unreachable locations over the Earth, and virtually-guaranteed good weather for observing the sky. Compared to space-based instruments, airborne platforms typically offer substantial cost advantages and the freedom to fly along nearly any groundtrack route for transient event tracking such as occultations and eclipses.

Durda, Daniel D.↗
NASA NTRS2016

Adaptive Modal Identification for Flutter Suppression Control

In this paper, we will develop an adaptive modal identification method for identifying the frequencies and damping of a flutter mode based on model-reference adaptive control (MRAC) and least-squares methods. The least-squares parameter estimation will achieve parameter convergence in the presence of persistent excitation whereas the MRAC parameter estimation does not guarantee parameter convergence. Two adaptive flutter suppression control approaches are developed: one based on MRAC and the other based on the least-squares method. The MRAC flutter suppression control is designed as an integral part of the parameter estimation where the feedback signal is used to estimate the modal information. On the other hand, the separation principle of control and estimation is applied to the least-squares method. The least-squares modal identification is used to perform parameter estimation.

Aeroelasticity↗
NASA NTRS2011

NEXUS Scalable and Distributed Next-Generation Avionics Bus for Space Missions

A paper discusses NEXUS, a common, next-generation avionics interconnect that is transparently compatible with wired, fiber-optic, and RF physical layers; provides a flexible, scalable, packet switched topology; is fault-tolerant with sub-microsecond detection/recovery latency; has scalable bandwidth from 1 Kbps to 10 Gbps; has guaranteed real-time determinism with sub-microsecond latency/jitter; has built-in testability; features low power consumption (< 100 mW per Gbps); is lightweight with about a 5,000-logic-gate footprint; and is implemented in a small Bus Interface Unit (BIU) with reconfigurable back-end providing interface to legacy subsystems. NEXUS enhances a commercial interconnect standard, Serial RapidIO, to meet avionics interconnect requirements without breaking the standard. This unified interconnect technology can be used to meet performance, power, size, and reliability requirements of all ranges of equipment, sensors, and actuators at chip-to-chip, board-to-board, or box-to-box boundary. Early results from in-house modeling activity of Serial RapidIO using VisualSim indicate that the use of a switched, high-performance avionics network will provide a quantum leap in spacecraft onboard science and autonomy capability for science and exploration missions.

He, Yutao↗
NASA NTRS2013

High Altitude Supersonic Decelerator Test Vehicle

The Low Density Supersonic Decelerator (LDSD) project is tasked by NASA's Office of the Chief Technologist (OCT) to advance the state of the art in Mars entry and descent technology in order to allow for larger payloads to be delivered to Mars at higher altitudes with better accuracy. The project will develop a 33.5 m Do Supersonic Ringsail (SSRS) parachute, 6m attached torus, robotic class Supersonic Inflatable Aerodynamic Decelerator (SIAD-R), and an 8 m attached isotensoid, exploration class Supersonic Inflatable Aerodynamic Decelerator (SIAD-E). The SSRS and SIAD-R should be brought to TRL-6, while the SIAD-E should be brought to TRL-5. As part of the qualification and development program, LDSD must perform a Mach-scaled Supersonic Flight Dynamics Test (SFDT) in order to demonstrate successful free flight dynamic deployments at Mars equivalent altitude, of all three technologies. In order to perform these tests, LDSD must design and build a test vehicle to deliver all technologies to approximately 180,000 ft and Mach 4, deploy a SIAD, free fly to approximately Mach 2, deploy the SSRS, record high-speed and high-resolution imagery of both deployments, as well as record data from an instrumentation suite capable of characterizing the technology induced vehicle dynamics. The vehicle must also be recoverable after splashdown into the ocean under a nominal flight, while guaranteeing forensic data protection in an off nominal catastrophic failure of a test article that could result in a terminal velocity, tumbling water impact.

Cook, Brant T.↗
DOE OSTI2021

New heavenly double copies

The double copy relates scattering amplitudes and classical solutions in Yang-Mills theory, gravity, and related field theories. Previous work has shown that this has an explicit realisation in self-dual YM theory, where the equation of motion can be written in a form that maps directly to Pleba&nacute;ski’s heavenly equation for self-dual gravity. The self-dual YM equation involves an area-preserving diffeomorphism algebra, two copies of which appear in the heavenly equation. In this paper, we show that this construction is a special case of a wider family of heavenly-type examples, by (i) performing Moyal deformations, and (ii) replacing the area-preserving diffeomorphisms with a less restricted algebra. As a result, we obtain a double-copy interpretation for hyper-Hermitian manifolds, extending the previously known hyper-Kähler case. We also introduce a double-Moyal deformation of the heavenly equation. The examples where the construction of Lax pairs is possible are manifestly consistent with Ward’s conjecture, and suggest that the classical integrability of the gravity-type theory may be guaranteed in general by the integrability of at least one of two gauge-theory-type single copies.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗