SEARCH · Search NASA

Results for “Program Transformation”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 577 records · Page 32

All sources NASA NTRS DOE OSTI

NASA NTRS1975

NASTRAN modifications for recovering strains and curvatures

Modifications to the NASTRAN structural analysis computer program are described. The modifications allow the recovery of strain and curvature data for the general two-dimensional elements, in addition to the usual stress data. Option features allow the transformation of the strain/curvature (or stress) data to a common coordinate system and representation at the grid points of the structural model rather than at the conventional element center locations. Usage information is provided which will allow present users of NASTRAN to easily utilize the new capability.

Hennrich, C. W.↗

NASA NTRS1982

Mobility aid for the blind

A project to develop an effective mobility aid for blind pedestrians which acquires consecutive images of the scenes before a moving pedestrian, which locates and identifies the pedestrian's path and potential obstacles in the path, which presents path and obstacle information to the pedestrian, and which operates in real-time is discussed. The mobility aid has three principal components: an image acquisition system, an image interpretation system, and an information presentation system. The image acquisition system consists of a miniature, solid-state TV camera which transforms the scene before the blind pedestrian into an image which can be received by the image interpretation system. The image interpretation system is implemented on a microprocessor which has been programmed to execute real-time feature extraction and scene analysis algorithms for locating and identifying the pedestrian's path and potential obstacles. Identity and location information is presented to the pedestrian by means of tactile coding and machine-generated speech.

Source record↗

NASA NTRS1983

Galilean satellite geomorphology

Research on this task consisted of the development and initial application of photometric and photoclinometric models using interactive computer image processing and graphics. New programs were developed to compute viewing and illumination angles for every picture element in a Voyager image using C-matrices and final Voyager ephemerides. These values were then used to transform each pixel to an illumination-oriented coordinate system. An iterative integration routine permits slope displacements to be computed from brightness variations, and correlated in the cross-sun direction, resulting in two dimensional topographic data. Figure 1 shows a 'wire-mesh' view of an impact crater on Ganymede, shown with a 10-fold vertical exaggeration. The crater, about 20 km in diameter, has a central mound and raised interior floor suggestive of viscous relaxation and rebound of the crater's topography. In addition to photoclinometry, the computer models that have been developed permit an examination on non-topographically-derived variations in surface brightness.

Malin, M. C.↗

NASA NTRS1983

A new method for generating and maintaining rigid formats in NASTRAN

A new method for generating and updating Rigid Formats in NASTRAN is discussed. The heart of this method is a Rigid Format data base that is in card-image format and that can therefore be easily maintained by the use of standard text editors. Each Rigid Format entry in this data base will contain the Direct Matrix Abstraction Program (DMAP) for that Rigid Format along with the related restart, subset and substructure control tables. NASTRAN will read this data base directly in every NASTRAN run and perform the necessary transformations to allow the DMAP to be processed and compiled by the NASTRAN executive. This approach will permit Rigid Formats to be changed without unnecessary compilations and relinking of NASTRAN. Furthermore, this approach will also make it very easy for users to make permanent changes to existing Rigid Formats as well as to generate their own Rigid Formats. This new method will be incorporated in a future release of the public version of NASTRAN.

Pamidi, P. R.↗

NASA NTRS2012

Method to Enhance the Operation of an Optical Inspection Instrument Using Spatial Light Modulators

For many aspheric and freeform optical components, existing interferometric solutions require a custom computer-generated hologram (CGH) to characterize the part. The overall objective of this research is to develop hardware and a procedure to produce a combined, dynamic, Hartmann/ Digital Holographic interferometry inspection system for a wide range of advanced optical components, including aspheric and freeform optics. This new instrument would have greater versatility and dynamic range than currently available measurement systems. The method uses a spatial light modulator to pre-condition wavefronts for imaging, interferometry, and data processing to improve the resolution and versatility of an optical inspection instrument. Existing interferometers and Hartmann inspection systems have either too small a dynamic range or insufficient resolution to characterize conveniently unusual optical surfaces like aspherical and freeform optics. For interferometers, a specially produced, computer-generated holographic optical element is needed to transform the wavefront to within the range of the interferometer. A new hybrid wavefront sensor employs newly available spatial light modulators (SLMs) as programmable holographic optical elements (HOEs). The HOE is programmed to enable the same instrument to inspect an optical element in stages, first by a Hartmann measurement, which has a very large dynamic range but less resolution. The first measurement provides the information required to precondition a reference wave that avails the measurement process to the more precise phase shifting interferometry. The SLM preconditions a wavefront before it is used to inspect an optical component. This adds important features to an optical inspection system, enabling not just wavefront conditioning for null testing and dynamic range extension, but also the creation of hybrid measurement procedures. This, for example, allows the combination of dynamic digital holography and Hartmann sensing procedures to cover a virtually unlimited dynamic range with high resolution. Digital holography technology brings all of the power and benefits of digital holographic interferometry to the requirement, while Hartmann-type wavefront sensors bring deflectometry technologies to the solution. The SLM can be used to generate arbitrary wavefronts in one leg of the interferometer, thereby greatly simplifying its use and extending its range. The SLM can also be used to modify the system into a dynamic Shack-Hartmann system, which is useful for optical components with large amounts of slope. By integrating these capabilities into a single instrument, the system will have tremendous flexibility to measure a variety of optical shapes accurately.

Trolinger, James↗

NASA NTRS2005

Rehabilitation of the Rocket Vehicle Integration Test Stand at Edwards Air Force Base

Since initial use in 1958 for the X-15 rocket-powered research airplane, the Rocket Engine Test Facility has proven essential for testing and servicing rocket-powered vehicles at Edwards Air Force Base. For almost two decades, several successful flight-test programs utilized the capability of this facility. The Department of Defense has recently demonstrated a renewed interest in propulsion technology development with the establishment of the National Aerospace Initiative. More recently, the National Aeronautics and Space Administration is undergoing a transformation to realign the organization, focusing on the Vision for Space Exploration. These initiatives provide a clear indication that a very capable ground-test stand at Edwards Air Force Base will be beneficial to support the testing of future access-to-space vehicles. To meet the demand of full integration testing of rocket-powered vehicles, the NASA Dryden Flight Research Center, the Air Force Flight Test Center, and the Air Force Research Laboratory have combined their resources in an effort to restore and upgrade the original X-15 Rocket Engine Test Facility to become the new Rocket Vehicle Integration Test Stand. This report describes the history of the X-15 Rocket Engine Test Facility, discusses the current status of the facility, and summarizes recent efforts to rehabilitate the facility to support potential access-to-space flight-test programs. A summary of the capabilities of the facility is presented and other important issues are discussed.

Jones, Daniel S.↗

NASA NTRS1974

Program for the analysis of time series

A digital computer program for the Fourier analysis of discrete time data is described. The program was designed to handle multiple channels of digitized data on general purpose computer systems. It is written, primarily, in a version of FORTRAN 2 currently in use on CDC 6000 series computers. Some small portions are written in CDC COMPASS, an assembler level code. However, functional descriptions of these portions are provided so that the program may be adapted for use on any facility possessing a FORTRAN compiler and random-access capability. Properly formatted digital data are windowed and analyzed by means of a fast Fourier transform algorithm to generate the following functions: (1) auto and/or cross power spectra, (2) autocorrelations and/or cross correlations, (3) Fourier coefficients, (4) coherence functions, (5) transfer functions, and (6) histograms.

Brown, T. J.↗

NASA NTRS1973

A semi-automated system for plotting and computer cataloging of remote sensing imagery

Description of a computer-assisted system for plotting and descriptor-cataloging of aerial imagery - an ingredient of the aerial image data handling system of the NASA Earth Resources Aircraft Project (ERAP). The system under consideration uses two graphic tablets linked interactively with a digital computer as input devices for deriving frame coordinates by correlating image points to map points. The various software programs and operating modes facilitate a semiautomatic plotting of an image by selecting two or more points within the image for matching with map details. The computer performs the scaling and orientation transformations for the calculation of the center and corner coordinates of the frame. Twenty five other descriptors for each frame are fed into a computerized data base requiring a minimum operator's time for verification and correction.

Gnauck, G. E.↗

NASA NTRS1985

Secondary pattern computation of an offset reflector antenna

Reflector antennas are widely used in communications satellite systems because they provide high gain at low cost. In analyzing reflector antennas the computation of the secondary pattern is the main concern. A computer program for calculating the secondary pattern of an offset reflector has been developed and implemented at the NASA Lewis Research Center. The theoretical foundation for this program is based on the use of geometrical optics to describe the fields from the feed to the reflector surface and to the aperture plane. The resulting aperture field distribution is then transformed to the far-field zone by the fast Fourier transform algorithm. Comparing this technique with other well-known techniques (the geometrical theory of diffraction, physical optics (Jacobi-Bessel), etc.) shows good agreement for large (diameter of 100 lambda or greater) reflector antennas.

Acosta, R. J.↗

NASA NTRS1987

Profile modification to minimize spur gear dynamic loading

An analytical computer simulation program for dynamic modeling of low-contact-ratio spur gear systems is presented. The procedure computes the static transmission error of the gears operating under load and uses a fast Fourier transform to generate the frequency spectrum of the static transmission error at various tooth profile modifications. The dynamic loading response of an unmodified (perfect involute) gear pair was compared with that of gears with various profile modifications. Correlations were found between various profile modifications and the resulting dynamic loads. An effective error, obtained from frequency domain analysis of the static transmission error of the gears, gave a very good indication of the optimum profile modification to reduce gear dynamic loading. Design curves generated by dynamic simulation at various profile modifications are given for gear systems operated at various loads. Optimum profile modifications can be determined from these design curves for improved gear design.

Lin, Hsiang Hsi↗

NASA NTRS1989

Simulating Scenes In Outer Space

Multimission Interactive Picture Planner, MIP, computer program for scientifically accurate and fast, three-dimensional animation of scenes in deep space. Versatile, reasonably comprehensive, and portable, and runs on microcomputers. New techniques developed to perform rapidly calculations and transformations necessary to animate scenes in scientifically accurate three-dimensional space. Written in FORTRAN 77 code. Primarily designed to handle Voyager, Galileo, and Space Telescope. Adapted to handle other missions.

Callahan, John D.↗

NASA NTRS1989

Profile modification to minimize spur gear dynamic loading

Lin, H. H.↗

NASA NTRS2015

NASA's Vision for Potential Energy Reduction from Future Generations of Propulsion Technology

Through a robust partnership with the aviation industry, over the past 50 years NASA programs have helped foster advances in propulsion technology that enabled substantial reductions in fuel consumption for commercial transports. Emerging global trends and continuing environmental concerns are creating challenges that will very likely transform the face of aviation over the next 20-40 years. In recognition of this development, NASA Aeronautics has established a set of Research Thrusts that will help define the future direction of the agency's research technology efforts. Two of these thrusts, Ultra-Efficient Commercial Vehicles and Transition to Low-Carbon Propulsion, serve as cornerstones for the Advanced Air Transport Technology (AATT) project. The AATT project is exploring and developing high-payoff technologies and concepts that are key to continued improvement in energy efficiency and environmental compatibility for future generations of fixed-wing, subsonic transports. The AATT project is primarily focused on the N+3 timeframe, or 3 generations from current technology levels. As should be expected, many of the propulsion system architectures technologies envisioned for N+3 vary significantly from todays engines. The use of batteries in a hybrid-electric configuration or deploying multiple fans distributed across the airframe to enable higher bypass ratios are just two examples of potential advances that could enable substantial energy reductions over current propulsion systems.

Airbreathing Propulsion↗

NASA NTRS2001

Monitoring Programs Using Rewriting

We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces, The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive in most past applications of LTL, theorem provers and model checkers have been used to formally prove that down-scaled models satisfy such LTL specifications. Our goal is instead to use LTL for up-scaled testing of real software applications, corresponding to analyzing the conformance of finite traces against LTL formulae. We first describe what it means for a finite trace to satisfy an LTL property end then suggest an optimized algorithm based on transforming LTL formulae. We use the Maude rewriting logic, which turns out to be a good notation and being supported by an efficient rewriting engine for performing these experiments. The work constitutes part of the Java PathExplorer (JPAX) project, the purpose of which is to develop a flexible tool for monitoring Java program executions.

Havelund, Klaus↗

NASA NTRS2010

Model Transformation for a System of Systems Dependability Safety Case

Software plays an increasingly larger role in all aspects of NASA's science missions. This has been extended to the identification, management and control of faults which affect safety-critical functions and by default, the overall success of the mission. Traditionally, the analysis of fault identification, management and control are hardware based. Due to the increasing complexity of system, there has been a corresponding increase in the complexity in fault management software. The NASA Independent Validation & Verification (IV&V) program is creating processes and procedures to identify, and incorporate safety-critical software requirements along with corresponding software faults so that potential hazards may be mitigated. This Specific to Generic ... A Case for Reuse paper describes the phases of a dependability and safety study which identifies a new, process to create a foundation for reusable assets. These assets support the identification and management of specific software faults and, their transformation from specific to generic software faults. This approach also has applications to other systems outside of the NASA environment. This paper addresses how a mission specific dependability and safety case is being transformed to a generic dependability and safety case which can be reused for any type of space mission with an emphasis on software fault conditions.

Murphy, Judy↗

NASA NTRS1982

Experiences with explicit finite-difference schemes for complex fluid dynamics problems on STAR-100 and CYBER-203 computers

Several two- and three-dimensional external and internal flow problems solved on the STAR-100 and CYBER-203 vector processing computers are described. The flow field was described by the full Navier-Stokes equations which were then solved by explicit finite-difference algorithms. Problem results and computer system requirements are presented. Program organization and data base structure for three-dimensional computer codes which will eliminate or improve on page faulting, are discussed. Storage requirements for three-dimensional codes are reduced by calculating transformation metric data in each step. As a result, in-core grid points were increased in number by 50% to 150,000, with a 10% execution time increase. An assessment of current and future machine requirements shows that even on the CYBER-205 computer only a few problems can be solved realistically. Estimates reveal that the present situation is more storage limited than compute rate limited, but advancements in both storage and speed are essential to realistically calculate three-dimensional flow.

Kumar, A.↗

NASA NTRS1985

Engineering calculations for communications satellite systems planning

Computer-based techniques for optimizing communications-satellite orbit and frequency assignments are discussed. A gradient-search code was tested against a BSS scenario derived from the RARC-83 data. Improvement was obtained, but each iteration requires about 50 minutes of IBM-3081 CPU time. Gradient-search experiments on a small FSS test problem, consisting of a single service area served by 8 satellites, showed quickest convergence when the satellites were all initially placed near the center of the available orbital arc with moderate spacing. A transformation technique is proposed for investigating the surface topography of the objective function used in the gradient-search method. A new synthesis approach is based on transforming single-entry interference constraints into corresponding constraints on satellite spacings. These constraints are used with linear objective functions to formulate the co-channel orbital assignment task as a linear-programming (LP) problem or mixed integer programming (MIP) problem. Globally optimal solutions are always found with the MIP problems, but not necessarily with the LP problems. The MIP solutions can be used to evaluate the quality of the LP solutions. The initial results are very encouraging.

Reilly, C. H.↗

NASA NTRS1990

Model checking for linear temporal logic: An efficient implementation

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

Sherman, Rivi↗