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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

The use of typed lambda calculus for comprehension and construction of simulation models in the domain of ecology

We are concerned with two important issues in simulation modelling: model comprehension and model construction. Model comprehension is limited because many important choices taken during the modelling process are not documented. This makes it difficult for models to be modified or used by others. A key factor hindering model construction is the vast modelling search space which must be navigated. This is exacerbated by the fact that many modellers are unfamiliar with the terms and concepts catered to by current tools. The root of both problems is the lack of facilities for representing or reasoning about domain concepts in current simulation technology. The basis for our achievements in both of these areas is the development of a language with two distinct levels; one for representing domain information, and the other for representing the simulation model. Of equal importance, is the fact that we make formal connections between these two levels. The domain we are concerned with is ecological modelling. This language, called Elklogic, is based on the typed lambda calculus. Important features include a rich type structure, the use of various higher order functions, and semantics. This enables complex expressions to be constructed from relatively few primitives. The meaning of each expression can be determined in terms of the domain, the simulation model, or the relationship between the two. We describe a novel representation for sets and substructure, and a variety of other general concepts that are especially useful in the ecological domain. We use the type structure in a novel way: for controlling the modelling search space, rather than a proof search space. We facilitate model comprehension by representing modelling decisions that are embodied in the simulation model. We represent the simulation model separately from, but in terms of a domain mode. The explicit links between the two models constitute the modelling decisions. The semantics of Elklogic enables English text to be generated to explain the simulation model in domain terms.

Uschold, Michael↗
NASA NTRS1991

A Variational Formalism for the Radiative Transfer Equation: Prelude to Model 3

The MODEL III variational data assimilation model is the third of four general assimilation models designed to blend weather data measured from space based platforms in the meteorological data mainstream in a way that maximizes the information content of the satellite data. Because there are many different observation locations and there are many instruments with different measurement error characteristics, it is also necessary to require that the blending be done to maximize the information content of the data and simultaneously to retain a dynamically consistent and reasonably accurate description of the state of the atmosphere. This is ideally a variational problem for which the data receive relative weights that are inversely proportional to measurement error and are adjusted to satisfy a set of dynamical equations that govern atmospheric processes. The advantage of MODEL III over the previous two models is that radiance, the atmospheric variable measured by satellite, becomes a dependent variable. In the previous versions, mean layer temperatures that had been retrieved from the radiances by some method, were included in the assimilation by substituting them in place of the rawinsonde temperatures. Now both rawinsonde temperatures and satellite radiances are included independently in the assimilation.

Achtemeier, Gary L.↗
NASA NTRS2017

General Nobile and the Airship Italia: No Second-In-Command

The airship Italia, commanded by General Umberto Nobile, crashed during its return flight from the North Pole in 1928. Prior work has demonstrated the possibility that this crash was fatigue-related, due to significant sleep-deprivation on the part of its Commander, and to resulting errors in cognition and judgment. However, the underlying cause of the fatigue was likely due to the fact that the Commander did not have a Second-In-Command on board to take over duties while the Commander was allowed to rest. At that time the Second-In-Command was a formally designated position, and according to Nobiles previous writings was considered to be a necessary crew member on an airship.

Second-In-Command↗
NASA NTRS1987

Use of a minimum rate of change formalism to quantify variability of extragalactic X-ray sources

A method to obtain rigorous, quantitative constraints on the rate of variability is suggested. The method is motivated by the case when the existence of time variability is unequivocal, but the statistical uncertainties are too large to apply more direct methods such as power spectrum analysis. Conceptually the data are fitted to a function of time and a set of free parameters. The method of Lagrange multipliers is used to solve for that parameter set which minimizes the value of the derivative at time t(m). The result can be related physically to the minimum efficiency with which rest mass must be converted to radiation energy. Slightly different formulations of the general principal are used to estimate maximum source size scales associated with the variability.

Schwartz, Daniel A.↗
NASA NTRS2017

The HITRAN2016 Molecular Spectroscopic Database

This paper describes the contents of the 2016 edition of the HITRAN molecular spectroscopic compilation. The new edition replaces the previous HITRAN edition of 2012 and its updates during the intervening years. The HITRAN molecular absorption compilation is composed of five major components: the traditional line-by-line spectroscopic parameters required for high-resolution radiative-transfer codes, infrared absorption cross-sections for molecules not yet amenable to representation in a line-by-line form, collision-induced absorption data, aerosol indices of refraction, and general tables such as partition sums that apply globally to the data. The new HITRAN is greatly extended in terms of accuracy, spectral coverage, additional absorption phenomena, added line-shape formalisms, and validity. Moreover, molecules, isotopologues, and perturbing gases have been added that address the issues of atmospheres beyond the Earth. Of considerable note, experimental IR cross-sections for almost 300 additional molecules important in different areas of atmospheric science have been added to the database. The compilation can be accessed through www.hitran.org. Most of the HITRAN data have now been cast into an underlying relational database structure that offers many advantages over the long-standing sequential text-based structure. The new structure empowers the user in many ways. It enables the incorporation of an extended set of fundamental parameters per transition, sophisticated line-shape formalisms, easy user-defined output formats, and very convenient searching, filtering, and plotting of data. A powerful application programming interface making use of structured query language (SQL) features for higher-level applications of HITRAN is also provided.

HITRAN↗
NASA NTRS1988

Integrated Technology Rotor Methodology Assessment Workshop

The conference proceedings contains 14 formal papers and the results of two panel discussions. In addition, a transcript of discussion that followed the paper presentations and panels is included. The papers are of two kinds. The first seven papers were directed specifically to the correlation of industry and government mathematical models with data for rotorcraft stability from six experiments. The remaining 7 papers dealt with related topics in the prediction of rotor aeroelastic or aeromechanical stability. The first of the panels provided an evaluation of the correlation that was shown between the mathematical models and the experimental data. The second panel addressed the general problems of the validation of mathematical models.

Mcnulty, Michael J.↗
NASA NTRS1992

Damage to cellular DNA from particulate radiations, the efficacy of its processing and the radiosensitivity of mammalian cells. Emphasis on DNA double strand breaks and chromatin breaks

For several years, it has been evident that cellular radiation biology is in a necessary period of consolidation and transition (Lett 1987, 1990; Lett et al. 1986, 1987). Both changes are moving apace, and have been stimulated by studies with heavy charged particles. From the standpoint of radiation chemistry, there is now a consensus of opinion that the DNA hydration shell must be distinguished from bulk water in the cell nucleus and treated as an integral part of DNA (chromatin) (Lett 1987). Concomitantly, sentiment is strengthening for the abandonment of the classical notions of "direct" and "indirect" action (Fielden and O'Neill 1991; O'Neill 1991; O'Neill et al. 1991; Schulte-Frohlinde and Bothe 1991 and references therein). A layer of water molecules outside, or in the outer edge of, the DNA (chromatin) hydration shell influences cellular radiosensitivity in ways not fully understood. Charge and energy transfer processes facilitated by, or involving, DNA hydration must be considered in rigorous theories of radiation action on cells. The induction and processing of double stand breaks (DSBs) in DNA (chromatin) seem to be the predominant determinants of the radiotoxicity of normally radioresistant mammalian cells, the survival curves of which reflect the patterns of damage induced and the damage present after processing ceases, and can be modelled in formal terms by the use of reaction (enzyme) kinetics. Incongruities such as sublethal damage are neither scientifically sound nor relevant to cellular radiation biology (Calkins 1991; Lett 1990; Lett et al. 1987a). Increases in linear energy transfer (LET infinity) up to 100-200 keV micron-1 cause increases in the extents of neighboring chemical and physical damage in DNA denoted by the general term DSB. Those changes are accompanied by decreasing abilities of cells normally radioresistant to sparsely ionizing radiations to process DSBs in DNA and chromatin and to recover from radiation exposure, so they make significant contributions to the relative biological effectiveness (RBE) of a given radiation.(ABSTRACT TRUNCATED AT 400 WORDS).

Non-NASA Center↗
NASA NTRS1994

Steps toward determination of the size and structure of the broad-line region in active galactic nuclei. 5: Variability of the ultraviolet continuum and emission lines of NGC 3783

We report on the results of intensive ultraviolet spectral monitoring of the Seyfert 1 galaxy NGC 3783. The nucleus of NGC 3783 was observed with the International Ultraviolet Explorer satellite on a regular basis for a total of 7 months, once every 4 days for the first 172 days and once every other day for the final 50 days. Significant variability was observed in both continuum and emission-line fluxes. The light curves for the continuum fluxes exhibited two well-defined local minima or 'dips,' the first lasting is less than or approximately 20 days and the second is less than or approximately 4 days, with additional episodes of relatively rapid flickering of approximately the same amplitude. As in the case of NGC 5548 (the only other Seyfert galaxy that has been the subject of such an intensive, sustained monitoring effort), the largest continuum variations were seen at the shortest wavelengths, so that the continuum became 'harder' when brighter. The variations in the continuum occurred simultaneously at all wavelengths (delta(t) is less than 2 days). Generally, the amplitude of variability of the emission lines was lower than (or comparable to) that of the continuum. Apart from Mg II (which varied little) and N V (which is relatively weak and badly blended with Ly(alpha), the light curves of the emission lines are very similar to the continuum light curves, in each case with a small systematic delay or 'lag.' As for NGC 5548, the highest ionization lines seem to respond with shorter lags than the lower ionization lines. The lags found for NGC 3783 are considerably shorter than those obtained for NGC 5548, with values of (formally) approximately 0 days for He II + O III), and approximately 4 days for Ly(alpha) and C IV. The data further suggest lags of approximately 4 days for Si IV + O IV) and 8-30 days for Si III + C III). Mg II lagged the 1460 A continuum by approximately 9 days, although this result depends on the method of measuring the line flux and may in fact be due to variability of the underlying Fe II lines. Correlation analysis further shows that the power density spectrum contains substantial unresolved power over timescales of is less than or approximately 2 days, and that the character of the continuum variability may change with time.

Reichert, G. A.↗
NASA NTRS2008

From Informal Safety-Critical Requirements to Property-Driven Formal Validation

Most of the efforts in formal methods have historically been devoted to comparing a design against a set of requirements. The validation of the requirements themselves, however, has often been disregarded, and it can be considered a largely open problem, which poses several challenges. The first challenge is given by the fact that requirements are often written in natural language, and may thus contain a high degree of ambiguity. Despite the progresses in Natural Language Processing techniques, the task of understanding a set of requirements cannot be automatized, and must be carried out by domain experts, who are typically not familiar with formal languages. Furthermore, in order to retain a direct connection with the informal requirements, the formalization cannot follow standard model-based approaches. The second challenge lies in the formal validation of requirements. On one hand, it is not even clear which are the correctness criteria or the high-level properties that the requirements must fulfill. On the other hand, the expressivity of the language used in the formalization may go beyond the theoretical and/or practical capacity of state-of-the-art formal verification. In order to solve these issues, we propose a new methodology that comprises of a chain of steps, each supported by a specific tool. The main steps are the following. First, the informal requirements are split into basic fragments, which are classified into categories, and dependency and generalization relationships among them are identified. Second, the fragments are modeled using a visual language such as UML. The UML diagrams are both syntactically restricted (in order to guarantee a formal semantics), and enriched with a highly controlled natural language (to allow for modeling static and temporal constraints). Third, an automatic formal analysis phase iterates over the modeled requirements, by combining several, complementary techniques: checking consistency; verifying whether the requirements entail some desirable properties; verify whether the requirements are consistent with selected scenarios; diagnosing inconsistencies by identifying inconsistent cores; identifying vacuous requirements; constructing multiple explanations by enabling the fault-tree analysis related to particular fault models; verifying whether the specification is realizable.

Cimatti, Alessandro↗
NASA NTRS1991

Hybrid accretion disks in active galactic nuclei. I - Structure and spectra

A unified treatment is presented of the two distinct states of vertically thin AGN accretion disks: a cool (about 10 to the 6th K) optically thick solution, and a hot (about 10 to the 9th K) optically thin solution. A generalized formalism and a new radiative cooling equation valid in both regimes are introduced. A new luminosity limit is found at which the hot and cool alpha solutions merge into a single solution of intermediate optical depth. Analytic solutions for the disk structure are given, and output spectra are computed numerically. This is used to demonstrate the prospect of fitting AGN broadband spectra containing both the UV bump as well as the hard X-ray and gamma-ray tail, using a single accretion disk model. Such models are found to make definite predictions about the observed spectrum, such as the relation between the hard X-ray spectral index, the UV-to-X-ray luminosity ratio, and a feature of about 1 MeV.

Wandel, Amri↗
NASA NTRS1976

Search for evidence of a preferred reference frame

Some gravitation theories, in contradiction to general relativity, allow the existence of a universal preferred reference frame. Also allowed in some theories can be a galaxy-induced anisotropy of the gravitation constant. The parametrized post-Newtonian theory predicts that in these cases, there will be anomalous earth-tide amplitudes at specific frequencies. An 18-month earth-tide record obtained with the superconducting gravimeter has been examined for such anomalies. The data allow for the existence of such effects but cannot prove it because of uncertainties concerning geophysical perturbations of the tides. However, an upper limit to the preferred frame parameter of the parametrized post-Newtonian formalism is established at 0.002. The results also set a less rigorous limit on the anisotropy parameter, of the order of 0.001.

Warburton, R. J.↗
NASA NTRS1992

Software design as a problem in learning theory (a research overview)

Our interest in automating software design has come out of our research in automated reasoning, inductive inference, learnability, and algebraic machine theory. We have investigated these areas extensively, in connection with specific problems of language representation, acquisition, processing, and design. In the case of formal context-free (CF) languages we established existence of finite learnable models ('behavioral realizations') and procedures for constructing them effectively. We also determined techniques for automatic construction of the models, inductively inferring them from finite examples of how they should 'behave'. These results were obtainable due to appropriate representation of domain knowledge, and constraints on the domain that the representation defined. It was when we sought to generalize our results, and adapt or apply them, that we began investigating the possibility of determining similar procedures for constructing correct software. Discussions with other researchers led us to examine testing and verification processes, as they are related to inference, and due to their considerable importance in correct software design. Motivating papers by other researchers, led us to examine these processes in some depth. Here we present our approach to those software design issues raised by other researchers, within our own theoretical context. We describe our results, relative to those of the other researchers, and conclude that they do not compare unfavorably.

Fass, Leona F.↗
NASA NTRS2011

Stellar Mixing: I. Formalism

In this paper we use the Reynolds stress models (RSM) to derive algebraic expressions for the following variables: a) heat fluxes; b) J.l fluxes; and c) momentum fluxes. These relations, which are fully 3D, include: 1) stable and unstable stratification, represented by the Brunt-Vaislila frequency, N(exp 2) =-g/H(sub p_(del - del(sub ad))(1 - RI(sub mu)); 2) double diffusion, salt-fingers, and semi-convection, represented by the density ratio R(sub mu) = del(sub mu)/(del - del(sub ad)); 3) shear (differential rotation), represented by the mean squared shear Sigma(exp 2) or by the Richardson number, Ri =N(exp 2)Sigma(exp -2); 4) radiative losses represented by a Peclet number, Pe; 5) a complete analytical solution of the ID version of the model. In general, the model requires the solution of two differential equations for the eddy kinetic energy K and its rate of dissipation, epsilon. In the local and stationary cases, when production equals dissipation, the model equations are all algebraic.

Canuto, V .M.↗
NASA NTRS2020

Burning Embers: Towards More Transparent and Robust Climate-change Risk Assessments

The Intergovernmental Panel on Climate Change (IPCC) reports provide policy-relevant insights about climate impacts, vulnerabilities and adaptation through a process of peer-reviewed literature assessments underpinned by expert judgement. An iconic output from these assessments is the burning embers diagram, first used in the Third Assessment Report to visualize reasons for concern, which aggregate climate-change-related impacts and risks to various systems and sectors. These burning embers use colour transitions to show changes in the assessed level of risk to humans and ecosystems as a function of global mean temperature. In this Review, we outline the history and evolution of the burning embers and associated reasons for concern framework, focusing on the methodological approaches and advances. While the assessment framework and figure design have been broadly retained over time, refinements in methodology have occurred, including the consideration of different risks, use of confidence statements, more formalized protocols and standardized metrics. Comparison across reports reveals that the risk level at a given temperature has generally increased with each assessment cycle, reflecting accumulating scientific evidence. For future assessments, an explicit, transparent and systematic process of expert elicitation is needed to enhance comparability, quality and credibility of burning embers.

burning embers diagram↗
NASA NTRS1986

General constraints on the age and chemical evolution of the Galaxy

The formalism of Schramm and Wasserburg (1970) for determining the mean age of the elements is extended to develop as model-independent a range for the Galaxy's age as possible that takes all nuclear and meteoritic data uncertainties into account. A model-independent upper limit to that age is derived from an expansion of the equation giving the mean age of the elements in moments of the normalized effective nucleosynthesis rate. This limit depends only on the ratio of the mean time of formation of the elements to the total duration of nucleosynthesis, and on model-independent data. It is shown tht the Th-232/U-238. U-235/U-238, and Pu-244/U-238 chronometric pairs can give constraints on the relative rate of nucleosynthesis over the history of the synthesis of the solar system material.

Meyer, Bradley S.↗
NASA NTRS1993

Magnetohydrodynamic wave propagation in one-dimensional nonhomogeneous, self-gravitating clouds

We study the propagation of magnetohydrodynamic (MHD) waves through nonhomogeneous, selfgravitating, magnetic media representative of molecular cloud environments and focus on the issues of cloud support and line profiles. Since the general treatment of this topic is burdened by a complex mathematical formalism, we consider simplifying geometries which yield analytical solutions in the linear wave limit. In particular, we study both magnetoacoustic and Alfven wave propagation along the density gradient in a one-imensional slab. Of specific relevance to molecular clouds, we find that the back reaction of the Alfven waves can provide a pressure along the direction of the magnetic field lines; this pressure can help support a density enhancement against gravitational collapse. Furthermore, we find that the velocity amplitudes of these waves increase as the density decreases, in rough agreement with observational estimates of line width versus density relations.

Fatuzzo, Marco↗
NASA NTRS1985

A Unified Representation Scheme for Solid Geometric Objects Using B-splines (extended Abstract)

A geometric representation scheme called the B-spline cylinder, which consists of interpolation between pairs of uniform periodic cubic B-spline curves is discussed. This approach carries a number of interesting implications. For one, a single relatively simple database schema can be used to represent a reasonably large class of objects, since the spline representation is flexible enough to allow a large domain of representable objects at very little cost in data complexity. The model is thus very storage-efficient. A second feature of such a system is that it reduces to one the number of routines which the system must support to perform a given operation on objects. Third, the scheme enables easy conversion to and from other representations. The formal definition of the cylinder entity is given. In the geometric properties of the entity are explored and several operations on such objects are defined. Some general purpose criteria for evaluating any geometric representation scheme are introduced and the B-spline cylinder scheme according to these criteria is evaluated.

Bahler, D.↗
NASA NTRS1978

The 3 K blackbody radiation, Dirac's Large Numbers Hypothesis, and scale-covariant cosmology

A program is described which is intended to derive a generalized system of gravitational equations that allow (but do not require) G to vary, to use the 3-K blackbody radiation to fix the relation between G and the gauge function, and to employ Dirac's (1937) Large Numbers Hypothesis to derive the geometry of the universe. Einstein's equations are retained in their total integrity, but the specification is made that they are valid only when gravitational units are used. A scale-invariant form of Einstein's equations is obtained, and from this are derived the energy conservation law, the baryon-number conservation law, and the appropriate cosmological equations. Dirac's proposals of 1937 and 1973 are incorporated into the formalism, and a gauge based on consolidation of the 3-K blackbody radiation is presented. A unique solution for the geometry of the universe is determined for zero curvature solely from the 3-K radiation and the Large Numbers Hypothesis; this solution predicts a deceleration parameter exactly equal to unity.

Canuto, V.↗