Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model checking”

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 1,135 records · Page 63
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

Jet wake from linearized hydrodynamics

We explore how to improve the hybrid model description of the particles originating from the wake that a jet produced in a heavy ion collision leaves in the droplet of quark-gluon plasma (QGP) through which it propagates, using linearized hydrodynamics on a background Bjorken flow. Jet energy and momentum loss described by the hybrid model become currents sourcing linearized hydrodynamics. By solving the linearized hydrodynamic equations numerically, we investigate the development of the wake in the dynamically evolving droplet of QGP, study the effect of viscosity, scrutinize energy-momentum conservation, and check the validity of the linear approximation. We find that linearized hydrodynamics works better in the viscous case because diffusive modes damp the energy-momentum perturbation produced by the jet. We calculate the distribution of particles produced from the jet wake by using the Cooper-Frye prescription and find that both the transverse momentum spectrum and the distribution of particles in azimuthal angle are similar in shape in linearized hydrodynamics and in the hybrid model. Their normalizations are different because the momentum-rapidity distribution in the linearized hydrodynamics analysis is more spread out, due to sound modes. Since the Bjorken flow has no transverse expansion, we explore the effect of transverse flow by using local boosts to add it into the Cooper-Frye formula. After including the effects of transverse flow in this way, the transverse momentum spectrum becomes harder: more particles with transverse momenta bigger than 2 GeV are produced than in the hybrid model. Although we defer implementing this analysis in a jet Monte Carlo, as would be needed to make quantitative comparisons to data, we gain a qualitative sense of how the jet wake may modify jet observables by computing proxies for two example observables: the lost energy recovered in a cone of varying open angle, and the fragmentation function. We find that linearized hydrodynamics with transverse flow effects added improves the description of the jet wake in the hybrid model in just the way that comparison to data indicates is needed. Our study illuminates a path to improving the description of the wake in the hybrid model, highlighting the need to take into account the effects of both transverse flow and the broadening of the energy-momentum perturbation in spacetime rapidity on particle production.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Farm-level Interactions Study of a Novel Tri-port Soft-switching Medium-Voltage String Inverter (MVSI) based Large-scale PV-Plus-Storage Farms

A medium-voltage photovoltaic power conversion unit supported by battery based on a novel topology of soft switching solid state transformer is presented in this paper. It can reduce the Levelized Cost of Energy (LCOE) of PVS farm in an extended degree. However, its capability to provide grid-support services, such as frequency response, reactive power support, etc, have not been demonstrated. A series/parallel combination of these modules form a large 20 MVA solar farm. To validate them with reduced computation burden, a small-signal model of MVSI is firstly derived and validated in this paper. The model has been validated to match the full-switch model in both steady-state and dynamic conditions. Next, a farm-level simulation based on the proved small-signal model was implemented to demonstrate grid-support services. Real irradiation date from NREL is used to show the operational capabilities of the system. As a result, the overall farm is simulated based on MATLAB/Simulink domain to check the performance for various cases namely: power transfer from dc-ac side, reactive power support during grid voltage sag and utilization of battery during grid voltage disturbance or partial shading over PV panels.

14 SOLAR ENERGY↗
NASA NTRS1989

The use of vestibular models for design and evaluation of flight simulator motion

Quantitative models for the dynamics of the human vestibular system are applied to the design and evaluation of flight simulator platform motion. An optimal simulator motion control algorithm is generated to minimize the vector difference between perceived spatial orientation estimated in flight and in simulation. The motion controller has been implemented on the Vertical Motion Simulator at NASA Ames Research Center and evaluated experimentally through measurement of pilot performance and subjective rating during VTOL aircraft simulation. In general, pilot performance in a longitudinal tracking task (formation flight) did not appear to be sensitive to variations in platform motion condition as long as motion was present. However, pilot assessment of motion fidelity by means of a rating scale designed for this purpose, were sensitive to motion controller design. Platform motion generated with the optimal motion controller was found to be generally equivalent to that generated by conventional linear crossfeed washout. The vestibular models are used to evaluate the motion fidelity of transport category aircraft (Boeing 727) simulation in a pilot performance and simulator acceptability study at the Man-Vehicle Systems Research Facility at NASA Ames Research Center. Eighteen airline pilots, currently flying B-727, were given a series of flight scenarios in the simulator under various conditions of simulator motion. The scenarios were chosen to reflect the flight maneuvers that these pilots might expect to be given during a routine pilot proficiency check. Pilot performance and subjective rating of simulator fidelity was relatively insensitive to the motion condition, despite large differences in the amplitude of motion provided. This lack of sensitivity may be explained by means of the vestibular models, which predict little difference in the modeled motion sensations of the pilots when different motion conditions are imposed.

Bussolari, Steven R.↗
NASA NTRS1997

Predictive Attitude Estimation Using Global Positioning System Signals

In this paper, a new algorithm is developed for attitude estimation using Global Positioning System (GPS) signals. The new algorithm is based on a predictive filtering scheme designed for spacecraft without rate measuring devices. The major advantage of this new algorithm over traditional Kalman filter approaches is that the model error is not assumed to represented by an unbiased Gaussian noise process with known covariance, but instead is determined during the estimation process. This is achieved by simultaneously solving system optimality conditions and an output error constraint. This approach is well suited for GPS attitude estimation since some error sources that contribute to attitude inaccuracy, such as signal multipath, are known to be non-Gaussian processes. Also, the predictive filter scheme can use either GPS signals or vector observations or a combination of both for attitude estimation, so that performance characteristics can be maintained during periods of GPS attitude sensor outage. The performance of the new algorithm is tested using flight data from the REX-2 spacecraft. Results are shown using the predictive filter to estimate the attitude from both GPS signals and magnetometer measurements, and comparing that solution to a magnetometer-only based solution. Results using the new estimation algorithm indicate that GPS-based solutions are verified to within 2 degrees using the magnetometer cross-check for the REX-2 spacecraft. GPS attitude accuracy of better than 1 degree is expected per axis, but cannot be reliably proven due to inaccuracies in the magnetic field model.

Crassidis, John L.↗
DOE OSTI2021

A Simple Criterion for Feasibility of Heat Integration between Distillation Streams Based on Relative Volatilities

In a multicomponent distillation configuration, there are numerous sources and sinks of heat, and a potential way to reduce the heat duty requirement is to perform heat integration. Unfortunately, an algorithmic search of the optimal heat integration opportunities is intractable when the required temperatures of intermediate streams are computed via complex models. Instead, in this work, we introduce pressure-scaled pseudo relative volatility, a new metric to compare stream temperatures. Here, we justify the use of pseudo relative volatility by proving that this variable is a monotonically increasing function of the liquid fraction in a saturated mixture stream. Using this metric, we derive a shortcut criterion to check the feasibility of various heat integration opportunities, such as thermal coupling via heat transfer (TCH). The advantage of this approach is that it circumvents the need for explicit temperatures and instead relies on composition, component relative volatilities, and pressure—quantities that are readily available in shortcut models for optimization of distillation configurations. Leveraging this fact, we propose a new optimization framework that identifies feasible TCHs that we consider within the formulation while minimizing the total heat duty of a distillation configuration. We demonstrate, on a few examples, that our formulation can identify heat duty efficient configurations, some of which are multieffect configurations. Using this methodology, we discover configurations that are not only simpler than the fully thermally coupled (FTC) configuration but also have a much lower heat duty.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2016

Test-Based Calibration of Safety Factors for Capacity Models

In this paper, a simple procedure to calibrate the safety factor of capacity models is presented. The calibration can be carried out based on any available database of experimental tests, even of limited size. The procedure aims to assess the model capability of predicting the test results and to calibrate the safety factor so that the capacity equation meets the target reliability level required by the code or sought by the calibrator. After predicting each test of the database with the capacity equation under consideration, the test-prediction pairs are checked for the property of linearity, and the relative error for the properties of homoscedasticity and normality. Once these properties are fulfilled—which may require a nonlinear transformation of the test values and/or the predictions—the closed-form equation proposed in this paper is employed to compute a target design value. The model safety factor is finally obtained by comparing such target design value with the design value obtained from the code. The paper also proposes two approximate analytical equations to compute the tolerance factor, used to attain any given fractile, as a function of the (even small) number of tests, with any assigned confidence level. A fundamental outcome of the procedure is that it yields an objective indicator of the model accuracy, measured by the standard deviation of its error, which may be regarded as a parameter useful for selecting the most reliable model among different competing ones. In the long run, the application of the proposed procedure will allow achieving a uniform reliability level throughout all capacity models used in codes and guidelines. A further advantage is that the partial safety factors so derived can be straightforwardly updated when more experiments become available. Finally, as an example, the proposed procedure is herein applied to the ACI 318 shear design capacity equation for concrete members unreinforced in shear.

42 ENGINEERING↗
DOE OSTI2025

Enhancing building resilience in cold climates: Integrating heat pump technologies with renewable energy

As electrification advances and Cold Climate Heat Pump technology progresses, ensuring grid stability becomes increasingly critical for effective heating in cold climates. However, natural disasters, especially during winter, pose significant threats to grid stability, impacting the reliability of air-source heat pumps. Despite these challenges, the integration of renewable energy sources and storage solutions in heating systems has not been extensively studied within the context of resilience. Here, this paper delves into the literature on renewable-powered heat pumps to assess their potential in enhancing building resilience in U.S. cold climate zones, which are particularly susceptible to extreme weather and grid disruptions. By leveraging renewable sources—solar, geothermal, and water—in conjunction with heat pump technology and supported by thermal or battery storage, this approach aims to provide a dependable solution for maintaining indoor heating during grid failures. Our analysis begins with a review of various renewable energy sources suitable for heat pumps, followed by an exploration of their application in cold climate regions across the U.S., and discussions on potential integration strategies with heat pump systems. This study highlights the advantages and suitability of solar irradiance and geothermal resources, emphasizing the importance of tailored, site-specific assessments to maximize energy efficiency and resilience. Additionally, it outlines the economic and environmental considerations necessary for implementing such systems and identifies potential challenges and areas for future research to facilitate the broader integration of renewable energy in heating solutions for enhanced resilience.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2014

Tensor Target Polarization at TRIUMF

The first measurements of tensor observables in $\pi \vec{d}$ scattering experiments were performed in the mid-80's at TRIUMF, and later at SIN/PSI. The full suite of tensor observables accessible in $\pi \vec{d}$ elastic scattering were measured: $T_{20}$, $T_{21}$, and $T_{22}$. The vector analyzing power $iT_{11}$ was also measured. These results led to a better understanding of the three-body theory used to describe this reaction. %Some measurements were also made in the absorption and breakup channels. A direct measurement of the target tensor polarization was also made independent of the usual NMR techniques by exploiting the (nearly) model-independent result for the tensor analyzing power at 90$^\circ _{cm}$ in the $\pi \vec{d} \rightarrow 2p$ reaction. This method was also used to check efforts to enhance the tensor polarization by RF burning of the NMR spectrum. A brief description of the methods developed to measure and analyze these experiments is provided.

Smith, G↗
DOE OSTI2026

bibcheck

SAND2026-16981O Bibcheck is designed to extract bibliographies from research papers and perform metadata searches to identify errors. It assists authors in checking their bibliographies for metadata errors during the writing process and helps reviewers identify errors in bibliographies of papers under review. The software uses large language models (LLMs) to extract bibliography entries from PDF documents, classifies the type of bibliography entry, and verifies referenced works. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Pearson, Carl [Sandia National Lab. (SNL-CA), Live↗
NASA NTRS1983

An efficient algorithm for generating random number pairs drawn from a bivariate normal distribution

An efficient algorithm for generating random number pairs from a bivariate normal distribution was developed. Any desired value of the two means, two standard deviations, and correlation coefficient can be selected. Theoretically the technique is exact and in practice its accuracy is limited only by the quality of the uniform distribution random number generator, inaccuracies in computer function evaluation, and arithmetic. A FORTRAN routine was written to check the algorithm and good accuracy was obtained. Some small errors in the correlation coefficient were observed to vary in a surprisingly regular manner. A simple model was developed which explained the qualities aspects of the errors.

Campbell, C. W.↗
NASA NTRS1987

Flow visualization study of a two-dimensional representation of the Space Shuttle launch pad configuration

The loss of the Space Shuttle Challenger was caused by the failure of the aft joint O-ring seals in its right solid rocket booster. It has been suggested by several sources that wind conditions through a reduction in temperature of the right solid rocket booster caused by the wind blowing across the cold external tank, played a role in the O-ring failure. To check the plausibility of the wind theory, an experiment was carried out in a water towing tank to visualize the flow past a two-dimensional model representing a cross section of the Space Shuttle launch configuration. The periodic formation of vortices was found to characterize the wake generated by the model. It is suggested that this organized motion in the flow is the dominant mechanism that accomplishes heat transfer from the external tank to the right solid rocket booster. Flow visualization results consisting of photographs that show instantaneous streamline patterns of the flow are presented.

Mclachland, B. G.↗
NASA NTRS1987

A computer model for the recombination zone of a microwave-plasma electrothermal rocket

As part of a study of the microwave-plasma electrothermal rocket, a computer model of the flow regime below the plasma has been developed. A second-order model, including axial dispersion of energy and material and boundary conditions at infinite length, was developed to partially reproduce the absence of mass-flow rate dependence that was seen in experimental temperature profiles. To solve the equations of the model, a search technique was developed to find the initial derivatives. On integrating with a trial set of initial derivatives, the values and their derivatives were checked to judge whether the values were likely to attain values outside the practical regime, and hence, the boundary conditions at infinity were likely to be violated. Results are presented and directions for further development are suggested.

Filpus, John W.↗
NASA NTRS1991

A 2-D oscillating flow analysis in Stirling engine heat exchangers

A two dimensional oscillating flow analysis was conducted, simulating the gas flow inside Stirling heat exchangers. Both laminar and turbulent oscillating pipe flow were investigated numerically for Re(max) = 1920 (Va = 80), 10800 (Va = 272), 19300 (Va = 272), and 60800 (Va = 126). The results are compared with experimental results of previous investigators. Also, predictions of the flow regime on present oscillating flow conditions were checked by comparing velocity amplitudes and phase differences with those from laminar theory and quasi-steady profile. A high Reynolds number k-epsilon turbulence model was used for turbulent oscillating pipe flow. Finally, performance evaluation of the K-epsilon model was made to explore the applicability of quasi-steady turbulent models to unsteady oscillating flow analysis.

Ahn, Kyung H.↗
NASA NTRS1991

An initial analysis of the data from the Polar Orbiting Geophysical (POGS) Satellite

The Polar Orbiting Geophysical Satellite (POGS) was launched in 1990 to measure the geomagnetic field. POGS data from selected magnetically quiet days was chosen, quality checked and deleted where thought to be erroneous. A time and position correction was applied. The resulting data was fit to a degree 13 spherical harmonic model. Evaluation of the quality of the data indicates that it is sufficient for definition of the low degree (approximately less than 8) portion of the geomagnetic field. Further correction of the data time and position may improve this quality.

Langel, R. A.↗
NASA NTRS1991

A 2-D oscillating flow analysis in Stirling engine heat exchangers

A two-dimensional oscillating flow analysis was conducted, simulating the gas flow inside Stirling heat exchangers. Both laminar and turbulent oscillating pipe flow were investigated numerically for Re(max) = 1920 (Va = 80), 10800 (Va = 272), 19300 (Va = 272), and 60800 (Va = 126). The results are compared with experimental results of previous investigators. Also, predictions of the flow regime on present oscillating flow conditions were checked by comparing velocity amplitudes and phase differences with those from laminar theory and quasi-steady profile. A high Reynolds number k-epsilon turbulence model was used for turbulent oscillating pipe flow. Finally, performance evaluation of the K-epsilon model was made to explore the applicability of quasi-steady turbulent models to unsteady oscillating flow analysis.

Ahn, Kyung H.↗
NASA NTRS1992

Laminar/turbulent oscillating flow in circular pipes

A two-dimensional oscillating flow analysis was conducted simulating the gas flow inside Stirling engine heat exchangers. Both laminar and turbulent oscillating pipe flow were investigated numerically for Re(max) = 1920 (Va = 80), 10,800 (Va = 272), 19,300 (Va = 272), and 60,800 (Va = 126). The results are compared with experimental results of previous investigators. Predictions of the flow regime are also checked by comparing velocity amplitudes and phase difference with those from laminar theory and quasi-steady profile. A high Reynolds number k-epsilon turbulence model was used for turbulent oscillating pipe flow. Finally, the performance of the k-epsilon model was evaluated to explore the applicability of quasi-steady turbulent models to unsteady oscillating flow analysis.

Ahn, Kyung H.↗
NASA NTRS2018

NOS3: NASA Operational Simulator for Small Satellites

The NASA Operational Simulator for Small Satellites (NOS3) is a suite of open-source software tools to aid in areas such as software development, integration & test (I&T), mission operations/training, verification and validation (V&V), and software systems check-out. NOS3 provides a software development environment, a multi-target build system, operational interface/ground software, dynamics and environment simulations, and software-based hardware models. NOS3 has just recently been open-sourced by NASA and is available for immediate use. It enables the development of flight software (FSW) early in the project life cycle when hardware availability is limited. Small satellite development suffers from extensive lead times on many of the commercial-off-the-shelf (COTS) components as well as limited funding for engineering test units (ETUs). To alleviate the need to provide a hardware test-bed for each developer/tester, NOS3 hardware models are based upon characteristic data or manufacturer's data sheets for each individual component. The NOS3 hardware models' fidelity is such that FSW executes unaware that physical hardware is not present. This allows FSW binaries to be compiled for both the simulation environment and the flight computer without changing the FSW source code. For hardware models that provide data which is dependent upon the environment and spacecraft dynamics, such as a GPS receiver or magnetometer, an open-source tool from NASA GSFC (42 Spacecraft Simulator) is used to provide the necessary data. The underlying infrastructure used to transfer messages between FSW and the hardware models can also be used to monitor, intercept, and inject messages, which has proven to be beneficial for V&V of larger missions such as James Webb Space Telescope (JWST). As hardware is selected and becomes available, drivers can be added to the NOS3 environment to enable hardware-in-the-loop (HWIL) testing. When strict time synchronization is not vital, any number of combinations of hardware components and software-based models can be tested. NOS3 was actively used for FSW development and component testing of the Simulation-to-Flight 1 (STF-1) CubeSat and the Lunar IceCube CubeSat. As NOS3 matures, hardware models have been added for common small satellite components such as GPS receivers, electrical power systems and batteries, and antenna systems.

Suder, Mark↗
NASA NTRSDate not supplied

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

runtime verification↗