Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “model checking”

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 883 records · Page 49

Spring Boot based REST API to Improve Data Quality Report Generation for Big Scientific Data: ARM Data Center Example

Web application technologies are growing rapidly with continuous innovation and improvements. This paper focuses on the popular Spring Boot [1] java-based framework for building web and enterprise applications and how it provides the flexibility for service-oriented architecture (SOA). One challenge with any Spring-based applications is its level of complexity with configurations. Spring Boot makes it easy to create and deploy stand-alone, production-grade Spring applications with very little Spring configuration. Example, if we consider Spring Model-View-Controller (MVC) framework [2], we need to configure dispatcher servlet, web jars, a view resolver, and component scan among other things. To solve this, Spring Boot provides several Auto Configuration options to setup the application with any needed dependencies. Another challenge is to identify the framework dependencies and associated library versions required to develop a web application. Spring Boot offers simpler dependency management by using a comprehensive, but flexible, framework and the associated libraries in one single dependency, which provides all the Spring related technology that you need for starter projects as compared to CRUD web applications. This framework provides a range of additional features that are common across many projects such as embedded server, security, metrics, health checks, and externalized configuration. Web applications are generally packaged as war and deployed to a web server, but Spring Boot application can be packaged either as war or jar file, which allows to run the application without the need to install and/or configure on the application server. In this paper, we discuss how Atmospheric Radiation Measurement (ARM) Data Center (ADC) at Oak Ridge National Laboratory, is using Spring Boot to create a SOA based REST [4] service API, that bridges the gap between frontend user interfaces and backend database. Using this REST service API, ARM scientists are now able to submit reports via a user form or a command line interface, which captures the same data quality or other important information about ARM data.

Guntupally, Kavya↗

Verification of the DIF3D Software to Support Fast Reactor Analysis

Ongoing design activities at Argonne National Laboratory are requiring a thorough verification of the Argonne Reactor Computation codes be performed. DIF3D is central to this system. The driver for this effort requires the 3D Cartesian, triangular-Z, and hexagonal-Z core geometry options of DIF3D be verified. Previous work identified the DIF3D features required to be verified to support current design activities, features of which are generally applicable to hexagonal-Z fast reactor designs. The scope of this verification effort includes verifying DIF3D’s ability to correctly translate the user’s model in to DIF3D’s preferred format, verifying that options planned for use have the desired effect, and verifying the correctness of the eigenvalue, fixed-source, forward, and adjoint solvers in DIF3D-FD and DIF3D-VARIANT. This manuscript provides the verification tasks and their results with respect to the features needed for current design activities. Since analytic solutions of the neutron diffusion and transport equations are either limited in scope or not possible, multiple tiers of problems unique to each solver and geometry type were implemented. Each of these tiers tests features independent and complementary arguments for why the separate testing of functionalities is acceptable. Finally, this separate testing was also supplemented with a high-level integral check of each the diffusion and transport capabilities and applicable geometries. To accommodate cases which an analytic solution is not feasible, MCNP6.2 was relied upon to provide a higher-order reference solution. This therefore required that the capabilities within MCNP6.2 which were relied upon for this work are also verified in this work. No MCNP discrepancies were noted in this effort. Note that the MCNP6.2 verification included in this work does not stand as a full verification of MCNP6.2, but merely verifies the features used in verifying DIF3D. The verification effort identified no issues that are debilitating or otherwise impactful to design usage of DIF3D, and thus DIF3D version 11.0, release 3012 is considered verified. The types of issues that were identified were predominantly in the areas of: unclear documentation, software bugs which were inconsequential to final results, editing options which were ignored in favor of printing more information than requested, bugs in the outputs of intermediate results, or secondary output binary file information which was not present. While not a bug, this verification report also identified that the algorithm used to evaluate the peak fast flux in a nodal transport solution can be quite unreliable due to the polynomial order used and the location of the peak within the mesh. The authors of the report therefore recommend the usage of the EvaluateFlux software (distributed with ARC) as a more robust alternative.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Verification of the DIF3D Software to Support Fast Reactor Analysis

Ongoing design activities at Argonne National Laboratory are requiring a thorough verification of the Argonne Reactor Computation codes be performed. DIF3D is central to this system. The driver for this effort requires the 3D Cartesian, triangular-Z, and hexagonal-Z core geometry options of DIF3D be verified. Previous work identified the DIF3D features required to be verified to support current design activities, features of which are generally applicable to hexagonal-Z fast reactor designs. The scope of this verification effort includes verifying DIF3D’s ability to correctly translate the user’s model in to DIF3D’s preferred format, verifying that options planned for use have the desired effect, and verifying the correctness of the eigenvalue, fixed-source, forward, and adjoint solvers in DIF3D-FD and DIF3D-VARIANT. This manuscript provides the verification tasks and their results with respect to the features needed for current design activities. Since analytic solutions of the neutron diffusion and transport equations are either limited in scope or not possible, multiple tiers of problems unique to each solver and geometry type were implemented. Each of these tiers tests features independent and complementary arguments for why the separate testing of functionalities is acceptable. Finally, this separate testing was also supplemented with a high-level integral check of each the diffusion and transport capabilities and applicable geometries. To accommodate cases which an analytic solution is not feasible, MCNP6.2 was relied upon to provide a higher-order reference solution. This therefore required that the capabilities within MCNP6.2 which were relied upon for this work are also verified in this work. No MCNP discrepancies were noted in this effort. Note that the MCNP6.2 verification included in this work does not stand as a full verification of MCNP6.2, but merely verifies the features used in verifying DIF3D. The verification effort identified no issues that are debilitating or otherwise impactful to design usage of DIF3D, and thus DIF3D version 11.0, release 3012 is considered verified. As some additional changes have been made to the ARC software since this point all versions between release 3012 and 3266 can be considered verified as version 3253 was used for all updates in this revision. The types of issues that were identified were predominantly in the areas of: unclear documentation, software bugs which were inconsequential to final results, editing options which were ignored in favor of printing more information than requested, bugs in the outputs of intermediate results, or secondary output binary file information which was not present. While not a bug, this verification report also identified that the algorithm used to evaluate the peak fast flux in a nodal transport solution can be quite unreliable due to the methodology used and the location of the peak within the mesh. The authors of the report therefore recommend the usage of the EvaluateFlux software (distributed with ARC) as a more robust alternative noting that DIF3D will properly notify the user when the peaking values it is providing are potentially incorrect.

97 MATHEMATICS AND COMPUTING↗

Verification of the DIF3D Software to Support Fast Reactor Analysis (Rev. 3)

Ongoing design activities at Argonne National Laboratory are requiring a thorough verification of the Argonne Reactor Computation codes be performed. DIF3D is central to this system. The driver for this effort requires the 3D Cartesian, triangular-Z, and hexagonal-Z core geometry options of DIF3D be verified. Previous work identified the DIF3D features required to be verified to support current design activities, features of which are generally applicable to hexagonal-Z fast reactor designs. The scope of this verification effort includes verifying DIF3D’s ability to correctly translate the user’s model in to DIF3D’s preferred format, verifying that options planned for use have the desired effect, and verifying the correctness of the eigenvalue, fixed-source, forward, and adjoint solvers in DIF3D-FD and DIF3D-VARIANT. This manuscript provides the verification tasks and their results with respect to the features needed for current design activities. Since analytic solutions of the neutron diffusion and transport equations are either limited in scope or not possible, multiple tiers of problems unique to each solver and geometry type were implemented. Each of these tiers tests features independent and complementary arguments for why the separate testing of functionalities is acceptable. Finally, this separate testing was also supplemented with a high-level integral check of each the diffusion and transport capabilities and applicable geometries. To accommodate cases which an analytic solution is not feasible, MCNP6.2 was relied upon to provide a higher-order reference solution. This therefore required that the capabilities within MCNP6.2 which were relied upon for this work are also verified in this work. No MCNP discrepancies were noted in this effort. Note that the MCNP6.2 verification included in this work does not stand as a full verification of MCNP6.2, but merely verifies the features used in verifying DIF3D. The verification effort identified no issues that are debilitating or otherwise impactful to design usage of DIF3D, and thus DIF3D version 11.0, release 3012 is considered verified. As some additional changes have been made to the ARC software since this point all versions between release 3012 and 3266 can be considered verified as version 3253 was used for all updates in this revision. The types of issues that were identified were predominantly in the areas of: unclear documentation, software bugs which were inconsequential to final results, editing options which were ignored in favor of printing more information than requested, bugs in the outputs of intermediate results, or secondary output binary file information which was not present. While not a bug, this verification report also identified that the algorithm used to evaluate the peak fast flux in a nodal transport solution can be quite unreliable due to the methodology used and the location of the peak within the mesh. The authors of the report therefore recommend the usage of the EvaluateFlux software (distributed with ARC) as a more robust alternative noting that DIF3D will properly notify the user when the peaking values it is providing are potentially incorrect.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Polarised Drell-Yan measurements at COMPASS-II

The spin structure of the nucleon and its Parton Distribution Functions (PDFs) are important topics studied by the COMPASS experiment at CERN. So far, the transverse momentum dependent PDFs (TMD PDFs) of the proton and deuteron have been studied in Semi-Inclusive Deep Inelastic Scattering (SIDIS). The Drell-Yan (DY) process is a complementary way to access the TMD PDFs, using a transversely polarised target. Studying the angular distributions of dimuons from the DY events produced in the collisions of a π{sup −} beam with 190 GeV/c momentum off a transversely polarised proton target (NH{sub 3}) we are able to extract the azimuthal spin asymmetries, which are generated by 4 out of the 8 TMD PDFs needed to describe the nucleon structure at leading order QCD. The expected sign change in Sivers and Boer-Mulders functions when accessed from DY and SIDIS will be checked [1]. The opportunity to study, in the same experiment, the TMD PDFs from both SIDIS and DY processes is unique at COMPASS. The COMPASS II Proposal [2] was approved by CERN including one year for polarised DY measurements; the beginning of the DY data taking is scheduled for 2014. The feasibility of the measurement was proven by several beam tests performed so far.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Sensitivity of Precipitation to Parameter Values in the Community Atmosphere Model Version 5

One objective of the Climate Science for a Sustainable Energy Future (CSSEF) program is to develop the capability to thoroughly test and understand the uncertainties in the overall climate model and its components as they are being developed. The focus on uncertainties involves sensitivity analysis: the capability to determine which input parameters have a major influence on the output responses of interest. This report presents some initial sensitivity analysis results performed by Lawrence Livermore National Laboratory (LNNL), Sandia National Laboratories (SNL), and Pacific Northwest National Laboratory (PNNL). In the 2011-2012 timeframe, these laboratories worked in collaboration to perform sensitivity analyses of a set of CAM5, 2° runs, where the response metrics of interest were precipitation metrics. The three labs performed their sensitivity analysis (SA) studies separately and then compared results. Overall, the results were quite consistent with each other although the methods used were different. This exercise provided a robustness check of the global sensitivity analysis metrics and identified some strongly influential parameters.

54 ENVIRONMENTAL SCIENCES↗

Estimating mortality rates among passerines caught for ringing with mist nets using data from previously ringed birds

Abstract Mist netting is the most commonly used method for catching birds for scientific ringing, but despite decades of use, there have been few attempts to quantify the associated potential risks to the individuals caught. Any incidence of mortality through capture and handling, however low, is of potential ethical concern and may also introduce biases into the data. We estimate the mortality rate associated with capture of previously ringed (recaptured) passerines from the British and Irish Ringing Scheme (c. 1.5 million records) caught using mist nets. The importance of species, age, mass, month, time, previous captures, and an index of predator occurrence was tested using generalized linear mixed‐effects models. The average mortality rate was 0.0011, most of which was reported to occur before the individuals had been extracted from the nets (c. 70% of incidents). Juveniles appeared to be at higher risk and the incidence of predation from mist nets was seasonal, with increased risk during the winter. Species differed in their reported mortality rates with the apparent risk being greatest for Chiffchaff Phylloscopus collybita (0.0029) and Bullfinch Pyrrhula pyrrhula (0.0027). To improve our understanding (and hence minimize risk in future), we recommend collecting more complete data on incidences of mortality, and also injuries; exercising increased care when the species we have identified as being at greater risk are likely to be captured, and ensuring there are robust procedures for the checking of nets (as most reported incidents of mortality occur before handling). We also recommend that all Ringing Schemes should collate and make available data on capture‐related mortality. Overall rates of mortality associated with capture, although, were low and support the use of mist netting as a safe capture technique, without undue bias from mortality, when used by appropriately trained individuals.

Clewley, Gary D.↗

K-inflationary power spectra at second order

Within the class of inflationary models, k-inflation represents the most general single field framework that can be associated with an effective quadratic action for the curvature perturbations and a varying speed of sound. The incoming flow of high-precision cosmological data, such as those from the Planck satellite and small scale Cosmic Microwave Background (CMB) experiments, calls for greater accuracy in the inflationary predictions. In this work, we calculate for the first time the next-to-next-to-leading order scalar and tensor primordial power spectra in k-inflation needed in order to obtain robust constraints on the inflationary theory. The method used is the uniform approximation together with a second order expansion in the Hubble and sound flow functions. Our result is checked in various limits in which it reduces to already known situations.

79 ASTRONOMY AND ASTROPHYSICS↗

Hints of an axion-like particle mixing in the GeV gamma-ray blazar data?

Axion-Like Particles (ALPs), if exist in nature, are expected to mix with photons in the presence of an external magnetic field. The energy range of photons which undergo strong mixing with ALPs depends on the ALP mass, on its coupling with photons as well as on the external magnetic field and particle density configurations. Recent observations of blazars by the Fermi Gamma-Ray Space Telescope in the 0.1–300 GeV energy range show a break in their spectra in the 1–10 GeV range. We have modeled this spectral feature for the flat-spectrum radio quasar 3C454.3 during its November 2010 outburst, assuming that a significant fraction of the gamma rays convert to ALPs in the large scale jet of this blazar. Using theoretically motivated models for the magnetic field and particle density configurations in the kiloparsec scale jet, outside the broad-line region, we find an ALP mass m{sub a} ∼ (1−3)⋅10{sup −7} eV and coupling g{sub aγ} ∼ (1−3)⋅10{sup −10} GeV{sup −1} after performing an illustrative statistical analysis of spectral data in four different epochs of emission. The precise values of m{sub a} and g{sub aγ} depend weakly on the assumed particle density configuration and are consistent with the current experimental bounds on these quantities. We apply this method and ALP parameters found from fitting 3C454.3 data to another flat-spectrum radio quasar PKS1222+216 (4C+21.35) data up to 400 GeV, as a consistency check, and found good fit. We find that the ALP-photon mixing effect on the GeV spectra may not be washed out for any reasonable estimate of the magnetic field in the intergalactic media.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Extrapolating W -associated jet-production ratios at the LHC

Electroweak vector-boson production, accompanied by multiple jets, is an important background to searches for physics beyond the standard model. A precise and quantitative understanding of this process is helpful in constraining deviations from known physics. We study four key ratios in W + n -jet production at the LHC. We compute the ratio of cross sections for W + n - to W + (n-1)-jet production as a function of the minimum jet transverse momentum. We also study the ratio differentially, as a function of the W-boson transverse momentum; as a function of the scalar sum of the jet transverse energy, H$jets\atop{T}$; and as a function of certain jet transverse momenta. We show how to use such ratios to extrapolate differential cross sections to W + 6 -jet production at next-to-leading order, and we cross-check the method against a direct calculation at leading order. We predict the differential distribution in H$jets\atop{T}$ for W + 6 jets at next-to-leading order using such an extrapolation. We use the BlackHat software library together with SHERPA to perform the computations.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Measurements from mobile surface vehicles during the Lower Atmospheric Profiling Studies at Elevation – a Remotely-piloted Aircraft Team Experiment (LAPSE-RATE)

Abstract. Between 14 and 20 July 2018, small unmanned aircraft systems (UASs) were deployed to the San Luis Valley of Colorado (USA) alongside surface-based remote sensors, in situ sensors, and radiosonde systems as part of the Lower Atmospheric Profiling Studies at Elevation – a Remotely-piloted Aircraft Team Experiment (LAPSE-RATE). The measurements collected as part of LAPSE-RATE targeted quantities related to enhancing our understanding of boundary layer structure, cloud and aerosol properties and surface–atmosphere exchange and provide detailed information to support model evaluation and improvement work. Additionally, intensive intercomparison between the different unmanned aircraft platforms was completed. The current paper describes the observations obtained using three different types of surface-based mobile observing vehicles. These included the University of Colorado Mobile UAS Research Collaboratory (MURC), the National Oceanic and Atmospheric Administration National Severe Storms Laboratory Mobile Mesonet, and two University of Nebraska Combined Mesonet and Tracker (CoMeT) vehicles. Over the 1-week campaign, a total of 143 h of data were collected using this combination of vehicles. The data from these coordinated activities provide detailed perspectives on the spatial variability of atmospheric state parameters (air temperature, humidity, pressure, and wind) throughout the northern half of the San Luis Valley. These datasets have been checked for quality and published to the Zenodo data archive under a specific “community” setup for LAPSE-RATE (https://zenodo.org/communities/lapse-rate/, last access: 21 January 2021) and are accessible at no cost by all registered users. The primary dataset DOIs are https://doi.org/10.5281/zenodo.3814765 (CU MURC measurements; de Boer et al., 2020d), https://doi.org/10.5281/zenodo.3738175 (NSSL MM measurements; Waugh, 2020), and https://doi.org/10.5281/zenodo.3838724 (UNL CoMeT measurements; Houston and Erwin, 2020).

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Perturbative Stability and Error-Correction Thresholds of Quantum Codes

Topologically ordered phases are stable to local perturbations, and topological quantum error-correcting codes enjoy thresholds to local errors. We connect the two notions of stability by constructing classical statistical mechanics models for decoding general Calderbank-Shor-Steane codes and classical linear codes. Our construction encodes correction success probabilities under uncorrelated bit-flip and phase-flip errors, and simultaneously describes a generalized ℤ 2 lattice-gauge theory with quenched disorder. We observe that the clean limit of the latter is precisely the discretized imaginary-time path integral of the corresponding quantum code Hamiltonian when the errors are turned into a perturbative 𝑋 or 𝑍 magnetic field. Motivated by error-correction considerations, we define general order parameters for all such generalized ℤ 2 lattice-gauge theories, and show that they are generally lower bounded by success probabilities of error correction. For CSS codes satisfying the low-density parity-check condition and with a sufficiently large code distance, we prove the existence of a low-temperature ordered phase of the corresponding lattice-gauge theories, particularly for those lacking Euclidean spatial locality and/or when there is a nonzero code rate. We further argue that these results provide evidence for stable phases in the corresponding perturbed quantum Hamiltonians, obtained in the limit of continuous imaginary time. To do so, we distinguish space- and timelike defects in the lattice-gauge theory. A high free-energy cost of spacelike defects corresponds to a successful “memory experiment” and suppresses the energy splitting among the ground states, while a high free-energy cost of timelike defects corresponds to a successful “stability experiment” and points to a nonzero gap to local excitations.

quantum error correction↗

Distribution Development for Residual Inventory at the New York West Valley Site - 20400

The New York State Energy Research and Development Authority (NYSERDA) is the owner of the Western New York Nuclear Service Center (WNYNSC), a 1,351 ha site located approximately 48 km south of Buffalo, New York. In 1962, Nuclear Fuel Services, Inc. (NFS) entered into Agreements with the Atomic Energy Commission and New York State to construct the first commercial reprocessing plant of nuclear fuel in the United States. NFS, a private company, built and operated the spent fuel reprocessing plant and waste disposal facilities, processing 640 Mg of spent nuclear fuel from 1966 to 1972 under an Atomic Energy Commission license. Nuclear fuel reprocessing operations ended in 1972 and never reopened, leaving behind radioactive and chemical wastes. Operations led to contamination in a number of facilities and locations. Some of that contamination has migrated from waste disposal zones to other layers, formations, and features on and off the WNYNSC. Phase I decommissioning activities are ongoing and involve the removal of a number of areas and structures that have been associated with contamination. The purpose of this work is to outline the approach for characterizing contamination not associated with disposed wastes, contaminated structures, or specific releases. In this work, the term, residual radiological activity, is used to describe environmental contamination that exists subsequent to the completion of Phase I decommissioning activities, that is not associated with disposed wastes, contaminated structures, or specific releases. Contamination from the Site was quantified relative to data that characterize the concentrations of radionuclides that exist in background. Background concentrations are those present in the area but having no influence from Site related activities. The existence of residual radiological activity that is elevated relative to background has the potential to contribute to future risks to human health and the environment. As a consequence, the residual inventory information is used to inform the West Valley Probabilistic Performance Assessment (PPA) model to characterize potential future risks to human health and the environment. The centralized West Valley Data Management System (DMS) was the source of information for the data assembled in this analysis. The DMS is a fairly large compilation consisting of thousands of records from investigation studies, with sample dates ranging from 1990 to present. Samples from monitoring wells, boreholes, geoprobe studies, surface water, surface soils, storm water outfalls, ventilation stack filters, plant and animal tissues, and more are included in the DMS. Results are typically reported in units of activity per unit volume. For the purpose of the analyses presented here, all results were converted into consistent units of pCi per unit volume. Since 1990, data have been collected from various locations across the WNYNSC at different times with varying frequency over the course of several decades. As a consequence, a number of potential issues can arise with respect to the assembly of a dataset that is deemed adequate for the characterization of residual radiological activity. These issues were assessed and resolved to the extent possible through careful consideration of the properties of the distributions. The intent was to use data which characterize the current state of the Site. Radionuclides can be designated to one of several groups depending on their origin. In this work the groups considered were 1) Naturally Occurring Radioactive Material (NORM), 2) fallout, and 3) Other (including power plant, medical research, etc). This grouping is a useful construct with respect to the interpretation of fixed laboratory results. For example, NORM radionuclides that exist within a decay chain should have approximately equivalent distributions of concentrations if they are representative of background conditions. Insights such as these can be used as a check to identify sample results that need to be further investigated or omitted due to issues associated with reported results from fixed laboratory analyses. This type of analysis provided a foundation for the assessment of the adequacy of sample results for use in subsequent components of an assessment. The general process for the assessment of residual radiological contamination at the Site consists of a sequence of several steps. First, for each analyte, several statistical tests were performed to assess the weight of evidence against the null hypothesis that the mean of the distribution of concentrations was equal to zero. If the mean of the distribution of concentrations for a given radionuclide was not found to be greater than zero, then it was removed from consideration as a component of the residual radiological contamination. If there was significant evidence to reject the hypothesis of the mean being equal to zero, the second step was to compare the distribution of the data from the Site to that of the corresponding background. A suite of tests was used to compare the distributions of the site and background data. The results of these tests were collectively used to determine if site data are elevated relative to background. The third step was to develop distributions using a Bayesian framework to characterize the distribution of mean of the increment present above background for each of the radionuclides. The Bayesian model implemented allowed for the comparison of site-specific records to background concentrations to better approximate contamination attributed to the Site. A final screening step was employed for radionuclides that exceed background. This screening step compared 95% upper confidence limits (UCLs) from the increment distribution developed in the previous step to the risk screening levels. This approach yields a list of analytes that were determined to be elevated relative to background.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

A NEW SYNTHETIC LIBRARY OF THE NEAR-INFRARED Ca II TRIPLET INDICES. I. INDEX DEFINITION, CALIBRATION, AND RELATIONS WITH STELLAR ATMOSPHERIC PARAMETERS

Adopting the SPECTRUM package, which is a stellar spectral synthesis program, we have synthesized a comprehensive set of 2890 near-infrared (NIR) synthetic spectra with a resolution and wavelength sampling similar to the Sloan Digital Sky Survey (SDSS) and the forthcoming Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) spectra. During the synthesis, we applied the 'New grids of ATLAS9 Model Atmosphere' to develop a grid of local thermodynamic equilibrium model atmospheres for effective temperatures (T{sub eff}) ranging from 3500 to 7500 K, for surface gravities (log g) from 0.5 to 5.0 dex, for metallicities ([Fe/H]) from -4.0 to 0.5 dex, and for solar ([{alpha}/Fe] = 0.0 dex) and non-solar ([{alpha}/Fe] = +0.4 dex) abundances. This synthetic stellar library is composed of 1350 solar scaled abundance (SSA) and 1530 non-solar scaled abundance (NSSA) spectra, grounding on which we have defined a new set of NIR Ca II triplet indices and an index CaT as the sum of the three. These defined indices were automatically measured on every spectrum of the synthetic stellar library and calibrated with the indices computed on the observational spectra from the INDO-U.S. stellar library. In order to check the effect of {alpha}-element enhancement on the so-defined Ca II indices, we compared indices measured on the SSA spectra with those on the NSSA ones at the same trine of stellar parameters (T{sub eff}, log g, [Fe/H]); luckily, little influences of {alpha}-element enhancement were found. Furthermore, comparisons of our synthetic indices with the observational ones from measurements on the INDO-U.S. stellar library, the SDSS-DR7 and SDSS-DR8 spectroscopic survey are presented, respectively, for dwarfs and giants in specific. For dwarfs, our synthetic indices could well reproduce the behaviors of the observational indices versus stellar parameters, which verifies the validity of our index definitions for dwarfs. For giants, the consistency between our synthetic indices and the observational ones does not appear to be as good. However, a new synthetic library of NIR Ca II indices has been founded for deeper studies on the NIR wave band of stellar spectra, and this library is particularly appropriate for the SDSS and the forthcoming LAMOST stellar spectra. We have regressed the strength of the CaT index as a function of stellar parameters for both dwarfs and giants after a series of experimental investigations into relations of the indices with stellar parameters. For dwarfs, log g has little effect on the indices, while [Fe/H] and T{sub eff} play a role together. The leading factor is probably [Fe/H], which changes the strength of the indices by a positive trend. For giants, log g starts to influence the strength of the indices by a negative trend for the metal-poor, and even impact deeply for the metal-rich; besides, [Fe/H] and T{sub eff} still matter. In addition, we briefly discussed the major differences between our Ca II triplet indices and the CaHK doublet indices. Ultimately, a supplemental experiment was carried out to show that spectral noises do have effects on our set of NIR Ca II indices. However, the influence is not weak enough to be ignored if the signal-to-noise ratio falls below 20.

79 ASTRONOMY AND ASTROPHYSICS↗

Two Bright M Dwarfs Hosting Ultra-Short-Period Super-Earths with Earth-like Compositions

We present observations of two bright M dwarfs (TOI-1634 and TOI-1685: J = 9.5–9.6) hosting ultra-short-period (USP) planets identified by the TESS mission. The two stars are similar in temperature, mass, and radius (T {sub eff} ≈ 3500 K, M {sub &middot;} ≈ 0.45–0.46 M {sub ⊙}, and R {sub &middot;} ≈ 0.45–0.46 R {sub ⊙}), and the planets are both super-Earth size (1.25 R {sub ⊕} < R {sub p} < 2.0 R {sub ⊕}). For both systems, light curves from ground-based photometry exhibit planetary transits, whose depths are consistent with those from the TESS photometry. We also refine the transit ephemerides based on the ground-based photometry, finding the orbital periods of P = 0.9893436 ± 0.0000020 days and P = 0.6691416 ± 0.0000019 days for TOI-1634b and TOI-1685b, respectively. Through intensive radial velocity (RV) observations using the InfraRed Doppler (IRD) instrument on the Subaru 8.2 m telescope, we confirm the planetary nature of the TOIs and measure their masses: 10.14 ± 0.95 M {sub ⊕} and 3.43 ± 0.93 M {sub ⊕} for TOI-1634b and TOI-1685b, respectively, when the observed RVs are fitted with a single-planet circular-orbit model. Combining those with the planet radii of R {sub p} = 1.749 ± 0.079 R {sub ⊕} (TOI-1634b) and 1.459 ± 0.065 R {sub ⊕} (TOI-1685b), we find that both USP planets have mean densities consistent with an Earth-like internal composition, which is typical for small USP planets. TOI-1634b is currently the most massive USP planet in this category, and it resides near the radius valley, which makes it a benchmark planet in the context of discussing the size limit of rocky planet cores as well as testing the formation scenarios for USP planets. Excess scatter in the RV residuals for TOI-1685 suggests the presence of a possible secondary planet or unknown activity/instrumental noise in the RV data, but further observations are required to check those possibilities.

47 OTHER INSTRUMENTATION↗

Can an energy balance model provide additional constraints on how to close the energy imbalance?

Elucidating the causes for the energy imbalance, i.e. the phenomenon that eddy covariance latent and sensible heat fluxes fall short of available energy, is an outstanding problem in micrometeorology. This paper tests the hypothesis that the full energy balance, through incorporation of additional independent measurements which determine the driving forces of and resistances to energy transfer, provides further insights into the causes of the energy imbalance and additional constraints on energy balance closure options. Eddy covariance and auxiliary data from three different biomes were used to test five contrasting closure scenarios. The main result of our study is that except for nighttime, when fluxes were low and noisy, the full energy balance generally did not contain enough information to allow further insights into the causes of the imbalance and to constrain energy balance closure options. Up to four out of the five tested closure scenarios performed similarly and in up to 53% of all cases all ofthe tested closure scenarios resulted in plausible energy balance values. Our approach may though provide a sensible consistency check for eddy covariance energy flux measurements.

54 ENVIRONMENTAL SCIENCES↗

Comparison of heavy-ion transport simulations: Collision integral in a box

Simulations by transport codes are indispensable to extract valuable physical information from heavy-ion collisions. In order to understand the origins of discrepancies among different widely used transport codes, we compare 15 such codes under controlled conditions of a system confined to a box with periodic boundary, initialized with Fermi-Dirac distributions at saturation density and temperatures of either 0 or 5 MeV. In such calculations, one is able to check separately the different ingredients of a transport code. In this second publication of the code evaluation project, we only consider the two-body collision term; i.e., we perform cascade calculations. When the Pauli blocking is artificially suppressed, the collision rates are found to be consistent for most codes (to within 1 % or better) with analytical results, or completely controlled results of a basic cascade code. In orderto reach that goal, it was necessary to eliminate correlations within the same pair of colliding particles that can be present depending on the adopted collision prescription. In calculations with active Pauli blocking, the blocking probability was found to deviate from the expected reference values. The reason is found in substantial phase-space fluctuations and smearing tied to numerical algorithms and model assumptions in the representation of phase space. This results in the reduction of the blocking probability in most transport codes, so that the simulated system gradually evolves away from the Fermi-Dirac toward a Boltzmann distribution. Since the numerical fluctuations are weaker in the Boltzmann-Uehling-Uhlenbeck codes, the Fermi-Dirac statistics is maintained there for a longer time than in the quantum molecular dynamics codes. As a result of this investigation, we are able to make judgements about the most effective strategies in transport simulations for determining the collision probabilities and the Pauli blocking. Finally, investigation in a similar vein of other ingredients in transport calculations, like the mean-field propagation or the production of nucleon resonances and mesons, will be discussed in the future publications.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Design and Implementation of the CEBAF Element Database

With inauguration of the CEBAF Element Database (CED) in Fall 2010, Jefferson Lab computer scientists have taken a first step toward the eventual goal of a model-driven accelerator. Once fully populated, the database will be the primary repository of information used for everything from generating lattice decks to booting front-end computers to building controls screens. A particular requirement influencing the CED design is that it must provide consistent access to not only present, but also future, and eventually past, configurations of the CEBAF accelerator. To accomplish this, an introspective database schema was designed that allows new elements, element types, and element properties to be defined on-the-fly without changing table structure. When used in conjunction with the Oracle Workspace Manager, it allows users to seamlessly query data from any time in the database history with the exact same tools as they use for querying the present configuration. Users can also check-out workspaces and use them as staging areas for upcoming machine configurations. All Access to the CED is through a well-documented API that is translated automatically from original C++ into native libraries for script languages such as perl, php, and TCL making access to the CED easy and ubiquitous. Notice: Authored by Jefferson Science Associates, LLC under U.S. DOE Contract No. DE-AC05-06OR23177. The U.S. Government retains a non-exclusive, paid-up, irrevocable, world-wide license to publish or reproduce this manuscript for U.S. Government purposes.

43 PARTICLE ACCELERATORS↗