Search NASA⌕ Search

SEARCH · Search NASA

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 433 records · Page 24
All sourcesNASA NTRSDOE OSTI
NASA NTRS1981

V/STOL propulsion control analysis: Phase 2, task 5-9

Typical V/STOL propulsion control requirements were derived for transition between vertical and horizontal flight using the General Electric RALS (Remote Augmented Lift System) concept. Steady-state operating requirements were defined for a typical Vertical-to-Horizontal transition and for a typical Horizontal-to-Vertical transition. Control mode requirements were established and multi-variable regulators developed for individual operating conditions. Proportional/Integral gain schedules were developed and were incorporated into a transition controller with capabilities for mode switching and manipulated variable reassignment. A non-linear component-level transient model of the engine was developed and utilized to provide a preliminary check-out of the controller logic. An inlet and nozzle effects model was developed for subsequent incorporation into the engine model and an aircraft model was developed for preliminary flight transition simulations. A condition monitoring development plan was developed and preliminary design requirements established. The Phase 1 long-range technology plan was refined and restructured toward the development of a real-time high fidelity transient model of a supersonic V/STOL propulsion system and controller for use in a piloted simulation program at NASA-Ames.

Source record↗
NASA NTRS1980

Eddy diffusion coefficients and the variance of the atmosphere 30-60 km

The results of numerical models or of new observational programs are checked by comparing them with past observations. In view of the differing analysis techniques or differing data samples, the eddy diffusivities presented here agree remarkably well with past estimates. However, in the application of K-values to two-dimensional models, the actual magnitude of the diffusivities is no more important than their spatial patterns, i.e., their gradients with height and latitude. It should thus be noted that the present patterns are often much different from those of past results.

Nastrom, G. D.↗
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↗
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.↗
NASA NTRS1994

(abstract) Automated Constraint Checking of Spacecraft Command Sequences

Making certain that spacecraft command sequences do not violate any constraints is often tedious and expensive in terms of both personnel and software development. To reduce this cost, we have pursued the development of a flexible system for specifying models of spacecraft behavior in response to commands as well as constraints on that behavior. The potential need for modeling complex spacecraft behavior required that the system be designed to be usable both on a conventional workstation and a parallel supercomputer. Finally, it needed to be intuitive enough for the the intended mission operations users to easily design sets of rules and models to automate tedious, resource-consuming constraint checking of commands. We have defined a Specification And Verification Environment (SAVE) for spacecraft flight rules.

automation spacecraft command sequences constraint↗