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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

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↗

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↗

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↗

DOE OSTI2021

LANL Environmental ALARA Program Status Report for CY 2020

Los Alamos National Laboratory (LANL) ensures that radiation exposures to members of the public and the environment from LANL operations, past and present, are below regulatory thresholds and are as low as reasonably achievable (ALARA) through compliance with Department of Energy (DOE) Order 458.1 Radiation Protection for the Public and the Environment (DOE 2020), and LANL Functional Series Documents EPC-ES-FSD-004,Environmental Radiation Protection, (LANL 2020a) and EPC-ES-FSD-003, Los Alamos National Laboratory Environmental ALARA Program (LANL 2020b). These documents provide related program authorities, responsibilities, descriptions, processes, and thresholds for conducting qualitative and quantitative ALARA analyses for prospective and actual radiation exposures to the public and to the environment resulting from DOE activities conducted on the LANL site.

61 RADIATION PROTECTION AND DOSIMETRY↗

DOE OSTI2015

LANL Environmental ALARA Program Status Report for CY 2014

Los Alamos National Laboratory is committed to ensuring that radiation exposures of members of the public and the environment from LANL operations, past and present, are as low as reasonably achievable (ALARA). A Finding (RL.2-F-1) and Observation (RL.2-0-1) in the NNSA/ LASO report, September 2007, Release of Property (Land) Containing Residual Radioactive Material Self-Assessment Report, indicated that LANL had no policy or documented process in place for the release of property containing residual radioactive material. In response, LANL developed PD410, Los Alamos National Laboratory Environmental ALARA Program. This document was officially published as a Laboratory-wide policy and became effective on August 8, 2008 and was updated in 2011. The document provides program authorities, responsibilities, descriptions, processes, and thresholds for conducting qualitative and quantitative ALARA analyses for prospective and actual radiation exposures to the public and the environment from DOE activities conducted on site.

54 ENVIRONMENTAL SCIENCES↗

DOE OSTI2020

The Industry's Long-term, Yet Near-term, Issues: The Need for Radiation Protection Professionals - 20266

Since the discovery of X-rays and radioactivity, the civil use of nuclear technology has thrived for more than a half-century and has matured to be safer and more efficient. A balance between radiological and non-radiological knowledge and experience has been gained and retained through the years. Nevertheless, a slowly developing gap has emerged during the past few decades. National and international data show a declining trend in the existence of health physics programs and associated enrollment and training, which directly impact the pipeline of radiation professionals (i.e., educators, technicians, researchers, and regulators). This decline can be attributed to many factors including the lack of scientific inquisitiveness, declining funding, and the perception that existing protocols are sufficiently protective. Decommissioning and dismantling nuclear facilities is a complex and multi-phased process that generates large quantities of various levels of radioactive waste. With multiple facilities reaching their end of operational life, and others being shut down for economic reasons, the current pipeline for radiation protection experts cannot meet the future's need. Consequently, international organizations have proposed a variety of programs to transfer knowledge of radiation protection principles and practice. While many change-oriented efforts to counteract this trend aim to promote mobility, this is just a partial solution to the actual issue: long-term availability. This paper suggests multidisciplinary collaborations with modern technologies as a path forward to educate young professionals on the diversity of radiation-related applications to retain expert knowledge and foster innovation. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2024

Occupational Radiation Exposure Report for Calendar Year 2023

The U.S. Department of Energy Occupational Radiation Exposure Report for Calendar 2023 presents the results of analyses of occupational radiation exposures at the U.S. Department of Energy (DOE), including the National Nuclear Security Administration (NNSA) operations, during calendar year 2023. This report includes occupational radiation exposure data for over 80,000 DOE Federal employees, contractors, and subcontractors as well as members of the public who have worked in or entered controlled areas monitored for exposure to radiation. DOE publishes this annual report to provide DOE Management, Program Offices, workers, health physicists, and other stakeholders an evaluation of DOE-wide performance regarding compliance with Title 10 of the Code of Federal Regulations (CFR) Part 835, Occupational Radiation Protection (10 CFR 835) radiation exposure limits and adherence to as low as reasonably achievable principles. This report provides a discussion regarding radiation protection and exposure reporting requirements. It also includes calendar year (CY) 2023 information and analyses regarding aggregate, individual, site, DOE Program, transient individuals’ dose, as well as a historical review of DOE exposure data. DOE continues to be diligent in protecting its workers and the public from exposure to radiation from DOE operations as illustrated by the results contained in this report.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2024

MUPPET: An automated OpenMP mutation testing framework for performance optimization

MUPPET is a tool for OpenMP programs that identifies program modifications, called mutations, aimed at improving program performance. Existing performance optimization techniques, including profiling-based and auto-tuning techniques, fail to indicate program modifications at the source level thus preventing their portability across compilers. MUPPET aims to help HPC developers reason about performance defects and missed opportunities to improve performance at the source code level.

Parasyris, Konstantinos↗

DOE OSTI2023

Metal (Cu,Al)/CNT Composite Wires for Energy Efficient Motors

This report summarizes the main results of research project on Metal/CNT nanocomposites conducted at University of Central Florida (UCF). It should be noted that the project was budgeted for three years, but the budget period 3 was unfortunately not funded and conducted in COVID19 pandemic years due to many reasons. The demonstration plan on the small motors was also removed according to the discussion with the DOE program manager. All research activities were focused on the (Cu,Al)/CNT material development and wire extrusion. Existing methods to fabricate Metal/CNTs were usually suffering from agglomeration of CNTs due to their density and stiffness differences. A new method is studied by the UCF research team, where CNTs are surface treated firstly, then coated with pure metals (i.e., Al, Cu, and Nickle). The metal encapsulation on CNT is expected to significantly improve the interfacial bonding between CNTs and the intimated metal matrices. The coated CNT powders were used to make sample materials through sintering, then a customized wire extrusion process was employed to fabricate wires. Measurement of material property improvements in mechanical strength, thermal conductivity, and electrical conductivity were conducted on both cylinder samples and extruded wires. In addition to the sintering process, casting on metal coated CNT powder was also investigated. The best results we achieved are summarized as follows. (1) The measured thermal conductivity of Al/CNT composite made with Ni-encapsulated CNTs and pure Al powders is about 85% better than that of pure aluminum fabricated. The measured electrical conductivity of fabricated Al/CNT is about 14-20% better than that of pure aluminum. (2) The measured electrical conductivity of Cu/CNT is about 14.5% better than that of pure copper fabricated. (3) The mechanical strengths of both Cu/CNT and Al/CNT (with about 1% wt. CNTs) are 70% better than pure metals although losing some material ductility. (4) Two-stage wire extrusion at high temperatures were designed and successfully conducted to fabricate wires of Metal/CNTs.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Materials Science of the Interstitial Doping Process

Particle accelerators are an increasingly important tool for frontier science. Growing initial and operating costs are a significant barrier for upgrades and for new machines. While everything matters, the major cost contributor is the SRF cavities and their ancillary facilities (e.g., cryoplant). Accordingly, the accelerator science community devotes much R&D effort to improving their energy efficiency (increased Q o ) and gradient (E acc ). While improved gradient is at the forefront for certain machines (ILC), improved quality factor has broader impact, benefitting all SRF applications. An important opportunity for accelerator science and technology to move forward arose in the course of building the LCLS-II, the second generation Linac Coherent Light Source at SLAC. At more or less the same time, researchers at Fermilab discovered that introducing a small amount of nitrogen to the niobium surface could improve the mid-range quality factor as much as three-fold. A firm resolution of how nitrogen confers its benefit attracts much current research interest. The key elements of the “nitrogen doping” process were vacuum bake at 800 °C, brief exposure to mTorr of nitrogen at several hundred degrees followed by electropolish (EP) to remove several microns from the surface to eliminate unwanted nitrides: While the process as a whole was novel, the comprising unit operations are familiar to the accelerator community. It was judged reasonable to adopt it as a cost-reduction technology for LCLS-II. Researchers carried out a program of varying process parameters and measuring performance in single-cell cavities, leading to a consensus stable protocol for the project. The transition to vendor fabrication and multiple niobium sources has presented unforeseen challenges of performance variation evidently not connected to anything that could be incorporated in a purchase specification. Moving beyond the high temperature N-doping process above, researchers reported a simplified process consisting entirely of tens of hours anneal in a N atmosphere at low temperatures (~120°C – 160°C) after 800 °C UHV bake. These processes typically yield a few-nm doped layer while the high temperature process yields at least a few to many micron doped layer. Even more recently, oxygen has been used to dope instead of nitrogen which leaves a few-µm O-alloyed layer upon vacuum annealing for 300 °C for ~3 hours. The investigation of these materials is just beginning, but the process simplification they may offer is surely attractive. The very low quantity of material that appears to be significant in the “infusion” process indicates the need for very careful control of gas species available for diffusion into the surface during low temperature treatment, both for process control and research to characterize the underlying dynamics. Oxygen alloying offers the further opportunity to utilize the decomposition of the surface native oxide as the dopant source. It is necessary to understand and (thus) manage this process. We have been supported by the Department of Energy Offices of High Energy Physics and Nuclear Physics to pursue this goal.

36 MATERIALS SCIENCE↗

DOE OSTI2025

SNoGloDe: A Structured Nonlinear Global Decomposition Solver

Large-scale optimization problems often require decomposition strategies and customized algorithms to achieve optimal solutions within a reasonable time. Building on the work of Cao and Zavala (2019) for solving nonlinear two-stage stochastic programs to global optimality, we implement and extend their approach. We generalize to optimization problems reformulated with a block-angular constraint structure (e.g., temporal decomposition). Our framework, written in Python using Pyomo, is highly customizable and enables parallel execution of the decomposition. SNoGloDe allows tailored branching strategies, lower bounding problems, and candidate generators to leverage problem-specific knowledge. To demonstrate effectiveness, we compare SNoGloDe’s performance with Gurobi on a temporally decomposed produced water case study.

algorithms↗

DOE OSTI2012

Interdiffusion Behavior of Al-Rich Oxidation Resistant Coatings on Ferritic-Martensitic Alloys

We investigated interdiffusion of thin Al-rich coatings synthesized by chemical vapor deposition (CVD) and pack cementation on 9Cr ferritic–martensitic alloys in the temperature range of 650–700°C. The compositional changes after long-term exposures in laboratory air and air + 10 vol% H 2 O were examined experimentally. Interdiffusion was modeled by a modified coating oxidation and substrate interdiffusion model (COSIM) program. The modification enabled the program to directly input the concentration profiles of the as-deposited coating determined by electron probe microanalysis (EPMA). Reasonable agreement was achieved between the simulated and experimental Al profiles after exposures. Moreover, the model was also applied to predict coating lifetime at 650–700°C based on a minimum Al content (Cb) required at the coating surface to re-form protective oxide scale. In addition to a C b value established from the failure of a thin CVD coating at 700°C, values reported for slurry aluminide coatings were also included in lifetime predictions.

36 MATERIALS SCIENCE↗

DOE OSTI2016

Complete genome sequence of Desulfurivibrio alkaliphilus strain AHT2 T , a haloalkaliphilic sulfidogen from Egyptian hypersaline alkaline lakes

Desulfurivibrio alkaliphilus strain AHT2 T is a strictly anaerobic sulfidogenic haloalkaliphile isolated from a composite sediment sample of eight hypersaline alkaline lakes in the Wadi al Natrun valley in the Egyptian Libyan Desert. D. alkaliphilus AHT2 T is Gram-negative and belongs to the family Desulfobulbaceae within the Deltaproteobacteria . Here we report its genome sequence, which contains a 3.10 Mbp chromosome. Here, D. alkaliphilus AHT2 T is adapted to survive under highly alkaline and moderately saline conditions and therefore, is relevant to the biotechnology industry and life under extreme conditions. For these reasons, D. alkaliphilus AHT2 T was sequenced by the DOE Joint Genome Institute as part of the Community Science Program.

59 BASIC BIOLOGICAL SCIENCES↗