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 163 records · Page 9
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Analyzing Array Manipulating Programs by Program Transformation

We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic array segments, such as "every data item stored in the segment A[i] to A[j] is equal to the corresponding item stored in the segment B[i] to B[j]." We define a simple abstract machine which allows for set-valued variables and we show how to translate programs with array operations to array-free code for this machine. For the purpose of program analysis, the translated program remains faithful to the semantics of array manipulation. Based on our implementation in LLVM, we evaluate the approach with respect to its ability to extract useful invariants and the cost in terms of code size.

Program Transformation↗
DOE OSTI2014

Missouri Agricultural Energy Saving Team-A Revolutionary Opportunity (MAESTRO)

The Missouri Agricultural Energy Saving Team-A Revolutionary Opportunity (MAESTRO) program brought together a team of representatives from government, academia, and private industry to enhance the availability of energy efficiency services for small livestock producers in the State of Missouri. The Missouri Department of Agriculture (MDA) managed the project via a subcontract with the University of Missouri (MU), College of Agriculture Food and Natural Resources, MU Extension, the MU College of Human Environmental Sciences, the MU College of Engineering, and the Missouri Agricultural and Small Business Development Authority (MASBDA). MU teamed with EnSave, Inc, a nationally-recognized expert in agricultural energy efficiency to assist with marketing, outreach, provision of farm energy audits and customer service. MU also teamed with independent home contractors to facilitate energy audits of the farm buildings and homes of these livestock producers. The goals of the project were to: (1) improve the environment by reducing fossil fuel emissions and reducing the total energy used on small animal farms; (2) stimulate the economy of local and regional communities by creating or retaining jobs; and (3) improve the profitability of Missouri livestock producers by reducing their energy expenditures. Historically, Missouri scientists/engineers conducted programs on energy use in agriculture, such as in equipment, grain handling and tillage practices. The MAESTRO program was the first to focus strictly on energy efficiency associated with livestock production systems in Missouri and to investigate the applicability and potential of addressing energy efficiency in animal production from a building efficiency perspective. A. Project Objectives The goal of the MAESTRO program was to strengthen the financial viability and environmental soundness of Missouri's small animal farms by helping them implement energy efficient technologies for the production facility, farm buildings, and the homes on these farms. The expected measurable outcomes of the project were to improve the environment and stimulate the economy by: • Reducing annual fossil fuel emissions by 1,942 metric tons of carbon dioxide equivalent, reducing the total annual energy use on at least 323 small animal farms and 100 farm homes by at least 8,000 kWh and 2,343 therms per farm. • Stimulating the economy by creating or retaining at least 69 jobs, and saving small animal farmers an average of $2,071 per farm in annual energy expenditures. B. Project Scope The MAESTRO team chose the target population of small farms because while all agriculture is traditionally underserved in energy efficiency programs, small farms were particularly underserved because they lack the financial resources and access to energy efficiency technologies that larger farms deploy. The MAESTRO team reasoned that energy conservation, financial and educational programs developed while serving the agricultural community could serve as a national model for other states and their agricultural sectors. The target population was approximately 2,365 small animal farm operations in Missouri, specifically those farms that were not by definition a confined animal feeding operation (CAFO). The program was designed to create jobs by training Missouri contractors and Missouri University Extension staff how to conduct farm audits. The local economy would be stimulated by an increase in construction activity and an increasing demand for energy efficient farm equipment. Additionally, the energy savings were deemed critical in keeping Missouri farms in business. This project leveraged funds using a combination of funds from the Missouri Department of Natural Resources’ Missouri Energy Center and its Soil and Water Conservation Program, from the state's Linked Deposits, MASBDA's agricultural loan guarantee programs, and through the in-kind contribution of faculty and staff time to the project from these agencies and MU. Several hundred Missouri livestock producers were contacted during the MAESTRO project. Of the livestock producers, 254 invited the team to conduct a farm energy assessment which complied with ASABE 612. A total of 147 livestock farm upgrades were implemented, representing 57.5 percent of the farms for which a farm energy assessment was completed. This represented a statewide average annual savings of 1,088,324 kWh and 75,516 therms. The team also reviewed the condition of the livestock producer’s home(s). A total of 106 home energy assessments were completed and 48 individual homes implemented their recommended upgrades, representing 45 percent of the farm homes for which an energy assessment was completed. This represented a statewide average annual savings of 323,029 kWh, and 769.4 therms. More of these farmers likely would have updated their homes but the funding to incentivize them fell short. In spite of the shortfall in incentive funds, some farmers still updated their homes as they saw the value in making these changes to their home.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2016

Verifying quantitative reliability for programs that execute on unreliable hardware

Emerging high-performance architectures are expected to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some applications, unnecessary. For example, approximate computing applications (such as multimedia processing, machine learning, and big data analytics) can often naturally tolerate soft errors. We introduce Rely, a programming language that enables developers to reason about the quantitative reliability of an application—namely, the probability that it produces the correct result when executed on unreliable hardware. Rely allows developers to specify the reliability requirements for each value that a function produces. We perform a static quantitative reliability analysis that verifies quantitative requirements on the reliability of an application, enabling a developer to perform sound and verified reliability engineering. The analysis takes a Rely program with a reliability specification and a hardware specification that characterizes the reliability of the underlying hardware components and verifies that the program satisfies its reliability specification when executed on the underlying unreliable hardware platform. We demonstrate the application of quantitative reliability analysis on six computations implemented in Rely.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1994

Roles, uses, and benefits of general aviation aircraft in aerospace engineering education

Many colleges and universities throughout the United States offer outstanding programs in aerospace engineering. In addition to the fundamentals of aerodynamics, propulsion, flight dynamics, and air vehicle design, many of the best programs have in the past provided students the opportunity to design and fly airborne experiments on board various types of aircraft. Sadly, however, the number of institutions offering such 'airborne laboratories' has dwindled in recent years. As a result, opportunities for students to apply their classroom knowledge, analytical skills, and engineering judgement to the development and management of flight experiments on an actual aircraft are indeed rare. One major reason for the elimination of flight programs by some institutions, particularly the smaller colleges, is the prohibitive cost of operating and maintaining an aircraft as a flying laboratory. The purpose of this paper is to discuss simple, low-cost, relevant flight experiments that can be performed using readily available general aviation aircraft. This paper examines flight experiments that have been successfully conducted on board the NASA Lewis Research Center's T-34B aircraft, as part of the NASA/AIAA/University Flight Experiment Program for Students (NAUFEPS) and discusses how similar experiments could be inexpensively performed on other general aviation aircraft.

Odonoghue, Dennis P.↗
NASA NTRS1994

Intelligent robotics can boost America's economic growth

A case is made for strategic investment in intelligent robotics as a part of the solution to the problem of improved global competitiveness for U.S. manufacturing, a critical industrial sector. Similar cases are made for strategic investments in intelligent robotics for field applications, construction, and service industries such as health care. The scope of the country's problems and needs is beyond the capability of the private sector alone, government alone, or academia alone to solve independently of the others. National cooperative programs in intelligent robotics are needed with the private sector supplying leadership direction and aerospace and non-aerospace industries conducting the development. Some necessary elements of such programs are outlined. The National Aeronautics and Space Administration (NASA) and the Lyndon B. Johnson Space Center (JSC) can be key players in such national cooperative programs in intelligent robotics for several reasons: (1) human space exploration missions require supervised intelligent robotics as enabling tools and, hence must develop supervised intelligent robotic systems; (2) intelligent robotic technology is being developed for space applications at JSC (but has a strong crosscutting or generic flavor) that is advancing the state of the art and is producing both skilled personnel and adaptable developmental infrastructure such as integrated testbeds; and (3) a NASA JSC Technology Investment Program in Robotics has been proposed based on commercial partnerships and collaborations for precompetitive, dual-use developments.

Erickson, Jon D.↗
NASA NTRS2007

Probabilistic Reasoning for Robustness in Automated Planning

A general-purpose computer program for planning the actions of a spacecraft or other complex system has been augmented by incorporating a subprogram that reasons about uncertainties in such continuous variables as times taken to perform tasks and amounts of resources to be consumed. This subprogram computes parametric probability distributions for time and resource variables on the basis of user-supplied models of actions and resources that they consume. The current system accepts bounded Gaussian distributions over action duration and resource use. The distributions are then combined during planning to determine the net probability distribution of each resource at any time point. In addition to a full combinatoric approach, several approximations for arriving at these combined distributions are available, including maximum-likelihood and pessimistic algorithms. Each such probability distribution can then be integrated to obtain a probability that execution of the plan under consideration would violate any constraints on the resource. The key idea is to use these probabilities of conflict to score potential plans and drive a search toward planning low-risk actions. An output plan provides a balance between the user s specified averseness to risk and other measures of optimality.

Schaffer, Steven↗
DOE OSTI2013

Compositional Dataflow Via Abstract Transition Systems

Despite decades of research and development of dataflow analyses within dozens of different compiler infrastructures, analysis of real programs is intractable in practice. The reason is that although a single research group is equipped to model a single well-defined aspect of application behavior, application developers use a very wide range of abstractions and coding techniques within a single application. Since to analyze even a single application all of its complexities must be modeled, researchers must combine analyses from multiple groups into comprehensive analysis frameworks such as OpenAnalysis or LLVM. Analysis composition is expensive in practice, requiring development effort that is quadratic in the number of analyses as well as tight inter-group coordination to maintain consistent APIs to each other’s symbolic abstractions. This paper proposes an approach to building compiler analysis frameworks that simplifies the composition of independently-developed analyses. It formalizes the operation of dataflow analyses in a way that simplifies reasoning about various types of analysis composition. Further, it defines a portable abstraction that can represent the results of many real analyses, making it possible for different analyses to leverage each other’s results with no knowledge of their APIs or internal abstractions and without any coordination between the groups that developed them. We have developed the Fuse compositional analysis framework based on this abstraction, and integrated it in the ROSE [15] compilation system. Our experience is that this approach greatly simplifies composition of program analyses, making it easy to tailor different combinations of program analyses to different input programs.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1989

Planning robot actions under position and shape uncertainty

Geometric uncertainty may cause various failures during the execution of a robot control program. Avoiding such failures makes it necessary to reason about the effects of uncertainty in order to implement robust strategies. Researchers first point out that a manipulation program has to be faced with two types of uncertainty: those that might be locally processed using appropriate sensor based motions, and those that require a more global processing leading to insert new sensing operations. Then, they briefly describe how they solved the two related problems in the SHARP system: how to automatically synthesize a fine motion strategy allowing the robot to progressively achieve a given assembly relation despite position uncertainty, and how to represent uncertainty and to determine the points where a given manipulation program might fail.

Laugier, Christian↗
NASA NTRS2011

Commercially Hosted Government Payloads: Lessons from Recent Programs

In a commercially hosted operational mode, a scientific instrument or operational device is attached to a spacecraft but operates independently from the spacecraft s primary mission. Despite the expected benefits of this arrangement, there are few examples of hosted payload programs actually being executed by government organizations. The lack of hosted payload programs is largely driven by programmatic challenges, both real and perceived, rather than by technical challenges. Partly for these reasons, NASA has not sponsored a hosted payload program, in spite of the benefits and visible community interest in doing so. In the interest of increasing the use of hosted payloads across the space community, this paper seeks to alleviate concerns about hosted payloads by identifying these programmatic challenges and presenting ways in which they can be avoided or mitigated. Despite the challenges, several recent hosted payload programs have been successfully completed or are currently in progress. This paper presents an assessment of these programs, with a focus on acquisition, costs, schedules, risks, and other programmatic aspects. The hosted payloads included in this study are the Federal Aviation Administration's Wide Area Augmentation System (WAAS) payloads, United States Coast Guard's Automatic Identification System (AIS) demonstration payload, Department of Defense's IP Router In Space (IRIS) demonstration payload, the United States Air Force's Commercially Hosted Infrared Payload (CHIRP), and the Australian Defence Force's Ultra High Frequency (UHF) payload. General descriptions of each of these programs are presented along with issues that have been encountered and lessons learned from those experiences. A set of recommended approaches for future hosted payload programs is presented, with a focus on addressing risks or potential problem areas through smart and flexible contracting up front. This set of lessons and recommendations is broadly applicable to future hosted payload programs, whether they are technology demonstrations, communications systems, or operational sensors. Additionally, we present a basic cost model for commercial access to space for hosted payloads as a function of payload mass

Andraschko, Mark A.↗
NASA NTRS1974

The Economic Value of Remote Sensing of Earth Resources from Space: An ERTS Overview and the Value of Continuity of Service. Volume 1: Summary

An overview of the ERTS program is given to determine the magnitude of the benefits that can be reasonably expected to flow from an Earth Resources Survey (ERS) Program, and to assess the benefits foregone in the event of a one or two-year gap in ERS services. An independent evaluation of the benefits attributable to ERS-derived information in key application areas is presented. These include two case studies in agriculture-distribution, production and import/export, and one study in water management. The cost-effectiveness of satellites in an ERS system is studied by means of a land cover case study. The annual benefits achieveable from an ERS system are measured by the in-depth case studies to be in the range of $430 to $746 million. Benefits foregone in the event of a one-year gap in ERS service are estimated to be $147 to $220 million and $274 to $420 million for a two-year gap in ERS service.

Hazelrigg, G. A., Jr.↗
NASA NTRS1990

General purpose optimization software for engineering design

The author has developed several general purpose optimization programs over the past twenty years. The earlier programs were developed as research codes and served that purpose reasonably well. However, in taking the formal step from research to industrial application programs, several important lessons have been learned. Among these are the importance of clear documentation, immediate user support, and consistent maintenance. Most important has been the issue of providing software that gives a good, or at least acceptable, design at minimum computational cost. Here, the basic issues developing optimization software for industrial applications are outlined and issues of convergence rate, reliability, and relative minima are discussed. Considerable feedback has been received from users, and new software is being developed to respond to identified needs. The basic capabilities of this software are outlined. A major motivation for the development of commercial grade software is ease of use and flexibility, and these issues are discussed with reference to general multidisciplinary applications. It is concluded that design productivity can be significantly enhanced by the more widespread use of optimization as an everyday design tool.

Vanderplaats, G. N.↗
DOE OSTI2019

Developing Waste Characterization Capabilities in Support of the Near Surface Disposal Facility - 19245

Upon approval from the Canadian Nuclear Safety Commission, Canadian Nuclear Laboratories (CNL) Proposed Near Surface Disposal Facility (NSDF) to be constructed at CNL's Chalk River Laboratories will be the first permanent disposal facility in Canada for the disposal of low level radioactive waste. The NSDF is currently in the approval process and as such, a preliminary Waste Acceptance Criteria (WAC) has been implemented for the proposed facility. Waste currently generated at CNL is being characterized to verify that it meets the WAC and will be 'disposal ready' once the NSDF is operational. A robust waste characterization program is required for the following reasons: 1. Improved waste segregation to support waste minimization and recycling to ensure non-radioactive waste is reliably segregated and removed from radioactive waste streams destined for the NSDF. This includes characterization and discrimination of Naturally Occurring Radioactive Material (NORM) and anthropogenic radioactive material. 2. To ensure low level waste (LLW) is properly characterized as per the limits stipulated within the WAC to ensure criteria is met for NSDF packaging requirements 3. To ensure intermediate level waste is reliably segregated from NSDF destined wastes streams The purpose of this paper is to provide a review of the development of a waste characterization program strategy at Chalk River Laboratories and applicability of various waste streams; including consideration of important factors such as measurement methods, techniques, and the management of data. Emphasis is necessarily placed on non-destructive gamma spectrometry systems which are central to CNL's approach. A review of near-term developments is also provided. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2023

CHARM-SYCL: New Unified Programming Environment for Multiple Accelerator Types

Addressing performance portability across diverse accelerator architectures has emerged as a major challenge in the development of application and programming systems for high-performance computing environments. Although recent programming systems that focus on performance portability have significantly improved productivity in an effort to meet this challenge, the problem becomes notably more complex when compute nodes are equipped with multiple accelerator types—each with unique performance attributes, optimal data layout, and binary formats. To navigate the intricacies of multi-accelerator programming, we propose CHARM-SYCL as an extension of our CHARM multi-accelerator execution environment [27]. This environment will combine our SYCL-based performance-portability programming front end with a back end for extremely heterogeneous architectures as implemented with the IRIS runtime from Oak Ridge National Laboratory. Our preliminary evaluation indicates potential productivity boost and reasonable performance compared to vendor-specific programming system and runtimes.

Fujita, Norihisa↗
NASA NTRS1989

A situated reasoning architecture for space-based repair and replace tasks

Space-based robots need low level control for collision detection and avoidance, short-term load management, fine-grained motion, and other physical tasks. In addition, higher level control is required to focus strategic decision making as missions are assigned and carried out. Reasoning and control must be responsive to ongoing changes in the environment. Research aimed at bridging the gap between high level artificial intelligence (AI) planning techniques and task-level robot programming for telerobotic systems is described. Situated reasoning is incorporated into AI and Robotics systems in order to coordinate a robot's activity within its environment. An integrated system under development in a component maintenance domain is described. It is geared towards replacing worn and/or failed Orbital Replacement Units (ORUs) designed for use aboard NASA's Space Station Freedom based on the collection of components available at a given time. High level control reasons in component space in order to maximize the number operational component-cells over time, while the task-level controls sensors and effectors, detects collisions, and carries out pick and place tasks in physical space. Situated reasoning is used throughout the system to cope with component failures, imperfect information, and unexpected events.

Bloom, Ben↗
NASA NTRS1986

The NASA automation and robotics technology program

The development and objectives of the NASA automation and robotics technology program are reviewed. The objectives of the program are to utilize AI and robotics to increase the probability of mission success; decrease the cost of ground control; and increase the capability and flexibility of space operations. There is a need for real-time computational capability; an effective man-machine interface; and techniques to validate automated systems. Current programs in the areas of sensing and perception, task planning and reasoning, control execution, operator interface, and system architecture and integration are described. Programs aimed at demonstrating the capabilities of telerobotics and system autonomy are discussed.

Holcomb, Lee B.↗
NASA NTRS1994

The Moon as a way station for planetary exploration

The Moon can be on the pathway to the exploration of other planets in the solar system in three distinct ways: science, systems and technology experience, and as a fuel depot. The most important of these from the point of view of near term potential is to provide systems and technology development that increases capability and reduces the cost and risk of Mars exploration. The development of capability for a lunar program, if planned properly, can significantly influence strategies for sending humans to Mars. In conclusion, the exploration of the Moon should come before the exploration of Mars. This is a statement of developmental and operational logic that is almost self evident. Technological advancement could, however, make a different strategy reasonable. Principally, the development of a propulsion capability that could substantially reduce round trip mission times to Mars (to say 6 to 12 months) could eliminate much of the argument that the Moon is an essential stepping stone. This would reduce the problem to one of similitude with current space station program concepts. However, for any reasonably near term program, such technology does not appear likely to be available. Thus, the answer remains that lunar exploration should come first, and the expectation that it will make Mars exploration much more affordable and safe. The use of lunar propellant in an Earth-Mars transportation system is not practical with current propulsion systems; however, the discovery of caches of water ice at a lunar pole could change considerably the strategy for utilization of lunar resources in planetary exploration.

Duke, M. B.↗
NASA NTRS1991

Low altitude plume impingement handbook

Plume Impingement modeling is required whenever an object immersed in a rocket exhaust plume must survive or remain undamaged within specified limits, due to thermal and pressure environments induced by the plume. At high altitudes inviscid plume models, Monte Carlo techniques along with the Plume Impingement Program can be used to predict reasonably accurate environments since there are usually no strong flowfield/body interactions or atmospheric effects. However, at low altitudes there is plume-atmospheric mixing and potential large flowfield perturbations due to plume-structure interaction. If the impinged surface is large relative to the flowfield and the flowfield is supersonic, the shock near the surface can stand off the surface several exit radii. This results in an effective total pressure that is higher than that which exists in the free plume at the surface. Additionally, in two phase plumes, there can be strong particle-gas interaction in the flowfield immediately ahead of the surface. To date there have been three levels of sophistication that have been used for low altitude plume induced environment predictions. Level 1 calculations rely on empirical characterizations of the flowfield and relatively simple impingement modeling. An example of this technique is described by Piesik. A Level 2 approach consists of characterizing the viscous plume using the SPF/2 code or RAMP2/LAMP and using the Plume Impingement Program to predict the environments. A Level 3 analysis would consist of using a Navier-Stokes code such as the FDNS code to model the flowfield and structure during a single calculation. To date, Level 1 and Level 2 type analyses have been primarily used to perform environment calculations. The recent advances in CFD modeling and computer resources allow Level 2 type analysis to be used for final design studies. Following some background on low altitude impingement, Level 1, 2, and 3 type analysis will be described.

Smith, Sheldon D.↗
NASA NTRS1991

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗