Search NASA⌕ Search

SEARCH · Search NASA

Results for “LOGIC PROGRAMMING”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

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

At least 199 records · Page 11

A Method to Test Model Calibration Techniques: Preprint

This paper describes a method for testing model calibration techniques. Calibration is commonly used in conjunction with energy retrofit audit models. An audit is conducted to gather information about the building needed to assemble an input file for a building energy modeling tool. A calibration technique is used to reconcile model predictions with utility data, and then the 'calibrated model' is used to predict energy savings from a variety of retrofit measures and combinations thereof. Current standards and guidelines such as BPI-2400 and ASHRAE-14 set criteria for 'goodness of fit' and assume that if the criteria are met, then the calibration technique is acceptable. While it is logical to use the actual performance data of the building to tune the model, it is not certain that a good fit will result in a model that better predicts post-retrofit energy savings. Therefore, the basic idea here is that the simulation program (intended for use with the calibration technique) is used to generate surrogate utility bill data and retrofit energy savings data against which the calibration technique can be tested. This provides three figures of merit for testing a calibration technique, 1) accuracy of the post-retrofit energy savings prediction, 2) closure on the 'true' input parameter values, and 3) goodness of fit to the utility bill data. The paper will also discuss the pros and cons of using this synthetic surrogate data approach versus trying to use real data sets of actual buildings.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

A Method to Test Model Calibration Techniques

This paper describes a method for testing model calibration techniques. Calibration is commonly used in conjunction with energy retrofit audit models. An audit is conducted to gather information about the building needed to assemble an input file for a building energy modeling tool. A calibration technique is used to reconcile model predictions with utility data, and then the 'calibrated model' is used to predict energy savings from a variety of retrofit measures and combinations thereof. Current standards and guidelines such as BPI-2400 and ASHRAE-14 set criteria for 'goodness of fit' and assume that if the criteria are met, then the calibration technique is acceptable. While it is logical to use the actual performance data of the building to tune the model, it is not certain that a good fit will result in a model that better predicts post-retrofit energy savings. Therefore, the basic idea here is that the simulation program (intended for use with the calibration technique) is used to generate surrogate utility bill data and retrofit energy savings data against which the calibration technique can be tested. This provides three figures of merit for testing a calibration technique, 1) accuracy of the post-retrofit energy savings prediction, 2) closure on the 'true' input parameter values, and 3) goodness of fit to the utility bill data. The paper will also discuss the pros and cons of using this synthetic surrogate data approach versus trying to use real data sets of actual buildings.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

Optimal Membrane Cascade Design for Critical Mineral Recovery through Logic-based Superstructure Optimization

In this work, we extend the superstructure model proposed by Wamble et al. (2022) that considers feed input locations, recycling strategies, split fractions, stage numbers, and membrane area. We include the total number of stages as a decision variable, which might be particularly useful when there is cost as- sociated with adding additional stages. We propose a Generalized Disjunctive Programming (GDP) superstructure model that integrates all the design variables of the system. We also investigate the scalability of the model by varying the number of stages and the number of finite elements per stage to determine the impact on recovery and solution time.

Tran, Norman↗

A Framework for Lattice QCD Calculations on GPUs

Efficient calculation of the greatest common divisor (GCD) for big integers each whose number of bits is greater than or equal to 1024 has drawn a considerable amount of attention because it can be used to detect a weakness of the RSA security infrastructure. This paper presents a parallel binary GCD algorithm and its implementation for big integers on the Intel Xeon Phi coprocessor. This algorithm is capable of computing GCDs efficiently on many pairs of big integers in parallel by utilizing all cores on a Xeon Phi coprocessor as well as taking advantage of all vector processing units of the coprocessor to speed up critical integer operations within the algorithm. Using 240 threads on a Xeon Phi coprocessor to carry out GCD calculations for a large amount of 2048-bit integers, the implementation achieves the speedup of 30 times over a sequential binary GCD algorithm implementation on a single CPU core, and it delivers twice amount of performance in comparison to the same sequential binary GCD implementation running on 240 threads of the Xeon Phi.

Winter, F. T.↗

Systematic Crosstalk Mitigation for Superconducting Qubits via Frequency-Aware Compilation

One of the key challenges in current Noisy Intermediate-Scale Quantum (NISQ) computers is to control a quantum system with high-fidelity quantum gates. There are many reasons a quantum gate can go wrong - for superconducting transmon qubits in particular, one major source of gate error is the unwanted crosstalk between neighboring qubits due to a phenomenon called frequency crowding. We motivate a systematic approach for understanding and mitigating the crosstalk noise when executing near-term quantum programs on superconducting NISQ computers. Here, we present a general software solution to alleviate frequency crowding by systematically tuning qubit frequencies according to input programs, trading parallelism for higher gate fidelity when necessary. The net result is that our work dramatically improves the crosstalk resilience of tunable-qubit, fixed-coupler hardware, matching or surpassing other more complex architectural designs such as tunable-coupler systems. On NISQ benchmarks, we improve worst-case program success rate by 13.3x on average, compared to existing traditional serialization strategies.

Computer architecture↗

Application of NSUF Capabilities Towards Understanding the Emulation of High Dose Neutron Irradiations with Ion Beams

Development of new materials for current nuclear power plants (NPPs) or materials for new NPPs requires extensive research, development, and deployment programs. Central to these efforts, particularly for core internals, are studies on the microstructural and mechanical changes due to neutron irradiation. These radiation effects studies are typically completed using materials test reactors followed by expensive and time-consuming post-irradiation examinations (PIE). This sluggish approach has severely limited the nuclear materials field to develop new materials or verify materials for new reactor design use. It is also very difficult to achieve the high levels of damage proposed for future reactors. A logical approach to accelerating the field is the application of ion beams to simulate neutron damage, especially for high dose applications. Ion beams have been used for decades to study radiation effects but not to emulate high dose reactor irradiations. In this regard, new (or renewed) methods for ion beam irradiations, new developments in materials characterization, and greater understanding on the governing mechanisms controlling observed radiation effects have led to a need for further studies to refine the technique. A primary challenge is the ability to determine the ion irradiation conditions that produce microstructures and mechanical properties relevant to in-core neutron irradiation conditions. A large, multi-disciplinary, multi-laboratory program deemed the High Fidelity Ion Beam Simulation of High Dose Neutron Irradiation has been formed to assess and overcome the challenges associated with emulating high dose neutron irradiations using ion beams. Central to this program is the use of dual-beam ion irradiations and corresponding neutron irradiations within the BOR-60 fast reactor. These irradiations have produced hundreds of specimens for microstructural and mechanical characterization. A significant issue regarding the samples is the radioactivity of the neutron irradiated specimens as well as the need to characterize both irradiation types using the same equipment to maintain consistency and repeatability. The use of the Nuclear Science User Facilities (NSUF) has been central towards overcoming the mentioned issues and thereby enabling robust PIE in both the ion and neutron irradiated specimens of interest. In particular, the electron microscopes housed within the Low Activation Materials Development and Analysis (LAMDA) facility at Oak Ridge National Laboratory (ORNL) - an NSUF partner facility - has been instrumental in gathering high quality data for analysis. This paper will briefly highlight the PIE efforts using the NSUF capabilities within LAMDA.

36 MATERIALS SCIENCE↗

Economic Analysis of Complex Nuclear Fuel Cycles with NE-COST

The purpose of this work is to present a new methodology, and associated computational tools, developed within the U.S. Department of Energy (U.S. DOE) Fuel Cycle Option Campaign to quantify the economic performance of complex nuclear fuel cycles. The levelized electricity cost at the busbar is generally chosen to quantify and compare the economic performance of different baseload generating technologies, including of nuclear: it is the cost of electricity which renders the risk-adjusted discounted net present value of the investment cash flow equal to zero. The work presented here is focused on the calculation of the levelized cost of electricity of fuel cycles at mass balance equilibrium, which is termed LCAE (Levelized Cost of Electricity at Equilibrium). To alleviate the computational issues associated with the calculation of the LCAE for complex fuel cycles, a novel approach has been developed, which has been called the “island approach” because of its logical structure: a generic complex fuel cycle is subdivided into subsets of fuel cycle facilities, called islands, each containing one and only one type of reactor or blanket and an arbitrary number of fuel cycle facilities. A nuclear economic software tool, NE-COST, written in the commercial programming software MATLAB®, has been developed to calculate the LCAE of complex fuel cycles with the “island” computational approach. NE-COST has also been developed with the capability to handle uncertainty: the input parameters (both unit costs and fuel cycle characteristics) can have uncertainty distributions associated with them, and the output can be computed in terms of probability density functions of the LCAE. In this paper NE-COST will be used to quantify, as examples, the economic performance of (1) current Light Water Reactors (LWR) once-through systems; (2) continuous plutonium recycling in Fast Reactors (FR) with driver and blanket; (3) Recycling of plutonium bred in FR into LWR. For each fuel cycle, the contributions to the total LCAE of the main cost components will be identified.

Fuel Cycles↗

Groundwater Monitoring Optimization of Post Closure Waste Sites at SRS - 13184

Groundwater monitoring at the Savannah River Site (SRS) is required at dozens of waste sites and includes sampling at over 1,000 monitoring wells. The expected longevity of groundwater contamination and associated groundwater monitoring and reporting constitutes a significant long-term cost that represents an increasing proportion of the environmental management budget as surface waste units are closed. Therefore, a comprehensive evaluation of the monitoring program for eighteen regulated waste units was conducted to identify areas where monitoring could be optimized. The units evaluated varied considerably in the scope of monitoring; ranging from two wells to hundreds of wells. In order to systematically evaluate such disparate monitoring networks, SRS developed a decision-logic analysis using flow sheets to address potential areas of optimization. Five areas were identified for evaluation, including: (1) Comparison of current monitoring to regulatory requirements, (2) Spatial distribution, (3) Temporal sampling, (4) Analyte requirements, and (5) Reporting frequency and content. Optimization recommendations were made for fifteen of the eighteen groundwater units. The spatial evaluation resulted in recommendations to suspend sampling in 79 wells and add sampling at 16 wells. The temporal evaluation resulted in recommendations to reduce the number of well visits per year by 504. Analyte reductions were recommended at three groundwater units, with increases at three other units. Reporting frequency reductions were recommended for five units. Approximately $700,000 (direct dollars) of potential annualized cost savings were identified for these groundwater units, provided all recommendations are approved. The largest area of savings was associated with reducing the reporting frequency. The optimization approach has been presented to the EPA and South Carolina Department of Environmental Control (SCHDEC), with unit-specific recommendations approved for all five units presented. This approach can be expected to be highly successful for sites with rich historical data sets and where the requirements in regulatory monitoring plans can be negotiated. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Functionality and operation of fluoroscopic automatic brightness control/automatic dose rate control logic in modern cardiovascular and interventional angiography systems: A Report of Task Group 125 Radiography/Fluoroscopy Subcommittee, Imaging Physics Committee, Science Council

Task Group 125 (TG 125) was charged with investigating the functionality of fluoroscopic automatic dose rate and image quality control logic in modern angiographic systems, paying specific attention to the spectral shaping filters and variations in the selected radiologic imaging parameters. The task group was also charged with describing the operational aspects of the imaging equipment for the purpose of assisting the clinical medical physicist with clinical set-up and performance evaluation. Although there are clear distinctions between the fluoroscopic operation of an angiographic system and its acquisition modes (digital cine, digital angiography, digital subtraction angiography, etc.), the scope of this work was limited to the fluoroscopic operation of the systems studied. The use of spectral shaping filters in cardiovascular and interventional angiography equipment has been shown to reduce patient dose. If the imaging control algorithm were programmed to work in conjunction with the selected spectral filter, and if the generator parameters were optimized for the selected filter, then image quality could also be improved. Although assessment of image quality was not included as part of this report, it was recognized that for fluoroscopic imaging the parameters that influence radiation output, differential absorption, and patient dose are also the same parameters that influence image quality. Therefore, this report will utilize the terminology ''automatic dose rate and image quality'' (ADRIQ) when describing the control logic in modern interventional angiographic systems and, where relevant, will describe the influence of controlled parameters on the subsequent image quality. A total of 22 angiography units were investigated by the task group and of these one each was chosen as representative of the equipment manufactured by GE Healthcare, Philips Medical Systems, Shimadzu Medical USA, and Siemens Medical Systems. All equipment, for which measurement data were included in this report, was manufactured within the three year period from 2006 to 2008. Using polymethylmethacrylate (PMMA) plastic to simulate patient attenuation, each angiographic imaging system was evaluated by recording the following parameters: tube potential in units of kilovolts peak (kVp), tube current in units of milliamperes (mA), pulse width (PW) in units of milliseconds (ms), spectral filtration setting, and patient air kerma rate (PAKR) as a function of the attenuator thickness. Data were graphically plotted to reveal the manner in which the ADRIQ control logic responded to changes in object attenuation. There were similarities in the manner in which the ADRIQ control logic operated that allowed the four chosen devices to be divided into two groups, with two of the systems in each group. There were also unique approaches to the ADRIQ control logic that were associated with some of the systems, and these are described in the report. The evaluation revealed relevant information about the testing procedure and also about the manner in which different manufacturers approach the utilization of spectral filtration, pulsed fluoroscopy, and maximum PAKR limitation. This information should be particularly valuable to the clinical medical physicist charged with acceptance testing and performance evaluation of modern angiographic systems.

61 RADIATION PROTECTION AND DOSIMETRY↗

Electric Vehicle Supply Equipment (EVSE) Study for Vernon County, Wisconsin [Slides]

Viroqua is a town in Wisconsin with a population of approximately 4,500. The Vernon County Energy district is a local nonprofit in Viroqua that provides energy education, individualized energy consulting and coaching to residents and businesses. They have a very good relationship with our county government and wish to support their efforts. The Vernon County government is currently working on a comprehensive plan and would like to include planning for electric vehicle (EV) charging infrastructure in the plan. They are seeking guidance on logical phases for implementation and identifying the best locations for Level 2 and Level 3 EV chargers. NREL provided technical input on strategic planning for electric vehicle (EV) adoption and electric vehicle supply equipment (EVSE) expansion in Vernon County through the Clean Energy to Communities (C2C) Expert Match technical assistance program. NREL provided strategic planning support for EV expansion planning in Vernon County and siting considerations for locating EVSE.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory (INL) for Testing of Radioisotope Power Systems (RPS)

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory for Testing of Radioisotope Power Systems

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

Renovation of Thermal Vacuum Chambers at Idaho National Laboratory (INL) for Testing of Radioisotope Power Systems (RPS)

The Radioisotope Power Systems (RPS) program at Idaho National Laboratory (INL) fuels and performs environmental testing of RPS in support of National Aeronautics and Space Administration (NASA) missions. Recently the programs’ thermal vacuum chambers, housed within INL’s Space and Security Power Systems Facility (SSPSF), underwent successful renovations to improve functional capabilities and system control in support of customer missions. Thermal vacuum system renovations focused primarily on three core functions. The first focus area was integration of semi-automated Programmable Logic Controllers (PLC) to enhance operational feedback and process control. This included the use of numerically controlled vacuum valves and integration of real time feedback from process pressure transducers. Improvements to the system high vacuum pumping technology was the second priority focus. Legacy diffusion pumps were replaced with turbo-molecular and cryogenic pumps to help mitigate the possibility of back streaming diffusion pump oil onto the surface of the test article or radiative cooling surfaces located within the chambers. The third and final core function involved meeting emergent customer thermal requirements. This led to retro-fitting one of the vacuum chambers with a cryogenically cooled Thermal Conditioning Unit (TCU) and thermal shrouds. The TCU utilizes gaseous nitrogen to heat or cool a cylindrical shroud to maintain a set temperature with a programmable range of -I85 °C to I00 °C. With the successful completion of RPS acceptance testing, the newly renovated thermal vacuum chamber systems are operational and better equipped to support testing of Radioisotope Power Systems for space exploration missions.

42 ENGINEERING↗

Improving DOE Project Performance Using the DOD Integrated Master Plan - 12481

DOE O 413 measures a project's progress to plan by the consumption of funding, the passage of time, and the meeting of milestones. In March of 2003, then Under Secretary, Energy, Science, Card received a memo directing the implementation of Project Management and the Project Management Manual, including the Integrated Master Plan and Integrated Master Schedule. This directive states 'the integrated master plan and schedule tie together all project tasks by showing their logical relationships and any constraints controlling the start or finish of each task. This process results in a hierarchy of related functional and layered schedules derived from the Work Breakdown Structure that can be used for monitoring and controlling project progress'. This paper shows how restoring the IMP/IMS paradigm to DOE program management increases the probability of program success in ways not currently available using DOD O 413 processes alone. Using DOE O 413 series guidance, adding the Integrated Master Plan and Integrated Master Schedule paradigm would provide a hierarchical set of performance measures for each 'package of work,' that provides measurable visibility to the increasing maturity of the project. This measurable maturity provides the mechanism to forecast future performance of cost, schedule, and technical outcomes in ways not available using just the activities in DOE O 413. With this information project managers have another tool available to address the issues identified in GAO-07-336 and GAO-09-406. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

BUILD: Binary Understanding and Integration Logic for Dependencies (Final Report)

Increasingly diverse mission needs, the emergence of AI and cloud, and increasing hardware diversity are driving HPC software to be more complex. Modern codes are built from hundreds of small, complex components, and much of the software development process involves integrating these components rather than developing new components from scratch. The goal of the BUILD project was to ease the task of software integration for developers across LLNL’s programs. The project focused on (1) modeling software compatibility, (2) modeling ABI compatibility with binary analysis, (3) developing solver techniques to reason about compatibility, and (4) developing AI/ML models to fill gaps in our understanding of software compatibility. The project has developed several key technologies that help developers—by accelerating development workflows, removing the need for rebuilds, and enabling faster, automatic, and less error-prone code sharing. These technologies are used in LLNL codes and will be ready for the new El Capitan Exascale system in Livermore Computing. Many of these technologies have been hardened and integrated with LLNL’s Spack package manager, and they are already in use by production code teams. Results of BUILD have laid the groundwork for future advances in software integration—the ML and binary modification techniques developed in this project still need to be operationalized but have great potential to further speed up software integration.

97 MATHEMATICS AND COMPUTING↗

Plant-Level Modeling and Simulation of Used Nuclear Fuel Dissolution

Plant-level modeling and simulation of a used nuclear fuel prototype dissolver is presented. Emphasis is given in developing a modeling and simulation approach to be explored by other processes involved in the recycle of used fuel. The commonality concepts presented in a previous communication were used to create a model and realize its software module. An initial model was established based on a theory of chemical thermomechanical network transport outlined previously. A software module prototype was developed with the required external behavior and internal mathematical structure. Results obtained demonstrate the generality of the design approach and establish an extensible mathematical model with its corresponding software module for a wide range of dissolvers. Scale up numerical tests were made varying the type of used fuel (breeder and light-water reactors) and the capacity of dissolution (0.5 t/d to 1.7 t/d). These tests were motivated by user requirements in the area of nuclear materials safeguards. A computer module written in high-level programing languages (MATLAB and Octave) was developed, tested, and provided as open-source code (MATLAB) for integration into the Separations and Safeguards Performance Model application in development at Sandia National Laboratories. The modeling approach presented here is intended to serve as a template for a rational modeling of all plant-level modules. This will facilitate the practical application of the commonality features underlying the unifying network transport theory proposed recently. In addition, by example, this model describes, explicitly, the needed data from sub-scale models, and logical extensions for future model development. For example, from thermodynamics, an off-line simulation of molecular dynamics could quantify partial molar volumes for the species in the liquid phase; this simulation is currently at reach for high-performance computing. From fluid mechanics, a hold-up capacity function is needed for the dissolver device; this simulation is currently at reach for computational fluid mechanics given the existing CAD geometry. From chemical transport phenomena, a simulation of the particle-scale dissolution front is needed to derive an improved solid dissolution kinetics law by predicting the local surface area change; an example was provided in this report. In addition, the associated reaction mechanisms for dissolution are presently largely untested and simplified, hence even a parallel experimental program in reaction kinetics is needed to support modeling and simulation efforts. Last but not least, a simple account of finite rates of solid feed and transfer can be readily introduced via a coupled delayed model. These are some of the theoretical benefits of a rational plant-level modeling approach which guides the development of smaller length and time scale modeling. Practical, and other theoretical benefits have been presented on a previous report.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Exploring formal verification methodology for FPGA-based digital systems

With the Life Extension Programs (LEPs), many nuclear weapon (NW) analog electronic components are being replaced by modern digital devices, increasing system complexities dramatically. Ensuring the reliability, security, and robustness of these upgraded systems is critically important. Many custom hardware systems throughout the NW operations space rely on Field-Programmable Gate Arrays (FPGAs) to implement sophisticated logic. Effective verification, while increasing confidence, can reduce the overall effort in system debugging and testing.

Hu, Yalin↗