Search NASA⌕ Search

SEARCH · Search NASA

Results for “code generation”

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 1,009 records · Page 56

Update of GRASP/Ada reverse engineering tools for Ada

The GRASP/Ada project (Graphical Representations of Algorithms, Structures, and Processes for Ada) has successfully created and prototyped a new algorithmic level graphical representation of Ada software, the Control Structure Diagram (CSD). The primary impetus for creation of the CSD was to improve the comprehension efficiency of Ada software and, as a result, improve reliability and reduce costs. The emphasis was on the automatic generation of the CSD from Ada PDL or source code to support reverse engineering and maintenance. The CSD has the potential to replace traditional prettyprinted Ada source code. In Phase 1 of the GRASP/Ada project, the CSD graphical constructs were created and applied manually to several small Ada programs. A prototype (Version 1) was designed and implemented using FLEX and BISON running under VMS on a VAS 11-780. In Phase 2, the prototype was improved and ported to the Sun 4 platform under UNIX. A user interface was designed and partially implemented using the HP widget toolkit and the X Windows System. In Phase 3, the user interface was extensively reworked using the Athena widget toolkit and X Windows. The prototype was applied successfully to numerous Ada programs ranging in size from several hundred to several thousand lines of source code. Following Phase 3, the prototype was evaluated by software engineering students at Auburn University and then updated with significant enhancements to the user interface including editing capabilities. Version 3.2 of the prototype was prepared for limited distribution to facilitate further evaluation. The current prototype provides the capability for the user to generate CSD's from Ada PDL or source code in a reverse engineering as well as forward engineering mode with a level of flexibility suitable for practical application.

Cross, James H., II↗

Harmonic generation in a terawatt x-ray free-electron laser

Abstract Terawatt x-ray free-electron lasers (XFELs) represent the frontier in further development of x-ray sources and require high current densities with strong transverse focusing. In this paper, we investigate the implications/potentialities of TW XFELs on the generation of harmonics at still shorter wavelengths and higher photon energies. The simulations indicate that significant power levels are possible at high harmonics of the XFEL resonance and that these XFELs can be an important coherent source of hard x-rays through the gamma ray spectrum. For this purpose, we use the MINERVA simulation code which self-consistently includes harmonic generation. Both helical and planar undulators are discussed in which the fundamental is at 1.5 Å and study the associated harmonic generation. While tapered undulators are needed to reach TW powers at the fundamental, the taper does not enhance the harmonics because the taper must start before saturation of the fundamental, while the harmonics saturate before this point is reached. Nevertheless, the harmonics reach substantial powers. Simulations indicate that, for the parameters under consideration, peak powers of the order of 180 MW are possible at the fifth harmonic with a photon energy of about 41 keV and still high harmonics may also be generated at substantial powers. Such high harmonic powers are certain to enable a host of enhanced applications.

Physics↗

Aerodynamic stability and heating analyses for the aeroassist flight experiment vehicle

Since ground based flow simulations are presently unable to model flight conditions expected for AOTVs (Aeroassist Orbital Transfer Vehicle) and other hypersonic space vehicles, computer codes are being developed to provide design parameters necessary for structure, guidance, and control aspects. Over the past four years, VRFLO (Viscous Reactive Flow) has been written to model finite-rate chemistry and viscous effects for a variety of aerobrake bodies. VRFLO includes a number of unique features that are summarized as follows: (1) Grid generation is an integral part of the code for several aerobrake configurations which includes the wake flow region; (2) The formulation is valid for three air chemical models; (3) An ADI central difference technique is used to solve the Navier-Stokes and species continuity equations in split groups; and (4) Grid density and numerical damping are minimized by shock-fitting and conformal mapping of body points.

Mcgary, J.↗

Rapid Geometry Creation for Computer-Aided Engineering Parametric Analyses: A Case Study Using ComGeom2 for Launch Abort System Design

ComGeom2, a tool developed to generate Common Geometry representation for multidisciplinary analysis, has been used to create a large set of geometries for use in a design study requiring analysis by two computational codes. This paper describes the process used to generate the large number of configurations and suggests ways to further automate the process and make it more efficient for future studies. The design geometry for this study is the launch abort system of the NASA Crew Launch Vehicle.

Hawke, Veronica↗

Numerical Simulations of an Axisymmetric Shock-Wave/Boundary-Layer Interaction

A series of Reynolds-averaged Navier-Stokes (RANS) simulations were performed of two Mach 2.5 axisymmetric shock-wave/boundary-layer interactions (SWBLIs) based off of the NASA Turbulent Computational Fluid Dynamics Validation Experiment (TCFDVE). The goals of the simulations were to (1) determine how well RANS can predict the flow physics of an axisymmetric SWBLI and (2) generate a new validation case for the NASA Turbulence Modeling Resource (TMR). The simulations were run with two different turbulence models and three different computational fluid dynamics (CFD) codes while looking at two different conical shock generator angles, one of which was shown to cause flow separation in the experiment. The results in this paper show that, as expected, the CFD simulations agreed well with each other and the experiment when SWBLI-induced separation was not present. When separation was present, differences in the predicted separation characteristics were noted. These included a stronger interaction and subsequently longer separation extent for the Menter Shear-Stress Transport k-ω (SST) turbulence model simulations compared to both the Spalart-Allmaras (SA) turbulence model simulations and the experiment.

Computational Fluid Dynamics↗

Convolutional encoding of self-dual codes

There exist almost complete convolutional encodings of self-dual codes, i.e., block codes of rate 1/2 with weights w, w = 0 mod 4. The codes are of length 8m with the convolutional portion of length 8m-2 and the nonsystematic information of length 4m-1. The last two bits are parity checks on the two (4m-1) length parity sequences. The final information bit complements one of the extended parity sequences of length 4m. Solomon and van Tilborg have developed algorithms to generate these for the Quadratic Residue (QR) Codes of lengths 48 and beyond. For these codes and reasonable constraint lengths, there are sequential decodings for both hard and soft decisions. There are also possible Viterbi-type decodings that may be simple, as in a convolutional encoding/decoding of the extended Golay Code. In addition, the previously found constraint length K = 9 for the QR (48, 24;12) Code is lowered here to K = 8.

Solomon, G.↗

Application of computer generated color graphic techniques to the processing and display of three dimensional fluid dynamic data

Color coding techniques used in the processing of remote sensing imagery were adapted and applied to the fluid dynamics problems associated with turbofan mixer nozzles. The computer generated color graphics were found to be useful in reconstructing the measured flow field from low resolution experimental data to give more physical meaning to this information and in scanning and interpreting the large volume of computer generated data from the three dimensional viscous computer code used in the analysis.

Anderson, B. H.↗

Potentials on large spacecraft in LEO

A system-oriented computer code is used to predict surface charging due to voltages generated within a satellite operating in the typical dense plasma environment of LEO. The use of this code is demonstrated by predicting the expansion of electric fields onto a kapton surface from a pinhole over a biased conductor in a LEO environment. The results are compared to a more-exact solution and experimental data.

Mandell, M. J.↗

The analysis of convolutional codes via the extended Smith algorithm

Convolutional codes have been the central part of most error-control systems in deep-space communication for many years. Almost all such applications, however, have used the restricted class of (n,1), also known as 'rate 1/n,' convolutional codes. The more general class of (n,k) convolutional codes contains many potentially useful codes, but their algebraic theory is difficult and has proved to be a stumbling block in the evolution of convolutional coding systems. In this article, the situation is improved by describing a set of practical algorithms for computing certain basic things about a convolutional code (among them the degree, the Forney indices, a minimal generator matrix, and a parity-check matrix), which are usually needed before a system using the code can be built. The approach is based on the classic Forney theory for convolutional codes, together with the extended Smith algorithm for polynomial matrices, which is introduced in this article.

Mceliece, R. J.↗

Flap-lag damping of an elastic rotor blade with torsion and dynamic inflow in hover from symbolically generated equations

A program written in FORTRAN IV and coded into subroutines for subsequent numerical study is used to derive symbolically the governing equations of motion of the elastic rotor blade and the dynamic inflow equations. By rearranging the coefficients of the equations, the blade and dynamic inflow equations are converted into equations in a multiblade coordinated system. The final multiblade equations can accommodate any number of elastic blade modes. It is noted that with a given data set, the entire process, from the derivation of the equations to the numerical calculations, is computerized and requires only limited user interface. To demonstrate the usefulness of the approach, damping data in hover with and without dynamic inflow effects are presented for various rotor blade models, including flap-lag, flap-lag-torsion, quasi-static torsion, and rigid blade lag-flap.

Reddy, T. S. R.↗

Heat transfer in 3D flow regions generated by intersecting surfaces

The objective is to validate code capabilities to model and predict the critical physics associated with heat transfer in highly 3-D flows. Various aspects of this study are presented in viewgraph form and include the following: LeRC 3-D viscous codes; the 3-D compressible flow tunnel; RVC3D laminar horseshoe vortex calculation; the 3-D heat transfer code validation experiment; and measurements in 3-D compressible flow tunnel.

Simoneau, Robert J.↗

Conversion of Component-Based Point Definition to VSP Model and Higher Order Meshing

Vehicle Sketch Pad (VSP) has become a powerful conceptual and parametric geometry tool with numerous export capabilities for third-party analysis codes as well as robust surface meshing capabilities for computational fluid dynamics (CFD) analysis. However, a capability gap currently exists for reconstructing a fully parametric VSP model of a geometry generated by third-party software. A computer code called GEO2VSP has been developed to close this gap and to allow the integration of VSP into a closed-loop geometry design process with other third-party design tools. Furthermore, the automated CFD surface meshing capability of VSP are demonstrated for component-based point definition geometries in a conceptual analysis and design framework.

Ordaz, Irian↗

Random digital encryption secure communication system

The design of a secure communication system is described. A product code, formed from two pseudorandom sequences of digital bits, is used to encipher or scramble data prior to transmission. The two pseudorandom sequences are periodically changed at intervals before they have had time to repeat. One of the two sequences is transmitted continuously with the scrambled data for synchronization. In the receiver portion of the system, the incoming signal is compared with one of two locally generated pseudorandom sequences until correspondence between the sequences is obtained. At this time, the two locally generated sequences are formed into a product code which deciphers the data from the incoming signal. Provision is made to ensure synchronization of the transmitting and receiving portions of the system.

Doland, G. D.↗

Automatic Generation of Algorithms for the Statistical Analysis of Planetary Nebulae Images

Analyzing data sets collected in experiments or by observations is a Core scientific activity. Typically, experimentd and observational data are &aught with uncertainty, and the analysis is based on a statistical model of the conjectured underlying processes, The large data volumes collected by modern instruments make computer support indispensible for this. Consequently, scientists spend significant amounts of their time with the development and refinement of the data analysis programs. AutoBayes [GF+02, FS03] is a fully automatic synthesis system for generating statistical data analysis programs. Externally, it looks like a compiler: it takes an abstract problem specification and translates it into executable code. Its input is a concise description of a data analysis problem in the form of a statistical model as shown in Figure 1; its output is optimized and fully documented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Internally, however, it is quite different: AutoBayes derives a customized algorithm implementing the given model using a schema-based process, and then further refines and optimizes the algorithm into code. A schema is a parameterized code template with associated semantic constraints which define and restrict the template s applicability. The schema parameters are instantiated in a problem-specific way during synthesis as AutoBayes checks the constraints against the original model or, recursively, against emerging sub-problems. AutoBayes schema library contains problem decomposition operators (which are justified by theorems in a formal logic in the domain of Bayesian networks) as well as machine learning algorithms (e.g., EM, k-Means) and nu- meric optimization methods (e.g., Nelder-Mead simplex, conjugate gradient). AutoBayes augments this schema-based approach by symbolic computation to derive closed-form solutions whenever possible. This is a major advantage over other statistical data analysis systems which use numerical approximations even in cases where closed-form solutions exist. AutoBayes is implemented in Prolog and comprises approximately 75.000 lines of code. In this paper, we take one typical scientific data analysis problem-analyzing planetary nebulae images taken by the Hubble Space Telescope-and show how AutoBayes can be used to automate the implementation of the necessary anal- ysis programs. We initially follow the analysis described by Knuth and Hajian [KHO2] and use AutoBayes to derive code for the published models. We show the details of the code derivation process, including the symbolic computations and automatic integration of library procedures, and compare the results of the automatically generated and manually implemented code. We then go beyond the original analysis and use AutoBayes to derive code for a simple image segmentation procedure based on a mixture model which can be used to automate a manual preproceesing step. Finally, we combine the original approach with the simple segmentation which yields a more detailed analysis. This also demonstrates that AutoBayes makes it easy to combine different aspects of data analysis.

Fischer, Bernd↗

Computation of three-dimensional inviscid flow over hypersonic missile configurations using the GIM code

A three-dimensional computational technique was used to obtain flowfield solutions to the Euler equations over selected hypersonic missile configurations. The General Interpolants Method (GIM) computer code was used with interpolation functions in an algebraic approach to generate a discrete computational grid for each configuration. The spatial marching version of the GIM code, which treats the parabolized Navier-Stokes (PNS) equations or the Euler equations with a shock capturing, 'MacCormack-like' scheme, was used to advance the solution hyperbolically over each configuration. The inviscid flowfield solutions over the two three-dimensional missile configurations, calculated using the GIM hyperbolic scheme, are presented here. The flow field over a wing/body configuration at zero degree angle of attack is presented. Flow over the fuselage of a tactical missile, termed the TAME 10, at both zero degree and 7.5 degree angles of attack is presented. In addition, an inviscid, two-dimensional analysis of an inlet configuration designed to mount on the TAME 10 is included. Contour maps of velocity and pressure are included for each configuration. Comparison of calculation and data show good agreement.

Xiques, K. E.↗

Optimization Routine for Generating Medical Kits for Spaceflight Using the Integrated Medical Model

The Integrated Medical Model (IMM) is a MATLAB model that provides probabilistic assessment of the medical risk associated with human spaceflight missions.Different simulations or profiles can be run in which input conditions regarding both mission characteristics and crew characteristics may vary. For each simulation, the IMM records the total medical events that occur and “treats” each event with resources drawn from import scripts. IMM outputs include Total Medical Events (TME), Crew Health Index (CHI), probability of Evacuation (pEVAC), and probability of Loss of Crew Life (pLOCL).The Crew Health Index is determined by the amount of quality time lost (QTL). Previously, an optimization code was implemented in order to efficiently generate medical kits. The kits were optimized to have the greatest benefit possible, given amass and/or volume constraint. A 6-crew, 14-day lunar mission was chosen for the simulation and run through the IMM for 100,000 trials. A built-in MATLAB solver, mixed-integer linear programming, was used for the optimization routine. Kits were generated in 10% increments ranging from 10%-100% of the benefit constraints. Conditions wheremass alone was minimized, volume alone was minimized, and where mass and volume were minimizedjointly were tested.

Medical Kit↗

Impact melt generation and transport

The results from the first two calculations in a series of continuum mechanics computer code calculations, investigating the effects of variations in impactor mass and velocity on the generation and transport of impact melt, are reported. In the present calculations, the impactor is modeled as a spherical iron projectile with a mass of one trillion grams, and the target as a gabbroic anorthosite (GA) half-space, where the cases calculated have impact velocities of 5 and 15.8 km/sec. Early-time ejection velocities are 1-2 km/sec in both cases. The first calculation results in 0.07 projectile masses of GA being partly or completely melted, with all the melted GA being ejected from the crater, and a maximum impact range for the ejected melted material of 30 km. The second calculation yields 10.4 projectile masses of melted GA, 50% of which is ejected from the crater to ranges of up to about 130 km. Peak shock pressure attenuation with depth is reported for both cases, and transient cavity dynamics are described and compared to that for surface and near-surface explosions.

Orphal, D. L.↗

Three-dimensional unsteady flow calculations in an advanced gas generator turbine

This paper deals with the application of a three-dimensional, unsteady Navier-Stokes code for predicting the unsteady flow in a single stage of an advanced gas generator turbine. The numerical method solves the three-dimensional thin-layer Navier-Stokes equations, using a system of overlaid grids, which allow for relative motion between the rotor and stator airfoils. Results in the form of time averaged pressures and pressure amplitudes on the airfoil surfaces will be shown. In addition, instantaneous contours of pressure, Mach number, etc. will be presented in order to provide a greater understanding of the inviscid as well as the viscous aspects of the flowfield. Also, relevant secondary flow features such as cross-plane velocity vectors and total pressure contours will be presented. Prior work in two-dimensions has indicated that for the advanced designs, the unsteady interactions can play a significant role in turbine performance. These interactions affect not only the stage efficiency but can substantially alter the time-averaged features of the flow. This work is a natural extension of the work done in two-dimensions and hopes to address some of the issues raised by the two-dimensional calculations. These calculations are being performed as an integral part of an actual design process and demonstrate the value of unsteady rotor-stator interaction calculations in the design of turbomachines.

Rangwalla, Akil A.↗