Search NASA⌕ Search

SEARCH · Search NASA

Results for “Number 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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗
DOE OSTI2021

Search for CPT and Lorentz invariance violation in the muon $g -2$ experiment at Fermilab

The Muon g-2 experiment at Fermilab (E989) aims to measure the anomalous magnetic moment of the muon, $a_{\mu}= (g-2)/2$, to a groundbreaking precision of $140$ ppb, obtaining a near four-fold increase in precision over the previous experiment, E821, at the Brookhaven National Laboratory (BNL). The value of $a_{\mu}$ from BNL currently differs from the Standard Model prediction by $\sim 3.7$ standard deviations, suggesting the potential for new physics and therefore, motivating a new experiment.Because the theory predicts this number with high precision, testing the g-factor through experiment provides a stringent test of the SM and can suggest physics beyond the Standard Model. The goal of the Fermilab Muon $g-2$ experiment is to increase the statistical precision by more than a factor of 20 and reduce systematic errors by a factor of 3. By measuring muon precession rate ($\omega_a$) in an external magnetic field, the anomalous magnetic moment will be calculated. This is an incredibly challenging experiment with a unique opportunity to provide new insight into nature. \\ The $g-2$ data also provides a great opportunity for setting the most stringent limits on some of the Standard Model Extension CPT Lorentz violating (LV) parameters in the muon sector. One of the CPT and Lorentz violating signatures that we can look for using $g-2$ data is a sidereal variation of $\omega_a(t)$. Extensive simulation studies confirm that the sensitivity regarding the sidereal varation roughly scales with $\omega_a$ uncertainty. Hence, the $g-2$ experiment at FNAL should be able to reach limits of $\sim 5\times10^{-25}$ GeV. Because the CPT and LV analyses are essentially studies of variations in $\omega_a$ as a function of time and charge, performing an $\omega_a$ analysis sets the stage for the CPT and LV measurement. This dissertation focuses on the methodology of a fully functioning framework and analyzing the Fermilab Muon $g - 2$ Run 2 data containing $\sim 11$ billion events above an energy threshold of $1.7$~GeV.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1989

Correlation of theory to wind-tunnel data at Reynolds numbers below 500,000

This paper presents results obtained from two airfoil analysis methods compared with previously published wind tunnel test data at chord Reynolds numbers below 500,000. The analysis methods are from the Eppler-Somers airfoil design/analysis code and from ISES, the Drela-Giles Airfoil design/analysis code. The experimental data are from recent tests of the Eppler 387 airfoil in the NASA Langley Low Turbulence Pressure Tunnel. For R not less than 200,000, lift and pitching moment predictions from both theories compare well with experiment. Drag predictions from both theories also agree with experiment, although to different degrees. However, most of the drag predictions from the Eppler-Somers code are accompanied with separation bubble warnings which indicate that the drag predictions are too low. With the Drela-Giles code, there is a large discrepancy between the computed and experimental pressure distributions in cases with laminar separation bubbles, although the drag polar predictions are similar in trend to experiment.

Evangelista, Raquel↗
NASA NTRS1961

Flutter at Very High Speeds

This paper is concerned with a discussion of some of the problems of flutter and aeroelasticity that are or may be important at high speeds. Various theoretical procedures for treating high Mach number flutter are reviewed. Application of two of these methods, namely, the Van Dyke method and piston-theory method, is made to a specific example and compared with linear two- and three-dimensional results. It is shown that the effects of thickness and airfoil shape are destabilizing as compared with linear theory at high Mach number. In order to demonstrate the validity of these large predicted effects, experimental flutter results are shown for two rectangular wings at Mach numbers of 6.86 and 3. The results of nonlinear piston-theory calculations were in good agreement with experiment, whereas the results of using two- and three-dimensional linear theory were not. In addition, some results demonstrating the importance of including camber modes in a flutter analysis are shown, as well as a discussion of one case of flutter due to aerodynamic heating.

Runyan, Harry L.↗
NASA NTRS1998

Effects of Nose Radius and Aerodynamic Loading on Leading Edge Receptivity

An analysis is presented of the effects of airfoil thickness and mean aerodynamic loading on boundary-layer receptivity in the leading-edge region. The case of acoustic free-stream disturbances, incident on a thin cambered airfoil with a parabolic leading edge in a low Mach number flow, is considered. An asymptotic analysis based on large Reynolds number is developed, supplemented by numerical results. The airfoil thickness distribution enters the theory through a Strouhal number based on the nose radius of the airfoil, S = (omega)tau(sub n)/U, where omega is the frequency of the acoustic wave and U is the mean flow speed. The influence of mean aerodynamic loading enters through an effective angle-of-attack parameter ti, related to flow around the leading edge from the lower surface to the upper. The variation of the receptivity level is analyzed as a function of S, mu, and characteristics of the free-stream acoustic wave. For an unloaded leading edge, a finite nose radius dramatically reduces the receptivity level compared to that for a flat plate, the amplitude of the instability waves in the boundary layer being decreased by an order of magnitude when S = 0.3. Modest levels of aerodynamic loading are found to further decrease the receptivity level for the upper surface of the airfoil, while an increase in receptivity level occurs for the lower surface. For larger angles of attack close to the critical angle for boundary layer separation, a local rise in the receptivity level occurs for the upper surface, while for the lower surface the receptivity decreases. The effects of aerodynamic loading are more pronounced at larger values of S. Oblique acoustic waves produce much higher receptivity levels than acoustic waves propagating downstream parallel to the airfoil chord.

Hammerton, P. W.↗
NASA NTRS1980

Combined linear theory/impact theory method for analysis and design of high speed configurations

Pressure distributions on a wing body at Mach 4.63 are calculated. The combined theory is shown to give improved predictions over either linear theory or impact theory alone. The combined theory is also applied in the inverse design mode to calculate optimum camber slopes at Mach 4.63. Comparisons with optimum camber slopes obtained from unmodified linear theory show large differences. Analysis of the results indicate that the combined theory correctly predicts the effect of thickness on the loading distributions at high Mach numbers, and that finite thickness wings optimized at high Mach numbers using unmodified linear theory will not achieve the minimum drag characteristics for which they are designed.

Brooke, D.↗
NASA NTRS1972

Calculation of sonic boom signatures by bicharacteristic methods.

An improved method is described for correcting the zeroth order (free stream) characteristics to obtain a uniformly valid first order solution to the exact equations of motion for a compressible fluid. The method is based on constructing first order bicharacteristic lines from the system of ordinary differential equations belonging to the exact equation for the characteristic surface. Calculated sonic boom signatures are compared with experiments conducted at Langley Research Center on a cone-cylinder at Mach numbers 2.96, 3.83, and 4.63. Theory and experiment agree well over the entire Mach number range.

Davis, S. S.↗
DOE OSTI2026

Viability of perturbative expansion for quantum field theories on neurons

Neural Network (NN) architectures that break statistical independence of parameters have been proposed as a new approach for simulating local quantum field theories (QFTs) [1]. In the infinite neuron number limit, single-layer NNs can exactly reproduce QFT results. This paper examines the viability of this architecture for perturbative calculations of local QFTs for finite neuron number N using scalar ϕ 4 theory in d Euclidean dimensions as an example. We find that the renormalized O(1/N ) corrections to two-and four-point correlators yield perturbative series which are sensitive to the UV cut-off and therefore have a weak convergence. We propose a modification to the architecture to improve this convergence and discuss constraints on the parameters of the theory and the scaling of N which allow us to extract accurate field theory results.

Sen, Srimoyee [Iowa State University, Ames, IA (Un↗
DOE OSTI2024

The black hole interior from non-isometric codes and complexity

Quantum error correction has given us a natural language for the emergence of spacetime, but the black hole interior poses a challenge for this framework: at late times the apparent number of interior degrees of freedom in effective field theory can vastly exceed the true number of fundamental degrees of freedom, so there can be no isometric (i.e. inner-product preserving) encoding of the former into the latter. In this paper we explain how quantum error correction nonetheless can be used to explain the emergence of the black hole interior, via the idea of “non-isometric codes protected by computational complexity”. We show that many previous ideas, such as the existence of a large number of “null states”, a breakdown of effective field theory for operations of exponential complexity, the quantum extremal surface calculation of the Page curve, post-selection, “state-dependent/state-specific” operator reconstruction, and the “simple entropy” approach to complexity coarse-graining, all fit naturally into this framework, and we illustrate all of these phenomena simultaneously in a soluble model.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1954

Aerodynamics of Slender Bodies at Mach Number of 3.12 and Reynolds Numbers from 2 x 10(exp 6) to 15 x 10(exp 6) V : Aerodynamic Load Distributions for a Series of Four Boattailed Bodies

Pressure distributions for a series of four boattailed bodies of revolution were obtained and compared with theory for a Mach number of 3.12, a Reynolds number range of 2 x 10 to 6th power to 14 x 10 to the 6th power, and angles of attack from zero to 9 degrees. Second-order theory adequately predicted the pressure distribution for regions free of the effects of cross-flow separation.

Moskowitz, Barry↗
NASA NTRS1990

Local energy transfer and nonlocal interactions in homogeneous, isotropic turbulence

Detailed computations were made of energy transfer among the scales of motion in incompressible turbulent fields at low Reynolds numbers, generated by direct numerical simulations. It was observed that, although the transfer resulted from triad interactions that were nonlocal in k space, the energy always transferred locally. The energy transfer calculated from the eddy-damped quasi-normal Markovian (EDQNM) theory of turbulence at low Reynolds numbers is in excellent agreement with the results of the numerical simulations. At high Reynolds numbers, the EDQNM theory predicts the same transfer mechanism in the inertial range that is observed at low Reynolds numbers.

Domaradzki, J. Andrzej↗
DOE OSTI2024

Beyond the Debye–Hückel limit: Toward a general theory for concentrated electrolytes

The phenomenon of underscreening in concentrated electrolyte solutions leads to a larger decay length of the charge–charge correlation than the prediction of Debye–Hückel (DH) theory and has found a resurgence of both theoretical and experimental interest in the chemical physics community. To systematically understand and investigate this phenomenon in electrolytes requires a theory of concentrated electrolytes to describe charge–charge correlations beyond the DH theory. We review the theories of electrolytes that can transition from the DH limit to concentrations where charge correlations dominate, giving rise to underscreening and the associated Kirkwood Transitions (KTs). In this perspective, we provide a conceptual approach to a theoretical formulation of electrolyte solutions that exploits the competition between molecular-informed short-range (SR) and long-range interactions. We demonstrate that all deviations from the DH limit for real electrolyte solutions can be expressed through a single function ΣQ that can be determined both theoretically and numerically. Importantly, ΣQ can be directly related to the details of SR interactions and, therefore, can be used as a tool to understand how differences in representations of interaction can influence collective effects. The precise function form of ΣQ can be inferred through a Gaussian field theory of both the number and charge densities. The resulting formulation is validated by experiment and can accurately describe the collective phenomenon of screening in concentrated bulk electrolytes. Importantly, the Gaussian field theory predictions of the screening lengths appear to be less than ∼1 nm at concentrations above KTs.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1931

An extended theory of thin airfoils and its application to the biplane problem

The report presents a new treatment, due essentially to von Karman, of the problem of the thin airfoil. The standard formulae for the angle of zero lift and zero moment are first developed and the analysis is then extended to give the effect of disturbing or interference velocities, corresponding to an arbitrary potential flow, which are superimposed on a normal rectilinear flow over the airfoil. An approximate method is presented for obtaining the velocities induced by a 2-dimensional airfoil at a point some distance away. In certain cases this method has considerable advantage over the simple "lifting line" procedure usually adopted. The interference effects for a 2-dimensional biplane are considered in the light of the previous analysis. The results of the earlier sections are then applied to the general problem of the interference effects for a 3-dimensional biplane, and formulae and charts are given which permit the characteristics of the individual wings of an arbitrary biplane without sweepback or dihedral to be calculated. In the final section the conclusions drawn from the application of the theory to a considerable number of special cases are discussed, and curves are given illustrating certain of these conclusions and serving as examples to indicate the nature of the agreement between the theory and experiment.

Millikan, Clark B↗
NASA NTRSDate not supplied

Multiscale Failure Analysis of a 3D Woven Unit Cell Containing Defects

Multiscale failure simulations have been performed for a Three-dimensional woven composite unit cell considering five, or more, length scales spanning the woven composite mesoscale to the sub-microscale voids. The multiscale recursive micromechanics approach, which enables recursive integration of general micromechanics theories over an arbitrary number of length scales, has been employed within the NASA Multiscale Analysis Tool. The multiscale model uses both the generalized method of cells and Mori-Tanaka micromechanics theories, and considers failure in the constituent materials using a simple damage model. Baseline results, containing distributed voids, are compared to uniaxial experimental data for an AS4 carbon fiber/ RTM6 epoxy matrix 3D orthogonal woven composite with good agreement in terms of global stiffness and global failure stress. The simulations demonstrate that the 3D woven composite exhibits damage tolerance through sustaining increasing axial load far beyond the first initiation of damage. The multiscale model is used to examine the nonlinear response of the material to other loading conditions. Case studies, motivated by X-ray computed tomography data, are presented on the effects of manufacturing induced voids and cracks.

3D woven↗
NASA NTRS1987

Higher eigenmodes in the Blasius boundary-layer stability problem

The higher spatial-stability eigenmodes for the Blasius boundary layer are examined by using asymptotic theory, and an infinite number of modes are found. The asymptotic results are shown to be in close agreement with results from a direct numerical solution of the Orr-Sommerfeld problem. The asymptotic theory would therefore provide an efficient tool in exploratory searches for the eigenvalues.

Hultgren, Lennart S.↗