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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Chemical Research Projects Office: Functions, accomplishments, and programs

The purpose, technical accomplishments, and related activities of the Chemical Research Project Group are outlined. Data cover efforts made to: (1) identify chemical research and technology required for solutions to problems of national urgency, synchronous with aeronautics and space effort; (2) conduct basic and applied interdisciplinary research on chemical problems in the areas of macromolecular science and fire research, and (3) provide productive liason with the engineering community and effective transfer of technology to other agencies and industry.

Kourtides, D. A.↗
NASA NTRS1994

Program Computes Thermodynamic Functions

PAC91 is latest in PAC (Properties and Coefficients) series. Two principal features are to provide means of (1) generating theoretical thermodynamic functions from molecular constants and (2) least-squares fitting of these functions to empirical equations. PAC91 written in FORTRAN 77 to be machine-independent.

Mcbride, Bonnie J.↗
DOE OSTI2018

Cell-based composite materials with programmed structures and functions

The present invention is directed to the use of silicic acid to transform biological materials, including cellular architecture into inorganic materials to provide biocomposites (nanomaterials) with stabilized structure and function. In the present invention, there has been discovered a means to stabilize the structure and function of biological materials, including cells, biomolecules, peptides, proteins (especially including enzymes), lipids, lipid vesicles, polysaccharides, cytoskeletal filaments, tissue and organs with silicic acid such that these materials may be used as biocomposites. In many instances, these materials retain their original biological activity and may be used in harsh conditions which would otherwise destroy the integrity of the biological material. In certain instances, these biomaterials may be storage stable for long periods of time and reconstituted after storage to return the biological material back to its original form. In addition, by exposing an entire cell to form CSCs, the CSCs may function to provide a unique system to study enzymes or a cascade of enzymes which are otherwise unavailable.

36 MATERIALS SCIENCE↗
DOE OSTI2020

Cell-based composite materials with programmed structures and functions

The present invention is directed to the use of silicic acid to transform biological materials, including cellular architecture into inorganic materials to provide biocomposites (nanomaterials) with stabilized structure and function. In the present invention, there has been discovered a means to stabilize the structure and function of biological materials, including cells, biomolecules, peptides, proteins (especially including enzymes), lipids, lipid vesicles, polysaccharides, cytoskeletal filaments, tissue and organs with silicic acid such that these materials may be used as biocomposites. In many instances, these materials retain their original biological activity and may be used in harsh conditions which would otherwise destroy the integrity of the biological material. In certain instances, these biomaterials may be storage stable for long periods of time and reconstituted after storage to return the biological material back to its original form. In addition, by exposing an entire cell to form CSCs, the CSCs may function to provide a unique system to study enzymes or a cascade of enzymes which are otherwise unavailable.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1972

The geography and human cultural resources working group of the EROS program

The functions, activities, and objectives of the Geography and Human-Cultural Resources Working Group of the EROS program are outlined. The Group's primary function is to coordinate remote sensing experiments of physical scientists and the needs of socioeconomic and culturally orientated planners, policy makers, administrators, and other user groups. Other functions of the Group include land use analysis, resource mapping, and development of an operational automatic information system receptive to land use and environmental data.

Gerlach, A. C.↗
NASA NTRS2024

Logic Programming with Extensible Types

Logic programming allows structuring code in terms of predicates or relations, rather than functions. Although logic programming languages present advantages in terms of declarativeness and conciseness, the introduction of static types has not become part of most popular logic programming languages, increasing the difficulty of testing and debugging of logic programming code. This paper demonstrates how to implement logic programming in Haskell, thus empowering logic programs with types, and functional programs with relations or predicates. We do so by combining three ideas. First, we use extensible types to generalize a type by a parameter type function. Second, we use a sum type as an argument to introduce optional variables in extensible types. Third, we implement a unification algorithm capable of working with any data structure, provided that certain operations are implemented for the given type. We demonstrate our proposal via a series of increasingly complex examples inspired by educational texts in logic programming, and leverage the host language's features to make new notation convenient for users, showing that the proposed approach is not just technically possible but also practical.

logic programming↗
NASA NTRS1994

The MSFC Program Control Development Program

It is the policy of the Marshall Space Flight Center (MSFC) that employees be given the opportunity to develop their individual skills and realize their full potential consistent with their selected career path and with the overall Center's needs and objectives. The MSFC Program Control Development Program has been designed to assist individuals who have selected Program Control or Program Analyst Program Control as a career path to achieve their ultimate career goals. Individuals selected to participate in the MSFC Program Control Development Program will be provided with development training in the various Program Control functional areas identified in the NASA Program Control Model. The purpose of the MSFC Program Control Development Program is to develop individual skills in the various Program Control functions by on-the-job and classroom instructional training on the various systems, tools, techniques, and processes utilized in these areas.

Source record↗
NASA NTRS2006

Programs for Testing Processor-in-Memory Computing Systems

The Multithreaded Microbenchmarks for Processor-In-Memory (PIM) Compilers, Simulators, and Hardware are computer programs arranged in a series for use in testing the performances of PIM computing systems, including compilers, simulators, and hardware. The programs at the beginning of the series test basic functionality; the programs at subsequent positions in the series test increasingly complex functionality. The programs are intended to be used while designing a PIM system, and can be used to verify that compilers, simulators, and hardware work correctly. The programs can also be used to enable designers of these system components to examine tradeoffs in implementation. Finally, these programs can be run on non-PIM hardware (either single-threaded or multithreaded) using the POSIX pthreads standard to verify that the benchmarks themselves operate correctly. [POSIX (Portable Operating System Interface for UNIX) is a set of standards that define how programs and operating systems interact with each other. pthreads is a library of pre-emptive thread routines that comply with one of the POSIX standards.]

Katz, Daniel S.↗
DOE OSTI2021

An empirical investigation of organic software product lines

Abstract Software product line engineering is a best practice for managing reuse in families of software systems that is increasingly being applied to novel and emerging domains. In this work we investigate the use of software product line engineering in one of these new domains, synthetic biology. In synthetic biology living organisms are programmed to perform new functions or improve existing functions. These programs are designed and constructed using small building blocks made out of DNA. We conjecture that there are families of products that consist of common and variable DNA parts, and we can leverage product line engineering to help synthetic biologists build, evolve, and reuse DNA parts. In this paper we perform an investigation of domain engineering that leverages an open-source repository of more than 45,000 reusable DNA parts. We show the feasibility of these new types of product line models by identifying features and related artifacts in up to 93.5% of products, and that there is indeed both commonality and variability. We then construct feature models for four commonly engineered functions leading to product lines ranging from 10 to 7.5 × 10 20 products. In a case study we demonstrate how we can use the feature models to help guide new experimentation in aspects of application engineering. Finally, in an empirical study we demonstrate the effectiveness and efficiency of automated reverse engineering on both complete and incomplete sets of products. In the process of these studies, we highlight key challenges and uncovered limitations of existing SPL techniques and tools which provide a roadmap for making SPL engineering applicable to new and emerging domains.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1967

Computer program reduces calculation time of normal response functions

FORTRAN 2 computer program rapidly calculates parameters of maximum likelihood estimates from sensitivity experiment data populations. The program uses the Newton-Raphson iterative procedure to calculate the mean and standard deviation of portions of the cumulative normal response function.

Alexander, M. J.↗
NASA NTRS1973

A computer program to calculate zeroes, extrema, and interval integrals for the associated Legendre functions

A computer program is described for the calculation of the zeroes of the associated Legendre functions, Pnm, and their derivatives, for the calculation of the extrema of Pnm and also the integral between pairs of successive zeroes. The program has been run for all n,m from (0,0) to (20,20) and selected cases beyond that for n up to 40. Up to (20,20), the program (written in double precision) retains nearly full accuracy, and indications are that up to (40,40) there is still sufficient precision (4-5 decimal digits for a 54-bit mantissa) for estimation of various bounds and errors involved in geopotential modelling, the purpose for which the program was written.

Payne, M. H.↗
NASA NTRS1986

X-29A technology demonstrator flight test program overview

An overview of the X-29A functional flight program and concept evaluation program is presented, including some of the unique and different preparations for the first flight. Included are a discussion of the many organizational responsibilities and a description of the program management structure for the test team. Also discussed are preflight ground, flight functional envelope expansion, and flight research test objectives and qualitive results to date for both a limited-envelope flight control system and an expanded-envelope system. The aircraft, including the instrumentation system and measurements, is described. In addition, a discussion is included regarding the use of major support facilities, such as ground and flight simulators, the NASA Western Aeronautical Test Range and mission control center, and the Grumman automated telemetry station. An overview of the associated real-time and postflight batch data processing software approaches is presented. The use of hardware-in-the-loop simulation for independent verification and validation and mission planning and practice is discussed. Also included is a description of the flight-readiness review, the airworthiness and flight safety review, work scheduling, technical briefings, and preflight and postflight crew briefings. The configuration control process used on the X-29A program is described, and its relationship to both simulation and aircraft operations is discussed. An X-29A schedule overview is presented with an outline of a proposed follow-on program.

Sefic, W. J.↗
NASA NTRS1971

Substructuring techniques

The substructure function generator program is discussed. Input to this program consists of a definition of a finite element model of a substructure, and specification of the type and number of displacement functions to be generated. Primary output is a substructure data file containing the substructure mass and stiffness matrices expressing kinetic and potential energies as quadratic forms in coefficients of the displacement functions, etc. The substructure synthesis program forms complete system mass, stiffness, and damping matrices, computes system modes and frequencies, and executes transient response calculations. Input to this program consists of the array of substructure data files generated by the function generator program for individual substructures, and data cards defining the position and interconnection of the substructures, damping data, forcing function details, and function control parameters.

Whetstone, W. D.↗
DOE OSTI2021

Highly accurate and constrained density functional obtained with differentiable programming

Using an end-to-end differentiable implementation of the Kohn-Sham self-consistent field equations, we obtain a highly accurate neural network–based exchange and correlation (XC) functional of the electronic density. The functional is optimized using information on both energy and density while exact constraints are enforced through an appropriate neural network architecture. Here we evaluate our model against different families of XC approximations and show that at the meta-GGA level our functional exhibits unprecedented accuracy for both energy and density predictions. For nonempirical functionals, there is a strong linear correlation between energy and density errors. We use this correlation to define an XC functional quality metric that includes both energy and density errors, leading to an improved way to rank different approximations.

36 MATERIALS SCIENCE↗