Search NASA⌕ Search

SEARCH · Search NASA

Results for “consistency”

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 181 records · Page 10

Torsion as a source of expansion in a Bianchi type-I universe in the self-consistent Einstein-Cartan theory of a perfect fluid with spin density

It is shown that a generalized (or 'power law') inflationary phase arises naturally and inevitably in a simple (Bianchi type-I) anisotropic cosmological model in the self-consistent Einstein-Cartan gravitation theory with the improved stress-energy-momentum tensor with the spin density of Ray and Smalley (1982, 1983). This is made explicit by an analytical solution of the field equations of motion of the fluid variables. The inflation is caused by the angular kinetic energy density due to spin. The model further elucidates the relationship between fluid vorticity, the angular velocity of the inertially dragged tetrads, and the precession of the principal axes of the shear ellipsoid. Shear is not effective in damping the inflation.

Bradas, James C.↗

Consistent boundary conditions for Reduced Navier-Stokes (RNS) scheme applied to 3-dimensional internal viscous flows

A consistent and efficient set of boundary conditions is developed for the multi-sweep space-marching pressure-elliptic Reduced Navier-Stokes (RNS) scheme as applied for 3-D internal viscous flow problems. No-slip boundary conditions are directly imposed on the solid walls. There is no iteration procedure required in the cross plane to ensure mass conservation across each marching plane. The finite difference equations forming the coefficient matrix are ordered such that the surface normal velocity is specified on all the solid walls; unlike external flows, a pressure boundary condition in the cross plane is not required. Since continuity is directly satisfied at all points in the flow domain, the first order momentum equations can be solved directly for the pressure without the need for a Poisson pressure correction equation. The procedure developed herein can also be applied with periodic boundary conditions. The analysis is given for general compressible flows. Incompressible flow solutions are obtained, for straight and curved ducts of square cross section, to validate the procedure. These solutions are used to demonstrate the applicability of the RNS scheme, with the improved boundary conditions for internal flows with strong interaction, as would be encountered in ducts and turbomachinery geometries.

Reddy, D. R.↗

Consistent linearization of the element-independent corotational formulation for the structural analysis of general shells

A consistent linearization is provided for the element-dependent corotational formulation, providing the proper first and second variation of the strain energy. As a result, the warping problem that has plagued flat elements has been overcome, with beneficial effects carried over to linear solutions. True Newton quadratic convergence has been restored to the Structural Analysis of General Shells (STAGS) code for conservative loading using the full corotational implementation. Some implications for general finite element analysis are discussed, including what effect the automatic frame invariance provided by this work might have on the development of new, improved elements.

Rankin, C. C.↗

Raychaudhuri equation in the self-consistent Einstein-Cartan theory with spin-density

The physical implications of the Raychaudhuri equation for a spinning fluid in a Riemann-Cartan spacetime is developed and discussed using the self-consistent Lagrangian based formulation for the Einstein-Cartan theory. It was found that the spin-squared terms contribute to expansion (inflation) at early times and may lead to a bounce in the final collapse. The relationship between the fluid's vorticity and spin angular velocity is clarified and the effect of the interaction terms between the spin angular velocity and the spin in the Raychaudhuri equation investigated. These results should prove useful for studies of systems with an intrinsic spin angular momentum in extreme astrophysical or cosmological problems.

Fennelly, A. J.↗

Self-consistent analysis of gain saturation in channeled-substrate-planar double-heterojunction lasers

A self-consistent model for semiconductor lasers (using the channeled-substrate-planar (CSP) double-heterojunction (DH) laser as an example) which does not assume constant optical power along the laser axis is developed. This approach allows for the analysis of high-power lasers with low facet reflectivities which produce nonuniform photon densities along the propagation direction. Analytical equations for the modal gain coefficient, the threshold current density, and the radiated power for a specific CSP laser structure are obtained.

Butler, Jerome K.↗

Consistent boundary conditions for reduced Navier-Stokes (RNS) scheme applied to three-dimensional internal viscous flows

Three-dimensional internal viscous flow problems are presently addressed by a consistent and efficient set of boundary conditions for the multisweep space-marching, pressure-elliptic Reduced Navier-Stokes scheme. Since continuity is by this means directly satisfied at all points in the flow domain, the first-order momentum equations are directly solvable for pressure without the requirement for a Poisson pressure-correction equation. Incompressible flow solutions are obtained for straight and curved ducts of square cross section, in order to validate the procedure. Usefulness is demonstrated for internal flows with strong interactions, as would be found in turbomachine geometries.

Reddy, D. R.↗

Self-consistent calculations and design considerations for a GaAs nipi doping superlattice solar cell

The authors present design constraints which show that a previously proposed GaAs nipi doping superlattice solar cell structure would not work as an efficient space solar cell. A structure based on the CLEFT process, which shows promise of being an efficient cell with very high radiation tolerance, is proposed. In order to test theoretically its viability and to optimize its design, self-consistent quantum mechanical calculations were made for a number of thicknesses of the n, i, and p layers and the dopings in the n and p layers. These results show that: 1) an i layer is not necessary; in fact, its presence makes it difficult to satisfy one of the key constraints; 2) a near-optimum design with 750-A thick n and p layers with dopings of 2.5E18/cu cm and a selective contact separation of 20 microns would yield both high efficiency and very high radiation tolerance.

Clark, Ralph O.↗

Development of tandem cells consisting of GaAs single crystal and CuInSe2/CdZnS polycrystalline thin films

The tandem cells consisting of GaAs single crystal and CuInSe2 polycrystalline thin films are being developed under the joint program of the Boeing Co. and Kopin Corp. to meet the increasing power needs for future spacecraft. The updated status of this program is presented along with experimental results such as cell performance, and radiation resistance. Other cell characteristics including the specific power of and the interconnect options for this tandem cell approach are also discussed.

Kim, Namsoo P.↗

Self-consistent model of the low-latitude boundary layer

A simple, two-dimensional, steady state, viscous model of the dawnside and duskside low-latitude boundary layer is presented. The model described boundary layer currents, magnetic fields, and plasma flow in a self-consistent way. Coupling to the ionosphere via field-aligned currents and associated field-aligned potential drops governed by a simple conductance law are included in the model. The model equations are given and the results from the model are compared with observations.

Phan, T. D.↗

Consistent vertical and horizontal resolution

Simple physical relations (namely, the Rossby ratio between vertical and horizontal scales in quasi-geostrophic flow and the dispersion relation for internal gravity waves) are used to estimate the vertical resolution consistent with a given horizontal resolution. Using these relations it is found that virtually all large scale models and observing systems have inadequate vertical resolution. In models, the excess horizontal resolution can lead to increased model 'noise' rather than improved accuracy. In observing systems, the finer horizontal scales can be severely misrepresented.

Lindzen, Richard S.↗

A self-consistent model for the particles and fields upstream of an outgassing comet. I - Gyrotropic and isotropic ion distributions

The magnetic field and solar wind flow parameters in the vicinity of a weakly outgassing comet are determined using a self-consistent model which treats the cometary ions kinetically. Two different assumptions are made concerning the cometary ion distribution function; the pickup cometary ions from either a velocity space gyrotropic ring distribution or a velocity space isotropic shell distribution in the solar wind frame of reference. The individual currents due to the solar wind and cometary ions, which determine the magnetic field, are calculated in each case. Using theoretically determined parameters which reflect the conditions expected to comet Kopff (a typical short-period comet and one possible target for the future CRAF/Cassini mission) for various heliocentric distances, the way in which global field and flow characteristics are influenced by the nature of the cometary ion distribution function is determined.

Flammer, K. R.↗

Maintaining consistency in distributed systems

In systems designed as assemblies of independently developed components, concurrent access to data or data structures normally arises within individual programs, and is controlled using mutual exclusion constructs, such as semaphores and monitors. Where data is persistent and/or sets of operation are related to one another, transactions or linearizability may be more appropriate. Systems that incorporate cooperative styles of distributed execution often replicate or distribute data within groups of components. In these cases, group oriented consistency properties must be maintained, and tools based on the virtual synchrony execution model greatly simplify the task confronting an application developer. All three styles of distributed computing are likely to be seen in future systems - often, within the same application. This leads us to propose an integrated approach that permits applications that use virtual synchrony with concurrent objects that respect a linearizability constraint, and vice versa. Transactional subsystems are treated as a special case of linearizability.

Birman, Kenneth P.↗

Using consistent subcuts for detecting stable properties

We present a general protocol for detecting whether a property holds in a distributed system, where the property is a member of a subclass of stable properties we call the locally stable properties. Our protocol is based on a decentralized method for constructing a maximal subset of the local states that are mutually consistent, which in turn is based on a weakened version of vectored time stamps. The structure of our protocol lends itself to refinement, and we demonstrate its utility by deriving some specialized property-detection protocols, including two previously known protocols that are known to be effective.

Marzullo, Keith↗

Compatibility and consistency in aircrew decision aiding

A group of 32 subjects performed a flight-control task while responding to between one and four analog indicators that were formatted as either command or status-decision aid displays. The results obtained indicate the advantage of the status format when subjects are required to verbally support the state of the indicator(s), in part, because the command format 'bypasses' the representation of the indicator's state from which the command was derived. No advantage is noted for either format in the case where the subjects are required to manually correct the state indicated. The importance of consistency in system-design efforts may exceed that of compatibility.

Andre, Anthony D.↗

Formal verification of an oral messages algorithm for interactive consistency

The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving,' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification.

Rushby, John↗

'Self-consistent' production of ion conics on return current region auroral field lines - A time-dependent, semi-kinetic model

We describe initial results from a time-dependent, semi-kinetic model of plasma outflow incorporating wave-particle interactions along current-carrying auroral field lines. Electrostatic waves are generated by the current driven ion cyclotron instability (CDICI), causing perpendicular velocity diffusion of ions plus electron heating via anomalous resistivity when and where the relative drift between electrons and ions exceeds certain critical velocities. Using the local bulk parameters we calculate these critical velocities, and so are able to self-consistently switch on and off the heating of the various particle species. Due to the dependence of these critical velocities on the bulk parameters of the species the heating effects exhibit quite complex spatial and temporal variations. A wide range of ion distribution functions are observed in these simulations, including conics with energies of a few electron volts and 'ring' distributions. The rings are seen to be a natural result of transverse heating and velocity filter effects and do not require coherent acceleration processes. We also observe the formation of a density depletion in hydrogen and enhanced oxygen densities at high altitudes.

Brown, David G.↗

Critical experiments of the self-consistent model for polycrystalline Hastelloy-X

A viscoplastic constitutive model is presented for the estimation of the overall mechanical response of Hastelloy-X polycrystalline metals from a knowledge of single crystal behavior. The behavior of polycrystal is derived from that of single crystals using a self-consistent formulation. The single crystal behavior which has been used was developed by summing postulated slip on crystallographic slip systems. The plasticity and creep are treated coupledly using unified viscoplastic model which includes the interaction effects between rapid and slow deformation at elevated temperature. The validity of the model is directly tested by experiments on Hastelloy-X in both single crystal and polycrystalline versions.

Shi, Shixiang↗

Consistency of spherical, gravity-dominated dynamics with quasar high-ionization emission-line profiles

Line profile data are used to test a simple kinematic model - spherically symmetric gravitational free fall - in which the number of free parameters is limited by requiring physical self-consistency. The predictions of this model are fitted to high-resolution spectra of the stronger rest-frame UV emission lines in 12 quasars with z of about 2. It is found that if all the lines are radiated predominantly from the illuminated faces of the emission-line clouds, the profiles of Ly-alpha, N V 1240 A, and C IV 1549 A can be simultaneously well fitted with very similar parameters for all 12 quasars. It is concluded that spherically symmetric gravitational free fall does not correctly describe the dynamics of quasar broad emission-line regions.

Kallman, T. R.↗