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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Optimal Operation of Residential High Performance Water Heater for Reduction of Electricity Cost and Peak Demand Through Field Validation

Water heating accounts for about 18% of a typical US home’s energy use. Modern water heaters have enabled control options through APIs, offering customers the opportunity to reduce their energy cost and peak demand by dynamically adjusting settings. A water heater’s capacity to store energy using its storage tank makes it an asset for peak demand reduction and energy cost savings. For this reason, a mixed-integer linear programming model is proposed to minimize the energy cost of a high-performance water heater while also reducing the peak demand of the residential household under a time-of-use utility rate by dynamically changing the water heater’s running mode. Specifically, a multi-objective optimization model is formulated to determine the mode settings of the water heater considering hot water use, time-of-use rate, and peak demand limit of the residential household. The mode settings are associated with different dead bands of water temperature for triggering on/off action of the heat pump and heating element. A 66-gal hybrid electric high performance water heater was used for numerical simulation and practical experiments. The simulation results were well aligned with measurements of practical experiments, validating the soundness of the thermodynamic model. In addition, reductions of energy cost, enabling affordability, and reducing peak demand are demonstrated. The research team also developed a software framework with dashboards to automatically and continuously monitor and manage devices.

Liu, Guodong [ORNL] (ORCID:0000000213498608)↗
NASA NTRS2000

Incremental Parallelization of Non-Data-Parallel Programs Using the Charon Message-Passing Library

Message passing is among the most popular techniques for parallelizing scientific programs on distributed-memory architectures. The reasons for its success are wide availability (MPI), efficiency, and full tuning control provided to the programmer. A major drawback, however, is that incremental parallelization, as offered by compiler directives, is not generally possible, because all data structures have to be changed throughout the program simultaneously. Charon remedies this situation through mappings between distributed and non-distributed data. It allows breaking up the parallelization into small steps, guaranteeing correctness at every stage. Several tools are available to help convert legacy codes into high-performance message-passing programs. They usually target data-parallel applications, whose loops carrying most of the work can be distributed among all processors without much dependency analysis. Others do a full dependency analysis and then convert the code virtually automatically. Even more toolkits are available that aid construction from scratch of message passing programs. None, however, allows piecemeal translation of codes with complex data dependencies (i.e. non-data-parallel programs) into message passing codes. The Charon library (available in both C and Fortran) provides incremental parallelization capabilities by linking legacy code arrays with distributed arrays. During the conversion process, non-distributed and distributed arrays exist side by side, and simple mapping functions allow the programmer to switch between the two in any location in the program. Charon also provides wrapper functions that leave the structure of the legacy code intact, but that allow execution on truly distributed data. Finally, the library provides a rich set of communication functions that support virtually all patterns of remote data demands in realistic structured grid scientific programs, including transposition, nearest-neighbor communication, pipelining, gather/scatter, and redistribution. At the end of the conversion process most intermediate Charon function calls will have been removed, the non-distributed arrays will have been deleted, and virtually the only remaining Charon functions calls are the high-level, highly optimized communications. Distribution of the data is under complete control of the programmer, although a wide range of useful distributions is easily available through predefined functions. A crucial aspect of the library is that it does not allocate space for distributed arrays, but accepts programmer-specified memory. This has two major consequences. First, codes parallelized using Charon do not suffer from encapsulation; user data is always directly accessible. This provides high efficiency, and also retains the possibility of using message passing directly for highly irregular communications. Second, non-distributed arrays can be interpreted as (trivial) distributions in the Charon sense, which allows them to be mapped to truly distributed arrays, and vice versa. This is the mechanism that enables incremental parallelization. In this paper we provide a brief introduction of the library and then focus on the actual steps in the parallelization process, using some representative examples from, among others, the NAS Parallel Benchmarks. We show how a complicated two-dimensional pipeline-the prototypical non-data-parallel algorithm- can be constructed with ease. To demonstrate the flexibility of the library, we give examples of the stepwise, efficient parallel implementation of nonlocal boundary conditions common in aircraft simulations, as well as the construction of the sequence of grids required for multigrid.

VanderWijngaart, Rob F.↗
NASA NTRS1997

Dynamic Flow Management Problems in Air Transportation

In 1995, over six hundred thousand licensed pilots flew nearly thirty-five million flights into over eighteen thousand U.S. airports, logging more than 519 billion passenger miles. Since demand for air travel has increased by more than 50% in the last decade while capacity has stagnated, congestion is a problem of undeniable practical significance. In this thesis, we will develop optimization techniques that reduce the impact of congestion on the national airspace. We start by determining the optimal release times for flights into the airspace and the optimal speed adjustment while airborne taking into account the capacitated airspace. This is called the Air Traffic Flow Management Problem (TFMP). We address the complexity, showing that it is NP-hard. We build an integer programming formulation that is quite strong as some of the proposed inequalities are facet defining for the convex hull of solutions. For practical problems, the solutions of the LP relaxation of the TFMP are very often integral. In essence, we reduce the problem to efficiently solving large scale linear programming problems. Thus, the computation times are reasonably small for large scale, practical problems involving thousands of flights. Next, we address the problem of determining how to reroute aircraft in the airspace system when faced with dynamically changing weather conditions. This is called the Air Traffic Flow Management Rerouting Problem (TFMRP) We present an integrated mathematical programming approach for the TFMRP, which utilizes several methodologies, in order to minimize delay costs. In order to address the high dimensionality, we present an aggregate model, in which we formulate the TFMRP as a multicommodity, integer, dynamic network flow problem with certain side constraints. Using Lagrangian relaxation, we generate aggregate flows that are decomposed into a collection of flight paths using a randomized rounding heuristic. This collection of paths is used in a packing integer programming formulation, the solution of which generates feasible and near-optimal routes for individual flights. The algorithm, termed the Lagrangian Generation Algorithm, is used to solve practical problems in the southwestern portion of United States in which the solutions are within 1% of the corresponding lower bounds.

Patterson, Sarah Stock↗
NASA NTRS1993

Architectural design of the science complex at Elizabeth City State University

This paper gives an overall view of the architectural design process and elements in taking an idea from conception to execution. The project presented is an example for this process. Once the need for a new structure is established, an architect studies the requirements, opinions and limits in creating a structure that people will exist in, move through, and use. Elements in designing a building include factors such as volume and surface, light and form changes of scale and view, movement and stasis. Some of the other factors are functions and physical conditions of construction. Based on experience, intuition, and boundaries, an architect will utilize all elements in creating a new building. In general, the design process begins with studying the spatial needs which develop into an architectural program. A comprehensive and accurate architectural program is essential for having a successful building. The most attractive building which does not meet the functional needs of its users has failed at the primary reason for its existence. To have a good program an architect must have a full understanding of the daily functions that will take place in the building. The architectural program along with site characteristics are among a few of the important guidelines in studying the form, adjacencies, and circulation for the structure itself and also in relation to the adjacent structures. Conceptual studies are part of the schematic design, which is the first milestone in the design process. The other reference points are design development and construction documents. At each milestone, review and coordination with all the consultants is established, and the user is essential in refining the project. In design development phase, conceptual diagrams take shape, and architectural, structural, mechanical, and electrical systems are developed. The final phase construction documents convey all the information required to construct the building. The design process and elements described were applied in the following project.

Jahromi, Soheila↗
DOE OSTI2021

Gleipnir: toward practical error analysis for Quantum programs

Practical error analysis is essential for the design, optimization, and evaluation of Noisy Intermediate-Scale Quantum(NISQ) computing. However, bounding errors in quantum programs is a grand challenge, because the effects of quantum errors depend on exponentially large quantum states. In this work, we present Gleipnir, a novel methodology toward practically computing verified error bounds in quantum programs. Gleipnir introduces the (ρ,δ)-diamond norm, an error metric constrained by a quantum predicate consisting of the approximate state ρ and its distance δ to the ideal state ρ. This predicate (ρ,δ) can be computed adaptively using tensor networks based on the Matrix Product States. Gleipnir features a lightweight logic for reasoning about error bounds in noisy quantum programs, based on the (ρ,δ)-diamond norm metric. Furthermore, our experimental results show that Gleipnir is able to efficiently generate tight error bounds for real-world quantum programs with 10 to 100 qubits, and can be used to evaluate the error mitigation performance of quantum compiler transformations.

Tao, Runzhou↗
NASA NTRS1991

The atmospheric effects of stratospheric aircraft: A topical review

In the late 1960s the aircraft industry became interested in developing a fleet of supersonic transports (SSTs). Between 1972 and 1975, the Climatic Impact Assessment Program (CIAP) studied the possible environmental impact of SSTs. For environmental and economic reasons, the fleet of SSTs was not developed. The Upper Atmosphere Research Program (UARP) has recently undertaken the responsibility of directing scientific research needed to assess the atmospheric impact of supersonic transports. The UARP and the High-Speed Research Program asked Harold Johnston to review the current understanding of aircraft emissions and their effect on the stratosphere. Johnston and his colleagues have recently re-examined the SST problem using current models for stratospheric ozone chemistry. A unique view is given here of the current scientific issues and the lessons learned since the beginning of CIAP, and it links the current research program with the assessment process that began two years ago.

Johnston, Harold S.↗
NASA NTRS1991

Derivation of sequential, real-time, process-control programs

The use of weakest-precondition predicate transformers in the derivation of sequential, process-control software is discussed. Only one extension to Dijkstra's calculus for deriving ordinary sequential programs was found to be necessary: function-valued auxiliary variables. These auxiliary variables are needed for reasoning about states of a physical process that exists during program transitions.

Marzullo, Keith↗
NASA NTRS1997

By Hand or Not By-Hand: A Case Study of Alternative Approaches to Parallelize CFD Applications

While parallel processing promises to speed up applications by several orders of magnitude, the performance achieved still depends upon several factors, including the multiprocessor architecture, system software, data distribution and alignment, as well as the methods used for partitioning the application and mapping its components onto the architecture. The existence of the Gorden Bell Prize given out at Supercomputing every year suggests that while good performance can be attained for real applications on general purpose multiprocessors, the large investment in man-power and time still has to be repeated for each application-machine combination. As applications and machine architectures become more complex, the cost and time-delays for obtaining performance by hand will become prohibitive. Computer users today can turn to three possible avenues for help: parallel libraries, parallel languages and compilers, interactive parallelization tools. The success of these methodologies, in turn, depends on proper application of data dependency analysis, program structure recognition and transformation, performance prediction as well as exploitation of user supplied knowledge. NASA has been developing multidisciplinary applications on highly parallel architectures under the High Performance Computing and Communications Program. Over the past six years, the transition of underlying hardware and system software have forced the scientists to spend a large effort to migrate and recede their applications. Various attempts to exploit software tools to automate the parallelization process have not produced favorable results. In this paper, we report our most recent experience with CAPTOOL, a package developed at Greenwich University. We have chosen CAPTOOL for three reasons: 1. CAPTOOL accepts a FORTRAN 77 program as input. This suggests its potential applicability to a large collection of legacy codes currently in use. 2. CAPTOOL employs domain decomposition to obtain parallelism. Although the fact that not all kinds of parallelism are handled may seem unappealing, many NASA applications in computational aerosciences as well as earth and space sciences are amenable to domain decomposition. 3. CAPTOOL generates code for a large variety of environments employed across NASA centers: MPI/PVM on network of workstations to the IBS/SP2 and CRAY/T3D.

Yan, Jerry C.↗
NASA NTRS1995

Global Dynamic Modeling of Space-Geodetic Data

The proposal had outlined a year for program conversion, a year for testing and debugging, and two years for numerical experiments. We kept to that schedule. In first (partial) year, author designed a finite element for isostatic thin-shell deformation on a sphere, derived all of its algebraic and stiffness properties, and embedded it in a new finite element code which derives its basic solution strategy (and some critical subroutines) from earlier flat-Earth codes. Also designed and programmed a new fault element to represent faults along plate boundaries. Wrote a preliminary version of a spherical graphics program for the display of output. Tested this new code for accuracy on individual model plates. Made estimates of the computer-time/cost efficiency of the code for whole-earth grids, which were reasonable. Finally, converted an interactive graphical grid-designer program from Cartesian to spherical geometry to permit the beginning of serious modeling. For reasons of cost efficiency, models are isostatic, and do not consider the local effects of unsupported loads or bending stresses. The requirements are: (1) ability to represent rigid rotation on a sphere; (2) ability to represent a spatially uniform strain-rate tensor in the limit of small elements; and (3) continuity of velocity across all element boundaries. Author designed a 3-node triangle shell element which has two different sets of basis functions to represent (vector) velocity and all other (scalar) variables. Such elements can be shown to converge to the formulas for plane triangles in the limit of small size, but can also applied to cover any area smaller than a hemisphere. The difficult volume integrals involved in computing the stiffness of such elements are performed numerically using 7 Gauss integration points on the surface of the sphere, beneath each of which a vertical integral is performed using about 100 points.

Bird, Peter↗
NASA NTRS1986

A second generation experiment in fault-tolerant software

Information was collected on the efficacy of fault-tolerant software by conducting two large-scale controlled experiments. In the first, an empirical study of multi-version software (MVS) was conducted. The second experiment is an empirical evaluation of self testing as a method of error detection (STED). The purpose ot the MVS experiment was to obtain empirical measurement of the performance of multi-version systems. Twenty versions of a program were prepared at four different sites under reasonably realistic development conditions from the same specifications. The purpose of the STED experiment was to obtain empirical measurements of the performance of assertions in error detection. Eight versions of a program were modified to include assertions at two different sites under controlled conditions. The overall structure of the testing environment for the MVS experiment and its status are described. Work to date in the STED experiment is also presented.

Knight, J. C.↗
NASA NTRS1992

Commercial opportunities in bioseparations and physiological testing aboard Space Station Freedom

The Center for Cell Research (CCR) is a NASA Center for the Commercial Development of Space which has as its main goal encouraging industry-driven biomedical/biotechnology space projects. Space Station Freedom (SSF) will provide long duration, crew-tended microgravity environments which will enhance the opportunities for commercial biomedical/biotechnology projects in bioseparations and physiological testing. The CCR bioseparations program, known as USCEPS (for United States Commercial Electrophoresis Program in Space), is developing access for American industry to continuous-flow electrophoresis aboard SSF. In space, considerable scale-up of continuous free-flow electrophoresis is possible for cells, sub cellular particles, proteins, growth factors, and other biological products. The lack of sedemination and buoyancy-driven convection flow enhances purity of separations and the amount of material processed/time. Through the CCR's physiological testing program, commercial organizations will have access aboard SSF to physiological systems experiments (PSE's); the Penn State Biomodule; and telemicroscopy. Physiological systems experiments involve the use of live animals for pharmaceutical product testing and discovery research. The Penn State Biomodule is a computer-controlled mini lab useful for projects involving live cells or tissues and macro molecular assembly studies, including protein crystallization. Telemicroscopy will enable staff on Earth to manipulate and monitor microscopic specimens on SSF for product development and discovery research or for medical diagnosis of astronaut health problems. Space-based product processing, testing, development, and discovery research using USCEPS and CCR's physiological testing program offer new routes to improved health on Earth. Direct crew involvement-in biomedical/biotechnology projects aboard SSF will enable better experimental outcomes. The current data base shows that there is reason for considerable optimism regarding what the CCDS program and the biomedical/biotechnology industry can expect to gain from a permanent manned presence in space.

Hymer, W. C.↗
NASA NTRS2002

New High-Performance SiC Fiber Developed for Ceramic Composites

Sylramic-iBN fiber is a new type of small-diameter (10-mm) SiC fiber that was developed at the NASA Glenn Research Center and was recently given an R&D 100 Award for 2001. It is produced by subjecting commercially available Sylramic (Dow Corning, Midland, MI) SiC fibers, fabrics, or preforms to a specially designed high-temperature treatment in a controlled nitrogen environment for a specific time. It can be used in a variety of applications, but it currently has the greatest advantage as a reinforcement for SiC/SiC ceramic composites that are targeted for long-term structural applications at temperatures higher than the capability of metallic superalloys. The commercial Sylramic SiC fiber, which is the precursor for the Sylramic-iBN fiber, is produced by Dow Corning, Midland, Michigan. It is derived from polymers at low temperatures and then pyrolyzed and sintered at high temperatures using boron-containing sintering aids (ref. 1). The sintering process results in very strong fibers (>3 GPa) that are dense, oxygen-free, and nearly stoichiometric. They also display an optimum grain size that is beneficial for high tensile strength, good creep resistance, and good thermal conductivity (ref. 2). The NASA-developed treatment allows the excess boron in the bulk to diffuse to the fiber surface where it reacts with nitrogen to form an in situ boron nitride (BN) coating on the fiber surface (thus the product name of Sylramic-iBN fiber). The removal of boron from the fiber bulk allows the retention of high tensile strength while significantly improving creep resistance and electrical conductivity, and probably thermal conductivity since the grains are slightly larger and the grain boundaries cleaner (ref. 2). Also, as shown in the graph, these improvements allow the fiber to display the best rupture strength at high temperatures in air for any available SiC fiber. In addition, for CMC applications under oxidizing conditions, the formation of an in situ BN surface layer creates a more environmentally durable fiber surface not only because a more oxidation-resistant BN is formed, but also because this layer provides a physical barrier between contacting fibers with oxidation-prone SiC surface layers (refs. 3 and 4). This year, Glenn demonstrated that the in situ BN treatment can be applied simply to Sylramic fibers located within continuous multifiber tows, within woven fabric pieces, or even assembled into complex product shapes (preforms). SiC/SiC ceramic composite panels have been fabricated from Sylramic-iBN fabric and then tested at Glenn within the Ultra-Efficient Engine Technology Program. The test conditions were selected to simulate those experienced by hot-section components in advanced gas turbine engines. The results from testing at Glenn demonstrate all the benefits expected for the Sylramic-iBN fibers. That is, the composites displayed the best thermostructural performance in comparison to composites reinforced by Sylramic fibers and by all other currently available high-performance SiC fiber types (refs. 3 and 5). For these reasons, the Ultra-Efficient Engine Technology Program has selected the Sylramic-iBN fiber for ongoing efforts aimed at SiC/SiC engine component development.

DiCarlo, James A.↗
DOE OSTI2025

Summary Report Of The FY25 Reactor Physics Verification And Validation Exercises In The Advanced Reactor Technologies - Gas-cooled Reactor Program

Valdiation and verification of numerical tools is critical for ensuring reasonable predictions for design scoping, licensing, and safety analsyis. In this report, two reactor physics verification and validation exercises are presented. The first of these exercises focuses on burnup analysis with data from the Advanced Gas Reactor (AGR) program. Simulations are performed with Monte Carlo N-Particle (MCNP) and are compared with the experimental measurements for the AGR 1 and 2 experiments that utilize both UCO and UO2 fuel. The second exercises utilizes data from the HTR-Proteus experiments to perform reactor physics validation. Specifications of the experimental facility are provdied, along with a demonstration of initial modeling efforts in Serpent for one of the determistic packing experiments. Both cases are part of the Generation-IV international forum (GIF) Very High-Temperature Reactor (VHTR) Computational Methods, Validation, and Benchmarking (CMVB) program, an international collaborative organization dedicated to the verification and validation of High-Temperature Gas-Cooled Reactor (HTGR) analysis. Participation in the CMVB allows the US Department of Energy (DOE) to leverage these existing validation activities to provide extra value through benchmarking activities with other CMVB members.

and Benchmarking (CMVB) program↗
DOE OSTI2013

Role of Congress in the High Level Radioactive Waste Odyssey: The Wisdom and Will of the Congress - 13096

Congress has had a dual role with regard to high level radioactive waste, being involved in both its creation and its disposal. A significant amount of time has passed between the creation of the nation's first high level radioactive waste and the present day. The pace of addressing its remediation has been highly irregular. Congress has had to consider the technical, regulatory, and political issues and all have had specific difficulties. It is a true odyssey framed by an imperative and accountability, by a sense of urgency, by an ability or inability to finish the job and by consequences. Congress had set a politically acceptable course by 1982. However, President Obama intervened in the process after he took office in January 2009. Through the efforts of his Administration, by the end of 2012, the US government has no program to dispose of high level radioactive waste and no reasonable prospect of a repository for high level radioactive waste. It is not obvious how the US government program will be reestablished or who will assume responsibility for leadership. The ultimate criteria for judging the consequences are 1) the outcome of the ongoing NRC's Nuclear Waste Confidence Rulemaking and 2) the concomitant permissibility of nuclear energy supplying electricity from operating reactors in the US. (authors)

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

Summary Report Of The FY25 Computational Fluid Dynamics Verification And Validation Exercises In The Advanced Reactor Technologies - Gas-cooled Reactor Program

Verification and Validation (V&V) of numerical tools is critical for ensuring reasonable predictions during design, safety analysis, and licensing. Recent work in the Advanced Reactor Technologies - Gas-cooled Reactor (ART-GCR) program has focused on V&V of common Computational Fluid Dynamics (CFD) tools that are used within the Untied States. This report presents an update on these CFD V&V activities. These Generation IV Forum (GIF) Very High Temperature Reactor (VHTR) Computational Methods, Validation, and Benchmarking (CMVB) is an international organization dedicated to the verification and validation of High Temperature Gas-Cooled Reactor (HTGR) simulation tools. Participation in the CMVB provides additional value to the V&V activities, as it allows for access to a wider range of data, and provides valuable benchmarking exercises. Three HTGR phenomena are targeted: Reactor Cavity Cooling System (RCCS) performance, core bypass flow, and lower plenum mixing. Simulations of the University of Wisconsin-Madison (UW-Madison) RCCS facilities are performed with Reynolds Averaged Navier-Stokes (RANS) in StarCCM+. Results are compared for both forced and natural convection conditions, with both exhibiting good agreement with experimental measurements. The Idaho National Laboratory (INL) matched index of refraction (MIR) and Korean Atomic Energy Research Institute (KAERI) bypass flow expeirments are used to validation CFD predictions of bypass flow. Simulations are performed with RANS in StarCCM+ and with Large Eddy Simulation (LES) in NekRS. Finally, preliminary simulations of the Institute of Nuclear and New Energy Technology (INET) lower plenum mixing facilities are presented. Initial work has developed models with LES, RANS, and porous media models. These preliminary models are presented and compared to each other to gauge differences in predictions with each of the three methods.

and Benchmarking (CMVB)↗
NASA NTRS1989

Reasoning about software specifications - A case study

The launch intercept condition (LIC) problem was analyzed to better understand the complexity of the automated reasoning process and the nature and role of background knowledge. An extension to resolution-based logic processing systems, called constraint logic programming, is described. Consideration is also given to a knowledge-driven incremental reasoning architecture which integrates a generic constraint logic programming system with a knowledge base of the domain.

Wild, Chris↗
NASA NTRS1999

Return to the Moon: A New Strategic Evaluation

This paper reviews the value of a new lunar program, initially robotic and eventually manned, in the light of developments since the 1991 Synthes Group study of the Space Exploration Initiative. The objective is to evaluate a return to the Moon in comparison to proposed Mars programs as a focus for American space exploration with humans in the next century. The Moon is demonstrably accessible, hospitable, useful, and interesting. Lunar programs are inherently faster and less risky from a programmatic viewpoint than comparable Mars programs such as Mars Direct. The dominant reason for a resumption of manned lunar missions, focused on a single site such as Grimaldi, is to rebuild the infrastructure for missions beyond Earth orbit, the last of which was in 1972. A transitional prograrr@ corresponding to the 10 Gemini missions that bridged the gap between Mercury and Apollo, was considered absolutely essential by the Synthesis Group. Further justification for a return to the Moon is the demonstrated feasibility of a robotic lunar observatory, concentrating on optical and infrared interferometry. Many unsolved scientific questions about the Moon itself remain, and could be investigated using telerobotic lunar rovers even before the return of humans. Mars is unquestionably more interesting scientifically and far more hospitable for long-term colonization. A new lunar program would be the most effective possible preparation for the human exploration, settlement and eventually the terraforming of Mars. Lunar and Mars programs are complementary, not competitive. Both can be justified in the most fundamental terms as beginning the dispersal of the human species against uncontrollable natural disasters, cometary or asteroidal impacts in particular, to which mankind is vulnerable while confined to a single planet. Three specific programs are recommended for the 2001-2010 period: Ice Prospectors, to evaluate polar ice or hydrogen deposits; a robotic lunar observatory; and a manned lunar base and observatory.

Lowman, Paul D., Jr.↗