Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “setup”

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 1,729 records · Page 96

Development of Improved Noble Liquid Purity Measurements (Final Technical Report)

The main goal of the Detector R&D project supported by this grant, “Development of Improved Noble Liquid Purity Measurements”, was to perform a scoping study of the feasibility of trapping ions in a liquid argon medium using a radiofrequency (RF) quadrupole trap, and to subsequently use the population of trapped ions to make measurements of the properties of the liquid medium. Using RF quadrupole traps immersed in a noble liquid to trap ions may yield new capabilities to detect and quantify the presence of impurities, as well as enabling other measurements of the microphysics in a noble liquid environment. The major activities undertaken during this project include: the development of a simulation of ions in a liquid argon medium; the designing of a prototype RF quadrupole trap; and the setup of hardware to be used in testing the prototype in vacuum and gas conditions. The summary of these major activities is reported here.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Surrogate Suspension-Resuspension Study

The objective of this study was to conduct a series of tests looking at the deposition and resuspension of aerosol particles deposited onto multiple representative substrate surfaces for a range of particle sizes under varying environmental conditions. The benefit of this study is to provide additional insight into the understanding of early time resuspension from different mechanisms and compare to existing literature. The resuspension methods utilized in this study were full-scale and the substrates were representative of real- world ground level conditions. Multiple experiments were conducted to assess the impact on resuspension from the varying substrates and mechanisms. The results of this study show variations in the size distribution of aerosol as a function of height from the source resuspension factors. Additionally, the aerosolized mass concentration and resuspension factor were evaluated. The maximum resuspension factor was found to be on the order of 10 -4 m -1 which is higher than most resuspension factors found in literature but represents idealized conditions due to the well constrained experimental setup.

36 MATERIALS SCIENCE↗

Falling particle impact erosion testing for particle based CSP systems

CSP systems are currently being examined as an effective method for using solar energy to generate electricity. While much of this research has been conducted using molten salt as the heat transfer medium, in recent years, solid particles have been posited as a cheaper and more energy efficient heat transfer medium for use in CSP systems. Many researchers have looked into the effectiveness of solid particles as a heat transfer medium. However, a concern with the use of particles is that the falling particles will impact various components within the CSP system, such as the hopper, the heat exchanger, and the insulating material, resulting in surface erosion and damage. With repeated impacts from falling particles, material from the surfaces under impact is removed. The degree of erosion depends on whether the substrate is made of brittle or ductile material. Furthermore, factors such as particle shape, size, hardness, concentration, impact angle, particle velocity, and substrate hardness will contribute to the erosion process and determine how much and how quickly erosion will takes place in a system. Three types of erosion will be observed simultaneously: impact erosion from particle impact on receiver, particle storage, and heat exchanger walls, abrasion erosion from particle sliding motion along walls, and attrition erosion as the particles breakdown from particle-to-particle contact and particle-to-wall interactions. It is imperative to understand each of these erosions individually for a more comprehensive understanding and prediction of CSP system durability. In this work, we developed an experimental test setup capable of measuring impact erosion at conditions relevant to 1MW CSP plant. Subsequently, Impact erosion measurements were performed for three different candidate substrate materials at low particle velocities using HSP 40/70 ceramic particles.

14 SOLAR ENERGY↗

Verification and Validation of High Explosive Reactive Burn Models Implemented in LANL's EAP and LAP Code Base (FY2020 L2 Milestone MRT 7129) [Slides]

Advanced reactive burn models enable phenomena to be modeled that aren’t possible with programmed burn. Programmed burn propagates a burn front at a prescribed speed from a prescribed initiation point. Reactive burn uses the hydro variables (pressure, temperature, etc.) to determine when, how rapidly, and to what extent a zone detonates. This enables a completely new set of problems to be simulated. Our goal in this milestone has been to improve the usability of reactive burn modes. Thus, the closure criteria are: 1. Perform code and solution verification of the reactive burn models using appropriate solutions and simplified HE setups. 2. Perform validation assessments using small-scale experiments. 3. Evaluate sensitivities and quantify uncertainties due to model form variations and mesh dependencies.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗

Demonstration and performance testing of extreme-resolution simulations with static meshes on Summit (CPU & GPU) for a parked-turbine configuration and an actuator-line (mid-fidelity model) wind farm configuration (ECP-Q4 FY2020 Milestone Report)

The goal of the ExaWind project is to enable predictive simulations of wind farms comprised of many megawatt-scale turbines situated in complex terrain. Predictive simulations will require computational fluid dynamics (CFD) simulations for which the mesh resolves the geometry of the turbines and captures the rotation and large deflections of blades. Whereas such simulations for a single turbine are arguably petascale class, multi-turbine wind farm simulations will require exascale-class resources. The primary physics codes in the ExaWind simulation environment are Nalu-Wind, an unstructured-grid solver for the acoustically incompressible Navier-Stokes equations, AMR-Wind, a block-structured-grid solver with adaptive mesh refinement capabilities, and OpenFAST, a wind-turbine structural dynamics solver. The Nalu-Wind model consists of the mass-continuity Poisson-type equation for pressure and Helmholtz-type equations for transport of momentum and other scalars. For such modeling approaches, simulation times are dominated by linear-system setup and solution for the continuity and momentum systems. For the ExaWind challenge problem, the moving meshes greatly affect overall solver costs as reinitialization of matrices and recomputation of preconditioners is required at every time step. The choice of overset-mesh methodology to model the moving and non-moving parts of the computational domain introduces constraint equations in the elliptic pressure-Poisson solver. The presence of constraints greatly affects the performance of algebraic multigrid preconditioners.

17 WIND ENERGY↗

Simulations of Sweeping Wave Propagation in a Boron Carbide Plate

In February 2020, experiments were conducted at Los Alamos National Laboratory measuring the propagation of a sweeping wave through a plate of boron carbide which was induced by detonating an adjacent charge of high explosive. Six such shots were red and in each case progress of the wave along the exposed surface of the plate was tracked using photon doppler velocimetry (PDV). In this report we discuss calculations performed using the Lagrangian hydrocode FLAG to model data taken from these experiments. We discuss the models chosen for the different experimental components, the choice of mesh (focusing on, both, two- and three-dimensional geometries), and compare the results from these calculations to experimentally-extracted PDV traces. Notably, we find that the PDV traces for this experiment are most faithfully reproduced using the full three-dimensional geometry, even when the mesh resolution for the three-dimensional calculations was significantly lower than the resolution for the corresponding two-dimensional calculations. We attribute this to the geometry of the experimental setup. Moreover, we find only negligible differences for the PDV traces obtained using the sesame table equation of state for boron carbide and the Gruneisen equation of state.

36 MATERIALS SCIENCE↗

SIERRA Multimechanics Module: Aria Verification Manual - Version 4.58

Presented in this document is a portion of the tests that exist in the Sierra Thermal/Fluids verification test suite. Each of these tests is run nightly with the Sierra/TF code suite and the results of the test checked under mesh refinement against the correct analytic result. For each of the tests presented in this document the test setup, derivation of the analytic solution, and comparison of the code results to the analytic solution is provided. This document can be used to confirm that a given code capability is verified or referenced as a compilation of example problems.

97 MATHEMATICS AND COMPUTING↗

Literature Review on the Theory and Measurement of Dry Sliding Friction of Metals

Understanding the friction behavior between two sliding bodies can inform the design of machines, processing of materials, and simulation of dynamic processes. Kinetic friction is a complex phenomenon that depends on a multitude of factors such as sliding velocity, normal force, contact area, surface roughness, material properties, lubrication conditions, and thermal effects. This literature review covers the major known effects of sliding velocity, normal load, and surface roughness on the measured kinetic friction coefficient in the context of microscopic friction phenomena. Classic macroscale friction models are reviewed to illustrate approaches for simulating friction behavior. Prominent experimental friction setups within the literature are discussed with respect to achievable velocity and pressure regimes. The background information gathered here will be used to inform experimental procedures and modeling strategies of the exploratory research (ER) project titled “Measurement of Dynamic Friction via Kolsky Bar” (20200418ER).

36 MATERIALS SCIENCE↗

Model Development for Multi-Component Fuel Vaporization and Flash Boiling

The objectives of this project are to improve the multi-component fuel droplet and film vaporization models used in internal combustion engine simulation, and to develop a comprehensive model to predict the characteristics of multi-component flash boiling spray. This work explores two approaches to fuel composition treatment for modeling multi-component fuel vaporization: one based on discretization and surrogates, and the other based on continuous thermodynamic distribution of fuel properties. The experimental data collected for model validation are done under three fuel form factors: droplet, spray, and thin film. The study on sprays also include experimentation under non-flash and flash boiling conditions, a phenomenon that enhances fuel vaporization. The main goals of this work are: Design and develop a multi-component fuel droplet and wall film vaporization model using both discrete and continuous thermodynamics methods. Design and develop an analytical model for multi-component flash boiling. Integrate the multi-component droplet and film model into multi-dimensional engine calculations to predict the fuel vaporization process under engine operation condition. Conduct multi-component droplet and fuel film vaporization experiments in a non-combusting chamber to verify the proposed vaporization models. Characterize flash boiling phenomena of multi-component fuel sprays by optical and laser diagnostic techniques. This report will detail the experimental setup and the numerical basis for developing a model to achieve the main goals listed above. Key features of observed multi-component fuel vaporization will be summarized at the end of each experimental sections, and corresponding model performance evaluation will be presented at the end of each model development section.

33 ADVANCED PROPULSION SYSTEMS↗

Synthesis and Flash Sintering of (Hf1-xZrx)B2 Solid Solution Fine Powders

Fine powders of (Hf1-xZrx)B2 solid solution were synthesized by two methods. In the first one, solution-based processing of HfCl4, ZrCl4, sucrose and H3BO3 was carried out followed by heat treatment (e.g., at 1500 °C for 1 h) in Argon to achieve the carbothermal reduction (CTR) reaction to form the boride solid solution. In the second one, called boron hydride reduction (BHR) method, HfCl4, ZrCl4 and NaBH4 were directly mixed in a glove box followed by heat treatment in Argon at elevated temperatures from 700 to 1500 °C. In addition, the powders synthesized via both methods were flash sintered without sample preheating in a homemade setup. The synthesized powders as well as the flash sintered bulk ceramics were characterized using different techniques including XRD, SEM, EDS, TEM, TGA-DSC, and Vickers hardness test to reveal the inter-relationships between starting materials composition, processing conditions, and the resulting materials microstructure and physical/chemical properties.

Belisario, Jose↗

Advanced Accelerator Technology (Final Report)

Superconducting radio-frequency (SRF) acceleration, together with high precision RF field control and high precision beam instrumentation and control, is a key technology for future next generation accelerators. In the past 10 years, significant progress on these technologies has been made jointly at KEK and US laboratories. The research progress summarized here is Cornell University’s contribution to a continued US-Japan collaborative accelerator research effort. The combined objectives of this collaboration were to solve critical technical issues related to SRF acceleration technology, related to low emittance beam generation, and related to reducing the vertical beam size of the ATF2 final focus beam line. These joint efforts significantly advance current accelerator technologies. The specific objective of the Cornell University part of this collaboration was to develop, in close connection with KEK and FNAL, new SRF cavity Nb3Sn thin-film coating technologies for transformational cavity performance. Cornell is a world leader in the synthesis of Nb3Sn for SRF application, and has produced the first-ever next-generation non-niobium (i.e., Nb 3 Sn) prototype SRF accelerator cavities with cryogenic efficiency exceeding that of traditional niobium cavities. These next-generation Nb 3 Sn SRF cavities strongly reduce AC power consumption of SRF based accelerators, and also enable using greatly simplified cryogenic cooling infrastructure, thereby making SRF technology available to a much wider range of accelerator applications. During this project, Cornell has designed and started fabrication of a new Nb 3 Sn coating setup, which will be large enough to coat full-scale (i.e., multi-cell) SRF accelerator cavities. In addition, Cornell University has participated in other collaborative activities at KEK and partner US laboratories.

43 PARTICLE ACCELERATORS↗

Developing inductively driven diagnostic X-ray sources to enable transformative radiography and diffraction capabilities on Z

Penetrating X-rays are one of the most effective tools for diagnosing high energy density experiments, whether through radiographic imaging or X-ray diffraction. To expand the X-ray diagnostic capabilities at the 26-MA Z Pulsed Power Facility, we have developed a new diagnostic X-ray source called the inductively driven X-pinch (IDXP). This X-ray source is powered by a miniature transmission line that is inductively coupled to fringe magnetic fields in the final power feed. The transmission line redirects a small amount of Zs magnetic energy into a secondary cavity where 150+ kA of current is delivered to a hybrid X-pinch. In this report, we describe the multi-stage development of the IDXP concept through experiments both on Z and in a surrogate setup on the 1 MA Mykonos facility. Initial short-circuit experiments to verify power ow on Z are followed by short-circuit and X-ray source development experiments on Mykonos. The creation of a radiography-quality X-pinch hot spot is verified through a combination of X-ray diode traces, laser shadowgraphy, and source radiography. The success of the IDXP experiments on Mykonos has resulted in the design and fabrication of an IDXP for an upcoming Z experiment that will be the first-ever X-pinch fielded on Z. We have also pursued the development of two additional technologies. First, the extended convolute post (XCP) has been developed as an alternate method for powering diagnostic X-pinches on Z. This concept, which directly couples the current owing in one of the twelve Z convolute posts to an X-pinch, greatly increases the amount of available current relative to an IDXP (900 kA versus 150 kA). Initial short-circuit XCP experiments have demonstrated the efficacy of power ow in this geometry. The second technology pursued here is the inductively driven transmission line (IDTL) current monitor. These low-current IDTLs seek to measure the current in the final power feed with high fidelity. After three generations of development, IDTL current monitors frequently return cleaner current measurements than the standard B-dot sensors that are fielded on Z. This is especially true on high-inductance experiments where the harshest conditions are created in the nal power feed.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

American-Made Challenges Round 2 Voucher: Orison Enables Solar

This report documents the technical assistance provided to Orison as part of the American-Made Challenges Round 2 Voucher: Orison Enables Solar project. A testbed was developed and used to demonstrate, using modeling and simulation, the capability of controlled behind-the-meter energy storage to (1) reduce net load variability caused by appliances and distributed generation and (2) enable customers to respond to the time-of-use pricing. We demonstrate that load leveling can shave peak loads or limit solar photovoltaic export and that load shifting enables customers to reduce load during “peak” pricing intervals. In the scenarios that we simulated, load leveling was effective up to the charging and discharging limits of the storage systems and the effectiveness of load shifting was a function of the energy capacity of the storage systems. This report describes the co-simulation testbed and the scenarios simulated, including controller setup and simulation results. Considerations for a multi-objective controller are also discussed.

14 SOLAR ENERGY↗

Preshot Report for the NIF DDCyl Campaign: H_Hyd_DDCyl_DRT_AAA/BBB/CCC

The first two cylinder shot days on the National Ignition Facility, allocated through the Discovery Science program, provided a successful demonstration of the cylinder platform on the NIF. Both of these shot days used cylinders that were nominally 3 times larger in radial dimension than cylinders fielded at the OMEGA laser facility, here referred to as scale-3 targets. In the first Discovery Science shot day, we demonstrated that Rayleigh-Taylor instability growth during the deceleration phase is scale-invariant between the scale-1 OMEGA experiments and similarly tailored scale-3 NIF experiments at the same convergence ratio of CR=initial radius/final radius=2.25. In the second Discovery Science shot day, we increased the convergence ratio by lowering the density of the central foam from 300 mg/cm 3 to roughly 40 mg/cm 3 with the same laser drive, resulting in a higher CR=5 at the time when the rebounding shock strikes the aluminum marker. We also greatly improved the imaging setup for the second shot day, resulting in much higher quality (greater signal-to-noise) radiographs of the implosion. This current shot day was awarded through the High Energy Density (HED) Council, following this demonstration of platform viability. It was originally scheduled for June 2020, but it was postponed several times due to the COVID-19 pandemic. It is currently scheduled for January 6, 2021. For this shot day, we will increase the radial dimension of the cylinder to four times the OMEGA-scale targets, and these will be referred to as scale-4 cylinders. Increasing the radial dimension of the target is advantageous as we push these targets to higher convergence ratio. By starting with an initially larger target, the target can push to a higher CR while maintaining the same final viewing area. Other than the larger radial dimension, the targets are very similar in design to the previous ones, consisting of an epoxy ablator, an embedded aluminum marker layer, and a low density central CH foam. These will also use a 40 mg/cm3 CH foam, reaching a CR~4.5 with the same laser energy (the added target mass reduces the final CR slightly). Note that this is NOT designed to be scale-invariant with the previous scale-1 OMEGA and scale-3 NIF shots. It was determined that the laser energy required to achieve a scale-invariant implosion was above the allowable optics damage limits (though achievable on the NIF) for these scale-4 targets.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Performance Analysis of PIConGPU: Particle-in-Cell on GPUs using NVIDIA’s NSight Systems and NSight Compute

PIConGPU, Particle In Cell on GPUs, is an open source simulations framework for plasma and laser-plasma physics used to develop advanced particle accelerators for radiation therapy of cancer, high energy physics and photon science. While PIConGPU has been optimized for at least 5 years to run well on NVIDIA GPU-based clusters, there has been limited exploration by the development team of potential scalability bottlenecks using recently updated and new tools including NVIDIA’s NVProf tool and the brand-new NVIDIA NSight Suite (Systems and Compute) tools. PIConGPU is a highly optimized application that runs production jobs at scale on a system Oak Ridge Leadership Facility’s (OLCF) Summit supercomputer (using the full machine at 4600 nodes; at 98% of GPU utilization on all ~28000 NVIDIA Volta GPUs). PIConGPU has been selected as one of the the eight applications for OLCF’s coveted Center for Accelerated Application Readiness (CAAR) program aimed at the facility’s Frontier supercomputer (OLCF’s first exascale system to launch in 2021), to partner with our vendors (primary vendors: AMD and Cray/HPE) ensuring that Frontier will be able to perform large-scale science when it opens to users in 2022. To this effect, performance engineers on the PIConGPU team wanted to dive deep into the application to understand at the finest granularity, which portions of the code could be further optimized to exploit the hardware on Summit at it’s maximum potential and also to elucidate which key kernels should be tracked and optimized for the CAAR effort to port this code to Frontier. Any bottlenecks that are observed via performance profiling on Summit are likely to also impact scalability on the Frontier-dev system and the Frontier Early Access (EA) system. Additionally, the engineers wanted to take a closer look at the newest NVIDIA profiling tools which allows us to identify the most useful features on these tools and will provide an opportunity to compare it to new AMD and Cray’s performance analysis tool releases and provide feedback to our vendor partners on what features are most important and mission critical for CAAR efforts. The primary goal of this report is to focus on the evaluation of PIConGPU’s most time-intensive kernels using NVProf and NSight Suite. Three kernels, Current Deposition (also known as Compute Current), Particle Push (Move and Mark), and Shift Particles are known to be some of the most time-consuming kernels in PIConGPU. The Current xi Deposition kernel and Particle Push kernel both set up the particle attributes for running any physics simulation with PIConGPU, so it is crucial to improve the performance of these two kernels. In this report, we measure single GPU metrics for the three kernels, offer high level takeaways from the conducted analysis, and compare the profiling data from NSight Compute to that of NVProf. This analysis was performed using a grid size of 240 x 272 x 224, and 10 time steps with the Mid-November Figure of Merit (FOM) run setup. The Traveling Wave Electron Acceleration (TWEAC) science case used in this run is a representative science case for PIConGPU. This execution can also be used for baseline analysis on AMD MI50/ MI60 systems. As of the time of writing, the PIConGPU application has limited use for features of NSight Systems, so this report will mainly focus on insights garnered from NSight Compute. For this analysis, we run the “full” metric set available in NSight Compute version 2020.1.2 and use NSight Systems version 2020.3.1 to generate the application timeline.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

Nek5000 developments in support of industry and the NRC

This year, the Nuclear Energy Advanced Modeling Simulation program (NEAMS) thermal-hydraulics verification and validation (V&V) work has focused in three areas of Nek5000 V&V-driven development. First, in a close collaborative effort with the U. S. Nuclear Regulatory Commission (NRC) staff, we have continued V&V efforts for the HYMERES-2 project using the OECD/NEA sponsored testing in the PSI PANDA facility. This year’s focus of ANL-NRC collaboration involves Nek5000 setups and validation for a range of problems relevant to and including the HYMERES-2 benchmark from PSI. The primary outcome of this year efforts is a more efficient geometry and inlet modeling simplification after a careful sensitivity study of the inlet profiles and pipe geometries. The resulting modeling choice of a short recycling/fully-developed turbulent inlet is within the experimental uncertainty estimate. This finding simplifies the next step of the cross-V&V HYMERES-2 project. In addition, the ANL team continue to provide assistance to the NRC staff in the form of Nek5000 application support in general and on the use of the HPC platforms of ALCF and INL in particular. This supports the NRC’s assessment of Nek5000 for use with the NRC Blue CRAB code suite. Second, we have implemented and tested more robust model of URANS, namely the k – τ model, a variant of the k-ω model, along with other improvements to RANS Nek5000 modeling in general. Because of its demonstrated robustness and stability, the k – τ model is the only RANS model that has been implemented in the new GPU version of the Nek5000 code, nekRS. Lastly, we report the initial implementation of Jacobian-free Newton Krylov approach to the direct Newton method for steady fluid solvers aimed at acceleration of RANS modeling and at IC improvement for LES campaigns. Also leveraging the Exascale Computing Project (ECP) ANL/CEED & SMR team’s software development effort to support NEAMS problems at large scale of the advanced computing architectures, NekRS, a GPU variant of Nek5000, built on top of kernels from libParanumal using OCCA for portability, has been successfully run on the full system of Summit (4608 nodes, 27648 GPUs).

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Rock Fracturing Using High-Pressure Ethylene/Nitrous Oxide Detonations

The present work investigates high initial pressure detonations of a stoichiometric mixture of ethylene and nitrous oxide (C2H4 + 6N2O) as a method of fracturing rock beneath the ground surface. These tests were conducted at a test site operated by the Energetic Materials Research and Testing Center (EMRTC), Socorro, New Mexico. The volume under the surface used for testing (called the Down Hole Assembly) consists of a 0.438 in. ID x 50 ft. long stainless-steel tube running down from the test site to a well bore which is 3 in. ID x 10 ft. long and the rock in the well bore is exposed to the propagating combustion wave. The testing carried out at Zucrow Laboratories in the smaller, alloy steel combustion vessel provided a scaling of pressures expected in the well bore. The combustion is initiated by energizing an EBW (Exploding Bridge Wire) above the ground surface. The experimental setup accommodates one high pressure (100,000 psia) transducer to measure the pressure peak and is placed approximately 5 ft. above the ground surface and 5 ft. downstream of the EBW. The focus of this series of experiments is to investigate the dependence of fracture to the rock beneath the surface on initial pressures of the mixture of ethylene and nitrous oxide. Experiments were carried out at initial pressures varying between 125 psia and 300 psi. The transducer recorded elevated pressures, which were 2.3 to 2.6 times in excess of the CJ values. The experimental results are discussed and explained in this report.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Sierra/SolidMechanics Verification Report

This document presents the Sierra/SolidMechanics (Sierra/SM) verification plan. This plan centers on the tests in the Sierra/SM verification test suite, a subset of which are documented in the Sierra/SM Verification Tests Manual. Most of these tests are run nightly with the Sierra/SM code suite, and the results of the tests are checked against analytic solutions. For each of the tests presented in the Verification Tests Manual, the test setup, a description of the analytic solution, and comparison of the Sierra/SM code results to the analytic solution is provided. Mesh convergence is also checked on a nightly basis for several of these tests. This verification plan discusses these various types of tests and what they mean for Sierra/SM verification. Many other activities also contribute to Sierra/SM quality. These address code and solution quality and range from low-level unit tests, run nightly, up to full-fidelity acceptance tests, used to verify release stability. This acceptance test suite checks that new versions of Sierra/SM continue to yield the same answers for high-resolution analyst problems. Further code quality measures include an extensive suite of intermediate-size regression tests and automated nightly code quality checks. While these additional activities do not fall under a strict definition of verification, they greatly add to the quality, stability, and reliability of Sierra/SM, and are discussed here as well.

97 MATHEMATICS AND COMPUTING↗