Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal Methods”

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,477 records · Page 82
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Effect of Sample Thickness on the Tensile Strength of Small Graphite Discs

This report formally documents the completion of the Advanced Reactor Technologies (ART) Level 3 Milestone (M3TG-24OR0501054), “Continue activities related to Split Disc-DIC - complete analysis of effect of sample thickness on one fine grain graphite,” due May 31, 2024. Details within this report outline the status of activities aimed at elucidating the effect of sample thickness on the tensile strength measurement using the small-disc, split-disc testing standard in support of the US Department of Energy’s ART Graphite R&D Program. The ASTM D8289, Standard Test Method for Tensile Strength Estimate by Disc Compression of Manufactured Graphite, was developed to provide an alternative means for testing tensile strength on smaller specimens, which are compatible with available irradiation capsule volumes, and other compatibility measurements. ASTM D8289 specifies that acceptable specimen diameter can range from 6 to 12.7 mm and that the maximum allowed sample thickness should be half of the diameter. However, information is limited with respect to the effect of thickness on the measured splitting tensile strength. This report documents efforts to understand the effect of sample thickness on splitting tensile strength. The work involved testing Ø12.7 mm samples of fine-grain graphites 2114 and IG-110 of different thicknesses (6.35, 5, 4, and 3 mm). The digital image correlation (DIC) method was applied to the samples, along with the ASTM D8289 Standard, to help interpret the measured results.

36 MATERIALS SCIENCE↗
DOE OSTI2017

Developing a new criticality methodology to support decommissioning of legacy plutonium facilities

To decommission a legacy plutonium finishing facility, a number of gloveboxes need to be disposed of. These gloveboxes have been in place since the 1960's and were operational until the 1980's. A period of initial clean out and decommissioning took place in the 1990's and the first gloveboxes were removed from the line in the early 2000's. Compliance with downstream waste handling facility requirements meant that the gloveboxes needed to be removed using intensive 'hands-on' methods in order to size reduce them to fit into 200 litre (55 gallon) drums. This is the standard approach for handling waste items known as Plutonium Contaminated Material (PCM) on the Sellafield site and was credited in the criticality safety case for the decommissioning of the gloveboxes as it allowed each waste drum to be individually assayed such that the fissile content of the waste could be known. Not only was this approach time-consuming and laborious but as it involved operators working with cutting tools in a highly contaminated area it was challenged as being overly restrictive to operations and potentially hazardous to the workers. In order to decommission the remaining nine gloveboxes in the facility, a new decommissioning approach and associated criticality methodology has been developed. Instead of intensive size reduction and waste drum assay, the gloveboxes will be removed with little or no size reduction and put into storage crates without assay. The criticality assessor will review the operational history of each glovebox, along with the decommissioning records and relevant plant data, to make an evidence-based judgement that the crated glovebox represents no greater a residual criticality risk than would have been realised from the equivalent number of PCM drums that the standard decommissioning approach would have generated. This method identifies, in conjunction with the plant personnel, a number of review points to ensure that before the glovebox is removed any bulk residue material has been recovered and no more than a safe amount of moderating material (fixative) has been added to fix any remaining fissile contamination. Finally, once these review points have been confirmed to be complete - through a stakeholder meeting with criticality safety, plant operators and project managers - the glovebox will be placed in a crate, and this crate will be declared a Low Criticality Risk crate. No formal assay will be required prior to exporting the crate to the downstream waste handling facility and no fissile mass value will be assigned to the contents of the crate. No further intrusive work will be required on the crate and it can be safely stored without any spacing requirements, pending final disposal. (author)

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2011

Monte Carlo-based simulation of dynamic jaws tomotherapy

Purpose: Original TomoTherapy systems may involve a trade-off between conformity and treatment speed, the user being limited to three slice widths (1.0, 2.5, and 5.0 cm). This could be overcome by allowing the jaws to define arbitrary fields, including very small slice widths (<1 cm), which are challenging for a beam model. The aim of this work was to incorporate the dynamic jaws feature into a Monte Carlo (MC) model called TomoPen, based on the MC code PENELOPE, previously validated for the original TomoTherapy system. Methods: To keep the general structure of TomoPen and its efficiency, the simulation strategy introduces several techniques: (1) weight modifiers to account for any jaw settings using only the 5 cm phase-space file; (2) a simplified MC based model called FastStatic to compute the modifiers faster than pure MC; (3) actual simulation of dynamic jaws. Weight modifiers computed with both FastStatic and pure MC were compared. Dynamic jaws simulations were compared with the convolution/superposition (C/S) of TomoTherapy in the ''cheese'' phantom for a plan with two targets longitudinally separated by a gap of 3 cm. Optimization was performed in two modes: asymmetric jaws-constant couch speed (''running start stop,'' RSS) and symmetric jaws-variable couch speed (''symmetric running start stop,'' SRSS). Measurements with EDR2 films were also performed for RSS for the formal validation of TomoPen with dynamic jaws. Results: Weight modifiers computed with FastStatic were equivalent to pure MC within statistical uncertainties (0.5% for three standard deviations). Excellent agreement was achieved between TomoPen and C/S for both asymmetric jaw opening/constant couch speed and symmetric jaw opening/variable couch speed, with deviations well within 2%/2 mm. For RSS procedure, agreement between C/S and measurements was within 2%/2 mm for 95% of the points and 3%/3 mm for 98% of the points, where dose is greater than 30% of the prescription dose (gamma analysis). Dose profiles acquired in transverse and longitudinal directions through the center of the phantom were also compared with excellent agreement (2%/2 mm) between all modalities. Conclusions: The combination of weights modifiers and interpolation allowed implementing efficiently dynamic jaws and dynamic couch features into TomoPen at a minimal cost in terms of efficiency (simulation around 8 h on a single CPU).

62 RADIOLOGY AND NUCLEAR MEDICINE↗
DOE OSTI2014

The effect of Coulomb interactions on thermoelectric properties of quantum dots

Thermoelectric effects in a quantum dot coupled to the source and drain charge reservoirs are explored using a nonequilibrium Green's functions formalism beyond the Hartree-Fock approximation. Thermal transport is analyzed within a linear response regime. A transition from Coulomb blockade regime to Kondo regime in thermoelectric transport through a single-level quantum dot is traced using unified approximations for the relevant Green's functions.

36 MATERIALS SCIENCE↗
DOE OSTI2016

Density functional theory based simulations of silicon nanowire field effect transistors

First-principles density functional theory (DFT) based, atomistic, self-consistent device simulations are performed for realistically sized Si nanowire field effect transistors (NW FETs) having tens of thousands of atoms. Through mode space transformation, DFT Hamiltonian and overlap matrices are reduced in size from a few thousands to around one hundred. Ultra-efficient quantum-mechanical transport calculations in the non-equilibrium Green's function formalism in a non-orthogonal basis are therefore made possible. The n-type and p-type Si NW FETs are simulated and found to exhibit similar device performance in the nanoscale regime.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2011

Associated Higgs-W-Boson Production at Hadron Colliders: A Fully Exclusive QCD Calculation at NNLO

We consider QCD radiative corrections to standard model Higgs-boson production in association with a W boson in hadron collisions. We present a fully exclusive calculation up to next-to-next-to-leading order (NNLO) in QCD perturbation theory. To perform this NNLO computation, we use a recently proposed version of the subtraction formalism. Our calculation includes finite-width effects, the leptonic decay of the W boson with its spin correlations, and the decay of the Higgs boson into a bb pair. We present selected numerical results at the Tevatron and the LHC.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2023

Conduct of Operations and Nuclear Criticality Safety Standards

Since the beginning of the nuclear age in 1943, there have been 22 criticality accidents in process facilities worldwide in which fissionable materials were processed by hand for various purposes. Of these 22 process criticality accidents, 16 involved faulty or flawed conduct of operations. Most of these process accidents (17 of 22) occurred before 1970, mostly due to the implementation of formal conduct of operations—such as the use of operating procedures and training—and the use of consensus standards for nuclear criticality safety (NCS). Obviously, the nuclear facilities applied lessons learned from their accident history, and the rate of criticality accidents was significantly reduced as a result. Over the years, it has been emphasized in NCS training courses and other venues in the United States that the consensus standards, such as ASA N6.1-1964, were the key contributors to this reduction in accidents. The formality of operations required to implement and apply the standards at a facility is also a crucial prerequisite that must be sufficiently robust to ensure NCS. This prerequisite is crucial to success fully implement the NCS consensus and other safety standards at a site.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2019

Applications of the worldline Monte Carlo formalism in quantum mechanics

Highlights: Universal approach to the numerical computation of the Euclidean path integral. Inspired by recent work in relativistic quantum field theory. Here adapted to non-relativistic quantum mechanics. Worked out for the computation of propagators and ground-state energies. Special smoothing procedure for singular potentials. -- Abstract: In recent years efficient algorithms have been developed for the numerical computation of relativistic single-particle path integrals in quantum field theory. Here, we adapt this “worldline Monte Carlo” approach to the standard problem of the numerical approximation of the non-relativistic path integral, resulting in a formalism whose characteristic feature is the fast, non-recursive generation of an ensemble of trajectories that is independent of the potential, and is thus universally applicable. The numerical implementation discretises the trajectories with respect to their time parametrisation but maintains a continuous spatial domain. In the case of singular potentials, the discretised action gets adapted to the singularity through a “smoothing” procedure. We show for a variety of examples (the harmonic oscillator in various dimensions, the modified Pöschl–Teller potential, delta-function potentials, the Coulomb and Yukawa potentials) that the method allows one to obtain fast and reliable estimates for the Euclidean propagator and use them in a certain time window suitable for extracting the ground state energy. Usually Monte Carlo calculations in quantum mechanics are performed using algorithms that involve a more specific adaptation to the potential, and we briefly compare our method with the most widely used such algorithms, which are of Metropolis type. As an aside, we apply it for studying the classical limit where nearly classical trajectories are expected to dominate in the path integral. We expect the advances made here to be useful also in the relativistic case.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2015

Bio-inspired Design of Electrocatalysts for Oxalate Oxidation: a Combined Experimental and Computational Study of Mn–N–C Catalysts

We report a novel non-platinum group metal (non-PGM) catalyst derived from Mn and amino- antipyrine (MnAAPyr) that shows electrochemical activity towards the oxidation of oxalic acid comparable to Pt with an onset potential for oxalate oxidation measured to be 0.714 * 0.002 V vs. SHE at pH = 4. The material has been synthesized using a templating Sacrificial Support Method with manganese nitrate and 4-aminoantipyrine as precursors. This catalyst is a nano-structured material in which Mn is atomically dispersed on a nitrogendoped graphene matrix. XPS studies reveal high abundance of pyridinic, Mn–Nx, and pyrrolic nitrogen pointing towards the conclusion that pyridinic nitrogen atoms coordinated to manganese constitute the active centers. Thus, the main features of the MnAAPyr catalyst are it exhibits similarity to the active sites of naturally occurring enzymes that are capable of efficient and selective oxidation of oxalic acid. Density functional theory in plane wave formalism with Perdew, Burke and Ernzerhof functional was further used to study the stability and activity of different one-metal active centers that could exist in the catalyst. The results show that the stability of the Mn–Nx sites changes in the following order: MnN4 4 MnN3C 4 MnN2C2 4 MnN3. Based on the overpotentials of 0.64 V and 0.71 V vs. SHE, calculated using the free energy diagrams for the oxalate oxidation mechanism, we could conclude that the MnN3C and MnN2C2 sites are most probable Mn–Nx sites responsible for the reported catalytic activity of the new catalyst.

Environmental Molecular Sciences Laboratory↗
DOE OSTI2023

LA100 Equity Strategies. Chapter 2: Procedural Justice

The LA100 Equity Strategies project synthesizes community guidance with robust research, modeling, and analysis to identify strategy options that can increase equitable outcomes in Los Angeles' clean energy transition. Grounded in the analysis of past and ongoing energy inequities and engagement with underserved communities, the project presents community-guided and community-tailored strategies that aim to operationalize recognition and procedural justice. This chapter focuses on procedural justice, examining priorities identified during the community engagement portion of the LA100 Equity Strategies project. This process, and our approach to partnering with community-based organizations (CBOs) and the communities they serve, was developed from the baseline analysis in Chapter 1, which centers on recognition justice, examining past and current inequities in LA. Recognition, procedural, and distributional justice are the three tenets of energy justice around which the LA100 Equity Strategies project is organized. Procedural justice prioritizes fair, equitable, and inclusive participation in the decision-making process. This tenet's practical application entails who is invited and able to participate, whose voices are considered as decisions are made, the co-development of procedures to inform this deliberative process, and who has access to formal measures of regulation and accountability. Engaging with Angelenos to examine the causes of inequities and identify impact areas and priorities that center community experiences, values, and goals represents a first step in developing energy equity strategies for the Los Angeles Department of Water and Power (LADWP) to achieve distributional justice - the just and equitable distribution of energy benefits and burdens in LA's energy transition. Equity, as community members insisted, is about making - and following through with - a commitment to prioritize historically underserved and overburdened communities. Community engagement is a principal method for operationalizing this commitment, guiding our analytic approach and potential equity strategies. Using procedural justice as an analytical tool, this chapter presents the LA100 Equity Strategies approach to community engagement from 2021 to 2023 and the results of this process in relation to community-identified barriers and burdens impacting procedural justice outcomes. We analyze the procedural elements of reaching the equity goals Angelenos set to inform future LADWP decision-making and program development.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2016

Electrical and structure properties for the alloy system Ce{sub x}La{sub 1−x}O{sub y} nanostructure thin films

Highlights: • Glassy Ce{sub x}La{sub 1−x}O{sub y} nanostructure films were grown on Si(1 0 0) substrate using the sol–gel method. • G{sub p} = ωϵ{sub 0}ϵ′ tan(δ) was calculated at different temperatures. • Electrical and structural the Ce{sub x}La{sub 1−x}O{sub y} samples were studied. • The conductivity-temperature study shows that the compound obeys the Arrhenius law. - Abstract: The Ce{sub x}La{sub 1−x}O{sub y} samples are synthesized, characterized and their electrical properties are reported at different molar ratios in the frequency range of 10{sup −1}–10{sup +5} Hz. Ac conductivity and permittivity data are analyzed by using conductivity formalism. The values of capacitance and tan(δ) were recorded with respect to different frequencies and temperatures. X-ray diffraction (XRD) patterns of the films show that the films posses crystalline phases. Surface morphology of the films is analyzed by scanning electron microscopy (SEM) and atomic force microscopy (AFM). The energy dispersive X-ray (EDX) and X-ray photoelectron spectroscopy (XPS) analyses reveal that elemental composition is in right stoichiometry. Electrical characterizations of the Ce{sub x}La{sub 1−x}O{sub y} samples were done by capacitance–voltage (C–V) and current density–voltage (J–V) measurements of MOS structures. Investigation showed high value of k = 44.80 and low leakage current (∼1 × 10{sup −5} A/cm{sup 2}) of the Ce{sub 0.4}La{sub 0.6}O{sub y} film.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Impact of Precipitation Parameters on the Specific Surface Area of PuO 2

Controlling the properties of PuO 2 through processing is of vital importance to environmental transport and fate, production of nuclear fuels, nuclear forensic analyses, stockpile stewardship, and storage of nuclear wastes applications. A number of processing conditions have been identified to control final product properties, including specific surface area (SSA), residual carbon content, adsorption of volatile species, morphology, and particle size. In this paper, a novel approach is developed for the prediction of PuO 2 SSA via the synthetic route of Pu(IV) oxalate precipitation followed by calcination. The proposed model utilizes multivariate regression methodology and leave one out formalism to link Savannah River Site (SRS) precipitation and calcination production data to the SSA of the final product. A comparison among the models provides insight into the accuracy and ability to identify variations amongst the processing data. Additionally, the models may also be used to fit new data outside of the parameters explored in a production facility. Finally, the trained model was compared to a similarly trained conventional model form to illustrate the influence of precipitation parameters on the prediction of the final SSA. The models presented here attempt to provide new methods for more accurate prediction of the PuO 2 product properties in a production scale environment for key environmental and nuclear applications.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
DOE OSTI2019

A modified approach for simulating electronically nonadiabatic dynamics via the generalized quantum master equation

We present a modified approach for simulating electronically nonadiabatic dynamics based on the Nakajima-Zwanzig generalized quantum master equation (GQME). The modified approach utilizes the fact that the Nakajima-Zwanzig formalism does not require casting the overall Hamiltonian in system-bath form, which is arguably neither natural nor convenient in the case of the Hamiltonian that governs nonadiabatic dynamics. Within the modified approach, the effect of the nuclear degrees of freedom on the time evolution of the electronic reduced density operator is fully captured by a memory kernel super-operator. A methodology for calculating the memory kernel from projection-free inputs is developed. Simulating the electronic dynamics via the modified approach, with a memory kernel obtained using exact or approximate methods, can be more cost effective and/or lead to more accurate results than direct application of those methods. The modified approach is compared to previously proposed GQME-based approaches, and its robustness and accuracy are demonstrated on a benchmark spin-boson model with a memory kernel which is calculated within the Ehrenfest method.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2015

Optimizing Spectroscopic and Photometric Galaxy Surveys: Same-Sky Benefits for Dark Energy and Modified Gravity

The combination of multiple cosmological probes can produce measurements of cosmological parameters much more stringent than those possible with any individual probe. We examine the combination of two highly correlated probes of late-time structure growth: (i) weak gravitational lensing from a survey with photometric redshifts and (ii) galaxy clustering and redshift space distortions from a survey with spectroscopic redshifts. We choose generic survey designs so that our results are applicable to a range of current and future photometric redshift (e.g. KiDS, DES, HSC, Euclid) and spectroscopic redshift (e.g. DESI, 4MOST, Sumire) surveys. Combining the surveys greatly improves their power to measure both dark energy and modified gravity. An independent, non-overlapping combination sees a dark energy figure of merit more than 4 times larger than that produced by either survey alone. The powerful synergies between the surveys are strongest for modified gravity, where their constraints are orthogonal, producing a non-overlapping joint figure of merit nearly 2 orders of magnitude larger than either alone. Our projected angular power spectrum formalism makes it easy to model the cross-correlation observable when the surveys overlap on the sky, producing a joint data vector and full covariance matrix. We calculate a same-sky improvement factor, from the inclusion of these cross-correlations, relative to non-overlapping surveys. We find nearly a factor of 4 for dark energy and more than a factor of 2 for modified gravity. The exact forecast figures of merit and same-sky benefits can be radically affected by a range of forecasts assumption, which we explore methodically in a sensitivity analysis. We show that that our fiducial assumptions produce robust results which give a good average picture of the science return from combining photometric and spectroscopic surveys.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2011

Intershell correlations in nonresonant Compton scattering of an X-ray photon by an atom

The role of intershell correlations in nonresonant Compton scattering of an X-ray photon by a free multielectron atom is studied theoretically for the Ar atom. The results of calculation are of a predictive nature. The developed mathematical formalism is general in nature and can be applied to a wide set of elements from the Periodic Table, for which the description of the wavefunctions of scattering states in the nonrelativistic Hartree-Fock approximation remains correct.

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2018

Dose Uncertainty Quantification in AGC Experiment

This memorandum formally documents completion of the Advanced Reactor Technologies Level 3 Milestone (M3NT-18IN060504037), “Interoffice Memorandum detailing status of the AGC irradiation uncertainty analysis” due SeptemberAugust 30, 2018. This memorandum details the progress made toward the issuance of a final report detailing the AGC uncertainty analysis including the proposed methodology, progress on activities, and explanation of how the data will be used. Radiation damage estimation is an important component of the post-irradiation analysis of the AGC experiments. It depends primarily on the fast fluence, which is determined using well-established methods of spectral adjustments. These are based on best estimates from models (e.g. MCNP). Input cross-sections, and measured activities from flux wires in the experiment, propagate uncertainties in each of these. While the methods of propagating uncertainty are well-established, the final uncertainty estimates they provide are only as good as the estimates of uncertainty in the inputs on which they are based. The purpose of this work is to implement a method that eliminates some deficiencies in the ways input uncertainties are presently estimated. The rRadiation damage estimates for the AGC experiments are ostensibly based on experimental data in the form of flux wire activation measurements; each AGC experiment has been instrumented with flux wires at various locations along the axial length to provide this data. However, the estimatesy also depend on the results of MCNP calculations. To understand why, consider that the objective of the analysis is to estimate some number of parameters (the energy group fluences ?_i) that best reproduce the observations (the measured activities of the flux wires a_i).

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2020

High-Level Model Articulation with BuildingSync and OpenStudio

The use of the BuildingSync schema for describing the contents of buildings is becoming more common with its recent integration into the Audit Template tool as well as ASHRAE’s Building Energy Quotient (bEQ) web portal. Although BuildingSync was initially created to store and transfer data related to building energy audits (as defined by ASHRAE Standard 211), it has since been expanded to store the data needed to articulate fully defined physics-based building energy models. BuildingSync combined with abstracted high-level input methods defined in OpenStudio’s Standards project and the newly developed BuildingSync gem allows BuildingSync eXtensible Markup Language (XML) (Bray, Paoli, Sperberg-McQueen, Maler, Eve (Sun Microsystems, & Francois, 2008) document to be converted into OpenStudio models. Automatic generation of a building energy model from data collected during an audit 1) eliminates the need to separately generate an energy model, 2) improves consistency between model generation, and 3) simplifies evaluation of various energy efficiency measures. This manuscript will discuss this open-source project, including: development of the validation infrastructure necessary to provide formalized expectations of informational requirements for BuildingSync documents; development of the BuildingSync gem for translation of BuildingSync documents to OpenStudio models as well as example implementations; and finally, the manuscript will elaborate on the advantages and disadvantages of using high-level models generated from BuildingSync as surrogates to detailed models.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2016

ON GALACTIC DENSITY MODELING IN THE PRESENCE OF DUST EXTINCTION

Inferences about the spatial density or phase-space structure of stellar populations in the Milky Way require a precise determination of the effective survey volume. The volume observed by surveys such as Gaia or near-infrared spectroscopic surveys, which have good coverage of the Galactic midplane region, is highly complex because of the abundant small-scale structure in the three-dimensional interstellar dust extinction. We introduce a novel framework for analyzing the importance of small-scale structure in the extinction. This formalism demonstrates that the spatially complex effect of extinction on the selection function of a pencil-beam or contiguous sky survey is equivalent to a low-pass filtering of the extinction-affected selection function with the smooth density field. We find that the angular resolution of current 3D extinction maps is sufficient for analyzing Gaia sub-samples of millions of stars. However, the current distance resolution is inadequate and needs to be improved by an order of magnitude, especially in the inner Galaxy. We also present a practical and efficient method for properly taking the effect of extinction into account in analyses of Galactic structure through an effective selection function. We illustrate its use with the selection function of red-clump stars in APOGEE using and comparing a variety of current 3D extinction maps.

79 ASTRONOMY AND ASTROPHYSICS↗