Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Dynamic program analysis”

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 415 records · Page 23

Too dim, too bright, and just right: Systems analysis of the Chlamydomonas diurnal program under limiting and excess light

Photosynthetic organisms coordinate their metabolism and growth with diurnal light, which can range in intensity from limiting to excessive. Little is known about how light intensity impacts the diurnal program in Chlamydomonas reinhardtii, or how diurnal rhythms in gene expression and metabolism shape photoprotective responses at different times of day. To address these questions, we performed a systems analysis of synchronized Chlamydomonas populations acclimated to low, moderate, and high diurnal light. Transcriptomic and proteomic data revealed that the Chlamydomonas rhythmic gene expression program is resilient to limiting and excess light: genome-wide, waves of transcripts, and proteins peak at the same times in populations acclimated to stressful light intensities as in populations acclimated to moderate light. Yet, diurnal photoacclimation gives rise to hundreds of gene expression changes, even at night. Time course measurements of photosynthetic efficiency and pigments responsive to excess light showed that high light-acclimated cells partially overcome photodamage in the latter half of the day prior to cell division. Although gene expression and photodamage are dynamic over the diurnal cycle, Chlamydomonas populations acclimated to low and high diurnal light maintain altered photosystem abundance, thylakoid architecture, and non-photochemical quenching capacity through the night phase. This suggests that cells remember or anticipate the light intensities that they have typically encountered during the day. The integrated data constitute an excellent resource for understanding photoacclimation in eukaryotes under environmentally relevant conditions.

Dupuis, Sunnyjoy↗

Magnetic analysis of the Nb$_3$Sn low-beta quadrupole for the high luminosity LHC

As part of the Large Hadron Collider Luminosity upgrade (HiLumi-LHC) program, the US LARP collaboration and CERN are working together to design and build 150 mm aperture Nb 3 Sn quadrupoles for the LHC interaction regions. A first series of 1.5 m long coils were fabricated, assembled and tested in the first short model. This paper presents the magnetic analysis, comparing magnetic field measurements with the expectations and the field quality requirements. The analysis is focused on the geometrical harmonics, iron saturation effect and cold-warm correlation. Three dimensional effects such as the variability of the field harmonics along the magnet axis and the contribution of the coil ends are also discussed. Furthemore, we present the influence of the conductor magnetization and the dynamic effects.

43 PARTICLE ACCELERATORS↗

Myco-CORPSE simulations assessing mycorrhizal carbon allocation across U.S. forests and global change scenarios

Plants allocate a substantial portion of their fixed carbon belowground to mycorrhizal fungi in exchange for nutrients and other benefits. However, most current ecosystem models omit mycorrhizal processes, limiting our ability to predict plant–soil carbon dynamics under environmental change. To address this gap, we used a mycorrhiza-explicit soil biogeochemical model, Myco-CORPSE (Mycorrhizal Carbon, Organisms, Rhizosphere, and Protection in the Soil Environment), to simulate tree carbon allocation to arbuscular mycorrhizal (AM) and ectomycorrhizal (ECM) fungi in temperate forests.The dataset includes outputs from two sets of model simulations:1. Perturbation experiments: Simulations across gradients of ECM dominance (0–100%), nitrogen deposition, soil temperature, and net primary productivity (NPP) to test how these factors affect mycorrhizal C allocation and nutrient cycling.2. FIA-based simulations: Model applications to over 1,800 U.S. forest sites using site-specific data from the U.S. Forest Inventory and Analysis (FIA) program, including vegetation composition, mycorrhizal type, climate, litter traits, soil properties, and N deposition.Model outputs include simulated mycorrhizal carbon allocation and related biogeochemical variables, such as soil and microbial carbon and nitrogen stocks. Data are provided in CSV format and organized by experiment type (in separate ZIP files). Python scripts for running simulations, plotting, and spatial mapping are also included and organized similarly. No proprietary software is required. These outputs support a peer-reviewed study and were used to generate figures and tables in the associated publication.

54 ENVIRONMENTAL SCIENCES↗

Beam dynamics simulations of post low energy beam transport section in RAON heavy ion accelerator

RAON (Rare isotope Accelerator Of Newness) heavy ion accelerator of the rare isotope science project in Daejeon, Korea, has been designed to accelerate multiple-charge-state beams to be used for various science programs. In the RAON accelerator, the rare isotope beams which are generated by an isotope separation on-line system with a wide range of nuclei and charges will be transported through the post Low Energy Beam Transport (LEBT) section to the Radio Frequency Quadrupole (RFQ). In order to transport many kinds of rare isotope beams stably to the RFQ, the post LEBT should be devised to satisfy the requirement of the RFQ at the end of post LEBT, simultaneously with the twiss parameters small. We will present the recent lattice design of the post LEBT in the RAON accelerator and the results of the beam dynamics simulations from it. In addition, the error analysis and correction in the post LEBT will be also described.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

HFEM3D

Software solves the three-dimensional Poisson equation div(k(grad(u)) = f, by the finite element method for the case when material properties, k, are distributed over hierarchy of edges, facets and tetrahedra in the finite element mesh. Method is described in Weiss, CJ, Finite element analysis for model parameters distributed on a hierarchy of geometric simplices, Geophysics, v82, E155-167, doi:10.1190/GEO2017-0058.1 (2017). A standard finite element method for solving Poisson’s equation is augmented by including in the 3D stiffness matrix additional 2D and 1D stiffness matrices representing the contributions from material properties associated with mesh faces and edges, respectively. The resulting linear system is solved iteratively using the conjugate gradient method with Jacobi preconditioning. To minimize computer storage for program execution, the linear solver computes matrix-vector contractions element-by-element over the mesh, without explicit storage of the global stiffness matrix. Program output vtk compliant for visualization and rendering by 3rd party software. Program uses dynamic memory allocation and as such there are no hard limits on problem size outside of those imposed by the operating system and configuration on which the software is run. Dimension, N, of the finite element solution vector is constrained by the the addressable space in 32-vs-64 bit operating systems. Total storage requirements for the problem. Total working space required for the program is approximately 13*N double precision words.

Weiss, Chester J↗

Progress on Grizzly Development for Reactor Pressure Vessels and Reinforced Concrete Structures

The Grizzly code has been under development for the U.S. Department of Energy’s Light Water Reactor Sustainability program to provide predictive tools for the evolution of material degradation in critical light water reactor structural components due to long-term exposure to the environmental conditions of normal reactor operation, and for the effects of this degradation on the safety of these components. This development has primarily targeted reactor pressure vessels and reinforced concrete structures. Work performed during Fiscal Year 2019 added important features for both of these types of structures. For probabilistic fracture mechanics analysis of reactor pressure vessels, capabilities were added to account for the effects of warm prestressing and residual stresses, as well as to model crack initiation, growth, and arrest. For modeling microstructure evolution in reactor pressure vessels, a cluster dynamics model for evolution of Mn-Ni-Si phases has been implemented. For modeling degraded reinforced concrete structures, capabilities to consider the combined effects of damage and creep in the concrete constitutive model and model nonlinear behavior of reinforcing bars has been added. These newly-developed features fill important gaps in Grizzly’s feature set for engineering-scale analysis of degraded reactor pressure vessels and reinforced concrete structures. Grizzly development in both of these areas has reached a point where it is ready for extensive testing on relevant engineering problems.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Numerical Codes for the DESC-LSST Analysis Pipeline: Core Cosmology Library Standard Modules and Beyond wCDM Modules (Final Technical Report)

The overall objective of the project is to investigate and develop specific software modules and analysis components for the software pipeline of LSST Dark Energy Science Collaboration (DESC). Following the key projects of DESC Science Roadmap (SRM), we will write and test computer codes for the Core Cosmology Library (CCL) in order to complete its modules, functionalities, and interface to work with the analysis pipelines from the five science probes of DESC (parts of SRM deliverables CX4.2TJP, CX6.2CS). We will also code modules for CCL to test models beyond w-Cold-Dark-Matter (wCDM) and modification to gravity (MG). Interfaces for MG models will also be developed for the TJPCOSMO software which is the main pipeline of the Theory and Joint Probe (TJP) working group (deliverable TJP2.3). In order to use the full power of LSST data to constrain MG models, we will also work on constraints from nonlinear regime by running and analyzing MG N-Body simulations using a Parameterized-Post-Friedmann framework into the Gadget-2 simulation package (deliverable TJP2.2). Preliminary results for the simulations were obtained in the past. In collaboration with other DESC groups, we plan to make these simulations feedable to cosmic emulators that are practical for likelihood analyzes (deliverable TJP2.2, parts of CX6.2CS). We will also modify and integrate our current codes for consistency tests between data sets and probes into the pipeline (parts of deliverables CX8.2TJP, TJP2.3). We understand that other groups will contribute to some of these objectives but our team will focus and collaborate with others on the particular part of testing MG and models beyond wCDM and refine the DESC pipeline for this purpose. PI has been coordinating his work with the TJP and CS working groups and the DESC management team. PI is a full member of DESC since June 2013. He and his students have been contributing to LSST-DESC activities and work including TJP telecons, collaboration meetings, hack-weeks, and workshops. PI chaired or co-chaired sessions at collaboration meetings and hack-weeks about testing gravity and models beyond wCDM using LSST. He is coordinating the TJP2 projects for testing models beyond wCDM including the writing of DESC-research-note, development of code for pipeline, and N-Body simulations for MG and beyond wCDM models testable with LSST analyses. As stressed in the DESC white paper, SRM, and P5 report, one of the important questions in understanding cosmic acceleration and dark energy is to be able to distinguish whether the acceleration is due to a dark energy component in the universe or a modification to gravity. Answering these questions will have a significant impact on the question of cosmic acceleration and dark energy. The methods that we will use include analytical work, numerical code, and N-Body simulations. A first approach that that we will use consists of using growth rate parameters that enter the perturbed dynamics equations. These parameters take distinctive values for distinct gravity theories and have potential to distinguish between Dark Energy and Modified Gravity. The second method is to look for inconsistencies in Dark Energy parameter spaces using specific combinations of cosmological data sets. Our investigation addresses the Dark Energy problem that is relevant to the mission of the HEP program to understand how our universe works at its most fundamental level. It will allow us to make progress on the HEP mission to explore the nature of Dark Energy and the basic nature of space and time using future surveys such as LSST. The investigation supports the DOE HEP program Cosmic Frontier as it will contribute to the study and understanding of dark energy and fundamental properties of the universe. The investigation contributes directly to LSST-DESC key projects and their deliverables as described in the Science Road-map document to build analysis pipeline and to test dark energy and beyond wCDM models using LSST.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Architecture Independent Integrated Early Performance and Energy Estimation

The end of Dennard’s scaling, coupled to the necessity to keep increasing computational performance in constrained power envelopes, is leading developers towards the need to opti- mize applications not only for performance, but also for energy consumption. In such a scenario, solutions that enable estimating performance and energy consumption of a program as early as possible, even during development and without the necessity to access the final target hardware, can become fundamental tools to reduce the design space, the optimization effort, and provide potential opportunities to automate the optimization process itself. In this position paper, we discuss the design of a performance and energy estimation framework based on a retargetable com- piler. Our proposed approach targets the Intermediate Repre- sentation (IR) of the LLVM compiler. The IR based approach enables, after a model is built, estimation from a host different from the target architecture, even considering dynamic infor- mation. We present the rationale behind such a framework, identify opportunities and components readily available (such as the provided static analysis, quick ways to add instrumentation for dynamic profiling, and the multiple backends), and aspects that still need further research efforts (such as more effective non-linear, or machine learning based models). We also discuss a hand-developed case study, based on a simple sparse matrix vector multiplication with a linear model, to motivate the needs for such a framework.

Estimation, Compilers, Performance Analysis↗

CTF Theory Manual: Version 4.4

Coolant-Boiling in Rod Arrays – Two Fluids (COBRA-TF) is a thermal/hydraulic (T/H) simulation code designed for light-water reactor (LWR) vessel analysis. It uses a two-fluid, three-field (i.e., fluid film, fluid drops, and vapor) modeling approach. Both subchannel and 3D Cartesian forms of its governing equations are available for the solution. The code was originally developed by Pacific Northwest Laboratory in 1980 and has been used and modified by several institutions over the last few decades. COBRA-TF also found use at the Pennsylvania State University (PSU) by the Reactor Dynamics and Fuel Modeling Group (RDFMG) and has been improved, updated, and subsequently rebranded as CTF. CTF was later adopted in the early 2010s by Oak Ridge National Laboratory (ORNL) for use in the Consortium for Advanced Simulation of Light Water Reactors (CASL) program, which led to a significant advancement of the code’s software quality, modeling accuracy, testing systems, and capabilities for improved support in modeling common LWR nominal and transient behavior. As part of the improvement process, it was necessary to generate sufficient documentation for the public domain code which had lacked such material upon being adopted by RDFMG. This document serves as a theory manual for CTF, detailing the many two-phase heat transfer, drag, and important accident scenario models contained in the code, as well as the numerical solution process utilized. Additional documents available in the CTF documentation suite include the user manual and the verification and validation manual.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Dynamic Monte Carlo Transient Analysis with Thermal-Hydraulic Feedback by McCARD/CUPID

The reactor core transient analysis requires neutronics calculations with the thermal-hydraulic (TH) feedback. Recently the dynamic Monte Carlo (DMC) neutron transport algorithm controlling delayed neutron precursors was developed and successfully applied for core transient problems with help of a sub-channel code. In the Seoul National University Monte Carlo (MC) code, McCARD, a DMC scheme for the core transient analysis has been implemented by coupling with a computational fluid dynamics code, CUPID using the TCP/IP socket communication. In the McCARD/CUPID transient calculations, temperature-dependent cross sections are produced by a built-in on-the-fly Doppler broadening (OTF DB) module. This paper presents McCARD/CUPID transient analysis results for a triangular unit cell problem in the IAEA coordinated research project (CRP) benchmark on the high temperature gas cooled reactor (HTGR) uncertainty analysis. (authors)

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Executive Summary: Prototype Design, Analysis, and Results for a Liquid Radiological Waste Control Room

Under the United States Department of Energy Light Water Sustainability Program (LWRS), Idaho National Laboratory (INL) is collaborating with Palo Verde Generating Station (PVGS) to support human factors engineering efforts in the modernization of PVNGS’ radiological waste system (LRS) control room. The studies proposed and/or conducted by INL are designed to address the inconsistency between different human factors standards, guidance, and conventions. Guidance such as NUREG-0700 leave much of the information open to interpretation. INL will identify whether maintaining a design that is consistent with population stereotypes actually enhances performance, or whether there are alternative designs that yield performance that is better than the designs that maintain those stereotypes. The overall design concept for the LRS workstation includes system overview displays for the Evaporator system and the Boric Acid Concentrator system. A third display contains overview information for the rest of the LRS. The forth display contains alarm information. Each display will be presented on one of four monitors in the control room. The system overview displays contain embedded controls for valves and pumps, mini-trends, and micro-trends. The mini-trends present data for the controllers and contain alarm set point information as well as trending. All other relevant system parameters are shown on micro-trends. The semi-dull screen approach utilized present dynamic data in green, active components are white (gray when closed or off). The product stream flow paths are indicated by different colors. Alarm states are presented in saturated red and selected components are indicated by bright blue. In addition to the micro task study described below, the INL researchers also conducted an evaluation of the semi-dull screen approach as well as an ergonomic evaluation of the suggested upgrades in the local control room. A detailed report of all INL’s activities related to the modernization of the LRS conducted between October 2016 and September 2017 are found in these two reports; • INL-EXT-17-43226, Prototype Design, Analysis, and Results for a Liquid Radiological Waste Control Room, and • INL-EXT-17-43250, Evaluation of Control Room Interface Designs to Support Modernization in Nuclear Power Plants.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Tagging efficiency study of incoherent diffractive vector meson production at the second interaction region at the Electron-Ion Collider

The Electron-Ion Collider (EIC) is an upcoming accelerator facility aimed at exploring the properties of quarks and gluons in nucleons and nuclei, shedding light on their structure and dynamics. The inaugural experimental apparatus, ePIC (electron-Proton and Ion Collider), is designed as a general-purpose detector to address the National Academy of Sciences and the Nuclear Science Advisory Committee physics program at the EIC. The wider EIC community is strongly supporting a second interaction region and an associated second detector to enhance the full science program. In this study, we evaluate how this second interaction region and detector can be complementary to ePIC. The layout of an interaction region for the second detector offers a secondary focus that provides better forward detector acceptance at scattering angles near θ ~ 0 mrad, which can specifically enhance the exclusive, tagging, and diffractive physics program. Here, this article presents an analysis of a tagging program using the second interaction region layout with incoherent diffractive vector meson production. The current design of the second EIC interaction region is evaluated for its vetoing capabilities of incoherent events required for the study of coherent diffractive measurements. We find an increased vetoing performance compared to the ePIC interaction region, thus improving measurements which are important for the spatial imaging of nucleons and nuclei.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Nebraska Integrated Carbon Capture and Storage Pre-Feasibility Study

In collaboration with the Nebraska Public Power District (NPPD), the Energy & Environmental Research Center (EERC) has conducted a pre-feasibility study for a commercial-scale carbon dioxide (CO 2 ) geologic storage complex in western Nebraska integrated with potential CO 2 capture at Gerald Gentleman Station (GGS). GGS is the largest coal-fired electricity-generating station in Nebraska, emitting 8.5 million metric tons (Mt) of CO 2 annually, and is located near the town of Sutherland. This pre-feasibility (Phase 1) project has been executed as part of the U.S. Department of Energy (DOE) CarbonSAFE program, a multiphase initiative to support the deployment of large-scale carbon capture and storage (CCS) projects. Each CarbonSAFE project is required to demonstrate the potential to capture and store at least 50 million tonnes (Mt) of CO 2 over a 25-year operational period. The EERC and NPPD established a coordination team to identify challenges to a potential Nebraska CCS project, comprising local stakeholder organizations, which met twice in Lincoln and via several Webinars, providing feedback and guidance throughout the pre-feasibility study. The EERC also secured the technical support of Schlumberger Carbon Services and Computer Modelling Group Ltd. (CMG). The project comprised four technical themes, all using published information sources. Regional and stakeholder analysis, including identification of sensitive environmental areas, potential resource conflicts, and strategies for public outreach. A review of geographic and socioeconomic characteristics, in combination with geologic characterization in the subbasinal analysis described below, identified an area to the southwest and within a 75-mile radius of GGS as the most prospective for development of a storage site. This area largely avoided lands with protected status such as wetlands. A public outreach plan has also been developed for implementation in any further phases of CCS assessment in western Nebraska, for example a CarbonSAFE Phase 2 feasibility study. Scenario analysis, addressing economic and regulatory factors. GGS is the only single major source of CO 2 emissions capable of satisfying the CarbonSAFE 50-Mt scale requirement within the study region. Chemical absorption using amines was identified as the most viable technology for postcombustion CO 2 capture at GGS. The total cost of a CCS project at GGS was estimated to be between $67/tonne CO 2 for capture and auxiliary boiler to minimize parasitic load and $70/tonne CO 2 avoided cost, using the Carnegie-Mellon University Integrated Environmental Control Model (IECM). The total avoided cost included the capture facility and parasitic load, a flue gas desulfurization plant required for the use of amine solvent technology, transport via pipeline, and dedicated storage infrastructure. Nebraska has no legislation in place to address typical CCS-specific issues, for example pore space ownership for storage. Long-term liability, therefore, falls under the U.S. Environmental Protection Agency Underground Injection Control (UIC) Class 6 program regulations. Subbasinal analysis, addressing the potential for a dedicated subsurface “container” to store the required 50-Mt quantity of CO 2 . Modeling and simulation studies identified an area to the southwest of GGS with the potential for storage of 50 Mt CO 2 in the Cloverly Formation, comprising sandstones with interbedded and intermingled shales. The area of review (AOR) that would be required for monitoring under a Class VI operating permit was estimated to be as high as 400–700 square miles, due to uncertain pressure effects. The viability of this storage option is subject to significant uncertainty due to the relatively limited amount of existing characterization data available to the pre-feasibility study; for example, dynamic simulation indicated that the proposed storage rate might require as little as two or as many as 14 injection wells. A key uncertainty is the relative proportion and distribution of sandstone and shale within the Cloverly Formation. A preliminary, semiquantitative risk assessment also suggested uncertainty over storage capacity and injectivity constitute the most significant project risks at this pre-feasibility stage. No assessed risks were considered to rule out the possibility of a project moving to deployment. National Risk Assessment Partnership (NRAP) validation, using software tools developed by the National Energy Technology Laboratory (NETL) to assess risks associated with the potential 50-Mt CO 2 storage complex. NRAP tools were used to assess hypothetical leakage scenarios. Results broadly supported the conclusion of the semiquantitative risk analysis – for example, even worst-case analysis of theoretical leakage scenarios found limited migration rates and impacts. In summary, the work undertaken in this Phase 1 pre-feasibility study has shown that western Nebraska has potential to host a commercial-scale CCS project, including a dedicated storage “container” for 50 Mt of CO 2 . However, the following key challenges would need to be overcome: The business case for deploying CCS projects is uncertain; recently announced federal tax credits and sales of CO 2 for enhanced oil recovery may not cover the full costs of a CCS project at GGS, as estimated by this pre-feasibility study. The potential 50-Mt CO 2 dedicated storage container defined in this pre-feasibility study should be regarded as having a relatively low level of readiness to support a CCS project. Public outreach would be a vital element in western Nebraska, where sensitivities around such environmental issues as water resource protection and pipeline construction would need to be carefully addressed.

54 ENVIRONMENTAL SCIENCES↗

Simulation of the Multi-Wake Evolution of Two Sandia National Labs/National Rotor Testbed Turbines Operating in a Tandem Layout

The future of wind power systems deployment is in the form of wind farms comprised of scores of such large turbines, most likely at offshore locations. Individual turbines have grown in span from a few tens of meters to today’s large turbines with rotor diameters that dwarf even the largest commercial aircraft. These massive dynamical systems present unique challenges at scales unparalleled in prior applications of wind science research. Fundamental to this effort is the understanding of the wind turbine wake and its evolution. Furthermore, the optimization of the entire wind farm depends on the evolution of the wakes of different turbines and their interactions within the wind farm. In this article, we use the capabilities of the Common ODE Framework (CODEF) model for the analysis of the effects of wake–rotor and wake-to-wake interactions between two turbines situated in a tandem layout fully and partially aligned with the incoming wind. These experiments were conducted in the context of a research project supported by the National Rotor Testbed (NRT) program of Sandia National Labs (SNL). Results are presented for a layout which emulates the turbine interspace and relative turbine emplacement found at SNL’s Scaled Wind Technologies Facility (SWiFT), located in Lubbock, Texas. The evolution of the twin-wake interaction generates a very rich series of secondary transitions in the vortex structure of the combined wake. These ultimately affect the wake’s axial velocity patterns, altering the position, number, intensity, and shape of localized velocity-deficit zones in the wake’s cross-section. This complex distribution of axial velocity patterns has the capacity to substantially affect the power output, peak loads, fatigue damage, and aeroelastic stability of turbines located in subsequent rows downstream on the farm.

Baruah, Apurva (ORCID:0000000252354068)↗

FLASSH 1.0: Thermal Scattering Law Evaluation and Cross Section Generation

The Full Law Analysis Scattering System Hub ( FLASSH ) is an advanced code which evaluates the thermal scattering law (i.e. TSL, S(α,β)) for thermal scattering cross sections and resonance Doppler broadening. The ability to accurately capture these two key cross section features is dependent on accurate, high fidelity TSL evaluations. FLASSH 1.0 provides advanced physics capabilities resulting in an improved, generalized TSL to most accurately represent the lattice dynamics within any material. This improved TSL will allow for consistent analysis in both the thermal and epithermal energy ranges. The features for TSL analysis are packaged within the FLASSH GUI for easy user interface along with data output in many file formats including ENDF File 7 and ACE files.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Diagnosis of Performance Faults in LargeScale MPI Applications via Probabilistic Progress-Dependence Inference

Debugging large-scale parallel applications is challenging. Most existing techniques provide little information about failure root causes. Further, most debuggers significantly slow down program execution, and run sluggishly with massively parallel applications. This paper presents a novel technique that scalably infers the tasks in a parallel program on which a failure occurred, as well as the code in which it originated. Our technique combines scalable runtime analysis with static analysis to determine the least-progressed task(s) and to identify the code lines at which the failure arose. We present a novel algorithm that infers probabilistically progress dependence among MPI tasks using a globally constructed Markov model that represents tasks' control-flow behavior. In comparison to previous work, our algorithm infers more precisely the least-progressed task. Further, we combine this technique with static backward slicing analysis, further isolating the code responsible for the current state. A blind study demonstrates that our technique isolates the root cause of a concurrency bug in a molecular dynamics simulation, which only manifests itself at 7,996 tasks or more. We extensively evaluate fault coverage of our technique via fault injections in 10 HPC benchmarks and show that our analysis takes less than a few seconds on thousands of parallel tasks.

97 MATHEMATICS AND COMPUTING↗

CTF Theory Manual: Version 4.3

Coolant-Boiling in Rod Arrays—Two Fluids (COBRA-TF) is a thermal/hydraulic (T/H) simulation code designed for light water reactor (LWR) vessel analysis. It uses a two-fluid, three-field (i.e., fluid film, fluid drops, and vapor) modeling approach. Both subchannel and three-dimensional Cartesian forms of its governing equations are available for the solution. The code was originally developed by Pacific Northwest Laboratory in 1980, and had been used and modified by several institutions over the last few decades. COBRA-TF also found use at the Pennsylvania State University (PSU) by the Reactor Dynamics and Fuel Modeling Group (RDFMG) and has been improved, updated, and subsequently rebranded as CTF. CTF was later adopted in the early 2010s by Oak Ridge National Laboratory (ORNL) for use in the Consortium for Advanced Simulation of Light Water Reactors (CASL) program, which led to a significant advancement of the code software quality, modeling accuracy, testing systems, and capabilities for improved support of modeling of common LWR nominal and transient behavior. As part of the improvement process, it was necessary to generate sufficient documentation for the public domain code which had lacked such material upon being adopted by RDFMG. This document serves as a theory manual for CTF, detailing the many two-phase heat transfer, drag, and important accident scenario models contained in the code, as well as the numerical solution process utilized. Additional documents available in the CTF documentation suite include the user manual and verification and validation manual.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

A Unified Data Infrastructure for Biological and Environmental Research: A Report from the BER Advisory Committee

The Biological and Environmental Research (BER) program within the U.S. Department of Energy (DOE) Office of Science supports large-scale data generation efforts across its two divisions: Biological Systems Science and Earth and Environmental Systems Sciences. These efforts include user facilities in atmospheric radiation measurements, genomics, metabolomics, proteomics, compute, and imaging. In addition, BER supports the development of plant-based fuels; research in biosystems design, environmental microbiomes, and atmospheric systems; energy flux monitoring; climate-based ecosystem experiments; pathogen biopreparedness; and modeling of climate, urban interfaces, and interactions between people and energy resources. For data access, BER supports community data services at its user facilities, along with specialized data initiatives for Earth and environmental science, climate modeling, genomic and microbial analysis, and multisector dynamics modeling.

54 ENVIRONMENTAL SCIENCES↗