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.

SourceResearch connectionFrom yearThrough year

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

At least 253 records · Page 14

All sources NASA NTRS DOE OSTI

NASA NTRS1997

Applying Space Technology to Enhance Control of an Artificial Arm

At the present time, myoelectric prostheses perform only one function of the hand: open and close with the thumb, index and middle finger coming together to grasp various shaped objects. To better understand the limitations of the current single-function prostheses and the needs of the individuals who use them, The Institute for Rehabilitation and Research (TIRR), sponsored by the National Institutes of Health (August 1992 - November 1994), surveyed approximately 2500 individuals with upper limb loss. When asked to identify specific features of their current electric prosthesis that needed improvement, the survey respondents overwhelmingly identified the lack of wrist and finger movement as well as poor control capability. Simply building a mechanism with individual finger and wrist motion is not enough. Individuals with upper limb loss tend to reject prostheses that require continuous visual monitoring and concentration to control. Robotics researchers at NASA's Johnson Space Center (JSC) and Rice University have made substantial progress in myoelectric teleoperation. A myoelectric teleoperation system translates signals generated by an able-bodied robot operator's muscles during hand motions into commands that drive a robot's hand through identical motions. Farry's early work in myoelectric teleoperation used variations over time in the myoelectric spectrum as inputs to neural networks to discriminate grasp types and thumb motions. The resulting schemes yielded up to 93% correct classification on thumb motions. More recently, Fernandez achieved 100% correct non-realtime classification of thumb abduction, extension, and flexion on the same myoelectric data. Fernandez used genetic programming to develop functions that discriminate between thumb motions using myoelectric signal parameters. Genetic programming (GP) is an evolutionary programming method where the computer can modify the discriminating functions' form to improve its performance, not just adjust numerical coefficients or weights. Although the function development may require much computational time and many training cases, the resulting discrimination functions can run in realtime on modest computers. These results suggest that myoelectric signals might be a feasible teleoperation medium, allowing an operator to use his or her own hand and arm as a master to intuitively control an anthropomorphic robot in a remote location such as outer space.

Atkins, Diane↗

NASA NTRS2007

C++ Programming Language

C++ Programming Language: The C++ seminar covers the fundamentals of C++ programming language. The C++ fundamentals are grouped into three parts where each part includes both concept and programming examples aimed at for hands-on practice. The first part covers the functional aspect of C++ programming language with emphasis on function parameters and efficient memory utilization. The second part covers the essential framework of C++ programming language, the object-oriented aspects. Information necessary to evaluate various features of object-oriented programming; including encapsulation, polymorphism and inheritance will be discussed. The last part of the seminar covers template and generic programming. Examples include both user defined and standard templates.

Shaykhian, Gholam Ali↗

NASA NTRSDate not supplied

U.S. Spacesuit Knowledge Capture – Creation, Curation, and Dissemination

The U.S. spacesuit is a special system that has intrigued and fascinated the world since Neil Armstrong set foot on the Moon in 1969. With over 50 years since that momentous achievement, NASA is planning to land the first woman and next man on the Moon in the near future. This goal begets the need to build a new spacesuit, a spacesuit created from the legacy knowledge of the Extravehicular Mobility Unit (EMU), combined with knowledge gained from technology development over the decades. As NASA transitions to its new horizon, the U.S. Spacesuit Knowledge Capture (SKC) Program is poised to help. The SKC Program’s primary function has been to capture, curate, and disseminate spacesuit-related knowledge among scientists, engineers, and technicians. The SKC Program was created in 2007 to capture knowledge primarily from spacesuit subject-matter experts (SMEs) who were retiring from NASA. These SMEs had 30 to 50 years of spacesuit knowledge. Over the years, the SKC Program has evolved and expanded its scope with a current focus on complementing the buildup of the Exploration EMU (xEMU) at the Johnson Space Center. As part of this focus, the SKC Program recently teamed with the xEMU Community of Practice (CoP) for knowledge sharing. The xEMU CoP provides a forum where early career engineers, professionals new to human spaceflight, and the xEMU community can come together regularly to seek guidance, share knowledge, meet their peers, discover resources, and ask questions. The CoP created an environment where the knowledge can be easily and routinely captured and recorded. The recorded events are archived and curated in an SKC Program library and disseminated as appropriate. This paper details the roles that the SKC Program and CoP play in the xEMU buildup, along with the navigation of the creation, curation, and dissemination processes.

Cinda Chullen↗

NASA NTRS2013

Regression Verification Using Impact Summaries

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

Backes, John↗

NASA NTRS1972

Study of solid rocket motor for space shuttle booster, Volume 3: Program acquisition planning

The program planning acquisition functions for the development of the solid propellant rocket engine for the space shuttle booster is presented. The subjects discussed are: (1) program management, (2) contracts administration, (3) systems engineering, (4) configuration management, and (5) maintenance engineering. The plans for manufacturing, testing, and operations support are included.

Source record↗

NASA NTRS2004

Scalability, Timing, and System Design Issues for Intrinsic Evolvable Hardware

In this paper we address several issues pertinent to intrinsic evolvable hardware (EHW). The first issue is scalability; namely, how the design space scales as the programming string for the programmable device gets longer. We develop a model for population size and the number of generations as a function of the programming string length, L, and show that the number of circuit evaluations is an O(L2) process. We compare our model to several successful intrinsic EHW experiments and discuss the many implications of our model. The second issue that we address is the timing of intrinsic EHW experiments. We show that the processing time is a small part of the overall time to derive or evolve a circuit and that major improvements in processor speed alone will have only a minimal impact on improving the scalability of intrinsic EHW. The third issue we consider is the system-level design of intrinsic EHW experiments. We review what other researchers have done to break the scalability barrier and contend that the type of reconfigurable platform and the evolutionary algorithm are tied together and impose limits on each other.

Hereford, James↗

NASA NTRS1984

Programs for calculating quasi-three-dimensional flow in a turbomachine blade row

MERIDL is a program that calculates a meridional plane stream function solution, and TSONIC is a program that calculates a blade to blade stream function solution for turbomachine blade passages. Both programs are discussed, including input required and assumptions and limitations. Examples of use and references are included.

Katsanis, T.↗

NASA NTRS1987

Documenting the Development of Software

Some routine supervisory functions performed automatically. Program Management Facility (PMF) computer program integrated software-development and control system. Applicable to large software systems involving as many as several hundred programmers and one million lines of codes, it ensures timely and orderly planning, development, implementation, and documentation of software. Designed as support tool. Has many features providing efficient processing and utilization of space for development programmer. Incorporates security system to prevent improper maintenance. Provides full set of cross-referenced reports and supervisory functions for detailed management information. Written in assembler. IBM program TSO required.

Source record↗

NASA NTRS2021

A Systematic Approach to Developing Paths Towards Airborne Vehicle Autonomy

Advanced Air Mobility (AAM) demands greater levels of aircraft autonomy than are currently implemented today. To enable this requirement, novel aircraft functionalities and technologies as well as supporting airworthiness and operational regulations are required. A structured method to derive a comprehensive list of aircraft level decision-making functions is defined and applied. The resulting function set is programmed into an ontology, and enables autonomous decision-making through the application of a defined decision-making process. Paths to implementing the functions are generated by applying a structured four step method. By surveying current technologies, airspace, procedures and regulations, the paths generation method defines incremental paths to autonomy that the current regulatory environment can support. Opportunities to implement novel technologies and functions are identified, and regulatory mechanisms supporting their implementation are underscored. The analysis provides the tools to further define aircraft functions and paths to their implementation, while demonstrating that for particular use cases, aircraft autonomy is attainable in the medium-term.

Paul Vajda↗

NASA NTRS2008

Exploration Supply Chain Simulation

The Exploration Supply Chain Simulation project was chartered by the NASA Exploration Systems Mission Directorate to develop a software tool, with proper data, to quantitatively analyze supply chains for future program planning. This tool is a discrete-event simulation that uses the basic supply chain concepts of planning, sourcing, making, delivering, and returning. This supply chain perspective is combined with other discrete or continuous simulation factors. Discrete resource events (such as launch or delivery reviews) are represented as organizational functional units. Continuous resources (such as civil service or contractor program functions) are defined as enabling functional units. Concepts of fixed and variable costs are included in the model to allow the discrete events to interact with cost calculations. The definition file is intrinsic to the model, but a blank start can be initiated at any time. The current definition file is an Orion Ares I crew launch vehicle. Parameters stretch from Kennedy Space Center across and into other program entities (Michaud Assembly Facility, Aliant Techsystems, Stennis Space Center, Johnson Space Center, etc.) though these will only gain detail as the file continues to evolve. The Orion Ares I file definition in the tool continues to evolve, and analysis from this tool is expected in 2008. This is the first application of such business-driven modeling to a NASA/government-- aerospace contractor endeavor.

Source record↗

NASA NTRS1973

Computer programs: Operational and mathematical, a compilation

Several computer programs which are available through the NASA Technology Utilization Program are outlined. Presented are: (1) Computer operational programs which can be applied to resolve procedural problems swiftly and accurately. (2) Mathematical applications for the resolution of problems encountered in numerous industries. Although the functions which these programs perform are not new and similar programs are available in many large computer center libraries, this collection may be of use to centers with limited systems libraries and for instructional purposes for new computer operators.

Source record↗

NASA NTRS2015

Pilot Field Test Study

The Field Test study is currently in full swing, preceded by the successful completion of the Pilot Field Test study that paved the way for collecting data on the astronauts in the medical tent in Kazakhstan. Abigail Sherriff worked alongside Logan Dobbe on one Field Test aspect to determine foot clearance over obstacles (5cm, 10cm, and 15cm) using APDM Inc. Internal Measurement Units (IMU) worn by the astronauts. They created a program to accurately calculate foot clearance using the accelerometer, magnetometer, and gyroscope data with the IMUs attached to the top of the shoes. To validate the functionality of their program, they completed a successful study on test subjects performing various tasks in an optical motion studio, considered a gold standard in biomechanics research. Future work will include further validation and expanding the program to include other analyses.

Sherriff, Abigail↗

NASA NTRS1990

Ceramics Analysis and Reliability Evaluation of Structures (CARES). Users and programmers manual

This manual describes how to use the Ceramics Analysis and Reliability Evaluation of Structures (CARES) computer program. The primary function of the code is to calculate the fast fracture reliability or failure probability of macroscopically isotropic ceramic components. These components may be subjected to complex thermomechanical loadings, such as those found in heat engine applications. The program uses results from MSC/NASTRAN or ANSYS finite element analysis programs to evaluate component reliability due to inherent surface and/or volume type flaws. CARES utilizes the Batdorf model and the two-parameter Weibull cumulative distribution function to describe the effect of multiaxial stress states on material strength. The principle of independent action (PIA) and the Weibull normal stress averaging models are also included. Weibull material strength parameters, the Batdorf crack density coefficient, and other related statistical quantities are estimated from four-point bend bar or unifrom uniaxial tensile specimen fracture strength data. Parameter estimation can be performed for single or multiple failure modes by using the least-square analysis or the maximum likelihood method. Kolmogorov-Smirnov and Anderson-Darling goodness-of-fit tests, ninety percent confidence intervals on the Weibull parameters, and Kanofsky-Srinivasan ninety percent confidence band values are also provided. The probabilistic fast-fracture theories used in CARES, along with the input and output for CARES, are described. Example problems to demonstrate various feature of the program are also included. This manual describes the MSC/NASTRAN version of the CARES program.

Nemeth, Noel N.↗

NASA NTRS1983

Development of the functional simulator for the Galileo attitude and articulation control system

A simulation program for verifying and checking the performance of the Galileo Spacecraft's Attitude and Articulation Control Subsystem's (AACS) flight software is discussed. The program, which is called Functional Simulator (FUNSIM), provides a simple method of interfacing user-supplied mathematical models coded in FORTRAN which describes spacecraft dynamics, sensors, and actuators; this is done with the AACS flight software, coded in HAL/S (High-level Advanced Language/Shuttle). It is thus able to simulate the AACS flight software accurately to the HAL/S statement level in the environment of a mainframe computer system. FUNSIM also has a command and data subsystem (CDS) simulator. It is noted that the input/output data and timing are simulated with the same precision as the flight microprocessor. FUNSIM uses a variable stepsize numerical integration algorithm complete with individual error bound control on the state variable to solve the equations of motion. The program has been designed to provide both line printer and matrix dot plotting of the variables requested in the run section and to provide error diagnostics.

Namiri, M. K.↗

NASA NTRSDate not supplied

U.S. Spacesuit Knowledge Capture – Chronicling Spacesuit Design for the Future

With less than 4 years until the United States is scheduled to land the first woman and next man on the Moon, NASA is leveraging 60 years of experience to build a spacesuit to assist in the success of this and future human space exploration missions. This experience comes from the achievements of retired and employed spacesuit experts, innovations that were conceived from existing ideas and inventions, and a plethora of archived knowledge. The U.S. Spacesuit Knowledge Capture (SKC) Program’s primary function is to capture, archive, and share current and legacy spacesuit-related knowledge with scientists, engineers, and technicians. To capture valuable spacesuit-related knowledge, the program uses various methods that have included hosting and recording classroom and online courses, workshops, and vignettes, and preserving thousands of legacy spacesuit-related files. In 2019, the SKC Program added to its role when it began coordinating the electronic recording of the new spacesuits’ buildup. This new, next-generation spacesuit is named the Exploration Extravehicular Mobility Unit (xEMU) and is a compilation of many components. As each component is tested and assembled into the suit, the SKC Program is chronicling this buildup using high-speed video production and photography that includes time-lapsed images. To complement the recording of the components, the SKC Program plans to record and photograph the design verification testing. In 2020, the SKC Program was given the initiative to research and identify the custodianship of historical spacesuit equipment that resides within the Crew and Thermal Systems Division. These archives will be added to the SKC Program’s expansive archived collection of spacesuit-related knowledge that represents over 5 decades of spacesuit legacy from the Apollo era to the pursuit of Mars and beyond. This paper describes the electronic documentation of the xEMU’s buildup and identifies the SKC Program’s 2020 accomplishments.

Cinda Chullen↗

NASA NTRSDate not supplied

U.S. Spacesuit Knowledge Capture – Chronicling Spacesuit Design for the Future

Cinda Chullen↗

NASA NTRS1970

Condensation of wet vapors in turbines

Computer program predicts condensation point in wet vapor turbines and analyzes subsequent nucleation and growth processes to determine both moisture content and drop size and number distribution as a function of position. Program includes effects of molecular association on condensation and flow processes and handles both subsonic and supersonic flows.

Kothman, R. E.↗

NASA NTRS1988

Space Station design integration

This paper discusses the top Program level design integration process which involves the integration of a US Space Station manned base that consists of both US and international Elements. It explains the form and function of the Program Requirements Review (PRR), which certifies that the program is ready for preliminary design, the Program Design Review (PDR), which certifies the program is ready to start the detail design, and the Critical Design Review (CDR), which certifies that the program is completing a design that meets the Program objectives. The paper also discusses experience, status to date, and plans for continued system integration through manufacturing, testing and final verification of the Space Station system performance.

Carlisle, Richard F.↗