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 577 records · Page 32
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Integrated Propulsion/Vehicle System Structurally Optimized

Ongoing research and testing are essential in the development of air-breathing hypersonic propulsion technology, and this year some positive advancement was made at the NASA Glenn Research Center. Recent work performed for GTX, a rocket-based combined-cycle, single-stage-to-orbit concept, included structural assessments of both the engine and flight vehicle. In the development of air-breathing engine technology, it is impractical to design and optimize components apart from the fully integrated system because tradeoffs must be made between performance and structural capability. Efforts were made to control the flight trajectory, for example, to minimize the aerodynamic heating effects. Structural optimization was applied to evaluate concept feasibility and was instrumental in the determination of the gross liftoff weight of the integrated system. Achieving low Earth orbit with even a small payload requires an aggressive approach to weight minimization through the use of lightweight, oxidation-resistant composite materials. Assessing the integrated system involved investigating the flight trajectory to determine where the critical load events occur in flight and then generating the corresponding environment at each of these events. Structural evaluation requires the mapping of the critical flight loads to finite element models, including the combined effects of aerodynamic, inertial, combustion, and other loads. NASA s APAS code was used to generate aerodynamic pressure and temperature profiles at each critical event. The radiation equilibrium surface temperatures from APAS were used to predict temperatures through the thickness. Heat transfer solutions using NASA's MINIVER code and the SINDA code (Cullimore & Ring Technologies, Littleton, CO) were calculated at selective points external to the integrated vehicle system and then extrapolated over the entire exposed surface. FORTRAN codes were written to expedite the finite element mapping of the aerodynamic heating effects for the internal structure.

Hunter, James E.↗
NASA NTRS2017

Generating Real-Time Robotics Control Software from SysML

In this paper, we outline an approach for autogenerating real-time robotics control code from hierarchical state machines and hardware configurations encoded in Systems Modeling Language (SysML). We propose a software architecture that provides an abstract SysML layer with access to device state information and a set of primitive device commands, such as move actuator and release brake, allowing a user to build up a complete functional state machine directly in SysML. The SysML diagram is then exported to a standard SCXML file format and subsequently used to auto-generate hardware control code. Once this architecture is in place, the only explicit code elements that need to be written are the primitive device commands, which can be easily unit tested and reused across different systems. The motivation for this work was the need for a test bed that enables the rapid prototyping of mechanisms and control algorithms for a spacecraft that could ultimately be used for preparing Martian rock samples for their return to Earth. To this end, our software system was also designed to allow for the run-time specification of the hardware layout in SysML, with the hardware-level control functions kept agnostic to the specific parameters or communication bus of any particular device. Further, we outline a system for specifying both the state machine and hardware configuration in the MagicDraw IDE in such a way that the system can be simulated before any code is generated. The resultant software system is easy to debug, understand, and allows users to choose how much information is encoded as a visual or text-based representation.

Godart, Peter↗
NASA NTRS1993

Automating test case generation for coverages required by FAA standard DO-178B

Coverage testing techniques are required by the FAA for various levels of subsystem criticality at the unit testing level. Higher levels of criticality require coverage schemes that frequently require more and more test cases, particularly when the number of conditions in a decision grows. For example, if we have a decision with n conditions of the form: if (/ci/ or /c2/ or .... or /cn/) then there are 2(n) possible combinations of condition outcomes. Given the enormous number of inputs that may be required to satisfy different coverages, and given that there are no automated tools for determining these inputs (to our knowledge), we will show how one alternative testing technique, mutation testing, can be coerced into generating inputs that satisfy a code coverage scheme X, i.e., if we modify the rules for mutant generation during mutation testing, this technique will provide test cases that satisfy X.

Voas, Jeffrey M.↗
NASA NTRS1994

Axial and centrifugal pump meanline performance analysis

A meanline pump flow modeling method has been developed to provide a fast capability for modeling pumps of cryogenic rocket engines. Based on this method, a meanline pump flow code (PUMPA) has been written that can predict the performance of pumps at off-design operating conditions, given the loss of the diffusion system at the design point. The design point rotor efficiency is obtained from empirically derived correlations of loss to rotor specific speed. The rapid input setup and computer run time for the meanline pump flow code makes it an effective analysis and conceptual design tool. The map generation capabilities of the PUMPA code provide the information needed for interfacing with a rocket engine system modeling code.

Veres, Joseph P.↗
NASA NTRS1989

Optimum mirror shapes and supports for light weight mirrors subjected to self-weight

A parametric design study of light weight mirror shapes with various support conditions was performed utilizing the finite element program NASTRAN. Improvements in the mirror performance were made based on the following design criteria: (1) minimization of the optical surface wavefront variations, (2) minimization of the self-weight directly related to cost of manufacturing, and (3) optimal location of support points. A preprocessor to automatically generate a finite element model for each mirror geometry was developed in order to obtain the structural deformations systematically. Additionally, a postprocessor, which prepares an input data file for FRINGE (an optical computer code) was developed for generating the optical deflections that lead to the surface wavefront variations. Procedures and modeling techniques to achieve the optimum (the lightest and stiffest mirror shape due to self-weight) are addressed.

Cho, Myung K.↗
NASA NTRS1991

Use of the PARC code for generic NASP nozzles operating at off-design transonic conditions

A three-dimensional Navier-Stokes solver, PARC3D, has been investigated for applications to the wind tunnel testing of high-speed nozzle configurations, particularly with extended expansion ramps, operating at transonic off-design conditions. Numerous cases have been run and compared with existing wind tunnel data. The code has been shown to be an efficient and robust tool in the analysis of complex nozzle configurations whose flows are substantially determined by three-dimensional effects. Although the method requires that a grid, generated independently of the code, be supplied to it, the robust nature of the code does not require that this grid be excessively detailed, nor does it seem to require that the grid be fine-tuned for individual cases. The directness and flexibility of the boundary condition specifications allow a variety of configurations and flow conditions to be handled very efficiently.

Yaros, Steven F.↗
NASA NTRS1994

FRANC2D: A two-dimensional crack propagation simulator. Version 2.7: User's guide

FRANC 2D (FRacture ANalysis Code, 2 Dimensions) is a menu driven, interactive finite element computer code that performs fracture mechanics analyses of 2-D structures. The code has an automatic mesh generator for triangular and quadrilateral elements. FRANC2D calculates the stress intensity factor using linear elastic fracture mechanics and evaluates crack extension using several methods that may be selected by the user. The code features a mesh refinement and adaptive mesh generation capability that is automatically developed according to the predicted crack extension direction and length. The code also has unique features that permit the analysis of layered structure with load transfer through simulated mechanical fasteners or bonded joints. The code was written for UNIX workstations with X-windows graphics and may be executed on the following computers: DEC DecStation 3000 and 5000 series, IBM RS/6000 series, Hewlitt-Packard 9000/700 series, SUN Sparc stations, and most Silicon Graphics models.

Wawrzynek, Paul↗
NASA NTRS1996

Wavelet-Based Grid Generation

Wavelets can provide a basis set in which the basis functions are constructed by dilating and translating a fixed function known as the mother wavelet. The mother wavelet can be seen as a high pass filter in the frequency domain. The process of dilating and expanding this high-pass filter can be seen as altering the frequency range that is 'passed' or detected. The process of translation moves this high-pass filter throughout the domain, thereby providing a mechanism to detect the frequencies or scales of information at every location. This is exactly the type of information that is needed for effective grid generation. This paper provides motivation to use wavelets for grid generation in addition to providing the final product: source code for wavelet-based grid generation.

HIGH PASS FILTERS↗
NASA NTRS2003

End-to-End Study of the Transfer of Energy from Magnetosheath Ion Precipitation to the Ionospheric Cusp and Resulting Ion Outflow to the Magnetosphere

We will show results from an end-to-end study of the energy transfer from injected magnetosheath plasmas to the near-Earth magnetospheric and ionospheric plasmas and the resulting ion outflow to the magnetosphere. This study includes modeling of the evolution of the magnetosheath precipitation in the cusp using a kinetic code with a realistic magnetic field configuration. These evolved, highly non-Maxwellian distributions are used as input to a 2D PIC code to analyze the resulting wave generation. The wave analysis is used in the kinetic code as input to the cold ionospheric ions to study the transfer of energy to these ions and their outflow to the magnetosphere. Observations from the Thermal Ion Dynamics Experiment (TIDE) and other instruments on the Polar Spacecraft will be compared to the modeling.

Coffey, Victoria↗
NASA NTRS1971

Systems of coding and their implementation

Engineering planning document surveys mechanics, utility, and potential improvements of codes which control noise-generated errors introduced into radio transmission of binary information. Chronological development of certain codes and a comprehensive bibliography are included.

Anderson, T. O.↗
NASA NTRS1992

Semi-coupled flow and thermal analysis of the field joint during rapid pressurization of the redesigned solid rocket motor

A transient, semi-coupled, multi-dimensional thermal and flow analysis methodology was developed to predict the thermal/gas dynamic conditions in the field joint region of the Redesigned Solid Rocket Motor (RSRM). Transient temperature response, pressure history, and combustion gas flow rate (within the field joint region), were of principle interest, in the course of this study. The thermal environment in the field joint was modeled using SINDA, a finite difference based thermal network analyzer. The combustion gas flow boundary condition was generated using the FLAP code; this code performs a transient, lumped-parameter, control volume analysis to solve the mass, momentum, and energy conservation equations. The FLAP computer code was modified to account for erosion of the NBR insulation material, following ignition. An independent grid sensitivity study was conducted to determine an appropriate grid distribution near the wall. The predicted results, obtained using an optimum grid distribution and computer generated flow boundary condition, were compared with subscale test data.

Ghaffarian, Benny↗
NASA NTRS1998

Euler Technology Assessment for Preliminary Aircraft Design-Unstructured/Structured Grid NASTD Application for Aerodynamic Analysis of an Advanced Fighter/Tailless Configuration

This study supports the NASA Langley sponsored project aimed at determining the viability of using Euler technology for preliminary design use. The primary objective of this study was to assess the accuracy and efficiency of the Boeing, St. Louis unstructured grid flow field analysis system, consisting of the MACGS grid generation and NASTD flow solver codes. Euler solutions about the Aero Configuration/Weapons Fighter Technology (ACWFT) 1204 aircraft configuration were generated. Several variations of the geometry were investigated including a standard wing, cambered wing, deflected elevon, and deflected body flap. A wide range of flow conditions, most of which were in the non-linear regimes of the flight envelope, including variations in speed (subsonic, transonic, supersonic), angles of attack, and sideslip were investigated. Several flowfield non-linearities were present in these solutions including shock waves, vortical flows and the resulting interactions. The accuracy of this method was evaluated by comparing solutions with test data and Navier-Stokes solutions. The ability to accurately predict lateral-directional characteristics and control effectiveness was investigated by computing solutions with sideslip, and with deflected control surfaces. Problem set up times and computational resource requirements were documented and used to evaluate the efficiency of this approach for use in the fast paced preliminary design environment.

Michal, Todd R.↗
NASA NTRS2014

Feedback-Driven Dynamic Invariant Discovery

Program invariants can help software developers identify program properties that must be preserved as the software evolves, however, formulating correct invariants can be challenging. In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. Candidate invariants generated by Daikon are synthesized into assertions and instrumented onto the program. The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further re ne the set of candidate invariants. This feedback loop is executed until a x-point is reached. To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. We also leverage recent advances in constraint solution reuse techniques to avoid computing results for the same constraints across iterations. Experimental results show that iDiscovery converges to a set of higher quality invariants compared to the initial set of candidate invariants in a small number of iterations.

Daikon↗
NASA NTRS1988

Impact induced stresses, strains, and delaminations in composite plates

A method is presented for calculating the locations and sizes of delaminations which occur in a rectangular, fiber reinforced composite plate subjected to nonpenetrating (low velocity) impact of a solid object. The plate may be simply supported or clamped along its edges. In-plane loads or in-plane strains may be imposed on the plate during the impact. The method includes two steps. First, the stresses and strains in the plate are calculated by a three-dimensional, transient finite element method using 8-node brick elements with incompatible modes. Second, the locations, lengths, and widths of delaminations inside the plate are predicted by means of a proposed failure criterion, which is based on the concept of dimensional analysis. The finite element method and the failure criterion were implemented by a computer code which can be used to calculate the impactor position and velocity, the displacements of the plate, the stresses and strains inside the plate during the impact, and the locations and dimensions of the delaminations after the impact. Parametric studies were performed to illustrate the information which can be generated by the computer code.

Wu, Hsi-Yung T.↗
NASA NTRS1993

Extension of a nonlinear systems theory to general-frequency unsteady transonic aerodynamic responses

A methodology for modeling nonlinear unsteady aerodynamic responses, for subsequent use in aeroservoelastic analysis and design, using the Volterra-Wiener theory of nonlinear systems is presented. The methodology is extended to predict nonlinear unsteady aerodynamic responses of arbitrary frequency. The Volterra-Wiener theory uses multidimensional convolution integrals to predict the response of nonlinear systems to arbitrary inputs. The CAP-TSD (Computational Aeroelasticity Program - Transonic Small Disturbance) code is used to generate linear and nonlinear unit impulse responses that correspond to each of the integrals for a rectangular wing with a NACA 0012 section with pitch and plunge degrees of freedom. The computed kernels then are used to predict linear and nonlinear unsteady aerodynamic responses via convolution and compared to responses obtained using the CAP-TSD code directly. The results indicate that the approach can be used to predict linear unsteady aerodynamic responses exactly for any input amplitude or frequency at a significant cost savings. Convolution of the nonlinear terms results in nonlinear unsteady aerodynamic responses that compare reasonably well with those computed using the CAP-TSD code directly but at significant computational cost savings.

Silva, Walter A.↗
NASA NTRS1993

Single block three-dimensional volume grids about complex aerodynamic vehicles

This paper presents an alternate approach for the generation of volumetric grids for supersonic and hypersonic flows about complex configurations. The method uses parametric two dimensional block face grid definition within the framework of GRIDGEN2D. The incorporation of face decomposition reduces complex surfaces to simple shapes. These simple shapes are combined to obtain the final face definition. The advantages of this method include the reduction of overall grid generation time through the use of vectorized computer code, the elimination of the need to generate matching block faces, and the implementation of simplified boundary conditions. A simple axisymmetric grid is used to illustrate this method. In addition, volume grids for two complex configurations, the Langley Lifting Body (HL-20) and the Space Shuttle Orbiter, are shown.

Alter, Stephen J.↗
NASA NTRS2010

Rapid Variability Generated at Relativistic Shocks Simulated by Particle-in- Cell Code

Plasma instabilities excited in collisionless shocks are responsible for particle acceleration. We have investigated the particle acceleration and shock structure associated with an unmagnetized relativistic electronpositron jet propagating into an unmagnetized electron-positron plasma. Cold jet electrons are thermalized and slowed while the ambient electrons are swept up to create a partially developed hydrodynamic-like shock structure. In the leading shock, electron density increases by a factor of about 3.5 in the simulation frame. Strong electromagnetic fields are generated in the trailing shock and provide an emission site. These magnetic fields contribute to the electrons transverse deflection behind the shock. We calculate the radiation from deflected electrons in the turbulent magnetic fields. Radiation from electrons near the trailing shock will be variable due to fluctuations of density and electromagnetic fields. The properties of this radiation may be important for rapid variability in relativistic jets such as AGN jets and blazars.

Nishikawal, Ken-Ichi↗