Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “C CODES”

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 739 records · Page 41
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Runtime Verification of C Programs

We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.

RMOR↗
NASA NTRS2003

Software for Better Documentation of Other Software

The Literate Programming Extraction Engine is a Practical Extraction and Reporting Language- (PERL-)based computer program that facilitates and simplifies the implementation of a concept of self-documented literate programming in a fashion tailored to the typical needs of scientists. The advantage for the programmer is that documentation and source code are written side-by-side in the same file, reducing the likelihood that the documentation will be inconsistent with the code and improving the verification that the code performs its intended functions. The advantage for the user is the knowledge that the documentation matches the software because they come from the same file. This program unifies the documentation process for a variety of programming languages, including C, C++, and several versions of FORTRAN. This program can process the documentation in any markup language, and incorporates the LaTeX typesetting software. The program includes sample Makefile scripts for automating both the code-compilation (when appropriate) and documentation-generation processes into a single command-line statement. Also included are macro instructions for the Emacs display-editor software, making it easy for a programmer to toggle between editing in a code or a documentation mode.

Pinedo, John↗
NASA NTRS2002

Summary of Data from the First AIAA CFD Drag Prediction Workshop

The results from the first AIAA CFD Drag Prediction Workshop are summarized. The workshop was designed specifically to assess the state-of-the-art of computational fluid dynamics methods for force and moment prediction. An impartial forum was provided to evaluate the effectiveness of existing computer codes and modeling techniques, and to identify areas needing additional research and development. The subject of the study was the DLR-F4 wing-body configuration, which is representative of transport aircraft designed for transonic flight. Specific test cases were required so that valid comparisons could be made. Optional test cases included constant-C(sub L) drag-rise predictions typically used in airplane design by industry. Results are compared to experimental data from three wind tunnel tests. A total of 18 international participants using 14 different codes submitted data to the workshop. No particular grid type or turbulence model was more accurate, when compared to each other, or to wind tunnel data. Most of the results overpredicted C(sub Lo) and C(sub Do), but induced drag (dC(sub D)/dC(sub L)(exp 2)) agreed fairly well. Drag rise at high Mach number was underpredicted, however, especially at high C(sub L). On average, the drag data were fairly accurate, but the scatter was greater than desired. The results show that well-validated Reynolds-Averaged Navier-Stokes CFD methods are sufficiently accurate to make design decisions based on predicted drag.

Levy, David W.↗
NASA NTRS1965

Network systems

Network equipment installation at remote sites for Apollo program

SPACECRAFT COMMUNICATIONS SYSTEM↗
NASA NTRS1968

Topological codes.

Topological codes and simplicial subclass information rates, minimum weights and word length

Saltzer, C.↗
NASA NTRS1974

Implementation of an advanced table look-up classifier for large area land-use classification

Software employing Eppler's improved table look-up approach to pattern recognition has been developed, and results from this software are presented. The look-up table for each class is a computer representation of a hyperellipsoid in four dimensional space. During implementation of the software Eppler's look-up procedure was modified to include multiple ranges in order to accommodate hollow regions in the ellipsoids. In a typical ERTS classification run less than 6000 36-bit computer words were required to store tables for 24 classes. Classification results from the improved table look-up are identical with those produced by the conventional method, i.e., by calculation of the maximum likelihood decision rule at the moment of classification. With the new look-up approach an entire ERTS MSS frame can be classified into 24 classes in 1.3 hours, compared to 22.5 hours required by the conventional method. The new software is coded completely in FORTRAN to facilitate transfer to other digital computers.

Jones, C.↗
NASA NTRS1978

Fatigue impact on Mod-1 wind turbine design

Fatigue is a key consideration in the design of a long-life Wind Turbine Generator (WTG) system. This paper discusses the fatigue aspects of the large Mod-1 horizontal-axis WTG design starting with the characterization of the environment and proceeding through the design. Major sources of fatigue loading are discussed and methods of limiting fatigue loading are described. NASTRAN finite element models are used to determine dynamic loading and internal cyclic stresses. Recent developments in determining the allowable fatigue stress consistent with present construction codes are discussed relative to their application to WTG structural design.

Stahle, C. V., Jr.↗
NASA NTRS1983

Heat-transfer distributions on biconics at incidence in hypersonic-hypervelocity He, N2, air, and CO2 flows

Laminar heat transfer rates were measured on spherically blunted, 13 deg/7 deg on axis and bent biconics (fore cone bent 7 deg upward relative to aft cone) at hypersonic hypervelocity flow conditions in the Langley Expansion Tube. Freestream velocities from 4.5 to 6.9 km/sec and Mach numbers from 6 to 9 were generated using helium, nitrogen, air, and carbon dioxide test gases, resulting in normal shock density ratios from 4 to 19. Angle of attack, referenced to the axis of the aft cone, was varied from 0 to 20 deg in 4 deg increments. The effect of nose bend, angle of attack, and real gas phenomena on heating distributions are presented along with comparisons of measurement to prediction from a code which solves the three dimensional parabolized Navier-Stokes equations.

Miller, C. G.↗
NASA NTRS1985

Finite element methods for high speed flows

An explicit finite element based solution procedure for solving the equations of compressible viscous high speed flow is presented. The method uses domain splitting to advance the solution with different timesteps on different portions of the mesh. For steady inviscid flows, adaptive mesh refinement procedures are successfully employed to enhance the definition of discontinuities. Preliminary ideas on the application of adaptive mesh refinement to the solution of problems involving steady viscous flow are presented. Sample timings are given for the performance of the finite element code on modern supercomputers.

Loehner, R.↗
NASA NTRS1987

High speed simulation of flexible multibody dynamics

A multiflexible body dynamics code intended for fast turnaround control design trades is described. Nonlinear rigid body dynamics and linearized flexible dynamics combine to provide efficient solution of the equations of motion. Comparison with results from the DISCOS code provide verification of accuracy.

Jacot, A. D.↗
NASA NTRS1986

Finite element solver for 3-D compressible viscous flows

The space shuttle main engine (SSME) has extremely complex internal flow structure. The geometry of the flow domain is three-dimensional with complicated topology. The flow is compressible, viscous, and turbulent with large gradients in flow quantities and regions of recirculations. The analysis of the flow field in SSME involves several tedious steps. One is the geometrical modeling of the particular zone of the SSME being studied. Accessing the geometry definition, digitalizing it, and developing surface interpolations suitable for an interior grid generator require considerable amount of manual labor. There are several types of grid generators available with some general-purpose finite element programs. An efficient and robust computational scheme for solving 3D Navier-Stokes equations has to be implemented. Post processing software has to be adapted to visualize and analyze the computed 3D flow field. The progress made in a project to develop software for the analysis of the flow is discussed. The technical approach to the development of the finite element scheme and the relaxation procedure are discussed. The three dimensional finite element code for the compressible Navier-Stokes equations is listed.

Reddy, K. C.↗
NASA NTRS1987

Three-dimensional computations of transverse hydrogen jet combustion in a supersonic airstream

A computational fluid dynamics (CFD) code is being developed to compute the mixing and combustion of hydrogen fuel in the turbulent flow fields of supersonic combustion ramjets (scramjet). The code solves the three-dimensional Reynolds time-averaged complete Navier-Stokes equations including transport equations for a four species, two reaction, global finite rate chemistry model. The code was applied to the case of transverse injection of hydrogen from a sonic circular orifice into a supersonic airstream. The equations were numerically integrated using MacCormack's explicit method, and the algebraic eddy viscosity model of Baldwin-Lomax was used to model the turbulence. In the species transport and energy equations, diffusion coefficients based on Fick's Law and an assumption of unit Lewis number were applied. Computed features of the three-dimensional flow field are depicted by static pressure, static temperature, mass fraction of species, and velocity vectors. For engineering interest, mixing and combustion parameters were examined to assess the effect of injector diameter, injected fuel pressure, fuel-air ratio, and spacing of fuel injectors. The objective of the present paper is to demonstrate the capability of the present three-dimensional spatially elliptic, CFD code for turbulent, reacting flow. Application of the code to specific supersonic combustion configurations is planned.

Uenishi, K.↗
NASA NTRS1988

NESSUS/EXPERT - An expert system for probabilistic structural analysis methods

An expert system (NESSUS/EXPERT) is presented which provides assistance in using probabilistic structural analysis methods. NESSUS/EXPERT is an interactive menu-driven expert system that provides information to assist in the use of the probabilistic finite element code NESSUS/FEM and the fast probability integrator. NESSUS/EXPERT was developed with a combination of FORTRAN and CLIPS, a C language expert system tool, to exploit the strengths of each language.

Millwater, H.↗
NASA NTRS1989

The application of CFD for military aircraft design at transonic speeds

Numerous computational fluid dynamics (CFD) codes are available that solve any of several variations of the transonic flow equations from small disturbance to full Navier-Stokes. The design philosophy at General Dynamics Fort Worth Division involves use of all these levels of codes, depending on the stage of configuration development. Throughout this process, drag calculation is a central issue. An overview is provided for several transonic codes and representative test-to-theory comparisons for fighter-type configurations are presented. Correlations are shown for lift, drag, pitching moment, and pressure distributions. The future of applied CFD is also discussed, including the important task of code validation. With the progress being made in code development and the continued evolution in computer hardware, the routine application of these codes for increasingly more complex geometries and flow conditions seems apparent.

Smith, C. W.↗
NASA NTRS1989

Computational fluid dynamics on a massively parallel computer

A finite difference code was implemented for the compressible Navier-Stokes equations on the Connection Machine, a massively parallel computer. The code is based on the ARC2D/ARC3D program and uses the implicit factored algorithm of Beam and Warming. The codes uses odd-even elimination to solve linear systems. Timings and computation rates are given for the code, and a comparison is made with a Cray XMP.

Jespersen, Dennis C.↗