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

Design of the software development and verification system (SWDVS) for shuttle NASA study task 35

An overview of the Software Development and Verification System (SWDVS) for the space shuttle is presented. The design considerations, goals, assumptions, and major features of the design are examined. A scenario that shows three persons involved in flight software development using the SWDVS in response to a program change request is developed. The SWDVS is described from the standpoint of different groups of people with different responsibilities in the shuttle program to show the functional requirements that influenced the SWDVS design. The software elements of the SWDVS that satisfy the requirements of the different groups are identified.

Drane, L. W.↗
NASA NTRS1975

Algorithms

The implementation of the algorithms used in the flight program to approximate elementary functions and mathematical procedures was checked. This was done by verifying that at least one, and in most cases, more than one function computed through the use of the algorithms was calculated properly. The following algorithms were checked: sine-cosine, arctangent, natural logarithm, square root, inverse square root, as well as the vector dot and cross products.

Source record↗
NASA NTRS1976

Viscous rotary vane actuator/damper

A compact viscous rotary actuator/damper for use on the Mariner '71 and Viking Programs was developed. Several functions were combined into this single mechanism to control the deployment, latching, and damping of the solar panel arrays used on these space vehicles. The design, development, and testing of the actuator/damper are described, and major problems encountered are discussed.

Harper, J. D.↗
NASA NTRS1976

Formulation of detailed consumables management models for the development (preoperational) period of advanced space transportation system. Volume 1: Detailed requirements for the mission planning processor

Detailed requirements for the mission planning processor are documented. The mission planning processor is a user oriented tool for consumables management and is part of the total consumables subsystem management concept. A quasi top-down approach was applied to the design of the mission planning processor. Interface requirements, input/output, and data base concepts were considered before computational processing. Existing analytical models were investigated for applicability before new models were developed. The mission planning processor was designed for an interactive system using demand terminals for input/outputdisplay and interfacing with an updateable mission data bank. The control and support routines provide the user interface, peripheral data handling, program control, and support functions required by the mission planning processor for execution on an interactive system. A description, interface requirements, definition of internal variables, listing of input data, processing flow diagram, and listing of output data are presented for each routine.

Connelly, L. C.↗
NASA NTRS1976

Balloon stratospheric research flights, November 1974 to January 1976

These flights were designed to measure the vertical concentration profile of trace stratospheric species which form major links in the photochemical system of the upper atmosphere. An overview of the specific goals of the program, a statement of program management and support functions, a brief description of the instrumentation flown, pertinent engineering and payload operations data, and a summary of the scientific data obtained for each of the last five flights during this period are presented.

Allen, N. C.↗
NASA NTRS1977

Balloon stratospheric research flights, April 1976 to December 1976

These flights were designed to measure the vertical concentration profile of trace stratospheric species which form major links in the chlorine photochemical system of the upper atmosphere, to measure the vertical concentration profiles of atomic oxygen, the hydroxyl radical and ozone in the stratosphere. An overview of the scientific goals of the program, a statement of program management and support functions, a brief description of the instrumentation flown, pertinent engineering and payload operations data, and a summary of the scientific data obtained for four flights are presented.

Allen, N. C.↗
NASA NTRS1976

Formulation of a methodology for power circuit design optimization

A methodology for optimizing power-processor designs is described which achieves optimization with respect to some power-processor characteristic deemed particularly desirable by the designer, such as weight or efficiency. Optimization theory based on Lagrange multipliers is reviewed together with nonlinear programming techniques employing penalty functions. The methodology, the task of which is to minimize an objective function subject to design constraints, is demonstrated with the aid of four examples: optimum-weight core selection for an inductor with a predetermined winding size, optimum-weight inductor design with a given loss constraint, optimum-loss inductor design with a given weight constraint, and a comparison of optimum-weight single- and two-stage input-filter designs with identical loss and other requirement constraints. Closed-form solutions for the first three examples are obtained by applying the Lagrange-multiplier method, but solutions for the last example are found numerically through the use of the sequential unconstrained minimization technique.

Yu, Y.↗
NASA NTRS1979

Experimental Investigation of Launch Vehicle Transient Input Simulation in Payload Tests

The technique of electronically simulating the structural dynamics of a launch vehicle in transient tests of payloads using multiple vibration excitation systems was investigated. The development of computer programs to determine transfer functions, synthesize shaker forcing functions, and control vibration exciters is described. A demonstration test using the techniques was described and results are presented. The evaluation of the potential for applying this technique to large Shuttle payloads is discussed.

Rader, P.↗
NASA NTRS1979

Beta distributions: A computer program for probabilities and fractile points

A beta distribution is specified by range parameters a b, and two shape parameters alpha and beta 0. The computer program presented calculates any desired probability and/or fractile point for specified values of a, b, alpha, and beta. This program additionally computes gamma function values for integer and noninteger arguments.

Brownlow, J. D.↗
NASA NTRS1979

Power Extension Package (PEP) system definition extension, orbital service module systems analysis study. Volume 7: PEP logistics and training plan requirements

Recommendations for logistics activities and logistics planning are presented based on the assumption that a system prime contractor will perform logistics functions to support all program hardware and will implement a logistics system to include the planning and provision of products and services to assure cost effective coverage of the following: maintainability; maintenance; spares and supply support; fuels; pressurants and fluids; operations and maintenance documentation training; preservation, packaging and packing; transportation and handling; storage; and logistics management information reporting. The training courses, manpower, materials, and training aids required will be identified and implemented in a training program.

Source record↗
NASA NTRS1982

Model Verification of Mixed Dynamic Systems

MOVER uses experimental data to verify mathematical models of "mixed" dynamic systems. The term "mixed" refers to interactive mechanical, hydraulic, electrical, and other components. Program compares analytical transfer functions with experiment.

Evensen, D. A.↗
NASA NTRS1982

Required developments in structural dynamics

The finite element method, modal component synthesis, and the use of fast Fourier transformation were key developments in structural dynamics in the past 15 to 20 years. Current areas requiring additional effort include: (1) the correct calculation of modal shape and natural frequencies for complex structures; (2) the correlation of math models with test data; (3) the establishment of a criteria for "goodness" of the correlation between analysis and test; (4) the selection of the correct displacement functions when using computer programs for modal synthesis; (5) accuracy of response calculations; and (6) the inverse problem of determining the force problem from the response data. Trends identified include the use of distributed computing, greater reliance on analysis, and the possible use of artificial intelligence techniques, or some way of feeding back information, to provide solution guidance to engineers.

Wada, B. K.↗
NASA NTRS1983

Finite element computation with parallel VLSI

This paper describes a parallel processing computer consisting of a 16-bit microcomputer as a master processor which controls and coordinates the activities of 8086/8087 VLSI chip set slave processors working in parallel. The hardware is inexpensive and can be flexibly configured and programmed to perform various functions. This makes it a useful research tool for the development of, and experimentation with parallel mathematical algorithms. Application of the hardware to computational tasks involved in the finite element analysis method is demonstrated by the generation and assembly of beam finite element stiffness matrices. A number of possible schemes for the implementation of N-elements on N- or n-processors (N is greater than n) are described, and the speedup factors of their time consumption are determined as a function of the number of available parallel processors.

Mcgregor, J.↗
NASA NTRS1984

Microwave bistatic reflectivity dependence on the moisture content and matric potential of bare soil

Results are presented of an experimental program to determine the functional dependence of the microwave reflectivity of nonvegetated soil surfaces upon volumetric soil moisture and matric potential. A combination evaporation-drainage field experiment was conducted on a bare Captina slit loam with reflectivity, soil moisture content, and matric potential monitored for extended time periods. Results show that for a restricted pressure range (approximately -0.05 to -0.75 bar) there is excellent linear correlation between the log of bistatic reflectivity and both volumetric moisture content and matric potential. Layering effects due to steep moisture content (and matric potential) gradients in the profile are demonstrated to have two distinct and significant effects on the reflectivity response. At near saturation of rough surfaces a very thin dry surface layer appears to modify the effective roughness. This leads to a saturation of reflectivity at high moisture contents. As the surface proceeds to dry further, deeper layers produce coherent interference patterns in the reflectivity response, particularly at the higher frequencies.

Waite, W. P.↗
NASA NTRS1988

Validation of expert systems

The validation of expert systems (ESs) has only recently become an active AI research topic. Current approaches have concentrated mainly on the validation of rule properties of such systems. The efforts presented improves on current methods by also exploiting the structural and semantic information of such systems. To increase programmer productivity, more and more companies have begun exploiting the advent of AI technology by developing applications using ES shells or other AI-based high level program generators. The architecture, functionality, and future goals of Expert Systems Validation are described along with the features that have been implemented for and in Automated Reasoning Tool, the ES shell presented.

Stachowitz, Rolf A.↗
NASA NTRS1987

A Vibroacoustic Database Management Center for Shuttle and expendable launch vehicle payloads

A Vibroacoustic Database Management Center has recently been established at the Jet Propulsion Laboratory (JPL). The center uses the Vibroacoustic Payload Environment Prediction System (VAPEPS) computer program to maintain a database of flight and ground-test data and structural parameters for both Shuttle and expendable launch-vehicle payloads. Given the launch-vehicle environment, the VAPEPS prediction software, which employs Statistical Energy Analysis (SEA) methods, can be used with or without the database to establish the vibroacoustic environment for new payload components. This paper summarizes the VAPEPS program and describes the functions of the Database Management Center at JPL.

Thomas, Valerie C.↗
NASA NTRS1989

An international Mars exploration program

The scientific reasons for a Mars exploration program are reviewed, and the robotic phase of such a program is examined. The functions and requirements of the rovers, surface stations and penetrators are addressed, as are those of the imaging and communications orbiters. The navigational functions which support the aerocapture and landing vehicles are examined.

Rea, Donald G.↗
NASA NTRS1991

A reusable knowledge acquisition shell: KASH

KASH (Knowledge Acquisition SHell) is proposed to assist a knowledge engineer by providing a set of utilities for constructing knowledge acquisition sessions based on interviewing techniques. The information elicited from domain experts during the sessions is guided by a question dependency graph (QDG). The QDG defined by the knowledge engineer, consists of a series of control questions about the domain that are used to organize the knowledge of an expert. The content information supplies by the expert, in response to the questions, is represented in the form of a concept map. These maps can be constructed in a top-down or bottom-up manner by the QDG and used by KASH to generate the rules for a large class of expert system domains. Additionally, the concept maps can support the representation of temporal knowledge. The high degree of reusability encountered in the QDG and concept maps can vastly reduce the development times and costs associated with producing intelligent decision aids, training programs, and process control functions.

Westphal, Christopher↗