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 541 records · Page 30

Bayesian optimization of generalized data

Direct application of Bayes' theorem to generalized data yields a posterior probability distribution function (PDF) that is a product of a prior PDF of generalized data and a likelihood function, where generalized data consists of model parameters, measured data, and model defect data. The prior PDF of generalized data is defined by prior expectation values and a prior covariance matrix of generalized data that naturally includes covariance between any two components of generalized data. A set of constraints imposed on the posterior expectation values and covariances of generalized data via a given model is formally solved by the method of Lagrange multipliers. Posterior expectation values of the constraints and their covariance matrix are conventionally set to zero, leading to a likelihood function that is a Dirac delta function of the constraining equation. It is shown that setting constraints to values other than zero is analogous to introducing a model defect. Since posterior expectation values of any function of generalized data are integrals of that function over all generalized data weighted by the posterior PDF, all elements of generalized data may be viewed as nuisance parameters marginalized by this integration. One simple form of posterior PDF is obtained when the prior PDF and the likelihood function are normal PDFs. For linear models without a defect this PDF becomes equivalent to constrained least squares (CLS) method, that is, the χ2 minimization method.

Arbanas, Goran↗

Solvent effects in time-dependent self-consistent field methods. I. Optical response calculations

In this study, we implement and examine three excited state solvent models in time-dependent self-consistent field methods using a consistent formalism which unambiguously shows their relationship. These are the linear response, state specific, and vertical excitation solvent models. Their effects on energies calculated with the equivalent of COSMO/CIS/AM1 are given for a set of test molecules with varying excited state charge transfer character. The resulting solvent effects are explained qualitatively using a dipole approximation. It is shown that the fundamental differences between these solvent models are reflected by the character of the calculated excitations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A preliminary prediction of the (ν{sub 2} + ν{sub 4}) combination band of {sup 34}SF{sub 6}

Sulfur hexafluoride appears to be a species of growing importance in the field of atmospheric physics and chemistry as a pollutant that can contribute to the greenhouse effect. The infrared spectroscopy of SF6 is essential for quantitative measurements in the atmosphere, is still insufficiently known. In this work, we present a new contribution to this topic concerning (ν{sub 2}+ν{sub 4}) combination band. The prediction of this band is based on the tensorial formalism and vibrational extrapolation methods developed in Dijon. The effective Hamiltonian contains contribution from the ground state level GS, ν{sub 2} and ν{sub 4} witch are known from previous studies. The analysis has been performed using nonlinear least squares fit procedure included in the XTDS program to Jup=95.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Thermoelectric power of supported graphene - An iterative approach

Thermoelectric power, S, of graphene supported on SiO{sub 2} substrate is studied for 10K < T < 400K within the framework of Boltzmann transport formalism by an iterative method. Numerical calculations of diffusion thermopower, S{sub d}, as a function of temperature, are presented assuming the electrons to be scattered by impurities, vacancies, surface roughness, acoustic phonons, inelastic optical phonons and surface polar optical phonons. For the range of temperatures considered, S{sub d} is found to be dominated by impurities for T < 40K and by acoustic phonon and vacancy scatterings for T > 40K. The optical phonons are found to influence S{sub d} for T > 300K. Our calculations, assuming the drag component to be negligible, obtain good agreement with the recent experimental data.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

The Bogolyubov-Born-Green-Kirkwood-Yvon hierarchy and Fokker-Planck equation for many-body dissipative randomly driven systems

By generalizing Bogolyubov’s reduced description method, we suggest a formalism to derive kinetic equations for many-body dissipative systems in external stochastic field. As a starting point, we use a stochastic Liouville equation obtained from Hamilton’s equations taking dissipation and stochastic perturbations into account. The Liouville equation is then averaged over realizations of the stochastic field by an extension of the Furutsu-Novikov formula to the case of a non-Gaussian field. As the result, a generalization of the classical Bogolyubov-Born-Green-Kirkwood-Yvon (BBGKY) hierarchy is derived. In order to get a kinetic equation for the single-particle distribution function, we use a regular cutoff procedure of the BBGKY hierarchy by assuming weak interaction between the particles and weak intensity of the field. Within this approximation, we get the corresponding Fokker-Planck equation for the system in a non-Gaussian stochastic field. Two particular cases are discussed by assuming either Gaussian statistics of external perturbation or homogeneity of the system.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Exact restoration of Galilei invariance in density functional calculations with quantum Monte Carlo

We investigate some aspects of the connection between mean-field and ab-initio calculations for any-nucleon systems employing the Gogny effective interaction. In particular, we present variational Monte Carlo calculations of 4 He and 16 O, for which we extended the formalism of the linear method to the case of a density-dependent Hamiltonian. Monte Carlo calculations using an uncorrelated basis reduce to Hartree-Fock ones, but Galilean invariance can be preserved, contrary to the usual treatment. An analysis of the results obtained with the Gogny force when used in conjunction with correlated wave functions has also been performed. Here, the calculations show the collapse of the deuteron, leading to a set of unphysical predictions for the structure of heavier nuclei. This behavior remarks the different role of the Gogny effective interaction as compared to bare interactions typically used in fully microscopic calculations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

Cosmology at high redshift — a probe of fundamental physics

An observational program focused on the high redshift (2<z<6) Universe has the opportunity to dramatically improve over upcoming LSS and CMB surveys on measurements of both the standard cosmological model and its extensions. Using a Fisher matrix formalism that builds upon recent advances in Lagrangian perturbation theory, we forecast constraints for future spectroscopic and 21-cm surveys on the standard cosmological model, curvature, neutrino mass, relativistic species, primordial features, primordial non-Gaussianity, dynamical dark energy, and gravitational slip. We compare these constraints with those achievable by current or near-future surveys such as DESI and Euclid, all under the same forecasting formalism, and compare our formalism with traditional linear methods. Here, our Python code FishLSS — used to calculate the Fisher information of the full shape power spectrum, CMB lensing, the cross-correlation of CMB lensing with galaxies, and combinations thereof — is publicly available.

79 ASTRONOMY AND ASTROPHYSICS↗

Fast, differentiable, and extensible big bang nucleosynthesis package

Here, we introduce light isotope nucleosynthesis with JAX (LINX), a new differentiable public big bang nucleosynthesis code designed for fast parameter estimation. By leveraging JAX, LINX achieves both speed and differentiability, enabling the use of Bayesian inference, including gradient-based methods. We discuss the formalism used in LINX for rapid primordial elemental abundance predictions and give examples of how LINX can be used. When combined with differentiable cosmic microwave background power spectrum emulators, LINX can be used for joint cosmic microwave background and big bang nucleosynthesis analyses without requiring extensive computational resources, including on personal hardware.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Ancilla-driven quantum computation for qudits and continuous variables

Although qubits are the leading candidate for the basic elements in a quantum computer, there are also a range of reasons to consider using higher-dimensional qudits or quantum continuous variables (QCVs). In this paper, we use a general “quantum variable” formalism to propose a method of quantum computation in which ancillas are used to mediate gates on a well-isolated “quantum memory” register and which may be applied to the setting of qubits, qudits (for d>2), or QCVs. More specifically, we present a model in which universal quantum computation may be implemented on a register using only repeated applications of a single fixed two-body ancilla-register interaction gate, ancillas prepared in a single state, and local measurements of these ancillas. In order to maintain determinism in the computation, adaptive measurements via a classical feed forward of measurement outcomes are used, with the method similar to that in measurement-based quantum computation (MBQC). We show that our model has the same hybrid quantum-classical processing advantages as MBQC, including the power to implement any Clifford circuit in essentially one layer of quantum computation. In some physical settings, high-quality measurements of the ancillas may be highly challenging or not possible, and hence we also present a globally unitary model which replaces the need for measurements of the ancillas with the requirement for ancillas to be prepared in states from a fixed orthonormal basis. In conclusion, we discuss settings in which these models may be of practical interest.

97 MATHEMATICS AND COMPUTING↗

A combined experimental and computational thermodynamic investigation of the U-Th-O system

Here, the thermodynamics of the U–Th–O system have been assessed using the Calphad method. The compound energy formalism (CEF) and a partially ionic two-sublattice liquid model (TSLM) were used for the fluorite U 1–y Th y O 2±x , γ-(U,Th) 4 O 9 , and the U–Th–O melt. The O 2 activity of fluorite U 1–y Th y O 2±x with temperature and composition was determined by thermogravimetric analysis. Thermodynamic studies for the Th–O binary and U–Th–O ternary available in the open literature were critically reviewed. A self-consistent data set was selected and compiled with the equilibrium oxygen pressures determined by thermogravimetry in order to optimize the adjustable parameters of models selected to represent the phases in the Th–O and U–Th–O systems.

36 MATERIALS SCIENCE↗

On the Enthalpy and Entropy of Point Defect Formation in Crystals

A standard way to determine the formation enthalpy H and entropy S of point defect formation in crystals consists in the application of the Arrhenius equation for the defect concentration. In this work, we show that a formal use of this method actually gives the effective (apparent) values of these quantities, which appear to be significantly overestimated. The underlying physical reason lies in temperature-dependent formation enthalpy of the defects, which is controlled by temperature dependence of the elastic moduli. We present an evaluation of the “true” H- and S-values for aluminum, which are derived on the basis of experimental data by taking into account temperature dependence of the formation enthalpy related to temperature dependence of the elastic moduli. The knowledge of the “true” activation parameters is needed for a correct calculation of the defect concentration constituting thus an issue of major importance for different fundamental and application issues of condensed matter physics and chemistry.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Ultrabroadband infrared near-field spectroscopy and imaging of local resonators in percolative gold films

Percolation processes are ubiquitous in nature and are responsible for many critical phenomena such as first-order phase transitions and infectious epidemic networks. The optical properties of a percolative medium can generally be captured by the effective medium approximation (EMA) when the degree of percolation and the properties of the constituent materials are properly addressed. However, the important local collective responses of nanoclusters in the deep subwavelength regime are often only phenomenologically addressed in the standard EMA formalism. Additionally, a comprehensive method that measures local light–matter interactions and registers how the local responses influence global optical properties has yet to be established on a firm basis. In this paper, we use infrared nanoimaging/spectroscopy to investigate percolative gold films in the vicinity of the critical percolation threshold. We demonstrate experimentally and theoretically that the near-field spectra yield quantitative information of the characteristic length scale of the local gold clusters and their relative oscillator strengths. As a result, EMA analysis can be augmented with near-field nano-spectroscopy to yield better predictability of the far-field reflection spectrum at the corresponding spectral range.

36 MATERIALS SCIENCE↗

Atomic and Molecular Physics in Strong Fields

In this project, we have investigated a broad range of atomic, molecular, and optical (AMO) processes of current significance in strong-field and ultrafast science and technology. The main goals are to develop new theoretical formalisms and accurate computational methods for ab initio and in-depth non-perturbative study of time-resolved multiphoton quantum dynamics and spectroscopy, very-high-order harmonic generation, optimal control of ultrafast attosecond pulse generation, and resonance-enhanced below threshold harmonics in intense ultrashort laser fields. We have worked on the following projects and we have published 20 top 15 % SCI journal articles during the last 3.5 years (Jan. 1, 2016 to June 30, 2019), including one article in top raking Physical Review Letters, and 3 articles in top ranking (Nature) Scientific Reports, and one Physical Review A article was chosen as Editors’ suggestion paper, etc. (a) Development of new time-dependent methods for accurate and efficient solution of multi-dimensional time-dependent Schrödinger equation and time-dependent density functional theory. (b) Non-perturbative treatment of very-high order (1000th – 5000th order) harmonic generation and broadband supercontinuum spectra from XUV to soft x-ray regime. (c) Development of synchrosqueezing transform (SST) for precision time-frequency analysis of electron multi-rescattering dynamics. (d) Exploration of the dynamical origin of resonance-enhanced near- and below-threshold harmonics. (e) Probing the high-order harmonics generation in disordered semiconductor. (f) Multiphoton ionization of one-electron relativistic diatomic quasi-molecules in strong laser fields. and, (g) New development of non-adiabatic density functional theory. The theoretical and simulation projects we have pursued are closely related to the ongoing experimental researches in several leading laboratories in the US and Europe, etc. It is expected that the outcome of this project will provide timely and significant new information and insight for the advancement of strong-field atomic and molecular physics and ultrafast science and technology.

74 ATOMIC AND MOLECULAR PHYSICS↗

Predicting magnetic properties of single-molecule magnets from self-interaction-free density-functional theory (Final Report)

In this project we investigated electronic structure of an intermediate-sized copper-based molecule and magnetic and hyperfine properties of several small non-magnetic and magnetic molecules including transition-metal elements by applying self-interaction corrections to density functional theory (DFT). In a sufficient number of cases, DFT-calculated electronic structure and magnetic properties of single-molecule magnets qualitatively differ from corresponding experimental data. This is partly due to self-interacting electrons within the DFT formalism. Recently, an efficient method to correct the self-interactions was proposed, i.e., Fermi-Lowdin prbital (FLO) based self-interaction corrected (SIC) methodology, within DFT. Henceforth, this method is referred to as FLO-SIC method which exists in FLOSIC code. We used this FLO-SIC method for our studies of electronic structure and magnetic and hyperfine properties of small magnetic molecules and non-magnetic molecules. Our study will provide insight into predictions of magnetic properties of single-molecule magnets where self-interaction corrections play a critical role. There are two components of this project. In the first work, we studied the electronic structure of a planar mononuclear Cu-based molecule in two oxidation states, using DFT with the FLO-SIC method. We chose this system because it is small enough and it includes a transition metal element. We found that the standard FLO-SIC method takes too much compute time even for the small transition-metal molecule and so we slightly modified the method in order to expedite the process. In the dianionic state, we found that the FLO-SIC spin density agrees quantitatively with accurate quantum chemistry methods, while DFT spin density without self-interaction corrections are severely deviated from the quantum chemistry methods. We also showed that the energy gap between the highest occupied molecular orbital (HOMO) and lowest unoccupied molecular orbital (LUMO) of the dianionic state is larger than that of the monoanionic state. This result is consistent with experimental data. In the second work, we investigated how the interaction between the electron spin and nuclear spin is affected by electron self-interactions within small non-magnetic and magnetic molecules. Such an interaction is called hyperfine interaction. For molecules without significant orbital angular momentum, the hyperfine interaction consists of Fermi contact and dipolar interaction terms. Since the Fermi contact term depends on electron spin density at the nuclear site, it would be highly affected by self-interaction corrections. Therefore, we calculated the hyperfine interaction for the small molecules using DFT with the slightly modified expedited FLO-SIC method which was obtained in the first work, and compared the results to experimental data and DFT calculations without self-interaction corrections. We found significant improvement of the Fermi contact term computed using the FLO-SIC method for small magnetic molecules. Overall, the first and second work provided positive outlook of application of the FLO-SIC method to magnetic molecules and systems including transition-metal elements.

36 MATERIALS SCIENCE↗

Energy spectra of cosmic ray nuclei: 4z26 and .3E2 GeV/amu

Energy spectra of cosmic ray nuclei in the charge range 5 is less than or equal to z less than or equal to 26 have been derived from the response of an acrylic plastic Cerenkov detector. Data were obtained using a balloon borne detector and cover the energy range 320 is approximately less than e approximately less than 2200 MeV. amu. Spectra are derived from a formal deconvolution using the method of Lezniak (1975). Relative spectra of different elements are compared by observing charge ratios. Secondary primary ratios are observed to decrease with increasing energy, consistent with the effect previously observed at higher energy. Primary to primary ratios are constant for 6 is less than or equal to z less than or equal to 26 and 14 is less than or equal to z less than or equal to 26 but vary for 10 is less than or equal to z less than or equal to 14. This data is found to be consistent with existing data where comparable and lends strong support ot the idea of two separate source populations contributing to the cosmic ray composition.

Maehl, R. C.↗

Two-dimensional radiative transfer. I - Planar geometry

Differential-equation methods for solving the transfer equation in two-dimensional planar geometries are developed. One method, which uses a Hermitian integration formula on ray segments through grid points, proves to be extremely well suited to velocity-dependent problems. An efficient elimination scheme is developed for which the computing time scales linearly with the number of angles and frequencies; problems with large velocity amplitudes can thus be treated accurately. A very accurate and efficient method for performing a formal solution is also presented. A discussion is given of several examples of periodic media and free-standing slabs, both in static cases and with velocity fields. For the free-standing slabs, two-dimensional transport effects are significant near boundaries, but no important effects were found in any of the periodic cases studied.

Mihalas, D.↗

Advanced training systems

Training is a major endeavor in all modern societies. Common training methods include training manuals, formal classes, procedural computer programs, simulations, and on-the-job training. NASA's training approach has focussed primarily on on-the-job training in a simulation environment for both crew and ground based personnel. NASA must explore new approaches to training for the 1990's and beyond. Specific autonomous training systems are described which are based on artificial intelligence technology for use by NASA astronauts, flight controllers, and ground based support personnel that show an alternative to current training systems. In addition to these specific systems, the evolution of a general architecture for autonomous intelligent training systems that integrates many of the features of traditional training programs with artificial intelligence techniques is presented. These Intelligent Computer Aided Training (ICAT) systems would provide much of the same experience that could be gained from the best on-the-job training.

Savely, Robert T.↗