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

Affordable and Lightweight High-Resolution X-ray Optics for Astronomical Missions

Future x-ray astronomical missions require x-ray mirror assemblies that provide both high angular resolution and large photon collecting area. In addition, as x-ray astronomy undertakes more sensitive sky surveys, a large field of view is becoming increasingly important as well. Since implementation of these requirements must be carried out in broad political and economical contexts, any technology that meets these performance requirements must also be financially affordable and can be implemented on a reasonable schedule. In this paper we report on progress of an x-ray optics development program that has been designed to address all of these requirements. The program adopts the segmented optical design, thereby is capable of making both small and large mirror assemblies for missions of any size. This program has five technical elements: (1) fabrication of mirror substrates, (2) coating, (3) alignment, (4) bonding, and (5) mirror module systems engineering and testing. In the past year we have made progress in each of these five areas, advancing the angular resolution of mirror modules from 10.8 arc-seconds half-power diameter reported (HPD) a year ago to 8.3 arc-seconds now. These mirror modules have been subjected to and passed all environmental tests, including vibration, acoustic, and thermal vacuum. As such this technology is ready for implementing a mission that requires a 10-arc-second mirror assembly. Further development in the next two years would make it ready for a mission requiring a 5-arc-second mirror assembly. We expect that, by the end of this decade, this technology would enable the x-ray astrophysical community to compete effectively for a major x-ray mission in the 2020s that would require one or more 1-arc-second mirror assemblies for imaging, spectroscopic, timing, and survey studies.

glass slumping↗
NASA NTRSDate not supplied

New Topographic Products for the Lunar South Pole from the Lunar Orbiter Laser Altimeter (LOLA)

Due to the Moon’s low obliquity and highly cratered topography, its polar environments host regions of extreme illumination conditions. Multiple lines of evidence indicate the presence of geologically stable ice and other volatiles on or below the surface within polar permanently shadowed regions (PSRs). These regions are valuable targets for science and exploration as they hold clues to the history of water in the inner solar system and may hold sufficient reserves for in-situ resource utilization. Standing high above the PSRs, peaks of long-duration sunlight are oases where landed assets can easily generate power and communicate. For these reasons, the lunar south pole is the target of many upcoming missions including NASA’s Artemis program. The Lunar Orbiter Laser Altimeter (LOLA) onboard the Lunar Reconnaissance Orbiter (LRO) provides the global geodetic framework with which past, present, and future missions can accurately geolocate their data. Laser altimeters like LOLA are unaffected by shadows and, therefore, provide the most direct measurements of topography within PSRs. Here we present the latest work to improve LOLA’s polar topographic maps and resulting derived products, such as PSR maps, which are crucial tools for science and exploration of the polar regions

Michael K Barker↗
DOE OSTI2017

Low Temperature Waste Form for Supplemental Immobilization of Hanford Low Activity Waste - 17485

The Hanford site has approximately 56 million gallons of radioactive waste stored in 177 underground storage tanks. The Hanford Waste Treatment and Immobilization Plant (WTP) is being constructed to treat the waste but will only have sufficient capacity to treat about one-third of the Low Activity Waste (LAW) portion within the anticipated time-frame for completing the waste treatment mission. The LAW vitrification facility will need to be supplemented with additional LAW vitrification capacity or an alternate LAW immobilization technology. The LAW immobilization technologies considered must be capable of treating approximately 65% of Hanford's LAW and will be evaluated with respect to facilities required, quantity of final waste forms and secondary wastes produced, waste form performance data, technical viability, and life cycle cost and schedule estimates. A low temperature (i.e. non-thermal) waste form and treatment process is being evaluated to provide the additional LAW immobilization capacity. Low temperature, cementitious waste forms have been evaluated previously for immobilizing Hanford tank waste but were not further developed for various reasons. Over the past few years the Hanford Tank Operations Contractor has conducted a technology development program to evaluate a low temperature waste form for immobilization of Hanford LAW including formulation development and testing with a range of simulant compositions spiked with radioactive and hazardous contaminants of concern (COCs). The objectives of this program include; developing a low temperature waste form formulation that is robust with respect to both waste form performance and processing properties over a range of LAW compositions, demonstrating waste form performance with real waste, and conducting Engineering Scale testing to advance the technical maturity of the low temperature immobilization process. The purpose of this paper is to report progress toward these objectives, in particular testing with real waste including additives to enhance technetium and iodine retention. (authors)

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

UN-SiC TRISO Post Irradiation Examination Developmental Work

As part of efforts to strengthen INL?s post irradiation analysis capabilities with non-Advanced Gas Reactor (AGR) tristructural isotropic (TRISO) fuels, two developmental activities were conducted. The first activity was to determine how best to analyze uranium nitride TRISO fuel kernels using electron probe microanalysis, while the second activity focused on developing a method to deconsolidate TRISO fuel particles that have been encased in a silicon carbide matrix. Because these two activities were unrelated, they have been presented separately in this report. Initial EPMA analyses showed nitrogen contents that far exceeded the concentration expected for UN--a line compound. Further examination showed that current literature values for the mass absorption coefficient (MAC) for the N ka X-ray absorbed by U ranged from approximately 1600 to 9500, with most values tending toward 9500. Measuring UN with five different progressively increasing accelerating voltages followed by using the modeling program xMAC suggests the actual MAC is approximately 2115. Additional MAC modifications were required to produce reasonable analytical results. Because of the inaccuracies of necessary MAC coefficients, UN analysis via scanning electron microscopy (SEM) is likely to produce inaccurate results. This is because SEM software does not typically allow the user to alter MACs. Tests have been performed to examine the feasibility of an electrochemical technique to liberate irradiated TRISO fuel from a SiC matrix without damaging the outer pyrolytic carbon layer of the fuel particle. The method is performed by electrochemically exposing the SiC to magnesium metal forming Mg2Si and C. Following exposure, the small SiC samples showed slight mass increases with no evidence of conversion to Mg2Si and C nor obvious degradation of the SiC samples.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2020

A parametric SPICE model for the simulation of spark gap switches

The use of SPICE-based software for the simulation of pulsed power systems—even large complex systems—has become commonplace in the pulsed power community. This is in contrast to earlier work in the field that relied on specially developed simulation codes such as Sandia’s Screamer or the Navy Research Lab’s Bertha, which natively incorporated models for common pulsed power components such as spark gap switches. Unlike these programs, SPICE programs provide a simple and familiar user interface and wide availability. However, SPICE programs do not include realistic models for key pulsed power circuit devices—including the spark gap switch. While simple switch models do exist in SPICE programs, these can only crudely approximate the behavior of a spark gap. This effort focuses on developing an SPICE circuit model for a gas-filled spark gap switch that is physically realistic while being simple enough to permit simulations to run in reasonable times on typical personal computers. Detailed information is provided for implementation in two common versions of SPICE: LTspice and Orcad PSPICE. Adaptation to other SPICE programs is possible with minimal modification. The model is intended as a design tool that uses physical parameters as inputs to connect it directly to the development of useable pulsed power systems. Data collected from the operation of a high-pressure pulsed-charged switch and a complete 12-stage Marx generator have been used to demonstrate the implementation and accuracy of the model over a wide range of parameters.

Pouncey, J. Cameron (ORCID:0000000153500816)↗
DOE OSTI2019

Multi-Stage Stochastic Programming to Joint Economic Dispatch for Energy and Reserve With Uncertain Renewable Energy

To address the uncertain renewable energy in the day-ahead optimal dispatch of energy and reserve, a multi-stage stochastic programming model is established in this paper to minimize the expected total costs. The uncertainties over the multiple stages are characterized by a scenario tree and the optimal dispatch scheme is cast as a decision tree which guarantees the flexibility to decide the reasonable outputs of generation and the adequate reserves accounting for different realizations of renewable energy. Most importantly, to deal with the “Curse of Dimensionality” of stochastic programming, stochastic dual dynamic programming (SDDP) is employed, which decomposes the original problem into several sub-problems according to the stages. Specifically, the SDDP algorithm performs forward pass and backward pass repeatedly until the convergence criterion is satisfied. At each iteration, the original problem is approximated by creating a linear piecewise function. Besides, an improved convergence criterion is adopted to narrow the optimization gaps. The results on the IEEE 118-bus system and real-life provincial power grid show the effectiveness of the proposed model and method.

economic dispatch↗
NASA NTRS2005

Return to Flight Task Group

It has been 29 months since Columbia was lost over East Texas in February 2003. Seven months after the accident, the Columbia Accident Investigation Board (CAIB) released the first volume of its final report, citing a variety of technical, managerial, and cultural issues within NASA and the Space Shuttle Program. To their credit, NASA offered few excuses, embraced the report, and set about correcting the deficiencies noted by the accident board. Of the 29 recommendations issued by the CAIB, 15 were deemed critical enough that the accident board believed they should be implemented prior to returning the Space Shuttle to flight. Some of these recommendations were relatively easy, most were straightforward, a few bordered on the impossible, and others were largely overcome by events, particularly the decision by the President to retire the Space Shuttle by 2010. The Return to Flight Task Group (RTF TG, or simply, the Task Group) was chartered by the NASA Administrator in July 2003 to provide an independent assessment of the implementation of the 15 CAIB return-to-flight recommendations. An important observation must be stated up-front: neither the CAIB nor the RTF TG believes that all risk can be eliminated from Space Shuttle operations; nor do we believe that the Space Shuttle is inherently unsafe. What the CAIB and RTF TG do believe, however, is that NASA and the American public need to understand the risks associated with space travel, and that NASA must make every reasonable effort to minimize such risk. Since the release of the CAIB report, NASA and the Space Shuttle Program expended enormous effort and resources toward correcting the causes of the accident and preparing to fly again. Relative to the 15 specific recommendations that the CAIB indicated should be implemented prior to returning to flight, NASA has met or exceeded most of them the Task Group believes that NASA met the intent of the CAIB for 12 of these recommendations. The remaining three recommendations were so challenging that NASA could not comply completely with the intent of the CAIB.

Source record↗
DOE OSTI2024

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2012

A decision support system prototype including human factors based on the TOGA meta-theory approach

The human contribution to the risk of operation of complex technological systems is often not negligible and sometimes tends to become significant, as shown by many reports on incidents and accidents occurred in the past inside Nuclear Power Plants (NPPs). An error of a human operator of a NPP can derive by both omission and commission. For instance, complex commission errors can also lead to significant catastrophic technological accidents, as for the case of the Three Mile Island accident. Typically, the problem is analyzed by focusing on the single event chain that has provoked the incident or accident. What is needed is a general framework able to include as many parameters as possible, i.e. both technological and human factors. Such a general model could allow to envisage an omission or commission error before it can happen or, alternatively, suggest preferred actions to do in order to take countermeasures to neutralize the effect of the error before it becomes critical. In this paper, a preliminary Decision Support System (DSS) based on the so-called (-) TOGA meta-theory approach is presented. The application of such a theory to the management of nuclear power plants has been presented in the previous ICAPP 2011. Here, a human factor simulator prototype is proposed in order to include the effect of human errors in the decision path. The DSS has been developed using a TRIGA research reactor as reference plant, and implemented using the LabVIEW programming environment and the Finite State Machine (FSM) model The proposed DSS shows how to apply the Universal Reasoning Paradigm (URP) and the Universal Management Paradigm (UMP) to a real plant context. The DSS receives inputs from instrumentation data and gives as output a suggested decision. It is obtained as the result of an internal elaborating process based on a performance function. The latter, describes the degree of satisfaction and efficiency, which are dependent on the level of responsibility related to each professional role. As an application, we present the simulation of the discussed error, e.g. the unchecked extraction of the control rods during a power variation maneuver and we show how the effect of human errors can affect the performance function, giving rise to different countermeasures which could call different operator figures into play, potentially not envisaged in the standard procedure. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗
NASA NTRS2012

Vertical Profiles of Aerosol Optical Properties Over Central Illinois and Comparison with Surface and Satellite Measurements

Between June 2006 and September 2009, an instrumented light aircraft measured over 400 vertical profiles of aerosol and trace gas properties over eastern and central Illinois. The primary objectives of this program were to (1) measure the in situ aerosol properties and determine their vertical and temporal variability and (2) relate these aircraft measurements to concurrent surface and satellite measurements. Underflights of the CALIPSO satellite show reasonable agreement in a majority of retrieved profiles between aircraft-measured extinction at 532 nm (adjusted to ambient relative humidity) and CALIPSO-retrieved extinction, and suggest that routine aircraft profiling programs can be used to better understand and validate satellite retrieval algorithms. CALIPSO tended to overestimate the aerosol extinction at this location in some boundary layer flight segments when scattered or broken clouds were present, which could be related to problems with CALIPSO cloud screening methods. The in situ aircraft-collected aerosol data suggest extinction thresholds for the likelihood of aerosol layers being detected by the CALIOP lidar. These statistical data offer guidance as to the likelihood of CALIPSO's ability to retrieve aerosol extinction at various locations around the globe.

Sheridan P. J.↗
DOE OSTI2015

Light Duty Fuel Cell Electric Vehicle Validation Data (Final Technical Report)

Electricore, along with partners from Quong & Associates, Inc., Honda R&D Americas (Honda), Nissan Technical Center North America (Nissan), and Toyota Motor Engineering & Manufacturing North America, Inc. (Toyota), participated in the Light Duty Fuel Cell Electric Vehicle (FCEV) Validation Data program sponsored by the Department of Energy (DOE) Office of Energy Efficiency and Renewable Energy (EERE) (Cooperative Agreement No. DE-EE0005968). The goal of this program was to provide real world data from the operation of past and current FCEVs, in order to measure their performance and improvements over time. The program was successful; 85% of the data fields requested were provided and not restricted due to proprietary reasons. Overall, the team from Electricore provided at least 4.8 GB of data to DOE, which was combined with data from other participants to produce over 33 key data products. These products included vehicle performance and fuel cell stack performance/durability. The data were submitted to the National Renewable Energy Laboratory’s National Fuel Cell Technology Evaluation Center (NREL NFCTEC) and combined with input from other participants. NREL then produced composite data products (CDP) which anonymized the data in order to maintain confidentiality. The results were compared with past data, which showed a measurable improvement in FCEVs over the past several years. The results were presented by NREL at the 2014 Fuel Cell Seminar, and 2014 and 2015 (planned) DOE Annual Merit Review. The project was successful. The team provided all of the data agreed upon and met all of its goals. The project finished on time and within budget. In addition, an extra $62,911 of cost sharing was provided by the Electricore team. All participants believed that the method used to collect, combine, anonymize, and present the data was technically and economically effective. This project helped EERE meet its mission of ensuring America’s security and prosperity by documenting progress in addressing energy and environmental challenges. Information from this project will be used by the hydrogen and vehicle industries to help advance the introduction of FCEVs and associated hydrogen infrastructure.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2020

JANA2 LDRD (Final Project Report)

The project sought to develop a second generation of the JANA reconstruction framework that leverages modern programming features (C++11 and C++14) while maintaining its basic user centric design. The goals included making the project easy to deploy to large HPC facilities such as NERSC and to include detailed documentation to allow scientists outside of Jefferson Lab to use it at such a facility. This would position JLab to play a key role in the larger Laboratory based computing ecosystem under the ASCR initiative. The experience gained will help inform the design of Exascale class applications for experimental nuclear physics. Developing a next generation JANA provides an advantage over older serial frameworks or ones retro-fitted to provide some multi-threading support. That technique requires significantly more memory than multi-threading which leads to compute jobs being limited by available RAM, and not fully utilizing the available CPU. The smaller memory footprint of multi-threaded programs also leads to increased efficiency due to fewer cache misses. It is for these and other reasons that multi-threading is the more accepted industry standard in the modern era.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Coupled Gas-Exchange Model for C4 Leaves Comparing Stomatal Conductance Models

Plant simulation models are abstractions of plant physiological processes that are useful for investigating the responses of plants to changes in the environment. Because photosynthesis and transpiration are fundamental processes that drive plant growth and water relations, a leaf gas-exchange model that couples their interdependent relationship through stomatal control is a prerequisite for explanatory plant simulation models. Here, we present a coupled gas-exchange model for C4 leaves incorporating two widely used stomatal conductance submodels: Ball–Berry and Medlyn models. The output variables of the model includes steady-state values of CO2 assimilation rate, transpiration rate, stomatal conductance, leaf temperature, internal CO2 concentrations, and other leaf gas-exchange attributes in response to light, temperature, CO2, humidity, leaf nitrogen, and leaf water status. We test the model behavior and sensitivity, and discuss its applications and limitations. The model was implemented in Julia programming language using a novel modeling framework. Our testing and analyses indicate that the model behavior is reasonably sensitive and reliable in a wide range of environmental conditions. The behavior of the two model variants differing in stomatal conductance submodels deviated substantially from each other in low humidity conditions. The model was capable of replicating the behavior of transgenic C4 leaves under moderate temperatures as found in the literature. The coupled model, however, underestimated stomatal conductance in very high temperatures. This is likely an inherent limitation of the coupling approaches using Ball–Berry type models in which photosynthesis and stomatal conductance are recursively linked as an input of the other.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1976

Variable-cycle engines for supersonic cruising aircraft

The paper reviews the evolution and current status of selected recent variable-cycle engine (VCE) studies and describes how the results are influenced by airplane requirements. The engine/airplane studies are intended to identify promising VCE concepts, simplify their designs and identify the potential benefits in terms of aircraft performance. This includes range, noise, emissions, and the time and effort it may require to ensure technical readiness of sufficient depth to satisfy reasonable economic, performance, and environmental constraints. A brief overview of closely-related, on-going technology programs in acoustics and exhaust emissions is presented. It is shown that realistic technology advancements in critical areas combined with well matched aircraft and selected VCE concepts can lead to significantly improved economic and environmental performance relative to first-generation SST predictions.

Willis, E. A.↗
NASA NTRS1981

Qualitative comparison of calculated turbulence responses with wind-tunnel measurements for a DC-10 derivative wing with an active control system

Comparisons are presented analytically predicted and experimental turbulence responses of a wind tunnel model of a DC-10 derivative wing equipped with an active control system. The active control system was designed for the purpose of flutter suppression, but it had additional benefit of alleviating gust loads (wing bending moment) by about 25%. Comparisions of various wing responses are presented for variations in active control system parameters and tunnel speed. The analytical turbulence responses were obtained using DYLOFLEX, a computer program for dynamic loads analyses of flexible airplanes with active controls. In general, the analytical predictions agreed reasonably well with the experimental data.

Perry, B., III↗
NASA NTRS1981

Qualitative comparison of calculated turbulence responses with wind-tunnel measurements for a DC-10 derivative wing with an active control system

This paper presents comparisons of analytically-predicted and experimental turbulence responses of a wind-tunnel model of a DC-10 derivative wing equipped with an active control system. The active control system was designed for the purpose of flutter suppression, but it had the additional benefit of alleviating gust loads (wing bending moment) by about 25 percent. Comparisons of various wing responses are presented for variations in active-control-system parameters and tunnel speed. The analytical turbulence responses were obtained using DYLOFLEX, a computer program for dynamic loads analyses of flexible airplanes with active controls. In general, the analytical predictions agreed reasonably well with the experimental data.

Perry, B., III↗
NASA NTRS1981

Flow visualization using a computerized data acquisition system

A computer-driven traversing mechanism combined with mass data storage, data reduction programs, and general-purpose graphics programs permits a visualization of complex flows. A unique seven-hole probe is used which permits reasonably accurate measurements of all average flow properties if the local flow angle does not exceed 80 degrees. A description is given of the wake of a lifting canard surface as this wake passes over a wing. The flow includes concentrated and dissipating vortices, large regions of reduced total pressure, and local flow angles up to 60 deg. All these features can be clearly seen and accurately located in the graphical output.

Gallington, R.↗
NASA NTRS1982

Development of a polysilicon process based on chemical vapor deposition, phase 1 and phase 2

High-purity polycrystalline silicon was produced in an experimental, intermediate and advanced CVD reactor. Data from the intermediate and advanced reactors confirmed earlier results obtained in the experimental reactor. Solar cells were fabricated by Westinghouse Electric and Applied Solar Research Corporation which met or exceeded baseline cell efficiencies. Feedstocks containing trichlorosilane or silicon tetrachloride are not viable as etch promoters to reduce silicon deposition on bell jars. Neither are they capable of meeting program goals for the 1000 MT/yr plant. Post-run CH1 etch was found to be a reasonably effective method of reducing silicon deposition on bell jars. Using dichlorosilane as feedstock met the low-cost solar array deposition goal (2.0 gh-1-cm-1), however, conversion efficiency was approximately 10% lower than the targeted value of 40 mole percent (32 to 36% achieved), and power consumption was approximately 20 kWh/kg over target at the reactor.

Plahutnik, F.↗