Search NASA⌕ Search

SEARCH · Search NASA

Results for “general relativity formalism”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Theoretical frameworks for testing relativistic gravity. IV - A compendium of metric theories of gravity and their post-Newtonian limits.

Metric theories of gravity are compiled and classified according to the types of gravitational fields they contain, and the modes of interaction among those fields. The gravitation theories considered are classified as (1) general relativity, (2) scalar-tensor theories, (3) conformally flat theories, and (4) stratified theories with conformally flat space slices. The post-Newtonian limit of each theory is constructed and its Parametrized Post-Newtonian (PPN) values are obtained by comparing it with Will's version of the formalism. Results obtained here, when combined with experimental data and with recent work by Nordtvedt and Will and by Ni, show that, of all theories thus far examined by our group, the only currently viable ones are general relativity, the Bergmann-Wagoner scalar-tensor theory and its special cases (Nordtvedt; Brans-Dicke-Jordan), and a recent, new vector-tensor theory by Nordtvedt, Hellings, and Will.

Ni, W.-T.↗
NASA NTRS1984

Core saturation in a moving medium

A numerical technique for solving the line transfer equation of a two-level atom in static equilibrium is presented. Complete redistribution of emitted photons is assumed, as is saturation at the line core. Emission intensity is calculated either by a generalized Eddington-Barber relation, a first-order differential equation for the specific intensity, or by a formal transfer integral. Sample calculations are performed of the line transfer equation in a semi-infinite atmosphere with a constant Planck function of the collision parameter and for the Mg II resonance line in a model solar atmosphere experiencing shocks. Attention is focused on the line wings in the latter problem. The first order differential equation approach yields the best intensity values and temperature structure.

Kalkofen, W.↗
NASA NTRS2009

Life Sciences Data Archive (LSDA) in the Post-Shuttle Era

Now, more than ever before, NASA is realizing the value and importance of their intellectual assets. Principles of knowledge management, the systematic use and reuse of information/experience/expertise to achieve a specific goal, are being applied throughout the agency. LSDA is also applying these solutions, which rely on a combination of content and collaboration technologies, to enable research teams to create, capture, share, and harness knowledge to do the things they do well, even better. In the early days of spaceflight, space life sciences data were been collected and stored in numerous databases, formats, media-types and geographical locations. These data were largely unknown/unavailable to the research community. The Biomedical Informatics and Health Care Systems Branch of the Space Life Sciences Directorate at JSC and the Data Archive Project at ARC, with funding from the Human Research Program through the Exploration Medical Capability Element, are fulfilling these requirements through the systematic population of the Life Sciences Data Archive. This project constitutes a formal system for the acquisition, archival and distribution of data for HRP-related experiments and investigations. The general goal of the archive is to acquire, preserve, and distribute these data and be responsive to inquiries from the science communities.

Fitts, Mary A.↗
NASA NTRS2010

Life Sciences Data Archives (LSDA) in the Post-Shuttle Era

Now, more than ever before, NASA is realizing the value and importance of their intellectual assets. Principles of knowledge management-the systematic use and reuse of information, experience, and expertise to achieve a specific goal-are being applied throughout the agency. LSDA is also applying these solutions, which rely on a combination of content and collaboration technologies, to enable research teams to create, capture, share, and harness knowledge to do the things they do well, even better. In the early days of spaceflight, space life sciences data were collected and stored in numerous databases, formats, media-types and geographical locations. These data were largely unknown/unavailable to the research community. The Biomedical Informatics and Health Care Systems Branch of the Space Life Sciences Directorate at JSC and the Data Archive Project at ARC, with funding from the Human Research Program through the Exploration Medical Capability Element, are fulfilling these requirements through the systematic population of the Life Sciences Data Archive. This project constitutes a formal system for the acquisition, archival and distribution of data for HRP-related experiments and investigations. The general goal of the archive is to acquire, preserve, and distribute these data and be responsive to inquiries for the science communities. Information about experiments and data, as well as non-attributable human data and data from other species' are available on our public Web site http://lsda.jsc.nasa.gov. The Web site also includes a repository for biospecimens, and a utilization process. NASA has undertaken an initiative to develop a Shuttle Data Archive repository. The Shuttle program is nearing its end in 2010 and it is critical that the medical and research data related to the Shuttle program be captured, retained, and usable for research, lessons learned, and future mission planning. Communities of practice are groups of people who share a concern or a passion for something they do, and learn how to do it better as they interact regularly. LSDA works with the HRP community of practice to ensure that we are preserving the relevant research and data they need in the LSDA repository. An evidence-based approach to risk management is required in space life sciences. Evidence changes over time. LSDA has a pilot project with Collexis, a new type of Web-based search engine. Collexis differentiates itself from full-text search engines by making use of thesauri for information retrieval. The high-quality search is based on semantics that have been defined in a life sciences ontology. Additionally, Collexis' matching technology is unique, allowing discovery of partially matching dicuments. Users do not have to construct a complicated (Boolean) search query, but can simply enter a free text search without the risk of getting "no results". Collexis may address these issues by virtue of its retrieval and discovery capabilities across multiple repositories.

Fitts, Mary A.↗
NASA NTRS1992

Diskoseismology - Signatures of black hole accretion disks

General relativity requires the existence of a spectrum of oscillations which are trapped near the inner edge of accretion disks around black holes. We have developed a general formalism for analyzing the normal modes of such acoustic perturbations of arbitrary thin disk models, approximating the dominant relativistic effects via a modified Newtonian potential (these modes do not exist in Newtonian gravity). The eigenfunctions and eigenfrequencies of a variety of disk models are found to fall in to two main classes, which are analogous to the p-modes and g-modes in the sun. In this work, we compute the eigenfunctions and eigenfrequencies of isothermal disks. The (relatively small) rates of growth or damping of these oscillations due to gravitational radiation and parameterized models of viscosity are also computed.

Nowak, Michael↗
NASA NTRS1976

Pressure fluctuations on the surface of a cylinder in uniform flow

The problem of determining the pressure fluctuations induced on the surface of a cylinder by the fluctuating wake behind it is formulated. A formal solution relating the unsteady surface pressure field to the velocity field in the wake is derived and used to obtain general results independent of cylinder shape and Reynolds number. The case of the circular cylinder is then examined in detail.

Ayoub, A.↗
NASA NTRS1983

The ultraviolet excess of luminous quasars. II - Evidence for massive accretion disks

This paper presents new infrared, optical, and ultraviolet spectra of three high-redshift quasars. They are analyzed along with three published quasar spectra. After accounting for other sources of radiation, the continua are fitted with spectra predicted for optically thick steady-state accretion disks which include the effects of general relativity. The two fitting parameters, the mass of the accreting black hole and the accretion rate, are determined by the data with a formal accuracy of 20 percent. The masses range from 0.2-0.5 billion solar mass for 3C 273 and PKS 0405-123 to 1-3 billion solar masses for the high-redshift quasars. The values depend on the assumed disk inclination and the angular momentum of the hole. The high luminosities of these six quasars are all within a factor of 2 of their Eddington limits, and this conclusion is not extremely sensitive to the modeling assumptions.

Malkan, M. A.↗
NASA NTRS1985

Collsionless tearing instability in a non-Maxwellian neutral sheet - An integro-differential formulation

In the present investigation, a general integro-differential formalism is derived for the study of the collisionless tearing mode in a highly non-Maxwellian neutral sheet in which both electrons and ions are treated kinetically. The obtained formalism is applied to a specific non-Maxwellian distribution. The dispersion relation for the considered system is determined, taking into account the fundamental harmonic of the orbital frequency. It is found that the dispersion relation is dominated by the electrons. The results are presented in a number of graphs. The growth rates of non-Maxwellian distributions are generally much greater than the growth rate of the conventional isotropic tearing instability.

Chen, J.↗
NASA NTRS1972

Hamiltonian cosmology.

The study of cosmological models by means of equations of motion in Hamiltonian form is considered. Hamiltonian methods applied to gravity seem to go back to Rosenfeld (1930), who constructed a quantum-mechanical Hamiltonian for linearized general relativity theory. The first to notice that cosmologies provided a simple model in which to demonstrate features of Hamiltonian formulation was DeWitt (1967). Applications of the ADM formalism to homogeneous cosmologies are discussed together with applications of the Hamiltonian formulation, giving attention also to Bianchi-type universes. Problems involving the concept of superspace and techniques of quantization are investigated.

Ryan, M.↗
NASA NTRS2007

The Local Stellar Velocity Field via Vector Spherical Harmonics

We analyze the local field of stellar tangential velocities for a sample of 42,339 nonbinary Hipparcos stars with accurate parallaxes, using a vector spherical harmonic formalism. We derive simple relations between the parameters of the classical linear model (Ogorodnikov-Milne) of the local systemic field and low-degree terms of the general vector harmonic decomposition. Taking advantage of these relationships, we determine the solar velocity with respect to the local stars of (V(sub X), V(sub Y), V(sub Z)) (10.5, 18.5, 7.3) +/- 0.1 km s(exp -1) not corrected for the asymmetric drift with respect to the local standard of rest. If only stars more distant than 100 pc are considered, the peculiar solar motion is (V(sub X), V(sub Y), V(sub Z)) (9.9, 15.6, 6.9) +/- 0.2 km s(exp -1). The adverse effects of harmonic leakage, which occurs between the reflex solar motion represented by the three electric vector harmonics in the velocity space and higher degree harmonics in the proper-motion space, are eliminated in our analysis by direct subtraction of the reflex solar velocity in its tangential components for each star. The Oort parameters determined by a straightforward least-squares adjustment in vector spherical harmonics are A=14.0 +/- 1.4, B=13.1 +/- 1.2, K=1.1 +/- 1.8, and C=2.9 +/- 1.4 km s(exp -1) kpc(exp -1). The physical meaning and the implications of these parameters are discussed in the framework of a general linear model of the velocity field. We find a few statistically significant higher degree harmonic terms that do not correspond to any parameters in the classical linear model. One of them, a third-degree electric harmonic, is tentatively explained as the response to a negative linear gradient of rotation velocity with distance from the Galactic plane, which we estimate at approximately -20 km s(exp -1) kpc(exp -1). A similar vertical gradient of rotation velocity has been detected for more distant stars representing the thick disk (z greater than 1 kpc), but here we surmise its existence in the thin disk at z less than 200 pc. The most unexpected and unexplained term within the Ogorodnikov-Milne model is the first-degree magnetic harmonic, representing a rigid rotation of the stellar field about the axis -Y pointing opposite to the direction of rotation. This harmonic comes out with a statistically robust coefficient of 6.2 +/- 0.9 km s(exp -1) kpc(exp -1) and is also present in the velocity field of more distant stars. The ensuing upward vertical motion of stars in the general direction of the Galactic center and the downward motion in the anticenter direction are opposite to the vector field expected from the stationary Galactic warp model.

Galaxy↗
NASA NTRS1972

On the decomposition of a dynamical system into non-interacting subsystems.

It is shown that, under rather general conditions, it is possible to formally decompose the dynamics of an n-dimensional dynamical system into a number of non-interacting subsystems. It is shown that these decompositions are in general not simply related to the kinds of observational procedures in terms of which the original state variables of the system are defined. Some consequences of this construction for reductionism in biology are discussed.

Rosen, R.↗
NASA NTRS1992

What's the bottom line payback for TQM?

The purpose of this article is to explore in detail TQM's impact on improving organization performance and how effective TQM strategies are designed and implemented. Both of these issues are addressed primarily by a discussion of a recent study of TQM efforts conducted by the U.S. General Accounting Office (GAO). The GAO study examines the impact of formal TQM improvement strategies on the performance of selected U.S. companies. The study grew out of a concern by a number of U.S. Congressmen that little is known about the impact of various quality-related efforts many companies have adopted to remain viable and profitable in an increasingly competitive world marketplace. Specifically, the study addresses: what has been the performance impact of adopting TQM improvement strategies, how has improved quality been achieved, and what lessons may be applicable to U.S. companies in general. A number of other studies are also used to expand upon the GAO data.

Usilaner, Brian↗
NASA NTRS2000

Generalizing Backtrack-Free Search: A Framework for Search-Free Constraint Satisfaction

Tractable classes of constraint satisfaction problems are of great importance in artificial intelligence. Identifying and taking advantage of such classes can significantly speed up constraint problem solving. In addition, tractable classes are utilized in applications where strict worst-case performance guarantees are required, such as constraint-based plan execution. In this work, we present a formal framework for search-free (backtrack-free) constraint satisfaction. The framework is based on general procedures, rather than specific propagation techniques, and thus generalizes existing techniques in this area. We also relate search-free problem solving to the notion of decision sets and use the result to provide a constructive criterion that is sufficient to guarantee search-free problem solving.

Jonsson, Ari K.↗
NASA NTRS1980

The fate of the downgoing slab - A study of the moment tensors from body waves of complex deep-focus earthquakes

Two large, complex deep-focus earthquakes are analyzed, using body waves, to determine the relative locations and equivalent forces of the component events. Details of the source mechanism determination are given, with special emphasis on the means of comparing results for double-couple and more general models. The formalism includes a description of a method for calculating the confidence ellipses around the principal axes of the moment tensor. An interpretation of the results suggests that the mechanism of deep-focus earthquakes is controlled by the buoyancy of the slab and the change in viscosity at the 650 km discontinuity.

Strelitz, R. A.↗
NASA NTRS2003

On the Applicability of High-frequency Approximations to Lilley's Equation

Three forms of the high-frequency asymptotic Green's function for Lilley's equation are reviewed and compared to the exact solution over wide range of Strouhal numbers. The asymmetric approximation, which applies to sources away form the jet axis, and the quasi-symmetric approximation, which is arrived at by making a near-axis source assumption, are both obtained for parallel round jets from a formal Fourier-transform solution. The ray-theory solution, which is the only high-frequency approximation that can be applied to more general mean flows, follows from a WKB ansatz and is shown to be closely related to the asymmetric approximation. The comparisons show that the best overall prediction of the exact Green's function is given by the asymmetric approximation which remains accurate down to a Strouhal number of 1/2. The close relationship between the asymmetric and ray-theory approximations suggests that the high-frequency asymptotic Green's function for more general mean flows would be similarly successful.

Wundrow, David W.↗
NASA NTRS1987

A structure-based model of semantic integrity constraints for relational data bases

Data base management systems (DBMSs) are in widespread use because of the ease and flexibility with which users access large volumes of data. Ensuring data accuracy through integrity constraints is a central aspect of DBMS use. However, many DBMSs still lack adequate integrity support. In additon, a comprehensive theoretical basis for such support the role of a constraint classification system - has yet to be developed. This paper presents a formalism that classifies semantic integrity constraints based on the structure of the relational model. Integrity constraints are characterized by the portion of the data base structure they access, whether one or more relations, attributes, or tuples. Thus, the model is completely general, allowing the arbitrary specification of any constraint. Examples of each type of constraint are illustrated using a small engineering data base, and various implementation issues are discussed.

Rasdorf, William J.↗
NASA NTRS2009

Rewriting Logic Semantics of a Plan Execution Language

The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA to support autonomous spacecraft operations. In this paper, we propose a rewriting logic semantics of PLEXIL in Maude, a high-performance logical engine. The rewriting logic semantics is by itself a formal interpreter of the language and can be used as a semantic benchmark for the implementation of PLEXIL executives. The implementation in Maude has the additional benefit of making available to PLEXIL designers and developers all the formal analysis and verification tools provided by Maude. The formalization of the PLEXIL semantics in rewriting logic poses an interesting challenge due to the synchronous nature of the language and the prioritized rules defining its semantics. To overcome this difficulty, we propose a general procedure for simulating synchronous set relations in rewriting logic that is sound and, for deterministic relations, complete. We also report on the finding of two issues at the design level of the original PLEXIL semantics that were identified with the help of the executable specification in Maude.

Dowek, Gilles↗
NASA NTRS2018

Addendum to "Impressed Sources and Fields in the Volume-Integral-Equation Formulation of Electromagnetic Scattering by a Finite Object: A Tutorial"

Our recent tutorial referred to in the title has summarized a general theoretical formalism of electromagnetic scattering by an arbitrary finite object in the presence of arbitrarily distributed impressed currents. This addendum builds on the tutorial to provide a streamlined discussion of specific far-field limits and the corresponding reciprocity relations by introducing appropriate far-field operators and linear maps and deriving the reciprocity relations through the pseudo adjoint of these maps. We thereby extend the compact operator calculus used previously to consider the fields and sources near or inside the scattering object.

Impressed Sources↗