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 595 records · Page 33
All sourcesNASA NTRSDOE OSTI
DOE OSTI2018

2019 Site Sustainability Plan (Narrative)

Clean energy and sustainability, long at the core of the United States (U.S.) Department of Energy (DOE) mission and championed at Sandia National Laboratories (SNL), are reinforced in Executive Order (EO) 13834, Efficient Federal Operations. Though no longer in effect as of May 2018, EO 13693, Planning for Federal Sustainability in the Next Decade, is referenced throughout this document. DOE's Strategic Sustainability Performance Plan (SSPP) embodies the Department's sustainability commitment and establishes the foundation for DOE to meet the objectives of the EO. The SNL Site Sustainability Plan (SSP) is prepared annually to support DOE's Strategic Sustainability Performance Plan (SSPP) and the National Nuclear Security Administration's (NNSA) sustainability goals and broader sustainability program. Accordingly, the content of this SSP covers the SNL contributions toward meeting the DOE sustainability goals, including the DOE requirement to comply with EO 13834. This SSP fulfills the contractual requirement for National Technology & Engineering Solutions of Sandia, LLC (NTESS), the management and operating (M&O) contractor for SNL, to deliver an annual sustainability plan to the NNSA and Sandia Field Office (SFO). The SNL Environmental Management System (EMS) implements sustainable practices for enhancing environmental, energy, and transportation management performance. SNL's EMS is a quality-based system modeled on the Plan-Do-Check-Act structure for continuous improvement. The EMS is a part of SNL's Integrated Safety Management System and functions within the overall Laboratory Operating System. The SNL EMS is International Organization for Standardization (ISO) 14001 certified and incorporates all relevant federal, state, local, and DOE requirements. The EMS is coordinated and implemented through 20 environmental programs, five of which are included within the scope of this SSP: Air Quality Compliance (AQC); Materials; Sustainability & Pollution Prevention; Energy and Water; Fleet Services; and, Waste Management.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
NASA NTRS1976

Birth/death process model

First-order Markov model developed on digital computer for population with specific characteristics. System is user interactive, self-documenting, and does not require user to have complete understanding of underlying model details. Contains thorough error-checking algorithms on input and default capabilities.

Solloway, C. B.↗
NASA NTRS1979

Driving of combustor oscillations by gaseous propellant injectors

Measurements of reactive admittances that describe the capabilities of the combustion processes associated with coaxial gaseous fuel injectors to amplify combustor oscillations are presented. These admittances are needed in (1) stability analyses of rocket motors and gas turbine combustors; (2) for the evaluation of 'driving' capabilities of injectors; and (3) for checking the applicability of a theoretical model. The modified standing-wave technique was used to determine the admittances of the combustion processes in coaxial injectors utilizing air-acetylene mixtures. The measurements indicated that (1) coaxial injectors can sustain combustion instabilities over wide frequency ranges; (2) the maximum driving capability of an injector decreases with an increased equivalence ratio; (3) the frequency at which maximum driving is observed decreases with the increased equivalence ratio; and (4) the characteristic combustion time of an injector design decreases with increased frequency.

Janardan, B. A.↗
NASA NTRS1980

Nonlinear axially symmetric circulations in a nearly inviscid atmosphere

The structure of certain axially symmetric circulations in a stably stratified, differentially heated, rotating Boussinesq fluid on a sphere is analyzed. A simple approximate theory (similar to that introduced by Schneider (1977)) is developed for the case in which the fluid is sufficiently inviscid that the poleward flow in the Hadley cell is nearly angular momentum conserving. The theory predicts the width of the Hadley cell, the total poleward heat flux, the latitude of the upper level jet in the zonal wind, and the distribution of surface easterlies and westerlies. Fundamental differences between such nearly inviscid circulations and the more commonly studied viscous axisymmetric flows are emphasized. The theory is checked against numerical solutions to the model equations.

Held, I. M.↗
NASA NTRS1982

Single event upset vulnerability of selected 4K and 16K CMOS static RAM's

Upset thresholds for bulk CMOS and CMOS/SOS RAMS were deduced after bombardment of the devices with 140 MeV Kr, 160 MeV Ar, and 33 MeV O beams in a cyclotron. The trials were performed to test prototype devices intended for space applications, to relate feature size to the critical upset charge, and to check the validity of computer simulation models. The tests were run on 4 and 1 K memory cells with 6 transistors, in either hardened or unhardened configurations. The upset cross sections were calculated to determine the critical charge for upset from the soft errors observed in the irradiated cells. Computer simulations of the critical charge were found to deviate from the experimentally observed variation of the critical charge as the square of the feature size. Modeled values of series resistors decoupling the inverter pairs of memory cells showed that above some minimum resistance value a small increase in resistance produces a large increase in the critical charge, which the experimental data showed to be of questionable validity unless the value is made dependent on the maximum allowed read-write time.

Kolasinski, W. A.↗
NASA NTRS1940

Stability of Castering Wheels for Aircraft Landing Gears

A theoretical study was made of the shimmy of castering wheels. The theory is based on the discovery of a phenomenon called kinematic shimmy. Experimental checks, use being made of a model having low-pressure tires, are reported and the applicability of the results to full scale is discussed. Theoretical methods of estimating the spindle viscous damping and the spindle solid friction necessary to avoid shimmy are given. A new method of avoiding shimmy -- lateral freedom -- is introduced.

Kantrowitz, Arthur↗
NASA NTRS2002

Small-Scale Tropopause Dynamics and TOMS Total Ozone

This project used Earth Probe Total Ozone Mapping Spectrometer (EP TOMS) along-track ozone retrievals, in conjunction with ancillary meteorological fields and modeling studies, for high resolution investigations of upper troposphere and lower stratosphere dynamics. Specifically, high resolution along-track (Level 2) EP TOMS data were used to investigate the beautiful fine-scale structure in constituent and meteorological fields prominent in the evolution of highly non-linear baroclinic storm systems. Comparison was made with high resolution meteorological models. The analyses provide internal consistency checks and validation of the EP TOMS data which are vital for monitoring ozone depletion in both polar and midlatitude regions.

Stanford, John L.↗
NASA NTRS1998

New Model Exhaust System Supports Testing in NASA Lewis' 10- by 10-Foot Supersonic Wind Tunnel

In early 1996, the ability to run NASA Lewis Research Center's Abe Silverstein 10- by 10- Foot Supersonic Wind Tunnel (10x10) at subsonic test section speeds was reestablished. Taking advantage of this new speed range, a subsonic research test program was scheduled for the 10x10 in the fall of 1996. However, many subsonic aircraft test models require an exhaust source to simulate main engine flow, engine bleed flows, and other phenomena. This was also true of the proposed test model, but at the time the 10x10 did not have a model exhaust capability. So, through an in-house effort over a period of only 5 months, a new model exhaust system was designed, installed, checked out, and made ready in time to support the scheduled test program.

Roeder, James W., Jr.↗
NASA NTRS2006

Pressure Gradient Effects on Hypersonic Cavity Flow Heating

The effect of a pressure gradient on the local heating disturbance of rectangular cavities tested at hypersonic freestream conditions has been globally assessed using the two-color phosphor thermography method. These experiments were conducted in the Langley 31-Inch Mach 10 Tunnel and were initiated in support of the Space Shuttle Return-To-Flight Program. Two blunted-nose test surface geometries were developed, including an expansion plate test surface with nearly constant negative pressure gradient and a flat plate surface with nearly zero pressure gradient. The test surface designs and flow characterizations were performed using two-dimensional laminar computational methods, while the experimental boundary layer state conditions were inferred using the measured heating distributions. Three-dimensional computational predictions of the entire model geometry were used as a check on the design process. Both open-flow and closed-flow cavities were tested on each test surface. The cavity design parameters and the test condition matrix were established using the computational predictions. Preliminary conclusions based on an analysis of only the cavity centerline data indicate that the presence of the pressure gradient did not alter the open cavity heating for laminar-entry/laminar-exit flows, but did raise the average floor heating for closed cavities. The results of these risk-reduction studies will be used to formulate a heating assessment of potential damage scenarios occurring during future Space Shuttle flights.

Everhart, Joel L.↗
NASA NTRS2007

Pressure Gradient Effects on Hypersonic Cavity Flow Heating

The effect of a pressure gradient on the local heating disturbance of rectangular cavities tested at hypersonic freestream conditions has been globally assessed using the two-color phosphor thermography method. These experiments were conducted in the Langley 31-Inch Mach 10 Tunnel and were initiated in support of the Space Shuttle Return-To-Flight Program. Two blunted-nose test surface geometries were developed, including an expansion plate test surface with nearly constant negative pressure gradient and a flat plate surface with nearly zero pressure gradient. The test surface designs and flow characterizations were performed using two-dimensional laminar computational methods, while the experimental boundary layer state conditions were inferred using the measured heating distributions. Three-dimensional computational predictions of the entire model geometry were used as a check on the design process. Both open-flow and closed-flow cavities were tested on each test surface. The cavity design parameters and the test condition matrix were established using the computational predictions. Preliminary conclusions based on an analysis of only the cavity centerline data indicate that the presence of the pressure gradient did not alter the open cavity heating for laminar-entry/laminar-exit flows, but did raise the average floor heating for closed cavities. The results of these risk-reduction studies will be used to formulate a heating assessment of potential damage scenarios occurring during future Space Shuttle flights.

Everhart, Joel L.↗
NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗
NASA NTRS2010

Aero-Heating of Shallow Cavities in Hypersonic Freestream Flow

The purpose of these experiments and analysis was to augment the heating database and tools used for assessment of impact-induced shallow-cavity damage to the thermal protection system of the Space Shuttle Orbiter. The effect of length and depth on the local heating disturbance of rectangular cavities tested at hypersonic freestream conditions has been globally assessed using the two-color phosphor thermography method. These rapid-response experiments were conducted in the Langley 31-Inch Mach 10 Tunnel and were initiated immediately prior to the launch of STS-114, the initial flight in the Space Shuttle Return-To-Flight Program, and continued during the first week of the mission. Previously-designed and numerically-characterized blunted-nose baseline flat plates were used as the test surfaces. Three-dimensional computational predictions of the entire model geometry were used as a check on the design process and the two-dimensional flow assumptions used for the data analysis. The experimental boundary layer state conditions were inferred using the measured heating distributions on a no-cavity test article. Two test plates were developed, each containing 4 equally-spaced spanwise-distributed cavities. The first test plate contained cavities with a constant length-to-depth ratio of 8 with design point depth-to-boundary-layer-thickness ratios of 0.1, 0.2, 0.35, and 0.5. The second test plate contained cavities with a constant design point depth-to-boundary-layer-thickness ratio of 0.35 with length-to-depth ratios of 8, 12, 16, and 20. Cavity design parameters and the test condition matrix were established using the computational predictions. Preliminary results indicate that the floor-averaged Bump Factor (local heating rate nondimensionalized by upstream reference) at the tested conditions is approximately 0.3 with a standard deviation of 0.04 for laminar-in/laminar-out conditions when the cavity length-to-boundary-layer thickness is between 2.5 and 10 and for cavities in the depth-to-boundary-layer-thickness range of 0.3 to 0.8. Over this same range of conditions and parameters, preliminary results also indicate that the maximum Bump Factor on the cavity centerline falls between 2.0 and 2.75, as long as the cavity-exit conditions remain laminar. Cavities with length-to-boundary-layer-thickness ratio less than 2.5 can not be easily classified with this approach and require further analysis.

Everhart, Joel L.↗
NASA NTRS2016

Trajectory Design Enhancements to Mitigate Risk for the Transiting Exoplanet Survey Satellite (TESS)

The Transiting Exoplanet Survey Satellite (TESS) will employ a highly eccentric Earth orbit, in 2:1 lunar resonance, which will be reached with a lunar flyby preceded by 3.5 phasing loops. The TESS mission has limited propellant and several constraints on the science orbit and on the phasing loops. Based on analysis and simulation, we have designed the phasing loops to reduce delta-V (DV) and to mitigate risk due to maneuver execution errors. We have automated the trajectory design process and use distributed processing to generate and optimal nominal trajectories; to check constraint satisfaction; and finally to model the effects of maneuver errors to identify trajectories that best meet the mission requirements.

satellite↗
NASA NTRS2016

The Response of Phanerozoic Surface Temperature to Variations in Atmospheric Oxygen Concentration

Recently, Poulsen et al. (2015) suggested that O2 has played a major role in climate forcing during the Phanerozoic. Specifically, they argued that decreased O2 levels during the Cenomanian stage of the middle Cretaceous (94–100 Ma) could help explain the extremely warm climate during that time. The postulated warming mechanism involves decreased Rayleigh scattering by a thinner atmosphere, which reduces the planetary albedo and allows greater surface warming. This warming effect is then amplified by cloud feedbacks within their 3-D climate model. This increase in shortwave surface forcing, in their calculations, exceeds any decrease in the greenhouse effect caused by decreased O2. Here we use a 1-D radiative-convective climate model (with no cloud feedback) to check their results. We also include a self-consistent calculation of the change in atmospheric ozone and its effect on climate. Our results are opposite to those of Poulsen et al.: we find that the climate warms by 1.4 K at 35% O2 concentrations as a result of increased pressure broadening of CO2 and H2O absorption lines and cools by 0.8 K at 10% O2 as a result of decreased pressure broadening. The surface temperature changes are only about 1 K either way, though, for reasonable variations in Phanerozoic O2 concentrations (10%–35% by volume). Hence, it seems unlikely that changes in atmospheric O2 account for the warm climate of the Cenomanian. Other factors, such as a higher-than-expected sensitivity of climate to increased CO2 concentrations, may be required to obtain agreement with the paleoclimate data.

Atmospheric O2 levels↗
NASA NTRS2022

Perseverance Rover Collision Model for a range of Autonomous Behaviors

The NASA Mars 2020 Perseverance rover landed in Jezero crater on Mars on 18 February 2021. It is a science mission to collect and cache sample cores for possible return to Earth in the future. Robot collision modeling is traditionally used in robotics for hardware safety for manipulation and sampling. The Mars 2020 Rover Collision Model (RCM) optimizes and extends collision checking in innovative ways to provide a range of onboard autonomous capability on a computationally constrained system. It provides an example of the benefit of systems and operations cognizant software design and development of autonomous systems.

Klein, Douglas↗
DOE OSTI2020

VALVE TIMING AND AREA PROFILE SELECTION FOR HYDRAULIC PUMPS AND MOTORS

A significant amount of research has been conducted to select valve timing and area profiles that create efficient and quiet hydraulic pumps and motors. Numerous active valve architectures have been modeled and optimized, but the rationale for the final solution is often unclear. The solution is usually highly dependent on the modeled valve geometry constraints and the duty cycle of the pump or motor for which the valve was optimized. This paper first presents an ideal valve area profile and what compromises are made to design for a working pressure and speed range. The ideal valve area profile is resolved using a piston-cylinder model with a pressure dependent bulk modulus and variable valve openings. The piston-cylinder is first modeled as a pump with passive (check) valves and a specified pressure drop across the valves to determine the ideal area profile. A generalization of the ideal timing is demonstrated for positive pressure differential and positive rotation direction, also known as the first quadrant. The effects on valve timing when varying pressure are shown for the first quadrant, but the trends can be extrapolated for all quadrants of operation. The ideal valve profile is implemented as fixed valve timing, meaning the valve area is only a function of the timing angle, in a pump-motor. The pump-motor is simulated in one rotation direction through a pressure range. Performance is high in pumping operation, but when the pressure differential is reversed, cylinder pressure spikes ensue. Two strategies to modify an ideal valve area profile are presented: timing grooves and a pressure shifted valve timing. Timing grooves reduce pressure spikes and cavitation in the cylinder but generally increase throttling losses. A pressure shifted valve timing has lower throttling energy losses, making it the favored solution.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS2013

MPST Software: grl_pef_check

This innovation is a tool used to verify and validate spacecraft sequences at the predicted events file (PEF) level for the GRAIL (Gravity Recovery and Interior Laboratory, see http://www.nasa. gov/mission_pages/grail/main/index. html) mission as part of the Multi-Mission Planning and Sequencing Team (MPST) operations process to reduce the possibility for errors. This tool is used to catch any sequence related errors or issues immediately after the seqgen modeling to streamline downstream processes. This script verifies and validates the seqgen modeling for the GRAIL MPST process. A PEF is provided as input, and dozens of checks are performed on it to verify and validate the command products including command content, command ordering, flight-rule violations, modeling boundary consistency, resource limits, and ground commanding consistency. By performing as many checks as early in the process as possible, grl_pef_check streamlines the MPST task of generating GRAIL command and modeled products on an aggressive schedule. By enumerating each check being performed, and clearly stating the criteria and assumptions made at each step, grl_pef_check can be used as a manual checklist as well as an automated tool. This helper script was written with a focus on enabling the user with the information they need in order to evaluate a sequence quickly and efficiently, while still keeping them informed and active in the overall sequencing process. grl_pef_check verifies and validates the modeling and sequence content prior to investing any more effort into the build. There are dozens of various items in the modeling run that need to be checked, which is a time-consuming and errorprone task. Currently, no software exists that provides this functionality. Compared to a manual process, this script reduces human error and saves considerable man-hours by automating and streamlining the mission planning and sequencing task for the GRAIL mission.

Call, Jared A.↗
DOE OSTI2022

TDCOSMO. IX. Systematic comparison between lens modelling software programs: time delay prediction for WGD 2038-4008

The importance of alternative methods for measuring the Hubble constant, such as time-delay cosmography, is highlighted by the recent Hubble tension. It is paramount to thoroughly investigate and rule out systematic biases in all measurement methods before we can accept new physics as the source of this tension. In this study, we perform a check for systematic biases in the lens modelling procedure of time-delay cosmography by comparing independent and blind time-delay predictions of the system WGD 2038-4008 from two teams using two different software programs: GLEE and LENSTRONOMY. The predicted time delays from the two teams incorporate the stellar kinematics of the deflector and the external convergence from line-of-sight structures. The un-blinded time-delay predictions from the two teams agree within 1.2σ, implying that once the time delay is measured the inferred Hubble constant will also be mutually consistent. However, there is a ~4σ discrepancy between the power-law model slope and external shear, which is a significant discrepancy at the level of lens models before the stellar kinematics and the external convergence are incorporated. We identify the difference in the reconstructed point spread function (PSF) to be the source of this discrepancy. When the same reconstructed PSF was used by both teams, we achieved excellent agreement, within ~0.6σ<, indicating that potential systematics stemming from source reconstruction algorithms and investigator choices are well under control. We recommend that future studies supersample the PSF as needed and marginalize over multiple algorithms or realizations for the PSF reconstruction to mitigate the systematics associated with the PSF. A future study will measure the time delays of the system WGD 2038-4008 and infer the Hubble constant based on our mass models.

79 ASTRONOMY AND ASTROPHYSICS↗