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 91 records · Page 5

Study of Melt Formation and Behavior of a Two-Component Debris Bed in LIVE Facility

The main objective of the LIVE program at Karlsruhe Institute of Technology (KIT) is to study the melt pool behavior in the reactor pressure vessel (RPV). The study is carried out in large-scale 2D and 3D facilities and in supporting separate-effects tests in order to provide a reasonable estimate of the remaining uncertainty. Within the LIVE experimental program several tests have been performed with water and with non-eutectic melts (mixture of KNO{sub 3} and NaNO{sub 3}) as simulant fluids to study the heat flux distribution in the conditions when the melt pool is covered by water from the top. (authors)

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

ARCS: Agentic Retrieval-Augmented Code Synthesis with Iterative Refinement

Agentic Retrieval-Augmented Code Synthesis with Iterative RefinementIn supercomputing, efficient and optimized code generation is essential to leverage high-performance systems effectively. We have developed Agentic Retrieval-Augmented Code Synthesis (ARCS), an advanced framework for accurate, robust, and efficient code generation, completion, and translation. ARCS integrates Retrieval-Augmented Generation (RAG) with Chain-of-Thought (CoT) reasoning to systematically break down and iteratively refine complex programming tasks. An agent-based RAG mechanism retrieves relevant code snippets, while real-time execution feedback drives the synthesis of candidate solutions. This process is formalized as a state-action search tree optimization, balancing code correctness with editing efficiency. Evaluations on the Geeks4Geeks and HumanEval benchmarks demonstrate that ARCS significantly outperforms traditional prompting methods in translation and generation quality. By enabling scalable and precise code synthesis, ARCS offers transformative potential for automating and optimizing code development in supercomputing applications, enhancing computational resource utilization

Bhattarai, Manish [Los Alamos National Labs]↗

Test plan for the irradiation of nonmetallic materials.

A comprehensive test program to evaluate nonmetallic materials use in the Hanford tank farms is described in detail. This test program determines the effects of simultaneous multiple stressors at reasonable conditions on in-service configuration components by engineering performance testing.

Brush, Laurence H.↗

Test plan for the irradiation of nonmetallic materials.

A comprehensive test program to evaluate nonmetallic materials use in the Hanford Tank Farms is described in detail. This test program determines the effects of simultaneous multiple stressors at reasonable conditions on in-service configuration components by engineering performance testing.

Brush, Laurence H.↗

A Mercury Model of the Molly-G Fast Burst Reactor (FBR)

In order to design neutron irradiation experiments at a given nuclear reactor, one requires a representative neutron spectrum for the configuration of the reactor that will exist during the experiment. This usually implies modeling the operation of the reactor using a neutron transport code. Since the modeling of pulsed neutron reactors is quite complex, requiring coupled modeling of neutronics and thermo-structural response, the typical methodology employs analysis of the neutron spectrum which is obtained from a static keff calculation. While this time-independent Eigenfunction is not truly representative of that during a reactor pulse, we postulate that it is a reasonable representation for our purposes. The Nuclear Survivability (NS) Program at LLNL is considering fielding such experiments at the Molly-G (‘Molybdenum Godiva-II’) Fast Burst Reactor (FBR) at the White Sands Missile Range (WSMR). The goal of these experiments is to (a) test / proof / calibrate diagnostics, and (b) test the efficacy of neutron shield configurations, before fielding at other nuclear reactors, such as the Annular Core Research Reactor (ACRR) at SNL/NM. After attempting to secure either drawings or a copy of an existing MCNP model of the Molly-G FBR from various institutions, it was decided to develop a new model for use with the Mercury Monte Carlo transport code. The model described herein will be used to design these experiments.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

KR Persei, a Mid-F Eclipsing Binary with a One-day Period

KR Per is a partially eclipsing binary with an orbital period of 0.9960798 days, very close to one sidereal day, making it difficult to obtain extensive phase coverage in a reasonable amount of time. We used the Wilson–Devinney program to determine its orbital elements and stellar absolute dimensions from recently acquired radial velocities and differential BVRI observations that were supplemented with previous differential UBV measurements and published times of minima. The two components are each F5 V stars with masses of 1.466±0.015 M{sub ⊙} and 1.458±0.015 M{sub ⊙}. The radii are 1.855±0.021 R{sub ⊙} and 1.824±0.022 R{sub ⊙}. The orbital period of the eclipsing system is variable and more times of minima observations are needed. A comparison with evolutionary tracks indicates that the system has an age of 2.1 ± 0.1 Gyr.

79 ASTRONOMY AND ASTROPHYSICS↗

LOGISTIC FUNCTION PROFILE FIT: A least-squares program for fitting interface profiles to an extended logistic function

The extended logistic function provides a physically reasonable description of interfaces such as depth profiles or line scans of surface topological or compositional features. It describes these interfaces with the minimum number of parameters, namely, position, width, and asymmetry. Logistic Function Profile Fit (LFPF) is a robust, least-squares fitting program in which the nonlinear extended logistic function is linearized by a Taylor series expansion (equivalent to a Newton-Raphson approach) with no apparent introduction of bias in the analysis. The program provides reliable confidence limits for the parameters when systematic errors are minimal and provides a display of the residuals from the fit for the detection of systematic errors. The program will aid researchers in applying ASTM E1636-10, 'Standard practice for analytically describing sputter-depth-profile and linescan-profile data by an extended logistic function,' and may also prove useful in applying ISO 18516: 2006, 'Surface chemical analysis-Auger electron spectroscopy and x-ray photoelectron spectroscopy-determination of lateral resolution.' Examples are given of LFPF fits to a secondary ion mass spectrometry depth profile, an Auger surface line scan, and synthetic data generated to exhibit known systematic errors for examining the significance of such errors to the extrapolation of partial profiles.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

An editor for the generation and customization of geometry restraints

Chemical restraints for use in macromolecular structure refinement are produced by a variety of methods, including a number of programs that use chemical information to generate the required bond, angle, dihedral, chiral and planar restraints. These programs help to automate the process and therefore minimize the errors that could otherwise occur if it were performed manually. Furthermore, restraint-dictionary generation programs can incorporate chemical and other prior knowledge to provide reasonable choices of types and values. However, the use of restraints to define the geometry of a molecule is an approximation introduced with efficiency in mind. The representation of a bond as a parabolic function is a convenience and does not reflect the true variability in even the simplest of molecules. Another complicating factor is the interplay of the molecule with other parts of the macromolecular model. Finally, difficult situations arise from molecules with rare or unusual moieties that may not have their conformational space fully explored. These factors give rise to the need for an interactive editor for WYSIWYG interactions with the restraints and molecule. Restraints Editor, Especially Ligands (REEL) is a graphical user interface for simple and error-free editing along with additional features to provide greater control of the restraint dictionaries in macromolecular refinement.

59 BASIC BIOLOGICAL SCIENCES↗

Integrated Data Collection Analysis (IDCA) Program - SSST Testing Methods

The Integrated Data Collection Analysis (IDCA) program is conducting a proficiency study for Small- Scale Safety and Thermal (SSST) testing of homemade explosives (HMEs). Described here are the methods used for impact, friction, electrostatic discharge, and differential scanning calorimetry analysis during the IDCA program. These methods changed throughout the Proficiency Test and the reasons for these changes are documented in this report. The most significant modifications in standard testing methods are: 1) including one specified sandpaper in impact testing among all the participants, 2) diversifying liquid test methods for selected participants, and 3) including sealed sample holders for thermal testing by at least one participant. This effort, funded by the Department of Homeland Security (DHS), is putting the issues of safe handling of these materials in perspective with standard military explosives. The study is adding SSST testing results for a broad suite of different HMEs to the literature. Ultimately the study will suggest new guidelines and methods and possibly establish the SSST testing accuracies needed to develop safe handling practices for HMEs. Each participating testing laboratory uses identical test materials and preparation methods wherever possible. The testing performers involved are Lawrence Livermore National Laboratory (LLNL), Los Alamos National Laboratory (LANL), Indian Head Division, Naval Surface Warfare Center, (NSWC IHD), Sandia National Laboratories (SNL), and Air Force Research Laboratory (AFRL/RXQL). These tests are conducted as a proficiency study in order to establish some consistency in test protocols, procedures, and experiments and to compare results when these testing variables cannot be made consistent.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

An Investigation of LED Street Lighting's Impact on Sky Glow

A significant amount of public attention has recently focused on perceived impacts of converting street lighting from incumbent lamp-based products to LED technology. Much of this attention pertains to the higher content of short wavelength light (commonly referred to as "blue light") of LEDs and its attendant influences on sky glow (a brightening of the night sky that can interfere with astronomical observation and may be associated with a host of other issues). The complexity of this topic leads to common misunderstandings and misperceptions among the public, and for this reason the U.S. Department of Energy Solid-State Lighting Program embarked on a study of sky glow using a well-established astronomical model to investigate some of the primary factors influencing sky glow. This report details the results of the investigation and attempts to present those results in terms accessible to the general lighting community. The report also strives to put the results into a larger context, and help educate interested readers on various topics relevant to the issues being discussed.

99 GENERAL AND MISCELLANEOUS↗

Evaluation of the 2018 Version of the Integrated Surveillance Program Database Pressure Equation

The Integrated Surveillance Program (ISP) Database Pressure Equation was developed to determine with reasonable certainty the total maximum pressure of hydrogen and other gases in packaged 3013 containers stored at Savannah River Site (SRS) in support of the destructive evaluation (DE) process. The pressure equation in the Department of Energy (DOE) 3013 Standard, “Standard for Stabilization, Packaging and Storage of Plutonium- Bearing Materials” (DOE-STD-3013-2004) used a bounding assumption that all the water is decomposed to form hydrogen. However, the results of Los Alamos National Laboratory (LANL) shelf-life experiments showed that hydrogen is consumed, and that the maximum pressures would not approach the design pressure of the 3013 container. Therefore, the ISP Database Pressure Equation was revised in 2008 to include terms for the generation of helium and hydrogen as a function of time, as well as the consumption of water and destruction of hydrogen based on shelf-life results. The 2008 ISP Database Pressure Equation provided a more reasonable estimate of the total maximum pressure in packaged 3013 containers than the pressure equation in versions of the 3013 Standard issued prior to 2018.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

What is Security? A perspective on achieving security

This presentation provides a perspective on achieving security in an organization. It touches upon security as a mindset, ability to adhere to rules, cultivating awareness of the reason for a security mindset, the quality of a security program, willingness to admit fault or acknowledge failure, peer review in security, science as a model that can be applied to the security profession, the security vision, security partnering, staleness in the security program, security responsibilities, and achievement of success over time despite the impossibility of perfection.

99 GENERAL AND MISCELLANEOUS↗

River Corridor Closure at DOE's Hanford Site - 12503

The discussion of Hanford's River Corridor will cover work that has already been completed plus the work remaining to be done. This includes the buildings, waste sites, and groundwater plumes in the 300 Area; large-scale burial ground remediation in the 600 Area; plutonium production reactor dismantling and 'cocooning' along the river; preservation of the world's first full-scale plutonium production reactor; removal of more than 14 million tons of contaminated soil and debris along the Columbia River shoreline and throughout the River Corridor; and the excavation of buried waste sites in the river shore area. It also includes operating an EPA-permitted low-level waste disposal facility in the central portion of the site. At the completions of cleanup in 2015, Hanford's River Corridor will be the largest closure project ever completed by the Department of Energy. Cleanup of the River Corridor has been one of Hanford's top priorities since the early 1990's. This urgency has been due to the proximity of hundreds of waste sites to the Columbia River. In addition, removal of the sludge from K West Basin, near the river, remains a high priority. This 220-square-mile area of the Hanford Site sits on the edge of the last free-flowing stretch of the Columbia River. The River Corridor portion of the Hanford Site includes the 100 and 300 Areas along the south shore of the Columbia River. The 100 Areas contain nine retired plutonium production reactors. These areas are also the location of numerous support facilities and solid and liquid waste disposal sites that have contaminated groundwater and soil. The 300 Area, located just north of the city of Richland, contains fuel fabrication facilities, nuclear research and development facilities, and their associated solid and liquid waste disposal sites that have contaminated groundwater and soil. In order to ensure that cleanup actions address all threats to human health and the environment, the River Corridor includes the adjacent areas that extend from the 100 Area and 300 Area to the Central Plateau. For sites in the River Corridor, remedial actions are expected to restore groundwater to drinking water standards and ensure that aquatic life in the Columbia River is protected by achieving ambient water quality standards. It is intended that these objectives be achieved, unless technically impracticable, within a reasonable timeframe. In those instances where remedial action objectives are not achievable in a reasonable time frame, or are determined to be technically impracticable, programs are being implemented to contain the plume, prevent exposure to contaminated groundwater, and evaluate further risk reduction opportunities as new technologies become available. River Corridor cleanup work also removes potential sources of contamination, which are close to the Columbia River, and places them on the Central Plateau for final disposal. The intent is to shrink the footprint of active cleanup to within the 75-square- mile area of the Central Plateau by removing excess facilities and remediating waste sites. Cleanup actions are supporting anticipated future land uses consistent with the Hanford Reach National Monument, where applicable, and the Hanford Comprehensive Land- Use Plan (DOE 1999). The River Corridor has been divided into six geographic decision areas to achieve source and groundwater remedy decisions. These decisions will provide comprehensive coverage for all areas within the River Corridor and will incorporate ongoing interim action cleanup activities. Cleanup levels will be achieved in order to support anticipated future land uses of conservation and preservation for most of this area and industrial use for the 300 Area. At the conclusion of cleanup actions, the federal government will implement long-term stewardship activities to ensure protection of human health and the environment. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Receiver willingness to participate in off-hour service programs

Service trips, a frequently overlooked segment of urban traffic, represent a disproportionately large share of the negative impacts associated with commercial activity. The reason is that although service trips are less frequent than freight trips, they often take longer and thus occupy a significant share of commercial parking. Demand management programs seeking to move service trips off-hours can potentially reduce congestion and emissions but they have been understudied. Here, this paper describes research conducted to investigate receivers’ willingness to participate in off-hour programs for planned service activity. The research reported in this paper analyzes results from a survey of 189 business establishments in New York City and the Capital Region in New York State using descriptive analyses of the data, and by estimating a discrete choice model to gain insight into how business characteristics influence willingness to participate in off-hour services. To assess the impacts of a hypothetical off-hour services program, the authors applied the discrete choice model, together with service trip attraction models, to quantify the hours of daytime parking that could be eliminated by the proposed program in certain ZIP Codes in New York City and the Albany area. The research conducted led to the identification of numerous policy implications that will help policymakers understand and maximize the potential benefits of implementing off-hour service programs.

99 GENERAL AND MISCELLANEOUS↗

Multiparametric Programming in Process Systems Engineering: Recent Developments and Path Forward

The inevitable presence of uncertain parameters in critical applications of process optimization can lead to undesirable or infeasible solutions. For this reason, optimization under parametric uncertainty was, and continues to be a core area of research within Process Systems Engineering. Multiparametric programming is a strategy that offers a holistic perspective for the solution of this class of mathematical programming problems. Specifically, multiparametric programming theory enables the derivation of the optimal solution as a function of the uncertain parameters, explicitly revealing the impact of uncertainty in optimal decision-making. By taking advantage of such a relationship, new breakthroughs in the solution of challenging formulations with uncertainty have been created. Apart from that, researchers have utilized multiparametric programming techniques to solve deterministic classes of problems, by treating specific elements of the optimization program as uncertain parameters. In the past years, there has been a significant number of publications in the literature involving multiparametric programming. The present review article covers recent theoretical, algorithmic, and application developments in multiparametric programming. Additionally, several areas for potential contributions in this field are discussed, highlighting the benefits of multiparametric programming in future research efforts.

Pappas, Iosif↗

Benchmarking Operators in Deep Neural Networks for Improving Performance Portability of SYCL

SYCL is a portable programming model for heterogeneous computing, so it is important to obtain reasonable performance portability of SYCL. Towards the goal of better understanding and improving performance portability of SYCL for machine learning workloads, we have been developing benchmarks for basic operators in deep neural networks (DNNs). These operators could be offloaded to heterogeneous computing devices such as graphics processing units (GPUs) to speed up computation. In this paper, we introduce the benchmarks, evaluate the performance of the operators on GPU-based systems, and describe the causes of the performance gap between the SYCL and Compute Unified Device Architecture (CUDA) kernels. We find that the causes are related to the utilization of the texture cache for read-only data, optimization of the memory accesses with strength reduction, use of local memory, and register usage per thread. We hope that the efforts of developing benchmarks for studying performance portability will stimulate discussion and interactions within the community.

Jin, Zheming [ORNL] (ORCID:000000027197780X)↗

Recovery Act – Integrated Pilot-Scale Biorefinery for Producing Ethanol from Hybrid Algae

As a scientific and engineering endeavor, the Algenol IBR Biorefinery project has been a success by almost any measure. The vision for the system evolved significantly over the course of the project, always due to recognized opportunities for improved performance, lower energy consumption, and reduced costs. Our commitment to thorough, realistic, techno-economic and life cycle assessments has been an essential element for system innovation, technology guidance, and change management of the overall facility. The biological tools developed during this program for cyanobacteria are second to none, and are the primary reason for the remarkable improvements in organism performance. The breakthrough was the successful transformation of our most robust wild type organism (AB1) early in 2012. That was followed by a series of improvements over the next several years that produced strains wherein over 80% of the fixed carbon was converted into ethanol. At the same time, our expertise in cultivation, physiology, process engineering, CO2 management, and photobioreactor design and manufacturing grew at a comparable pace. We learned enormous amounts from the various upsets, weather variations, contamination events, and new technology related disappointments. We overcame those challenges to produce fuel grade ethanol with a low carbon footprint, and are within striking distance of economic viability even with the challenges of low fossil fuel prices.

09 BIOMASS FUELS↗

U.S. Department of Energy Zero Energy Ready Home Implementation

The intention of this project is to assist home builders in the upper Midwest in achieving DOE Zero Energy Ready Home program certification, and to document the process and outcomes involved in meeting this rigorous standard. NorthernSTAR, in conjunction with our program partner Building Knowledge, Inc., provided technical support to the builders during the design and construction process. At the time of this publication, four qualifying homes have been completed and an additional three are currently under construction to be completed later this year. Three additional homes were excluded from certification due to the HVAC contractor not completing their required credentialing until after completion of the homes, though the energy performance would have otherwise qualified the homes for program certification. Both Amaris Homes and Cobblestone Homes note that participation in the ZERH program provides them with competitive advantage in the market place at reasonable construction costs that also result in extremely satisfied clients who are willing to recommend the builders to friends and family.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗