Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “invariant”

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 1,045 records · Page 58

Characterization and distribution of a maize cDNA encoding a peptide similar to the catalytic region of second messenger dependent protein kinases

Maize (Zea mays) roots respond to a variety of environmental stimuli which are perceived by a specialized group of cells, the root cap. We are studying the transduction of extracellular signals by roots, particularly the role of protein kinases. Protein phosphorylation by kinases is an important step in many eukaryotic signal transduction pathways. As a first phase of this research we have isolated a cDNA encoding a maize protein similar to fungal and animal protein kinases known to be involved in the transduction of extracellular signals. The deduced sequence of this cDNA encodes a polypeptide containing amino acids corresponding to 33 out of 34 invariant or nearly invariant sequence features characteristic of protein kinase catalytic domains. The maize cDNA gene product is more closely related to the branch of serine/threonine protein kinase catalytic domains composed of the cyclic-nucleotide- and calcium-phospholipid-dependent subfamilies than to other protein kinases. Sequence identity is 35% or more between the deduced maize polypeptide and all members of this branch. The high structural similarity strongly suggests that catalytic activity of the encoded maize protein kinase may be regulated by second messengers, like that of all members of this branch whose regulation has been characterized. Northern hybridization with the maize cDNA clone shows a single 2400 base transcript at roughly similar levels in maize coleoptiles, root meristems, and the zone of root elongation, but the transcript is less abundant in mature leaves. In situ hybridization confirms the presence of the transcript in all regions of primary maize root tissue.

NASA Program Space Biology↗

A New Approach to Identify Optimal Properties of Shunting Elements for Maximum Damping of Structural Vibration Using Piezoelectric Patches

The use of shunted piezoelectric patches in reducing vibration and sound radiation of structures has several advantages over passive viscoelastic elements, e.g., lower weight with increased controllability. The performance of the piezoelectric patches depends on the shunting electronics that are designed to dissipate vibration energy through a resistive element. In past efforts most of the proposed tuning methods were based on modal properties of the structure. In these cases, the tuning applies only to one mode of interest and maximum tuning is limited to invariant points when based on den Hartog's invariant points concept. In this study, a design method based on the wave propagation approach is proposed. Optimal tuning is investigated depending on the dynamic and geometric properties that include effects from boundary conditions and position of the shunted piezoelectric patch relative to the structure. Active filters are proposed as shunting electronics to implement the tuning criteria. The developed tuning methods resulted in superior capabilities in minimizing structural vibration and noise radiation compared to other tuning methods. The tuned circuits are relatively insensitive to changes in modal properties and boundary conditions, and can applied to frequency ranges in which multiple modes have effects.

Park, Junhong↗

Hierarchical motion organization in random dot configurations

Motion organization has 2 aspects: the extraction of a (moving) frame of reference and the hierarchical organization of moving elements within the reference frame. Using a discrimination of relative motions task, the authors found large differences between different types of motion (translation, divergence, and rotation) in the degree to which each can serve as a moving frame of reference. Translation and divergence are superior to rotation. There are, however, situations in which rotation can serve as a reference frame. This is due to the presence of a second factor, structural invariants (SIs). SIs are spatial relationships persisting among the elements within a configuration such as a collinearity among points or one point coinciding with the center of rotation for another (invariant radius). The combined effect of these 2 factors--motion type and SIs-influences perceptual motion organization.

NASA Discipline Space Human Factors↗

Effects of walking velocity on vertical head and body movements during locomotion

Trunk and head movements were characterized over a wide range of walking speeds to determine the relationship between stride length, stepping frequency, vertical head translation, pitch rotation of the head, and pitch trunk rotation as a function of gait velocity. Subjects (26-44 years old) walked on a linear treadmill at velocities of 0.6-2.2 m/s. The head and trunk were modeled as rigid bodies, and rotation and translation were determined using a video-based motion analysis system. At walking speeds up to 1.2 m/s there was little head pitch movement in space, and the head pitch relative to the trunk was compensatory for trunk pitch. As walking velocity increased, trunk pitch remained approximately invariant, but a significant head translation developed. This head translation induced compensatory head pitch in space, which tended to point the head at a fixed point in front of the subject that remained approximately invariant with regard to walking speed. The predominant frequency of head translation and rotation was restricted to a narrow range from 1.4 Hz at 0.6 m/s to 2.5 Hz at 2.2 m/s. Within the range of 0.8-1.8 m/s, subjects tended to increase their stride length rather than step frequency to walk faster, maintaining the predominant frequency of head movement at close to 2.0 Hz. At walking speeds above 1.2 m/s, head pitch in space was highly coherent with, and compensatory for, vertical head translation. In the range 1.2-1.8 m/s, the power spectrum of vertical head translation was the most highly tuned, and the relationship between walking speed and head and trunk movements was the most linear. We define this as an optimal range of walking velocity with regard to head-trunk coordination. The coordination of head and trunk movement was less coherent at walking velocities below 1.2 m/s and above 1.8 m/s. These results suggest that two mechanisms are utilized to maintain a stable head fixation distance over the optimal range of walking velocities. The relative contribution of each mechanism to head orientation depends on the frequency of head movement and consequently on walking velocity. From consideration of the frequency characteristics of the compensatory head pitch, we infer that compensatory head pitch movements may be produced predominantly by the angular vestibulocollic reflex (aVCR) at low walking speeds and by the linear vestibulocollic reflex (1VCR) at the higher speeds.

NASA Discipline Neuroscience↗

Microwave Cavity Clocks On Space Station

We describe the status of a microwave cavity clock experiment to perform improved tests of Local Position Invariance and Lorentz Invariance on the International Space Station in conjunction with atomic clocks. Significant improvements over present bounds are expected in both cases. The oscillators can also be used to enhance the performance of atomic clocks at short time scales for other experiments.

Lipa, J. a.↗

Detection of Structural Abnormalities Using Neural Nets

This paper describes a feed-forward neural net approach for detection of abnormal system behavior based upon sensor data analyses. A new dynamical invariant representing structural parameters of the system is introduced in such a way that any structural abnormalities in the system behavior are detected from the corresponding changes to the invariant.

abnormal system behavior system behavior sensor da↗

The Parametrized Post-Newtonian Gravitational Redshift

A derivation of the gravitational redshift effect to order c ^(-4) is presented. The calculation isperformed within the framework of the parametrized post-Newtonian formalism for analyzing metrictheories of gravity, which includes corrections to second- order in the Newtonian potential,gravitomagnetic contributions, and preferred-frame terms. We briefly discuss how to generalize ourresults to include possible violations of local Lorentz invariance or local position invariance which canarise in nonmetric theories. Our results are useful for analyzing possible new redshift experimentswhich may be sensitive to second-order effects, such as a close solar flyby mission.

Krisher, T. P.↗

Letter to the Editor on Robert Yaes's Letter

In his letter on page 13 of the March 1993 issue, Robert Yaes raised the question of whether the existence of the cosmic microwave background (CMB), now observed so precisely with COBE, is compatible with the principle of relativity: The laws by which the states of physical systems undergo change are not affected, whether these changes of state be referred to the one or other of two systems of coordinates in uniform translatory motion. Although I do not claim to provide an xpertresponse to this question, as desired by Yaes, it is my understanding that the principle of relativity is not necessarily violated by the mere existence of a universal reference frame. The laws of physics can still be invariant under some transformation of coordinates. This transformation is not specified by the principle of relativity itself, although we have discovered so far that Nature respects Lorentz invariance (principle of the constancy of the velocity of light).

Krisher, T. P.↗

Complexity of life via collective mind

e mind is introduced as a set of simple intelligent units (say, neurons, or interacting agents), which can communicate by exchange of information without explicit global control. Incomplete information is compensated by a sequence of random guesses symmetrically distributed around expectations with prescribed variances. Both the expectations and variances are the invariants characterizing the whole class of agents. These invariants are stored as parameters of the collective mind, while they contribute into dynamical formalism of the agents' evolution, and in particular, into the reflective chains of their nested abstract images of the selves and non-selves. The proposed model consists of the system of stochastic differential equations in the Langevin form representing the motor dynamics, and the corresponding Fokker-Planck equation representing the mental dynamics (Motor dynamics describes the motion in physical space, while mental dynamics simulates the evolution of initial errors in terms of the probability density). The main departure of this model from Newtonian and statistical physics is due to a feedback from the mental to the motor dynamics which makes the Fokker-Planck equation nonlinear. Interpretation of this model from mathematical and physical viewpoints, as well as possible interpretation from biological, psychological, and social viewpoints are discussed. The model is illustrated by the dynamics of a dialog.

collective intelligence↗

Symmetry, Statistics and Structure in MHD Turbulence

Here, we examine homogeneous MHD turbulence in terms of truncated Fourier series. The ideal MHD equations and the associated statistical theory of absolute equilibrium ensembles are symmetric under P, C and T. However, the presence of invariant helicities, which are pseudoscalars under P and C, dynamically breaks this symmetry. This occurs because the surface of constant energy in phase space has disjoint parts, called components: while ensemble averages are taken over all components, a dynamical phase trajectory is confined to only one component. As the Birkhoff-Khinchin theorem tells us, ideal MHD turbulence is thus non-ergodic. This non-ergodicity manifests itself in low-wave number Fourier modes that have large mean values (while absolute ensemble theory predicts mean values of zero). Therefore, we have coherent structure in ideal MHD turbulence. The level of non-ergodicity and amount of energy contained in the associated coherent structure depends on the values of the helicities, as well as on the presence, or not, of a mean magnetic field and/or overall rotation. In addition to the well known cross and magnetic helicities, we also present a new invariant, which we call the parallel helicity, since it occurs when mean field and rotation axis are aligned. The question of applicability of these results to real (i.e., dissipative) MHD turbulence is also examined. Several long-time numerical simulations on a 64(exp 3) grid are given as examples. It is seen that coherent structure begins to form before decay dominates over nonlinearity. The connection of these results with inverse spectral cascades, selective decay, and magnetic dynamos is also discussed.

Shebalin, John V.↗

Stochastic Stability of Sampled Data Systems with a Jump Linear Controller

In this paper an equivalence between the stochastic stability of a sampled-data system and its associated discrete-time representation is established. The sampled-data system consists of a deterministic, linear, time-invariant, continuous-time plant and a stochastic, linear, time-invariant, discrete-time, jump linear controller. The jump linear controller models computer systems and communication networks that are subject to stochastic upsets or disruptions. This sampled-data model has been used in the analysis and design of fault-tolerant systems and computer-control systems with random communication delays without taking into account the inter-sample response. This paper shows that the known equivalence between the stability of a deterministic sampled-data system and the associated discrete-time representation holds even in a stochastic framework.

Gonzalez, Oscar R.↗

Testing Special Relativity at High Energies with Astrophysical Sources

Since the group of Lorentz boosts is unbounded, there is a question as to whether Lorentz invariance (LI) holds to infinitely short distances. However, special and general relativity may break down at the Planck scale. Various quantum gravity scenarios such as loop quantum gravity, as well as some forms of string theory and extra dimension models may imply Lorentz violation (LV) at ultrahigh energies. The Gamma-Ray Large Area Space Telescope (GLAST), to be launched in mid-December, will measure the spectra of distant extragalactic sources of high energy gamma-rays, particularly active galactic nuclei and gamma-ray bursts. GLAST can look for energy-dependent gamma-ray propagation effects from such sources as a signal of Lorentz invariance violation. These sources may also exhibit the high energy cutoffs predicted to be the result of intergalactic annihilation interactions with low energy photons having a flux level as determined by various astronomical observations. With LV the threshold for such interactions can be significantly raised, changing the predicted absorption turnover in the observed spectrum of the sources. Stecker and Glashow have shown that the existence such absorption features in the spectra of extragalactic sources puts constraints on LV. Such constraints have important implications for some quantum gravity and large extra dimension models. Future spaceborne detectors dedicated to measuring gamma-ray polarization can look for birefringence effects as a possible signal of loop quantum gravity. A very small LV may also result in the modification or elimination of the GZK effect, thus modifying the spectrum of ultrahigh energy cosmic rays. This possibility can be explored with ground-based arrays such as Auger or with a space based detector system such as the proposed OWL satellite mission.

Stecker, F. W.↗

Towards a Theory of Sampled-Data Piecewise-Deterministic Markov Processes

The analysis and design of practical control systems requires that stochastic models be employed. Analysis and design tools have been developed, for example, for Markovian jump linear continuous and discrete-time systems, piecewise-deterministic processes (PDP's), and general stochastic hybrid systems (GSHS's). These model classes have been used in many applications, including fault tolerant control and networked control systems. This paper presents initial results on the analysis of a sampled-data PDP representation of a nonlinear sampled-data system with a jump linear controller. In particular, it is shown that the state of the sampled-data PDP satisfies the strong Markov property. In addition, a relation between the invariant measures of a sampled-data system driven by a stochastic process and its associated discrete-time representation are presented. As an application, when the plant is linear with no external input, a sufficient testable condition for the convergence in distribution to the invariant delta Dirac measure is given.

Herencia-Zapana, Heber↗

The alpha(3) Scheme - A Fourth-Order Neutrally Stable CESE Solver

The conservation element and solution element (CESE) development is driven by a belief that a solver should (i) enforce conservation laws in both space and time, and (ii) be built from a non-dissipative (i.e., neutrally stable) core scheme so that the numerical dissipation can be controlled effectively. To provide a solid foundation for a systematic CESE development of high order schemes, in this paper we describe a new 4th-order neutrally stable CESE solver of the advection equation Theta u/Theta + alpha Theta u/Theta x = 0. The space-time stencil of this two-level explicit scheme is formed by one point at the upper time level and three points at the lower time level. Because it is associated with three independent mesh variables u(sup n) (sub j), (u(sub x))(sup n) (sub j) , and (uxz)(sup n) (sub j) (the numerical analogues of u, Theta u/Theta x, and Theta(exp 2)u/Theta x(exp 2), respectively) and four equations per mesh point, the new scheme is referred to as the alpha(3) scheme. As in the case of other similar CESE neutrally stable solvers, the alpha(3) scheme enforces conservation laws in space-time locally and globally, and it has the basic, forward marching, and backward marching forms. These forms are equivalent and satisfy a space-time inversion (STI) invariant property which is shared by the advection equation. Based on the concept of STI invariance, a set of algebraic relations is developed and used to prove that the alpha(3) scheme must be neutrally stable when it is stable. Moreover it is proved rigorously that all three amplification factors of the alpha(3) scheme are of unit magnitude for all phase angles if |v| <= 1/2 (v = alpha delta t/delta x). This theoretical result is consistent with the numerical stability condition |v| <= 1/2. Through numerical experiments, it is established that the alpha(3) scheme generally is (i) 4th-order accurate for the mesh variables u(sup n) (sub j) and (ux)(sup n) (sub j); and 2nd-order accurate for (uxx)(sup n) (sub j). However, in some exceptional cases, the scheme can achieve perfect accuracy aside from round-off errors.

Chang, Sin-Chung↗

Hypothesis Support Mechanism for Mid-Level Visual Pattern Recognition

A method of mid-level pattern recognition provides for a pose invariant Hough Transform by parametrizing pairs of points in a pattern with respect to at least two reference points, thereby providing a parameter table that is scale- or rotation-invariant. A corresponding inverse transform may be applied to test hypothesized matches in an image and a distance transform utilized to quantify the level of match.

Amador, Jose J↗

Superconducting Hot-Electron Submillimeter-Wave Detector

A superconducting hot-electron bolometer has been built and tested as a prototype of high-sensitivity, rapid-response detectors of submillimeter-wavelength radiation. There are diverse potential applications for such detectors, a few examples being submillimeter spectroscopy for scientific research; detection of leaking gases; detection of explosive, chemical, and biological weapons; and medical imaging. This detector is a superconducting-transition- edge device. Like other such devices, it includes a superconducting bridge that has a low heat capacity and is maintained at a critical temperature (T(sub c)) at the lower end of its superconducting-transition temperature range. Incident photons cause transient increases in electron temperature through the superconducting-transition range, thereby yielding measurable increases in electrical resistance. In this case, T(sub c) = 6 K, which is approximately the upper limit of the operating-temperature range of silicon-based bolometers heretofore used routinely in many laboratories. However, whereas the response speed of a typical silicon- based laboratory bolometer is characterized by a frequency of the order of a kilohertz, the response speed of the present device is much higher characterized by a frequency of the order of 100 MHz. For this or any bolometer, a useful figure of merit that one seeks to minimize is (NEP)(tau exp 1/2), where NEP denotes the noise-equivalent power (NEP) and the response time. This figure of merit depends primarily on the heat capacity and, for a given heat capacity, is approximately invariant. As a consequence of this approximate invariance, in designing a device having a given heat capacity to be more sensitive (to have lower NEP), one must accept longer response time (slower response) or, conversely, in designing it to respond faster, one must accept lower sensitivity. Hence, further, in order to increase both the speed of response and the sensitivity, one must make the device very small in order to make its heat capacity very small; this is the approach followed in developing the present device.

Karasik, Boris↗

The a(4) Scheme-A High Order Neutrally Stable CESE Solver

The CESE development is driven by a belief that a solver should (i) enforce conservation laws in both space and time, and (ii) be built from a nondissipative (i.e., neutrally stable) core scheme so that the numerical dissipation can be controlled effectively. To provide a solid foundation for a systematic CESE development of high order schemes, in this paper we describe a new high order (4-5th order) and neutrally stable CESE solver of a 1D advection equation with a constant advection speed a. The space-time stencil of this two-level explicit scheme is formed by one point at the upper time level and two points at the lower time level. Because it is associated with four independent mesh variables (the numerical analogues of the dependent variable and its first, second, and third-order spatial derivatives) and four equations per mesh point, the new scheme is referred to as the a(4) scheme. As in the case of other similar CESE neutrally stable solvers, the a(4) scheme enforces conservation laws in space-time locally and globally, and it has the basic, forward marching, and backward marching forms. Except for a singular case, these forms are equivalent and satisfy a space-time inversion (STI) invariant property which is shared by the advection equation. Based on the concept of STI invariance, a set of algebraic relations is developed and used to prove the a(4) scheme must be neutrally stable when it is stable. Numerically, it has been established that the scheme is stable if the value of the Courant number is less than 1/3

Chang, Sin-Chung↗

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗