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 415 records · Page 23

Landau discriminants

Scattering amplitudes in quantum field theories have intricate analytic properties as functions of the energies and momenta of the scattered particles. In perturbation theory, their singularities are governed by a set of nonlinear polynomial equations, known as Landau equations, for each individual Feynman diagram. The singularity locus of the associated Feynman integral is made precise with the notion of the Landau discriminant, which characterizes when the Landau equations admit a solution. In order to compute this discriminant, we present approaches from classical elimination theory, as well as a numerical algorithm based on homotopy continuation. These methods allow us to compute Landau discriminants of various Feynman diagrams up to 3 loops, which were previously out of reach. For instance, the Landau discriminant of the envelope diagram is a reducible surface of degree 45 in the three-dimensional space of kinematic invariants. We investigate geometric properties of the Landau discriminant, such as irreducibility, dimension and degree. In particular, we find simple examples in which the Landau discriminant has codimension greater than one. Furthermore, we describe a numerical procedure for determining which parts of the Landau discriminant lie in the physical regions. In order to study degenerate limits of Landau equations and bounds on the degree of the Landau discriminant, we introduce Landau polytopes and study their facet structure. Finally, we provide an efficient numerical algorithm for the computation of the number of master integrals based on the connection to algebraic statistics.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

FORGE STRESS annual report

The project's goal is to combine high-fidelity numerical models and true-triaxial block fracturing tests at high temperatures to understand the relationship between in situ stress, thermal effects, wellbore orientations and hydraulic fracture patterns. The numerical models are calibrated against field data, such as well pressures and microseismic data, and employed to estimate the in situ stress at the FORGE site. Laboratory experiments investigate the complex physics driving hydraulic fracture nucleation in EGS, enhancing understanding of the role of parameters like temperature, well orientation, and stress. Additionally, they are employed to validate some of the numerical tools used in the project. The project will have a significant impact by: (1) improving the characterization of the in-situ stress field at FORGE; (2) demonstrating the use of high-fidelity modeling tools for EGS; (3) providing a unique set of high-temperature hydraulic fracturing results to identify key components for in-situ stress estimation, validate current theories, and propose new ones; (4) offering a validated set of numerical tools within an open-source simulation framework, GEOS, that will be available to any future user.

15 GEOTHERMAL ENERGY↗

A dynamic response and eye scanning data base useful in the development of theories and methods for the description of control/display relationships

A set of specially prepared digital tapes is reported which contain synchronized measurements of pilot scanning behavior, control response, and vehicle response obtained during instrument landing system approaches made in a fixed-base DC-8 transport simulator. The objective of the master tape is to provide a common data base which can be used by the research community to test theories, models, and methods for describing and analyzing control/display relations and interactions. The experimental conditions and tasks used to obtain the data and the detailed format of the tapes are described. Conventional instrument panel and controls were used, with simulated vertical gust and glide slope beam bend forcing functions. Continuous pilot eye fixations and scan traffic on the panel were measured. Both flight director and standard localizer/glide slope types of approaches were made, with both fixed and variable instrument range sensitivities.

Klein, R.↗

A viscoplastic theory with thermodynamic considerations

A thermodynamic foundation using the concept of internal state variables is given for a general theory of viscoplasticity for initially isotropic materials. Three, fundamental, internal, state variables are admitted; they are: a tensorial back stress for kinematic effects, and scalar drag and yield strengths for isotropic effects. All three are considered to evolve phenomenologically according to competitive processes between strain hardening, deformation induced dynamic recovery, and thermally induced static recovery. Within this phenomenological framework, a thermodynamically admissible set of evolution equations is proposed. The theory allows each of the three internal variables to be composed as a sum of independently evolving constituents. The evolution of internal state can also include terms that vary linearly with the external variable rates, whose presence affects the energy dissipation properties of a material.

Freed, A. D.↗

A viscoplastic theory with thermodynamic considerations

A thermodynamic foundation using the concept of internal state variables is given for a general theory of viscoplasticity for initially isotropic materials. Three fundamental, internal, state variables are admitted; they are: a tensorial back stress for kinematic effects, and scalar drag and yield strengths for isotropic effects. All three are considered to evolve phenomenologically according to competitive processes between strain hardening, deformation-induced dynamic recovery, and thermally induced static recovery. Within this phenomenological framework, a thermodynamically admissible set of evolution equations is proposed. The theory allows each of the three internal variables to be composed as a sum of independently evolving constituents. The evolution of internal state can also include terms that vary linearly with the external variable rates, whose presence affects the energy dissipation properties of a material.

Freed, A. D.↗

The many-body expansion for aqueous systems revisited: 1. Water-water interactions

We revisit the Many-Body Expansion (MBE) for water-water interactions by examining the effects of the basis set, including those resulting from the Basis Set Superposition Error (BSSE) correction, on the various terms for selected sizes of water clusters up to n = 21. The analysis is performed at the second order Møller-Plesset (MP2) perturbation theory with the family of augmented correlation consistent basis sets up to five zeta quality for the (H2O)n, n = 7, 10, 13, 16 and 21 clusters, for which we report either the complete MBE (n = 7, 10) or the one through the 6-body (n = 13) and the 5-body terms (n = 16, 21). Our results suggest that any sizeable contributions to the total cluster binding energy arising from the 5-body and larger terms are solely an artifact of the size of the basis set. Indeed, all terms above the 4-body converge monotonically to practically zero at the Complete Basis Set (CBS) limit. The magnitudes of the 5-body and above terms are accurately reproduced even with the smaller basis set of the series (aug-cc-pVDZ) once the BSSE correction is taken into account. The same level of theory (MP2/aug-cc-pVDZ, BSSEcorrected) also accurately reproduces the MP2/CBS values of the 3- and 4-body terms. The contribution of electron correlation to the 3- and 4-body terms is quite small, so that neglecting the correlation contribution in all terms above the 3-body results in an error of ??(0.1%). The BSSE correction to the largest 2-body term in the MBE was accurately estimated from the function ?? [1 + erf(-?? ??)], which is proportional to the common (overlapping) area between two Gaussian distributions whose centers are separated by R, with the constants ??, ?? fitted to the calculated BSSE corrections for the individual 2-body terms of the clusters with each basis set. Our results unquestionably demonstrate that the MBE for water-water interactions converges to the 4-body term, since any finite terms above the 4-body are artifacts of the size of the basis set and can be safely truncated at the 4-body term when either a very large basis set is used or BSSE corrections are taken into account even with the aug-cc-pVDZ basis set. We expect these findings to have important consequences in the pursuit of accurate many-body molecular dynamics simulations for aqueous systems.

Heindel, Joseph↗

GUST86 - An analytical ephemeris of the Uranian satellites

The General Uranus Satellite Theory GUST (Laskar, 1986) is used for the construction of an analytical ephemeris for the Uranian satellites. The theory is fitted against earth-based observations from 1911 to 1986, and all radio and optical data obtained during Voyager encounter with Uranus. Earth-based observations alone allow the determination of masses which are within 15 percent of the values determined by the Uranus flyby. The analysis of all the observations confirm the values of the masses obtained during the encounter (Stone and Miner, 1986) and give a complete set of dynamical parameters for the analytical theory. An analytical ephemeris, GUST86, with an estimated precision of about 100 km with respect to Uranus is obtained.

Laskar, J.↗

Statistical Properties of Maximum Likelihood Estimators of Power Law Spectra Information

A simple power law model consisting of a single spectral index, a is believed to be an adequate description of the galactic cosmic-ray (GCR) proton flux at energies below 10(exp 13) eV, with a transition at the knee energy, E(sub k), to a steeper spectral index alpha(sub 2) greater than alpha(sub 1) above E(sub k). The Maximum likelihood (ML) procedure was developed for estimating the single parameter alpha(sub 1) of a simple power law energy spectrum and generalized to estimate the three spectral parameters of the broken power law energy spectrum from simulated detector responses and real cosmic-ray data. The statistical properties of the ML estimator were investigated and shown to have the three desirable properties: (P1) consistency (asymptotically unbiased). (P2) efficiency asymptotically attains the Cramer-Rao minimum variance bound), and (P3) asymptotically normally distributed, under a wide range of potential detector response functions. Attainment of these properties necessarily implies that the ML estimation procedure provides the best unbiased estimator possible. While simulation studies can easily determine if a given estimation procedure provides an unbiased estimate of the spectra information, and whether or not the estimator is approximately normally distributed, attainment of the Cramer-Rao bound (CRB) can only he ascertained by calculating the CRB for an assumed energy spectrum-detector response function combination, which can be quite formidable in practice. However. the effort in calculating the CRB is very worthwhile because it provides the necessary means to compare the efficiency of competing estimation techniques and, furthermore, provides a stopping rule in the search for the best unbiased estimator. Consequently, the CRB for both the simple and broken power law energy spectra are derived herein and the conditions under which they are attained in practice are investigated. The ML technique is then extended to estimate spectra information from an arbitrary number of astrophysics data sets produced by vastly different science instruments. This theory and its successful implementation will facilitate the interpretation of spectral information from multiple astrophysics missions and thereby permit the derivation of superior spectral parameter estimates based on the combination of data sets.

Howell, L. W.↗

Control theory and splines, applied to signature storage

In this report the problem we are going to study is the interpolation of a set of points in the plane with the use of control theory. We will discover how different systems generate different kinds of splines, cubic and exponential, and investigate the effect that the different systems have on the tracking problems. Actually we will see that the important parameters will be the two eigenvalues of the control matrix.

Enqvist, Per↗

A Guide to Conquer the Biological Network Era Using Graph Theory

Networks are one of the most common ways to represent biological systems as complex sets of binary interactions or relations between different bioentities. In this article, we discuss the basic graph theory concepts and the various graph types, as well as the available data structures for storing and reading graphs. In addition, we describe several network properties and we highlight some of the widely used network topological features. We briefly mention the network patterns, motifs and models, and we further comment on the types of biological and biomedical networks along with their corresponding computer- and human-readable file formats. Finally, we discuss a variety of algorithms and metrics for network analyses regarding graph drawing, clustering, visualization, link prediction, perturbation, and network alignment as well as the current state-of-the-art tools. We expect this review to reach a very broad spectrum of readers varying from experts to beginners while encouraging them to enhance the field further.

59 BASIC BIOLOGICAL SCIENCES↗

Automated theoretical chemical kinetics: Predicting the kinetics for the initial stages of pyrolysis

Large scale implementation of high level computational theoretical chemical kinetics offers the prospect for dramatically improving the fidelity of combustion chemical modeling. To facilitate such efforts, we have developed a suite of codes, collectively referred to as AutoMech, that allow for the automatic prediction of the kinetics for large sets of reactions via ab initio transition-state-theory based master-equation calculations. The primary input is simply the mechanism, a dictionary relating chemically identifiable species descriptors (e.g., SMILES or InChIs) to species labels in the mechanism, and a specification of the electronic structure and transition state theory models to be implemented. Here we illustrate the current utility of AutoMech through a study of the initial stages of pyrolysis for 3 sets of fuels: sequences of alkanes, alcohols, and aldehydes. For simplicity, the analysis focuses on abstractions from the fuel by H, CH 3 , and OH, and the decomposition of the resulting radicals. Altogether, there are a total of 166 input channels in these sets (more than 363 forward reactions when expanded to the full set of elementary reactions). The code successfully produces high quality rate estimates (with apparent uncertainties less than a factor of two in limited comparisons with experiment) for > 95% of these. For the radical decomposition reactions, the analysis includes predictions for the pressure dependence of the kinetics. This wide-ranging exploration illustrates (i) the effect of different levels of prediction on the expected accuracy, (ii) the branching between abstractions at different sites for different abstractors, (iii) the dependence of the rates on the chemical structure, and (iv) the variation in radical stabilities across chemical families. These results, as well as the demonstrated feasibility of the methodology, should find further utility in the development of accurate rate expressions for arbitrary fuels. (c) 2020 The Combustion Institute. Published by Elsevier Inc. All rights reserved.

Elliott, Sarah N.↗

Gravitational-wave observations as a tool for testing relativistic gravity

Gravitational-wave observations can be powerful tools in the testing of relativistic theories of gravity - perhaps the only tools for distinguishing between certain extant theories in the foreseeable future. In this paper we examine gravitational radiation in the far field using a formalism that encompasses all 'metric theories of gravity.' There are six possible modes of polarization, which can be completely resolved by feasible experiments. We set forth a theoretical framework for classification of waves and theories, based on the Lorentz transformation properties of the six modes. We also show in detail how the six modes may be experimentally identified and to what extent such information limits the 'correct' theory of gravity.

Eardley, D. M.↗

Prediction of aircraft sideline noise attenuation

A computational study is made using the recommended ground effect theory by Pao, Wenzel, and Oncley. It is shown that this theory adequately predicts the measured ground attenuation data by Parkin and Scholes, which is the only available large data set. It is also shown, however, that the ground effect theory does not predict the measured lateral attenuations from actual aircraft flyovers. There remain one or more important lateral effects on aircraft noise, such as sideline shielding of sources, which must be incorporated in the prediction methods. Experiments at low elevation angles (0 deg to 10 deg) and low-to-intermediate frequencies are recommended to further validate the ground effect theory.

Zorumski, W. E.↗

A photostationary state analysis of the NO2-NO system based on airborne observations from the subtropical/tropical North and South Atlantic

The Chemical Instrumentation Test and Evaluation 3 (CITE 3) NO-NO2 database has provided a unique opportunity to examine important aspects of tropospheric photochemistry as related to the rapid cycling between NO and NO2. Our results suggest that when quantitative testing of this photochemical system is based on airborne field data, extra precautions may need to be taken in the analysis. This was particularly true in the CITE 3 data analysis where different regional environments produced quite different results when evaluating the photochemical test ratio (NO2)(sub expt)/(NO2)(sub calc), designated here as R(sub E)/R(sub C). The quantity (NO2)(sub Calc) was evaluated using the following photostationary state expression: (NO2)(sub Calc) = k(sub 1)(O3) + k(sub 4)(HO2) + k(sub 5)(CH3O2) + k(sub 6)(RO2))(NO)(sub Expt)/J(sub 2). The four most prominent regional environmental data sets identified in this analysis were those labeled here as free-tropospheric northern hemisphere (FTNH), free-tropospheric tropical northern hemisphere (FTTNH), free-tropospheric southern hemisphere (FTSH), and tropical-marine boundary layer (plume) (TMBL(P)). The respective R(sub E)/R(sub C) mean and median values for these four data subsets were 1.74, 1.69; 3.00, 2.79; 1.01, 0.97; and 0.99, 0.94. Of the four data subsets listed, the two that were statistically the most robust were FTNH and FTSH; for these the respective R(sub E)/R(sub C) mean and standard deviation of the mean values were 1.74 +/- 0.07 and 1.01 +/- 0.04. The FTSH observations were in good agreement with theory, whereas those from the FTNH data set were in significant disagreement. An examination of the critical photochemical parameters O3, UV(zenith), NO, NO2, and non-methane hydrocarbons (NMHCs) for these two databases indicated that the most likely source of the R(sub E)/R(sub C) bias in the FTNH results was the presence of a systematic error in the observational data rather than a shortening in our understanding of fundamental photochemical processes. Although neither a chemical nor meteorological analyses of these data identified this error with complete certainty, they did point to the three most likely possibilities: (1) an NO2 interference from a yet unidentified NO(y) species: (2) the presence of unmeasured hydrocarbons, the integrated reactivity of which would be equivalent to approximately 2.7 parts per billion by volume (ppbv) of toluene; or (3) some combination of points (1) and (2). Details concerning hypotheses (1) and (2) as well as possible ways to minimize these problems in future airborne missions are discussed.

Davis, D. D.↗

Temporal and spatial distribution of stratospheric trace gases over Antarctica in August and September, 1987

There have been a large number of suggestions made concerning the origin of the Antarctic 'ozone hole' since its discovery; these changes include stratospheric chemistry, or changes in the solar input, or combinations of these effects. Supporting or refuting these theories requires a wide variety of data for comparison with the predictions. In Aug. and Sept., 1987, a field observation expedition was made over Antarctica from a base in Punta Arenas, Chile. Two aircraft, an ER-2 with in-situ instruments flew at altitudes up to 18 km measuring ozone, water, ClO, BrO, NO sub x, particles, and meteorological parameters in the ozone layer. A DC-8 flew at altitudes of 10 to 12 km, below the ozone layer, using remote sensing instruments for measuring composition and aerosol content of the ozone layer, as well as in-situ instruments for measuring composition at aircraft altitudes. The obsevation of a number of chemical species and their correlation with each other and with meteorological parameters gives a useful set of data for comparison with various theories.

Coffey, M. T.↗

Colonel Blotto Games and Lancaster's Equations: A Novel Military Modeling Combination

Military strategists face a difficult task when engaged in a battle against an adversarial force. They have to predict both what tactics their opponent will employ and the outcomes of any resultant conflicts in order to make the best decision about their actions. Game theory has been the dominant technique used by analysts to investigate the possible actions that an enemy will employ. Traditional game theory can be augmented by use of Lanchester equations, a set of differential equations used to determine the outcome of a conflict. This paper demonstrates a novel combination of game theory and Lanchester equations using Colonel Blotto games. Colonel Blotto games, which are one of the oldest applications of game theory to the military domain, look at the allocation of troops and resources when fighting across multiple areas of operation. This paper demonstrates that employing Lanchester equations within a game overcomes some of practical problems faced when applying game theory.

Collins, Andrew J.↗

Duality and form factors in the thermally deformed two-dimensional tricritical Ising model

The thermal deformation of the critical point action of the 2D tricritical Ising model gives rise to an exact scattering theory with seven massive excitations based on the exceptional E_7 E 7 Lie algebra. The high and low temperature phases of this model are related by duality. This duality guarantees that the leading and sub-leading magnetisation operators, \sigma(x) σ ( x ) and \sigma'(x) σ ′ ( x ) , in either phase are accompanied by associated disorder operators, \mu(x) μ ( x ) and \mu'(x) μ ′ ( x ) . Working specifically in the high temperature phase, we write down the sets of bootstrap equations for these four operators. For \sigma(x) σ ( x ) and \sigma'(x) σ ′ ( x ) , the equations are identical in form and are parameterised by the values of the one-particle form factors of the two lightest \mathbb{Z}_2 ℤ 2 odd particles. Similarly, the equations for \mu(x) μ ( x ) and \mu'(x) μ ′ ( x ) have identical form and are parameterised by two elementary form factors. Using the clustering property, we show that these four sets of solutions are eventually not independent; instead, the parameters of the solutions for \sigma(x)/\sigma'(x) σ ( x ) / σ ′ ( x ) are fixed in terms of those for \mu(x)/\mu'(x) μ ( x ) / μ ′ ( x ) . We use the truncated conformal space approach to confirm numerically the derived expressions of the matrix elements as well as the validity of the \Delta Δ -sum rule as applied to the off-critical correlators. We employ the derived form factors of the order and disorder operators to compute the exact dynamical structure factors of the theory, a set of quantities with a rich spectroscopy which may be directly tested in future inelastic neutron or Raman scattering experiments.

Cortes Cubero, Axel↗

Trajectory fitting in function space with application to analytic modeling of surfaces

A theory for representing a parameter-dependent function as a function trajectory is described. Additionally, a theory for determining a piecewise analytic fit to the trajectory is described. An example is given that illustrates the application of the theory to generating a smooth surface through a discrete set of input cross-section shapes. A simple procedure for smoothing in the parameter direction is discussed, and a computed example is given. Application of the theory to aerodynamic surface modeling is demonstrated by applying it to a blended wing-fuselage surface.

Barger, Raymond L.↗