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 415 records · Page 23
All sourcesNASA NTRSDOE OSTI
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↗
NASA NTRS1992

Multidisciplinary optimization of aeroservoelastic systems using reduced-size models

Efficient analytical and computational tools for simultaneous optimal design of the structural and control components of aeroservoelastic systems are presented. The optimization objective is to achieve aircraft performance requirements and sufficient flutter and control stability margins with a minimal weight penalty and without violating the design constraints. Analytical sensitivity derivatives facilitate an efficient optimization process which allows a relatively large number of design variables. Standard finite element and unsteady aerodynamic routines are used to construct a modal data base. Minimum State aerodynamic approximations and dynamic residualization methods are used to construct a high accuracy, low order aeroservoelastic model. Sensitivity derivatives of flutter dynamic pressure, control stability margins and control effectiveness with respect to structural and control design variables are presented. The performance requirements are utilized by equality constraints which affect the sensitivity derivatives. A gradient-based optimization algorithm is used to minimize an overall cost function. A realistic numerical example of a composite wing with four controls is used to demonstrate the modeling technique, the optimization process, and their accuracy and efficiency.

Karpel, Mordechay↗
NASA NTRS1992

Appendix: Limits on the use of heterodyning and amplification in optical interferometry

The development of optical fibers, lasers, and mixers at optical frequencies has offered the hope that active methods can contribute to optical interferometry. Heterodyning, in particular, looks attractive, even though bandwidths are narrower than one would like at present; one might expect this limitation to lessen as technology develops. That expectation, unfortunately, is not likely to benefit interferometry at optical wavelengths because of the intervention of quantum mechanics and the second law of thermodynamics, as Burke (1985a) pointed out. So much 'second quantization' noise is generated that only at infrared frequencies, somewhere in the 10-100 micron range, can one look forward to heterodyning in any realistic sense. The reason is easily understood. Every amplifier, in the quantum limit, works by stimulated emission, even though this basic truth is not obvious at radio frequencies. This means that there must be spontaneous emission occurring within every amplifier, and Strandberg (1957) showed that this implied a limiting noise temperature, T sub N = h nu/k, for any amplifier. Burke (1969) used this result to demonstrate that, if it were not for this quantum noise, the VLBI method would allow one to tell which slit a photon went through before forming an interference pattern, thus violating basic tenants of quantum mechanics. In essence, the second quantization condition Delta N Delta phi greater than or = 1 saves one from paradox. One can state the conclusion simply: any amplifier produces approximately one photon per Hertz of bandwidth. In optical interferometry, one will certainly want bandwidth in the 10(exp 12) to 10(exp 14) Hz range, and that implies an intolerable cacophony of noise photons. Only at infrared frequencies can one tolerate the quantum noise, where the natural noise background may be high and the mixers are not as efficient as one would hope for. The crossover at present is about 10 or 20 microns, but the boundary will shift to longer wavelengths as noise performance improves. One might guess that ultimately a wavelength of about 100 microns will mark the limit of useful amplification and heterodyning in astronomical aperture synthesis interferometry.

Burke, Bernard F.↗
NASA NTRS1992

Dynamics of the Venus atmosphere

The superrotation of the Venus atmosphere is a major unanswered problem in planetary science. At cloud-top levels (65-70 km altitude) the atmosphere rotates with a five-day period, corresponding to an equatorial wind speed of 90 m/s. Angular velocity is roughly constant on spherical shells, and decreases linearly with altitude to zero at the surface. The direction of rotation is the same as that of the solid planet, which is retrograde--opposite to the direction of orbital motion, but the 5-day period is short compared to the 243-day spin period of the solid planet or to the mean solar day, which is 117 Earth-days at the surface. The problem with the superrotation is that shearing stresses tend to transfer angular momentum downward, and would slow the atmosphere until it is spinning with the solid planet. Some organized circulation pattern is counteracting the tendency, but the pattern has not been identified. A simple Hadley-type circulation cannot do it because such a circulation is zonally symmetric and Hide's Theorem states that in an axisymmetric circulation an extremum in angular momentum per unit mass M can exist only at the surface. Venus violates the last condition, having a maximum of retrograde M on the equator at 70-80 km altitude. This leaves waves and eddies to maintain the superrotation but the length scales and forcing mechanisms for these motions need to be specified. Possible forcing mechanisms associated with waves, eddies and tides are discussed.

Ingersoll, A. P.↗
NASA NTRS1992

Venus internal magnetic field and its interaction with the interplanetary magnetic field

In a previous study, Knudsen et al. suggested that Venus has a weak internal magnetic dipole field of the order of 7 x 10 + 20 G cm(exp -3) that is manifested in the form of magnetic flux tubes threading the ionospheric holes in the Venus nightside ionosphere. They pointed out that any internal field of Venus, dipole or multipole, would be weakened in the subsolar region and concentrated in the antisolar region of the planet by the supersonic transterminator convection of the dayside ionosphere into the nightside hemisphere. The inferred magnitude of the dipole field does not violate the upper limit for an internal magnetic field established by the Pioneer Venus magnetometer experiment. The most compelling objection to the model suggested by Knudsen et al. has been the fact that it does not explain the observed interplanetary magnetic field (IMF) control of the polarity of the ionospheric hole flux tubes. In this presentation I suggest that a magnetic reconnection process analogous to that occurring at earth is occurring at Venus between the IMF and a weak internal dipole field. At Venus in the subsolar region, the reconnection occurs within the ionosphere. At Earth it occurs at the magnetopause. Reconnection will occur only when the IMF has an appropriate orientation relative to that of the weak internal field. Thus, reconnection provides a process for the IMF to control the flux tube polarity. The reconnection in the subsolar region takes place in the ionosphere as the barrier magnetic field is transported downward into the lower ionosphere by downward convection of ionospheric plasma and approaches the oppositely directed internal magnetic field that is diffusing upward. The reconnected flux tubes are then transported anti-Sunward by the anti-Sunward convecting ionospheric plasma as well as by the anti-Sunward-flowing solar wind. Reconnection will also occur in the Venus magnetic tail region, somewhat analogously to the reconnection that occurs in the magnetotail of the Earth. The possibility that reconnection is occurring between the IMF and an internal dipole field may be tested by measuring the orientation of the IMF projected into a plane perpendicular to the solar wind velocity during time intervals for which ionospheric holes are observed. The orientations of the IMV components should fall within a 180 deg angle.

Knudsen, W. C.↗
NASA NTRS1992

Radar-anomalous, high-altitude features on Venus

Over nearly all of the surface of Venus the reflectivity and emissivity at centimeter wavelengths are about 0.15 and 0.85 respectively. These values are consistent with moderately dense soils and rock populations, but the mean reflectivity is about a factor of 2 greater than that for the Moon and other terrestrial planets. Pettingill and Ford, using Pioneer Venus reflectivities and emissivities, found a number of anomalous features on Venus that showed much higher reflectivities and much lower emissivities with both values approaching 0.5. These include Maxwell Montes, a number of high regions in Aphrodite Terra and Beta Regio, and several isolated mountain peaks. Most of the features are at altitudes above the mean radius by 2 to 3 km or more. However, such features have been found in the Magellan data at low altitudes and the anomalies do not exist on all high structures, Maat Mons being the most outstanding example. A number of papers have been written that attempt to explain the phenomena in terms of the geochemistry balance of weathering effects on likely surface minerals. The geochemists have shown that the fundamentally basaltic surface would be stable at the temperatures and pressures of the mean radius in the form of magnetite, but would evolve to pyrite and/or pyrrhotite in the presence of sulfur-bearing compounds such as SO2. Pyrite will be stable at altitudes above 4 or 5 km on Venus. Although the geochemical arguments are rather compelling, it is vitally important to rationally look at other explanations for radar and radio emission measurements such as that presented by Tryka and Muhleman. The radar reflectivity values are retrieved from the raw Magellan backscatter measurements by fitting the Hagfors' radar scattering model in which a surface roughness parameters and a normal incidence electrical reflectivity are estimated. The assumptions of the theory behind the model must be considered carefully before the results can be believed. These include that the surface roughness exists only at horizontal scales large compared to the wavelength, the vertical deviations are gaussianly distributed, there is no shadowing, and that the reflection occurs at the interface of two homogeneous dielectric half-spaces. Probably all these conditions are violated at the anomalous features under discussion. The most important of these is the homogeneity of the near surface of Venus, particularly in highlands. Under the assumptions of the theory, all of the radio energy is reflected by the impedance jump at the very boundary. However, in heterogeneous soil some fraction of the illuminating energy is propagated into the soil and then scattered back out by impedance discontinuities such as rock, voids, and cracks. In light soils, the latter effect can overwhelm the scattering effects of the true surface and greatly enhance the backscatter power, suggesting a much higher value of an effective dielectric constant that would be estimated from Hagfors' model.

Muhleman, Duane O.↗
NASA NTRS1992

Minimizing conflicts: A heuristic repair method for constraint-satisfaction and scheduling problems

This paper describes a simple heuristic approach to solving large-scale constraint satisfaction and scheduling problems. In this approach one starts with an inconsistent assignment for a set of variables and searches through the space of possible repairs. The search can be guided by a value-ordering heuristic, the min-conflicts heuristic, that attempts to minimize the number of constraint violations after each step. The heuristic can be used with a variety of different search strategies. We demonstrate empirically that on the n-queens problem, a technique based on this approach performs orders of magnitude better than traditional backtracking techniques. We also describe a scheduling application where the approach has been used successfully. A theoretical analysis is presented both to explain why this method works well on certain types of problems and to predict when it is likely to be most effective.

Minton, Steve↗
NASA NTRS1992

Rescheduling with iterative repair

This paper presents a new approach to rescheduling called constraint-based iterative repair. This approach gives our system the ability to satisfy domain constraints, address optimization concerns, minimize perturbation to the original schedule, produce modified schedules, quickly, and exhibits 'anytime' behavior. The system begins with an initial, flawed schedule and then iteratively repairs constraint violations until a conflict-free schedule is produced. In an empirical demonstration, we vary the importance of minimizing perturbation and report how fast the system is able to resolve conflicts in a given time bound. We also show the anytime characteristics of the system. These experiments were performed within the domain of Space Shuttle ground processing.

Zweben, Monte↗