Search NASA⌕ Search

SEARCH · Search NASA

Results for “functional programming”

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 595 records · Page 33

Digital simulation of dynamic processes in radiometer systems

The development and application of several computer programs for simulating different classes of microwave radiometers are described. The programs are dynamic in nature, and they may be used to determine the instantaneous behavior of system variables as a function of time. Some of the programs employ random variable models in the simulations so that the statistical nature of the results may be investigated. The programs have been developed to utilize either the Continuous System Modeling Program or the Advanced Continuous System Language. The validity of most of the programs was investigated using statistical tests, and the results show excellent correlation with theoretical predictions. The programs are currently being used in the investigation of new design techniques for microwave radiometers.

Stanley, W. D.↗

Algebraic surface grid generation in three-dimensional space

An interactive program for algebraic generation of structured surface grids in three dimensional space was developed on the IRIS4D series workstations. Interactive tools are available to ease construction of edge curves and surfaces in 3-D space. Addition, removal, or redistribution of points at arbitrary locations on a general 3-D surface or curve is possible. Also, redistribution of surface grid points may be accomplished through use of conventional surface splines or a method called 'surface constrained transfinite interpolation'. This method allows the user to redistribute the grid points on the edges of a surface patch; the effect of the redistribution is then propagated to the remainder of the surface through a transfinite interpolation procedure where the grid points will be constrained to lie on the surface. The program was written to be highly functional and easy to use. A host of utilities are available to ease the grid generation process. Generality of the program allows the creation of single and multizonal surface grids according to the user requirements. The program communicates with the user through popup menus, windows, and the mouse.

Warsi, Saif↗

eCC++ : A Compiler Construction Framework for Embedded Domain-Specific Languages

eCC++ is a new compiler construction framework for embedding domain-specific programming languages within C++. That is, the host language is C++, the guest language is the DSL to be embedded in C++, and eCC++ is the tool that enables the embedding. The eCC++ framework is composed of three main components: a front-end, an API for program verification based on a functional and declarative intermediate representation (IR), and a Multi-Level Intermediate Representation (MLIR) code generator. The eCC++ front-end consists of a library of C++ classes and operators that can be used to define the guest language. Guest sources are compiled with any standard C++ compiler, and when run, the resulting executable generates an eCC++ IR representation of the program, which can be verified within the eCC++ framework. Finally, eCC++ allows for high-level and domain-specific optimizations before generating MLIR. In summary, eCC++ aims to act as a generic front-end that enables embedding guest languages into C++, and provides necessary compiler technology for program verification, targeting the existing capabilities in the MLIR infrastructure. The paper evaluates the eCC++ expressiveness and usability describing the process of embedding GraphIt, a high-performance graph language in C++.

Gonzalez Tallada, Marc↗

Effects of display format on pilot describing function and remnant

As part of a program to develop a comprehensive theory of manual control displays, six display formats were used by three instrument-rated pilots to regulate against random disturbances with a controlled element under both foveal and 10 deg parafoveal viewing conditions. The six display formats were: CRT line, CRT thermometer bar, 14-bar quantized on a CRT, a rotary dial and pointer, and two variations of a moving scale tape-drive. All were scaled to equivalent movement and apparent brightness. Measures included overall performance, describing functions, error remnant power spectra, critical instability scores, and subjective display ratings. The results show that the main effect of display format is on the loop closure properties. Less desirable displays induce lower bandwidth closures with consequent effects on the closed-loop remnant and performance.

Jex, H. R.↗

Fortran Automatic Code Evaluation System (FACES)

Software package takes as input FORTRAN program which may contain many modules (subroutines and functions). Main parts: (1) FORTRAN front end gathers information about input program and (2) set of routines organized as diagnostic package evaluates information and prints warning messages concerning actual or potential errors.

Browne, J. C.↗

JPL transient radiation analysis by computer program (JTRAC)

Digital computer program, JTRAC, simulates time response of electronic circuit to arbitrary forcing functions which may include electrical and/or radiation stimuli. Program is designed to solve linear and nonlinear simultaneous equations which characterize mathematical models used to predict circuit response for electrical and/or radiation input.

Weinstein, S.↗

TF34 Convertible Engine System Technology Program

The ability of the helicopter to function efficiently at zero flight speed is counterbalanced by a limitation to rather low forward flight speeds. An ability to fly efficiently at high speed would provide very significant improvements in rotorcraft productivity and economics. The implementation of such improvements would require the development of a suitable integrated power plant for both the vertical and horizontal flight modes. The engine should be a shaft output engine in the vertical flight mode. In the horizontal mode, the propulsor can be fan or propeller. A description is presented of a program concerned with the demonstration of a convertible turbofan/turboshaft engine. The program is nominally directed toward the demonstration of a propulsion system for an X-wing aircraft. However, the principles being investigated are applicable to any convertible turbofan/turboshaft engine application. At the current early stage of the program, no barrier problems have become apparent, and interesting possibilities for high speed rotorcraft flight are envisaged.

Abdalla, K. L.↗

The reduction, verification and interpretation of MAGSAT magnetic data over Canada

Consideration is being given to representing the magnetic field in the area 40 deg N to 83 deg N by means of functions in spherical coordinates. A solution to Laplace's equation for the magnetic potential over a restricted area was found, and programming and testing are currently being carried out. Magnetic anomaly modelling is proceeding. The program SPHERE, which was adapted to function correctly on the Cyber computer, is now operational, for deriving gravity and magnetic models in a spherical coordinate system.

Coles, R. L.↗

Simple and Efficient Numerical Evaluation of Near-Hypersingular Integrals

Recently, significant progress has been made in the handling of singular and nearly-singular potential integrals that commonly arise in the Boundary Element Method (BEM). To facilitate object-oriented programming and handling of higher order basis functions, cancellation techniques are favored over techniques involving singularity subtraction. However, gradients of the Newton-type potentials, which produce hypersingular kernels, are also frequently required in BEM formulations. As is the case with the potentials, treatment of the near-hypersingular integrals has proven more challenging than treating the limiting case in which the observation point approaches the surface. Historically, numerical evaluation of these near-hypersingularities has often involved a two-step procedure: a singularity subtraction to reduce the order of the singularity, followed by a boundary contour integral evaluation of the extracted part. Since this evaluation necessarily links basis function, Green s function, and the integration domain (element shape), the approach ill fits object-oriented programming concepts. Thus, there is a need for cancellation-type techniques for efficient numerical evaluation of the gradient of the potential. Progress in the development of efficient cancellation-type procedures for the gradient potentials was recently presented. To the extent possible, a change of variables is chosen such that the Jacobian of the transformation cancels the singularity. However, since the gradient kernel involves singularities of different orders, we also require that the transformation leaves remaining terms that are analytic. The terms "normal" and "tangential" are used herein with reference to the source element. Also, since computational formulations often involve the numerical evaluation of both potentials and their gradients, it is highly desirable that a single integration procedure efficiently handles both.

Fink, Patrick W.↗

Utility of an emulation and simulation computer model for air revitalization system hardware design, development, and test

Efforts to make increasingly use of suitable computer programs in the design of hardware have the potential to reduce expenditures. In this context, NASA has evaluated the benefits provided by software tools through an application to the Environmental Control and Life Support (ECLS) system. The present paper is concerned with the benefits obtained by an employment of simulation tools in the case of the Air Revitalization System (ARS) of a Space Station life support system. Attention is given to the ARS functions and components, a computer program overview, a SAND (solid amine water desorbed) bed model description, a model validation, and details regarding the simulation benefits.

Yanosy, J. L.↗

CARES/Life Ceramics Durability Evaluation Software Used for Mars Microprobe Aeroshell

The CARES/Life computer program, which was developed at the NASA Lewis Research Center, predicts the probability of a monolithic ceramic component's failure as a function of time in service. The program has many features and options for materials evaluation and component design. It couples commercial finite element programs-which resolve a component's temperature and stress distribution-to-reliability evaluation and fracture mechanics routines for modeling strength-limiting defects. These routines are based on calculations of the probabilistic nature of the brittle material's strength. The capability, flexibility, and uniqueness of CARES/Life has attracted many users representing a broad range of interests and has resulted in numerous awards for technological achievements and technology transfer.

Nemeth, Noel N.↗

The use of a formal simulator to verify a simple real time control program

The authors present an initial and elementary investigation of the formal specification and mechanical verification of programs that interact with environments. They describe a mechanical proof that a simple, real time control program keeps a vehicle on a straightline course in a variable crosswind. To formalize the specification they define a mathematical function which models the interaction of the program and its environment. They then state and proved two theorems about this function: the simulated vehicle never gets farther than three units away from the intended course, and it comes to the course if the wind ever remains steady for at least four sampling units.

Boyer, R. S.↗

Survey: Automated Field Operations and Services (AFOS)

The National Weather Service (NWS) is currently implementing a program for improving operations through automation of routine functions, improved communications capability, and improved management and presentation of data. The program, designated as Automation of Field Operations and Services (AFOS), uses high-speed data circuits, minicomputers, and dynamic display devices to rapidly collect, disseminate, and present data to forecasters and users on both a broadcast and a request basis. The initial system will be configured to serve facilities within the continental United States, Alaska, Hawaii, and Puerto Rico, with eventual expansion to provide international capability. This report discusses AFOS users, functions, and network and site configurations. The sections discuss current and future capability and workload in terms of the 10 data systems elements designated by NASA.

Source record↗

Optimized laser turrets for minimum phase distortion

An analysis and computer program which optimizes laser turret geometry to obtain minimum phase distortion is described. Phase distortion due to compressible, inviscid flow over small perturbation laser turrets in subsonic or supersonic flow is calculated. The turret shape is determined by a two dimensional Fourier series; in a similar manner, the flow properties are given by a Fourier series. Phase distortion is calcualted for propagation at serveral combinations of elevation and azimuth angles. A sum is formed from the set of values, and this sum becomes the objective function for an optimization computer program. The shape of the turret is varied to provide minimum phase distortion.

Vanderplaats, G. N.↗

Calculation of total electron excitation cross-sections and partial electron ionization cross-sections for the elements

Computer programs were used to calculate the total electron excitation cross-section for atoms and the partial ionization cross-section. The approximations to the scattering amplitude used are as follows: (1) Born, Bethe, and Modified Bethe for non-exchange excitation; (2) Ochkur for exchange excitation; and (3) Coulomb-Born of non-exchange ionization. The amplitudes are related to the differential cross-sections which are integrated to give the total excitation (or partial ionization) cross-section for the collision. The atomic wave functions used are Hartree-Fock-Slater functions for bound states and the coulomb wave function for the continuum. The programs are presented and the results are examined.

Green, T. J.↗

Legato: Personal Computer Software for Analyzing Pressure-Sensitive Paint Data

'Legato' is personal computer software for analyzing radiometric pressure-sensitive paint (PSP) data. The software is written in the C programming language and executes under Windows 95/98/NT operating systems. It includes all operations normally required to convert pressure-paint image intensities to normalized pressure distributions mapped to physical coordinates of the test article. The program can analyze data from both single- and bi-luminophore paints and provides for both in situ and a priori paint calibration. In addition, there are functions for determining paint calibration coefficients from calibration-chamber data. The software is designed as a self-contained, interactive research tool that requires as input only the bare minimum of information needed to accomplish each function, e.g., images, model geometry, and paint calibration coefficients (for a priori calibration) or pressure-tap data (for in situ calibration). The program includes functions that can be used to generate needed model geometry files for simple model geometries (e.g., airfoils, trapezoidal wings, rotor blades) based on the model planform and airfoil section. All data files except images are in ASCII format and thus are easily created, read, and edited. The program does not use database files. This simplifies setup but makes the program inappropriate for analyzing massive amounts of data from production wind tunnels. Program output consists of Cartesian plots, false-colored real and virtual images, pressure distributions mapped to the surface of the model, assorted ASCII data files, and a text file of tabulated results. Graphical output is displayed on the computer screen and can be saved as publication-quality (PostScript) files.

Schairer, Edward T.↗

Structural Tailoring of Advanced Turboprops (STAT) programmer's manual

The Structural Tailoring of Advanced Turboprops (STAT) computer program was developed to perform numerical optimizations on highly swept propfan blades. This manual describes the functionality of the STAT system from a programmer's viewpoint. It provides a top-down description of module intent and interaction. The purpose of this manual is to familiarize the programmer with the STAT system should he/she wish to enhance or verify the program's function.

Brown, K. W.↗

Features of the Upgraded Imaging for Hypersonic Experimental Aeroheating Testing (IHEAT) Software

The Imaging for Hypersonic Experimental Aeroheating Testing (IHEAT) software is used at the NASA Langley Research Center to analyze global aeroheating data on wind tunnel models tested in the Langley Aerothermodynamics Laboratory. One-dimensional, semi-infinite heating data derived from IHEAT are used in the design of thermal protection systems for hypersonic vehicles that are exposed to severe aeroheating loads, such as reentry vehicles during descent and landing procedures. This software program originally was written in the PV-WAVE(Registered Trademark) programming language to analyze phosphor thermography data from the two-color, relative-intensity system developed at Langley. To increase the efficiency, functionality, and reliability of IHEAT, the program was migrated to MATLAB(Registered Trademark) syntax and compiled as a stand-alone executable file labeled version 4.0. New features of IHEAT 4.0 include the options to perform diagnostic checks of the accuracy of the acquired data during a wind tunnel test, to extract data along a specified multi-segment line following a feature such as a leading edge or a streamline, and to batch process all of the temporal frame data from a wind tunnel run. Results from IHEAT 4.0 were compared on a pixel level to the output images from the legacy software to validate the program. The absolute differences between the heat transfer data output from the two programs were on the order of 10(exp -5) to 10(exp -7). IHEAT 4.0 replaces the PV-WAVE(Registered Trademark) version as the production software for aeroheating experiments conducted in the hypersonic facilities at NASA Langley.

Mason, Michelle L.↗