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 73 records · Page 4

Agentic AI vs ML-Based Autotuning: A Comparative Study for Loop Reordering Optimization

High Performance Computing (HPC) applications rely heavily on code optimizations to achieve good performance on modern CPU and GPU architectures. Traditional Machine Learning auto-tuning approaches have demonstrated success in exploring high-dimensional spaces, but they often require expensive compile-run evaluations and lack adaptability for large HPC applications. The recent advances in Large Language Models (LLMs) and Agentic AI systems raise intriguing questions about the potential of these approaches to address specific optimization methodologies. This work aims to answer an essential question for the HPC community: “How Agentic AI Systems Compare to Traditional ML Autotuning Techniques?” To address this question, we present a comparative analysis between a traditional ML-based optimization approach and an Agentic AI system, evaluating their respective capabilities and limitations for loop-level optimization. In addition, we introduced a new Agentic AI system named LoopGen-AI using three different Large Language Models: GPT-4.1, Claude 4.0, and Gemini 2.5. A key finding is that LoopGen-AI achieves competitive per-formance with only a few program runs, the reasoning logs from the agents revealed that their decisions rely heavily on the combination of semantic understanding of the target kernel with dynamic feedback from the environment, highlighting a promising new dimension in performance tuning. In contrast, ML-based autotuners focus on statistical exploration, and require orders of magnitude more runs to reach peak performance. Additionally, our analysis shows that prompt engineering, particularly using Persona + Context Manager patterns, significantly impacts the effectiveness of Agentic AI. Our results indicate that while Agentic AI systems are not yet a complete replacement for ML-based autotuners, it can effectively complement traditional methods.

Rosas, Miguel Romero↗

Space shuttle: News release

The space shuttle fact sheet is presented. Four important reasons for the program are considered to be: (1) It is the only meaningful new manned space program which can be accomplished on a modest budget. (2) It is needed to make space operations less complex and costly. (3) It is required for scientific applications in civilian and military activities. (4) It will encourage greater international participation in space flight. The space shuttle and orbiter configurations are discussed along with the missions. The scope of the study and the costs of each contract for the major contractor are listed.

Source record↗

Applications Study of Aero-Maneuvering Orbit-to-Orbit Shuttle (AMOOS), Executive Summary

Preliminary designs and the supporting analysis for both the Aeromaneuvering Orbit-to-Orbit Shuttle (AMOOS) and the Aeromaneuvering Recovery System (AMRS) are presented. The AMOOS design is shown to yield from twice to almost three times the high energy, round-trip payloads as a purely propulsive vehicle of the same weight. Typically AMOOS can perform a crew rotation mission to equatorial geosynchronous orbit in one space shuttle launch. The flight test program analysis modeled parameters such as maximum dynamic pressure, heating rates, guidance, stability and recovery. Two model flight schedules were developed, one consisting of four flights and the other of two flights. The former is considered a very low risk, high information return program whereas the latter is a minimal cost program consistent with reasonable data returns and chance of success. The AMOOS and AMRS guidance scheme developed using linear regulator theory proved a precise and accurate guidance scheme. Both it and a classical linear system's based scheme were evaluated using 65 simulated trajectories in which the position in the entry corridor and the atmospheric density were varied randomly.

White, J.↗

Irradiate-anneal screening of total dose effects in semiconductor devices

Judicious choice of radiation dose and parameter change acceptance criteria, absence of anomalous anneal phenomena, and absence of anomalous reirradiation effects are recognized as essential for a successful irradiation-anneal (IRAN) screening procedure to ensure that no device will fall, upon reirradiation, above parametric limits assigned for the worst case application. Reirradiation and irradiation-anneal behavior of various semiconductor devices are compared and those that do not lend themselves to IRAN screening are singled out. Information needed to judge the suitability of an IRAN type screening program is detailed. Reasons for success of the limited IRAN screening of flight parts for the Mariner Jupiter/Saturn (MJS '77) spacecraft are indicated.

Stanley, A. G.↗

Measured and predicted noise of the AVCO-Lycoming YF-102 turbofan engine

Acoustic testing of the AVCO-Lycoming YF-102 turbofan engine was done on a static test stand at Lewis Research Center in support of the Quiet Short-Haul Research Aircraft (QSRA) acoustic design. Overall noise levels are dominated by the fan noise emanating from the exhaust duct, except at high power settings when combination tones are generated in the fan inlet. Component noise levels, calculated by noise prediction methods developed at Lewis Research Center for the ANOP program, are in reasonable agreement with the measured results. Far-field microphones placed at ground level were found superior to those at engine centerline height, even at high frequencies.

Clark, B. J.↗

Measuring High Gas Temperatures

Program provides extrapolation calculations of high gas temperature based on theoretical heating curve of pulsed thermocouples. Program requires as input mach number, wall temperature, and total pressure in addition to thermocouple data. Tests indicate program extrapolates reasonably-accurate gas temperatures from pulsed-thermocouple data.

Will, H. A.↗

Development of a nuclear technique for monitoring water levels in pressurized vehicles

A new technique for monitoring water levels in pressurized stainless steel cylinders was developed. It is based on differences in attenuation coefficients of water and air for Cs137 (662 keV) gamma rays. Experimentally observed gamma ray counting rates with and without water in model reservoir cylinder were compared with corresponding calculated values for two different gamma ray detection theshold energies. Calculated values include the effects of multiple scattering and attendant gamma ray energy reductions. The agreement between the measured and calculated values is reasonably good. Computer programs for calculating angular and spectral distributions of scattered radition in various media are included.

Singh, J. J.↗

Graphic simualtion test bed for robotics applications in a workstation environment

Graphical simulation is a cost-effective solution for developing and testing robots and their control systems. The availability of various high-performance workstations makes these systems feasible. Simulation offers preliminary testing of systems before their actual realizations, and it provides a framework for developing new control and planning algorithms. On the other hand, these simulation systems have to have the capability of incorporating various knowledge-based system components, e.g., task planners, representation formalisms, etc. They also should have an appropriate user interface, which makes possible the creation and control of simulation models. ROBOSIM was developed jointly by MSFC and Vanderbilt University, first in a VAX environment. Recently, the system has been ported to an HP-9000 workstation equipped with an SRX graphics accelerator. The user interface of the system now contains a menu- and icon-based facility, as well as the original ROBOSIM language. The system is also coupled to a symbolic computing system based on Common Lisp, where knowledge-based functionalities are implemented. The knowledge-based layer uses various representation and reasoning facilities for programming and testing the control systems of robots.

Springfield, J.↗

Knowledge management: An abstraction of knowledge base and database management systems

Artificial intelligence application requirements demand powerful representation capabilities as well as efficiency for real-time domains. Many tools exist, the most prevalent being expert systems tools such as ART, KEE, OPS5, and CLIPS. Other tools just emerging from the research environment are truth maintenance systems for representing non-monotonic knowledge, constraint systems, object oriented programming, and qualitative reasoning. Unfortunately, as many knowledge engineers have experienced, simply applying a tool to an application requires a large amount of effort to bend the application to fit. Much work goes into supporting work to make the tool integrate effectively. A Knowledge Management Design System (KNOMAD), is described which is a collection of tools built in layers. The layered architecture provides two major benefits; the ability to flexibly apply only those tools that are necessary for an application, and the ability to keep overhead, and thus inefficiency, to a minimum. KNOMAD is designed to manage many knowledge bases in a distributed environment providing maximum flexibility and expressivity to the knowledge engineer while also providing support for efficiency.

Riedesel, Joel D.↗

Hypersonic Research Vehicle (HRV) real-time flight test support feasibility and requirements study. Part 2: Remote computation support for flight systems functions

The requirements are assessed for the use of remote computation to support HRV flight testing. First, remote computational requirements were developed to support functions that will eventually be performed onboard operational vehicles of this type. These functions which either cannot be performed onboard in the time frame of initial HRV flight test programs because the technology of airborne computers will not be sufficiently advanced to support the computational loads required, or it is not desirable to perform the functions onboard in the flight test program for other reasons. Second, remote computational support either required or highly desirable to conduct flight testing itself was addressed. The use is proposed of an Automated Flight Management System which is described in conceptual detail. Third, autonomous operations is discussed and finally, unmanned operations.

Rediess, Herman A.↗

Establishing Recommendations for the Development of Space Suit Integrated Food Systems and the Delivery of Nutrition Before, During, and After Lunar EVA

Extravehicular activity (EVA) operations are complex and challenging, and Artemis missions will include a higher tempo and frequency of EVAs than any previous space program. For this reason, surface EVAs greater than 4 h require additional nutrition support. The ability to provide this additional nutritional support is limited on Artemis missions given crew schedules and the current inability to provide nutrition to astronauts while suited. This project seeks to help define means for provision of nutritional support to Artemis astronauts during lunar EVAs.

E L Dillon↗

Demonstration of Rapid Development Through Containerization: OSE-SAT

Modern advancements in spacecraft technology have enabled engineers to develop radically smaller and lighter spacecraft, which has drastically reduced the cost of putting spacecraft into space. Despite these advancements and the shrinking cost to get spacecraft into space, space exploration is still prohibitively expensive. So much so that many space missions prefer to err on the side of caution than take on additional risk by trying newer, unproven technologies. This risk-averse mission design, while very reasonable from a program management point of view, significantly impacts engineers’ ability to solve newer, more complicated problems and limits scientists’ ability to develop more complex experiments that rely on newer technology. Often these new technologies remain stuck at lower technology readiness levels for many years due to the space community's reluctance to take on the additional risks of proving out unproven technology. The Distributed Spacecraft Autonomy (DSA) team at NASA Ames Research Center is developing a containerized solution to enable the rapid development of newer space technologies and accelerate their adoption into space missions. The Opportunistic Software Experiments for Spacecraft Autonomy Testbeds (OSE-SAT) is an on-orbit test bed that aims to reduce the amount of risk associated with newer, unproven space technologies by containerizing each experiment in its own isolated environment and providing a safe, robust, and controlled interface to access spacecraft host resources that is monitored in real time by thoroughly tested Trusted Container developed by DSA. This paper will describe DSA’s implementation of OSE-SAT and discuss the benefits, as well as challenges, of on-orbit containerization.

Aaron J Woodard↗

Simplifying CEA through Excel, VBA, and Subeq

Many people use compound equilibrium programs for very different reasons, varying from refrigerators to light bulbs to rockets. A commonly used equilibrium program is CEA. CEA can take various inputs such as pressure, temperature, and volume along with numerous reactants and run them through equilibrium equations to obtain valuable output information, including products formed and their relative amounts. A little over a year ago, Bonnie McBride created the program subeq with the goal to simplify the calling of CEA. Subeq was also designed to be called by other programs, including Excel, through the use of Visual Basic for Applications (VBA). The largest advantage of using Excel is that it allows the user to input the information in a colorful and user-friendly environment while allowing VBA to run subeq, which is in the form of a FORTRAN DLL (Dynamic Link Library). Calling subeq in this form makes it much faster than if it were converted to VBA. Since subeq requires such large lists of reactant and product names, all of which can't be passed in as an array, subeq had to be changed to accept very long strings of reactants and products. To pass this string and adjust the transfer of input and output parameters, the subeq DLL had to be changed. One program that does this is Compaq Visual FORTRAN, which allows DLLs to be edited, debugged, and compiled. Compaq Visual FORTRAN uses FORTRAN 90/95, which has additional features to that of FORTRAN 77. My goals this summer include finishing up the excel spreadsheet of subeq, which I started last summer, and putting it on the Internet so that others can use it without having to download my spreadsheet. To finish up the spreadsheet I will need to work on debugging current options and problems. I will also work on making it as robust as possible, so that all errors that may arise will be clearly communicated to the user. New features will be added old ones will be changed as I receive comments from people using the spreadsheet. To implement this onto the Internet, I will need to develop an XML input/output format and learn how to write HTML.

Foster, Ryan↗

A Contrast in Use of Metrics in Earth Science Data Systems

In recent years there has been a surge in the number of systems for processing, archiving and distributing remotely sensed data. Such systems, working independently as well as in collaboration, have been contributing greatly to the advances in the scientific understanding of the Earth system, as well as utilization of the data for nationally and internationally important applications. Among such systems, we consider those that are developed by or under the sponsorship of NASA to fulfill one of its strategic objectives: "Study Earth from space to advance scientific understanding and meet societal needs." NASA's Earth science data systems are of varying size and complexity depending on the requirements they are intended to meet. Some data systems are regarded as NASA's "Core Capabilities" that provide the basic infrastructure for processing, archiving and distributing a set of data products to a large and diverse user community in a robust and reliable manner. Other data systems constitute "Community Capabilities". These provide specialized and innovative services to data users and/or research products offering new scientific insight. Such data systems are generally supported by NASA through peer reviewed competition. Examples of Core Capabilities are 1. Earth Observing Data and Information System (EOSDIS) with its Distributed Active Archive Centers (DAACs), Science Investigator-led Processing Systems (SIPSs), and the EOS Clearing House (ECHO); 2. Tropical Rainfall Measurement Mission (TRMM) Science Data and Information System (TSDIS); 3. Ocean Data Processing System (ODPS); and 4. CloudSat Data Processing Center. Examples of Community Capabilities are projects under the Research, Education and Applications Solutions Network (REASON), and Advancing Collaborative Connections for Earth System Science (ACCESS) Programs. In managing these data system capabilities, it is necessary to have well-established goals and to measure progress relative to them. Progress is measured through "metrics", which can be a combination of quantitative as well as qualitative assessments. The specific metrics of interest depend on the user of the metrics as well as the type of data system. The users of metrics can be data system managers, program managers, funding agency or the public. Data system managers need metrics for assessing and improving the performance of the system and for future planning. Program managers need metrics to assess progress and the value of the data systems sponsored by them. Also, there is a difference in the metrics needed for core capabilities that tend to be more complex, larger and longer-term compared to community capabilities and the community capabilities that tend to be simpler, smaller and shorter-term. Even among community capabilities there are differences; hence the same set of metrics does not apply to all. Some provide data products to users, some provide services that enable better utilization of data or interoperability among other systems, and some are a part of a larger project where provision of data or services is only a minor activity. There is also a contrast between metrics used for internal and external purposes. Examples of internal purposes are: ensuring that the system meets its requirements, and planning for evolution and growth. Examples of external purposes are: providing to sponsors indicators of success of the systems, demonstrating the contributions of the system to overall program success, etc. This paper will consider EOSDIS, REASON and ACCESS programs to show the various types of metrics needed and how they need to be tailored to the types of data systems while maintaining the overall management goals of measuring progress and contributions made by the data systems.

Ramapriyan, Hampapuram↗

Mars sample return, updated to a groundbreaking approach

A Mars Sample Return (MSR) mission is a goal of the Mars Program. Recently, NASA and JPL have been studying the possibility of a Mars Sample Return some time in the next decade of Mars exploration. In 2001, JPL commissioned four industry teams to make a fresh examination of MSR architectures. Six papers on these studies were presented at last year's conference. As new fiscal realities of a cost-capped Mars Exploration Program unfolded, it was evident that these MSR concepts, which included mobility and subsurface sample acquisition, did not fit reasonably within a balanced program. Therefore, at the request of NASA and the science community, JPL asked the four industry teams plus JPL's Team X to explore ways to reduce the cost of a MSR. A NASA-created MSR Science Steering Group (SSG) established a reduced set of requirements for these new studies that built upon the previous year's work. As a result, a new 'Groundbreaking' approach to MSR was established that is well understood based on the studies and independent cost assessments by Aerospace Corporation and SAIC. The Groundbreaking approach appears to be what a contemporary, balanced Mars Exploration Program can afford, has turned out to be justifiable by the MSR Science Steering Group, and has been endorsed by the Mars science community at large. This paper gives a brief overview of the original 2001 study results and discusses the process leading to the new studies, the studies themselves, and the results.

Mars sample return↗

NASA Langley physical examination program

A comprehensive survey was made of the NASA Headquarters in the Washington, D. C. area, and medical facilities capable to provide satisfactory and economical services to employees within a reasonable traveling range. The program to improve medical services is described.

Mcarthur, R. L.↗

Abstract-Reasoning Software for Coordinating Multiple Agents

A computer program for scheduling the activities of multiple agents that share limited resources has been incorporated into the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been reported in several previous NASA Tech Briefs articles. In the original intended application, the agents would be multiple spacecraft and/or robotic vehicles engaged in scientific exploration of distant planets. The program could also be used on Earth in such diverse settings as production lines and military maneuvers. This program includes a planning/scheduling subprogram of the iterative repair type that reasons about the activities of multiple agents at abstract levels in order to greatly improve the scheduling of their use of shared resources. The program summarizes the information about the constraints on, and resource requirements of, abstract activities on the basis of the constraints and requirements that pertain to their potential refinements (decomposition into less-abstract and ultimately to primitive activities). The advantage of reasoning about summary information is that time needed to find consistent schedules is exponentially smaller than the time that would be needed for reasoning about the same tasks at the primitive level.

Clement, Bradley↗

IEA-R1 Nuclear Research Reactor: 58 Years of Operating Experience and Utilization for Research, Teaching and Radioisotopes Production

IEA-R1 research reactor at the Instituto de Pesquisas Energeticas e Nucleares (Nuclear and Energy Research Institute) IPEN, Sao Paulo, Brazil is the largest power research reactor in Brazil, with a maximum power rating of 5 MWth. It is being used for basic and applied research in the nuclear and neutron related sciences, for the production of radioisotopes for medical and industrial applications, and for providing services of neutron activation analysis, real time neutron radiography, and neutron transmutation doping of silicon. IEA-R1 is a swimming pool reactor, with light water as the coolant and moderator, and graphite and beryllium as reflectors. The reactor was commissioned on September 16, 1957 and achieved its first criticality. It is currently operating at 4.5 MWth with a 60-hour cycle per week. In the early sixties, IPEN produced {sup 131}I, {sup 32}P, {sup 198}Au, {sup 24}Na, {sup 35}S, {sup 51}Cr and labeled compounds for medical use. During the past several years, a concerted effort has been made in order to upgrade the reactor power to 5 MWth through refurbishment and modernization programs. One of the reasons for this decision was to produce {sup 99}Mo at IPEN. The reactor cycle will be gradually increased to 120 hours per week continuous operation. It is anticipated that these programs will assure the safe and sustainable operation of the IEA-R1 reactor for several more years, to produce important primary radioisotopes {sup 99}Mo, {sup 125}I, {sup 131}I, {sup 153}Sm and {sup 192}Ir. Currently, all aspects of dealing with fuel element fabrication, fuel transportation, isotope processing, and spent fuel storage are handled by IPEN at the site. The reactor modernization program is slated for completion by 2015. This paper describes 58 years of operating experience and utilization of the IEA-R1 research reactor for research, teaching and radioisotopes production. (authors)

07 ISOTOPE AND RADIATION SOURCES↗