Search NASA⌕ Search

SEARCH · Search NASA

Results for “reasoning about programs”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Project LASER: Learning about science, engineering, and research

The number of American students entering science and engineering careers and their ranking in comparison with other countries is on the decline. This decline has alarmed Congress which, in 1987, established a Task Force on Women, Minorities, and the Handicapped in Science and Technology to define the problem and find solutions. If left unchanged, the task force has warned that the prospects for maintaining an advanced industrial society will diminish. NASA is supportive of the six goals outlined by the task force, which are paraphrase herein, and is carefully assessing its education programs to identify those offering the greatest potential for achieving the task force objectives with a reasonable range of resources. A major initiative is under way on behalf of NASA at its Marshall Space Flight Center, where highly effective features of several NASA education programs along with innovations are being integrated into a comprehensive pilot program. This program, dubbed Project LASER, is discussed.

Source record↗
NASA NTRS1991

Advanced Materials Center, Battelle

The goal of the Mixed Oxide Program is to determine the results obtained by using microgravity processing on a commercially significant catalyst - V-P-O System. The topics are presented in viewgraph form and include the following: (1) reasons for using microgravity; (2) the synthesis process; (3) novel results of the earth based program; and (4) Dupont interests.

Bellis, Harold↗
NASA NTRS2011

Seal Joint Analysis and Design for the Ares-I Upper Stage LOX Tank

The sealing capability of the Ares-I Upper Stage liquid oxygen tank-to-sump joint is assessed by analyzing the deflections of the joint components. Analyses are performed using three-dimensional symmetric wedge finite element models and the ABAQUS commercial finite element software. For the pressure loads and feedline interface loads, the analyses employ a mixed factor of safety approach to comply with the Constellation Program factor of safety requirements. Naflex pressure-assisted seals are considered first because they have been used successfully in similar seal joints in the Space Shuttle External Tank. For the baseline sump seal joint configuration with a Naflex seal, the predicted joint opening greatly exceeds the seal design specification. Three redesign options of the joint that maintain the use of a Naflex seal are studied. The joint openings for the redesigned seal joints show improvement over the baseline configuration; however, these joint openings still exceed the seal design specification. RACO pressure-assisted seals are considered next because they are known to also be used on the Space Shuttle External Tank, and the joint opening allowable is much larger than the specification for the Naflex seals. The finite element models for the RACO seal analyses are created by modifying the models that were used for the Naflex seal analyses. The analyses show that the RACO seal may provide sufficient sealing capability for the sump seal joint. The results provide reasonable data to recommend the design change and plan a testing program to determine the capability of RACO seals in the Ares-I Upper Stage liquid oxygen tank sump seal joint.

Phillips, Dawn R.↗
DOE OSTI2022

Receiver willingness to participate in off-hour service programs

Service trips, a frequently overlooked segment of urban traffic, represent a disproportionately large share of the negative impacts associated with commercial activity. The reason is that although service trips are less frequent than freight trips, they often take longer and thus occupy a significant share of commercial parking. Demand management programs seeking to move service trips off-hours can potentially reduce congestion and emissions but they have been understudied. Here, this paper describes research conducted to investigate receivers’ willingness to participate in off-hour programs for planned service activity. The research reported in this paper analyzes results from a survey of 189 business establishments in New York City and the Capital Region in New York State using descriptive analyses of the data, and by estimating a discrete choice model to gain insight into how business characteristics influence willingness to participate in off-hour services. To assess the impacts of a hypothetical off-hour services program, the authors applied the discrete choice model, together with service trip attraction models, to quantify the hours of daytime parking that could be eliminated by the proposed program in certain ZIP Codes in New York City and the Albany area. The research conducted led to the identification of numerous policy implications that will help policymakers understand and maximize the potential benefits of implementing off-hour service programs.

99 GENERAL AND MISCELLANEOUS↗
NASA NTRS1971

Computer program and user documentation medical data tape retrieval system

This volume provides several levels of documentation for the program module of the NASA medical directorate mini-computer storage and retrieval system. A biomedical information system overview describes some of the reasons for the development of the mini-computer storage and retrieval system. It briefly outlines all of the program modules which constitute the system.

Anderson, J.↗
DOE OSTI2021

Multiparametric Programming in Process Systems Engineering: Recent Developments and Path Forward

The inevitable presence of uncertain parameters in critical applications of process optimization can lead to undesirable or infeasible solutions. For this reason, optimization under parametric uncertainty was, and continues to be a core area of research within Process Systems Engineering. Multiparametric programming is a strategy that offers a holistic perspective for the solution of this class of mathematical programming problems. Specifically, multiparametric programming theory enables the derivation of the optimal solution as a function of the uncertain parameters, explicitly revealing the impact of uncertainty in optimal decision-making. By taking advantage of such a relationship, new breakthroughs in the solution of challenging formulations with uncertainty have been created. Apart from that, researchers have utilized multiparametric programming techniques to solve deterministic classes of problems, by treating specific elements of the optimization program as uncertain parameters. In the past years, there has been a significant number of publications in the literature involving multiparametric programming. The present review article covers recent theoretical, algorithmic, and application developments in multiparametric programming. Additionally, several areas for potential contributions in this field are discussed, highlighting the benefits of multiparametric programming in future research efforts.

Pappas, Iosif↗
NASA NTRS1989

Integrating planning and reactive control

Artificial intelligence research on planning is concerned with designing control systems that choose actions by manipulating explicit descriptions of the world state, the goal to be achieved, and the effects of elementary operations available to the system. Because planning shifts much of the burden of reasoning to the machine, it holds great appeal as a high-level programming method. Experience shows, however, that it cannot be used indiscriminately because even moderately rich languages for describing goals, states, and the elementary operators lead to computational inefficiencies that render the approach unsuitable for realistic applications. This inadequacy has spawned a recent wave of research on reactive control or situated activity in which control systems are modeled as reacting directly to the current situation rather than as reasoning about the future effects of alternative action sequences. While this research has confronted the issue of run-time tractability head on, in many cases it has done so by sacrificing the advantages of declarative planning techniques. Ways in which the two approaches can be unified are discussed. The authors begin by modeling reactive control systems as state machines that map a stream of sensory inputs to a stream of control outputs. These machines can be decomposed into two continuously active subsystems: the planner and the execution module. The planner computes a plan, which can be seen as a set of bits that control the behavior of the execution module. An important element of this work is the formulation of a precise semantic interpretation for the inputs and outputs of the planning system. They show that the distinction between planned and reactive behavior is largely in the eye of the beholder: systems that seem to compute explicit plans can be redescribed in situation-action terms and vice versa. They also discuss practical programming techniques that allow the advantages of declarative programming and guaranteed reactive response to be achieved simultaneously.

Rosenschein, Stanley J.↗
NASA NTRS1974

Analysis of the effects of baffles on combustion instability

An analytical model has been developed for predicting the effects of baffles on combustion instability. This model has been developed by coupling an acoustic analysis of the wave motion within baffled chambers with a model for the oscillatory combustion response of a propellant droplet developed by Heidmann. A computer program was developed for numerical solution of the resultant coupled equations. Diagnostic calculations were made to determine the reasons for the improper prediction. These calculations showed that the chosen method of representing the combustion response was a very poor approximation. At the end of the program, attempts were made to minimize this effect but the model still improperly predicts the stability trends. Therefore, it is recommended that additional analysis be done with an improved approximation.

Oberg, C. L.↗
NASA NTRS1983

The DOE photovoltaics program

The considered program of the U.S. Department of Energy (DOE) has the objective to provide federal support for research and development work related to photovoltaics. According to definitions of policy in 1981, a strong emphasis is to be placed on long-term, high-risk research and development that industry could not reasonably be expected to perform using their own funds. Attention is given to the program structure, the photovoltaics program management organization, the advanced research and development subprogram, the collector research and development subprogram, flat-plate collectors, concentrator collectors, and the systems research and technology subprogram.

Ferber, R. R.↗
DOE OSTI2025

Benchmarking Operators in Deep Neural Networks for Improving Performance Portability of SYCL

SYCL is a portable programming model for heterogeneous computing, so it is important to obtain reasonable performance portability of SYCL. Towards the goal of better understanding and improving performance portability of SYCL for machine learning workloads, we have been developing benchmarks for basic operators in deep neural networks (DNNs). These operators could be offloaded to heterogeneous computing devices such as graphics processing units (GPUs) to speed up computation. In this paper, we introduce the benchmarks, evaluate the performance of the operators on GPU-based systems, and describe the causes of the performance gap between the SYCL and Compute Unified Device Architecture (CUDA) kernels. We find that the causes are related to the utilization of the texture cache for read-only data, optimization of the memory accesses with strength reduction, use of local memory, and register usage per thread. We hope that the efforts of developing benchmarks for studying performance portability will stimulate discussion and interactions within the community.

Jin, Zheming [ORNL] (ORCID:000000027197780X)↗
DOE OSTI2017

Recovery Act – Integrated Pilot-Scale Biorefinery for Producing Ethanol from Hybrid Algae

As a scientific and engineering endeavor, the Algenol IBR Biorefinery project has been a success by almost any measure. The vision for the system evolved significantly over the course of the project, always due to recognized opportunities for improved performance, lower energy consumption, and reduced costs. Our commitment to thorough, realistic, techno-economic and life cycle assessments has been an essential element for system innovation, technology guidance, and change management of the overall facility. The biological tools developed during this program for cyanobacteria are second to none, and are the primary reason for the remarkable improvements in organism performance. The breakthrough was the successful transformation of our most robust wild type organism (AB1) early in 2012. That was followed by a series of improvements over the next several years that produced strains wherein over 80% of the fixed carbon was converted into ethanol. At the same time, our expertise in cultivation, physiology, process engineering, CO2 management, and photobioreactor design and manufacturing grew at a comparable pace. We learned enormous amounts from the various upsets, weather variations, contamination events, and new technology related disappointments. We overcame those challenges to produce fuel grade ethanol with a low carbon footprint, and are within striking distance of economic viability even with the challenges of low fossil fuel prices.

09 BIOMASS FUELS↗
DOE OSTI2017

U.S. Department of Energy Zero Energy Ready Home Implementation

The intention of this project is to assist home builders in the upper Midwest in achieving DOE Zero Energy Ready Home program certification, and to document the process and outcomes involved in meeting this rigorous standard. NorthernSTAR, in conjunction with our program partner Building Knowledge, Inc., provided technical support to the builders during the design and construction process. At the time of this publication, four qualifying homes have been completed and an additional three are currently under construction to be completed later this year. Three additional homes were excluded from certification due to the HVAC contractor not completing their required credentialing until after completion of the homes, though the energy performance would have otherwise qualified the homes for program certification. Both Amaris Homes and Cobblestone Homes note that participation in the ZERH program provides them with competitive advantage in the market place at reasonable construction costs that also result in extremely satisfied clients who are willing to recommend the builders to friends and family.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2024

Evaluating Operators in Deep Neural Networks for Improving Performance Portability of SYCL

SYCL is a portable programming model for heterogeneous computing, so it is important to obtain reasonable performance portability of SYCL. Towards the goal of better understanding and improving performance portability of SYCL for machine learning workloads, we have been developing benchmarks for basic operators in deep neural networks (DNNs). These operators could be offloaded to heterogeneous computing devices such as graphics processing units (GPUs) to speed up computation. In this work, we introduce the benchmarks, evaluate the performance of the operators on GPU-based systems, and describe the causes of the performance gap between the SYCL and Compute Unified Device Architecture (CUDA) kernels. We find that the causes are related to the utilization of the texture cache for read-only data, optimization of the memory accesses with strength reduction, shared local memory accesses, and register usage per thread. We hope that the efforts of developing benchmarks for studying performance portability will stimulate discussion and interactions within the community.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1980

A computer program for the prediction of near field noise of aircraft in cruising flight: User's guide

Detailed instructions for using the near field cruise noise prediction program, a program listing, and a sample case with output are presented. The total noise for free field lossless conditions at selected observer locations is obtained by summing the contributions from up to nine acoustic sources. These noise sources, selected at the user's option, include the fan/compressor, turbine, core (combustion), jet, shock, and airframe (trailing edge and turbulent boundary layers). The effects of acoustic suppression materials such as engine inlet treatment may also be included in the noise prediction. The program is available for use on the NASA/Langley Research Center CDC computer. Comparisons of the program predictions with measured data are also given, and some possible reasons for their lack of agreement presented.

Tibbetts, J. G.↗
NASA NTRS1986

Interesting viewpoints to those who will put Ada into practice

Ada will most probably be used as the programming language for computers in the NASA Space Station. It is reasonable to suppose that Ada will be used for at least embedded computers, because the high software costs for these embedded computers were the reason why Ada activities were initiated about ten years ago. The on-board computers are designed for use in space applications, where maintenance by man is impossible. All manipulation of such computers has to be performed in an autonomous way or remote with commands from the ground. In a manned Space Station some maintenance work can be performed by service people on board, but there are still a lot of applications, which require autonomous computers, for example, vital Space Station functions and unmanned orbital transfer vehicles. Those aspect which have come out of the analysis of Ada characteristics together with the experience of requirements for embedded on-board computers in space applications are examined.

Carlsson, Arne↗
NASA NTRS1991

PVEX: An expert system for producibility/value engineering

PVEX is described as an expert system that solves the problem of selection of the material and process in missile manufacturing. The producibility and the value problem has been deeply studied in the past years, and was written in dBase III and PROLOG before. A new approach is presented in that the solution is achieved by introducing hypothetical reasoning, heuristic criteria integrated with a simple hypertext system and shell programming. PVEX combines KMS with Unix scripts which graphically depicts decision trees. The decision trees convey high level qualitative problem solving knowledge to users, and a stand-alone help facility and technical documentation is available through KMS. The system developed is considerably less development costly than any other comparable expert system.

Lam, Chun S.↗
NASA NTRS1992

A solar magnetic and velocity field measurement system for Spacelab 2: The Solar Optical Universal Polarimeter (SOUP)

The Solar Optical Universal Polarimeter (SOUP) flew on the shuttle mission Spacelab 2 (STS-51F) in August, 1985, and collected historic solar observations. SOUP is the only solar telescope on either a spacecraft or balloon which has delivered long sequences of diffraction-limited images. These movies led to several discoveries about the solar atmosphere which were published in the scientific journals. After Spacelab 2, reflights were planned on the shuttle Sunlab mission, which was cancelled after the Challenger disaster, and on a balloon flights, which were also cancelled for funding reasons. In the meantime, the instrument was used in a productive program of ground-based observing, which collected excellent scientific data and served as instrument tests. Given here is an overview of the history of the SOUP program, the scientific discoveries, and the instrument design and performance.

Tarbell, Theodore D.↗
NASA NTRS1992

Developing satellite ground control software through graphical models

This paper discusses a program of investigation into software development as graphical modeling. The goal of this work is a more efficient development and maintenance process for the ground-based software that controls unmanned scientific satellites launched by NASA. The main hypothesis of the program is that modeling of the spacecraft and its subsystems, and reasoning about such models, can--and should--form the key activities of software development; by using such models as inputs, the generation of code to perform various functions (such as simulation and diagnostics of spacecraft components) can be automated. Moreover, we contend that automation can provide significant support for reasoning about the software system at the diagram level.

Bailin, Sidney↗