Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Systematic error”

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 991 records · Page 55
All sourcesNASA NTRSDOE OSTI
DOE OSTI2019

Modelling Curvilinear Beamline Effects on Beam- and Spin-Dynamics in the Fermilab Muon g-2 Storage Ring.

A model of the Fermilab Muon g-2 Experiment storage ring is developed with the BMAD simulation library for beam- and spin-dynamics studies. Particular focus is given to the electrostatic quadrupoles, the plates of which follow the curvature of the particle design trajectory of the magnetically uniform storage ring. To model these, standard electric multipoles and a novel method based on cylindrical harmonics are investigated and found to accurately match the electric field maps produced for the bulk and fringe regions of the curved quadrupoles respectively, despite these methods being specifically for straight beamlines. The toroidal multipole description is then developed, to include curvature and longitudinal field variations (to model the fringe field regions). Various combinations of the different descriptions (including use of the field maps) are used for the bulk and fringe fields of the quadrupoles, and the toroidal multipoles are found to provide the best agreement with the measured tunes of the storage ring. Two integrators are also developed, based on the method of Wu, Forest and Robin. The first of these describes motion in a uniform magnetic dipole field with arbitrary electric field, and produces results comparable to those of the adaptive-step fourth-order Runge–Kutta integrator implemented in BMAD, suitable for tracking over thousands of turns. The second is a generalisation of the first to arbitrary magnetic vector potentials superimposed on that of the uniform dipole, with arbitrary electric fields, and was also found to agree with the Runge–Kutta integrator. Simulations of antimuon storage for 2000 turns of the storage ring were performed, where losses were studied along with the evolution of beam polarisation. The storage losses, important for reducing the systematic error in the measurement of the muon g-2, were found to be largely due to collimator shape. The correlation between momentum and spin precession frequency reflect the effects expected from the electric field correction in the T-BMT equation, on the order of 10 -6 . Particle injection was also studied, for various injection angles, quadrupole strengths and strengths of injection kick, and in the cases where experimental data was provided, the model was found to be consistent with the experiment.

43 PARTICLE ACCELERATORS↗
DOE OSTI2019

Muon g-2: An Interplay between Beam Dynamics and a Muon Decay Experiment at the Precision Frontier

The Muon g-2 Experiment at Fermilab (E989) will use the higher proton flux delivered by the Fermilab accelerator complex and improvements to the experimental apparatus to measure the anomalous magnetic moment of the muon to unprecedented precision. In addition to the increased statistics beyond the most recent measurement, the experiment relies on detailed understanding of the beam dynamics in the experiment’s storage ring as well as the incoming muon beam properties for proper assessments of systematic errors in the data analysis. Modeling and measurements of beam and storage ring properties, from proton targeting to muon storage, produce a unique unification of particle beam physics with a high energy physics experiment. Here the beam dynamics issues and analysis techniques essential to the g-2 experiment are presented and discussed.

43 PARTICLE ACCELERATORS↗
DOE OSTI2022

Beam-Based Diagnostics of Electric Guide Fields and Lattice Parameters for Run-1 of the Muon g-2 Storage Ring at Fermilab

A portion of the Muon g-2 Storage Ring electric system, which provides vertical beam focusing, exhibited an unexpected time dependence that produced a characteristic evolution of the stored beam during Run-1 of the Muon g-2 Experiment at Fermilab (E989). A method to reconstruct the Run-1 electric guide fields has been developed, which is based on a numerical model of the muon storage ring and optimization algorithms supported by COSY INFINITY. This method takes beam profile measurements from the Muon g-2 straw tracking detectors as input, and it produces a full reconstruction of the time-dependent fields. The fields can then be used for the reproduction of detailed beam tracking simulations and the calculation of ring lattice parameters for acceptance studies and systematic error evaluations.

43 PARTICLE ACCELERATORS↗
DOE OSTI2022

Calorimetric study of skutterudite (CoAs2.92) and heazlewoodite (Ni3S2)

Abstract Nickel and cobalt arsenides, sulfarsenides, and sulfides occur in many hydrothermal ore deposits, but their thermodynamic properties are not well known, in some cases not known at all. In this work, we determined a full set of thermodynamic properties for heazlewoodite and skutterudite. Both phases were synthesized in evacuated silica tubes at elevated temperatures, and electron microprobe analyses gave their compositions as Ni3S2 and CoAs2.92, respectively. Enthalpies of formation were measured by high-temperature oxide-melt solution calorimetry. The reference phases were pure elements, thus eliminating any systematic errors related to such phases. The enthalpies of formation at T = 298.15 K and P = 105 Pa are –216.0 ± 8.4(2σ) and –88.2 ± 6.1 kJ·mol−1 for Ni3S2 and CoAs2.92, respectively. Entropies were calculated from low-temperature heat capacity (CP) data from relaxation (PPMS) calorimetry and are 133.8 ± 1.6 and 106.4 ± 1.3 J·mol–1·K–1, respectively. The calculated Gibbs free energies of formation are –210.0 ± 8.4 and –79.9 ± 6.2 kJ·mol−1 for Ni3S2 and CoAs2.92, respectively. The PPMS CP data, together with a set of differential scanning calorimetry measurements, were used to derive CP polynomials up to 700 K with the Kieffer model based on previously published frequencies of acoustic and optic modes. Equilibrium constants for selected reactions with an aqueous phase were calculated up to 700 K. Geochemical modeling in these systems, however, should await until more reliable data for other phases from the system Co-Ni-As-S are available.

Geochemistry & Geophysics↗
DOE OSTI2014

T-1042: Muon g-2 Straw Tracker

The new g-2 experiment is being constructed to improve on the current value measured at Brookhaven. One of the factors contributing to the improved understanding of systematic errors is a straw chamber that sits in the vacuum, close to the muon beam. These chambers can be used for a parasitic Electric dipole moment measurement, improved understanding of the beam dynamics and will improve the pile up library for the calorimeter. The chambers being built will consist of doublet U-V layers (with 15° between layers). The straws are made of wound mylar. One layer consists of 500 angstroms of aluminum on top of the mylar (the outside) and the other layer has 500 angstroms aluminum plus 200 angstroms of gold on the mylar. The two strips are wound together to make a straw. The straws will have a 25 micron gold plated tungsten wire in the middle at high voltage (~1400V) as the sense wire. A gas consisting of 80-20 Ar-C0 2 will be flowed through the straws. This will be a 32 channel prototype consisting of straws that are 9cm long.

Rominsky, Mandy↗
DOE OSTI2014

The Search for Electromagnetic Alteration of 235m U Decay

Electromagnetic modification of the 235m U isomer has been tested by placing the decaying system in a number of different environments. The isomer decays by internal conversion, which involves the electromagnetic transfer of energy from the nucleus to an atomic electron, and it is expected that this process can be altered by changing the photon density of states available to the nucleus. The two approaches pursued during this work included direct detection of the electron produced by the isomer decay using a micro-channel plate detector, and detection of the scintillation light produced when the electron interacted with various scintillators. With direct electron detection, variations in the isomer population were observed before and after covering the isomer, but this effect is attributed to systematic errors associated with the implantation and covering process. With the scintillator approach, scintillation light from the decay of the isomer was measured for the first time, and the decay half-life was directly identified while the isomer was embedded in a bulk material. No modification was observed, which leads to the conclusion that internal conversion of 235m U does not depend on the index of refraction of the surrounding environment in the way that spontaneous photon emission of an atomic system does. This result excludes many of the interesting applications of electromagnetic alteration of nuclear decay.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2014

Detecting Gravitational Lensing of the Cosmic Microwave Background by Galaxy Clusters

Clusters of galaxies gravitationally lens the Cosmic Microwave Background (CMB) leading to a distinct signal in the CMB on arcminute scales. Measurement of the cluster lensing effect offers the exciting possibility of constraining the masses of galaxy clusters using CMB data alone. Improved constraints on cluster masses are in turn essential to the use of clusters as cosmological probes: uncertainties in cluster masses are currently the dominant systematic affecting cluster abundance constraints on cosmology. To date, however, the CMB cluster lensing signal remains undetected because of its small magnitude and angular size. In this thesis, we develop a maximum likelihood approach to extracting the signal from CMB temperature data. We validate the technique by applying it to mock data designed to replicate as closely as possible real data from the South Pole Telescope’s (SPT) Sunyaev-Zel’dovich (SZ) survey: the effects of the SPT beam, transfer function, instrumental noise and cluster selection are incorporated. We consider the effects of foreground emission on the analysis and show that uncertainty in amount of foreground lensing results in a small systematic error on the lensing constraints. Additionally, we show that if unaccounted for, the SZ effect leads to unacceptably large biases on the lensing constraints and develop an approach for removing SZ contamination. The results of the mock analysis presented here suggest that a 4σ first detection of the cluster lensing effect can be achieved with current SPT-SZ data.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2015

Muon Neutrino to Electron Neutrino Oscillation in NO$\nu$A

NOvA is a long-baseline neutrino oscillation experiment optimized for electron neu- trino ( e) appearance in the NuMI beam, a muon neutrino ( $\nu$ μ ) source at Fermilab. It consists of two functionally identical, nearly fully-active liquid-scintillator tracking calorimeters. The near detector (ND) at Fermilab is used to study the neutrino beam spectrum and composition before oscillation, and measure background rate to the $\nu$ e appearance search. The far detector, 810 km away in Northern Minnesota, observes the oscillated beam and is used to extract oscillation parameters from the data. NO$\nu$ A's long baseline, combined with the ability of the NuMI beam to operate in the anti- neutrino mode, makes NO$\nu$ A sensitive to the last unmeasured parameters in neutrino oscillations- mass hierarchy, CP violation and the octant of mixing angle 23. This thesis presents the search for e appearance in the first data collected by the NO A detectors from October 2013 till May 2015. Studies of the NuMI neutrino data collected in the NO A near detector are also presented, which show large discrepancies between the ND simulation and data. Muon- removed electron (MRE) events, constructed by replacing the muon in $\nu$ μ charged cur- rent interactions by a simulated electron, are used to correct the far detector $\nu$e appearance prediction for these discrepancies. In the analysis of the first data, a total of 6 e candidate events are observed in the far detector on a background of 1, a 3.46 σ excess, which is interpreted as strong evidence for e appearance. The results are consistent with our expectation, based on constraints from other neutrino oscillation experiments. The result presented here differs from the officially published $\nu$ e appearance result from the NO A experiment where the systematic error is assumed to cover the MRE correction.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2016

Evaluating Bay Area Methane Emission Inventory

As a regulatory agency, evaluating and improving estimates of methane (CH4) emissions from the San Francisco Bay Area is an area of interest to the Bay Area Air Quality Management District (BAAQMD). Currently, regional, state, and federal agencies generally estimate methane emissions using bottom-up inventory methods that rely on a combination of activity data, emission factors, biogeochemical models and other information. Recent atmospheric top-down measurement estimates of methane emissions for the US as a whole (e.g., Miller et al., 2013) and in California (e.g., Jeong et al., 2013; Peischl et al., 2013) have shown inventories underestimate total methane emissions by ~ 50% in many areas of California, including the SF Bay Area (Fairley and Fischer, 2015). The goal of this research is to provide information to help improve methane emission estimates for the San Francisco Bay Area. The research effort builds upon our previous work that produced methane emission maps for each of the major source sectors as part of the California Greenhouse Gas Emissions Measurement (CALGEM) project (http://calgem.lbl.gov/prior_emission.html; Jeong et al., 2012; Jeong et al., 2013; Jeong et al., 2014). Working with BAAQMD, we evaluate the existing inventory in light of recently published literature and revise the CALGEM CH4 emission maps to provide better specificity for BAAQMD. We also suggest further research that will improve emission estimates. To accomplish the goals, we reviewed the current BAAQMD inventory, and compared its method with those from the state inventory from the California Air Resources Board (CARB), the CALGEM inventory, and recent published literature. We also updated activity data (e.g., livestock statistics) to reflect recent changes and to better represent spatial information. Then, we produced spatially explicit CH4 emission estimates on the 1-km modeling grid used by BAAQMD. We present the detailed activity data, methods and derived emission maps by sector. In total, we estimate the anthropogenic emissions for BAAQMD to be 116.4 Gg (1 Gg = 109 g) CH4/yr, with a likely uncertainty of ~ 50% or more (e.g., NRC, 2010; US-EPA, 2015). Including the emissions from wetland (Jeong et al., 2013), the total CH4 emission estimate for BAAQMD is 120.1 Gg CH4/yr. Table 1 summarizes the estimated CH4 emissions for 2011 by sector. The sectors were categorized following those that are used in recent regional emission quantification studies (e.g., Jeong et al., 2013; Peischl et al., 2013; Wecht et al., 2014). However, we note that this result is marginally lower than the top-down estimate of 240 ± 60 Gg CH4/yr (at 95% confidence) reported by Fairley and Fischer (2015), suggesting some combination of systematic error in the top-down estimate, underestimation of emissions from known sources, or as yet unidentified sources may be present. With respect to the relative contributions from different source sectors, the CH4 emissions from the region are dominated by urban activities. Landfill emissions represent 53% of the District’s total emission followed by livestock (16%) and natural gas (15%). These three dominant sectors account for 84% of the total anthropogenic emission in BAAQMD. This suggests that mitigation efforts need to focus on these three sources. Figure 1 shows the gridded anthropogenic CH4 emissions on the BAAQMD’s 1-km grid. In general, the spatial pattern of emissions follows the density of population while strong point sources are also distributed in the rural areas of the District. Detailed methods and emissions for each sector and county are described in the following sections.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2017

Recent Measurement of Flavor Asymmetry of Antiquarks in the Proton by Drell–Yan Experiment SeaQuest at Fermilab

A measurement of the flavor asymmetry of the antiquarks ($\bar{d}$ and $\bar{u}$) in the proton is described in this thesis. The proton consists of three valence quarks, sea quarks, and gluons. Antiquarks in the proton are sea quarks. They are generated from the gluon splitting: g → q + $\bar{q}$. According to QCD (Quantum Chromodynamics), the gluon splitting is independent of quark flavor. It suggests that the amounts of $\bar{d}$ and $\bar{u}$ should be the same in the proton. However, the NMC experiment at CERN found that the amount of $\bar{d}$ is larger than that of $\bar{u}$ in the proton using the deep inelastic scattering in 1991. This result is obtained for $\bar{d}$ and $\bar{u}$ integrated over Bjorken x. Bjorken x is the fraction of the momentum of the parton to that of the proton. The NA51 experiment (x ~ 0.2) at CERN and E866/NuSea experiment (0.015 < x < 0.35) at Fermilab measured the flavor asymmetry of the antiquarks ($\bar{d}$/$\bar{u}$) in the proton as a function of x using Drell–Yan process. The experiments reported that the flavor symmetry is broken over all measured x values. Understanding the flavor asymmetry of the antiquarks in the proton is a challenge of the QCD. The theo- retical investigation from the first principle of QCD such as lattice QCD calculation is important. In addition, the QCD effective models and hadron models such as the meson cloud model can also be tested with the flavor asymmetry of antiquarks. From the experimental side, it is important to measure with higher accuracy and in a wider x range. The SeaQuest (E906) experiment measures $\bar{d}$/$\bar{u}$ at large x (0.15 < x < 0.45) accurately to understand its behavior. The SeaQuest experiment is a Drell–Yan experiment at Fermi National Accelerator Laboratory (Fermilab). In the Drell–Yan process of proton-proton reaction, an antiquark in a proton and a quark in another proton annihilate and create a virtual photon, which then decays into a muon pair (q$\bar{q}$ → γ* → µ + µ - ). The SeaQuest experiment uses a 120 GeV proton beam extracted from Fermilab’s Main Injector. The proton beam interacts with hydrogen and deuterium targets. The SeaQuest spectrometer detects the muon pairs from the Drell–Yan process. The $\bar{d}$/$\bar{u}$ ratio at 0.1 < x < 0.58 is extracted from the number of detected Drell–Yan muon pairs. After the detector construction, commissioning run and detector upgrade, the SeaQuest experiment started the physics data acquisition from 2013. We finished so far three periods of physics data acquisition. The fourth period is in progress. The detector construction, detector performance evaluation, data taking and data analysis for the flavor asymmetry of the antiquarks $\bar{d}$/$\bar{u}$ in the proton are my contribution to SeaQuest. The cross section ratio of Drell–Yan process in p- p and p-d reactions is obtained from dimuon yields. In the experiment with high beam intensity, it is important to control the tracking efficiency of charged particles through the magnetic spectrometer. The tracking efficiency depends on the chamber occupancy, and the appropriate method for the correction is important. The chamber occupancy is the number of hits in drift chambers. A new method of the correction for the tracking efficiency is developed based on the occupancy, and applied to the data. This method reflects the real response of the drift chambers. Therefore, the systematic error is well controlled by this method. The flavor asymmetry of antiquarks is obtained at 0.1 < x < 0.58. At 0.1 < x < 0.45, the result is $\bar{d}$/$\bar{u}$ > 1. The result at 0.1 < x < 0.24 agrees with the E866 result. The result at x > 0.24, however, disagrees with the E866 result. The result at 0.45 < x < 0 the statistical errors. u¯ results extracted from experiments are used to investigate the validity of the theoretical models. The present experimental result provides the data points in wide x region. It is useful for understanding the proton structure in the light of QCD and effective hadron models. The present result has a practical application as well. Antiquark distributions are important as inputs to simulations of hadron reactions such as W± production in various experiments. The new knowledge on antiquark distributions helps to improve the precision of the simulations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2017

Final Technical Report for DE-SC0012297

This is the final report on the work performed in award DE-SC0012297, Cosmic Frontier work in support of the LSST Dark Energy Science Collaboration's work to develop algorithms, simulations, and statistical tests to ensure optimal extraction of the dark energy properties from galaxy clusters observed with LSST. This work focused on effects that could produce a systematic error on the measurement of cluster masses (that will be used to probe the effects of dark energy on the growth of structure). These effects stem from the deviations from pure ellipticity of the gravitational lensing signal and from the blending of light of neighboring galaxies. Both these effects are expected to be more significant for LSST than for the stage III experiments such as the Dark Energy Survey. We calculate the magnitude of the mass error (or bias) for the first time and demonstrate that it can be treated as a multiplicative correction and calibrated out, allowing mass measurements of clusters from gravitational lensing to meet the requirements of LSST's dark energy investigation.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2017

Weak-lensing magnification as a probe for the dark Universe

This Thesis is devoted to the analysis of weak-lensing magnification on the Dark Energy Survey. Two analysis with different goals each are made on different data-sets: the Science Verification (DES-SV) and the Year 1 (DES-Y1). The DES-SV analysis aims the development of techniques to detect the weak-lensing number count magnification signal and the mitigation of systematic errors. The DES-Y1 analysis employs the methods used with the DES-SV data to measure the convergence profile of the emptiest regions of the Universe –voids and troughs–to use them as a new cosmological probe.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2017

Lost Muon Study for the Muon G-2 Experiment at Fermilab*

The Fermilab Muon g-2 Experiment has a goal of measuring the muon anomalous magnetic moment to a precision of 140 ppb - a fourfold improvement over the 540 ppb precision obtained by the BNL Muon g-2 Experiment. Some muons in the storage ring will interact with material and undergo bremsstrahlung, emitting radiation and loosing energy. These so called lost muons will curl in towards the center of the ring and be lost, but some of them will be detected by the calorimeters. A systematic error will arise if the lost muons have a different average spin phase than the stored muons. Algorithms are being developed to estimate the relative number of lost muons, so as to optimize the stored muon beam. This study presents initial testing of algorithms that can be used to estimate the lost muons by using either double or triple detection coincidences in the calorimeters.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2018

The Beam Dynamics and Beam Related Uncertainties in Fermilab Muon $g-2$ Experiment

The anomaly of the muon magnetic moment, $a_{\mu}\equiv (g-2)/2$, has played an important role in constraining physics beyond the Standard Model for many years. Currently, the Standard Model prediction for $a_{\mu}$ is accurate to 0.42 parts per million (ppm). The most recent muon $g-2$ experiment was done at Brookhaven National Laboratory (BNL) and determined $a_{\mu}$ to 0.54 ppm, with a central value that differs from the Standard Model prediction by 3.3-3.6 standard deviations and provides a strong hint of new physics. The Fermilab Muon $g-2$ Experiment has a goal to measure $a_{\mu}$ to unprecedented precision: 0.14 ppm, which could provide an unambiguous answer to the question whether there are new particles and forces that exist in nature. To achieve this goal, several items have been identified to lower the systematic uncertainties. In this work, we focus on the beam dynamics and beam associated uncertainties, which are important and must be better understood. We will discuss the electrostatic quadrupole system, particularly the hardware-related quad plate alignment and the quad extension and readout system. We will review the beam dynamics in the muon storage ring, present discussions on the beam related systematic errors, simulate the 3D electric fields of the electrostatic quadrupoles and examine the beam resonances. We will use a fast rotation analysis to study the muon radial momentum distribution, which provides the key input for evaluating the electric field correction to the measured $a_{\mu}$.

Wu, Wanwei↗
DOE OSTI2018

Magnetic Microcalorimeter Gamma-Detectors for High-Accuracy Nuclear Decay Data

Magnetic microcalorimeters (MMCs) are low-energy gamma-ray detectors with ultra-high energy resolution that are operated at temperatures below 50 mK. They use metallic Au absorbers and paramagnetic Ag:Er sensors to measure gamma-ray energies from an increase in detector temperature. Ultra-low temperatures are made accessible to non-expert users with “dry” dilution refrigerators that replace the traditional liquid N 2 and He pre-cooling with a mechanically cooled pulse-tube refrigerator. Our MMC gamma detectors have achieved an energy resolution below 40 eV FWHM at 60 keV, and they have a uniform and reproducible response function that allows adding spectra from different detector pixels without loss in energy resolution. These properties make MMCs well-suited to re-measure nuclear decay data with increased precision and smaller systematic errors to increase the accuracy of non-destructive assays (NDA). We present recent MMC gamma-ray spectra of Th-234 to show how MMCs can resolve lines that are relevant for NDA analysis and that overlap in Ge spectra. We also discuss the accuracy that MMCs can achieve for nuclear decay data with an emphasis on gamma-ray energies and intensity ratios that current NDA codes are based on.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗
DOE OSTI2017

Optimal Cosmological Measurements with Weak Gravitational Lensing

The goal of the research carried out under this DOE award was to develop methodology to ensure that the upcoming Large Synoptic Survey Telescope (LSST) survey achieves its goals of robustly constraining dark energy using weak gravitational lensing. This included developing more optimal ways to use the data on its own or in combination with other surveys, better ways of detecting and reducing the impact of systematic errors, and demonstrating that methodology on existing data.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2019

Achieving Verifiable and High Integrity Instrumentation and Control Systems through Complexity Awareness and Constrained Design. Final Report

While most process control industries have been able to embrace digital Instrumentation and Control (I&C) technology to improve performance, reliability, maintainability, and efficiency of production, the nuclear industry has been relatively slow to adopt digital I&C for safety critical plant functions. There are a variety of reasons for this, but in general the nuclear industry takes a conservative stance that new technologies must mature before adoption. A deeper underlying reason for not fully realizing digital I&C and automation in nuclear power is associated with the complexity that can manifest in software-based systems that is different in nature from the complexity of their analog predecessors. Accordingly, this research pursued the development of innovative architectures and methods to “constrain complexity” to enhance verifiability of digital I&C devices. These constraints can positively impact the reduction of Software Common Cause Failures (SCCF) and other systematic errors. The architectural concept developed in this research effort is called SymPLe. SymPLe is specifically aimed at safety critical functions within Nuclear Power Plants and other critical infrastructure where constraining device complexity to support verifiability and safety case arguments is important. The SymPLe architecture is designed to promote “accessible verification” between OEM/utility engineers and the regulatory agencies who review and license nuclear power plant I&C systems. The major contributions of this work to the nuclear industry are: Demonstration of SymPLe as a viable approach to “complexity aware” I&C systems and Embedded Digital Devices.Comprehensive use of model-based design and engineering to produce verifiable I&C systems for the nuclear industry with clear findings on the usability of model-based engineering. Employ comprehensive use of model-based engineering, testing, and verification in an IEC 61508 workflow in support of design assurance. Gathered evidence of “difficult to find” design flaws found using model-based design and testing methods. Detailed the nature of these SCCFs including where they were introduced, the triggers, and how they were found. Gathered evidence on the synergistic use of practical formal methods and testing and how these methods can be used to significantly increase assurance of reduction and avoidance of design flaws.

Testing↗
DOE OSTI2019

Cosmological Probes of Fundamental Physics

The Lyman-alpha forest is a key probe of the expansion history and of structure formation in the Universe at intermediate redshifts (2<z<5). This report describes two investigations into astrophysical systematic errors in the Lyman-alpha forest: reionization imprints (which affect the broadband power spectrum) and streaming velocities (which affect the baryon-acoustic oscillation feature).

79 ASTRONOMY AND ASTROPHYSICS↗