SEARCH · Search NASA

Results for “system of systems”

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 109 records · Page 6

All sources NASA NTRS DOE OSTI

DOE OSTI2024

PV System Availability from Commercial and Utility-Scale Systems [Slides]

In the PV Fleet Performance Data Initiative, we partner with photovoltaic (PV) fleet owners to collect time-series PV production data, and publish aggregated, anonymized results. An assessment of system availability is conducted on 1128 systems which passed our data quality checks, and include cumulative energy meter data. Overall inverter availability is low in the first 6 months of system performance before reaching steady-state by the end of the first year. System-level aggregated data shows a median (P50) system availability of 0.99, and a lower P90 value of 0.95. A dependence on system size is also identified, with worse inverter availability results for larger PV systems. Potential causes of this effect are under investigation.

14 SOLAR ENERGY↗

DOE OSTI2023

Insights into Methodologies and Stochastic Optimization of Thermal Energy Storage-Coupled Advanced Reactor Systems: A Comparison of Methods for Accessing Long-Term Sub-System Sizing Adequacy

This paper investigates the potential of coupling Thermal Energy Storage (TES) with Advanced Reactors (ARs) to address uncertainties posed by climate change in deep decarbonized power systems. The TES Use-case Team at Idaho National Laboratory (INL) has examined the potential of storing thermal energy from ARs during low demand periods and optimizing discharge during peak-priced hours, in both steady-state and transient conditions. Building on this groundwork, this study bridges the gaps in optimal sizing of the sub-system of TES-coupled AR systems using Risk Analysis Virtual Environment (RAVEN) and Holistic Energy Resource Optimization Network (HERON), INL?s framework for grid optimization. By applying this framework, we present statistically-robust optimal charge, discharge including balance of plant (BOP), and storage sizing for the High-Temperature Gas-Cooled Reactor (HTGR) with 203 MWth output. To this end, we generated synthetic price samples for 30 years using 2018 ? 2021 real-time market data from ERCOT, PJM and MISO. Our results reveals that the TES-coupled HTGR system is highly effective in maximizing revenue from electricity sales. We observed a substantial increase of 40 % in ERCOT and a noteworthy 15 % increase in PJM and MISO when compared to the conventional BOP without TES. This improvement is achieved through regionally-tailored sub-system sizing, which ranges from 398 to 416 MWth for the discharge system and 610 to 1029 MWth for the TES. We find that the average electricity price directly impacts the overall economics, while price volatility influences storage size. Additional sensitivity analyses were performed to access the impact of key assumptions on system economics and sizing, differentiating the optimization window (i.e., 24 ? 219 hours of chronological observations) and by imposing storage continuity condition in tracking TES cycles. We observed that at the 120-hour of the optimization window, a reasonable balance between computation time and accuracy was achieved. Our analysis also highlights the significance of conducting multi-day cycle analysis (> 120-hour) for TES to capture interaction between electricity prices and storage dynamics, providing a comprehensive understanding of TES behavior that AR developers should integrate into their plant designs.

25 ENERGY STORAGE↗

DOE OSTI2023

Advanced Human-System Interface Risk Analysis Based on Redundancy-guided Systems-theoretic Hazard Analysis and Human Reliability Analysis

Human-system interfaces (HSIs) play an important role in enabling operators to communicate with the nuclear power plant (NPP) side. Getting the information required to understand a NPP’s current status or perform necessary actions for responding to a given operational context are representative operator tasks performed using HSIs. To date, HSIs have been mainly evaluated in the context of human reliability analysis (HRA). However, the current HSI evaluation that occurs during HRA may be challengeable on two fronts: (1) reflecting the unique characteristics of HSI systems and (2) considering situations in which HSIs are poorly operated due to software/hardware malfunctions. Accordingly, this study proposes an approach for specifically evaluating HSIs for digital instrumentation and controls (DI&C) systems, using Redundancy-guided Systems-theoretic Hazard Analysis (RESHA) and HRA. RESHA is a method for analyzing DI&C systems with redundancy features. In this study, we investigate how HSIs are evaluated in existing HRA methods, and what challenges exist in the current approaches. To better evaluate HSIs for DI&C systems, this study modifies the existing HSI evaluation process by additionally modeling the HSI back- and front- ends. In this paper, a HSI fault tree for the APR1400 DI&C system is introduced through a piping and instrumentation diagram. It then touches upon what aspects of the suggested method must be further researched.

99 GENERAL AND MISCELLANEOUS↗

DOE OSTI2024

Decarbonizing Building Thermal Systems: A How-to Guide for Heat Pump Systems and Beyond

Buildings account for a substantial portion of carbon emissions, primarily due to the widespread use of fossil fuels in heating systems. Decarbonization of heating is essential to meet climate targets and reduce the environmental impact of buildings. Heat pumps are capable of leveraging renewable energy sources and can provide heating and cooling in an energy-efficient manner. By leveraging heat pump technology, buildings can significantly reduce their carbon footprint, minimize energy consumption, and decrease their reliance on fossil fuels. The design and construction community plays a pivotal role in facilitating the transition to heat pump systems for heating and cooling. However, this transition requires specialized knowledge and expertise. This resource was developed for architects, engineers, and contractors in response to an industry need for a comprehensive technical resource that guides them through the intricacies of heat pump system design, installation, and maintenance. This resource provides detailed information on system sizing, selection of appropriate heat systems, heat sources, and integration with existing building systems. Moreover, it emphasizes best practices for ensuring operational efficiency, system longevity, and reliability. The development of this recourse was a collaborative effort between NREL/DOE Better Buildings Design and Construction Allies and ASHRAE Task Force for Building Decarbonization. This resource is composed of two complimentary portions that will be completed and released on separate time frames. The first portion will be completed and released in 2023, while the second portion will be released in 2024.

building thermal systems↗

DOE OSTI2026

Visual Systems Mapping to Define and Compare Woody Biomass LCAs for Sustainable Systems

The challenge addressed in this research centres on the need to choose between several biomass sources and energy production processes, while supporting rural economies and resilience of forest systems. A key barrier to effective decision-making for strategies using biomass is the lack of standardized and transparent life cycle assessment (LCA) baselines. These baselines are critical for assessing the impacts of biomass strategies but often vary due to regional factors and chosen simplifying assumptions of the LCAs. However, omitting key variables can mean the LCA omits key feedback and balancing loops relevant to fully assessing impacts of the change or test scenario. To address these complexities, this project employs a systems engineering approach: visual systems mapping. This technique is used to define the boundaries and dynamic behaviours of LCA baselines, enhancing transparency. By examining five literature sources and their documented baseline scenarios, the systems mapping case-studies demonstrates an approach to documenting and archiving these baselines. Recommendations are that visual systems mapping should be used to document key assumptions, such as baselines, of LCAs. Further, where possible open data repositories should hold key information about LCA baselines and reproducible workflows (e.g., using open-source tools) should be used to improve transparency and comparability in LCAs. Given the consensus within the broader scientific community on the importance of replicable data practices, this research reinforces the need for standardized frameworks and systems engineering tools in LCAs. This research demonstrates a pathway to more transparent, standardized, and comparable LCAs, that may bolster decisions for biomass systems.

Davis, Maggie [ORNL] (ORCID:0000000181319328)↗

DOE OSTI2021

What are the Impacts on the HVAC System when it Provides Frequency Regulation? – A Comprehensive Case Study with a Multi-Zone Variable Air Volume (VAV) System

Heating, ventilation, and air-conditioning (HVAC) systems in commercial buildings have proven to be a great asset for providing secondary frequency regulation (FR) service to the power grid. However, how the provision of FR service affects the HVAC system Quality of Service (QOS) is still largely unknown. In particular, there exists a controversy regarding the energy efficiency impact. This paper investigates how a HVAC system performance and its associated controls are impacted during and after the FR service. For the assessment, we developed a dynamic Modelica-based medium office building model as a virtual testbed with the Air Handling Unit (AHU) fans providing the FR service. Different regulation capacities (demand levels) and standard test signals under various load profiles in the U.S. are considered. The results show that FR has little or no impact on the HVAC operation and occupant thermal comfort while the building is providing the service if an appropriate regulation capacity is pre-determined. However, if the regulation capacity is overestimated, the quality of the FR service provided by the HVAC system and the HVAC energy efficiency will be affected due to the equipment operating constraints. In addition, the AHU supply air temperature fluctuates, and the controller cannot maintain the desired setpoint as the FR magnitude is increased. After the FR service time, the system takes a certain period to return to normal operation. The recovery period extends with the increase in the FR magnitude. For this case study, there exists a control conflict between the FR control and the existing HVAC control (from ASHRAE Guideline 36-2018) during high load conditions, causing the fan speed to saturate. The fan power consumption could increase significantly; up to 77% increase compared to the baseline was observed. This case study demonstrates that the HVAC system controls need to be enhanced and adapted to minimize the interaction between the FR controller and the indoor environmental controls in order to preserve the HVAC system QOS while (during and after) providing satisfactory FR service.

Lu, Xing↗

DOE OSTI2023

CFD Simulation of the Dosing Behavior within the Atomic Layer Deposition Feeding System

The effective operation of atomic layer deposition (ALD) feeding system is the premise of realizing specific ALD processes. In the present work, a detailed computational fluid dynamics (CFD) model of the feeding system has been developed and validated, which accounts for the roles of ALD valves and manifolds. A numerical simulation of the compressible fluid flow and heat/mass transfer within the feeding system was conducted. The dosing amounts and the spatiotemporal distributions of the precursors can be accurately predicted using the CFD model, as validated by experimental results. Different precursors, operating conditions, and structures of the feeding system were simulated and analyzed to examine the operating flexibility of the feeding system. The simulation results can be adopted as the upstream boundary conditions for simulations of the ALD process in the reaction chamber. The substrate-scale simulation indicates that the effect of the feeding system on the film deposition is highly related to the surface kinetics of ALD. The present work can serve as a guide for the development and optimization of different ALD-based processes via proper operation and even the design of the feeding system.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2020

PE5–PPE4–EspG 3 heterotrimer structure from mycobacterial ESX-3 secretion system gives insight into cognate substrate recognition by ESX systems

Mycobacterium tuberculosis has evolved numerous type VII secretion (ESX) systems to secrete multiple factors important for both growth and virulence across their cell envelope. ESX-1, ESX-3, and ESX-5 systems have been shown to each secrete a distinct set of substrates, including PE and PPE families of proteins, named for conserved Pro-Glu and Pro-Pro-Glu motifs in their N termini. Proper secretion of the PE–PPE proteins requires the presence of EspG, with each system encoding its own unique copy. There is no cross-talk between any of the ESX systems, and how each EspG recognizes its subset of PE–PPE proteins is currently unknown. The only current structural characterization of PE–PPE–EspG heterotrimers is from the ESX-5 system. Here we present the crystal structure of the PE5 mt –PPE4 mt –EspG 3mm heterotrimer from the ESX-3 system. Our heterotrimer reveals that EspG 3mm interacts exclusively with PPE4 mt in a similar manner to EspG 5 , shielding the hydrophobic tip of PPE4 mt from solvent. The C-terminal helical domain of EspG 3mm is dynamic, alternating between “open” and “closed” forms, and this movement is likely functionally relevant in the unloading of PE–PPE heterodimers at the secretion machinery. In contrast to the previously solved ESX-5 heterotrimers, the PE–PPE heterodimer of our ESX-3 heterotrimer is interacting with its chaperone at a drastically different angle and presents different faces of the PPE protein to the chaperone. We conclude that the PPE–EspG interface from each ESX system has a unique shape complementarity that allows each EspG to discriminate among noncognate PE–PPE pairs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2023

Impact of Spatial Variation in Flexibility on System Operations in Electric Power Systems

With the expansion of renewable energy resources in the electric power systems, having flexibility in the setup will allow to maintain the system's reliability and prevailing operations. Such flexibility can be extracted from utility operated and/or consumer owned devices, such as, storage devices, electric vehicles, etc. For the demand side, generally consumer preferences, incentives, etc. enact on the availability of the flexibility; besides, both the spatial and temporal dimension dictates the degree of the flexibility. Consequently, the optimal dispatch of the grid resources might appear intractable as the considerable amount of flexibility are obliquely stemming from the ungovernable consumer devices. Thus characterizing the consequences of diverged feasible flexibility in the system is crucial for operations. In this paper, a procedure is developed to quantify the degree of flexibility of power systems in terms of resource dispatch reconfiguration. Specifically, we develop optimization problems to attain equivalent resource configurations for the power systems to evaluate the spatial volatility of the network and asses the flexibility of the system. The developed process is then validated using numerical simulations for IEEE-30 bus test system.

Sadnan, Rabayet↗

DOE OSTI2021

Study of microgrid resilience through co-simulation of power system dynamics and communication systems

The interdependence of power and communication systems in smart grid technologies is acknowledged, but difficult to quantify. Communication systems can be essential to maintaining stability in microgrids that are islanded due to extreme events. Though many power system studies assume the presence of communication networks, detailed modeling of power and communication systems for dynamic studies of microgrids is rare. The work presented in this paper develops a framework for power and communication system co-simulation to study the impact of communications system on microgrid stability. An operational use case is examined where a battery energy storage system operates to offset the loss of generation in an islanded microgrid. The framework is evaluated for different communication technologies, network structures, and communication media.

Thekkumparambath Mana, Priya↗

DOE OSTI2021

AOI [1]: Passive Wireless Sensor Systems Fabricated by Direct-Writing for Temperature and Health Monitoring of Energy Systems in Harsh-Environments (Final Report)

Researchers at West Virginia University (WVU) propose to demonstrate a wireless, high-temperature sensor system for monitoring the temperature and health of energy-system components. The active sensor and electronics for wireless communication will be composed entirely of an electroceramic materials (conductive ceramics) which are capable of withstanding the harsh-environments required for fossil energy-based technologies. This work will focus primarily on the fabrication and testing of temperature (thermocouples and thermistors) and health (strain/stress and crack propagation sensors) that function at extreme temperatures (up to 700-1700ºC). The electronics will accompany the high-temperature sensor, which will include a passive wireless communication circuit that allows the transmission of the data based on the LCR resonance principle to a near-by reader antenna. This passive transmission of data will reduce the need for interconnect wires near the active, and possibly rotating, energy-system component. The research will include process development to permit the 2D/3D direct-writing of the entire sensor and communication circuit onto the energy-system component. The direct-writing will be facilitated by using silicon-based polymer-derived precursors to form the high-temperature, stable electroceramic compositions. In addition, methods for direct-writing the circuit onto a fugitive carrier substrate will be completed, which will permit a “peel-and-stick”-like transfer of the sensor circuit to the energy-system component. This feature will allow the economical and precise placement of the sensor circuit onto components of various shapes and locations, without altering the geometry and active features of the manufactured component, or the removal (or decommissioning) of the component for installation. The proposed work will be directed at the following areas: 1) Investigation of phase formation, sintering/grain growth, and electrical properties of polymer-derived electroceramic composites; 2) Definition of processes to direct-write through ink-jet and robo-casting the polymer-derived electroceramic composites onto oxide and polymer surfaces; 3) Development of methods to form monolithic "peel-and-stick" preforms that will efficiently transfer the sensor circuit to ceramic surfaces after thermal treatment; 4) Design of passive wireless LCR circuits and receiver (reader) antennas for communication and testing at high temperatures; 5) Investigation of the passive wireless sensor system developed (and method of transferring sensor system) for temperature and stress/strain measurements on a SOFC repeat unit and a singular gas turbine blade prototype as example applications.

01 COAL, LIGNITE, AND PEAT↗

DOE OSTI2023

Verification Testing of OLI Systems Mixed Solvent Electrolyte Model for the Na-K-Mg-Ca-H-Cl-SO 4 -OH-HCO 3 -CO 3 -CO 2 -H 2 ) System to High Ionic Strength at 25°C

This technical report summarizes model verification results and summary statistics for 41 evaporite mineral solubility cases evaluated by Savannah River National Laboratory using OLI Systems’ aqueous electrolyte thermodynamic modeling software. The 41 verification cases containing a total of 60 solubility curves comprise mineral solubility data from low to high ionic strength at 25°C for the eight-component system Na-K-Mg-Ca-H-Cl-SO 4 -OH-HCO 3 -CO 3 -CO 2 -H 2 O as reported by Harvie et al. (1984). Thermodynamic calculations were executed using OLI Systems’ Stream Analyzer computation module within the OLI Studio software platform (Ver. 11.0, Rev. 11.0.1.9). The Mixed Solvent Electrolyte (MSE) thermodynamic framework was chosen for this investigation because of its superiority in modeling high ionic-strength inorganic salt solutions and actinide redox chemistry and solubility, both of which are relevant to the geological repository conditions at the Waste Isolation Pilot Plant in Carlsbad, New Mexico. Mineral solubility data in various inorganic salt solutions were digitized and extracted from figures generated by Harvie et al. (1984). For each of the 60 solubility curves, a case-specific chemistry model and input file were generated in OLI Studio using OLI Stream Analyzer and the MSE (H 3 O + ion) public databank provided by OLI Systems. Model simulation results were exported to Microsoft Excel to calculate summary statistics and to generate graphs comparing the OLI model predictions to the solubility data. Summary statistics include residuals (model – data) and concordance (accuracy × precision, where precision is indicated by the Pearson correlation coefficient and accuracy accounts for bias and scale differential). Private databanks were not developed, and activity coefficient model regressions were not performed to improve OLI model fits to the data. Of the 41 model verification plots, 83% have a mean of the percent residuals less than or equal to 25%. Similarly, 75% display a concordance greater than or equal to 0.75. Only seven of the 41 verification plots fail to show good agreement between the model and data. Of these seven, three are relevant to the WIPP repository because they involve the Mg-OH-Cl-SO 4 -CO 3 aqueous system. The remaining four address salt solubilities at the pH extremes (strong acid and strong base). It should be noted that in two of the three Mg-OH-Cl-SO 4 -CO 3 system cases, the regressed Harvie et al. (1984) solubility curve also deviated from the data. Lack of agreement between the OLI model-predicted solubility curves and the data is attributable to one or more of the following: specific solid species are not included in the OLI MSE databank; there is significant variation among the different solubility datasets chosen by Harvie et al. (1984); the OLI MSE model’s thermodynamic parameters were determined using different solubility datasets; and the activity coefficient parameters for certain relevant ion-ion and ion-molecule pairs have not been optimized via data regression. Two recommendations for future work are to (1) evaluate solubility data for the Mg-OH-Cl-SO 4 -CO 3 system at high ionic strength and, if necessary, develop a private OLI MSE database that includes missing species and, where necessary, regressed standard state properties and interaction parameters; (2) perform similar verification testing of the OLI model for actinide solubility data.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2025

Microreactor Automated Control System - Digital Twin Models and Advanced Control Systems Updates

Automation of control systems is expected to be important in the economic and safe operation of microreactors. Therefore, there is a need to develop and demonstrate automated control for microreactors, along with the development of testbeds for this purpose. This report provides updates on the status of a nonnuclear microreactor automated control system (MACS)—a real-time, hardware-in-the-loop testbed for non-nuclear testing of microreactor control system automation. A real-time hardware-in-the-loop testbed incorporates the realistic dynamics of physical systems into control system development and testing. The collaborative effort between Oak Ridge National Laboratory (ORNL) and Idaho National Laboratory (INL) resulted in the development of a prototypic microreactor plant-level digital twin that includes the reactor and a balance of plant system. Advanced control strategies were incorporated to demonstrate testing of control automation solutions. The gRPC communication protocol, which was implemented in the hardware-in-the-loop testbed by INL, was coupled to a digital twin model developed using the TRANsient Simulation Framework of Reconfigurable Models (TRANSFORM) library in Modelica. This digital twin simulation was tested with the ViBRANT hardware for realistic feedback and visual representation of control action in real time. A modular Python client structure was developed to manage functional mock-up unit-based simulation and real-time gRPC communication. Hardware-in-the-loop testing indicated that the modeled reactor—a natural-convection, molten-salt coolant loop configuration—responds well to control of drum positioning for modulation of reactor core power, as well as system-level control and downstream demand changes. Ongoing research is focused on integrating additional control algorithms that utilize data from newly included sensors within the MACS hardware testbed, as well as demonstrating and assessing the performance of the different automated control algorithms on multiple additional operational scenarios.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2024

Battery Energy Storage Systems: A Review of Energy Management Systems and Health Metrics

With increasing concerns about climate change, there is a transition from high-carbon-emitting fuels to green energy resources in various applications including household, commercial, transportation, and electric grid applications. Even though renewable energy resources are receiving traction for being carbon-neutral, their availability is intermittent. To address this issue to achieve extensive application, the integration of energy storage systems in conjunction with these resources is becoming a recommended practice. Additionally, in the transportation sector, the increased demand for EVs requires the development of energy storage systems that can deliver energy for rigorous driving cycles, with lithium-ion-based batteries emerging as the superior choice for energy storage due to their high power and energy densities, length of their life cycle, low self-discharge rates, and reasonable cost. As a result, battery energy storage systems (BESSs) are becoming a primary energy storage system. The high-performance demand on these BESS can have severe negative effects on their internal operations such as heating and catching on fire when operating in overcharge or undercharge states. Reduced efficiency and poor charge storage result in the battery operating at higher temperatures. To mitigate early battery degradation, battery management systems (BMSs) have been devised to enhance battery life and ensure normal operation under safe operating conditions. Some BMSs are capable of determining precise state estimations to ensure safe battery operation and reduce hazards. Precise estimation of battery health is computed by evaluating several metrics and is a central factor in effective battery management systems. In this scenario, the accurate estimation of the health indicators (HIs) of the battery becomes even more important within the framework of a BMS. This paper provides a comprehensive review and discussion of battery management systems and different health indicators for BESSs, with suitable classification based on key characteristics.

Nazaralizadeh, Solmaz (ORCID:0009000737004039)↗

DOE OSTI2020

Integrating Radio-Over-Fiber Communication System and BOTDR Sensor System

In this paper, we propose and experimentally demonstrate for the first time, the integration of a radio-over-fiber (RoF) communication system and a Brillouin optical time-domain reflectometry (BOTDR) distributed sensor system using a single optical fiber link. In this proof-of-concept integrated system, the communication system is composed of three modulation formats of quadrature phase-shift keying (QPSK), 16-quadrature amplitude modulation (16-QAM) and 64-QAM, which are modulated onto an orthogonal frequency division multiplexing (OFDM) signal. Whereas, the BOTDR sensor system is used for strain and/or temperature monitoring over the fiber distance with a spatial resolution of 5 m using a 25 km single-mode silica fiber. The error vector magnitude (EVM) is analyzed in three modulation formats in the presence of various BOTDR input pump powers. Using QPSK modulation, optimized 18 dBm sensing and 10 dBm data power, the measured EVM values with and without bandpass filter are 3.5% and 14.5%, respectively. The proposed system demonstrates a low temperature measurement error (±0.49 °C at the end of 25 km) and acceptable EVM values, which were within the 3GPP requirements. The proposed integrated system can be effectively applied for practical applications, which significantly reduces the fiber infrastructure cost by effective usage of a single optical fiber link.

42 ENGINEERING↗

DOE OSTI2020

Characterization of Mechanical Ventilation Systems in New US Homes: What types of systems are out there and are they functioning as intended?

As the airtightness of homes improves to meet energy efficiency goals, it becomes more important for mechanical ventilation systems to help maintain a comfortable and healthy indoor air environment. ASHRAE Standard 62.2 provides national guidance for mechanical ventilation system design and installation, however adoption of those guidelines into local building codes has occurred at different rates. Once provisions for mechanical ventilation are adopted in a local code, are mechanical ventilation systems properly designed, installed, commissioned and operated according to code or above code program requirements? Is there a need for further industry and homeowner education to ensure systems function as intended? This paper presents results from field studies that include characterization of mechanical ventilation systems in over 150 new homes in CA, CO, FL, GA, IL, OR, and SC built between 2011 and 2018. In each of the study homes, airflow of local (kitchen, bathrooms) and whole-house ventilation were measured. Occupant usage of the mechanical ventilation systems were monitored for one week in each home. Installed performance is compared to inferred design intent. The paper also includes homeowner perceptions about, and interactions with, the installed mechanical ventilation systems.

Martin, Eric↗

DOE OSTI2022

System and method for reasoning about the optimality of a configuration parameter of a distributed system

Embodiments provide a system and method for reasoning about the optimality of a configuration parameter of a distributed system. During operation, the system obtains a multi-layer graph for a system with a plurality of components, wherein the multi-layer graph comprises a configuration subgraph, a vulnerability subgraph, and a dependency subgraph. The system determines, based on the multi-layer graph, constraint relationships associated with configuration parameters for the components, wherein the constraint relationships include security constraints and functionality constraints. The system computes an unsatisfiable core which comprises a set of mutually incompatible constraints. The system resolves, based on a strategy and over multiple iterations, the unsatisfiable core by analyzing one pair of mutually incompatible constraints per a respective iteration, to obtain a new unsatisfiable core which comprises a smaller number of mutually incompatible constraints than the computed unsatisfiable core or a previously computed unsatisfiable core from a most recent iteration.

Soroush, Hamed↗

DOE OSTI2023

Warm Compressor system Overview and status of the PIP-II cryogenic system

The Proton Improvement Plan-II (PIP-II) is a major upgrade to the Fermilab accelerator complex, featuring a new 800-MeV Superconducting Radio-Frequency (SRF) linear accelerator (Linac) powering the accelerator complex to provide the world's most intense high-energy neutrino beam. The PIP-II Linac consists of 23 SRF cryomodules operating at 2 K, 5 K, and 40 K temperature levels supplied by a single helium cryoplant providing 2.5 kW of cooling capacity at 2.0 K. The PIP-II cryogenic system consists of two major systems: a helium cryogenic plant and a cryogenic distribution system. The cryogenic plant includes a refrigerator cold box, a warm compressor system, and helium storage, recovery, and purification systems. The cryogenic distribution system includes a distribution box, intermediate transfer line, and a tunnel transfer line consisting of modular bayonet cans which supply and return cryogens to the cryomodules. A turnaround can is located at the end of the Linac to turnaround cryogenic flows. This paper describes the layout, design, and current status of the PIP-II cryogenic system.

43 PARTICLE ACCELERATORS↗