Engineering Papers⌕ Search

SEARCH · Engineering Papers

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
All sourcesNASA NTRSDOE OSTI
DOE OSTI2019

FIPD: EBR-II Fuels Irradiation & Physics Database – FY19 Updates

The DOE Advanced Reactor Technology program has supported efforts to recover and preserve metallic fuel data generated throughout the US sodium cooled fast reactor program (SFR). Those efforts have been focused on establishing databases of the experimental data that were mainly generated during the Integral Fast Reactor (IFR) program including data generated at EBR-II, FFTF, and TREAT reactors, as well as out of pile data. The data is essential for future-licensing activities of metallic fuel based advanced fast reactors. This report describes updates to the EBR-II Fuels Irradiation & Physics Database (FIPD) in FY2019. It covers the scientific knowledge available in the database, the logical storage of the data in the database, and the updated web interface used to access the data. Summaries of activities from previous years, the current fiscal year (FY 2019), and future plans are also provided.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2014

Building Simulation Modelers are we big-data ready?

Recent advances in computing and sensor technologies have pushed the amount of data we collect or generate to limits previously unheard of. Sub-minute resolution data from dozens of channels is becoming increasingly common and is expected to increase with the prevalence of non-intrusive load monitoring. Experts are running larger building simulation experiments and are faced with an increasingly complex data set to analyze and derive meaningful insight. This paper focuses on the data management challenges that building modeling experts may face in data collected from a large array of sensors, or generated from running a large number of building energy/performance simulations. The paper highlights the technical difficulties that were encountered and overcome in order to run 3.5 million EnergyPlus simulations on supercomputers and generating over 200 TBs of simulation output. This extreme case involved development of technologies and insights that will be beneficial to modelers in the immediate future. The paper discusses different database technologies (including relational databases, columnar storage, and schema-less Hadoop) in order to contrast the advantages and disadvantages of employing each for storage of EnergyPlus output. Scalability, analysis requirements, and the adaptability of these database technologies are discussed. Additionally, unique attributes of EnergyPlus output are highlighted which make data-entry non-trivial for multiple simulations. Practical experience regarding cost-effective strategies for big-data storage is provided. The paper also discusses network performance issues when transferring large amounts of data across a network to different computing devices. Practical issues involving lag, bandwidth, and methods for synchronizing or transferring logical portions of the data are presented. A cornerstone of big-data is its use for analytics; data is useless unless information can be meaningfully derived from it. In addition to technical aspects of managing big data, the paper details design of experiments in anticipation of large volumes of data. The cost of re-reading output into an analysis program is elaborated and analysis techniques that perform analysis in-situ with the simulations as they are run are discussed. The paper concludes with an example and elaboration of the tipping point where it becomes more expensive to store the output than re-running a set of simulations.

Sanyal, Jibonananda↗
DOE OSTI2015

An Asynchronous Many-Task Implementation of In-Situ Statistical Analysis using Legion.

In this report, we propose a framework for the design and implementation of in-situ analy- ses using an asynchronous many-task (AMT) model, using the Legion programming model together with the MiniAero mini-application as a surrogate for full-scale parallel scientific computing applications. The bulk of this work consists of converting the Learn/Derive/Assess model which we had initially developed for parallel statistical analysis using MPI [PTBM11], from a SPMD to an AMT model. In this goal, we propose an original use of the concept of Legion logical regions as a replacement for the parallel communication schemes used for the only operation of the statistics engines that require explicit communication. We then evaluate this proposed scheme in a shared memory environment, using the Legion port of MiniAero as a proxy for a full-scale scientific application, as a means to provide input data sets of variable size for the in-situ statistical analyses in an AMT context. We demonstrate in particular that the approach has merit, and warrants further investigation, in collaboration with ongoing efforts to improve the overall parallel performance of the Legion system.

Pebay, Philippe Pierre↗
DOE OSTI2017

Unstated assumptions in alarm management - 202

Alarm management in the process industries has been an increasing area of activity since the first publications of EEMUA 191 in 1999 and ISA18.2 in 2008. Most major oil and chemical companies have adopted some or all of the metrics for alarm management presented in these documents. However, simply targeting for these metrics might not be the best course of action for a company. Many of the metrics involve assumptions or logic not explicitly stated in the guidelines, assumptions that might not be valid for a given console or plant. In other cases, metrics are the result of implied, rather than explicit, relationships between alarm guidelines. Again, the implied connection might not be true under certain circumstances. Understanding these unstated underpinnings of alarm management can facilitate the implementation of a useful and efficient alarm management program. This paper explores some of the key unstated assumptions in alarm management and how changes in those assumptions can alter both the interpretation of alarm metrics as well as what metrics are utilized. (authors)

47 OTHER INSTRUMENTATION↗
DOE OSTI2018

Zero Energy University Campuses: A 2018 Progress Update on Reaching Campus Energy Goals: Preprint

Many universities have aggressive energy-reduction and climate action plans. To reach these goals, leading universities have developed a suite of common energy-efficiency and renewable generation strategies. In this paper, we present a common set of approaches across the following areas: zero energy campus definitions and planning, best practices for including energy targets in new construction procurement contracts and design guidelines, implementing pilot new construction zero energy projects, aggressively implementing best-in-class laboratory energy-efficiency strategies, planning for and optimizing on-site and off-site renewable energy projects, and high-performance district energy systems. Best practices are compiled from various experiences, including programs funded by the U.S. Department of Energy, Energy Efficiency and Renewable Energy program. The summary of these best practices is to reduce campus energy use and then meet the remaining campus energy needs with renewable energy. The fivestep process to developing and implementing campus energy-reduction plans is described: 1) determine baseline energy consumption, 2) analyze technology options, 3) develop a plan and set priorities, 4) implement the plan, and 5) evaluate progress. The process follows a logical hierarchy of actions to evaluate options by energy sector and set specific targets. It encompasses all energy systems on campus, recognizing that campus-wide measures have increased potential for reducing energy use. Common strategies are explained along with examples and results.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2018

Zero Energy University Campuses: A 2018 Progress Update on Reaching Campus Energy Goals

Many universities have aggressive energy-reduction and climate action plans. To reach these goals, leading universities have developed a suite of common energy-efficiency and renewable generation strategies. In this paper, we present a common set of approaches across the following areas: zero energy campus definitions and planning, best practices for including energy targets in new construction procurement contracts and design guidelines, implementing pilot new construction zero energy projects, aggressively implementing best-in-class laboratory energy-efficiency strategies, planning for and optimizing on-site and off-site renewable energy projects, and high-performance district energy systems. Best practices are compiled from various experiences, including programs funded by the U.S. Department of Energy, Energy Efficiency and Renewable Energy program. The summary of these best practices is to reduce campus energy use and then meet the remaining campus energy needs with renewable energy. The fivestep process to developing and implementing campus energy-reduction plans is described: 1) determine baseline energy consumption, 2) analyze technology options, 3) develop a plan and set priorities, 4) implement the plan, and 5) evaluate progress. The process follows a logical hierarchy of actions to evaluate options by energy sector and set specific targets. It encompasses all energy systems on campus, recognizing that campus-wide measures have increased potential for reducing energy use. Common strategies are explained along with examples and results.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2016

Strategies for Decommissioning the Fuel Storage and Reprocessing Complex at Chalk River Laboratories - 16183

For over 60 years, Canadian Nuclear Laboratories (CNL), previously Atomic Energy of Canada Limited (AECL), has been a world leader in developing peaceful and innovative applications from nuclear technology. Resulting from these years of nuclear research there are legacy liabilities consisting of outdated and unused research facilities and buildings, a wide variety of buried and stored wastes, and affected lands. In 2006, the Government of Canada established the Nuclear Legacy Liabilities Program (NLLP) to safely and cost-effectively eliminate, to the extent practicable, the nuclear legacy liabilities. The National Research Experimental (NRX) fuel rod storage and handling facility, as well as two dedicated fuel reprocessing facilities at the Chalk River Laboratories (CRL) known as the Building 200 (B200) Complex, are examples of these legacy liabilities. It is planned to remove these facilities as part of a logical progression of activities to reduce CNL's liabilities under the NLLP and to prepare the property for the physical redevelopment of the CRL site. (authors)

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

Social relations: A critical reflection on the notion of social impacts as change

This article seeks to reflect upon the dominant conception of social impacts as the change produced by development projects and programs, and the ways in which those affected perceive and experience them. Identifying change may be a necessary but not sufficient step in acknowledging the complexity of social life. Engaging with critical scholarship produced in the fields of both social impact assessment (SIA) and of the social studies of technical/planned interventions, I discuss how the understanding of social impacts as change responds ultimately to a causal–instrumental logic that, in order to make sense of the complexity of social life, tends to reduce it to a series of variables and matrices. I suggest a complementary dialectical approach focusing on social relations. This approach, allows an alternative means of analysing social impacts concerning the way policies and projects reconfigure conditions and possibilities on a societal level. To accomplish this, and in order to go beyond the sequence of potential impacts (or changes) and their generic indicators, I propose a set of analytical questions that highlight how social relations are structured. Besides, on the assumption that development is both a form of governance and a space of contestation, negotiation, and activism, this approach may contribute to further the potential for reflection and mobilisation that the practice of SIA presents. - Highlights: •Change, which is inherent to social life, is insufficient to determine social impacts. •The critique of causal-instrumental logic provides insights to reflect on social impacts. •Social impacts should rather refer to how interventions reconfigure social relations. •The complex, mutually constitutive nature of social phenomena may thus be recognized. •SIA should go beyond change to the understanding of its socio-political significance.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2019

One- and Two-Qubit Gates: Rabi Technique and Single Unipolar Pulses

Methods for controlling states of interacting superconducting flux qubits using power-efficient devices of fast single-quantum logic (Josephson nonlinearity cavities) are studied. One- and two-qubit quantum logical operations performed within the conventional control technique using Rabi pulses and using picosecond single unipolar magnetic field pulses are comparatively analyzed. It is shown that all main operations can be implemented with an accuracy of better than 97% due to optimization of the shape and parameters of unipolar control pulses (associated with, e.g., propagation of fluxons in transmission lines). The efficiency of the developed technique for programming a two-qubit quantum processor implementing the simplest Deutsch–Jozsa algorithm is demonstrated.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2020

Developing Separate Effects Transient Test Experiments Using an Out-of-Pile Flowing Water Loop

In 2017 the Transient Reactor Test Facility was restarted after being placed in a standby state since 1994. This Test Reactor’s restart has since enabled the progressive development of new nuclear technologies within the U.S. that were previously required to outsource to other countries. While the reactor’s restart was a large feat worthy of recognition, the experimental use of its characteristics has required the further development of in-pile experimental infrastructure sufficient to support programmatic needs. This hardware have taken the form of capsule designs (compact and elongated) as well as loop concepts representing the phenomena of interest for a subset of separate effects tests desire for each respective testing campaign. The Transient Testing Program has a large-integrated effort that aligns with the U.S. Department of Energy’s current needs. This study compliments those programmatic elements by developing, fabricating and demonstrating a full-scale flowing water loop in an out-of-pile environment. The goal of this effort is to develop a pragmatic understanding of the engineering capabilities and limitations associated with geometric form-factors, metering technology, and controls logic under representative thermal hydraulic conditions that would be experienced within the TREAT reactor during an in-pile reactivity initiated accident test. The outcomes of this study result in an evaluation of the conceptual design of a comprehensive flowing water loop including objective figures of merit (FoMs) for comparing unique instrumentation and the basis for their selection during operations. These efforts directly contribute to and are required for the further advancement of transient testing capabilities within the U.S.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2019

Ancilla-Free Quantum Error Correction Codes for Quantum Metrology

Quantum error correction has recently emerged as a tool to enhance quantum sensing under Markovian noise. It works by correcting errors in a sensor while letting a signal imprint on the logical state. This approach typically requires a specialized error-correcting code, as most existing codes correct away both the dominant errors and the signal. To date, however, few such specialized codes are known, among which most require noiseless, controllable ancillas. We show here that such ancillas are not needed when the signal Hamiltonian and the error operators commute, a common limiting type of decoherence in quantum sensors. We give a semidefinite program for finding optimal ancilla-free sensing codes in general, as well as closed-form codes for two common sensing scenarios: qubits undergoing dephasing, and a lossy bosonic mode. Lastly, we analyze the sensitivity enhancement offered by the qubit code under arbitrary spatial noise correlations, beyond the ideal limit of orthogonal signal and noise operators.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2023

System Analysis Support of Consent-Based Siting Efforts - 23400

To better enable informed decision-making regarding the back end of the nuclear fuel cycle, the Integrated Waste Management (IWM) program within the U.S. Department of Energy, Office of Nuclear Energy (DOE-NE) has been sponsoring the development and application of system analysis tools capable of analyzing various system options for the management of spent nuclear fuel (SNF) and high-level radioactive waste. With these tools, integrated waste management system (IWMS) architecture analyses are being conducted to support the future deployment of a comprehensive nuclear waste management system that considers all major back-end aspects of the nuclear fuel cycle (i.e., transportation, storage, and disposal). System analyses and assessments typically use these modeling and simulation tools to investigate things like the implications of changes in various assumptions and parameters such as acceptance rates, receipt logic, facility capacities and capabilities, use of standardized canisters, and different assumed system operation start dates. Some example system analysis results have been published previously. With the passage of the consolidated appropriations acts for fiscal years 2021 and 2022, Congress provided funding and direction for the DOE to move forward with interim storage to support near-term action in managing the nation’s SNF as an important component of an IWMS. Consent-based siting is a phased, adaptive, and collaborative approach to siting facilities that focuses on the needs and concerns of people and communities. Communities participate in the siting process by working carefully through a series of phases and steps with the DOE (as the implementing organization). Each step and phase helps a community determine whether and how hosting a facility to manage SNF is aligned to the community’s goals. By its nature, a consent-based siting process must be transparent, flexible, adaptive, and responsive to community concerns. Thus, the phases and steps are intended to serve as a guide, not a prescriptive set of instructions. System analysis research analysts interface with DOE’s consent-based siting for a federal interim storage program and can perform preliminary system analyses as requested to support various aspects of the consent-based siting team’s work. This paper provides an overview of IWM program’s system analysis activities that support the ongoing consent-based siting process. The questions that decision-makers, planners, communities, and stakeholders might have during the consent-based siting process are similar to questions that have been explored by system analysts previously. Specifically, this paper discusses work that will inform consent-based siting efforts in the areas of community impacts, cost estimates, various SNF acceptance rates by potential facilities, potential consolidated interim storage facility (CISF) capacities and configurations, and the implications of a CISF on the overall waste management system. It is expected that system analysis will continue to be performed to support the consent-based siting process in the future.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2019

Secondary Voltage Control Via Demand-Side Energy Storage with Temporal Logic Specifications

This paper proposes a secondary voltage control method that can handle the temporal logic specifications (TLSs). The control objective is to schedule a control signal for energy storage system (ESS) such that the voltage variation of a defined critical bus satisfies TLSs. The TLS allows definitions of set and timing constraints at the same time, such as a finite-time restoration. A simplified analytical model is derived to describe the voltage variation of critical buses. Based on this model, a numerical optimal control problem is formulated as a mixed integer linear program to generate the proper control input for the ESS. The proposed control is verified on a lumped distribution system model. With this control diagram, supportive controllers can be easily designed to make voltage behaviors comply with grid codes and avoid unnecessary relay actions.

Zhang, Yichen↗
DOE OSTI2016

SU-G-TeP4-06: An Integrated Application for Radiation Therapy Treatment Plan Directives, Management, and Reporting

Purpose: With electronic medical records, patient information for the treatment planning process has become disseminated across multiple applications with limited quality control and many associated failure modes. We present the development of a single application with a centralized database to manage the planning process. Methods: The system was designed to replace current functionalities of (i) static directives representing the physician intent for the prescription and planning goals, localization information for delivery, and other information, (ii) planning objective reports, (iii) localization and image guidance documents and (iv) the official radiation therapy prescription in the medical record. Using the Eclipse Scripting Application Programming Interface, a plug-in script with an associated domain-specific SQL Server database was created to manage the information in (i)–(iv). The system’s user interface and database were designed by a team of physicians, clinical physicists, database experts, and software engineers to ensure usability and robustness for clinical use. Results: The resulting system has been fully integrated within the TPS via a custom script and database. Planning scenario templates, version control, approvals, and logic-based quality control allow this system to fully track and document the planning process as well as physician approval of tradeoffs while improving the consistency of the data. Multiple plans and prescriptions are supported along with non-traditional dose objectives and evaluation such as biologically corrected models, composite dose limits, and management of localization goals. User-specific custom views were developed for the attending physician review, physicist plan checks, treating therapists, and peer review in chart rounds. Conclusion: A method was developed to maintain cohesive information throughout the planning process within one integrated system by using a custom treatment planning management application that interfaces directly with the TPS. Future work includes quantifying the improvements in quality, safety and efficiency that are possible with the routine clinical use of this system. Supported in part by NIH-P01-CA-059827.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2018

Defining and Characterizing Methods, Tools, and Computing Resources to Support Pseudo Exhaustive Testability of Software Based I&C Devices

Under the Department of Energy’s Light Water Reactor Sustainability Program, within the Plant Modernization research pathway, the Digital I&C Qualification Project is identifying new methods that would be beneficial in qualifying digital I&C systems and devices for safety-related usage. One such method that would be useful in qualifying field components such as sensors and actuators is the concept of testability. The Nuclear Regulatory Commission (NRC) considers testability to be one of two design attributes sufficient to eliminate consideration of software-based or software logic-based common cause failure (the other being diversity). The NRC defines acceptable “testability” as follows: Testability – A system is sufficiently simple such that every possible combination of inputs and every possible sequence of device states are tested and all outputs are verified for every case (100% tested). [NUREG 0800, Chapter 7, Branch Technical Position (BTP) 7-19] This qualification method has never proven to be practical in view of the very large number of combinations of inputs and sequences of device states for a typical I&C device. However, many of these combinations are not unique in the sense that they represent the same state space or in that that they represent state space that would not affect the critical design basis functions of the device. Therefore, the state space of interest might possibly be reduced to a manageable dimension through such analysis. This project focuses on a representative I&C device similar in design, function, and complexity to the types of devices that would likely be deployed in nuclear power plants as digital or software based sensors and actuators (e.g. Smart Sensors). Analysis will be conducted to determine the feasibility of testing this device in a manner consistent with the NRC definition. This report describes acceptable test methods, needed tools (existing or new), and computing resources, all based on engineering and computer science principles. This information will then be used in a later phase of this project to develop a test specification for I&C device testability that can be used in a future phase of this project to demonstrate digital qualification with respect to common cause failure. Following that, testing will be conducted and the results analyzed to determine if the methods employed are sufficient to eliminate consideration of software common cause failure in accordance with the concept of testability.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2019

REALIZATION OF A AUTOMATED T-WAY COMBINATORIAL TESTING APPROACH FOR A SOFTWARE BASED EMBEDDED DIGITAL DEVICE

Under the Department of Energy’s Light Water Reactor Sustainability Program, within the Plant Modernization research pathway, the Digital I&C Qualification Project is identifying new methods that would be beneficial in qualifying digital I&C systems and devices for safety-related usage. One such method that would be useful in qualifying field components such as sensors and actuators is the concept of testability. The Nuclear Regulatory Commission (NRC) considers testability to be one of two design attributes sufficient to eliminate consideration of software-based or software logic-based common cause failure (the other being diversity). The NRC defines acceptable “testability” as follows: Testability – A system is sufficiently simple such that every possible combination of inputs and every possible sequence of device states are tested and all outputs are verified for every case (100% tested). [NUREG 0800, Chapter 7, Branch Technical Position (BTP) 7-19] This qualification method has never proven to be practical in view of the very large number of combinations of inputs and sequences of device states for a typical I&C device. However, many of these combinations are not unique in the sense that they represent the same state space or in that that they represent state space that would not affect the critical design basis functions of the device. Therefore, the state space of interest might possibly be reduced to a manageable dimension through such analysis. This project will focus on a representative I&C device similar in design, function, and complexity to the types of devices that would likely be deployed in nuclear power plants as digital or software based sensors and actuators (e.g. Smart Sensors). Analysis will be conducted to determine the feasibility of testing this device in a manner consistent with the NRC definition. This report describes the development of test process for Bounded Exhaustive Testing with respect to Combinatorial Test (CT) methods. The report describes the candidate Device Under Test SW – the VCU smart sensor, conceptual experimental methods for stated test objectives, description of the process, tools, resources, and computing. This information will be used to fully develop a detailed test plan (based on statistical measure needs) and test environment for conducting an I&C device testability demonstration study. The future planed experimental study of this project is to demonstrate digital qualification via Bounded Exhaustive Testability with respect to Common Cause Failure.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2014

Event Tree Success Branch Modeling Approaches in SAPHIRE/SPAR

Standardized Plant Analysis Risk (SPAR) models are a set of linked fault tree/event tree PRA models that have been used by the Nuclear Regulatory Commission (NRC) to evaluate the risk of operations at U.S. nuclear power plants since 1990s. The models use the Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) code developed by the NRC and Idaho National Laboratory (INL). Currently Version 8, SAPHIRE is a powerful software with advanced features to perform separated or integrated Level 1, Level 2, internal events, external events, at-power, and low power shutdown PRA [1]. One of its features is the availability of three different approaches to model the success branch of a top event in event tree: delete term, complement of system logic, and developed event. However, improper choosing and modeling success branch might yield unexpected and incorrect results. This paper will discuss the two most often used success branch modeling approaches, delete term and developed event, and provide recommendations for using proper approaches in different models. A potential SAPHIRE code enhancement is also proposed to address the adverse impact brought by the developed event approach.

99 GENERAL AND MISCELLANEOUS↗