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 721 records · Page 40
All sourcesNASA NTRSDOE OSTI
DOE OSTI2015

Diffusion of Cd and Te adatoms on CdTe(111) surfaces: A computational study using density functional theory

CdTe is one of the most promising semiconductor for thin-film based solar cells. Here we report a computational study of Cd and Te adatom diffusion on the CdTe (111) A-type (Cd terminated) and B-type (Te terminated) surfaces and their migration paths. The atomic and electronic structure calculations are performed under the DFT formalism and climbing Nudge Elastic Band (cNEB) method has been applied to evaluate the potential barrier of the Te and Cd diffusion. In general the minimum energy site on the surface is labeled as A{sub a} site. In case of Te and Cd on B-type surface, the sub-surface site (a site just below the top surface) is very close in energy to the A site. This is responsible for the subsurface accumulation of adatoms and therefore, expected to influence the defect formation during growth. The diffusion process of adatoms is considered from A{sub a} (occupied) to A{sub a} (empty) site at the nearest distance. We have explored three possible migration paths for the adatom diffusion. The adatom surface interaction is highly dependent on the type of the surface. Typically, Te interaction with both type (5.2 eV for A-type and 3.8 eV for B-type) is stronger than Cd interactions(2.4 eV for B-type and 0.39 eV for A-type). Cd interaction with the A-type surface is very weak. The distinct behavior of the A-type and B-type surfaces perceived in our study explain the need of maintaining the A-type surface during growth for smooth and stoichiometric growth.

36 MATERIALS SCIENCE↗
DOE OSTI2016

Electron impact ionization in plasma technologies; studies on atomic boron and BN molecule

Electron impact ionization plays important role in plasma technologies. Relevant cross sections on atomic boron are required to understand the erosion processes in fusion experiments. Boronization of plasma exposed surfaces of tokomaks has proved to be an effective way to produce very pure fusion plasmas. This paper reports comprehensive theoretical investigations on electron scattering with atomic Boron and Boron Nitride in solid phases. Presently we determine total ionization cross-section Q{sub ion} and the summed-electronic excitation cross section ΣQ{sub exc} in a standard quantum mechanical formalism called SCOP and CSP-ic methods. Our calculated cross sections are examined as functions of incident electron energy along with available comparisons.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2016

Atomic orbital-based SOS-MP2 with tensor hypercontraction. I. GPU-based tensor construction and exploiting sparsity

We present a tensor hypercontracted (THC) scaled opposite spin second order Møller-Plesset perturbation theory (SOS-MP2) method. By using THC, we reduce the formal scaling of SOS-MP2 with respect to molecular size from quartic to cubic. We achieve further efficiency by exploiting sparsity in the atomic orbitals and using graphical processing units (GPUs) to accelerate integral construction and matrix multiplication. The practical scaling of GPU-accelerated atomic orbital-based THC-SOS-MP2 calculations is found to be N{sup 2.6} for reference data sets of water clusters and alanine polypeptides containing up to 1600 basis functions. The errors in correlation energy with respect to density-fitting-SOS-MP2 are less than 0.5 kcal/mol for all systems tested (up to 162 atoms).

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

Is sodium a superconductor under high pressure?

Superconductivity has been predicted or measured for most alkali metals under high pressure, but the computed critical temperature (T c ) of sodium (Na) at the face-centered cubic (fcc) phase is vanishingly low. Here we report a thorough, first-principles investigation of superconductivity in Na under pressures up to 260 GPa, where the metal-to-insulator transition occurs. Linear-response calculations and density functional perturbation theory were employed to evaluate phonon distributions and the electron-phonon coupling for bcc, fcc, cI16, and tI19 Na. Our results indicate that the maximum electron-phonon coupling parameter, λ, is 0.5 for the cI16 phase, corresponding to a theoretical peak in the critical temperature at T c ≈ 1.2 K. When pressure decreases or increases from 130 GPa, T c drops quickly. This is mainly due to the lack of p-d hybridization in Na even at 260 GPa. Since current methods based on the Eliashberg and McMillian formalisms tend to overestimate the Tc (especially the peak values) of alkali metals, we conclude that under high pressure—before the metal-to-insulator transition at 260 GPa—superconductivity in Na is very weak, if it is measurable at all.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2016

BRST quantization of cosmological perturbations

BRST quantization is an elegant and powerful method to quantize theories with local symmetries. In this article we study the Hamiltonian BRST quantization of cosmological perturbations in a universe dominated by a scalar field, along with the closely related quantization method of Dirac. We describe how both formalisms apply to perturbations in a time-dependent background, and how expectation values of gauge-invariant operators can be calculated in the in-in formalism. Our analysis focuses mostly on the free theory. By appropriate canonical transformations we simplify and diagonalize the free Hamiltonian. BRST quantization in derivative gauges allows us to dramatically simplify the structure of the propagators, whereas Dirac quantization, which amounts to quantization in synchronous gauge, dispenses with the need to introduce ghosts and preserves the locality of the gauge-fixed action.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

Light in the dark forest. Part I. An efficient optimal estimator for 3D Lyman-alpha forest power spectrum

The highly anisotropic nature of the Lyman-alpha (Lyα) forest data introduces a complex survey window function that complicates the measurement of the three-dimensional power spectrum ( P 3D ). In this paper, we present the first fully optimal estimator for P 3D , which exactly deconvolves the survey window function and marginalizes contaminated modes that distort the power spectrum. Our approach adapts optimal estimator techniques developed for the 2D cosmic microwave background data to the 3D case. To achieve computational feasibility, we employ the conjugate gradient method and implement the P 3 M formalism to handle large-scale and small-scale operations separately and efficiently. We validate our estimator using Monte Carlo mocks and Gaussian simulations, demonstrating its accuracy and computational efficiency. We confirm that mode marginalization eliminates distortions arising from quasar continuum errors and delivers robust power spectrum estimation, though it also inflates errors at large scales. This first implementation works in the flat-sky case; we discuss the remaining steps needed to generalize it to the curved-sky case. This formalism offers a foundation for the Lyα forest P 3D measurements and a new path toward cosmological constraints from the Lyα forest data.

Lyman alpha forest↗
DOE OSTI2022

Nonequilibrium DMFT + CPA for correlated disordered systems

We present a solution for the nonequilibrium dynamics of an interacting disordered system. The approach adapts the combination of the equilibrium dynamical mean-field theory and the equilibrium coherent potential approximation methods to the nonequilibrium many-body formalism, using the Kadanoff-Baym-Keldysh complex time contour, for the dynamics of interacting disordered systems away from equilibrium. We use our time domain solution to obtain the equilibrium density of states of the disordered interacting system described by the Anderson-Hubbard model, bypassing the necessity for the cumbersome analytical continuation process. We further apply the nonequilibrium solution to the interaction quench problem for an isolated disordered system. Here, the interaction is abruptly changed from zero (noninteracting system) to another constant (finite) value at which it is subsequently kept. We observe via the time dependence of the potential, kinetic, and total energies the effect of disorder on the relaxation of the system as a function of final interaction strength. Finally, the real-time approach has the potential to shed light on the fundamental role of disorder in the nonequilibrium dynamics of interacting quantum systems.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2024

Charge self-consistent density functional theory plus ghost rotationally invariant slave-boson theory for correlated materials

We present a charge self-consistent density functional theory combined with the ghost rotationally invariant slave-boson (DFT+gRISB) formalism for studying correlated materials. Here, this method is applied to SrVO 3 and NiO, representing prototypical correlated metals and charge-transfer insulators. For SrVO 3 , we demonstrate that DFT+gRISB yields an accurate equilibrium volume and effective mass close to experimentally observed values. Regarding NiO, DFT+gRISB enables the simultaneous description of charge-transfer and Mott-Hubbard bands, significantly enhancing the accuracy of the original DFT+RISB approach. Furthermore, the calculated equilibrium volume and spectral function reasonably agree with experimental observations.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
DOE OSTI2020

Secondary γ-ray decays from the partial-wave $\textit{T}$ matrix with an $\textit{R}$-matrix application to 15 N($p, α_1γ$) 12 C

The secondary γ rays emitted following a nuclear reaction are frequently relatively straightforward to detect experimentally. Despite the large volume of such data, a practical formalism for describing these γ rays in terms of partial-wave $\textit{T}$-matrix elements has never been given. The partial-wave formalism is applicable when $\textit{R}$-matrix methods are used to describe the reaction in question. This paper supplies the needed framework, and it is demonstrated by the application to the 15 N($p, α_1γ$) 12 C reaction.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2017

Resilience Metrics for the Electric Power System: A Performance-Based Approach.

Grid resilience is a concept related to a power system's ability to continue operating and delivering power even in the event that low probability, high-consequence disruptions such as hurricanes, earthquakes, and cyber-attacks occur. Grid resilience objectives focus on managing and, ideally, minimizing potential consequences that occur as a result of these disruptions. Currently, no formal grid resilience definitions, metrics, or analysis methods have been universally accepted. This document describes an effort to develop and describe grid resilience metrics and analysis methods. The metrics and methods described herein extend upon the Resilience Analysis Process (RAP) developed by Watson et al. for the 2015 Quadrennial Energy Review. The extension allows for both outputs from system models and for historical data to serve as the basis for creating grid resilience metrics and informing grid resilience planning and response decision-making. This document describes the grid resilience metrics and analysis methods. Demonstration of the metrics and methods is shown through a set of illustrative use cases.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2018

Thermodynamic, Kinetic, and Physical Properties of Nb-U (Niobium-Uranium)

Based on an improved coupling between ab initio energetics output, phenomenological thermodynamics based on the CALPHAD (CALculation of Phase Diagrams) approach, and the use of the Thermo-Calc software, together with experimental data (whenever available), a thermodynamic assessment of the Nb-U alloy system was carried out. We made use of the full array of modern electronic-structure techniques based on density functional theory, including ab initio fully relativistic full-potential linear-muffin orbital method (FR-FP-LMTO), methods, the Scalar Relativistic Korringa-Kohn-Rostoker Atomic-Sphere Approximation (SR-KKR-ASA), and the fully relativistic or scalar relativistic Exact muffin-orbital (SR- or FR-EMTO) method, both based on the Green function formalism that has the advantage of being able to treat chemically random configuration (i.e., solid solution) with the so-called coherent potential approximation (CPA). All electronic structure calculations were performed within the Generalized Gradient Approximation (GGA) for the treatment of electron correlations. The results from this technology serve as input for CALPHAD assessment of phase diagrams

36 MATERIALS SCIENCE↗
DOE OSTI2020

A Review of the Serrated-Flow Phenomenon and Its Role in the Deformation Behavior of High-Entropy Alloys

High-entropy alloys (HEAs) are a novel class of alloys that have many desirable properties. The serrated flow that occurs in high-entropy alloys during mechanical deformation is an important phenomenon since it can lead to significant changes in the microstructure of the alloy. In this article, we review the recent findings on the serration behavior in a variety of high-entropy alloys. Relationships among the serrated flow behavior, composition, microstructure, and testing condition are explored. Importantly, the mechanical-testing type (compression/tension), testing temperature, applied strain rate, and serration type for certain high-entropy alloys are summarized. The literature reveals that the serrated flow can be affected by experimental conditions such as the strain rate and test temperature. Furthermore, this type of phenomenon has been successfully modeled and analyzed, using several different types of analytical methods, including the mean-field theory formalism and the complexity-analysis technique. Importantly, the results of the analyses show that the serrated flow in HEAs consists of complex dynamical behavior. It is anticipated that this review will provide some useful and clarifying information regarding the serrated-flow mechanisms in this material system. Finally, suggestions for future research directions in this field are proposed, such as the effects of irradiation, additives (such as C and Al), the presence of nanoparticles, and twinning on the serrated flow behavior in HEAs.

36 MATERIALS SCIENCE↗
NASA NTRS1985

A method for analysis of blackbody diatomic-triatomic lasers

A formalism is developed for analysis of performance of direct blackbody and blackbody transfer lasers. Application to the CO/CO2 system is made. Three cases are treated: (1) Photoexcited triatomic laser; (2) Photoexcited diatomic-triatomic laser; and (3) Photoexcited diatomic mixing triatomic laser. Each is treated in a transverse flow geometry as illustrated. It is seen from the analysis that the mixing laser configuration has many advantages in that CO can achieve high excitation densities so that high power can be achieved on a relatively small scale.

Wilson, J. W.↗
NASA NTRS1987

Analysis of adaptive identifiers in the presence of unmodelled dynamics: Averaging and tuned parameters

The behavior of a standard identifier is analyzed for the case in which the plant contains additional dynamics, called unmodeled dynamics, which invalidate the known order assumption. An input richness condition is obtained that does not depend on the order of the unmmodeled dynamics to guarantee persistency of excitation (PE) of the regressor. It is shown that the PE condition leads to a BIBO stability property for the identifier. The method of averaging is used to define formally the notion of tuned parameters as the equilibrium of the identifier-averaged system. It is shown that the tuned parameters always exist and that the actual parameters converge to some neighborhood of the tuned parameters. An explicit expression is derived to calculate and interpret them as the fixed parameter values that minimize the mean-squared output error.

Mason, J. E.↗
NASA NTRS1988

Generalized energy and potential enstrophy conserving finite difference schemes for the shallow water equations

The conditions under which finite difference schemes for the shallow water equations can conserve both total energy and potential enstrophy are considered. A method of deriving such schemes using operator formalism is developed. Several such schemes are derived for the A-, B- and C-grids. The derived schemes include second-order schemes and pseudo-fourth-order schemes. The simplest B-grid pseudo-fourth-order schemes are presented.

Abramopoulos, Frank↗
NASA NTRS2010

An Optimizing Space Data-Communications Scheduling Method and Algorithm with Interference Mitigation, Generalized for a Broad Class of Optimization Problems

NASA's space data-communications infrastructure, the Space Network and the Ground Network, provide scheduled (as well as some limited types of unscheduled) data-communications services to user spacecraft via orbiting relay satellites and ground stations. An implementation of the methods and algorithms disclosed herein will be a system that produces globally optimized schedules with not only optimized service delivery by the space data-communications infrastructure but also optimized satisfaction of all user requirements and prescribed constraints, including radio frequency interference (RFI) constraints. Evolutionary search, a class of probabilistic strategies for searching large solution spaces, constitutes the essential technology in this disclosure. Also disclosed are methods and algorithms for optimizing the execution efficiency of the schedule-generation algorithm itself. The scheduling methods and algorithms as presented are adaptable to accommodate the complexity of scheduling the civilian and/or military data-communications infrastructure. Finally, the problem itself, and the methods and algorithms, are generalized and specified formally, with applicability to a very broad class of combinatorial optimization problems.

Rash, James L.↗
NASA NTRS2014

3D Printing In Zero-G ISS Technology Demonstration

The National Aeronautics and Space Administration (NASA) has a long term strategy to fabricate components and equipment on‐demand for manned missions to the Moon, Mars, and beyond. To support this strategy, NASA and Made in Space, Inc. are developing the 3D Printing In Zero‐G payload as a Technology Demonstration for the International Space Station (ISS). The 3D Printing In Zero‐G experiment ('3D Print') will be the first machine to perform 3D printing in space. The greater the distance from Earth and the longer the mission duration, the more difficult resupply becomes; this requires a change from the current spares, maintenance, repair, and hardware design model that has been used on the International Space Station (ISS) up until now. Given the extension of the ISS Program, which will inevitably result in replacement parts being required, the ISS is an ideal platform to begin changing the current model for resupply and repair to one that is more suitable for all exploration missions. 3D Printing, more formally known as Additive Manufacturing, is the method of building parts/objects/tools layer‐by‐layer. The 3D Print experiment will use extrusion‐based additive manufacturing, which involves building an object out of plastic deposited by a wire‐feed via an extruder head. Parts can be printed from data files loaded on the device at launch, as well as additional files uplinked to the device while on‐orbit. The plastic extrusion additive manufacturing process is a low‐energy, low‐mass solution to many common needs on board the ISS. The 3D Print payload will serve as the ideal first step to proving that process in space. It is unreasonable to expect NASA to launch large blocks of material from which parts or tools can be traditionally machined, and even more unreasonable to fly up multiple drill bits that would be required to machine parts from aerospace‐grade materials such as titanium 6‐4 alloy and Inconel. The technology to produce parts on demand, in space, offers unique design options that are not possible through traditional manufacturing methods while offering cost-effective, high‐precision, low‐unit on‐demand manufacturing. Thus, Additive Manufacturing capabilities are the foundation of an advanced manufacturing in space roadmap. The 3D Printing In Zero‐G experiment will demonstrate the capability of utilizing Additive Manufacturing technology in space. This will serve as the enabling first step to realizing an additive manufacturing, print‐on‐demand "machine shop" for long‐duration missions and sustaining human exploration of other planets, where there is extremely limited ability and availability of Earth‐based logistics support. Simply put, Additive Manufacturing in space is a critical enabling technology for NASA. It will provide the capability to produce hardware on‐demand, directly lowering cost and decreasing risk by having the exact part or tool needed in the time it takes to print. This capability will also provide the much‐needed solution to the cost, volume, and up‐mass constraints that prohibit launching everything needed for long‐duration or long‐distance missions from Earth, including spare parts and replacement systems. A successful mission for the 3D Printing In Zero‐G payload is the first step to demonstrate the capability of printing on orbit. The data gathered and lessons learned from this demonstration will be applied to the next generation of additive manufacturing technology on orbit. It is expected that Additive Manufacturing technology will quickly become a critical part of any mission's infrastructure.

Werkheiser, Niki↗
NASA NTRS2014

3D Printing in Zero-G ISS Technology Demonstration

The National Aeronautics and Space Administration (NASA) has a long term strategy to fabricate components and equipment on-demand for manned missions to the Moon, Mars, and beyond. To support this strategy, NASA and Made in Space, Inc. are developing the 3D Printing In Zero-G payload as a Technology Demonstration for the International Space Station. The 3D Printing In Zero-G experiment will be the first machine to perform 3D printing in space. The greater the distance from Earth and the longer the mission duration, the more difficult resupply becomes; this requires a change from the current spares, maintenance, repair, and hardware design model that has been used on the International Space Station up until now. Given the extension of the ISS Program, which will inevitably result in replacement parts being required, the ISS is an ideal platform to begin changing the current model for resupply and repair to one that is more suitable for all exploration missions. 3D Printing, more formally known as Additive Manufacturing, is the method of building parts/ objects/tools layer-by-layer. The 3D Print experiment will use extrusion-based additive manufacturing, which involves building an object out of plastic deposited by a wire-feed via an extruder head. Parts can be printed from data files loaded on the device at launch, as well as additional files uplinked to the device while on-orbit. The plastic extrusion additive manufacturing process is a low-energy, low-mass solution to many common needs on board the ISS. The 3D Print payload will serve as the ideal first step to proving that process in space. It is unreasonable to expect NASA to launch large blocks of material from which parts or tools can be traditionally machined, and even more unreasonable to fly up specialized manufacturing hardware to perform the entire range of function traditionally machining requires. The technology to produce parts on demand, in space, offers unique design options that are not possible through traditional manufacturing methods while offering cost-effective, high-precision, low-unit on-demand manufacturing. Thus, Additive Manufacturing capabilities are the foundation of an advanced manufacturing in space roadmap.

Johnston, Mallory M.↗