SEARCH · Search NASA

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 757 records · Page 42

All sources NASA NTRS DOE OSTI

NASA NTRS1984

Structural optimization of large ocean-going structures

Ocean-going vehicles and platforms are among the largest structures in the world and are subjected to relatively harsh conditions of motions and loads. Some of them, such as semi-submersible platforms, are a relatively new type of structure and hence there is no formal, well evolved and established structural design code as there is for more traditional structures. More recently, efforts have also been made to develop a design method of this type for ships and other ocean structures. One of the many advantages of a rationally based design method is versatility; it can be used for structures that have widely differing purposes, measures of merit, shapes and sizes. The purpose is to describe a rationally based design method that has been developed within the field of ocean structures, in order that persons dealing with other types of structure can judge whether and to what extent its various features may be useful for those other types. Also, even though some features may not be applicable they might stimulate some useful ideas.

Hughes, O. F.↗

NASA NTRS1989

Linestrengths of the nu(2) and nu(4) bands of (C-12)H4 and (C-13)H4

Absorption spectra recorded on the high-resolution Fourier transform spectrometer at Kitt Peak National Observatory/National Solar Observatory were used to measure individual line strengths of the nu(2) and nu(4) bands of (C-12)H4 and (C-13)H4. The measurements were used to obtain expressions that could be used to correctly predict individual line strengths through five orders of magnitude of absorption strength and high values of J-prime. Transition strengths were modeled using the dyad formalism of two interacting bands and a seven-term second-order dipole-moment expansion. The successful fitting of these data indicates that the method can be used to model measurements of 2- to 5-percent precision even at high values of J. For remote sensing applications, the present prediction of the dyad spectrum represents a substantial improvement.

Brown, L. R.↗

NASA NTRS1992

Invariant two-dimensional structures of vorticity field in nonviscous fluid

It is shown that a fluid flow which are invariant under translations along their vorticity field directions can be described in terms of a formally 2D system. Its nonviscous behavior of the scalar vorticity is governed by Hamiltonian dynamics, similar to the 2D line vortex case. Applying a statistical mechanical method, the equilibrium distribution of the vorticity field for such a general 2D system is shown to obey a nonlinear partial differential equation that is a generalization of the sinh-Poisson equation derived by Montgomery and Joyce (1973, 1974). Thus, if the domain containing the fluid is finite, similar negative temperature states may occur and the distribution of the vorticity intensity may become localized in space. The results are believed to have applications in studying large-scale partial and temporal properties of flows having small but nonzero viscosity. The analysis can probably be extended to other fluid systems with curved magnetic field lines.

Chen, Hudong↗

NASA NTRS1993

Asteroidal collision probabilities

Several past calculations of collision probabilities between pairs of bodies on independent orbits have yielded inconsistent results. We review the methodologies and identify their various problems. Greenberg's (1982) collision probability formalism (now with a corrected symmetry assumption) is equivalent to Wetherill's (1967) approach, except that it includes a way to avoid singularities near apsides. That method shows that the procedure by Namiki and Binzel (1991) was accurate for those cases where singularities did not arise.

Bottke, William F., Jr.↗

NASA NTRS1996

Theoretical model of HZE particle fragmentation by hydrogen targets

The fragmenting of high energy, heavy ions (HZE particles) by hydrogen targets is an important, physical process in several areas of space radiation research. In this work quantum mechanical optical model methods for estimating cross sections for HZE particle fragmentation by hydrogen targets are presented. The cross sections are calculated using a modified abrasion-ablation collision formalism adapted from a nucleus-nucleus collision model. Elemental and isotopic production cross sections are estimated and compared with reported measurements for the breakup of neon, sulphur, and iron, nuclei at incident energies between 400 and 910 Mev/nucleon. Good agreement between theory and experiment is obtained.

Townsend, L.W.↗

NASA NTRS1998

Excitation of Continuous and Discrete Modes in Incompressible Boundary Layers

This report documents the full details of the condensed journal article by Ashpis & Reshotko (JFM, 1990) entitled "The Vibrating Ribbon Problem Revisited." A revised formal solution of the vibrating ribbon problem of hydrodynamic stability is presented. The initial formulation of Gaster (JFM, 1965) is modified by application of the Briggs method and a careful treatment of the complex double Fourier transform inversions. Expressions are obtained in a natural way for the discrete spectrum as well as for the four branches of the continuous spectra. These correspond to discrete and branch-cut singularities in the complex wave-number plane. The solutions from the continuous spectra decay both upstream and downstream of the ribbon, with the decay in the upstream direction being much more rapid than that in the downstream direction. Comments and clarification of related prior work are made.

Ashpis, David E.↗

NASA NTRS1986

Numerical advection by conservation of second-order moments

A new, accurate, and nondiffusive method for three-dimensional advection of trace species is presented. The method preserves tracer structures by conserving the second-order moments of the spatial distribution of tracer during advection. Upstream transport and second-order tracer distribution are described, and the moments of the tracer distribution about the center of a grid box are formally defined and related to the polynomial distribution. Formulas are presented which describe how the moments of a grid box are decomposed into a unique set of moments centered about each subbox and how they are reassembled into new grid boxes. A one-dimensional example if tracer transport is given, and limits necessary to maintain positive tracer concentrations are derived. The accuracy and stability of this method are analytically examined, and numerical experiments testing the effective resolution are presented. The method is compared with other methods for numerical advection of tracers.

Prather, M. J.↗

NASA NTRS1994

Correlations in cosmic density fields

A method is proposed to place constraints on the functional form of the high-order correlation functions zeta(sub n) that arise in cosmic density fields at large scales. This technique is based on a mass-in-cell statistic and a difference of mass in partitions of a cell. The relationship between these measures is sensitive to the formal structure of the zeta(sub n) as well as their amplitudes. This relationship is quantified in several theoretical models of structure, based on the hierarchical clustering paradigm. The results lead to a test for specific types of hierarchical clustering that is sensitive to correlations of all orders. The method is applied to examples of simulated large-scaled structure dominated by cold dark matter. In the preliminary study, the hierarchical paradigm appears to be a realistic approximation over a broad range of the scales. Furthermore, there is evidence that graphs of low-order vertices are dominant. On the basis of simulated data a phenomological model is specified that gives a good representation of clustering from linear scales to the strongly clustered regime (zeta(sub 2) approximately 500).

Bromley, B. C.↗

DOE OSTI2024

A generalized Selberg zeta function for flat space cosmologies

Flat space cosmologies (FSCs) are time dependent solutions of three-dimensional (3D) gravity with a vanishing cosmological constant. They can be constructed from a discrete quotient of empty 3D flat spacetime and are also called shifted-boost orbifolds. Using this quotient structure, we build a new and generalized Selberg zeta function for FSCs, and show that it is directly related to the scalar 1-loop partition function. We then propose an extension of this formalism applicable to more general quotient manifolds $\mathcal{M}$/ℤ, based on representation theory of fields propagating on this background. Our prescription constitutes a novel and expedient method for calculating regularized 1-loop determinants, without resorting to the heat kernel. We compute quasinormal modes in the FSC using the zeroes of a Selberg zeta function, and match them to known results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

DOE OSTI2024

Cathodic Decomposition Electrodes as Standard Reference Electrodes for Molten Salts: Example of the Lithium Eutectic Electrode for the LiCl-KCl Eutectic

Alternatives to the widely-used standard anodic decomposition reference electrodes in molten salts are necessary to enable more easily reproduced thermochemical and electrochemical data in molten salt electrolytes. The class of standard reference electrodes called cathodic decomposition electrodes (CDEs) are easily constructed and can be used to make thermochemical measurements in molten salts more directly compared to anodic decomposition electrodes. The lithium eutectic electrode (LEE) was chosen as a sample test case for validation and was applied to thermochemical measurements of electroactive species in molten LiCl-KCl eutectic. Transient measurements were made to measure the Li + /Li reduction potential at zero current in pure LiCl-KCl eutectic relative to a Li-alloy reference electrode to validate the reference potential of the LEE. Literature-reported electromotive force measurements against Li-alloy reference electrodes were used to generate a relationship between the LEE and the standard chlorine electrode and this relationship was used to evaluate measured and reported formal potential measurements for the LiCl-KCl-GdCl 3 system. This work demonstrates the general framework for defining CDEs for any molten salt system and a method for calibrating external reference electrodes against a CDE standard reference electrode, improving the ease of obtaining thermochemical and electrochemical measurements in any molten salt system.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2024

Machine-learning based model reduction for partial differential equations

We develop a novel synergistic approach between model reduction and machine learning. The specific goal of this project is to aid in the construction of reduced order models for basis functions that are custom-made to represent the solution of partial differential equations. Partial differential equations (PDEs) are one of the main mathematical tools for describing physical phenomena. However, due to either efficiency or necessity, for many real-world problems, we are interested in constructing reduced order models (ROMs) which focus only on the explicit computation of subsets of the active spatio-temporal scales in the problem, while treating the interaction with the rest of the scales approximately. The task of accurate representation of such interactions (usually called memory terms) constitutes a vast area of research known as model reduction. PI Stinis has significant expertise in the construction of ROMs for complex systems. In addition, in recent work with the project key participant Qadeer, they have utilized machine learning to acquire custom-made basis functions (CBFs) to expand the solutions of PDEs. In the proposed work, we will merge the two concepts by constructing ROMs for subsets of the CBFs needed to represent the solution of a PDE. Specifically, we will use the Mori-Zwanzig model reduction formalism to construct ROMs for subsets of CBFs for nonlinear PDEs of various complexity, as well as investigate the usage of CBFs in the spectral vanishing viscosity method for problems that can form shocks in finite time. The outcome of the research is aimed to be proof-of-concept about a novel synergistic approach between model reduction and machine learning, thus advancing the field of scientific machine learning. Such a capability will benefit the efficient modeling of physical systems appearing in various areas of interest to the DOE.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

Strong Correlation DMRG and DFT

This project developed new ways to improve computer simulations of materials where electrons interact strongly with each other, a challenge for today’s most widely used method, density functional theory (DFT). We used an exact numerical method, the density matrix renormalization group (DMRG), to create highly accurate reference results for simple model systems, and used these to test DFT, prove when it will converge, and even train machine-learned functionals. We also invented new kinds of localized basis functions (“gausslets” and “multi-sliced gausslets”) and a “sliced-basis” approach that make high-accuracy simulations faster and more practical. These methods were applied to extended hydrogen systems, enabling the direct derivation of accurate low-energy models from first-principles calculations. We also introduced a new formalism, Conditional-Probability DFT, which could bypass traditional approximations. The tools and results from this work, including open-source software releases, will help scientists design and understand complex quantum materials.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRS1984

The computation of rotational conical flows

A method based on the Clebsch velocity decomposition is presented to solve the steady, inviscid, supersonic flow field about arbitrary conical geometries. The system of equations developed, although formally equivalent to the Euler equations, retains the computational efficiency of type-dependent potential flow solutions. Accurate rotational-flow solutions are developed using shock-fitting procedures at the bow and imbedded waves along with special treatment of the vortical layer. Solutions are presented for several high Mach number conical flows and compared with existing Euler solutions and experimental data.

Grossman, B.↗

NASA NTRS1986

Aerodynamics via acoustics - Application of acoustic formulas for aerodynamic calculations

Prediction of aerodynamic loads on bodies in arbitrary motion is considered from an acoustic point of view, i.e., in a frame of reference fixed in the undisturbed medium. An inhomogeneous wave equation which governs the disturbance pressure is constructed and solved formally using generalized function theory. When the observer is located on the moving body surface there results a singular linear integral equation for surface pressure. Two different methods for obtaining such equations are discussed. Both steady and unsteady aerodynamic calculations are considered. Two examples are presented, the more important being an application to propeller aerodynamics. Of particular interest for numerical applications is the analytical behavior of the kernel functions in the various integral equations.

Farassat, F.↗

NASA NTRS1998

Optical model methods of predicting nuclide production from spallation reactions

Quantum mechanical optical model methods for calculating isotope production cross sections from the spallation of heavy nuclei by high-energy protons are developed from a modified abrasion-ablation collision formalism. The abrasion step is treated quantum-mechanically as a knockout process which leaves the residual prefragment nucleus in an excited state. In ablation the prefragment deexcites to produce the final fragment. The excitation energies of the prefragments are estimated from a combination of liquid drop and frictional-spectator interaction considerations. Estimates of elemental and isotopic production cross sections are in good agreement with recently published cross section measurements.

NASA Discipline Radiation Health↗

NASA NTRS1986

Aerodynamics Via Acoustics: Application of Acoustic Formulas for Aerodynamic Calculations

Farassat, F.↗

NASA NTRS2007

Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control

Volume I of this report presents a new method for synthesizing hybrid systems directly from design requirements, and applies the method to design of a hybrid system for longitudinal control of transport aircraft. The resulting system satisfies general requirement for safety and effectiveness specified a priori, enabling formal validation to be achieved. Volume II contains seven appendices intended to make the report accessible to readers with backgrounds in human factors, fli ght dynamics and control. and formal logic. Major design goals are (1) system desi g n integrity based on proof of correctness at the design level, (2), significant simplification and cost reduction in system development and certification, and (3) improved operational efficiency, with significant alleviation of human-factors problems encountered by pilots in current transport aircraft. This report provides for the first time a firm technical basis for criteria governing design and certification of avionic systems for transport aircraft. It should be of primary interest to designers of next-generation avionic systems.

Hynes, Charles S.↗

NASA NTRS2007

Synthesis from Design Requirements of a Hybrid System for Transport Aircraft Longitudinal Control

Volume I of this report presents a new method for synthesizing hybrid systems directly from desi gn requirements, and applies the method to design of a hybrid system for longitudinal control of transport aircraft. The resulting system satisfies general requirement for safety and effectiveness specified a priori, enabling formal validation to be achieved. Volume II contains seven appendices intended to make the report accessible to readers with backgrounds in human factors, flight dynamics and control, and formal logic. Major design goals are (1) system design integrity based on proof of correctness at the design level, (2) significant simplification and cost reduction in system development and certification, and (3) improved operational efficiency, with significant alleviation of human-factors problems encountered by pilots in current transport aircraft. This report provides for the first time a firm technical basis for criteria governing design and certification of avionic systems for transport aircraft. It should be of primary interest to designers of next-generation avionic systems.

Hynes, Charles S.↗