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 469 records · Page 26
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

A Generic Software Safety Document Generator

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Denney, Ewen↗
NASA NTRS2018

The InSAR Scientific Computing Environment 3.0: A Flexible Framework for NISAR Operational and User-Led Science Processing

The InSAR Scientific Computing Environment (ISCE) was first developed under the NASA Advanced Information Systems Technology as a flexible, extensible object-oriented framework for Interferometric Synthetic Aperture Radar (InSAR) processing. The ISCE framework uses Python 3 at the workflow level, controlling modules of compiled code for functional processing, and managing inputs, outputs, and other flow control services. The currently released version, called ISCE 2.1, is distributed to the research community through the Western North America InSAR Consortium under a research license. The ISCE team is working on the next generation of the code in order to prepare for the NASAISRO SAR (NISAR) mission operational processing. Innovations in this code include augmentation or conversion of the custom Python framework elements in ISCE with the Pyre framework, new workflows for interferometric and polarimetric stack processing, a more intuitive and graphically based user interface, and flow control for hybrid computing environments including CPU/GPU clusters, logging and error tracking facilities, and new more efficient computational modules that exploit graphical processor units (GPUs) when available. The ISCE 3.0 framework is designed to work in an operational environment as well as on a single user’s laptop or compute cluster, with services to discover capabilities and scale computations accordingly.

Buckley, Sean M.↗
NASA NTRS1999

Grid Stiffened Structure Analysis Tool

The Grid Stiffened Analysis Tool contract is contract performed by Boeing under NASA purchase order H30249D. The contract calls for a "best effort" study comprised of two tasks: (1) Create documentation for a composite grid-stiffened structure analysis tool, in the form of a Microsoft EXCEL spread sheet, that was developed by originally at Stanford University and later further developed by the Air Force, and (2) Write a program that functions as a NASTRAN pre-processor to generate an FEM code for grid-stiffened structure. In performing this contract, Task 1 was given higher priority because it enables NASA to make efficient use of a unique tool they already have; Task 2 was proposed by Boeing because it also would be beneficial to the analysis of composite grid-stiffened structures, specifically in generating models for preliminary design studies. The contract is now complete, this package includes copies of the user's documentation for Task 1 and a CD ROM & diskette with an electronic copy of the user's documentation and an updated version of the "GRID 99" spreadsheet.

Source record↗
NASA NTRS1993

Transformation of two and three-dimensional regions by elliptic systems

During this contract period, our work has focused on improvements to elliptic grid generation methods. There are two principle objectives in this project. One objective is to make the elliptic methods more reliable and efficient, and the other is to construct a modular code that can be incorporated into the National Grid Project (NGP), or any other grid generation code. Progress has been made in meeting both of these objectives. The two objectives are actually complementary. As the code development for the NGP progresses, we see many areas where improvements in algorithms can be made.

Mastin, C. Wayne↗
NASA NTRS1996

The fragmentation of 510 MeV/nucleon iron-56 in polyethylene. II. Comparisons between data and a model

The results of a Monte Carlo model for calculating fragment fluences and LET spectra are compared to data taken with 600 MeV/nucleon iron ions incident on an accelerator beamline configured for irradiation of biological samples, with no target and with 2, 5 and 8 cm of polyethylene. The model uses a multi-generation nuclear fragmentation code, coupled with a formulation of ionization energy loss based on the Bethe-Bloch equation. In the region where the data are reliable and the experimental acceptance is well understood, many of the features of the experimental spectra are well replicated by the model. To obtain good agreement with the experimental data, the model must allow for at least two generations of fragment production in the target.

NASA Discipline Number 99-99↗
NASA NTRS2004

Preliminary Convective-Radiative Heating Environments for a Neptune Aerocapture Mission

Convective and radiative heating environments have been computed for a three-dimensional ellipsled configuration which would perform an aerocapture maneuver at Neptune. This work was performed as part of a one-year Neptune aerocapture spacecraft systems study that also included analyses of trajectories, atmospheric modeling, aerodynamics, structural design, and other disciplines. Complementary heating analyses were conducted by separate teams using independent sets of aerothermodynamic modeling tools (i.e. Navier-Stokes and radiation transport codes). Environments were generated for a large 5.50 m length ellipsled and a small 2.88 m length ellipsled. Radiative heating was found to contribute up to 80% of the total heating rate at the ellipsled nose depending on the trajectory point. Good agreement between convective heating predictions from the two Navier-Stokes solvers was obtained. However, the radiation analysis revealed several uncertainties in the computational models employed in both sets of codes, as well as large differences between the predicted radiative heating rates.

Hollis, Brian R.↗
NASA NTRS2016

Unsteady Aerodynamic Force Sensing from Measured Strain

A simple approach for computing unsteady aerodynamic forces from simulated measured strain data is proposed in this study. First, the deflection and slope of the structure are computed from the unsteady strain using the two-step approach. Velocities and accelerations of the structure are computed using the autoregressive moving average model, on-line parameter estimator, low-pass filter, and a least-squares curve fitting method together with analytical derivatives with respect to time. Finally, aerodynamic forces over the wing are computed using modal aerodynamic influence coefficient matrices, a rational function approximation, and a time-marching algorithm. A cantilevered rectangular wing built and tested at the NASA Langley Research Center (Hampton, Virginia, USA) in 1959 is used to validate the simple approach. Unsteady aerodynamic forces as well as wing deflections, velocities, accelerations, and strains are computed using the CFL3D computational fluid dynamics (CFD) code and an MSC/NASTRAN code (MSC Software Corporation, Newport Beach, California, USA), and these CFL3D-based results are assumed as measured quantities. Based on the measured strains, wing deflections, velocities, accelerations, and aerodynamic forces are computed using the proposed approach. These computed deflections, velocities, accelerations, and unsteady aerodynamic forces are compared with the CFL3D/NASTRAN-based results. In general, computed aerodynamic forces based on the lifting surface theory in subsonic speeds are in good agreement with the target aerodynamic forces generated using CFL3D code with the Euler equation. Excellent aeroelastic responses are obtained even with unsteady strain data under the signal to noise ratio of -9.8dB. The deflections, velocities, and accelerations at each sensor location are independent of structural and aerodynamic models. Therefore, the distributed strain data together with the current proposed approaches can be used as distributed deflection, velocity, and acceleration sensors. This research demonstrates the feasibility of obtaining induced drag and lift forces through the use of distributed sensor technology with measured strain data. An active induced drag control system thus can be designed using the two computed aerodynamic forces, induced drag and lift, to improve the fuel efficiency of an aircraft. Interpolation elements between structural finite element grids and the CFD grids and centroids are successfully incorporated with the unsteady aeroelastic computation scheme. The most critical technology for the success of the proposed approach is the robust on-line parameter estimator, since the least-squares curve fitting method depends heavily on aeroelastic system frequencies and damping factors.

shape sensing↗
NASA NTRS1982

Nodal network generator for CAVE3

A new extension of CAVE3 code was developed that automates the creation of a finite difference math model in digital form ready for input to the CAVE3 code. The new software, Nodal Network Generator, is broken into two segments. One segment generates the model geometry using a Tektronix Tablet Digitizer and the other generates the actual finite difference model and allows for graphic verification using Tektronix 4014 Graphic Scope. Use of the Nodal Network Generator is described.

Palmieri, J. V.↗
NASA NTRS1977

The permuted generator hypothesis for the origin of a genetic code

Protocells had no known means of ensuring that their randomly collected proteins would be duplicated. A possible, albeit inexact, mechanism for protein synthesis in a primitive t-RNA is presented, whereby an oligonucleotide (12 units) in a circular configuration is able to align a generator site with amino acid discriminator sites. In this way, unique anticodons could be specified for each site and replication could occur.

Folsome, C.↗
NASA NTRS2004

NRA8-21 Cycle 2 RBCC Turbopump Risk Reduction

This project was composed of three sub-tasks. The objective of the first task was to use the CFD code INS3D to generate both on- and off-design predictions for the consortium optimized impeller flowfield. The results of the flow simulations are given in the first section. The objective of the second task was to construct a turbomachinery testing database comprised of measurements made on several different impellers, an inducer and a diffuser. The data was in the form of static pressure measurements as well as laser velocimeter measurements of velocities and flow angles within the stated components. Several databases with this information were created for these components. The third subtask objective was two-fold: first, to validate the Enigma CFD code for pump diffuser analysis, and secondly, to perform steady and unsteady analyses on some wide flow range diffuser concepts using Enigma. The code was validated using the consortium optimized impeller database and then applied to two different concepts for wide flow diffusers.

Ferguson, Thomas V.↗
NASA NTRS1993

Shell stability analysis in a computer aided engineering (CAE) environment

The development of 'DISDECO', the Delft Interactive Shell DEsign COde is described. The purpose of this project is to make the accumulated theoretical, numerical and practical knowledge of the last 25 years or so readily accessible to users interested in the analysis of buckling sensitive structures. With this open ended, hierarchical, interactive computer code the user can access from his workstation successively programs of increasing complexity. The computational modules currently operational in DISDECO provide the prospective user with facilities to calculate the critical buckling loads of stiffened anisotropic shells under combined loading, to investigate the effects the various types of boundary conditions will have on the critical load, and to get a complete picture of the degrading effects the different shapes of possible initial imperfections might cause, all in one interactive session. Once a design is finalized, its collapse load can be verified by running a large refined model remotely from behind the workstation with one of the current generation 2-dimensional codes, with advanced capabilities to handle both geometric and material nonlinearities.

Arbocz, J.↗
NASA NTRS2016

An Influenced Future

Phobos is a vital precursor and catalyst before our next giant leap to Mars. The principle period of a Phobos' mission could be a series of robotic precursor missions for experimental perception, soil examination, ecological approval and landing site distinguishing proof. For my summer intern position at Johnson Space Center I chipped away at creating a GUNNS (General Use Nodal Network Solver) based power subsystem model for the miniATHLETE hopper, which is a conceptual (idea-based) robotic lander that will operate on Phobos. Keeping in mind the end goal to begin on my venture, I needed to comprehend my undertaking before whatever else, in which I concentrated on C++ to see how to implement the code that GUNNS generates to a Trick S_define file. Prior to coming to this internship at Johnson Space Center Dr. Edwin Zack Crues provided a class on modeling and simulation, which introduced me to the Trick simulation environment. The goal of my project was to develop a GUNNS based power subsystem model for the miniATHLETE hopper. The model needed to incorporate a solar array, battery, hopping legs, and onboard scientific instruments (sensitive measuring/recording devices). The secondary bonus goal after I completed the electrical aspect of my model was to develop a GUNNS based thermal subsystem model for the miniATHLETE hopper. Stringing the two aspects together, I would need to code up a signal aspect to make the system work as one. Accomplishing my goals would not be an easy thing, however I had successfully completed the electrical aspect model with twenty-four servos, six cameras, and multiple sensors. Venturing to complete my project has eluded me to many failures in my design to tune many things like the battery to the proper voltage and the load to the proper wattage. During this time I had touched up on advanced topics in calculus in which I implemented in the converter in my electrical model. I am currently working with my mentor Zu Qun Li to create a signal aspect to control the temperatures inside my electrical aspect model. During my time at JSC I had effectively figured out how to create subsystem models utilizing Trick and GUNNS. I obtain essential knowledge of power and thermal subsystem design for a robotic vehicle. I also learned how to work and communicate in a team effectively to accomplish a goal. Before coming to Johnson Space Center my future career and educational goals included uncertainty, however now I have a completely new look on my path to a prosperous future. My NASA experience has unquestionably impacted me to accomplish and surpass my own particular desires. After my time at Johnson Space Center I plan to apply for a coop position for NASA. This has been a dream come true that I adored each moment being at JSC realizing that I am far fit for doing things most individuals can just long for.

Owens, Christopher↗
NASA NTRSDate not supplied

Automatic Generation of Guard-Stable Floating-Point Code

In floating-point programs, test instability occurs when the control flow of a conditional statement diverges from its ideal execution under real arithmetic. This phenomenon is caused by the presence of round-off errors in floating-point computations. Writing programs that correctly handle test instability often require expertise on finite precision computations and rounding errors. This paper presents a fully automatic tool chain that generates and formally verifies a test-stable floating-point C program from its functional specification in real arithmetic. The generated program is instrumented to soundly detect when unstable tests may occur and, in these cases, to issue a warning. The proposed approach combines the PRECiSA floating-point static analyzer, the Frama-C software verification suite, and the PVS theorem prover.

Floating-Point Arithmetic↗
NASA NTRS1979

Trophic classification of selected Colorado lakes

Multispectral scanner data, acquired over several Colorado lakes using LANDSAT-1 and aircraft, were used in conjunction with contact-sensed water quality data to determine the feasibility of assessing lacustrine trophic levels. A trophic state index was developed using contact-sensed data for several trophic indicators. Relationships between the digitally processed multispectral scanner data, several trophic indicators, and the trophic index were examined using a supervised multispectral classification technique and regression techniques. Statistically significant correlations exist between spectral bands, several of the trophic indicators and the trophic state index. Color-coded photomaps were generated which depict the spectral aspects of trophic state.

Blackwell, R. J.↗
NASA NTRS1978

Trophic classification of Colorado lakes utilizing contact data, Landsat and aircraft-acquired multispectral scanner data

Multispectral scanner data, acquired over several Colorado lakes using Landsat-1 and aircraft, were used in conjunction with National Eutrophication Survey contact-sensed data to determine the feasibility of assessing lacustrine trophic levels. A trophic state index was developed using contact-sensed data for several trophic indicators (chlorophyll a, inverse of Secchi disk transparency, conductivity, total phosphorous, total organic nitrogen, algal assay yield). Relationships between the digitally processed multispectral scanner data, several trophic indicators, and the trophic index were examined using a supervised multispectral classification technique and regression techniques. Statistically significant correlations exist between spectral bands, several of the trophic indicators (chlorophyll a, Secchi disk transparency, total organic nitrogen), and the trophic state index. Color-coded photomaps were generated which depict the spectral aspects of trophic state. Multispectral scanner data acquired from satellite and aircraft platforms can be used to advantage in lake monitoring and survey programs.

Boland, D. H. P.↗
NASA NTRS1980

High-altitude resolution stratospheric measurements with the Arecibo 430-MHz radar

Instrumental modification at the Arecibo Observatory are described, which make possible a resolution of 150 m, the maximum allowed by the transmitter bandwidth. Attention is given to digital decoding, the radar controller, and the fact that a complementary coded pulse scheme generating no pulse side lobes has been used for the first time. It is noted that power spectra of the signals corresponding to 256 altitudes are evaluated on line by means of an array processor. A profile of the E-W component of the wind as a function of altitude has been observed, as well as the discrete layered structure of turbulence, especially at higher altitudes; in addition, the maximum range at which an echo has been detected is about 31 km. The results obtained show the importance for stratospheric studies of high resolution when using radar to obtain wind information from the Doppler shift of turbulence echoes.

Woodman, R. F.↗
NASA NTRS1981

Numerical simulation of a compressible homogeneous, turbulent shear flow

A direct, low Reynolds number, numerical simulation was performed on a homogeneous turbulent shear flow. The full compressible Navier-Stokes equations were used in a simulation on the ILLIAC IV computer with a 64,000 mesh. The flow fields generated by the code are used as an experimental data base, to examine the behavior of the Reynols stresses in this simple, compressible flow. The variation of the structure of the stresses and their dynamic equations as the character of the flow changed is emphasized. The structure of the tress tensor is more heavily dependent on the shear number and less on the fluctuating Mach number. The pressure-strain correlation tensor in the dynamic uations is directly calculated in this simulation. These correlations are decomposed into several parts, as contrasted with the traditional incompressible decomposition into two parts. The performance of existing models for the conventional terms is examined, and a model is proposed for the 'mean fluctuating' part.

Feiereisen, W. J.↗