Search NASA⌕ Search

SEARCH · Search NASA

Results for “Set theory”

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 325 records · Page 18

The containment set approach to upsets in digital systems

An approach to the fault analysis of digital systems is proposed which combines faults, hardware, and software into one overall model. The model is useful for the consideration of intermittent/transient faults, and supports a new method, based on the concept of a containment set, for realizing transient fault tolerance without massive redundancy. The model also serves as the basis for a new approach to system fault tolerance evaluation and validation using a transition matrix defined in terms of the containment set. The application of upset theory to the design of transient fault-tolerant microprocessor controllers is discussed.

Glaser, R. E.↗

Population Control of Self-Replicating Systems: Option C

From the conception and development of the theory of self-replicating automata by John von Neumann, others have expanded on his theories. In 1980, Georg von Tiesenhausen and Wesley A. Darbro developed a report which is a "first' in presenting the theories in a conceptualized engineering setting. In that report several options involving self-replicating systems are presented. One of the options allows each primary to generate n replicas, one in each sequential time frame after its own generation. Each replica is limited to a maximum of m ancestors. This study involves determining the state vector of the replicas in an efficient manner. The problem is cast in matrix notation, where F = fij is a non-diagonalizable matrix. Any element fij represents the number of elements of type j = (c,d) in time frame k+1 generated from type i = (a,b) in time frame k. It is then shown that the state vector is: bar F(k)=bar F (non-zero) X F sub K = bar F (non-zero) xmx J sub kx m sub-1 where J is a matrix in Jordan form having the same eigenvalues as F. M is a matrix composed of the eigenvectors and the generalized eigenvectors of F.

Mccord, R. L.↗

Nonlinear adhesive behavior effects in a cracked orthotropic sheet stiffened by a semi-infinite orthotropic sheet

The stress-intensity factors are determined for a cracked orthotropic sheet adhesively bonded to an orthotropic stringer where the adhesive layer is modeled with a nonlinear stress-strain curve. By the use of Green's functions and the complex variable theory of orthotropic elasticity, a set of integral equations is obtained. The integral equations are replaced by an equivalent set of algebraic equations, which are solved to obtain the shear stress distribution in the adhesive layer, with which the crack-tip stress-intensity factors are found. When the adhesive was modeled with a nonlinear stress-strain curve, the peak shear stresses in the adhesive were considerably reduced in comparison to the solution for the linear elastic adhesive. This resulted in increases in the stress-intensity factors for the nonlinear adhesive solution compared to the linear adhesive solution. The nonlinear adhesive has no significant effect on the stress-intensity factor unless the near crack tip is beneath the stringer. It is assumed that the adhesive bond remains intact and it is predicted that onset of adhesive failure occurs at decreasing levels of applied stress as the crack propagates beneath the stringer.

Bigelow, C. A.↗

Nonlinear adhesive behavior effects in a cracked orthotropic sheet stiffened by a semi-infinite orthotropic sheet

The stress-intensity factors are determined for a cracked orthotropic sheet adhesively bonded to an orthotropic stringer where the adhesive layer is modeled with a nonlinear stress-strain curve. By the use of Green's functions and the complex variable theory of orthotropic elasticity, a set of integral equations is obtained. The integral equations are replaced by an equivalent set of algebraic equations, which are solved to obtain the shear stress distribution in the adhesive layer, with which the crack-tip stress-intensity factors are found. When the adhesive was modeled with a nonlinear stress-strain curve, the peak shear stresses in the adhesive were considerably reduced in comparison to the solution for the linear elastic adhesive. This resulted in increases in the stress-intensity factors for the nonlinear adhesive solution compared to the linear adhesive solution. The nonlinear adhesive has no significant effect on the stress-intensity factor unless the near crack tip is beneath the stringer. It is assumed that the adhesive bond remains intact and it is predicted that onset of adhesive failure occurs at decreasing levels of applied stress as the crack propagates beneath the stringer.

Bigelow, C. A.↗

ECR plasma thruster research - Preliminary theory and experiments

A preliminary theory of the operation of the electron-cyclotron-resonance (ECR) plasma thruster is described along with an outline of recent experiments. This work is presented to communicate the status of an ongoing research effort directed at developing a unified theory to quantitatively describe the operation of the ECR plasma thruster. The theory is presented as a set of nonlinear ordinary differential equations and boundary conditions which describe the plasma density, velocity, and electron temperature. Diagnostic tools developed to measure plasma conditions in the existing research device are described.

Sercel, Joel C.↗

An LQR controller design approach for a Large Gap Magnetic Suspension System (LGMSS)

Two control approaches for a Large Gap Magnetic Suspension System (LGMSS) are investigated and numerical results are presented. The approaches are based on Linear Quadratic Regulator (LQR) control theory and include a nonzero set point regulator with constant disturbance input and an integral feedback regulator. The LGMSS provides five degree of freedom control of a cylindrical suspended element which is composed of permanent magnet material. The magnetic actuators are air core electromagnets mounted in a planar way.

Groom, Nelson J.↗

Theoretical study of the bonding of the first- and second-row transition-metal positive ions to methylene

The geometries of the molecules formed by the interaction of the first- and second-row transition-metal cations with methylene are optimized at the modified coupled-pair functional (MCPF) level of theory using large Gaussian basis sets, and their dissociation energies are computed employing both the MCPF and internally contracted averaged coupled-pair functional (ICACPF) methods. The computed binding energies are generally in good agreement with the available experimental results, although the calculations indicate that the experimental values for ScCH2(+), TiCH2(+), and NbCH2(+) are probably too large. The nature of the bonding in each case and trends in the bonding patterns across the transition-metal rows are discussed.

Bauschlicher, Charles W., Jr.↗

A method for calculating the lift and center of pressure of wing-body-tail combinations at subsonic, transonic, and supersonic speeds

A method is presented for calculating the lift and pitching-moment characteristics of circular cylindrical bodies in combination with triangular, rectangular, or trapezoidal wings or tails through the subsonic, transonic, and supersonic speed ranges. The method covers unbanked wings, sweptback leading edges or sweptforward trailing edges, low angles of attack, and the effects of wing and tail incidence. The wing-body interference is handled by the method presented in NACA RM's A51J04 and A52B06, and the wing-tail interference is treated by assuming one completely rolled-up vortex per wing panel and evaluating the tail load by strip theory. A computing table and set of design charts are presented which reduce the calculations to routine operations. Comparison is made between the estimated and experimental characteristics for a large number of wing-body and wing-body-tail combinations. Generally speaking, the lifts were estimated to within plus-or-minus 10 percent and the centers of pressure were estimated to within plus-or-minus 0.02 of the body length. The effect of wing deflection on wing-tail interference at supersonic speeds was not correctly predicted for triangular wings with supersonic leading edges.

Nielsen, Jack N↗

Accurate Heats of Formation for SFn, SFn+, and SFn- for n=1-6

Accurate heats of formation are computed for SFn, SFn+, and SFn-, for n=1-6. The geometries and vibrational frequencies are determined at the B3LY-P level of theory. The energetics are determined at the CCSD(T) level of theory. Extrapolation to the basis set limit is discussed. The temperature dependence of the heat of formation, heat capacity, and entropy are computed for the temperature range 300 to 4000 approx. K and fit to a polynomial.

Bauschlicher, Charles W., Jr.↗

Stability Metrics for Simulation and Flight-Software Assessment and Monitoring of Adaptive Control Assist Compensators

Due to a need for improved reliability and performance in aerospace systems, there is increased interest in the use of adaptive control or other nonlinear, time-varying control designs in aerospace vehicles. While such techniques are built on Lyapunov stability theory, they lack an accompanying set of metrics for the assessment of stability margins such as the classical gain and phase margins used in linear time-invariant systems. Such metrics must both be physically meaningful and permit the user to draw conclusions in a straightforward fashion. We present in this paper a roadmap to the development of metrics appropriate to nonlinear, time-varying systems. We also present two case studies in which frozen-time gain and phase margins incorrectly predict stability or instability. We then present a multi-resolution analysis approach that permits on-line real-time stability assessment of nonlinear systems.

Hodel, A. S.↗

A Framework of Working Across Disciplines in Early Design and R&D of Large Complex Engineered Systems

This paper examines four primary methods of working across disciplines during R&D and early design of large-scale complex engineered systems such as aerospace systems. A conceptualized framework, called the Combining System Elements framework, is presented to delineate several aspects of cross-discipline and system integration practice. The framework is derived from a theoretical and empirical analysis of current work practices in actual operational settings and is informed by theories from organization science and engineering. The explanatory framework may be used by teams to clarify assumptions and associated work practices, which may reduce ambiguity in understanding diverse approaches to early systems research, development and design. The framework also highlights that very different engineering results may be obtained depending on work practices, even when the goals for the engineered system are the same.

McGowan, Anna-Maria Rivas↗

Evaluating turbulence models at high energy densities

The RESHOCK campaign at Lawrence Livermore National Laboratory has been working on increasing our understanding of the evolution of turbulent, unstable plasma interfaces which are applicable in various HED applications including ICF implosions. A common approach to model such interfaces involves the use of Renolds-Averaged-Navier-Stokes (RANS) models whose parameters have been constrained by theory and experiments. These parameter sets are not unique and the applicability of one set of tuned model parameters to systems with differing shock strengths or material densities has not been well tested. Our new NIF experiments, along with related studies of turbulent shear flows, provide data and model validation for plasma interfaces in the HED regime. Our experiments measure mixing-layer width at an unstable interface in the plasma regime and are specifically designed to challenge mix models of the Reynolds-Averaged-Navier-Stokes (RANS) type where turbulence is assumed to be fully developed, i.e. the flow exhibits a broad spectrum of length scales without memory of the initial condition.4 We utilize precise control of the initial interface conditions (densities on both sides of the interface, an initial rippled perturbation pattern consisting of equally weighted wavelengths between 10 and 20 microns, and initial material compositions) along with a repeatable drive history

36 MATERIALS SCIENCE↗

Mock gravity and the cosmic structure

The process of generating large-scale cosmic structure from the radiation-pressure or 'mock gravity' instability is studied with particular emphasis on the implications of the Berkeley-Nagoya rocket data for the submillimeter background. The linear theory of perturbations in an absorbing medium embedded in an expanding universe of radiation sources is presented. The instability sets up collapse velocities in linear perturbation theory which far exceed those from gravitational instability, so growth continues even after the instability switches off. Perturbation due to this effect is analyzed and related to the growth of large-scale cosmic structures at recent times; large-scale structure is shown to evolve very little from 1 + z about 5 to the present. Nonlinear small-scale effects of the instability are analyzed; it is shown that radiation pressure would compress gas into small, dense pressure-confined clouds with tau much greater than one.

Hogan, Craig J.↗

Atikokan Digital Twin: Machine learning in a biomass energy system

The Atikokan Generating Station, operated by Ontario Power Generation, has a 200 MW, biomass-fired tower boiler that operates on a dispatch schedule with a five-minute cycle. The boiler is generally operated in the range of 40–100 MW using two of five burner levels. In order to optimize boiler performance, we propose the implementation of a unique digital twin. Our digital twin abstraction couples Bayesian inference from science-based models and from observations (machine learning) with decision theory to predict operating-variable set points that optimize the physical asset (the boiler) in the presence of uncertainty (artificial intelligence). We focus this paper on the continuous Bayesian machine learning part of the Atikokan Digital Twin; we discuss decision theory in a companion paper. We identify and learn about 12 operational, model, and measured-output parameters and their uncertainties from high-fidelity, science-based simulations of the Atikokan boiler and from the observed measurements at the power plant. Since the goal of the Atikokan Digital Twin is to implement it online in real time, we require fast function evaluations for the quantities of interest extracted from the simulations in the Bayesian analysis. We use Gaussian process regression/interpolation to create accurate, robust surrogate models. We define the Bayesian priors and likelihood function and solve for the posterior distributions of the 12 parameters. Here we then propagate these distributions (i.e., parameters with uncertainty) into the predicted distributions of 790 quantities of interest to learn about the relative importance of various sources of error including experimental, model, and operating-parameter errors.

09 BIOMASS FUELS↗

Development of New Open-Shell Perturbation and Coupled-Cluster Theories Based on Symmetric Spin Orbitals

A new spin orbital basis is employed in the development of efficient open-shell coupled-cluster and perturbation theories that are based on a restricted Hartree-Fock (RHF) reference function. The spin orbital basis differs from the standard one in the spin functions that are associated with the singly occupied spatial orbital. The occupied orbital (in the spin orbital basis) is assigned the delta(+) = 1/square root of 2(alpha+Beta) spin function while the unoccupied orbital is assigned the delta(-) = 1/square root of 2(alpha-Beta) spin function. The doubly occupied and unoccupied orbitals (in the reference function) are assigned the standard alpha and Beta spin functions. The coupled-cluster and perturbation theory wave functions based on this set of "symmetric spin orbitals" exhibit much more symmetry than those based on the standard spin orbital basis. This, together with interacting space arguments, leads to a dramatic reduction in the computational cost for both coupled-cluster and perturbation theory. Additionally, perturbation theory based on "symmetric spin orbitals" obeys Brillouin's theorem provided that spin and spatial excitations are both considered. Other properties of the coupled-cluster and perturbation theory wave functions and models will be discussed.

Lee, Timothy J.↗

The Newman-Penrose map and the classical double copy

Gauge-gravity duality is arguably our best hope for understanding quantum gravity. Considerable progress has been made in relating scattering amplitudes in certain gravity theories to those in gauge theories — a correspondence dubbed the double copy. Recently, double copies have also been realized in a classical setting, as maps between exact solutions of gauge theories and gravity. We present here a novel map between a certain class of real, exact solutions of Einstein’s equations and self-dual solutions of the flat-space vacuum Maxwell equations. This map, which we call the Newman-Penrose map, is well-defined even for non-vacuum, non-stationary spacetimes, providing a systematic framework for exploring gravity solutions in the context of the double copy that have not been previously studied in this setting. To illustrate this, we present here the Newman- Penrose map for the Schwarzschild and Kerr black holes, and Kinnersley’s photon rocket.

79 ASTRONOMY AND ASTROPHYSICS↗

Microscopic Theory of Nuclear Fission

Nuclear fission represents the ultimate test for microscopic theories of nuclear structure and reactions. Fission is a large-amplitude, time-dependent phenomenon taking place in a self-bound, strongly interacting many-body system. It should, at least in principle, emerge from the complex interactions of nucleons within the nucleus. The goal of microscopic theories is to build a consistent and predictive theory of nuclear fission by using as only ingredients protons and neutrons, nuclear forces, and quantum many-body methods. Thanks to a constant increase in computing power, such a goal has never seemed more within reach. This chapter gives an overview both of the set of techniques used in microscopic theories to describe the fission process and of some recent successes achieved by this class of methods.

Nuclear physics and radiation physics↗

Gravitational-wave observations as a tool for testing relativistic gravity

Gravitational radiation in the far field was examined using a formalism that encompassed all metric theories of gravity. There are six possible modes of polarization, which can be completely resolved by feasible experiments. A theoretical framework is set forth for classification of waves and theories, based on the Lorentz transformation properties of the six modes. Also shown in detail is how the six modes may be experimentally identified and to what extent such information limits the correct theory of gravity.

Eardley, D. M.↗