Search NASA⌕ Search

SEARCH · Search NASA

Results for “Variants”

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 451 records · Page 25

Finite-Difference Algorithms For Computing Sound Waves

Governing equations considered as matrix system. Method variant of method described in "Scheme for Finite-Difference Computations of Waves" (ARC-12970). Present method begins with matrix-vector formulation of fundamental equations, involving first-order partial derivatives of primitive variables with respect to space and time. Particular matrix formulation places time and spatial coordinates on equal footing, so governing equations considered as matrix system and treated as unit. Spatial and temporal discretizations not treated separately as in other finite-difference methods, instead treated together by linking spatial-grid interval and time step via common scale factor related to speed of sound.

Davis, Sanford↗

An alternate method for achieving temperature control in the -130 C to 75 C range

Thermal vacuum testing often requires temperature control of chamber shrouds and heat exchangers within the -130 C to 75 C range. There are two conventional methods which are normally employed to achieve control through this intermediate temperature range: (1) single-pass flow where control is achieved by alternately pulsing hot gaseous nitrogen (GN2) and cold LN2 into the feed line to yield the setpoint temperature; and (2) closed-loop circulation where control is achieved by either electrically heating or LN2 cooling the circulating GN2 to yield the setpoint temperature. A third method, using a mass flow ratio controller along with modulating control valves on GN2 and LN2 lines, provides excellent control but equipment for this method is expensive and cost-prohibitive for all but long-term continuous processes. The single-pass method provides marginal control and can result in unexpected overcooling of the test article from even a short pulse of LN2. The closed-loop circulation method provides excellent control but requires an expensive blower capable of operating at elevated pressures and cryogenic temperatures. Where precise control is needed (plus or minus 2 C), single-pass flow systems typically have not provided the precision required, primarily because of overcooling temperature excursions. Where several individual circuits are to be controlled at different temperatures, the use of expensive cryogenic blowers for each circuit is also cost-prohibitive, especially for short duration of one-of-a-kind tests. At JPL, a variant of the single-pass method was developed that was shown to provide precise temperature control in the -130 C to 75 C range while exhibiting minimal setpoint overshoot during temperature transitions. This alternate method uses a commercially available temperature controller along with a GN2/LN2 mixer to dampen the amplitude of cold temperature spikes caused by LN2 pulsing. The design of the GN2/LN2 mixer, the overall control system configuration, the operational procedure, and the prototype system test results are described.

Johnson, Kenneth R.↗

Open systems storage platforms

The building blocks for an open storage system includes a system platform, a selection of storage devices and interfaces, system software, and storage applications CONVEX storage systems are based on the DS Series Data Server systems. These systems are a variant of the C3200 supercomputer with expanded I/O capabilities. These systems support a variety of medium and high speed interfaces to networks and peripherals. System software is provided in the form of ConvexOS, a POSIX compliant derivative of 4.3BSD UNIX. Storage applications include products such as UNITREE and EMASS. With the DS Series of storage systems, Convex has developed a set of products which provide open system solutions for storage management applications. The systems are highly modular, assembled from off the shelf components with industry standard interfaces. The C Series system architecture provides a stable base, with the performance and reliability of a general purpose platform. This combination of a proven system architecture with a variety of choices in peripherals and application software allows wide flexibility in configurations, and delivers the benefits of open systems to the mass storage world.

Collins, Kirby↗

Applications and accuracy of the parallel diagonal dominant algorithm

The Parallel Diagonal Dominant (PDD) algorithm is a highly efficient, ideally scalable tridiagonal solver. In this paper, a detailed study of the PDD algorithm is given. First the PDD algorithm is introduced. Then the algorithm is extended to solve periodic tridiagonal systems. A variant, the reduced PDD algorithm, is also proposed. Accuracy analysis is provided for a class of tridiagonal systems, the symmetric, and anti-symmetric Toeplitz tridiagonal systems. Implementation results show that the analysis gives a good bound on the relative error, and the algorithm is a good candidate for the emerging massively parallel machines.

Sun, Xian-He↗

Proposed data compression schemes for the Galileo S-band contingency mission

The Galileo spacecraft is currently on its way to Jupiter and its moons. In April 1991, the high gain antenna (HGA) failed to deploy as commanded. In case the current efforts to deploy the HGA fails, communications during the Jupiter encounters will be through one of two low gain antenna (LGA) on an S-band (2.3 GHz) carrier. A lot of effort has been and will be conducted to attempt to open the HGA. Also various options for improving Galileo's telemetry downlink performance are being evaluated in the event that the HGA will not open at Jupiter arrival. Among all viable options the most promising and powerful one is to perform image and non-image data compression in software onboard the spacecraft. This involves in-flight re-programming of the existing flight software of Galileo's Command and Data Subsystem processors and Attitude and Articulation Control System (AACS) processor, which have very limited computational and memory resources. In this article we describe the proposed data compression algorithms and give their respective compression performance. The planned image compression algorithm is a 4 x 4 or an 8 x 8 multiplication-free integer cosine transform (ICT) scheme, which can be viewed as an integer approximation of the popular discrete cosine transform (DCT) scheme. The implementation complexity of the ICT schemes is much lower than the DCT-based schemes, yet the performances of the two algorithms are indistinguishable. The proposed non-image compression algorith is a Lempel-Ziv-Welch (LZW) variant, which is a lossless universal compression algorithm based on a dynamic dictionary lookup table. We developed a simple and efficient hashing function to perform the string search.

Cheung, Kar-Ming↗

Nonlinear techniques for forecasting solar activity directly from its time series

This paper presents numerical techniques for constructing nonlinear predictive models to forecast solar flux directly from its time series. This approach makes it possible to extract dynamical in variants of our system without reference to any underlying solar physics. We consider the dynamical evolution of solar activity in a reconstructed phase space that captures the attractor (strange), give a procedure for constructing a predictor of future solar activity, and discuss extraction of dynamical invariants such as Lyapunov exponents and attractor dimension.

Ashrafi, S.↗

On the robustness of Herlihy's hierarchy

A wait-free hierarchy maps object types to levels in Z(+) U (infinity) and has the following property: if a type T is at level N, and T' is an arbitrary type, then there is a wait-free implementation of an object of type T', for N processes, using only registers and objects of type T. The infinite hierarchy defined by Herlihy is an example of a wait-free hierarchy. A wait-free hierarchy is robust if it has the following property: if T is at level N, and S is a finite set of types belonging to levels N - 1 or lower, then there is no wait-free implementation of an object of type T, for N processes, using any number and any combination of objects belonging to the types in S. Robustness implies that there are no clever ways of combining weak shared objects to obtain stronger ones. Contrary to what many researchers believe, we prove that Herlihy's hierarchy is not robust. We then define some natural variants of Herlihy's hierarchy, which are also infinite wait-free hierarchies. With the exception of one, which is still open, these are not robust either. We conclude with the open question of whether non-trivial robust wait-free hierarchies exist.

Jayanti, Prasad↗

Adjustable lossless image compression based on a natural splitting of an image into drawing, shading, and fine-grained components

The compression, or efficient coding, of single band or multispectral still images is becoming an increasingly important topic. While lossy compression approaches can produce reconstructions that are visually close to the original, many scientific and engineering applications require exact (lossless) reconstructions. However, the most popular and efficient lossless compression techniques do not fully exploit the two-dimensional structural links existing in the image data. We describe here a general approach to lossless data compression that effectively exploits two-dimensional structural links of any length. After describing in detail two main variants on this scheme, we discuss experimental results.

Novik, Dmitry A.↗

A hybrid multigrid technique for computing steady-state solutions to supersonic flows

Recently, Li and Sanders have introduced a class of finite difference schemes to approximate generally discontinuous solutions to hyperbolic systems of conservation laws. These equations have the form together with relevant boundary conditions. When modelling hypersonic spacecraft reentry, the differential equations above are frequently given by the compressible Euler equations coupled with a nonequilibrium chemistry model. For these applications, steady state solutions are often sought. Many tens (to hundreds) of super computer hours can be devoted to a single three space dimensional simulation. The primary difficulty is the inability to rapidly and reliably capture the steady state. In these notes, we demonstrate that a particular variant from the schemes presented can be combined with a particular multigrid approach to capture steady state solutions to the compressible Euler equations in one space dimension. We show that the rate of convergence to steady state coming from this multigrid implementation is vastly superior to the traditional approach of artificial time relaxation. Moreover, we demonstrate virtual grid independence. That is, the rate of convergence does not depend on the degree of spatial grid refinement.

Sanders, Richard↗

More rain compensation results

To reduce the impact of rain-induced attenuation in the 20/30 GHz band, the attenuation at a specified signal frequency must be estimated and extrapolated forward in time on the basis of a noisy beacon measurement. Several studies have used model based procedures for solving this problem in statistical inference. Perhaps the most widely used model-based paradigm leads to the Kalman filter and its lineal variants. In this formulation, the dynamic features of the attenuation are represented by a state process (x(sub t)). The observation process (y(sub t)) is derived from beacon measurements. Some ideas relating to the signal processing problems related to uplink power control are presented. It is shown that some easily implemented algorithms hold promise for use in estimating rain induced fades. The algorithms were applied to actual data generated at the Virginia Polytechnic Institute and State University (VPI) test facility. Because only one such event was studied, it is not clear that the algorithms will have the same effectiveness when a wide range of events are studied.

Sworder, D. D.↗

Attitude stabilization of a rigid spacecraft using two momentum wheel actuators

It is well known that three momentum wheel actuators can be used to control the attitude of a rigid spacecraft and that arbitrary reorientation maneuvers of the spacecraft can be accomplished using smooth feedback. If failure of one of the momentum wheel actuators occurs, it is demonstrated that two momentum wheel actuators can be used to control the attitude of a rigid spacecraft and that arbitrary reorientation maneuvers of the spacecraft can be accomplished. Although the complete spacecraft equations are not controllable, the spacecraft equations are small time locally controllable in a reduced nonlinear sense. The reduced spacecraft dynamics cannot be asymptotically stabilized to any equilibrium attitude using a time-variant continuous feedback control law, but discontinuous feedback control strategies are constructed which stabilize any equilibrium attitude of the spacecraft in finite time. Consequently, reorientation of the spacecraft can be accomplished using discontinuous feedback control.

Krishnan, Hariharan↗

Generation and exploration of aggregation abstractions for scheduling and resource allocation

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Lowry, Michael R.↗

Frequency analysis via the method of moment functionals

Several variants are presented of a linear-in-parameters least squares formulation for determining the transfer function of a stable linear system at specified frequencies given a finite set of Fourier series coefficients calculated from transient nonstationary input-output data. The basis of the technique is Shinbrot's classical method of moment functionals using complex Fourier based modulating functions to convert a differential equation model on a finite time interval into an algebraic equation which depends linearly on frequency-related parameters.

Pearson, A. E.↗

Improved spectroscopic line parameters for the ozone molecule

Recently available spectral O3 line parameters are summarized and progress in remote sensing based on these parameters is discussed. Particular attention is given to covering line positions, line intensities and linewidths for both the main isotopic species (O-16)3 and the isotopic variants (O-16)(O-18)(O-16) and (O-16)(O-16)(O-18).

Flaud, J.-M.↗

Adaptive filtering and prediction of the Southern Oscillation index

Singular spectrum analysis (SSA), a variant of principal component analysis, is applied to a time series of the Southern Oscillation index (SOI). The analysis filters out variability unrelated to the Southern Oscillation and separates the high-frequency, 2- to 3-year variability, including the quasi-biennial oscillation, from the lower-frequency 4- to 6-year El Nino cycle. The maximum entropy method (MEM) is applied to forecasting the prefiltered SOI. Prediction based on MEM-associated autoregresive models has useful skill for 30-36 months. A 1993-1994 La Nina event is predicted based on data through February 1992.

Keppenne, Christian L.↗

Recent developments in high order K-exact reconstruction on unstructured meshes

This paper presents recent improvements in high-order K-exact reconstruction on unstructured meshes. The new reconstruction procedures are incorporated into a basic upwind finite-volume scheme suitable for solving scalar advection-diffusion equations as well as the Euler and Navier-Stokes equations. Numerical calculations are performed comparing the present method with lower order accurate reconstruction procedures (piecewise constant and piecewise linear) and various competing technologies such as the fluctuation splitting method of Roe (1987) and Deconinck et al. (1992) and a system-variant of the streamline diffusion Petrov-Galerkin method developed by Hansbo (1991) and Hansbo and Johnson (1991). Five test problems are used in the numerical comparisons: scalar circular advection, transonic and supersonic Euler flow, laminar boundary-layer flow, and general compressible Navier-Stokes flow.

Barth, Timothy J.↗

Search-based model identification of smart-structure damage

This paper describes the use of a combined model and parameter identification approach, based on modal analysis and artificial intelligence (AI) techniques, for identifying damage or flaws in a rotating truss structure incorporating embedded piezoceramic sensors. This smart structure example is representative of a class of structures commonly found in aerospace systems and next generation space structures. Artificial intelligence techniques of classification, heuristic search, and an object-oriented knowledge base are used in an AI-based model identification approach. A finite model space is classified into a search tree, over which a variant of best-first search is used to identify the model whose stored response most closely matches that of the input. Newly-encountered models can be incorporated into the model space. This adaptativeness demonstrates the potential for learning control. Following this output-error model identification, numerical parameter identification is used to further refine the identified model. Given the rotating truss example in this paper, noisy data corresponding to various damage configurations are input to both this approach and a conventional parameter identification method. The combination of the AI-based model identification with parameter identification is shown to lead to smaller parameter corrections than required by the use of parameter identification alone.

Glass, B. J.↗

Revision of the Wind River faunas, early Eocene of central Wyoming. X - Bunophorus (Mammalia, Artiodactyla)

Research on the holotypes and large collections of the species of Wasatchia and Bunophorus is reviewed. It is concluded that Bunophorus is a senior synonym of Wasatchia and includes six valid species, namely, B. etsagicus, B. grangeri, B. pattersoni, B. macropternus, B. sinclairi, and B. robustus. B. sinclairi includes two penecontemporaneous geographic variants: B.s. sinclairi from the Wind River, Piceance and Green River basins, and B.s. robinsoni, n. ssp., from the Huerfano Basin.

Stucky, Richard K.↗