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 487 records · Page 27
All sourcesNASA NTRSDOE OSTI
NASA NTRS1977

Rolling moments in a trailing vortex flow field

Pressure distributions are presented which were measured on a wing in close proximity to a tip vortex of known structure generated by a larger, upstream semispan wing. Overall loads calculated by integration of these pressures are checked by independent measurements made with an identical model mounted on a force balance. Several conventional methods of wing analysis are used to predict the loads on the following wing. Strip theory is shown to give uniformly poor results for loading distribution, although predictions of overall lift and rolling moment are sometimes acceptable. Good results are obtained for overall coefficients and loading distribution by using linearized pressures in vortex-lattice theory in conjunction with a rectilinear vortex. The equivalent relation from reverse-flow theory that can be used to give economic predictions for overall loads is presented.

Mcmillan, O. J.↗
NASA NTRS1981

Dynamics of an experimental two bladed horizontal axis wind turbine with blade cyclic pitch variation

The turbine under study incorporates the combination of two features: the application of blade cyclic pitch variation; and the use of yaw angle control for rotor speed and torque regulation. Due to its emasculation by passive cyclic pitch variation the rotor can be rapidly yawed without encountering gyroscopic and aerodynamic hub moments and without noticeable out of plane excursions. The two bladed upwind rotor is vane stabilized and of very simple and rugged design. The principle was first checked out with a small scale wind tunnel model and then tested in the atmosphere with a 7.6 meter diameter experimental fully instrumented wind turbine driving a 3 phase alternator. The test results are summarized with respect to structural dynamics and yaw dynamics.

Hotenemser, K. H.↗
NASA NTRS1985

Subsonic pressure distributions near a wing-fin juncture on a supersonic arrow-wing configuration with wing-mounted vertical fins

A generic supersonic arrow-wing configuration has been extensively studied to develop a consistent experimental data base to aid in verifying analytical prediction methods. One of the wing configurations studied was a twisted and cambered wing with wing-mounted vertical fins and trailing-edge flaps. The pressure data obtained on that configuration was limited in the wing-fin juncture region, and no pressures were obtained on the fin itself. However, detailed data in the juncture region and on the fin are essential to check out the analytical prediction methods. Therefore, the model was modified to provide details of the juncture pressure field as well as pressures on the fin. The results of this experimental investigation showed that the addition of a fin helped improve the wing pressure distribution outboard of the fin. Deflection of the trailing-edge flap did not adversely affect this trend. The pressure distributions on the vertical fin were generally affected more by change in angle of attack than by flap deflection. The spanwise pressure distribution on the fin itself indicated a load reversal with angle of attack.

Huffman, J. K.↗
NASA NTRS1986

Calculation of secondary electron trajectories in multistage depressed collectors for microwave amplifiers

Computational procedures are reported for treating power losses due to secondary electrons in multistage depressed collectors (MDC) for traveling wave tubes (TWT) and other O-type electron tubes. The MDC is modeled with an advanced, multidimensional computer program. Representative beams of secondary electrons are then injected at the points of impact of the primary beams. Separate programs are used to calculate representative beams of high-energy primary electron beams and of low-energy true secondaries. The recomputation of the MDC model including the true secondary beam allows determination of the secondary emission losses, and, if necessary, redesign of the MDC to improve performance. Recomputation of the MDC model including the primary beams is used to check on possible backstreaming from the MDC to the RF interaction structure of the tube. A comparison with experimentally measured values of TWT and MDC efficiencies is made.

Force, Dale A.↗
NASA NTRS1991

Advanced electromagnetic methods for aerospace vehicles

During this period the research program addressed the following three topics: (1) composite materials; (2) precipitation static (P-Static); and (3) antenna technology. On the topic of Composite Materials our main efforts were directed toward making measurements on several new samples of composite materials made available to ASU by Stanford Research Institute (SRI) through the efforts of Mr. Frank Casler of AVRADA. These samples can be classified into three distinct materials with each material having its own distinct electrical properties. In addition, attempts were made to make predictions of the effects on antenna patterns by composite materials. This will take a greater emphasis in the next reporting period. In Precipitation Static (P-Static), the main effort was devoted toward developing a Voltage Finite-Difference Time-Domain computer code to account for the voltage variation on a conducting body as the primary source of corona discharge, instead of the electric field. Due to complexities stemming from the interactions between the potentials, the fields, and current sources, the decision was made to begin with a simple two-dimensional problem without the corona discharge and check our programs in a series of simple models, culminating in the full corona discharge problem. This report deals with the first stage of such development. During this reporting period, the main effort in Antenna Technology was toward the design, fabrication, and testing of a cavity-backed slot antenna using ferrite material. Using the ferrite material available to us during this period, the resonances of this antenna were around 5 and 8 GHz. Attempts will be made to model such an antenna and to lower its resonance down into the VHF and UHF bands.

Balanis, Constantine A.↗
NASA NTRS1999

Installed Transonic 2D Nozzle Nacelle Boattail Drag Study

The Transonic Nozzle Boattail Drag Study was initiated in 1995 to develop an understanding of how external nozzle transonic aerodynamics effect airplane performance and how strongly those effects are dependent on nozzle configuration (2D vs. axisymmetric). MDC analyzed the axisymmetric nozzle. Boeing subcontracted Northrop-Grumman to analyze the 2D nozzle. AU participants analyzed the AGARD nozzle as a check-out and validation case. Once the codes were checked out and the gridding resolution necessary for modeling the separated flow in this region determined, the analysis moved to the installed wing/body/nacelle/diverter cases. The boat tail drag validation case was the AGARD B.4 rectangular nozzle. This test case offered both test data and previous CFD analyses for comparison. Results were obtained for test cases B.4.1 (M=0.6) and B.4.2 (M=0.938) and compared very well with the experimental data. Once the validation was complete a CFD grid was constructed for the full Ref. H configuration (wing/body/nacelle/diverter) using a combination of patched and overlapped (Chimera) grids. This was done to ensure that the grid topologies and density would be adequate for the full model. The use of overlapped grids allowed the same grids from the full configuration model to be used for the wing/body alone cases, thus eliminating the risk of grid differences affecting the determination of the installation effects. Once the full configuration model was run and deemed to be suitable the nacelle/diverter grids were removed and the wing/body analysis performed. Reference H wing/body results were completed for M=0.9 (a=0.0, 2.0, 4.0, 6.0 and 8.0), M=1.1 (a=4.0 and 6.0) and M=2.4 (a=0.0, 2.0, 4.4, 6.0 and 8.0). Comparisons of the M=0.9 and M=2.4 cases were made with available wind tunnel data and overall comparisons were good. The axi-inlet/2D nozzle nacelle was analyzed isolated. The isolated nacelle data coupled with the wing/body result enabled the interference effects of the installed nacelles to be determined. Isolated nacelle mm were made at M=0.9 and M=1.1 for both the supersonic and transonic nozzle settings. AU of the isolated nacelle cases were run at alpha=0. Full configuration runs were to be made at Mach numbers of 0.9, 1.1, and 2.4 (the same as the wing/body and isolated nacelles). Both the isolated nacelles and installed nacelles were run with inlet conditions designed to give zero spillage. This was to be done in order to isolate the boattail effects as much as possible. Full configuration runs with the supersonic nozzles were completed for M=0.9 and 1.1 at a=4.0 and 6.0 (4 runs total) and with the transonic nozzles at M=0.9 and 1.1 at a=2.0, 4.0 and 6.0 (6 runs total). Drag breakdowns were completed for the M=0.9 and M= 1.1 showing favorable interference drag for both cases.

Malone, Michael B.↗
NASA NTRS2001

Development and Validation of High Performance Unshrouded Centrifugal Impeller

The feasibility of using a two-stage unshrouded impeller turbopump to replace the current three-stage reusable launch vehicle engine shrouded impeller hydrogen pump has been evaluated from the standpoint of turbopump weight reduction and overall payload improvement. These advantages are a by-product of the higher tip speeds that an unshrouded impeller can sustain. The issues associated with the effect of unshrouded impeller tip clearance on pump efficiency and head have been evaluated with one-dimensional tools and full three-dimensional rotordynamic fluid reaction forces and coefficients have been established through time dependent computational fluid dynamics (CFD) simulation of the whole 360 degree impeller with different rotor eccentricities and whirling ratios. Unlike the shrouded impeller, the unshrouded impeller forces are evaluated as the sum of the pressure forces on the blade and the pressure forces on the hub using the CFD results. The turbopump axial thrust control has been optimized by adjusting the first stage impeller backend wear ring seal diameter and diverting the second stage backend balance piston flow to the proper location. The structural integrity associated with the high tip speed has been checked by analyzing a 3D-Finite Element Model at maximum design conditions (6% higher than the design speed). This impeller was fabricated and tested in the NASA Marshall Space Flight Center water-test rig. The experimental data will be compared with the analytical predictions and presented in another paper. The experimental data provides validation data for the numerical design and analysis methodology. The validated numerical methodology can be used to help design different unshrouded impeller configurations.

Chen, Wei-Chung↗
NASA NTRS2009

Information Extraction for System-Software Safety Analysis: Calendar Year 2008 Year-End Report

This annual report describes work to integrate a set of tools to support early model-based analysis of failures and hazards due to system-software interactions. The tools perform and assist analysts in the following tasks: 1) extract model parts from text for architecture and safety/hazard models; 2) combine the parts with library information to develop the models for visualization and analysis; 3) perform graph analysis and simulation to identify and evaluate possible paths from hazard sources to vulnerable entities and functions, in nominal and anomalous system-software configurations and scenarios; and 4) identify resulting candidate scenarios for software integration testing. There has been significant technical progress in model extraction from Orion program text sources, architecture model derivation (components and connections) and documentation of extraction sources. Models have been derived from Internal Interface Requirements Documents (IIRDs) and FMEA documents. Linguistic text processing is used to extract model parts and relationships, and the Aerospace Ontology also aids automated model development from the extracted information. Visualizations of these models assist analysts in requirements overview and in checking consistency and completeness.

Malin, Jane T.↗
NASA NTRS2009

Automation for System Safety Analysis

This presentation describes work to integrate a set of tools to support early model-based analysis of failures and hazards due to system-software interactions. The tools perform and assist analysts in the following tasks: 1) extract model parts from text for architecture and safety/hazard models; 2) combine the parts with library information to develop the models for visualization and analysis; 3) perform graph analysis and simulation to identify and evaluate possible paths from hazard sources to vulnerable entities and functions, in nominal and anomalous system-software configurations and scenarios; and 4) identify resulting candidate scenarios for software integration testing. There has been significant technical progress in model extraction from Orion program text sources, architecture model derivation (components and connections) and documentation of extraction sources. Models have been derived from Internal Interface Requirements Documents (IIRDs) and FMEA documents. Linguistic text processing is used to extract model parts and relationships, and the Aerospace Ontology also aids automated model development from the extracted information. Visualizations of these models assist analysts in requirements overview and in checking consistency and completeness.

Malin, Jane T.↗
NASA NTRS1993

Automating a human factors evaluation of graphical user interfaces for NASA applications: An update on CHIMES

Capturing human factors knowledge about the design of graphical user interfaces (GUI's) and applying this knowledge on-line are the primary objectives of the Computer-Human Interaction Models (CHIMES) project. The current CHIMES prototype is designed to check a GUI's compliance with industry-standard guidelines, general human factors guidelines, and human factors recommendations on color usage. Following the evaluation, CHIMES presents human factors feedback and advice to the GUI designer. The paper describes the approach to modeling human factors guidelines, the system architecture, a new method developed to convert quantitative RGB primaries into qualitative color representations, and the potential for integrating CHIMES with user interface management systems (UIMS). Both the conceptual approach and its implementation are discussed. This paper updates the presentation on CHIMES at the first International Symposium on Ground Data Systems for Spacecraft Control.

Jiang, Jian-Ping↗
NASA NTRS1988

The Sizing and Optimization Language, (SOL): Computer language for design problems

The Sizing and Optimization Language, (SOL), a new high level, special purpose computer language was developed to expedite application of numerical optimization to design problems and to make the process less error prone. SOL utilizes the ADS optimization software and provides a clear, concise syntax for describing an optimization problem, the OPTIMIZE description, which closely parallels the mathematical description of the problem. SOL offers language statements which can be used to model a design mathematically, with subroutines or code logic, and with existing FORTRAN routines. In addition, SOL provides error checking and clear output of the optimization results. Because of these language features, SOL is best suited to model and optimize a design concept when the model consits of mathematical expressions written in SOL. For such cases, SOL's unique syntax and error checking can be fully utilized. SOL is presently available for DEC VAX/VMS systems. A SOL package is available which includes the SOL compiler, runtime library routines, and a SOL reference manual.

Lucas, Stephen H.↗
NASA NTRS1982

Modeling of human operator dynamics in simple manual control utilizing time series analysis

Time series analysis is applied to model human operator dynamics in pursuit and compensatory tracking modes. The normalized residual criterion is used as a one-step analytical tool to encompass the processes of identification, estimation, and diagnostic checking. A parameter constraining technique is introduced to develop more reliable models of human operator dynamics. The human operator is adequately modeled by a second order dynamic system both in pursuit and compensatory tracking modes. In comparing the data sampling rates, 100 msec between samples is adequate and is shown to provide better results than 200 msec sampling. The residual power spectrum and eigenvalue analysis show that the human operator is not a generator of periodic characteristics.

Agarwal, G. C.↗
NASA NTRS1990

Development and applications of a multi-level strain energy method for detecting finite element modeling errors

A computational procedure is described which can be used efficiently in identifying modeling errors which may arise from development of a structural finite element model. The procedure, which is referred to as the multi-level strain energy check, is set up in the form of a set of NASTRAN DMAP alters which provide sufficient information about the modeling errors at G-Set, N-Set, and F-Set levels. This technique was applied to two NASTRAN models, namely, the AH-64A and AH-1G models. Two modeling errors were identified for the AH-1G, which were then corrected.

Hashemi-Kia, Mostafa↗
NASA NTRS1990

A probabilistic model for the evaluation of fault-tolerant multiprocessor systems using concurrent error detection

A probabilistic model to evaluate fault-tolerant multiprocessor systems has been developed. The matrix-based model and the analysis algorihtms based on it are described. Various probabilities associated with an algorithm-based fault tolerance system are discussed and the fault coverage of a given check is derived analytically and illustrated with examples. The probability matrices that are formed by introducing the spatial probabilities into the matrix model are considered. Based on these matrices, a technique is developed to determine the combined coverage of multiple numbers of checks. Examples of the analysis of systems using the model are given.

Nair, V. S. S.↗
NASA NTRS1990

Obtaining consistent models of helicopter flight-data measurement errors using kinematic-compatibility and state-reconstruction methods

A new method was developed for application of Kalman Filter/Smoothers to post-flight processing of helicopter flight test dynamic measurements. This processing includes checking for kinematic compatibility among the measurements, identification of a measurement error model, and reconstruction of both measured and unmeasured time histories. Emphasis is placed on identification of a parametric measurement error model which is valid for a set of flight test data. This is facilitated through a new method of concatenating several maneuver time histories. The method also includes a model structure determination step which ensures that a physically realistic parameterization has been achieved. Application of the method to a set of BO-105 flight test data is illustrated. The resulting minimally parameterized error model is shown to characterize the measurement errors of the entire data set with very little variation in the parameter values. Reconstructed time histories are shown to have increased bandwidths and signal to noise ratios.

Fletcher, Jay W.↗
NASA NTRS2022

FPP: A Modeling Language for F Prime

We present F Prime Prime (FPP), a new open-source modeling language for F Prime. F Prime is an open-source flight software framework developed at JPL and deployed, among other places, on the Mars helicopter Ingenuity. FPP provides a convenient way to model the architectural elements of an F Prime application, e.g., components, ports, and their connections. It has a succinct and readable syntax, a well- defined semantics, and robust error checking and reporting. The FPP tool suite, written in Scala, analyzes FPP models, reports errors, and translates correct FPP models to a combination of XML and C++. Existing F Prime tools translate the XML to a partial implementation in C++, to be completed by the developers. The model elements have clean interfaces and are highly reusable. An accompanying visualization tool constructs diagrams of components and connections that FSW developers can use to understand and communicate their designs, for ex- ample at reviews. We discuss the design and implementation of FPP and the integration of FPP into F Prime. We also discuss our experience using FPP to construct F Prime models. Finally, we discuss our plans for future work, including improved code generation, improved visualization, and more advanced analysis capabilities.

Starch, Michael D.↗
NASA NTRS1977

TVC actuator model

A prototype Space Shuttle Main Engine (SSME) Thrust Vector Control (TVC) Actuator analog model was successfully completed. The prototype, mounted on five printed circuit (PC) boards, was delivered to NASA, checked out and tested using a modular replacement technique on an analog computer. In all cases, the prototype model performed within the recording techniques of the analog computer which is well within the tolerances of the specifications.

Baslock, R. W.↗
NASA NTRS1973

Development and in-flight performance of the Mariner 9 spacecraft propulsion system

On November 14, 1971, Mariner 9 was decelerated into orbit about Mars by a 1334 N (300 lbf) liquid bipropellant propulsion system. This paper describes and summarizes the development and in-flight performance of this pressure-fed, nitrogen tetroxide/monomethyl hydrazine bipropellant system. The design of all Mariner propulsion subsystems has been predicted upon the premise that simplicity of approach, coupled with thorough qualification and margin-limits testing, is the key to cost-effective reliability. The qualification test program and analytical modeling are also discussed. Since the propulsion subsystem is modular in nature, it was completely checked, serviced, and tested independent of the spacecraft. Proper prediction of in-flight performance required the development of three significant modeling tools to predict and account for nitrogen saturation of the propellant during the six-month coast period and to predict and statistically analyze in-flight data.

Evans, D. D.↗