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 739 records · Page 41

All sources NASA NTRS DOE OSTI

NASA NTRS1976

Consequences of using nonlinear particle trajectories to compute spatial diffusion coefficients

The propagation of charged particles through interstellar and interplanetary space has often been described as a random process in which the particles are scattered by ambient electromagnetic turbulence. In general, this changes both the magnitude and direction of the particles' momentum. Some situations for which scattering in direction (pitch angle) is of primary interest were studied. A perturbed orbit, resonant scattering theory for pitch-angle diffusion in magnetostatic turbulence was slightly generalized and then utilized to compute the diffusion coefficient for spatial propagation parallel to the mean magnetic field, Kappa. All divergences inherent in the quasilinear formalism when the power spectrum of the fluctuation field falls off as K to the minus Q power (Q less than 2) were removed. Various methods of computing Kappa were compared and limits on the validity of the theory discussed. For Q less than 1 or 2, the various methods give roughly comparable values of Kappa, but use of perturbed orbits systematically results in a somewhat smaller Kappa than can be obtained from quasilinear theory.

Goldstein, M. L.↗

NASA NTRS1982

Level shifts and inelastic electron scattering in dense plasmas

A completely quantum mechanical formalism has been developed to describe the high density plasma effects on fundamental atomic parameters. Both the bound and free electrons are treated by a method which in principle is similar to Hartree's self-consistent field method. The free plasma electrons' wavefunction is obtained from the Schroedinger equation with the effective potential representing the spherically averaged Coulomb interaction with bound and free electrons. Results are given for level shifts, coefficients of transition probabilities, and electron collision cross sections of Ne(9+) for temperatures of 200 and 500 eV for an electron density range of 1-6 x 10 to the 24th per cu cm.

Davis, J.↗

NASA NTRS1989

Photoelectric observations of asteroids 3, 24, 60, 261, and 863

Observations of the five asteroids designated 3 Juno, 24 Themis, 60 Echo, 261 Prymo, and 863 Benkoela over the 1978-1984 period have been subjected to Fourier analysis to obtain composite lightcurves. The method yields a rotation-period value, mean absolute magnitudes for each night of observation, and Fourier coefficients that define composite-lightcurve shape, with formal error estimates for all quantities. The first three of the asteroids listed exhibit significant variation in surface albedo.

Harris, A. W.↗

NASA NTRS1990

The vibrating ribbon problem revisited

A revised formal solution of the vibrating ribbon problem of hydrodynamic stability is presented. The initial formulation of Gaster (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 wavenumber plane. The solutions from the continuous spectra decay both upsteam 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 NTRS1992

Electromagnetic processes in nucleus-nucleus collisions relating to space radiation research

Most of the papers within this report deal with electromagnetic processes in nucleus-nucleus collisions which are of concern in the space radiation program. In particular, the removal of one and two nucleons via both electromagnetic and strong interaction processes has been extensively investigated. The theory of relativistic Coulomb fission has also been developed. Several papers on quark models also appear. Finally, note that the theoretical methods developed in this work have been directly applied to the task of radiation protection of astronauts. This has been done by parameterizing the theoretical formalism in such a fashion that it can be used in cosmic ray transport codes.

Norbury, John W.↗

NASA NTRS2002

Calculation of Scattering Amplitude Without Partial Analysis: Inclusion of Exchange - II

There was a method for calculating the whole scattering amplitude, f(Omega(sub k)), directly. The idea was to calculate the complete wave function Psi numerically, and use it in an integral expression for f, which can be reduced to a 2 dimensional quadrature. The original application was for e-H scattering without exchange. There the Schrodinger reduces a 2-d partial differential equation (pde), which was solved using the finite element method (FEM). Here we extend the method to the exchange approximation. The S.E. can be reduced to a pair of coupled pde's, which are again solved by the FEM. The formal expression for f(Omega(sub k)) consists two integrals, f+/- = f(sub d) +/- f(sub e); f(sub d) is formally the same integral as the no-exchange f. We have also succeeded in reducing f(sub e) to a 2-d integral. Results will be presented at the meeting.

Temkin, Aaron↗

NASA NTRS2003

Electron-H Elastic Scattering

Precision calculations for e^{-}-H and e^{-}-He^{+} for S-wave scattering in the elastic region have been carried out using the optical potential approach. This formalism is now extended to e^{-}-H P-wave scattering in the elastic region. The scattering equations are solved by the non-iterative method. Phase shifts are calculated using Hylleraas-type correlation functions up to 84 terms. Results are rigorous lower bounds to the exact phase shifts and they are compared to those obtained in previous calculations.

Bhatia, A. K.↗

NASA NTRS2003

Principles for Integrating Mars Analog Science, Operations, and Technology Research

During the Apollo program, the scientific community and NASA used terrestrial analog sites for understanding planetary features and for training astronauts to be scientists. Human factors studies (Harrison, Clearwater, & McKay 1991; Stuster 1996) have focused on the effects of isolation in extreme environments. More recently, with the advent of wireless computing, we have prototyped advanced EVA technologies for navigation, scheduling, and science data logging (Clancey 2002b; Clancey et al., in press). Combining these interests in a single expedition enables tremendous synergy and authenticity, as pioneered by Pascal Lee's Haughton-Mars Project (Lee 2001; Clancey 2000a) and the Mars Society s research stations on a crater rim on Devon Island in the High Canadian Arctic (Clancey 2000b; 2001b) and the Morrison Formation of southeast Utah (Clancey 2002a). Based on this experience, the following principles are proposed for conducting an integrated science, operations, and technology research program at analog sites: 1) Authentic work; 2) PI-based projects; 3) Unencumbered baseline studies; 4) Closed simulations; and 5) Observation and documentation. Following these principles, we have been integrating field science, operations research, and technology development at analog sites on Devon Island and in Utah over the past five years. Analytic methods include work practice simulation (Clancey 2002c; Sierhuis et a]., 2000a;b), by which the interaction of human behavior, facilities, geography, tools, and procedures are formalized in computer models. These models are then converted into the runtime EVA system we call mobile agents (Clancey 2002b; Clancey et al., in press). Furthermore, we have found that the Apollo Lunar Surface Journal (Jones, 1999) provides a vast repository or understanding astronaut and CapCom interactions, serving as a baseline for Mars operations and quickly highlighting opportunities for computer automation (Clancey, in press).

Clancey, William J.↗

NASA NTRS2007

Scattering of Low Energy Electrons and Positrons from Hydrogenic Systems and Applications

While the electron scatters from the target, the target no longer stays in its original form. One of the first methods to take into account the distortion of the target at low incident energies is the method of polarized orbitals. In this method the wave function for the process is written using the first-order perturbation theory and the equation for the scattering function is derived from the Schradinger equation. This method has been very successful in calculating the phase shifts and therefore the cross sections at various energies. The total wave function can be used to calculate photoionization cross sections. The disadvantage of this approach is that the method is not variational and therefore does not provide bounds on the phase shifts. These difficulties can be overcome by using the Feshbach projection operator formalism. This approach has been employed for the scattering of electrons and positrons from targets. Results of various calculations will be discussed.

Bhatia, Anand K.↗

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 OSTI2025

A Game-Theoretic Quantum Algorithm for Solving Magic Squares

Variational quantum algorithms (VQAs) offer a promising near-term approach to finding optimal quantum strategies for playing non-local games. These games test quantum correlations beyond classical limits and enable entanglement verification. In this work, we present a variational framework for the Magic Square Game (MSG), a two-player non-local game with perfect quantum advantage. We construct a value Hamiltonian that encodes the game’s parity and consistency constraints, then optimize parameterize quantum circuits to minimize this cost. Our approach build on the stabilizer formalism, leverages commutation structure for circuit design, and is hardware-efficient. Compared to existing work, our contribution emphasizes algebraic structure an interpretability. We validate our method through numerical experiments and outline generalizations to larger games.

Chehade, Sarah [ORNL]↗

NASA NTRS1972

A second quantized model of anharmonicity.

A heuristic description is given for a simple harmonic oscillator as a basis for a model of anharmonicity. A formalism is applied in the process, which applies to complex excitation fields involving particle clusters and also facilitates a description of nonequilibrium multibody configurations by classical methods. The heuristic description is based on Streit's results (1965) and is free of linearization requirements in most physically interesting situations.

Rasetti, M.↗

NASA NTRS1973

Energy partitioning of gaseous ions in an electric field.

The partitioning of ion energy among thermal energy, drift energy, and random-field energy is studied by solution of the Boltzmann equation. An expansion in powers of the square of the electric field strength is obtained by Kihara's method. Numerical calculations for several ion-neutral force laws show that Wannier's constant mean-free-time model gives a reasonable first approximation. The formal extension to multicomponent mixtures is also given. The matrix elements obtained are tabulated, and can be used to study the field dependence of other moments of the ion-distribution function.

Hahn, H.-S.↗

NASA NTRS1975

Use of the Wigner representation in scattering problems

The basic equations of quantum scattering were translated into the Wigner representation, putting quantum mechanics in the form of a stochastic process in phase space, with real valued probability distributions and source functions. The interpretative picture associated with this representation is developed and stressed and results used in applications published elsewhere are derived. The form of the integral equation for scattering as well as its multiple scattering expansion in this representation are derived. Quantum corrections to classical propagators are briefly discussed. The basic approximation used in the Monte-Carlo method is derived in a fashion which allows for future refinement and which includes bound state production. Finally, as a simple illustration of some of the formalism, scattering is treated by a bound two body problem. Simple expressions for single and double scattering contributions to total and differential cross-sections as well as for all necessary shadow corrections are obtained.

Bemler, E. A.↗

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.↗