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,009 records · Page 56

An Empirical State Error Covariance Matrix for Batch State Estimation

State estimation techniques serve effectively to provide mean state estimates. However, the state error covariance matrices provided as part of these techniques suffer from some degree of lack of confidence in their ability to adequately describe the uncertainty in the estimated states. A specific problem with the traditional form of state error covariance matrices is that they represent only a mapping of the assumed observation error characteristics into the state space. Any errors that arise from other sources (environment modeling, precision, etc.) are not directly represented in a traditional, theoretical state error covariance matrix. Consider that an actual observation contains only measurement error and that an estimated observation contains all other errors, known and unknown. It then follows that a measurement residual (the difference between expected and observed measurements) contains all errors for that measurement. Therefore, a direct and appropriate inclusion of the actual measurement residuals in the state error covariance matrix will result in an empirical state error covariance matrix. This empirical state error covariance matrix will fully account for the error in the state estimate. By way of a literal reinterpretation of the equations involved in the weighted least squares estimation algorithm, it is possible to arrive at an appropriate, and formally correct, empirical state error covariance matrix. The first specific step of the method is to use the average form of the weighted measurement residual variance performance index rather than its usual total weighted residual form. Next it is helpful to interpret the solution to the normal equations as the average of a collection of sample vectors drawn from a hypothetical parent population. From here, using a standard statistical analysis approach, it directly follows as to how to determine the standard empirical state error covariance matrix. This matrix will contain the total uncertainty in the state estimate, regardless as to the source of the uncertainty. Also, in its most straight forward form, the technique only requires supplemental calculations to be added to existing batch algorithms. The generation of this direct, empirical form of the state error covariance matrix is independent of the dimensionality of the observations. Mixed degrees of freedom for an observation set are allowed. As is the case with any simple, empirical sample variance problems, the presented approach offers an opportunity (at least in the case of weighted least squares) to investigate confidence interval estimates for the error covariance matrix elements. The diagonal or variance terms of the error covariance matrix have a particularly simple form to associate with either a multiple degree of freedom chi-square distribution (more approximate) or with a gamma distribution (less approximate). The off diagonal or covariance terms of the matrix are less clear in their statistical behavior. However, the off diagonal covariance matrix elements still lend themselves to standard confidence interval error analysis. The distributional forms associated with the off diagonal terms are more varied and, perhaps, more approximate than those associated with the diagonal terms. Using a simple weighted least squares sample problem, results obtained through use of the proposed technique are presented. The example consists of a simple, two observer, triangulation problem with range only measurements. Variations of this problem reflect an ideal case (perfect knowledge of the range errors) and a mismodeled case (incorrect knowledge of the range errors).

Frisbee, Joseph H., Jr.↗

Application of a New Ensemble Conserving Quantum Dynamics Simulation Algorithm to Liquid para-Hydrogen and ortho-Deuterium

Here, we apply the Feynman-Kleinert Quasi-Classical Wigner (FK-QCW) method developed in our previous work [Smith et al., J. Chem. Phys. 142, 244112 (2015)] for the determination of the dynamic structure factor of liquid para-hydrogen and ortho-deuterium at state points of (T = 20.0 K, n = 21.24 nm -3 ) and (T = 23.0 K, n = 24.61 nm -3 ), respectively. When applied to this challenging system, it is shown that this new FK-QCW method consistently reproduces the experimental dynamic structure factor reported by Smith et al. [J. Chem. Phys. 140, 034501 (2014)] for all momentum transfers considered. Moreover, this shows that FK-QCW provides a substantial improvement over the Feynman-Kleinert linearized path-integral method, in which purely classical dynamics are used. Furthermore, for small momentum transfers, it is shown that FK-QCW provides nearly the same results as ring-polymer molecular dynamics (RPMD), thus suggesting that FK-QCW provides a potentially more appealing algorithm than RPMD since it is not formally limited to correlation functions involving linear operators.

36 MATERIALS SCIENCE↗

Echo mapping of active galactic nuclei broad-line regions: Fundamental algorithms

We formulate and test a series of algorithms for echo mapping the emission-line regions near active galactic nuclei from measurements of correlated variability in their line and continuum light curves. The linear regularization method (LRM) employs a direct inversion of evenly spaced light-curve data, with a regularization parameter that can be used to control the trade-off between noise and resolution. Matrix formulas express the formal solution as well as its variance and covariance in terms of uncertainties in the measurements. Unlike the maximum-entropy method (MEM), LRM applies to kernels with both positive and negative values, but the results are somewhat limited by ringing effects. A positivity constraint proves effective in controlling the ringing. MEM combines regularization and positivity in a natural way, but similar results are also found using positivity constraints with nonentropic regularization functions. Direct inversions of unevenly sampled light curves require interpolating the noisy data. In this case better results are found by solving for both the continuum light curve and kernel function in a simultaneous fit to the data. Our conclusion is that while echo mapping currently gives ambiguous results, the algorithms are not the limiting factor. Progress depends on efforts to increase the accuracy and completeness of sampling of the observed light curves.

Vio, Roberto↗

Projection-operator methods for classical transport in magnetized plasmas. Part 2. Nonlinear response and the Burnett equations [Projection-operator methods for classical transport in magnetized plasmas. Part 1. Nonlinear response and the Burnett equations]

The time-independent projection-operator formalism for the derivation of Burnett equations is extended and considered in the context of multispecies and magnetized plasmas. The procedure provides specific formulas for transport coefficients in terms of two-time correlation functions involving both two and three phase-space points. It is shown how to calculate those correlation functions in the limit of weak coupling. The results are used to demonstrate, with the aid of a particular non-trivial example, that the Chapman–Enskog methodology employed by Catto & Simakov (CS) (Phys. Plasmas, vol. 11, 2004, pp. 90–102) to calculate the contributions to the parallel viscosity driven by temperature gradients is consistent with formulas previously derived from the two-time formalism by Brey (J. Chem. Phys., vol. 79, 1983, pp. 4585–4598). Here, the work serves to unify previous work on plasma kinetic theory with formalism usually applied to turbulence. Additional contributions include discussions of (i) Braginskii-order interspecies momentum exchange from the point of view of two-time correlations; and (ii) a simple stochastic model, unrelated to many-body theory, that exhibits Burnett effects. Insights from that model emphasize the role of non-Gaussian statistics in the evaluation of Burnett transport coefficients, including the effects calculated by CS that stem from the nonlinear collision operator. Together, Parts 1 and 2 of this series provide an introduction to projection-operator methods that should be broadly useful in theoretical plasma physics.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

SU-E-T-670: Radiotherapy Vault Shielding Evaluation Method for a Flattening Filter-Free (FFF) Linac-Practical Considerations and Recommendations

Purpose: To date, there isn’t formal approach for flattening filter-free (FFF) linac vault shielding evaluation, thus, we propose an extension to NCRP#151 to accommodate the recent large number of FFF linac installations.Methods and Materials: We extended the approach in NCRP#151 to design two Truebeam vaults in our new cancer center for hypofractionated treatments. Monte Carlo calculations have characterized primary, scattered, leakage and neutron radiations from FFF-modes. These calculations have shown that: a) FFF primary beam is softer on the central-axis compared to flattening filtered (FF), b) the lateral dose profile is peaked on the central axis and less integral target current is required to generate the same tumor dose with the FF beam. Thus, the TVLs for FFF mode are smaller than those of the FF mode and the scatter functions of the FF mode (NCRP#151) may not be appropriate for FFF-mode, c) the neutron source strength and fluence for 18X-FFF is smaller than 18X-FF, but it is not of a concern here, no 18X-FFF-mode is available on the linac under investigation. Results: These barrier thickness are smaller (12% reduction on the average) than those computed for conventional FF mode with same realistic primary workload since, the primary TVLs used here are smaller and the WL is smaller than the conventional (almost half reduced), keeping the TADR in tolerance. Conclusions: A comprehensive method for shielding barrier calculations based on dedicated data for FFF-mode linacs is highly desired. Meanwhile, we provide an extension to NCRP#151 to accommodate the shielding design of such installations. It is also shown that if a vault is already designed for IMRT/VMAT and SABR hypofractionated treatments with FFF-mode linac, the vault can also be used for a FFF mode linac replacement, leaving some leeway for slightly higher workload on the FFF linac.

61 RADIATION PROTECTION AND DOSIMETRY↗

SU-F-T-22: Clinical Implications When Using TG-186 (ACE) Heterogeneity Software

Purpose: The purpose of this study is to compare dosimetric calculations using traditional TG-43 formalism and Oncentra Brachy Advanced Collapsed cone Engine (ACE) TG-186 calculation algorithm in clinical setting. Methods: We analyzed dosimetry of four patients treated with accelerated partial breast irradiation using a multi-channel intracavitary device (SAVI). All patients were treated to 34 Gy in 10 fractions using a high-dose-rate (192) Ir source. The plans were designed and treated using the TG-43 model. ACE was used to assess the effect heterogeneity correction on various dosimetric parameters. Mass density was estimated using Hounsfield units. Results: Compared to TG-43 formalism, ACE estimated lower doses to targets and organs at risk. The mean difference was 19.8% (range 15.3–24.1%) for PTV-eval V200, 12.0% (range 9.7–17.7%) for PTV-eval V150, 4.3% (range 3.3–6.5%) for PTV-eval D95, 3.3% (range 1.4–5.4%) for PTV-eval D90, 5.4% (range 2.9–9.9%) for maximum rib dose, and 5.7% (2.4–7.4%) for maximum skin dose. There was no correlation between the magnitude of the difference and the PTV-eval volume, air volume, or tissue-applicator conformance. Conclusion: Based on our preliminary study, the TG-43 algorithm appears to overestimate the dose to targets and organs at risk when compared to the ACE TG-186 software. We hypothesize that air adjacent to the SAVI struts contributes to lack of scatter thereby contributing a significant difference in dose calculation when using ACE. We believe that ACE calculation provides a more realistic isodose distribution than TG-43. We plan to further investigate the impact of heterogeneity correction on brachytherapy planning for a wide variety of clinical scenarios, include skin, cervix/uterus, prostate, and lung.

60 APPLIED LIFE SCIENCES↗

Investigation of finite-volume methods to capture shocks and turbulence spectra in compressible flows

The aim of the present paper is to provide a comparison between several finite-volume methods of different numerical accuracy: the second-order Godunov method with PPM interpolation and the high-order finite-volume WENO method. In this work, the results show that while on a smooth problem the high-order method performs better than the second-order one, when the solution contains a shock all the methods collapse to first-order accuracy. In the context of the decay of compressible homogeneous isotropic turbulence with shocklets, the actual overall order of accuracy of the methods reduces to second-order, despite the use of fifth-order reconstruction schemes at cell interfaces. Most important, results in terms of turbulent spectra are similar regardless of the numerical methods employed, except that the PPM method fails to provide an accurate representation in the high-frequency range of the spectra. It is found that this specific issue comes from the slope-limiting procedure and a novel hybrid PPM/WENO method is developed that has the ability to capture the turbulent spectra with the accuracy of a high-order method, but at the cost of the second-order Godunov method. Overall, it is shown that virtually the same physical solution can be obtained much faster by refining a simulation with the second-order method and carefully chosen numerical procedures, rather than running a coarse high-order simulation. Our results demonstrate the importance of evaluating the accuracy of a numerical method in terms of its actual spectral dissipation and dispersion properties on mixed smooth/shock cases, rather than by the theoretical formal order of convergence rate.

97 MATHEMATICS AND COMPUTING↗

SU-E-T-517: Analytic Formalism to Compute in Real Time Dose Distributions Delivered by HDR Units

Purpose: Develop an analytical algorithm to compute the dose delivered by Ir-192 dwell positions with high accuracy using the 3-dimensional (3D) dose distribution of an HDR source. Using our analytical function, the dose delivered by an HDR unit as treatment progresses can be determined using the actual delivered temporal and positional data of each individual dwell. Consequently, true delivered dose can be computed when each catheter becomes active. We hypothesize that the knowledge of such analytical formulation will allow developing HDR systems with a real time treatment evaluation tool to avoid mistreatments. Methods: In our analytic formulation, the dose is computed by using the full anisotropic function data of the TG 43 formalism with 3D ellipsoidal function. The discrepancy between the planned dose and the delivered dose is computed using an analytic perturbation method over the initial dose distribution. This methodology speeds up the computation because only changes in dose discrepancies originated by spatial and temporal deviations are computed. A dose difference map at the point of interest is obtained from these functions and this difference can be shown during treatment in real time to examine the treatment accuracy. Results: We determine the analytical solution and a perturbation function for the 3 translational 3 rotational, and 1D temporal errors in source distributions. The analytic formulation is a sequence of simple equations that can be processed in any modern computer in few seconds. Because computations are based in an analytical solution, small deviations of the dose when sub-millimeter positional changes occur can be detected. Conclusions: We formulated an analytical method to compute 4D dose distributions and dose differences based on an analytical solution and perturbations to the original dose. This method is highly accurate and can be.

60 APPLIED LIFE SCIENCES↗

Stability of stationary barotropic modons by Lyapunov's direct method

A new Liapunov stability condition is formulated for the shallow-water equations, using a gage-variable formalism. This sufficient condition is derived for the class of perturbations that conserve the total mass. It is weaker than existing stability criteria, i.e., it applies to a wider class of flows. Formal stability to infinitesimally small perturbations of arbitrary shape is obtained for two classes of large-scale geophysical flows: pseudo-eastward flow with constant shear, and localized coherent structures of modon type.

Sakuma, H.↗

Excited states via coupled cluster theory without equation-of-motion methods: Seeking higher roots with application to doubly excited states and double core hole states

Here, in this work, we revisited the idea of using the coupled-cluster (CC) ground state formalism to target excited states. Our main focus was targeting doubly excited states and double core hole states. Typical equation-of-motion (EOM) approaches for obtaining these states struggle without higher-order excitations than doubles. We showed that by using a non-Aufbau determinant optimized via the maximum overlap method, the CC ground state solver can target higher energy states. Furthermore, just with singles and doubles (i.e., CCSD), we demonstrated that the accuracy of ΔCCSD and ΔCCSD(T) (triples) far surpasses that of EOM-CCSD for doubly excited states. The accuracy of ΔCCSD(T) is nearly exact for doubly excited states considered in this work. For double core hole states, we used an improved ansatz for greater numerical stability by freezing core hole orbitals. The improved methods, core valence separation (CVS)-ΔCCSD and CVS-ΔCCSD(T), were applied to the calculation of the double ionization potential of small molecules. Even without relativistic corrections, we observed qualitatively accurate results with CVS-ΔCCSD and CVS-ΔCCSD(T). Remaining challenges in ΔCC include the description of open-shell singlet excited states with the single-reference CC ground state formalism as well as excited states with genuine multireference character. The tools and intuition developed in this work may serve as a stepping stone toward directly targeting arbitrary excited states using ground state CC methods.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

A Hybrid Finite Element Method for Axisymmetric Waveguide fed Horns

A new method for finding radiation patterns and the reflection coefficients associated with an axisymmetric waveguide fed horn is presented. The approach is based on a hybrid finite element method (FEM) wherein the electromagnetic fields in the FEM region are coupled to the fields outside by two surface integral equations. Because of the local nature of the FEM, this formalism allows for the presence of inhomogeneities to be included in the problem domain. The matrix equation which results from the application of this method is shown to be complex-symmetric. It is, furthermore, diagonally dominant and sparse. Comparisons of calculated and measured data for two different horns show good agreement.

Hybrid↗

On decoupling the integrals of cosmological perturbation theory

ABSTRACT Perturbation theory (PT) is often used to model statistical observables capturing the translation and rotation-invariant information in cosmological density fields. PT produces higher order corrections by integration over linear statistics of the density fields weighted by kernels resulting from recursive solution of the fluid equations. These integrals quickly become high dimensional and naively require increasing computational resources the higher the order of the corrections. Here, we show how to decouple the integrands that often produce this issue, enabling PT corrections to be computed as a sum of products of independent 1D integrals. Our approach is related to a commonly used method for calculating multiloop Feynman integrals in quantum field theory, the Gegenbauer Polynomial x-Space Technique. We explicitly reduce the three terms entering the 2-loop power spectrum, formally requiring 9D integrations, to sums over successive 1D radial integrals. These 1D integrals can further be performed as convolutions, rendering the scaling of this method Nglog Ng with Ng the number of grid points used for each fast Fourier transform. This method should be highly enabling for upcoming large-scale structure redshift surveys where model predictions at an enormous number of cosmological parameter combinations will be required by Monte Carlo Markov Chain searches for the best-fitting values.

Slepian, Zachary↗

The ReaxFF reactive force-field: Development, applications, and future directions

The reactive force-field (ReaxFF) interatomic potential is a powerful computational tool for exploring, developing and optimizing material properties. Methods based on the principles of quantum mechanics (QM), while offering valuable theoretical guidance at the electronic level, are often too computationally intense for simulations that consider the full dynamic evolution of a system. Alternatively, empirical interatomic potentials that are based on classical principles require significantly fewer computational resources, which enables simulations to better describe dynamic processes over longer timeframes and on larger scales. Such methods, however, typically require a predefined connectivity between atoms, precluding simulations that involve reactive events. The ReaxFF method was developed to help bridge this gap. Approaching the gap from the classical side, ReaxFF casts the empirical interatomic potential within a bond-order formalism, thus implicitly describing chemical bonding without expensive QM calculations. As a result, this article provides an overview of the development, application, and future directions of the ReaxFF method.

97 MATHEMATICS AND COMPUTING↗

Theoretical description of proton-deuteron interactions using exact two-body dynamics of the femtoscopic correlation method

Modeling proton-deuteron interactions is particularly challenging. Due the deuteron's large size, the interaction can extend over several femtometers. The degree to which it can be modeled as a two-body problem might also be questioned. One way to study these interactions is through femtoscopic correlation measurements of particle pairs, extracting information using available theoretical models. In this work, we examine two approaches for describing proton-deuteron correlations: the Lednický-Lyuboshits formalism and full numerical solutions of the Schrödinger equation. Here, our results show that the differences between these methods are significant. Furthermore, we demonstrate that incorporating higher-order partial waves—particularly the p wave—is essential for accurately capturing the dynamics of proton–deuteron interactions and the full potential of the strong force.

Nucleon induced nuclear reactions↗

Designing open quantum systems with known steady states: Davies generators and beyond

We provide a systematic framework for constructing generic models of nonequilibrium quantum dynamics with a target stationary (mixed) state. Our framework identifies (almost) all combinations of Hamiltonian and dissipative dynamics that relax to a steady state of interest, generalizing the Davies’ generator for dissipative relaxation at finite temperature to nonequilibrium dynamics targeting arbitrary stationary states. We focus on Gibbs states of stabilizer Hamiltonians, identifying local Lindbladians compatible therewith by constraining the rates of dissipative and unitary processes. Moreover, given terms in the Lindbladian not compatible with the target state, our formalism identifies the operations – including syndrome measurements and local feedback – one must apply to correct these errors. Our methods also reveal new models of quantum dynamics: for example, we provide a “measurement-induced phase transition” in which measurable two-point functions exhibit critical (power-law) scaling with distance at a critical ratio of the transverse field and rate of measurement and feedback. Time-reversal symmetry – defined naturally within our formalism – can be broken both in effectively classical and intrinsically quantum ways. Our framework provides a systematic starting point for exploring the landscape of dynamical universality classes in open quantum systems, as well as identifying new protocols for quantum error correction.

Guo, Jinkang [Department of Physics and Center for↗

Toward unbiased determination of the redshift evolution of Lyman-alpha forest clouds

The possibility of using D(sub A), the mean depression of a quasar spectrum due to Ly-alpha forest absorption, to study the number density evolution of the Ly-alpha forest clouds is examined in some detail. Current D(sub A) measurements are made against a continuum that is a power-law extrapolation from the continuum longward of Ly-alpha emission. Compared to the line-counting approach, the D(sub A)-method has the advantage that the D(sub A) measurements are not affected by line-blending effects. However, we find using low-redshift quasar spectra obtained with the Hubble Space Telescope (HST), where the true continuum in the Ly-alpha forest can be estimated fairly reliably because of the much lower density of the Ly-alpha forest lines, that the extrapolated continuum often deviates systematically from the true continuum in the forest region. Such systematic continuum errors introduce large errors in the D(sub A) measurements. The current D(sub A) measurements may also be significantly biased by the possible presence of the Gunn-Peterson absorption. We propose a modification to the existing D(sub A)-method, namely, to measure D(sub A) against a locally established continuum in the Ly-alpha forest. Under conditions that the quasar spectrum has good resolution and S/N to allow for a reliable estimate of the local continuum in the Ly-alpha forest, the modified D(sub A) measurements should be largely free of the systematic uncertainties suffered by the existing D(sub A) measurements. We also introduce a formalism based on the work of Zuo (1993) to simplify the application of the D(sub A)-method(s) to real data. We discuss the merits and limitations of the modified D(sub A)-method, and conclude that it is a useful alternative. Our findings that the extrapolated continuum from longward of Ly-alpha emission often deviates systematically from the true continuum in the Ly-alpha forest present a major problem in the study of the Gunn-Peterson absorption.

Lu, Limin↗

Nonadiabatic molecular dynamics with decoherence and detailed balance under a density matrix ensemble formalism

The mixed quantum-classical nonadiabatic molecular dynamics (NAMD) is a powerful tool to study many phenomena, especially ultrafast carrier transport and cooling. Carrier decoherence and detailed balance are two major issues in NAMD. So far, there is no computationally inexpensive approach to incorporate both effects. While the decoherence effect can be easily included in the state density matrix formalism and the detailed balance can be included in surface hopping or the wave function collapse approach, it is difficult to include both of them in a unified formalism. In this work we introduce a state density matrix formalism (referred to as P-matrix) including both the decoherence and detailed balance effects for NAMD. This method is able to explicitly treat the decoherence between different pairs of adiabatic states. Moreover, the off-diagonal density matrix elements are divided into two parts, corresponding to energy-increasing and energy-decreasing transitions. The detailed balance is then enforced by a Boltzmann factor applied to the energy-increasing transition part. The P-matrix formalism is applied to study hot-hole cooling and transfer processes in Si quantum dot (QD) systems. The calculated hot-carrier relaxation time is consistent with experiments. In a QD-pair system, the hot-hole cooling time shows weak dependence on the QD spacing. However, the hot-carrier transfer rate from one QD to another is found to decrease exponentially with the QD-QD distance. When the QD spacing is small ( ~ 1 nm), the hot-carrier transfer can be very efficient. It is also shown that the explicit treatment of decoherence time is important in order to treat this hot-carrier transfer correctly.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

P -wave π π scattering and the ρ resonance from lattice QCD

Here we calculate the parameters describing elastic I = 1, P-wave ππ scattering using lattice QCD with 2 +1 flavors of clover fermions. Our calculation is performed with a pion mass of m π ≈ 320 MeV and a lattice size of L ≈ 3.6 fm. We construct the two-point correlation matrices with both quark-antiquark and two-hadron interpolating fields using a combination of smeared forward, sequential and stochastic propagators. The spectra in all relevant irreducible representations for total momenta |$\vec{P}$| ≤ $\sqrt{3}\frac{2π}{L}$ are extracted with two alternative methods: a variational analysis as well as multiexponential matrix fits. We perform an analysis using Lüscher’s formalism for the energies below the inelastic thresholds, and investigate several phase shift models, including possible nonresonant contributions. We find that our data are well described by the minimal Breit-Wigner form, with no statistically significant nonresonant component. In determining the ρ resonance mass and coupling we compare two different approaches: fitting the individually extracted phase shifts versus fitting the t-matrix model directly to the energy spectrum. We find that both methods give consistent results, and at a pion mass of am π = 0.18295 (36) stat obtain gρππ = 5.69(13) stat (16) sys , am ρ = 0.4609(16) stat (14) sys , and am ρ /am N = 0.7476(38) stat (23) sys , where the first uncertainty is statistical and the second is the systematic uncertainty due to the choice of fit ranges.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗