Search NASA⌕ Search

SEARCH · Search NASA

Results for “fixed points”

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 NTRS2002

A Logical Process Calculus

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

Cleaveland, Rance↗
NASA NTRS1977

Lie theoretic aspects of the Riccati equation

Various features of the application of Lie theory to matrix Riccati equations, of basic importance in control and system theories, are discussed. Particular consideration is given to centralizer foliation, the Cartan decomposition, matrix Riccati equations as Lie systems on Grassmanians, local analysis near a zero point of a vector field, linearization in homogeneous space, the tangent bundle in terms of partitioned matrices, and stability properties of fixed points of Riccati vector fields.

Hermann, R.↗
NASA NTRS1972

The emissivities of liquid metals at their fusion temperatures

A survey of the literature through 1969 shows an almost total lack of experimental emissivity data for metals in the liquid state. The emissivities for several transition metals and various other metals and compounds in the liquid state at their fusion temperatures have been determined. The technique used involves electromagnetic levitation-induction heating of the materials in an inert atmosphere. The brightness temperature of the liquid phase of the material is measured as the material is heated through fusion. Given a reliable value of the fusion temperature, which is available for most pure substances, one may readily calculate an emissivity for the liquid phase at the fusion temperatures. Even in cases where melting points are poorly known, the brightness temperatures are unique parameters, independent of the temperature scale and measured for a chemically defined system at a fixed point. Better emissivities may be recalculated as better melting point data become available.

Bonnell, D. W.↗
NASA NTRS1972

The emissivities of liquid metals at their fusion temperatures.

The emissivities for several transition metals and various other metals and compounds in the liquid state at their fusion temperatures have been determined in this laboratory. The technique used involves electromagnetic levitation-induction heating of the materials in an inert atmosphere. The brightness temperature of the liquid phase of the material is measured as the material is heated through fusion. Given a reliable value of the fusion temperature, which is available for most pure substances, one may readily calculate an emissivity for the liquid phase at the fusion temperature. Even in cases where melting points are poorly known, the brightness temperatures are unique parameters, independent of the temperature scale and measured for a chemically defined system at a fixed point.

Bonnell, D. W.↗
NASA NTRS1979

Geometries and focal properties of two electron-lens systems useful in low-energy electron or ion scattering

Geometries and focal properties are given for two types of electron-lens system commonly needed in electron scattering. One is an electron gun that focuses electrons from a thermionic emitter onto a fixed point (target) over a wide range of final energies. The other is an electron analyzer system that focuses scattered electrons of variable energy onto a fixed position (e.g., the entrance plane of an analyzer) at fixed energy with a zero final beam angle. Analyzer-system focusing properties are given for superelastically, elastically, and inelastically scattered electrons. Computer calculations incorporating recent accurate tube-lens focal properties are used to compute lens voltages, locations and diameters of all pupils and windows, filling factors, and asymptotic rays throughout each lens system. Focus voltages as a function of electron energy and energy change are given, and limits of operation of each system discussed. Both lens systems have been in routine use for several years, and good agreement has been consistently found between calculated and operating lens voltages.

Chutjian, A.↗
NASA NTRS1978

Desirable floating-point arithmetic and elementary functions for numerical computation

The topics considered are: (1) the base of the number system, (2) precision control, (3) number representation, (4) arithmetic operations, (5) other basic operations, (6) elementary functions, and (7) exception handling. The possibility of doing without fixed-point arithmetic is also mentioned. The specifications are intended to be entirely at the level of a programming language such as FORTRAN. The emphasis is on convenience and simplicity from the user's point of view. Conforming to such specifications would have obvious beneficial implications for the portability of numerical software, and for proving programs correct, as well as attempting to provide facilities which are most suitable for the user. The specifications are not complete in every detail, but it is intended that they be complete in spirit - some further details, especially syntatic details, would have to be provided, but the proposals are otherwise relatively complete.

Hull, T. E.↗
NASA NTRS1982

Construction of solutions for some nonlinear two-point boundary value problems

Constructive existence and uniqueness results for boundary value problems associated with some simple special cases of the second order equation y'' = f(x,y,y') 0 or = x or = 1, are sought. The approach considered is to convert the differential equation and boundary conditions to an integral equation via Green's functions, and then to apply fixed point and contraction map principles to a sequence of successive approximations. The approach is tested on several applied problems. Difficulties in trying to prove general theorems are discussed.

Pennline, J. A.↗
NASA NTRS1958

Statistical Study of Turbulence: Spectral Functions and Correlation Coefficients

In reading the publications on turbulence of different authors, one often runs the risk of confusing the various correlation coefficients and turbulence spectra. We have made a point of defining, by appropriate concepts, the differences which exist between these functions. Besides, we introduce in the symbols a few new characteristics of turbulence. In the first chapter, we study some relations between the correlation coefficients and the different turbulence spectra. Certain relations are given by means of demonstrations which could be called intuitive rather than mathematical. In this way we demonstrate that the correlation coefficients between the simultaneous turbulent velocities at two points are identical, whether studied in Lagrange's or in Euler's systems. We then consider new spectra of turbulence, obtained by study of the simultaneous velocities along a straight line of given direction. We determine some relations between these spectra and the correlation coefficients. Examining the relation between the spectrum of the turbulence measured at a fixed point and the longitudinal-correlation curve given by G. I. Taylor, we find that this equation is exact only when the coefficient is very small.

Frenkiel, Francois N.↗
NASA NTRS1981

Parameter estimation for slit-type scanning sensors

The Infrared Astronomical Satellite, scheduled for launch into a 900 km near-polar orbit in August 1982, will perform an infrared point source survey by scanning the sky with slit-type sensors. The description of position information is shown to require the use of a non-Gaussian random variable. Methods are described for deciding whether separate detections stem from a single common source, and a formulism is developed for the scan-to-scan problems of identifying multiple sightings of inertially fixed point sources for combining their individual measurements into a refined estimate. Several cases are given where the general theory yields results which are quite different from the corresponding Gaussian applications, showing that argument by Gaussian analogy would lead to error.

Fowler, J. W.↗
NASA NTRS1994

Missileborne Artificial Vision System (MAVIS)

Several years ago when INTEL and China Lake designed the ETANN chip, analog VLSI appeared to be the only way to do high density neural computing. In the last five years, however, digital parallel processing chips capable of performing neural computation functions have evolved to the point of rough equality with analog chips in system level computational density. The Naval Air Warfare Center, China Lake, has developed a real time, hardware and software system designed to implement and evaluate biologically inspired retinal and cortical models. The hardware is based on the Adaptive Solutions Inc. massively parallel CNAPS system COHO boards. Each COHO board is a standard size 6U VME card featuring 256 fixed point, RISC processors running at 20 MHz in a SIMD configuration. Each COHO board has a companion board built to support a real time VSB interface to an imaging seeker, a NTSC camera, and to other COHO boards. The system is designed to have multiple SIMD machines each performing different corticomorphic functions. The system level software has been developed which allows a high level description of corticomorphic structures to be translated into the native microcode of the CNAPS chips. Corticomorphic structures are those neural structures with a form similar to that of the retina, the lateral geniculate nucleus, or the visual cortex. This real time hardware system is designed to be shrunk into a volume compatible with air launched tactical missiles. Initial versions of the software and hardware have been completed and are in the early stages of integration with a missile seeker.

Andes, David K.↗
NASA NTRS1985

The number of stable points of an infinite-range spin glass memory

A rigorous asymptotic expression for the number of stable points of an infinite-range spin glass with independently identically distributed (i.i.d) zero-mean gaussian exchange interactions is discussed. The result also applies tot he number of stable points of a Hopfield Memory (a kind of associative memory) when the memory connections are i.i.d. zero-mean gaussians. The result is that the number of stable points is asymptotic to a constant slightly larger than 1 times 2 to a power slightly larger thann/4, where n is the number of spins in the glass, or the length of the n-tuples to be remembered by the memory. The answer is easily derived using simple asymptotic techniques from an exact expression for the probability that an arbitrary plus or minus 1 n-tuple of spins is a fixed point. This expression is obtained from the fact that any distribution of joint zero-mean gaussians of given covariances is specified solely by these covariances. This is a far shorter derivation of the result than those existing.

Posner, E. C.↗
NASA NTRS1996

The Role of Linear Acceleration in Visual-Vestibular Interactions and Implications in Aircraft Operations

While considerable attention has been given to visual-vestibular interaction (VVI) during angular motion of the head as might occur during an aircraft spin, much less attention has been given to VVI during linear motion of the head. Such interaction might occur, for example, while viewing a stationary or moving display during vertical take-off and landing operations Research into linear VVI, particularly during prolonged periods of linear acceleration, has been hampered by the unavailability of a programmable translator capable of large excursions We collaborated with Otis Elevator Co. and used their research tower and elevator, whose motion could be digitally programmed, to vertically translate human subjects over a distance of 92.3 meters with a peak linear acceleration of 2 meters/sec(exp 2) During pulsatile or sinusoidal translation, the subjects viewed moving stripes (optokinetic stimulus) or a fixed point source (light emitting diode, led, display), respectively and it was generally found that. The direction of linear acceleration relative to the cardinal head axes and the direction of the slow component of optokinetic nystagmus (OKN) determined the extent of VVI during concomitant stripe motion and linear acceleration. Acceleration along the z head axis (A(sub z)) produced the largest VVI, particularly when the slow component of OKN was in the same direction as eye movements produced by the linear acceleration and Eye movements produced by linear acceleration are suppressed by viewing a fixed target at frequencies below 10 Hz But, above this frequency the suppression produced by VVI is removed. Finally, as demonstrated in non-human primates, vergence of the eyes appears to modulate the vertical eye movement response to linear acceleration in humans.

Correia, Manning J.↗
NASA NTRS1987

Chaotic nature of the spin-glass phase

The microscopic structure of the ordered phase of spin glasses is investigated theoretically in the framework of the T = 0 fixed-point model (McMillan, 1984; Fisher and Huse, 1986; and Bray and Moore, 1986). The sensitivity of the ground state to changes in the interaction strengths at T = 0 is explored, and it is found that for sufficiently large length scales the ground state is unstable against arbitrarily weak perturbations to the bonds. Explicit results are derived for d = 1, and the implications for d = 2 and d = 3 are considered in detail. It is concluded that there is no hidden order pattern for spin glasses at all T less than T(C), the ordered-phase spin correlations being chaotic functions of spin separation at fixed temperature or of temperature (for a given pair of spins) at scale lengths L greater than (T delta T) exp -1/zeta, where zeta = d(s)/2 - y, d(s) is the interfacial fractal dimension, and -y is the thermal eigenvalue at T = 0.

Bray, A. J.↗
NASA NTRS1989

Thin-plate spline quadrature of geodetic integrals

Thin-plate spline functions (known for their flexibility and fidelity in representing experimental data) are especially well-suited for the numerical integration of geodetic integrals in the area where the integration is most sensitive to the data, i.e., in the immediate vicinity of the evaluation point. Spline quadrature rules are derived for the contribution of a circular innermost zone to Stoke's formula, to the formulae of Vening Meinesz, and to the recursively evaluated operator L(n) in the analytical continuation solution of Molodensky's problem. These rules are exact for interpolating thin-plate splines. In cases where the integration data are distributed irregularly, a system of linear equations needs to be solved for the quadrature coefficients. Formulae are given for the terms appearing in these equations. In case the data are regularly distributed, the coefficients may be determined once-and-for-all. Examples are given of some fixed-point rules. With such rules successive evaluation, within a circular disk, of the terms in Molodensky's series becomes relatively easy. The spline quadrature technique presented complements other techniques such as ring integration for intermediate integration zones.

Vangysen, Herman↗
NASA NTRS2001

Investigation of the Polytropic Relationship Between Density and Temperature Within Interplanetary Coronal Mass Ejections Using Numerical Simulations

Single-point spacecraft measurements within coronal mass ejections (CMEs) often exhibit a negative correlation between electron density and temperature. At least two opposing interpretations have been suggested for this relationship. If, on one hand, these single spacecraft observations provide direct measures of the polytropic properties of the plasma, then they imply that the polytropic index for the electrons gamma(sub e) is often < 1. Moreover, since the electrons carry the bulk of the pressure (via their significantly higher temperature), this further implies that the dynamics of CME evolution are dominated by an effective polytropic index gamma(sub e)ff < 1. On the other hand, gamma < 1 implies that as the ejecta propagate away from the Sun and expand, they also heat up; a result clearly at odds with in situ observations. In contrast to these CME intervals, many studies have shown that the quiescent solar wind exhibits a positive correlation between electron density and temperature, suggesting that gamma(sub e) > 1. In this study we simulate the evolution of a variety of CME-like disturbances in the solar wind using a one-dimensional, single-fluid model, to address the interpretation of the relationship between electron density and temperature within CMEs at fixed locations in space. Although we strictly impose a polytropic relationship (with gamma = constant) throughout our simulations, we demonstrate that a variety of correlations can exist between density and temperature at fixed points. Furthermore, we demonstrate that the presence of only local uncorrelated random fluctuations in density and temperature can produce a negative correlation. Consequently, we conclude that these single-point observations of negative correlations between electron density and temperature cannot be used to infer the value of gamma(sub e). Instead, we suggest that entropy variations, together with the plasma's tendency to achieve pressure balance with its surroundings, are responsible for the observed profiles.

Riley, Pete↗
NASA NTRS1962

Periodic Motions in Banach Space and Applications to Functional-Differential Equations

In establishing the existence of periodic solutions for nonautonomous differential equations of the form x = g(x, t), where g is periodic in t of period ω for fixed x, it is often convenient to consider the translation operator T(x(t)) = x(t + ω). If corresponding to each initial vector chosen in an appropriate region there corresponds a unique solution of our equation, then periodicity may be established by proving the existence of a fixed point under T. This same technique is also useful for more general functional equations and can be extended in a number of interesting ways. In this paper we shall consider a variable type of translation operator which is useful in investigating periodicity for autonomous differential and functional equations where the period involved is less obvious.

Jones, G. Stephen↗
NASA NTRS1965

Instrument calibrates low gas-rate flowmeters

Electronically measuring the transit time of a soap bubble carried by the gas stream between two fixed points in a burette calibrates flowmeters used for measuring low gas-flow rates.

Copeland, A. C.↗