Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal analysis”

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 865 records · Page 48
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

Sensitivity Analysis for Atmospheric Infrared Sounder (AIRS) CO2 Retrieval

The Atmospheric Infrared Sounder (AIRS) is a thermal infrared sensor able to retrieve the daily atmospheric state globally for clear as well as partially cloudy field-of-views. The AIRS spectrometer has 2378 channels sensing from 15.4 micrometers to 3.7 micrometers, of which a small subset in the 15 micrometers region has been selected, to date, for CO2 retrieval. To improve upon the current retrieval method, we extended the retrieval calculations to include a prior estimate component and developed a channel ranking system to optimize the channels and number of channels used. The channel ranking system uses a mathematical formalism to rapidly process and assess the retrieval potential of large numbers of channels. Implementing this system, we identifed a larger optimized subset of AIRS channels that can decrease retrieval errors and minimize the overall sensitivity to other iridescent contributors, such as water vapor, ozone, and atmospheric temperature. This methodology selects channels globally by accounting for the latitudinal, longitudinal, and seasonal dependencies of the subset. The new methodology increases accuracy in AIRS CO2 as well as other retrievals and enables the extension of retrieved CO2 vertical profiles to altitudes ranging from the lower troposphere to upper stratosphere. The extended retrieval method for CO2 vertical profile estimation using a maximum-likelihood estimation method. We use model data to demonstrate the beneficial impact of the extended retrieval method using the new channel ranking system on CO2 retrieval.

sensitivity analysis↗
DOE OSTI2020

Near-axis expansion of stellarator equilibrium at arbitrary order in the distance to the axis

A direct construction of equilibrium magnetic fields with toroidal topology at arbitrary order in the distance from the magnetic axis is carried out, yielding an analytical framework able to explore the landscape of possible magnetic flux surfaces in the vicinity of the axis. This framework can provide meaningful analytical insight into the character of high-aspect-ratio stellarator shapes, such as the dependence of the rotational transform and the plasma beta limit on geometrical properties of the resulting flux surfaces. The approach developed here is based on an asymptotic expansion on the inverse aspect ratio of the ideal magnetohydrodynamics equation. The analysis is simplified by using an orthogonal coordinate system relative to the Frenet–Serret frame at the magnetic axis. The magnetic field vector, the toroidal magnetic flux, the current density, the field line label and the rotational transform are derived at arbitrary order in the expansion parameter. Moreover, a comparison with a near-axis expansion formalism employing an inverse coordinate method based on Boozer coordinates (the so-called Garren–Boozer construction) is made, where both methods are shown to agree at lowest order. Finally, as a practical example, a numerical solution using a W7-X equilibrium is presented, and a comparison between the lowest-order solution and the W7-X magnetic field is performed.

Physics↗
DOE OSTI2023

Bi-Kappa Proton Mirror and Cyclotron Instabilities in the Solar Wind

Abstract The charged particles in the solar wind are often observed to possess a nonthermal tail in the velocity distribution function, a feature that can be fitted with the Kappa model. The anisotropic, or bi-Kappa, model of protons, electrons, and other charged particles is thus adopted in the literature for interpreting the data as well as in the context of the analysis of wave–particle interactions. The present paper develops an approximate but efficient theory of the mirror and cyclotron instabilities excited by the bi-Kappa protons in the solar wind. A velocity moment-based quasi-linear theory of these instabilities is also formulated in order to investigate the saturation behavior. Applications of the formalism are made for instabilities close to the marginally unstable state, which is typical of the solar wind near 1 au.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1981

On making things the best - Aeronautical uses of optimization /Wright Bros. lecture/

The paper's purpose is to summarize and evaluate the results of an investigation into the degree to which formal optimization methods have contributed practically to the design and operation of atmospheric flight vehicles. The nature of this technology is reviewed and illustrated with simple structural examples. A series of published successful applications is described, from the fields of aerodynamics, structures, guidance and control, optimal trajectories and vehicle configuration optimization. The corresponding improvements over conventional analysis are assessed. Speculations are offered as to why these tools have made such little headway toward acceptance by designers. The growing need for their use in the future is explained; they hold out an unparalleled opportunity for improved efficiencies.

Ashley, H.↗
NASA NTRS1995

Discrete-time Markovian stochastic Petri nets

We revisit and extend the original definition of discrete-time stochastic Petri nets, by allowing the firing times to have a 'defective discrete phase distribution'. We show that this formalism still corresponds to an underlying discrete-time Markov chain. The structure of the state for this process describes both the marking of the Petri net and the phase of the firing time for each transition, resulting in a large state space. We then modify the well-known power method to perform a transient analysis even when the state space is infinite, subject to the condition that only a finite number of states can be reached in a finite amount of time. Since the memory requirements might still be excessive, we suggest a bounding technique based on truncation.

Ciardo, Gianfranco↗
DOE OSTI2021

Tuning valley degeneracy with band inversion

Valley degeneracy is a key feature of the electronic structure that benefits the thermoelectric performance of a material. Despite recent studies which claim that high valley degeneracy can be achieved with inverted bands, our analysis of rock-salt IV–VI compounds using first-principles calculations and k•p perturbation theory demonstrates that mere band inversion is an insufficient condition for high valley degeneracy; rather, there is a critical degree to which the bands must be inverted to induce multiple carrier pockets. The so-called “band inversion parameter” is formalized as a chemically-tunable property, offering a design route to achieving high valley degeneracy in compounds with inverted bands. In conclusion, we predict that the valley degeneracy of rock-salt IV–VI compounds can be increased from N V = 4 to N V = 24, which could result in a corresponding increase in the thermoelectric figure of merit zT .

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

Analytic Gaussian covariance matrices for galaxy N-point correlation functions

Here, we derive analytic covariance matrices for the N-point correlation functions (NPCFs) of galaxies in the Gaussian limit. Our results are given for arbitrary N and projected onto the isotropic basis functions given by spherical harmonics and Wigner 3j symbols. A numerical implementation of the 4PCF covariance is compared to the sample covariance obtained from a set of lognormal simulations, Quijote dark matter halo catalogues, and MultiDark-Patchy galaxy mocks, with the latter including realistic survey geometry. The analytic formalism gives reasonable predictions for the covariances estimated from mock simulations with a periodic-box geometry. Furthermore, fitting for an effective volume and number density by maximizing a likelihood based on Kullback-Leibler divergence is shown to partially compensate for the effects of a nonuniform window function. Our result is recently shown to facilitate NPCF analysis on a realistic survey data.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1980

A note on sound radiation into a uniformly flowing fluid

Sound radiation generated by mechanical or vibratory source arrangements and, in some instances of planar or piston types, encompasses all magnitudes of the wavelength or frequency as well as disposition of the observation site. The comparative increase in average total radiated power from infinitesimally small or point sources of periodic strength, on passing from rest to steady rectilinear motion, depends only on Mach number in the noncompact case; and a formally analogous rise in output is linked, to the presence of a steady parallel flow past a rigid plane wall in which a compact circular piston executes normal oscillations. The perspective of effects connected with such a background is flow is widened by regard for an elongated or strip piston, which prototype permits a straightforward and general analysis.

Levine, H.↗
NASA NTRS1992

Topological variation in the magnetic field line at the dayside magnetopause

This paper uses normal mode analysis to examine topological changes in magnetic field lines at the magnetopause. For a modified Harris sheet, the normal modes include a symmetric solution (tearing mode) and an antisymmetric solution (twisting mode). Both modes form flux ropes. The tearing mode in the presence of shear flow is studied. By modeling the external region plasma with drift kinetic formalism, the growth rate of the tearing mode is found to be reduced by shear flow. On the other hand, the shear flow generates a Kelvin-Helmholtz instability which makes the magnetic field perturbation a twisting mode structure. When magnetopause parameters are used, it is difficult to induce a tearing mode in the presence of shear flow, though a shear flow twisting mode did grow under these conditions.

Wang, Zhi↗
NASA NTRS1972

Lagrangian methods in the analysis of nonlinear wave interactions in plasma

An averaged-Lagrangian method is developed for obtaining the equations which describe the nonlinear interactions of the wave (oscillatory) and background (nonoscillatory) components which comprise a continuous medium. The method applies to monochromatic waves in any continuous medium that can be described by a Lagrangian density, but is demonstrated in the context of plasma physics. The theory is presented in a more general and unified form by way of a new averaged-Lagrangian formalism which simplifies the perturbation ordering procedure. Earlier theory is extended to deal with a medium distributed in velocity space and to account for the interaction of the background with the waves. The analytic steps are systematized, so as to maximize calculational efficiency. An assessment of the applicability and limitations of the method shows that it has some definite advantages over other approaches in efficiency and versatility.

Galloway, J. J.↗
DOE OSTI2026

ϕ → 3 π and ϕ π 0 transition form factor from Khuri-Treiman equations

This work studies the ϕ → 3 π decay and the ϕ → π 0 γ * transition form factor, utilizing the Khuri-Treiman formalism to account for analyticity, crossing, and unitarity. Using once-subtracted dispersion relations, we perform a simultaneous fit to the ϕ → 3 π Dalitz plot distribution and the ϕ → π 0 γ * measurements from the KLOE collaboration, finding good agreement with these experimental data. These results reaffirm the applicability of the Khuri-Treiman approach in the analysis of three-body decays. An interesting result is that the subtraction constant appearing in the equations is similar to a sum rule expectation, in contrast to analogous studies of ω → 3 π decays and ω → π 0 γ * , which shows significant deviations. Our results also provide a reasonable description of the trend of the transition form factor data from in the e + e − → ϕ π 0 scattering region. These intriguing theoretical differences between the decays of ϕ and ω could encourage further experimental measurements to assess the discrepancies and refine the theoretical predictions.

Lorenzo, A. G. [Instituto de Física Corpuscular; U↗
NASA NTRS2012

An Iterated Global Mascon Solution with Focus on Land Ice Mass Evolution

Land ice mass evolution is determined from a new GRACE global mascon solution. The solution is estimated directly from the reduction of the inter-satellite K-band range rate observations taking into account the full noise covariance, and formally iterating the solution. The new solution increases signal recovery while reducing the GRACE KBRR observation residuals. The mascons are estimated with 10-day and 1-arc-degree equal area sampling, applying anisotropic constraints for enhanced temporal and spatial resolution of the recovered land ice signal. The details of the solution are presented including error and resolution analysis. An Ensemble Empirical Mode Decomposition (EEMD) adaptive filter is applied to the mascon solution time series to compute timing of balance seasons and annual mass balances. The details and causes of the spatial and temporal variability of the land ice regions studied are discussed.

Luthcke, S. B.↗
NASA NTRS2014

An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers

This paper proposes a mathematical definition of an aircraft-separation criterion for kinematic-based horizontal maneuvers. It has been formally proved that kinematic maneu- vers that satisfy the new criterion are independent and coordinated for repulsiveness, i.e., the distance at closest point of approach increases whether one or both aircraft maneuver according to the criterion. The proposed criterion is currently used in NASA's Airborne Coordinated Resolution and Detection (ACCoRD) set of tools for the design and analysis of separation assurance systems.

Narkawicz, Anthony J.↗
NASA NTRSDate not supplied

Understanding the Impact of Unobservable Variables on the Performance of Predictive Models: The Need for Feature Space Partitioning and Fusion

When developing predictive models over a dataset, the model is globally optimized across the entire feature space to learn a decision boundary. However, when unobservable variables—which cannot be measured or estimated—interact with the observable variables, this can negatively impact the optimization applied to the decision boundary since the data samples introduced by unobservable variables may have little to no association with the applied global optimization. This, consequently, penalizes the entire decision boundary and model performance. This paper examines some of the detrimental effects of unobservable variables, particularly their role in creating new modes in the distribution of observable variables and reducing the separability of class distributions. Such challenges result in skewed or warped decision boundaries and decreased accuracy of model predictions, particularly for interpretable models like logistic regression and decision trees. Through two illustrative case examples, we highlight the need to address the challenges imposed by unobservable variables. We propose a strategy to mitigate these challenges by creating local regions within the feature space through partitioning. This enables the optimization of local models within the regions to overcome the impact of unobservability in different feature space localities. Research into a more sophisticated partitioning strategy and where the partition should be relative to the sample of interest is left as future work. Through the analysis of the impact of unobservability and the development of a partitioning method, we demonstrate the clear need for a partitioning strategy that integrates knowledge from multiple local models to estimate risk factors using information fusion. Thus, we establish the foundation and motivation for using partitioning and information fusion to overcome the effects of unobservability in predictive models. Formal fusion methods, such as Dempster-Shafer theory, can better leverage the information from local regions to improve the performance of interpretable predictive models in the presence of unobservable variables.

Time Series Data↗
NASA NTRS1996

The Implications of ACTS Technology on the Requirements of Rain Attenuation Modeling for Communication System Specification and Analysis at 30/20 GHz and Beyond

The advent of the use of the Ka-Band for space communications, coupled with the introduction of digital modulation techniques as well as multiple-beam methodology for satellites, has deemed it necessary to reassess the plethora of rain attenuation prediction models in use. The Advanced Communication Technology Satellite (ACTS) Project, undertaken by the National Aeronautics and Space Administration in 1983, offered such challenges to rain attenuation prediction modeling. Up to 1983, no such single modeling formalism existed that could fill such requirements. Not even the work done by the NASA Propagation Experimenters (NAPEX) Group had envisioned such requirements, so no dynamic Ka-Band data existed from which one could draw conclusions. In this paper, the basic rudiments of what has become to be known as the 'ACTS Rain Attenuation Prediction Model' will be presented. The concept of rain fade mitigation control availability will be introduced. A new evaluation is then presented for the performance of satellite communication systems, in particular, those to be operating within the Ka-Band and above, that will necessarily employ some type of dynamic rain fade mitigation procedure.

Manning, Robert M.↗
DOE OSTI2025

Classical Non-Markovian Noise in Symmetry-Preserving Quantum Dynamics

In quantum dynamics, symmetries are vital for identifying and assessing conserved quantities that govern the evolution of a quantum system. When promoted to the open quantum system setting, dynamical symmetries can be negatively altered by system-environment interactions, thus, complicating their analysis. Previous work on noisy symmetric quantum dynamics has focused on the Markovian setting, despite the ubiquity of non-Markovian noise in a number of widely used quantum technologies. Here, in this Letter, we develop a framework for quantifying the impact of non-Markovian noise on symmetric quantum evolution via root space decompositions and the filter function formalism. We demonstrate analytically that symmetry-preserving noise maintains the symmetric subspace, while nonsymmetric noise leads to highly specific leakage errors that are block diagonal in the symmetry representation. We support our findings with numerical studies of a transverse-field Ising model and a quantum error detecting code subject to spatiotemporally correlated multiaxis noise. Our results are broadly applicable, providing new analytic insights into the control and characterization of open quantum system dynamics.

decoherence↗
NASA NTRS1987

The implementation and use of Ada on distributed systems with high reliability requirements

A preliminary analysis of the Ada implementation of the Advanced Transport Operating System (ATOPS), an experimental computer control system developed at NASA Langley for a modified Boeing 737 aircraft, is presented. The criteria that was determined for the evaluation of this approach is described. A preliminary version of the requirements for the ATOPS is contained. This requirements specification is not a formal document, but rather a description of certain aspects of the ATOPS system at a level of detail that best suits the needs of the research. The survey of backward error recovery techniques is also presented.

Knight, J. C.↗
NASA NTRS1987

Theoretical spectroscopic parameters for the low-lying states of the second-row transition metal hydrides

A systematic analysis of the low-lying states of all of the second-row transition metal (TM) hydrides except CdH is reported. The calculations included the dominant relativistic contributions through the use of the relativistic effective core potentials of Hay and Wadt (1985). Electron correlation was incorporated, using single-plus-double configuration interaction, the coupled pair functional (CPF) formalism of Ahlrichs et al. (1985), and the Chong and Langhoff (1986) modified version of the CPF method. The spectroscopic parameters D(e), r(e), and mu(e) determined for the low-lying states are compared with the available experimental data and previous theoretical results. In contrast to the first-row TM hydrides studied earlier (Chong et al., 1986), the spectroscopic constants for the second-row TM hydrides were found to be much less sensitive to the level of correlation treatment.

Langhoff, Stephen R.↗