Coordinate conditions and canonical formalisms in gravitational theory.
Coordinate conditions fix momenta conjugate in Dirac Hamiltonian for general relativity, allowing study of canonical formalism of this theory
DIRAC EQUATION↗
SEARCH · Engineering Papers
Results for “formal”
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.
Formal solution of a nonhomogeneous differential equation with a double transition point.
Formal convergent solution of nonhomogeneous linear second order differential equation with double transition point in terms of influence functions
LOMMEL FUNCTION↗
Application of formal power series to some classical problems of mechanics Final report
Formal power series application to classical problems of celestial mechanics
CELESTIAL MECHANICS↗
An evaluation of barriers to the delegation of authority in formal organizations
Management barriers to delegate authority in formal organizations
MANAGEMENT↗
Lehmann-Symanzik-Zimmermann formalism in the one-boson Lee model.
One-boson Lee model of solvable field theory with nontrivial charge and mass renormalization as example of Lehmann-Symanzik-Zimmermann formalism
FIELD THEORY↗
A dynamical formalism for an arbitrary number of interconnected rigid bodies, with reference to the problem of satellite attitude control.
Dynamical formalism for arbitrary number of interconnected rigid bodies analyzed with reference to passive attitude stabilization of satellites
PASSIVE SATELLITE↗
Homogeneous canonical formalism and relativistic wave equations
Transition from relativistic mechanics to relativistic quantum dynamics through homogeneous canonical formalism - Schroedinger and Klein-Gordon equations
CANONICAL PROBLEM↗
A complex vectorial formalism in general relativity.
Complex vectorial formalism in general relativity, discussing Riemann connection related to representation of Lorentz group by three- dimensional linear space
TENSOR ANALYSIS↗
Formal solutions for a class of stochastic pursuit-evasion games Interim technical report
Formal solutions for class of stochastic pursuit-evasion games
Willman, W. W.↗
New partitioning perturbation theory. 1 - General formalism
General formalism of partitioning perturbation theory - Part 1
Certain, P. R.↗
The formalism of electron-molecule scattering
Electron scattering by molecules, demonstrating formal equivalence of fixed nucleus and free rotator scattering models
Bottcher, C.↗
FORMAL - A formula manipulation language
FORMAL programming system with language capability for performing symbolic algebraic manipulations
Mesztenyi, C. K.↗
Formal system - Technical documentation
Input/output routines for symbolic programming with FORMAL on Univac 1108 computer
Mesztenyi, C. K.↗
Shear free, twisting Einstein-Maxwell metrics in the Newman-Penrose formalism
The problem of finding algebraically special solutions to the vacuum Einstein-Maxwell equations was investigated using a spin coefficient formalism. The general case in which the degenerate null vectors are not hypersurface orthogonal is reduced to a problem of solving five coupled differential equations that are no longer dependent on the affine parameter along the degenerate null directions. It is shown that the most general regular, shear-free, nonradiating solution to these equations is the Kerr-Newman metric.
Lind, R. W.↗
Comparing complexity classes of formal languages
A property of polynomial complete languages is extended in order to better compare various classes of formal languages defined by time- or tape-bounded turing machines.
Book, R. V.↗
A formalism for cosmic ray propagation studies
The continuity equation for cosmic ray propagation is used to derive a set of linear equations interrelating the fluxes of multiply charged nuclei as observed at any particular part of the galaxy. The derivation leads to model independent definitions for cosmic ray storage time, mean density of target nuclei and effective mass traversed. The set of equations form a common framework for comparisons of theories and observations. As an illustration, it is shown that there exists a large class of propagation models which give the same result as the exponential path length model. The formalism is shown to accommodate dynamic as well as equilibrium models of production and propagation.
Golden, R. L.↗
Equations of motion for rotating finite bodies in the extended PPN formalism
The equations of motion for rotating finite bodies are computed in the perfect fluid metric in the extended parametric post-Newtonian (PPN) formalism of Will and Nordtvedt (1972) and are used to build a model of the solar system consisting of N oblate, homogeneous, stationary, self-gravitating masses of rotating perfect fluid. These equations contain relativistic acceleration terms which are currently observable or may be observable in the future with improved radio and laser ranging techniques.
Dallas, S. S.↗
Formal modeling of virtual machines
Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.
Cremers, A. B.↗