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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Carbon and nitrogen abundances in the supergiants HD 93840 and zeta Per

The BN supergiant HD 93840 is shown to have the same temperature and surface gravity as the normal Bi Ib zeta Per. Differential abundance analysis of their C 4 and N 5 wind line profiles are found. The results are independent of the usual model atmosphere analyses and, therefore, a valuable check on them. Ratios for the C and N surface abundances in HD 93840 compared to Per of 1:10 and 4.6:1 are found respectively. By introducing a simple model for the compositions of both atmospheres the fraction of material in each atmosphere which has undergone CNO processing, more than 90 percent for HD 93840 and less than about 15 percent for zeta Per, is derived.

Massa, Derck↗
NASA NTRS2013

Support Routines for In Situ Image Processing

This software consists of a set of application programs that support ground-based image processing for in situ missions. These programs represent a collection of utility routines that perform miscellaneous functions in the context of the ground data system. Each one fulfills some specific need as determined via operational experience. The most unique aspect to these programs is that they are integrated into the large, in situ image processing system via the PIG (Planetary Image Geometry) library. They work directly with space in situ data, understanding the appropriate image meta-data fields and updating them properly. The programs themselves are completely multimission; all mission dependencies are handled by PIG. This suite of programs consists of: (1)marscahv: Generates a linearized, epi-polar aligned image given a stereo pair of images. These images are optimized for 1-D stereo correlations, (2) marscheckcm: Compares the camera model in an image label with one derived via kinematics modeling on the ground, (3) marschkovl: Checks the overlaps between a list of images in order to determine which might be stereo pairs. This is useful for non-traditional stereo images like long-baseline or those from an articulating arm camera, (4) marscoordtrans: Translates mosaic coordinates from one form into another, (5) marsdispcompare: Checks a Left Right stereo disparity image against a Right Left disparity image to ensure they are consistent with each other, (6) marsdispwarp: Takes one image of a stereo pair and warps it through a disparity map to create a synthetic opposite- eye image. For example, a right eye image could be transformed to look like it was taken from the left eye via this program, (7) marsfidfinder: Finds fiducial markers in an image by projecting their approximate location and then using correlation to locate the markers to subpixel accuracy. These fiducial markets are small targets attached to the spacecraft surface. This helps verify, or improve, the pointing of in situ cameras, (8) marsinvrange: Inverse of marsrange . given a range file, re-computes an XYZ file that closely matches the original. . marsproj: Projects an XYZ coordinate through the camera model, and reports the line/sample coordinates of the point in the image, (9) marsprojfid: Given the output of marsfidfinder, projects the XYZ locations and compares them to the found locations, creating a report showing the fiducial errors in each image. marsrad: Radiometrically corrects an image, (10) marsrelabel: Updates coordinate system or camera model labels in an image, (11) marstiexyz: Given a stereo pair, allows the user to interactively pick a point in each image and reports the XYZ value corresponding to that pair of locations. marsunmosaic: Extracts a single frame from a mosaic, which will be created such that it could have been an input to the original mosaic. Useful for creating simulated input frames using different camera models than the original mosaic used, and (12) merinverter: Uses an inverse lookup table to convert 8-bit telemetered data to its 12-bit original form. Can be used in other missions despite the name.

Deen, Robert G.↗
NASA NTRS1989

Two-dimensional numerical simulation of a Stirling engine heat exchanger

The first phase of an effort to develop multidimensional models of Stirling engine components is described; the ultimate goal is to model an entire engine working space. More specifically, parallel plate and tubular heat exchanger models with emphasis on the central part of the channel (i.e., ignoring hydrodynamic and thermal end effects) are described. The model assumes: laminar, incompressible flow with constant thermophysical properties. In addition, a constant axial temperature gradient is imposed. The governing equations, describing the model, were solved using Crank-Nicloson finite-difference scheme. Model predictions were compared with analytical solutions for oscillating/reversing flow and heat transfer in order to check numerical accuracy. Excellent agreement was obtained for the model predictions with analytical solutions available for both flow in circular tubes and between parallel plates. Also the heat transfer computational results are in good agreement with the heat transfer analytical results for parallel plates.

Ibrahim, Mounir B.↗
NASA NTRS1991

Failure prediction of thin beryllium sheets used in spacecraft structures

The primary objective of this study is to develop a method for prediction of failure of thin beryllium sheets that undergo complex states of stress. Major components of the research include experimental evaluation of strength parameters for cross-rolled beryllium sheet, application of the Tsai-Wu failure criterion to plate bending problems, development of a high order failure criterion, application of the new criterion to a variety of structures, and incorporation of both failure criteria into a finite element code. A Tsai-Wu failure model for SR-200 sheet material is developed from available tensile data, experiments carried out by NASA on two circular plates, and compression and off-axis experiments performed in this study. The failure surface obtained from the resulting criterion forms an ellipsoid. By supplementing experimental data used in the the two-dimensional criterion and modifying previously suggested failure criteria, a multi-dimensional failure surface is proposed for thin beryllium structures. The new criterion for orthotropic material is represented by a failure surface in six-dimensional stress space. In order to determine coefficients of the governing equation, a number of uniaxial, biaxial, and triaxial experiments are required. Details of these experiments and a complementary ultrasonic investigation are described in detail. Finally, validity of the criterion and newly determined mechanical properties is established through experiments on structures composed of SR200 sheet material. These experiments include a plate-plug arrangement under a complex state of stress and a series of plates with an out-of-plane central point load. Both criteria have been incorporated into a general purpose finite element analysis code. Numerical simulation incrementally applied loads to a structural component that is being designed and checks each nodal point in the model for exceedance of a failure criterion. If stresses at all locations do not exceed the failure criterion, the load is increased and the process is repeated. Failure results for the plate-plug and clamped plate tests are accurate to within 2 percent.

Roschke, Paul N.↗
NASA NTRS1996

LDEF Satellite Radiation Analyses

Model calculations and analyses have been carried out to compare with several sets of data (dose, induced radioactivity in various experiment samples and spacecraft components, fission foil measurements, and LET spectra) from passive radiation dosimetry on the Long Duration Exposure Facility (LDEF) satellite, which was recovered after almost six years in space. The calculations and data comparisons are used to estimate the accuracy of current models and methods for predicting the ionizing radiation environment in low earth orbit. The emphasis is on checking the accuracy of trapped proton flux and anisotropy models.

Armstrong, T. W.↗
NASA NTRS1965

Human Tracking Performance in Uncoupled and Coupled Two-Axis Systems

This report presents tile results of an experimental and analytical study of human performance in uncoupled and coupled control systems. Human pilot performance in single and two-axis systems was mathematically modeled by linear second-order describing functions. Model parameters were determined using model matching techniques. Analysis of the models showed that the amplitude ratio and phase lead of the describing function increased with training indicating an increase in open loop bandwidth. The phase margin also decreased with training. Increasing the plant lag time constant resulted in an increase in the model lead time constant and a decrease in the zero frequency gain. No significant difference was found to exist in the normalized tracking error per axis between the two-axis tasks and the single-axis tasks. However tile model lead time constant was significantly greater in two-axis tracking. Manual tracking of two-axis systems with cross-coupling was studied experimentally and analytically. Approximate methods for modeling two-axis performance were developed and checked using a precise spectral analysis approach. Coupled and uncoupled, symmetrical and asymmetrical two-axis performance was compared. The results show that modeling of cross-coupled systems is feasible and that trained subjects are capable of decoupling the axes of some systems. A methodology study compared the identification performance of continuous, iterative, and extrapolation model matching techniques. An iterative technique employing sensitivity equations for the generation of influence coefficients was found to be the best technique due to its excellent identification accuracy and ease of implementation. Convergence in iterative techniques can be improved substantially by equalizing the parameter adjustment rates and limiting the maximum correction per iteration.

Todosiev, E. P.↗
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↗