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 217 records · Page 12
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Object-oriented programming with mixins in Ada

Recently, I wrote a paper discussing the lack of 'true' object-oriented programming language features in Ada 83, why one might desire them in Ada, and how they might be added in Ada 9X. The approach I took in this paper was to build the new object-oriented features of Ada 9X as much as possible on the basic constructs and philosophy of Ada 83. The object-oriented features proposed for Ada 9X, while different in detail, are based on the same kind of approach. Further consideration of this approach led me on a long reflection on the nature of object-oriented programming and its application to Ada. The results of this reflection, presented in this paper, show how a fairly natural object-oriented style can indeed be developed even in Ada 83. The exercise of developing this style is useful for at least three reasons: (1) it provides a useful style for programming object-oriented applications in Ada 83 until new features become available with Ada 9X; (2) it demystifies many of the mechanisms that seem to be 'magic' in most object-oriented programming languages by making them explicit; and (3) it points out areas that are and are not in need of change in Ada 83 to make object-oriented programming more natural in Ada 9X. In the next four sections I will address in turn the issues of object-oriented classes, mixins, self-reference and supertyping. The presentation is through a sequence of examples. This results in some overlap with that paper, but all the examples in the present paper are written entirely in Ada 83. I will return to considerations for Ada 9X in the last section of the paper.

Seidewitz, ED↗
NASA NTRS1992

Creating a foundation for a synergistic approach to program management

In order to accelerate the movement of humans into space within reasonable budgetary constraints, NASA must develop an organizational structure that will allow the agency to efficiently use all the resources it has available for the development of any program the nation decides to undertake. This work considers the entire set of tasks involved in the successful development of any program. Areas that hold the greatest promise of accelerating programmatic development and/or increasing the efficiency of the use of available resources by being dealt with in a centralized manner rather than being handled by each program individually are identified. Using this information, an agency organizational structure is developed that will allow NASA to promote interprogram synergisms. In order for NASA to efficiently manage its programs in a manner that will allow programs to benefit from one another and thereby accelerate the movement of humans into space, several steps must be taken. First, NASA must develop an organizational structure that will allow potential interprogram synergisms to be identified and promoted. Key features of the organizational structure are recommended in this paper. Second, NASA must begin to develop the requirements for a program in a manner that will promote overall space program goals rather than achieving only the goals that apply to the program for which the requirements are being developed. Finally, NASA must consider organizing the agency around the functions required to support NASA's goals and objectives rather than around geographic locations.

Knoll, Karyn T.↗
NASA NTRS1970

Generation of long time creep data on refractory alloys at elevated temperatures

Creep tests were conducted on two tantalum alloys (ASTAR 811C and T-111 alloy), on a molybdenum alloy (TZM), and on CVD tungsten. The T-111 alloy 1% creep life data have been subjected to Manson's station function analysis, and the progress on this analysis is described. In another test program, the behavior of T-111 alloy with continuously varying temperatures and stresses has been studied. The results indicated that the previously described analysis predicts the observed creep behavior with reasonable accuracy. In addition to the T-111 test program, conventional 1% creep life data have been obtained for ASTAR 811C alloy. Previously observed effects of heat treatment on the creep strength of this material have been discussed and a model involving carbide strengthening primarily at the grain boundaries, rather than in a classical dispersion hardening mechanism, has been proposed to explain the observed results.

Sheffler, K. D.↗
DOE OSTI2019

Panel Session 62: Progress on Deep Repository Programs Around the World

This panel session focused on the progress of deep repository programs, worldwide. While efforts on a deep geological repository for SNF/UNF and HLW in the USA were terminated in 2010, several other repository programs continue to make considerable progress and deserve to be recognized. Panelists were invited from national, multi-national, and international repository programs and organizations to report upon the status and future as well as the perceived reasons underlying the success and the failure of components of their respective repository program. This panel provided a forum for interested parties to present, exchange, and take advantage of, as appropriate, repository progress, challenges, concepts/designs and other lessons learned around the world, including site characterization, site selection, research and development, licensing, construction, operation, and public acceptance and participation. Presentations proposed include: 1 - Cigeo (French Deep Geological Repository Project) update 2018 (Daniel Delort, Andra (France)); 2 - Progress on Deep Geological Repository Programs Around the World (Bruce McKirdy, Radioactive Waste Management (United Kingdom)); 3 - Geological disposal facility in Belgium (Didier Leonard, ONDRAF/NIRAS (Belgium))

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

Panel Session 89: Progress on Deep Repository Around the World

This panel focused on the progress of deep repository programs, worldwide. While efforts on a deep geological repository for SNF/UNF and HLW in the USA were terminated in 2010, several other repository programs continue to make considerable progress 10 and deserve to be recognized. Panelists from national, multi-national, and international repository programs and organizations reported on the status and future plans as well as the perceived reasons underlying the success and the failure of components of their respective repository program. This session provided a forum for interested parties to present, exchange, and take advantage of, as appropriate, repository progress, challenges, concepts/designs and other lessons learned around the world, including site characterization, site selection, research and development, licensing, construction, operation, and public acceptance and participation. Panelists with presentations: Switzerland's Geological Repository Program for Radioactive Waste (Tim Vietor); Update on NWMO's Progress in Implementing Canada's Plan (Sarah Hirschorn); Cigeo Project Progress and Next Milestones (Corinne Bauer)

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

Extending quantum operations

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian inputs or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2012

Year 2 Final Report - Protein Function Prediction Platform (v.0.5)

Upon completion of our second year of development in a 3-year development cycle, we have completed a prototype protein structure-function annotation and function prediction system: Protein Function Prediction (PFP) platform (v.0.5). We have met our milestones for Years 1 and 2 and are positioned to continue development in completion of our original statement of work, or a reasonable modification thereof, in service to DTRA Programs involved in diagnostics and medical countermeasures research and development. The PFP platform is a multi-scale computational modeling system for protein structure-function annotation and function prediction. As of this writing, PFP is the only existing fully automated, high-throughput, multi-scale modeling, whole-proteome annotation platform, and represents a significant advance in the field of genome annotation (Fig. 1). PFP modules perform protein functional annotations at the sequence, systems biology, protein structure, and atomistic levels of biological complexity (Fig. 2). Because these approaches provide orthogonal means of characterizing proteins and suggesting protein function, PFP processing maximizes the protein functional information that can currently be gained by computational means. Comprehensive annotation of pathogen genomes is essential for bio-defense applications in pathogen characterization, threat assessment, and medical countermeasure design and development in that it can short-cut the time and effort required to select and characterize protein biomarkers.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2016

Laboratory Experiments and Modeling for Interpreting Field Studies of Secondary Organic Aerosol Formation Using an Oxidation Flow Reactor

This grant was originally funded for deployment of a suite of aerosol instrumentation by our group in collaboration with other research groups and DOE/ARM to the Ganges Valley in India (GVAX) to study aerosols sources and processing. Much of the first year of this grant was focused on preparations for GVAX. That campaign was cancelled due to political reasons and with the consultation with our program manager, the research of this grant was refocused to study the applications of oxidation flow reactors (OFRs) for investigating secondary organic aerosol (SOA) formation and organic aerosol (OA) processing in the field and laboratory through a series of laboratory and modeling studies. We developed a gas-phase photochemical model of an OFR which was used to 1) explore the sensitivities of key output variables (e.g., OH exposure, O 3 , HO 2 /OH) to controlling factors (e.g., water vapor, external reactivity, UV irradiation), 2) develop simplified OH exposure estimation equations, 3) investigate under what conditions non-OH chemistry may be important, and 4) help guide design of future experiments to avoid conditions with undesired chemistry for a wide range of conditions applicable to the ambient, laboratory, and source studies. Uncertainties in the model were quantified and modeled OH exposure was compared to tracer decay measurements of OH exposure in the lab and field. Laboratory studies using OFRs were conducted to explore aerosol yields and composition from anthropogenic and biogenic VOC as well as crude oil evaporates. Various aspects of the modeling and laboratory results and tools were applied to interpretation of ambient and source measurements using OFR. Additionally, novel measurement methods were used to study gas/particle partitioning. The research conducted was highly successful and details of the key results are summarized in this report through narrative text, figures, and a complete list of publications acknowledging this grant.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2018

Creating an Interprocedural Analyst-Oriented Data Flow Representation for Binary Analysts (CIAO)

National security missions require understanding third-party software binaries, a key element of which is reasoning about how data flows through a program. However, vulnerability analysts protecting software lack adequate tools for understanding data flow in binaries. To reduce the human time burden for these analysts, we used human factors methods in a rolling discovery process to derive user-centric visual representation requirements. We encountered three main challenges: analysis projects span weeks, analysis goals significantly affect approaches and required knowledge, and analyst tools, techniques, conventions, and prioritization are based on personal preference. To address these challenges, we initially focused our human factors methods on an attack surface characterization task. We generalized our results using a two-stage modified sorting task, creating requirements for a data flow visualization. We implemented these requirements partially in manual static visualizations, which we informally evaluated, and partially in automatically generated interactive visualizations, which have yet to be integrated into workflows for evaluation. Our observations and results indicate that 1) this data flow visualization has the potential to enable novel code navigation, information presentation, and information sharing, and 2) it is an excellent time to pursue research applying human factors methods to binary analysis workflows.

42 ENGINEERING↗
DOE OSTI2019

Abstract Machine Models and Proxy Architectures for Exascale Computing

To achieve exascale computing, fundamental hardware architectures must change. The most significant consequence of this assertion is the impact on the scientific and engineering applications that run on current high performance computing (HPC) systems, many of which codify years of scientific domain knowledge and refinements for contemporary computer systems. In order to adapt to exascale architectures, developers must be able to reason about new hardware and determine what programming models and algorithms will provide the best blend of performance and energy efficiency into the future. While many details of the exascale architectures are undefined, an abstract machine model is designed to allow application developers to focus on the aspects of the machine that are important or relevant to performance and code structure. These models are intended as communication aids between application developers and hardware architects during the co-design process. We use the term proxy architecture to describe a parameterized version of an abstract machine model, with the parameters added to elucidate potential speeds and capacities of key hardware components. These more detailed architectural models are formulated to enable discussion between the developers of analytic models and simulators and computer hardware architects. They allow for application performance analysis and hardware optimization opportunities. In this report our goal is to provide the application development community with a set of models that can help software developers prepare for exascale. In addition, through the use of proxy architectures, we can enable a more concrete exploration of how well new and evolving application codes map onto future architectures. This second version of the document addresses system scale considerations and provides a system-level abstract machine model with proxy architecture information.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1987

Pathfinder technologies for bold new missions

Project Pathfinder is a proposed U.S. Space Research and Technology program intended to enable bold new missions of space exploration. Pathfinder continues the advancement of technological capabilities and extends the foundation established under the Civil Space Technology Initiative, CSTI. By filling critical technological gaps, CSTI enhances access to Earth orbit and supports effective operations and science missions therein. Pathfinder, with a longer-term horizon, looks to a future that builds on Shuttle and Space Station and addresses technologies that support a range of exploration missions including: a return to the Moon to build an outpost; piloted missions to Mars; and continued scientific exploration of Earth and the other planets. The program's objective is to develop, within reasonable time frames, those emerging and innovative technologies that will make possible both new and enhanced missions and system concepts.

Sadin, Stanley R.↗
NASA NTRS1993

Robotics handbook. Version 1: For the interested party and professional

This publication covers several categories of information about robotics. The first section provides a brief overview of the field of Robotics. The next section provides a reasonably detailed look at the NASA Robotics program. The third section features a listing of companies and organization engaging in robotics or robotic-related activities; followed by a listing of associations involved in the field; followed by a listing of publications and periodicals which cover elements of robotics or related fields. The final section is an abbreviated abstract of referred journal material and other reference material relevant to the technology and science of robotics, including such allied fields as vision perception; three-space axis orientation and measurement systems and associated inertial reference technology and algorithms; and physical and mechanical science and technology related to robotics.

Source record↗
NASA NTRS1995

Algorithms for parallel flow solvers on message passing architectures

The purpose of this project has been to identify and test suitable technologies for implementation of fluid flow solvers -- possibly coupled with structures and heat equation solvers -- on MIMD parallel computers. In the course of this investigation much attention has been paid to efficient domain decomposition strategies for ADI-type algorithms. Multi-partitioning derives its efficiency from the assignment of several blocks of grid points to each processor in the parallel computer. A coarse-grain parallelism is obtained, and a near-perfect load balance results. In uni-partitioning every processor receives responsibility for exactly one block of grid points instead of several. This necessitates fine-grain pipelined program execution in order to obtain a reasonable load balance. Although fine-grain parallelism is less desirable on many systems, especially high-latency networks of workstations, uni-partition methods are still in wide use in production codes for flow problems. Consequently, it remains important to achieve good efficiency with this technique that has essentially been superseded by multi-partitioning for parallel ADI-type algorithms. Another reason for the concentration on improving the performance of pipeline methods is their applicability in other types of flow solver kernels with stronger implied data dependence. Analytical expressions can be derived for the size of the dynamic load imbalance incurred in traditional pipelines. From these it can be determined what is the optimal first-processor retardation that leads to the shortest total completion time for the pipeline process. Theoretical predictions of pipeline performance with and without optimization match experimental observations on the iPSC/860 very well. Analysis of pipeline performance also highlights the effect of uncareful grid partitioning in flow solvers that employ pipeline algorithms. If grid blocks at boundaries are not at least as large in the wall-normal direction as those immediately adjacent to them, then the first processor in the pipeline will receive a computational load that is less than that of subsequent processors, magnifying the pipeline slowdown effect. Extra compensation is needed for grid boundary effects, even if all grid blocks are equally sized.

Vanderwijngaart, Rob F.↗
NASA NTRS2003

New Experiment to Measure the Electron Electric Dipole Moment

An electron can possess an electric dipole moment (edm) only if time reversal symmetry (T) is violated. No edm of any particle has yet been discovered. CP-violation, equivalent to T-violation by the CPT theorem, does occur in Kaon decays and can be accounted for by the standard model. However, this mechanism leads to an electron edm d(sub e) of the order of 10(exp -38) e cm, whereas the current experimental bound on d(sub e) is about 10(exp -27) e cm. However, well-motivated extensions of the standard model such as supersymmetric theories do predict that de could be as large as the current bound. In addition, CP violation in the early universe is required to explain the preponderance of matter over anti-matter, but the exact mechanism of this CP violation is unclear. For these reasons, we are undertaking a new experimental program to determine de to an improved accuracy of 10(exp -29) e cm. Our experiment will use laser-cooled, trapped Cesium atoms to measure the atomic edm d(sub Cs) that occurs if d(sub e) is not zero. In order to do this, we will measure the energy splitting between the atoms spin states in parallel electric and magnetic fields. The signature of an edm would be a linear dependence of the splitting on the electric field E due to the interaction - d(sub Cs) dot E. Our measurement will be much more sensitive than previous measurements because atoms can be stored in the trap for tens of seconds, allowing for much narrower Zeeman resonance linewidths. Also, our method eliminates the most important systematic errors, proportional to atomic velocity, which have limited previous experiments. In this presentation, we will describe the design of our new apparatus, which is presently under construction. An important feature of our experimental apparatus is that magnetic field noise will be suppressed to a very low value of the order of 1 fT/(Hz)1/2. This requires careful attention to the Johnson noise currents in the chamber, which have not been important in previous experiments. In addition we will present estimates of the limits of the various errors that we expect for our experiment.

Kittle, Melanie↗
DOE OSTI2015

Light Water Reactor Sustainability Accomplishments Report

Welcome to the 2014 Light Water Reactor Sustainability (LWRS) Program Accomplishments Report, covering research and development highlights from 2014. The LWRS Program is a U.S. Department of Energy research and development program to inform and support the long-term operation of our nation’s commercial nuclear power plants. The research uses the unique facilities and capabilities at the Department of Energy national laboratories in collaboration with industry, academia, and international partners. Extending the operating lifetimes of current plants is essential to supporting our nation’s base load energy infrastructure, as well as reaching the Administration’s goal of reducing greenhouse gas emissions to 80% below 1990 levels by the year 2050. The purpose of the LWRS Program is to provide technical results for plant owners to make informed decisions on long-term operation and subsequent license renewal, reducing the uncertainty, and therefore the risk, associated with those decisions. In January 2013, 104 nuclear power plants operated in 31 states. However, since then, five plants have been shut down (several due to economic reasons), with additional shutdowns under consideration. The LWRS Program aims to minimize the number of plants that are shut down, with R&D that supports long-term operation both directly (via data that is needed for subsequent license renewal), as well indirectly (with models and technology that provide economic benefits). The LWRS Program continues to work closely with the Electric Power Research Institute (EPRI) to ensure that the body of information needed to support SLR decisions and actions is available in a timely manner. This report covers selected highlights from the three research pathways in the LWRS Program: Materials Aging and Degradation, Risk-Informed Safety Margin Characterization, and Advanced Instrumentation, Information, and Control Systems Technologies, as well as a look-ahead at planned activities for 2015. If you have any questions about the information in the report, or about the LWRS Program, please contact me, Richard A. Reister (the Federal Program Manager), or the respective research pathway leader (noted on pages 26 and 27), or visit the LWRS Program website (www.inl.gov/lwrs). The annually updated Integrated Program Plan and Pathway Technical Program Plans are also available for those seeking more detailed technical Information.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS1991

Techniques and implementation of the embedded rule-based expert system using Ada

Ada is becoming an increasingly popular programming language for large Government-funded software projects. Ada with its portability, transportability, and maintainability lends itself well to today's complex programming environment. In addition, expert systems have also assured a growing role in providing human-like reasoning capability and expertise for computer systems. The integration of expert system technology with Ada programming language, specifically a rule-based expert system using an ART-Ada (Automated Reasoning Tool for Ada) system shell is discussed. The NASA Lewis Research Center was chosen as a beta test site for ART-Ada. The test was conducted by implementing the existing Autonomous Power EXpert System (APEX), a Lisp-base power expert system, in ART-Ada. Three components, the rule-based expert system, a graphics user interface, and communications software make up SMART-Ada (Systems fault Management with ART-Ada). The main objective, to conduct a beta test on the ART-Ada rule-based expert system shell, was achieved. The system is operational. New Ada tools will assist in future successful projects. ART-Ada is one such tool and is a viable alternative to the straight Ada code when an application requires a rule-based or knowledge-based approach.

Liberman, Eugene M.↗
NASA NTRS1977

Meals for the Elderly

NASA is drawing upon its food-preparation expertise to assist in solving a problem affecting a large segment of the American population. In preparation for manned space flight programs, NASA became experienced in providing astronauts simple, easily-prepared, nutritious meals. That experience now is being transferred to the public sector in a cooperative project managed by Johnson Space Center. Called Meal System for the Elderly, the project seeks to fill a gap by supplying nutritionally balanced meal packages to those who are unable to participate in existing meal programs. Many such programs are conducted by federal, state and private organizations, including congregate hot meal services and home-delivered "meals on wheels." But more than 3.5 million elderly Americans are unable to take advantage of these benefits. In some cases, they live in rural areas away from available services; in others, they are handicapped, temporarily ill, or homebound for other reasons. Meal System for the Elderly, a cooperative program in which the food-preparation expertise NASA acquired in manned space projects is being utilized to improve the nutritional status of elderly people. The program seeks to fill a gap by supplying nutritionally-balanced food packages to the elderly who are unable to participate b existing meal service programs.

Source record↗
NASA NTRS1989

An experiment-based comparative study of fuzzy logic control

An approach is presented to the control of a dynamic physical system through the use of approximate reasoning. The approach has been implemented in a program named POLE, and the authors have successfully built a prototype hardware system to solve the cartpole balancing problem in real-time. The approach provides a complementary alternative to the conventional analytical control methodology and is of substantial use when a precise mathematical model of the process being controlled is not available. A set of criteria for comparing controllers based on approximate reasoning and those based on conventional control schemes is furnished.

Berenji, Hamid R.↗