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 1,189 records · Page 66
All sourcesNASA NTRSDOE OSTI
DOE OSTI2013

Low-e Storm Windows: Market Assessment and Pathways to Market Transformation

Laboratory and field studies sponsored by the U.S. Department of Energy (DOE) demonstrate that the use of low-emissivity (low-e) storm windows can lead to significant heating and cooling energy savings in homes. This report examines the market for low-e storm windows based on market data, case studies, and recent experience with weatherization deployment programs. It uses information from interviews conducted with DOE researchers and industry partners involved in case studies and early deployment efforts related to low-e storm windows. In addition, this study examines potential barriers to market acceptance, assesses the market and energy savings potential, and identifies opportunities to transform the market for low-e storm windows and overcome market adoption barriers. Based on laboratory testing, case studies, and climate-based modeled energy savings, the installation of low-e storm windows is estimated to reduce heating and cooling consumption by 12 to 33% in residential homes. Individual home savings would depend on the overall condition of existing windows and home as well as climate conditions. Based on these heating and cooling saving ranges, low-e storm windows have a technical potential energy savings – that is, the energy savings that would result if all low-performing windows were covered with low-e storm windows – ranging from 0.7 to 1.96 quadrillion Btus primary (source) energy. Of this technical potential, this study estimates that market adoption of low-e storm windows could reasonably achieve savings of 140 trillion Btus of primary energy annually by 2025, assuming DOE implements a number of market transformation activities directed toward low-e storm window market adoption. To assess the marketability and market adoption potential of low-e storm windows, this study examines and characterizes the benefits and costs of the technology, the size and characteristics of likely target markets, the potential pathways to reach these markets, possible market barriers, and the likelihood of overcoming these barriers. A number of promising market transformation pathways are identified including existing weatherization assistance programs, utility energy-efficiency incentive programs, federally sponsored energy efficiency retrofit programs, standards and rating organizations, and federal building energy-efficiency mandates and programs. By working with storm window manufacturers, installers, energy-efficiency consortiums, and the Federal Energy Management Program, the U.S. Department of Energy’s Building America program could implement a number of targeted outreach, education, and technical assistance programs to help effectively transform the market for low-e storm windows and have a measurable impact on reducing residential energy consumption over time.

Building America↗
DOE OSTI2017

Improvement of the prediction of surface ozone concentration over conterminous U.S. by a computationally efficient second-order Rosenbrock solver in CAM4-Chem

The global chemistry-climate model (CAM4-Chem) overestimates the surface ozone concentration over the conterminous U.S. (CONUS). Reasons for this positive bias include emission, meteorology, chemical mechanism, and solver. In this study, we explore the last possibility by examining the sensitivity to the numerical methods for solving the chemistry equations. A second-order Rosenbrock (ROS-2) solver is implemented in CAM4-Chem to examine its influence on the surface ozone concentration and the computational performance of the chemistry program. Results show that under the same time step size (1800 s), statistically significant reduction of positive bias is achieved by the ROS-2 solver. The improvement is as large as 5.2 ppb in Eastern U.S. during summer season. The ROS-2 solver is shown to reduce the positive bias in Europe and Asia as well, indicating the lower surface ozone concentration over the CONUS predicted by the ROS-2 solver is not a trade-off consequence with increasing the ozone concentration at other global regions. In addition, by refining the time step size to 180 s, the first-order implicit solver does not provide statistically significant improvement of surface ozone concentration. It reveals that the better prediction from the ROS-2 solver is not only due to its accuracy but also due to its suitability for stiff chemistry equations. As an added benefit, the computation cost of the ROS-2 solver is almost half of first-order implicit solver. The improved computational efficiency of the ROS-2 solver is due to the reuse of the Jacobian matrix and lower upper (LU) factorization during its multistage calculation.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1983

Efficient three-dimensional global models for climate studies - Models I and II

Climate modeling based on numerical solution of the fundamental equations for atmospheric structure and motion permits the explicit modeling of physical processes in the climate system and the natural treatment of interactions and feedbacks among parts of the system. The main difficulty concerning this approach is related to the computational requirements. The present investigation is concerned with the development of a grid-point model which is programmed so that both horizontal and vertical resolutions can easily be changed. Attention is given to a description of Model I, the performance of sensitivity experiments by varying parameters, the definition of an improved Model II, and a study of the dependence of climate simulation on resolution with Model II. It is shown that the major features of global climate can be simulated reasonably well with a horizontal resolution as coarse as 1000 km. Such a resolution allows the possibility of long-range climate studies with moderate computer resources.

Russel, G.↗
NASA NTRS1987

Research on knowledge representation, machine learning, and knowledge acquisition

Research in knowledge representation, machine learning, and knowledge acquisition performed at Knowledge Systems Lab. is summarized. The major goal of the research was to develop flexible, effective methods for representing the qualitative knowledge necessary for solving large problems that require symbolic reasoning as well as numerical computation. The research focused on integrating different representation methods to describe different kinds of knowledge more effectively than any one method can alone. In particular, emphasis was placed on representing and using spatial information about three dimensional objects and constraints on the arrangement of these objects in space. Another major theme is the development of robust machine learning programs that can be integrated with a variety of intelligent systems. To achieve this goal, learning methods were designed, implemented and experimented within several different problem solving environments.

Buchanan, Bruce G.↗
NASA NTRS1988

Space Station Active Thermal Control System modeling

The Space Station Active Thermal Control System (ATCS) has been modeled using modified SINDA/SINFLO programs to solve two-phase Thermo-fluid problems. The modifications include changes in several subroutines to incorporate implicit solution which allows larger time step as compared to that for explicit solutions. Larger time step saves computer time but involves larger computational error. Several runs were made using various time steps for the ATCS model. It has been found that for a reasonable approach, three times larger time step as compared to that used in explicit method is a good value which will reduce the computer time by approximately 50 percent and still maintain the accuracy of the output data to within 90 percent of the explicit values.

Hye, Abdul↗
NASA NTRS1986

Orbital transfer vehicle concept definition and system analysis study, 1985. Volume 3: System and program trades

The key system and program trade studies performed to arrive at a preferred Orbital Transfer Vehicle (OTV) system concept and evolutionary approach to the acquisition of the requisite capabilites is documented. These efforts were expanded to encompass a Space Transportation Architecture Study (STAS) mission model and recommended unmanned cargo vehicle. The most important factors affecting the results presented are the mission model requirements and selection criteria. The reason for conducting the OTV concept definition and system analyses study is to select a concept and acquisition approach that meets a delivery requirement reflected by the mission model.

Nelson, James H.↗
NASA NTRS1991

The interactions of atmospheric cosmogenic radionuclides with spacecraft surfaces

The discovery of the cosmogenic radionuclide Be-7 on the front surface (and the front surface only) of the Long Duration Exposure Facility (LDEF) spacecraft has opened opportunities to investigate new phenomena in several disciplines of space science. The experiments performed for this work show that the Be-7 results only if the source of the isotope is the atmosphere through which the spacecraft passed. We should expect that the uptake of beryllium in such circumstances will depend on the chemical form of the Be and the chemical nature of the substrate. It was found that the observed concentration of Be-7 does, in fact, differ between metal surfaces and organic surfaces such as PTFE (teflon). It is noted, however, that: (1) organic surfaces, even PTFE, are etched by the atomic oxygen found under these orbital conditions, and (2) the relative velocity of the species is 8 km(exp -1)s relative to the surface and the interaction chemistry and physics may differ from the norm. The Be-7 is formed by spallation of O and N nuclei under cosmic ray proton bombardment. The principal source region is at altitudes of 12-15 km. While very small quantities are produced above 300 km, the amount measured on the LDEF was 3 to 4 orders of magnitude higher than expected from production at orbital attitude. The most reasonable explanation is that Be-7 is rapidly transported from low altitudes by some unknown mechanism. The process must take place on a time scale similar to the half-life of the isotope (53 days). Many other isotopes are produced by cosmic ray reactions, and some of these are suited to measurement by the extremely sensitive methods of accelerator mass spectrometry. A program was initiated to search for these isotopes and it is hoped that such studies will provide new methods for studying mixing in the upper atmosphere.

Gregory, John C.↗
NASA NTRS1990

ART-Ada design project, phase 2

Interest in deploying expert systems in Ada has increased. An Ada based expert system tool is described called ART-Ada, which was built to support research into the language and methodological issues of expert systems in Ada. ART-Ada allows applications of an existing expert system tool called ART-IM (Automated Reasoning Tool for Information Management) to be deployed in various Ada environments. ART-IM, a C-based expert system tool, is used to generate Ada source code which is compiled and linked with an Ada based inference engine to produce an Ada executable image. ART-Ada is being used to implement several expert systems for NASA's Space Station Freedom Program and the U.S. Air Force.

Lee, S. Daniel↗
NASA NTRS1992

The interactions of atmospheric cosmogenic radionuclides with spacecraft surfaces

The discovery of the cosmogenic radionuclide Be-7 on the front surface of the Long Duration Exposure Facility (LDEF) spacecraft has opened opportunities to investigate new phenomena in several disciplines of space science. The experiments performed for this work show that the Be-7 results only if the source of the isotope is the atmosphere through which the spacecraft passed. We should expect that the uptake of beryllium in such circumstances will depend on the chemical form of the Be and the chemical nature of the substrate. It was found that the observed concentration of Be-7 does, in fact, differ between metal surfaces and organic surfaces such as PTFE (teflon). It is noted, however, that: (1) organic surfaces, even PTFE, are etched by the atomic oxygen found under these orbital conditions, and (2) the relative velocity of the species is 8 km(exp -1)s relative to the surface and the interaction chemistry and physics may differ from the norm. The Be-7 is formed by spallation of O and N nuclei under cosmic ray proton bombardment. The principal source region is at altitudes of 12-15 km. While very small quantities are produced above 300 km, the amount measured on the LDEF was 3 to 4 orders of magnitude higher than expected from production at orbital altitude. The most reasonable explanation is that Be-7 is rapidly transported from low altitudes by some unknown mechanism. The process must take place on a time scale similar to the half-life of the isotope (53 days). Many other isotopes are produced by cosmic ray reactions, and some of these are suited to measurement by the extremely sensitive methods of accelerator mass spectrometry. A program was initiated to search for these isotopes and it is hoped that such studies will provide new methods for studying mixing in the upper atmosphere.

Gregory, J. C.↗
NASA NTRS1994

Multilevel algorithms for nonlinear optimization

Multidisciplinary design optimization (MDO) gives rise to nonlinear optimization problems characterized by a large number of constraints that naturally occur in blocks. We propose a class of multilevel optimization methods motivated by the structure and number of constraints and by the expense of the derivative computations for MDO. The algorithms are an extension to the nonlinear programming problem of the successful class of local Brown-Brent algorithms for nonlinear equations. Our extensions allow the user to partition constraints into arbitrary blocks to fit the application, and they separately process each block and the objective function, restricted to certain subspaces. The methods use trust regions as a globalization strategy, and they have been shown to be globally convergent under reasonable assumptions. The multilevel algorithms can be applied to all classes of MDO formulations. Multilevel algorithms for solving nonlinear systems of equations are a special case of the multilevel optimization methods. In this case, they can be viewed as a trust-region globalization of the Brown-Brent class.

Alexandrov, Natalia↗
NASA NTRS1998

Integrating Cache Performance Modeling and Tuning Support in Parallelization Tools

With the resurgence of distributed shared memory (DSM) systems based on cache-coherent Non Uniform Memory Access (ccNUMA) architectures and increasing disparity between memory and processors speeds, data locality overheads are becoming the greatest bottlenecks in the way of realizing potential high performance of these systems. While parallelization tools and compilers facilitate the users in porting their sequential applications to a DSM system, a lot of time and effort is needed to tune the memory performance of these applications to achieve reasonable speedup. In this paper, we show that integrating cache performance modeling and tuning support within a parallelization environment can alleviate this problem. The Cache Performance Modeling and Prediction Tool (CPMP), employs trace-driven simulation techniques without the overhead of generating and managing detailed address traces. CPMP predicts the cache performance impact of source code level "what-if" modifications in a program to assist a user in the tuning process. CPMP is built on top of a customized version of the Computer Aided Parallelization Tools (CAPTools) environment. Finally, we demonstrate how CPMP can be applied to tune a real Computational Fluid Dynamics (CFD) application.

Waheed, Abdul↗
NASA NTRS2008

Improved Verification for Aerospace Systems

Aerospace systems are subject to many stringent performance requirements to be verified with low risk. This report investigates verification planning using conditional approaches vice the standard classical statistical methods, and usage of historical surrogate data for requirement validation and in verification planning. The example used in this report to illustrate the results of these investigations is a proposed mission assurance requirement with the concomitant maximum acceptable verification risk for the NASA Constellation Program Orion Launch Abort System (LAS). This report demonstrates the following improvements: 1) verification planning using conditional approaches vice classical statistical methods results in plans that are more achievable and feasible; 2) historical surrogate data can be used to bound validation of performance requirements; and, 3) incorporation of historical surrogate data in verification planning using conditional approaches produces even less costly and more reasonable verification plans. The procedures presented in this report may produce similar improvements and cost savings in verification for any stringent performance requirement for an aerospace system.

Powell, Mark A.↗
NASA NTRS2014

Compositional Solution Space Quantification for Probabilistic Software Analysis

Probabilistic software analysis aims at quantifying how likely a target event is to occur during program execution. Current approaches rely on symbolic execution to identify the conditions to reach the target event and try to quantify the fraction of the input domain satisfying these conditions. Precise quantification is usually limited to linear constraints, while only approximate solutions can be provided in general through statistical approaches. However, statistical approaches may fail to converge to an acceptable accuracy within a reasonable time. We present a compositional statistical approach for the efficient quantification of solution spaces for arbitrarily complex constraints over bounded floating-point domains. The approach leverages interval constraint propagation to improve the accuracy of the estimation by focusing the sampling on the regions of the input domain containing the sought solutions. Preliminary experiments show significant improvement on previous approaches both in results accuracy and analysis time.

Monte Carlo Methods↗
NASA NTRS2002

Uses of Computed Tomography in the NASA Materials Science Program

Computed Tomography (CT) has proved to be of inestimable use in providing a rapid evaluation of a variety of samples from Mechanics of Granular Materials (MGM) to electronic materials (Ge-Si alloys) to space grown materials such as meteorites. The system at Kennedy Space Center (KSC), because of its convenient geographical location, is ideal for examining samples immediately after returning to Earth. It also has the advantage of the choice of fluxes, and in particular the use of a radioactive cobalt source, which is basically monochromatic. This permits a reasonable measurement of density to be made from which chemical composition can be determined. Due to the current dearth of long duration space grown materials, the CT instrument has been used to characterize materials in preparation for flight, to determine thermal expansion values, and to examine long duration space grown materials, i.e. meteorites. The work will first describe the establishment of the protocol for obtaining the optimum density readings for any material. This will include both the effects of the hardware or instrumental parameters that can be controlled, and the techniques used to process the CT data. Examples will be given of the compositional variation along single crystals of germanium-silicon alloys. Density variation with temperature has been measured in preparation for future materials science experiments; this involved the fabrication and installation of a single zone furnace incorporating a heat pipe to ensure of high temperature uniformity. At the time of writing the thermal expansion of lead has been measured from room temperature to 900 C. Three methods are available. Digital radiography enable length changes to be determined. Prior to melting the sample is small than the container and the diameter change can be measured. Most critical, however, is the density change in solid, through the melting region, and in the liquid state. These data are needed for engineering purposes to aid in the design of containment cartridges, and for enabling fluid flow calculations. A second sample, with the lead alloyed with antimony is ready for scanning. This corresponds to the planned composition of Dr. Poirier's flight experiment. Finally, three-dimensional results will be shown of the structure of a two-phase metallic meteorite of metal and sulfide, in which the iron-nickel phase has coarsened during slow cooling over hundreds of millions of years.

Engel, H. Peter↗
DOE OSTI2016

RAVEN User Manual

RAVEN is a generic software framework to perform parametric and probabilistic analysis based on the response of complex system codes. The initial development was aimed to provide dynamic risk analysis capabilities to the Thermo-Hydraulic code RELAP-7, currently under development at the Idaho National Laboratory (INL). Although the initial goal has been fully accomplished, RAVEN is now a multi-purpose probabilistic and uncertainty quantification platform, capable to agnostically communicate with any system code. This agnosticism includes providing Application Programming Interfaces (APIs). These APIs are used to allow RAVEN to interact with any code as long as all the parameters that need to be perturbed are accessible by input files or via python interfaces. RAVEN is capable of investigating the system response, and investigating the input space using Monte Carlo, Grid, or Latin Hyper Cube sampling schemes, but its strength is focused toward system feature discovery, such as limit surfaces, separating regions of the input space leading to system failure, using dynamic supervised learning techniques. The development of RAVEN started in 2012, when, within the Nuclear Energy Advanced Modeling and Simulation (NEAMS) program, the need to provide a modern risk evaluation framework became stronger. RAVEN principal assignment is to provide the necessary software and algorithms in order to employ the concept developed by the Risk Informed Safety Margin Characterization (RISMC) program. RISMC is one of the pathways defined within the Light Water Reactor Sustainability (LWRS) program. In the RISMC approach, the goal is not just the individuation of the frequency of an event potentially leading to a system failure, but the closeness (or not) to key safety-related events. Hence, the approach is interested in identifying and increasing the safety margins related to those events. A safety margin is a numerical value quantifying the probability that a safety metric (e.g. for an important process such as peak pressure in a pipe) is exceeded under certain conditions. The initial development of RAVEN has been focused on providing dynamic risk assessment capability to RELAP-7, currently under development at the INL and, likely, future replacement of the RELAP5-3D code. Most the capabilities that have been implemented having RELAP-7 as principal focus are easily deployable for other system codes. For this reason, several side activates are currently ongoing for coupling RAVEN with software such as RELAP5-3D, etc. The aim of this document is the explanation of the input requirements, focusing on the input structure.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2024

Towards the First High-Q Treatments for the FCC 800 MHz 5-Cell Elliptical Cavities

Development towards the various realizations of the FCC machine requires optimization of sub-GHz elliptical cavities for high-gradient and high-Q operation, both in pulsed and CW mode, for application in the booster and collider portions. Previous development work validated the proposed 800 MHz 5-cell elliptical RF design, showing reasonable performance after EP treatment. However, the stringent high-Q (3.8e+10) and high-gradient (24 MV/m) goals of the FCC machine cavities will require further development, relying on advanced surface processing techniques developed at 1.3 GHz, such as medium-temperature furnace baking. We describe the development and preparation of 1- and 5- cell 800 MHz cavities for the high-Q program. In parallel, we discuss the design progress and strategies for integrating the 800 MHz cavities into cryomodules to be implemented in both the booster and collider rings.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1972

Low-lift-to-drag-ratio approach and landing studies using a CV-990 airplane

The results are presented of a flight-test program utilizing a CV-990 airplane, flow in low-lift-to-drag-ratio (L/D) configurations, to simulate terminal area operation, approach, and landing of large unpowered vehicles. The results indicate that unpowered approaches and landings are practical with vehicles of the size and performance characteristics of the proposed shuttle vehicle. Low L/D landings provided touchdown dispersion patterns acceptable for operation on runways of reasonable length. The dispersion pattern was reduced when guidance was used during the final approach. High levels of pilot proficiency were not required for acceptable performance.

Kock, B. M.↗
NASA NTRS1972

Instantaneous distortion investigation

The results obtained in an inlet-engine compatibility test run in the 10x10 SWT of the NASA-Lewis Research Center are reviewed. This program was run to measure the time-variant distortions produced in a supersonic inlet and to relate a unique distortion peak, occurring in an instant of time, to the origin of stall in a compressor. The major stumbling block in this type of effort is the determination of a proper increment of time over which to average pressures before computing distortions. It is reasonable to expect that the proper averaging time is related to the particular compressor in question. The most significant point reported is that the proper averaging time may not be solely dependent on a particular compressor, and, in fact, may vary with operating conditions, even for the same inlet-engine combination.

Calogeras, J. E.↗