Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “VIOLATIONS”

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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS1990

Morphological instability in rapid directional solidification

Mullins and Sekerka (1964) showed for fixed temperature gradient that the planar interface is linearly stable for all pulling speeds V above some critical value, the absolute stability limit. Near this limit, where solidification rates are rapid, the assumption of local equilibrium at the interface may be violated. Here, nonequilibrium effects are incorporated into a linear stability analysis of the planar front by allowing the segregation coefficient and interface temperature to depend on V in a thermodynamically consistent way. The absolute stability limit of the cellular mode is modified. A new oscillatory state is formed which, in the absence of latent heat, has a critical wavenumber of zero; by itself this instability would lead to the formation of solute bands in the solid. This mode has its own absolute-stability limit determined by solute trapping and kinetics. Under certain conditions, there exists a window of stability above the steady absolute-stability boundary and below the oscillatory-stability boundary; here the planar segregation-free state is restabilized.

Merchant, G. J.↗
NASA NTRS1990

Statistics of close approaches between asteroids and planets - Project Spaceguard

A data base of close approaches to the major planets has been generated via numerical integrations for a large number of planet-crossing asteroid orbits over the course of 200,000 yr; these data are then applied to such statistical theories as those of Kessler (1981) and Wetherill (1967). Attention is given to the orbits of the Toro-class asteroids, which violate the assumption of a lack of mean motion resonance locking between target planet and asteroid. A modified form of the Kessler theory is proposed which can address the problem of approaches between orbits that are either nearly coplanar or nearly tangent. A correlation analysis is used to test the assumption that the orbital elements of a planet-crossing orbit change solely due to close approaches.

Milani, A.↗
NASA NTRS1990

The evolution of coronal magnetic fields

Slow photospheric motions can produce flow speeds in the corona which are fast enough to violate quasi-static evolution. Therefore, high-speed flows observed in the corona are not necessarily due to a loss of equilibrium or stability. This paper presents an example where the flow speed increases indefinitely with height while the coronal magnetic energy increases quadratically with time.

Priest, E. R.↗
NASA NTRS1990

Active disturbance rejection in large flexible space structures

The design of an active control law for the rejection of persistent disturbances, in large space structures is presented. The control system design approach is based on a deterministic model of the disturbances and it optimizes the magnitude of the disturbance that the structure can tolerate without violating certain predetermined constraints. In addition to closed-loop stability, the explicit treatment of state, control, and control rate constraints, such as structural displacement and control actuator effort, guarantees that the final design will exhibit desired performance characteristics. The technique is applied to a simple two-bay truss structure, and its response is compared with that obtained using a linear-quadratic-Gaussian/loop-transfer-recovery (LQG/LTR) compensator. Preliminary results indicate that the proposed control system can reject persistent disturbances of greater magnitude by utilizing most of the available control, while limiting the structural displacements to within desired tolerances.

Parlos, Alexander G.↗
NASA NTRS1991

Time domain convergence properties of Lyapunov stable penalty methods

Linear hyperbolic partial differential equations are analyzed using standard techniques to show that a sequence of solutions generated by the Liapunov stable penalty equations approaches the solution of the differential-algebraic equations governing the dynamics of multibody problems arising in linear vibrations. The analysis does not require that the system be conservative and does not impose any specific integration scheme. Variational statements are derived which bound the error in approximation by the norm of the constraint violation obtained in the approximate solutions.

Kurdila, A. J.↗
NASA NTRS1991

Astrophysics and cosmology confront the 17-keV neutrino

A host of astrophysical and cosmological arguments severely constrain the properties of a 17 keV Dirac neutrino. Such a neutrino must have interactions beyond those of the standard electroweak theory to reduce its cosmic abundance (through decay or annihilation) by a factor of two hundred. A predicament arises because the additional helicity states of the neutrino necessary to construct a Dirac mass must have interactions strong enough to evade the astrophysical bound from SN 1987A, but weak enough to avoid violating the bound from primordial nucleosynthesis.

Kolb, Edward W.↗
NASA NTRS1991

Parallel electric fields detected via conjugate electron echoes during the Echo 7 sounding rocket flight

Electron detectors on the Echo 7 active sounding rocket experiment measured 'conjugate echoes' resulting from artificial electron beam injections. Analysis of the drift motion of the electrons after a complete bounce leads to measurements of the magnetospheric convection electric field mapped to ionospheric altitudes. The magnetospheric field was highly variable, changing by tens of mV/m on time scales of as little as hundreds of millisec. While the smallest-scale magnetospheric field irregularities were mapped out by ionospheric conductivity, larger-scale features were enhanced by up to 50 mV/m in the ionosphere. The mismatch between magnetospheric and ionspheric convection fields indicates a violation of the equipotential field line condition. The parallel fields occurred in regions roughly 10 km across and probably supported a total potential drop of 10-100 V.

Nemzek, R. J.↗
NASA NTRS1991

Gyro-phase effects near the storm-time boundary of energetic plasma

The nonadiabatic acceleration of plasma sheet ions during the expansion phase of substorms is examined by means of single-particle codes. It is shown that, in the near-earth plasma sheet, the gyration phase at substorm onset controls the net ion energization, as the gyro-period is locally comparable to the field variation time scale. This can yield a particularly significant decrease of the particle magnetic moment. It is accordingly argued that, via adiabatic invariant violation, the dipolarization of magnetospheric field lines can induce a 'de-trapping' of inner plasma sheet populations and, hence, give rise to short-lived precipitation enhancements over the auroral zone. As this effect depends upon cyclotron frequency, it is expected to occur at distinct latitudes for different ion species. This contrasts with nonadiabatic ion behavior further out into the geotail, which is characterized by intense perpendicular heating and a likely collective trapping.

Delcourt, D. C.↗
NASA NTRS1991

Solving constrained minimum-time robot problems using the sequential gradient restoration algorithm

Three constrained minimum-time control problems of a two-link manipulator are solved using the Sequential Gradient and Restoration Algorithm (SGRA). The inequality constraints considered are reduced via Valentine-type transformations to nondifferential path equality constraints. The SGRA is then used to solve these transformed problems with equality constraints. The results obtained indicate that at least one of the two controls is at its limits at any instant in time. The remaining control then adjusts itself so that none of the system constraints is violated. Hence, the minimum-time control is either a pure bang-bang control or a combined bang-bang/singular control.

Lee, Allan Y.↗
NASA NTRS1991

Magnetic field-aligned electric potentials in nonideal plasma flows

The electric field component parallel to the magnetic field arising from plasma flows which violate the frozen-in field condition of ideal magnetohydrodynamics is discussed. The quantity of interest is the potential U = integral E parallel ds where the integral is extended along field lines. It is shown that U can be directly related to magnetic field properties, expressed by Euler potentials, even when time-dependence is included. These results are applicable to earth's magnetosphere, to solar flares, to aligned-rotator models of compact objects, and to galactic rotation. On the basis of order-of-magnitude estimates, these results support the view that parallel electric fields associated with nonideal plasma flows might play an important role in cosmic particle acceleration.

Schindler, K.↗
NASA NTRS1990

A unified motion planning approach for redundant and non-redundant manipulators with actuator constraints

The term trajectory planning has been used to refer to the process of determining the time history of joint trajectory of each joint variable corresponding to a specified trajectory of the end effector. The trajectory planning problem was solved as a purely kinematic problem. The drawback is that there is no guarantee that the actuators can deliver the effort necessary to track the planned trajectory. To overcome this limitation, a motion planning approach which addresses the kinematics, dynamics, and feedback control of a manipulator in a unified framework was developed. Actuator constraints are taken into account explicitly and a priori in the synthesis of the feedback control law. Therefore the result of applying the motion planning approach described is not only the determination of the entire set of joint trajectories but also a complete specification of the feedback control strategy which would yield these joint trajectories without violating actuator constraints. The effectiveness of the unified motion planning approach is demonstrated on two problems which are of practical interest in manipulator robotics.

Chung, Ching-Luan↗
NASA NTRS1991

Laboratory simulation of the surface of Halley's Comet

In the past year we have developed a model for the dissociation of icy grains in comets. In general, this model does not predict the radical yield that is observed in the jets of comets. To reproduce these yields, the concentration of the radical's precursors will have to be too high to be consistent with the abundance that we expect in comets. We have also constructed a theoretical model for the formation of ions on icy cometary grains. That model shows that only a small number of the cometary ions could be produced as ions in icy grains if the particle has only positively charged ions. If it contains both positive and negative ions then it could have a higher concentration of ions without violating charge neutrality. When such a particle evaporates, it can release ions with both charges into the gas phase. These ions could produce radicals via dissociative recombination with electrons if they are positive ions or by photoattachment of electrons if they are negative electrons. Finally, an avalanche process involving the acceleration of electrons towards charged particles is evaluated. It is shown that this will not lead directly to gas phase ions, but it might lead to additional ionization and dissociation on the grain.

Jackson, William M.↗
NASA NTRS1992

How to securely replicate services (preliminary version)

A method is presented for constructing replicated services that retain their availability and integrity despite several servers and clients being corrupted by an intruder, in addition to others failing benignly. More precisely, a service is replicated by 'n' servers in such a way that a correct client will accept a correct server's response if, for some prespecified parameter, k, at least k servers are correct and fewer than k servers are correct. The issue of maintaining causality among client requests is also addressed. A security breach resulting from an intruder's ability to effect a violation of causality in the sequence of requests processed by the service is illustrated. An approach to counter this problem is proposed that requires that fewer than k servers are corrupt and, to ensure liveness, that k is less than or = n - 2t, where t is the assumed maximum total number of both corruptions and benign failures suffered by servers in any system run. An important and novel feature of these schemes is that the client need not be able to identify or authenticate even a single server. Instead, the client is required only to possess at most two public keys for the service.

Reiter, Michael↗
NASA NTRS1992

The energy-time uncertainty principle and the EPR paradox: Experiments involving correlated two-photon emission in parametric down-conversion

The energy-time uncertainty principle is on a different footing than the momentum position uncertainty principle: in contrast to position, time is a c-number parameter, and not an operator. As Aharonov and Bohm have pointed out, this leads to different interpretations of the two uncertainty principles. In particular, one must distinguish between an inner and an outer time in the definition of the spread in time, delta t. It is the inner time which enters the energy-time uncertainty principle. We have checked this by means of a correlated two-photon light source in which the individual energies of the two photons are broad in spectra, but in which their sum is sharp. In other words, the pair of photons is in an entangled state of energy. By passing one member of the photon pair through a filter with width delta E, it is observed that the other member's wave packet collapses upon coincidence detection to a duration delta t, such that delta E(delta t) is approximately equal to planks constant/2 pi, where this duration delta t is an inner time, in the sense of Aharonov and Bohm. We have measured delta t by means of a Michelson interferometer by monitoring the visibility of the fringes seen in coincidence detection. This is a nonlocal effect, in the sense that the two photons are far away from each other when the collapse occurs. We have excluded classical-wave explanations of this effect by means of triple coincidence measurements in conjunction with a beam splitter which follows the Michelson interferometer. Since Bell's inequalities are known to be violated, we believe that it is also incorrect to interpret this experimental outcome as if energy were a local hidden variable, i.e., as if each photon, viewed as a particle, possessed some definite but unknown energy before its detection.

Chiao, Raymond Y.↗
NASA NTRS1991

Constraint-based scheduling

The GERRY scheduling system developed by NASA Ames with assistance from the Lockheed Space Operations Company, and the Lockheed Artificial Intelligence Center, uses a method called constraint-based iterative repair. Using this technique, one encodes both hard rules and preference criteria into data structures called constraints. GERRY repeatedly attempts to improve schedules by seeking repairs for violated constraints. The system provides a general scheduling framework which is being tested on two NASA applications. The larger of the two is the Space Shuttle Ground Processing problem which entails the scheduling of all the inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocation for the NASA Ames wind tunnels. Here the system will be used to schedule wind tunnel tests with the goal of minimizing power costs. In this paper, we describe the GERRY system and its application to the Space Shuttle problem. We also speculate as to how the system would be used for manufacturing, transportation, and military problems.

Zweben, Monte↗
NASA NTRS1991

A joint source/channel coder design

Source coders and channel coders are generally designed without reference to each other. This approach is justified by a famous result of Shannon's. However, there are many situations in practice in which the assumptions upon which this result is based are violated. Specifically, we examine the situation where there is residual redundancy at the source coder output. We have previously shown that this residual redundancy can be used to provide error correction using a viterbi decoder. In this paper, we present the second half of this design; the design of encoders for this situation. We show through simulation results that the proposed coders consistently outperform conventional source/channel coder pairs with gains of up to 12 dB at high probability of error.

Liu, Fuling↗
NASA NTRS1992

Technique to eliminate computational instability in multibody simulations employing the Lagrange multiplier

A programming technique to eliminate computational instability in multibody simulations that use the Lagrange multiplier is presented. The computational instability occurs when the attached bodies drift apart and violate the constraints. The programming technique uses the constraint equation, instead of integration, to determine the coordinates that are not independent. Although the equations of motion are unchanged, a complete derivation of the incorporation of the Lagrange multiplier into the equation of motion for two bodies is presented. A listing of a digital computer program which uses the programming technique to eliminate computational instability is also presented. The computer program simulates a solid rocket booster and parachute connected by a frictionless swivel.

Watts, G.↗
NASA NTRS1992

A verified design of a fault-tolerant clock synchronization circuit: Preliminary investigations

Schneider demonstrates that many fault tolerant clock synchronization algorithms can be represented as refinements of a single proven correct paradigm. Shankar provides mechanical proof that Schneider's schema achieves Byzantine fault tolerant clock synchronization provided that 11 constraints are satisfied. Some of the constraints are assumptions about physical properties of the system and cannot be established formally. Proofs are given that the fault tolerant midpoint convergence function satisfies three of the constraints. A hardware design is presented, implementing the fault tolerant midpoint function, which is shown to satisfy the remaining constraints. The synchronization circuit will recover completely from transient faults provided the maximum fault assumption is not violated. The initialization protocol for the circuit also provides a recovery mechanism from total system failure caused by correlated transient faults.

Miner, Paul S.↗