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 1,783 records · Page 99
All sourcesNASA NTRSDOE OSTI
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.↗
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 inspection, repair, and maintenance tasks required to prepare the orbiter for flight. The other application involves power allocations 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 applications 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

The min-conflicts heuristic: Experimental and theoretical results

This paper describes a simple heuristic method for solving large-scale constraint satisfaction and scheduling problems. Given an initial assignment for the variables in a problem, the method operates by searching through the space of possible repairs. The search is guided by an ordering heuristic, the min-conflicts heuristic, that attempts to minimize the number of constraint violations after each step. We demonstrate empirically that the method performs orders of magnitude better than traditional backtracking techniques on certain standard problems. For example, the one million queens problem can be solved rapidly using our approach. We also describe practical scheduling applications where the method has been successfully applied. A theoretical analysis is presented to explain why the method works so well on certain types of problems and to predict when it is likely to be most effective.

Minton, Steven↗
NASA NTRS1992

How to securely replicate services

A method is presented for constructing replicated services that retain their availability and integrity despite several servers and clients 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 corrupt. 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 fewer than k servers to be corrupt and that is live if at least k+b servers are correct, where b is the assumed maximum total number of corrupt 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. The practicality of these schemes is illustrated through a discussion of several issues pertinent to their implementation and use, and their intended role in a secure version of the Isis system is also described.

Reiter, Michael↗
NASA NTRS1991

Space transportation systems, launch systems, and propulsion for the Space Exploration Initiative: Results from Project Outreach

A number of transportation and propulsion options for Mars exploration missions are analyzed. As part of Project Outreach, RAND received and evaluated 350 submissions in the launch vehicle, space transportation, and propulsion areas. After screening submissions, aggregating those that proposed identical or nearly identical concepts, and eliminating from further consideration those that violated known physical princples, we had reduced the total number of viable submissions to 213. In order to avoid comparing such disparate things as launch vehicles and electric propulsion systems, six broad technical areas were selected to categorize the submissions: space transportation systems; earth-to-orbit (ETO) launch systems; chemical propulsion; nuclear propulsion; low-thrust propulsion; and other. To provide an appropriate background for analyzing the submissions, an extensive survey was made of the various technologies relevant to the six broad areas listed above. We discuss these technologies with the intent of providing the reader with an indication of the current state of the art, as well as the advances that might be expected within the next 10 to 20 years.

Garber, T.↗
NASA NTRS1991

Characterization of frequency standard instability by estimation of their covariance matrix

The popular 3-cornered hat method used for evaluating the noise contributions of individual frequency standards is revisited. This method is used in several cases, but sometimes the results are not consistent because one or more estimated clock variances turn out to be negative. Different causes of this unacceptable result have been conjectured: among them one regards the hypothesis of uncorrelated clocks, essential in this method. Since recently realistic cases of correlation between clocks, mainly due to the environmental conditions, have been observed, this paper proposes an entirely revisited version of the 3-cornered hat method which permits to evaluate the individual variances and also the possible covariances between clocks, by relaxing the hypothesis of uncorrelation. The uncertainty and the lack of contemporaneity of the measurement series are assumed to be negligible. The lack of the uncorrelation hypothesis calls for a more general mathematical model leading to an underdetermined linear system. The estimates of the (co)variances of the measurement series us well us those of the individual clocks are introduced by means of the scalar product of the related time series and arranged in the respective covariance matrices S and R. Since covariance matrix is positive definite by definition, the problem consists in estimating the unknown R, subject to the constraint of positive definiteness, from the known S. Unfortunately, this constraint is not sufficient to estimate R. Therefore a suitable optimization criterion is proposed, which assures the positive definiteness of R and, at the same time, minimizes the global correlation among clocks. Examples of frequency instability measurements processed by the "classical" 3-cornered hat method and the here-revisited method are presented showing that the solutions are identical only when the uncorrelation hypothesis doesn't violate the positive definiteness of R.

PatriziaTravella↗
NASA NTRS1991

The upper atmosphere of Uranus

Voyager measurements of the upper atmosphere of Uranus are analyzed and developed. The upper atmosphere of Uranus is predominantly H2, with at most 10 percent He by volume, and the dominant constituent of the exosphere is H. The thermosphere is warm, with an asymptotic isothermal temperature of about 800 K. Atomic hydrogen at this temperature forms an extensive thermal corona and creates gas drag that severely limits the lifetime of small ring particles. The upper atmosphere emits copious amounts of UV radiation from pressures greater than 0.01 microbar. The depth of this emission level imposes a powerful constraint on permissible emission mechanisms. Electron excitation from a thin layer near the exobase appears to violate this constraint. Solar fluorescence is consistent with the observed trend in solar zenith-angle variation of the emissions and is absent from the night side of the planet. On Uranus, it accounts for the observed Lyman beta to H2 bands intensity ratio and an important fraction of the observed intensity (about 55 percent).

Strobel, Darrell F.↗
NASA NTRS1992

Ultrasonic sensing of powder densification

An independent scattering theory has been applied to the interpretation of ultrasonic velocity measurements made on porous metal samples produced either by a cold or a high-temperature compaction process. The results suggest that the pores in both processes are not spherical, an aspect ration of 1:3 fitting best with the data for low (less than 4 percent) pore volume fractions. For the hot compacted powders, the pores are smooth due to active diffusional processes during processing. For these types of voids, the results can be extended to a pore fraction of 10 percent, at which point voids form an interconnected network that violates the model assumptions. The cold pressed samples are not as well predicted by the theory because of poor particle bonding.

Lu, Yichi↗
NASA NTRS1990

Linear evolution of current sheets in sheared force-free magnetic fields with discontinuous connectivity

Thin current sheets arising in tenuous, magnetized solar coronal plasmas may constitute an important mechanism for energy buildups and subsequent energy releases; they could arise from the continuous-and-random motion of magnetic footprints associated with photospheric velocity fields. A model is presented for study of the quasi-static evolution of current sheets due to shearing of the footpoints, in a highly idealized geometry that incorporates an abrupt jump in field-line connectivity. The model highlights that formation of thin current layers and allows large shearing motions prior to violation of the linear approximation. Excess energy comparable to that released by solar flares can be stored in a sheared field.

Wolfson, Richard↗
NASA NTRS1992

A visual display aid for planning rover traversals

An interactive graphical planning system has been developed, which allows a human operator to design and check traversals (cross-country paths) for a planetary rover vehicle. The display provides the operator with necessary information about the terrain and indicates violations of operational or dynamic constraints on the rover. The operator can select different kinds of two-dimensional maps as well as a perspective view of the rover environment to plan the traversals. An experiment has been carried out to determine the ability of the operator to estimate the rover attitude in a large variety of situations. It turned out that the estimation error is highly dependent on the rover attitude itself. This result can be used to determine a vertical scale for the perspective representation of the terrain which avoids an underestimation of dangerous rover attitudes.

Bernard, Herbert F.↗
NASA NTRS1991

Philosophy, policies, and procedures - The three P's of flight-deck operations

Standard operating procedures are drafted and provided to flightcrews to dictate the manner in which tasks are carried out. Failure to conform to Standard Operating Procedures (SOP) is frequently listed as the cause of violations, incidents, and accidents. However, procedures are often designed piecemeal, rather than being based on a sound philosophy of operations and policies that follow from such a philosophy. A framework of philosophy, policies, and procedures is proposed.

Degani, Asaf↗
NASA NTRS1992

Thick strings, the liquid crystal blue phase, and cosmological large-scale structure

A phenomenological model based on the liquid crystal blue phase is proposed as a model for a late-time cosmological phase transition. Topological defects, in particular thick strings and/or domain walls, are presented as seeds for structure formation. It is shown that the observed large-scale structure, including quasi-periodic wall structure, can be well fitted in the model without violating the microwave background isotropy bound or the limits from induced gravitational waves and the millisecond pulsar timing. Furthermore, such late-time transitions can produce objects such as quasars at high redshifts. The model appears to work with either cold or hot dark matter.

Luo, Xiaochun↗