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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,369 records · Page 76

All sources NASA NTRS DOE OSTI

DOE OSTI2014

Multiparticle-multihole configuration mixing description of nuclear many-body systems

In this work we discuss the multiparticle-multihole configuration mixing method which aims to describe the structure of atomic nuclei. Based on a variational principle it is able to treat in a unified way all types of long-range correlations between nucleons, without introducing symmetry breaking. The formalism is presented along with some preliminary results obtained for a few sd-shell nuclei. In the presented applications, the D1S Gogny force has been used.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2019

On–Surface Synthesis and Characterization of Acene–Based Nanoribbons Incorporating Four–Membered Rings

A bottom up method for the synthesis of unique tetracene–based nanoribbons, which incorporate cyclobutadiene moieties as linkers between the acene segments, is reported. These structures were achieved through the formal [2+2] cycloaddition reaction of ortho –functionalized tetracene precursor monomers. The formation mechanism and the electronic and magnetic properties of these nanoribbons were comprehensively studied by means of a multitechnique approach. Ultra–high vacuum scanning tunneling microscopy showed the occurrence of metal–coordinated nanostructures at room temperature and their evolution into nanoribbons through formal [2+2] cycloaddition at 475 K. Frequency–shift non–contact atomic force microscopy images clearly proved the presence of bridging cyclobutadiene moieties upon covalent coupling of activated tetracene molecules. Insight into the electronic and vibrational properties of the so–formed ribbons was obtained by scanning tunneling microscopy, Raman spectroscopy, and theoretical calculations. Magnetic properties were addressed from a computational point of view, allowing us to propose promising candidates to magnetic acene–based ribbons incorporating four–membered rings. Here, the reported findings will increase the understanding and availability of new graphene–based nanoribbons with high potential in future spintronics.

36 MATERIALS SCIENCE↗

DOE OSTI2024

A generalized Selberg zeta function for flat space cosmologies

Flat space cosmologies (FSCs) are time dependent solutions of three-dimensional (3D) gravity with a vanishing cosmological constant. They can be constructed from a discrete quotient of empty 3D flat spacetime and are also called shifted-boost orbifolds. Using this quotient structure, we build a new and generalized Selberg zeta function for FSCs, and show that it is directly related to the scalar 1-loop partition function. We then propose an extension of this formalism applicable to more general quotient manifolds $\mathcal{M}$/ℤ, based on representation theory of fields propagating on this background. Our prescription constitutes a novel and expedient method for calculating regularized 1-loop determinants, without resorting to the heat kernel. We compute quasinormal modes in the FSC using the zeroes of a Selberg zeta function, and match them to known results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2014

First order nonadiabatic coupling matrix elements between excited states: Implementation and application at the TD-DFT and pp-TDA levels

The recently proposed rigorous yet abstract theory of first order nonadiabatic coupling matrix elements (fo-NACME) between electronically excited states [Z. Li and W. Liu, J. Chem. Phys. 141, 014110 (2014)] is specified in detail for two widely used models: The time-dependent density functional theory and the particle-particle Tamm-Dancoff approximation. The actual implementation employs a Lagrangian formalism with atomic-orbital based direct algorithms, which makes the computation of fo-NACME very similar to that of excited-state gradients. Although the methods have great potential in investigating internal conversions and nonadiabatic dynamics between excited states of large molecules, only prototypical systems as a first pilot application are considered here to illustrate some conceptual aspects.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2015

Spin-unrestricted random-phase approximation with range separation: Benchmark on atomization energies and reaction barrier heights

We consider several spin-unrestricted random-phase approximation (RPA) variants for calculating correlation energies, with and without range separation, and test them on datasets of atomization energies and reaction barrier heights. We show that range separation greatly improves the accuracy of all RPA variants for these properties. Moreover, we show that a RPA variant with exchange, hereafter referred to as RPAx-SO2, first proposed by Szabo and Ostlund [J. Chem. Phys. 67, 4351 (1977)] in a spin-restricted closed-shell formalism, and extended here to a spin-unrestricted formalism, provides on average the most accurate range-separated RPA variant for atomization energies and reaction barrier heights. Since this range-separated RPAx-SO2 method had already been shown to be among the most accurate range-separated RPA variants for weak intermolecular interactions [J. Toulouse et al., J. Chem. Phys. 135, 084119 (2011)], this works confirms range-separated RPAx-SO2 as a promising method for general chemical applications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2014

PLANCK and WMAP constraints on generalised Hubble flow inflationary trajectories

We use the Hamilton-Jacobi formalism to constrain the space of possible single field, inflationary Hubble flow trajectories when compared to the WMAP and PLANK satellites Cosmic Microwave Background (CMB) results. This method yields posteriors on the space of Hubble Slow Roll (HSR) parameters that uniquely determine the history of the Hubble parameter during the inflating epoch. The trajectories are used to numerically determine the observable primordial power spectrum and bispectra that can then be compared to observations. Our analysis is used to infer the most likely shape of the inflaton potential V(φ) and also yields a prediction for, B, the dimensionless amplitude of the non-Gaussian bispectrum.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2017

Hybrid quantum-classical hierarchy for mitigation of decoherence and determination of excited states

Using quantum devices supported by classical computational resources is a promising approach to quantum-enabled computation. One powerful example of such a hybrid quantum-classical approach optimized for classically intractable eigenvalue problems is the variational quantum eigensolver, built to utilize quantum resources for the solution of eigenvalue problems and optimizations with minimal coherence time requirements by leveraging classical computational resources. These algorithms have been placed as leaders among the candidates for the first to achieve supremacy over classical computation. Here, we provide evidence for the conjecture that variational approaches can automatically suppress even nonsystematic decoherence errors by introducing an exactly solvable channel model of variational state preparation. Moreover, we develop a more general hierarchy of measurement and classical computation that allows one to obtain increasingly accurate solutions by leveraging additional measurements and classical resources. In conclusion, we demonstrate numerically on a sample electronic system that this method both allows for the accurate determination of excited electronic states as well as reduces the impact of decoherence, without using any additional quantum coherence time or formal error-correction codes.

McClean, Jarrod R.↗

DOE OSTI2023

The Effect of Laser Cutting Heuristic Presentation Modality on Design Learning

Abstract The goal of this work is to study the way student designers use heuristics to effectively design for laser-cut manufacturing methods. With the recent advent of academic makerspaces, digital fabrication tools like laser cutters are relatively new additions to the classroom. Therefore, there is a gap in formal education or training on these tools, and students can find it challenging to design effectively for them. A study was performed to investigate the way students apply heuristics to redesign laser-cut assemblies when received in different modalities. All participants were given an identical lecture on laser cutting heuristics. Then, a redesign problem was presented to students, and three different experimental groups were given the heuristics in different modalities: Text-Only, text with Visual aids, and text with Tactile aids. The novelty and quality of each of the resulting redesigns were evaluated. It was hypothesized that participants would have more difficulty interpreting and applying the Text-Only heuristics, lowering the quality of their redesigned solutions relative to the other two conditions. It was also hypothesized that participants would experience fixation caused by interacting with the tactile aids, leading to the lower novelty of their redesigned solutions relative to the other two conditions. Results showed that modality played a significant role in participants’ feelings of self-efficacy after the intervention, as well as in their understanding of laser cutter design skills when responding to quiz-style questions. However, analysis of novelty and quality showed little significant impact of the intervention and varying modalities on participants’ designs.

Engineering↗

DOE OSTI2018

Calculation of Energy States of Excitons in Square Quantum Wells

The ground and excited energy states of excitons in single square GaAs-based quantum wells are found by the numerical solution of the three-dimensional Schrödinger equation. This equation is obtained within the envelope-function formalism from the exciton energy operator using the spherical approximation of the Luttinger Hamiltonian. Precise results for the exciton states are achieved by the finite-difference method. The radiative decay rates of the calculated states are also determined.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Cathodic Decomposition Electrodes as Standard Reference Electrodes for Molten Salts: Example of the Lithium Eutectic Electrode for the LiCl-KCl Eutectic

Alternatives to the widely-used standard anodic decomposition reference electrodes in molten salts are necessary to enable more easily reproduced thermochemical and electrochemical data in molten salt electrolytes. The class of standard reference electrodes called cathodic decomposition electrodes (CDEs) are easily constructed and can be used to make thermochemical measurements in molten salts more directly compared to anodic decomposition electrodes. The lithium eutectic electrode (LEE) was chosen as a sample test case for validation and was applied to thermochemical measurements of electroactive species in molten LiCl-KCl eutectic. Transient measurements were made to measure the Li + /Li reduction potential at zero current in pure LiCl-KCl eutectic relative to a Li-alloy reference electrode to validate the reference potential of the LEE. Literature-reported electromotive force measurements against Li-alloy reference electrodes were used to generate a relationship between the LEE and the standard chlorine electrode and this relationship was used to evaluate measured and reported formal potential measurements for the LiCl-KCl-GdCl 3 system. This work demonstrates the general framework for defining CDEs for any molten salt system and a method for calibrating external reference electrodes against a CDE standard reference electrode, improving the ease of obtaining thermochemical and electrochemical measurements in any molten salt system.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2021

Bayesian Monte Carlo Evaluation Framework for Imperfect Nuclear Data

Bayesian evaluation of resolved resonance region (RRR) nuclear data has historically been carried out using the generalized least squares (GLS) formalism, as implemented in, e.g., SAMMY. We have recently developed a prototype of Bayesian Monte Carlo (BMC) evaluation framework, implemented using a Markov Chain Monte Carlo (MCMC) method with a Metropolis-Hastings (MH) acceptance criterion. This was done in order to remove the approximations underlying the conventional GLS evaluations, namely, the linear approximation, and the approximation that all probability density functions (PDFs) are of the normal kind. Recent works by others have used similar stochastic approaches to quantify cross section uncertainties from ENDF evaluated co-variances, and/or, from integral benchmark data, but those have not been conceived as an evaluation framework like the one presented here.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

Machine-learning based model reduction for partial differential equations

We develop a novel synergistic approach between model reduction and machine learning. The specific goal of this project is to aid in the construction of reduced order models for basis functions that are custom-made to represent the solution of partial differential equations. Partial differential equations (PDEs) are one of the main mathematical tools for describing physical phenomena. However, due to either efficiency or necessity, for many real-world problems, we are interested in constructing reduced order models (ROMs) which focus only on the explicit computation of subsets of the active spatio-temporal scales in the problem, while treating the interaction with the rest of the scales approximately. The task of accurate representation of such interactions (usually called memory terms) constitutes a vast area of research known as model reduction. PI Stinis has significant expertise in the construction of ROMs for complex systems. In addition, in recent work with the project key participant Qadeer, they have utilized machine learning to acquire custom-made basis functions (CBFs) to expand the solutions of PDEs. In the proposed work, we will merge the two concepts by constructing ROMs for subsets of the CBFs needed to represent the solution of a PDE. Specifically, we will use the Mori-Zwanzig model reduction formalism to construct ROMs for subsets of CBFs for nonlinear PDEs of various complexity, as well as investigate the usage of CBFs in the spectral vanishing viscosity method for problems that can form shocks in finite time. The outcome of the research is aimed to be proof-of-concept about a novel synergistic approach between model reduction and machine learning, thus advancing the field of scientific machine learning. Such a capability will benefit the efficient modeling of physical systems appearing in various areas of interest to the DOE.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

Strong Correlation DMRG and DFT

This project developed new ways to improve computer simulations of materials where electrons interact strongly with each other, a challenge for today’s most widely used method, density functional theory (DFT). We used an exact numerical method, the density matrix renormalization group (DMRG), to create highly accurate reference results for simple model systems, and used these to test DFT, prove when it will converge, and even train machine-learned functionals. We also invented new kinds of localized basis functions (“gausslets” and “multi-sliced gausslets”) and a “sliced-basis” approach that make high-accuracy simulations faster and more practical. These methods were applied to extended hydrogen systems, enabling the direct derivation of accurate low-energy models from first-principles calculations. We also introduced a new formalism, Conditional-Probability DFT, which could bypass traditional approximations. The tools and results from this work, including open-source software releases, will help scientists design and understand complex quantum materials.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRS1984

The computation of rotational conical flows

A method based on the Clebsch velocity decomposition is presented to solve the steady, inviscid, supersonic flow field about arbitrary conical geometries. The system of equations developed, although formally equivalent to the Euler equations, retains the computational efficiency of type-dependent potential flow solutions. Accurate rotational-flow solutions are developed using shock-fitting procedures at the bow and imbedded waves along with special treatment of the vortical layer. Solutions are presented for several high Mach number conical flows and compared with existing Euler solutions and experimental data.

Grossman, B.↗

NASA NTRS1986

Aerodynamics via acoustics - Application of acoustic formulas for aerodynamic calculations

Prediction of aerodynamic loads on bodies in arbitrary motion is considered from an acoustic point of view, i.e., in a frame of reference fixed in the undisturbed medium. An inhomogeneous wave equation which governs the disturbance pressure is constructed and solved formally using generalized function theory. When the observer is located on the moving body surface there results a singular linear integral equation for surface pressure. Two different methods for obtaining such equations are discussed. Both steady and unsteady aerodynamic calculations are considered. Two examples are presented, the more important being an application to propeller aerodynamics. Of particular interest for numerical applications is the analytical behavior of the kernel functions in the various integral equations.

Farassat, F.↗

NASA NTRS1998

Optical model methods of predicting nuclide production from spallation reactions

Quantum mechanical optical model methods for calculating isotope production cross sections from the spallation of heavy nuclei by high-energy protons are developed from a modified abrasion-ablation collision formalism. The abrasion step is treated quantum-mechanically as a knockout process which leaves the residual prefragment nucleus in an excited state. In ablation the prefragment deexcites to produce the final fragment. The excitation energies of the prefragments are estimated from a combination of liquid drop and frictional-spectator interaction considerations. Estimates of elemental and isotopic production cross sections are in good agreement with recently published cross section measurements.

NASA Discipline Radiation Health↗

NASA NTRS1986

Aerodynamics Via Acoustics: Application of Acoustic Formulas for Aerodynamic Calculations

Farassat, F.↗

NASA NTRS2007

Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control

Volume I of this report presents a new method for synthesizing hybrid systems directly from design requirements, and applies the method to design of a hybrid system for longitudinal control of transport aircraft. The resulting system satisfies general requirement for safety and effectiveness specified a priori, enabling formal validation to be achieved. Volume II contains seven appendices intended to make the report accessible to readers with backgrounds in human factors, fli ght dynamics and control. and formal logic. Major design goals are (1) system desi g n integrity based on proof of correctness at the design level, (2), significant simplification and cost reduction in system development and certification, and (3) improved operational efficiency, with significant alleviation of human-factors problems encountered by pilots in current transport aircraft. This report provides for the first time a firm technical basis for criteria governing design and certification of avionic systems for transport aircraft. It should be of primary interest to designers of next-generation avionic systems.

Hynes, Charles S.↗