Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Bounds”

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,027 records · Page 57

The SURE Reliability Analysis Program

The SURE program is a new reliability analysis tool for ultrareliable computer system architectures. The program is based on computational methods recently developed for the NASA Langley Research Center. These methods provide an efficient means for computing accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models. Once a semi-Markov model is described using a simple input language, the SURE program automatically computes the upper and lower bounds on the probability of system failure. A parameter of the model can be specified as a variable over a range of values directing the SURE program to perform a sensitivity analysis automatically. This feature, along with the speed of the program, makes it especially useful as a design tool.

Butler, R. W.↗

Stability analysis of spectral methods for hyperbolic initial-boundary value systems

A constant coefficient hyperbolic system in one space variable, with zero initial data is discussed. Dissipative boundary conditions are imposed at the two points x = + or - 1. This problem is discretized by a spectral approximation in space. Sufficient conditions under which the spectral numerical solution is stable are demonstrated - moreover, these conditions have to be checked only for scalar equations. The stability theorems take the form of explicit bounds for the norm of the solution in terms of the boundary data. The dependence of these bounds on N, the number of points in the domain (or equivalently the degree of the polynomials involved), is investigated for a class of standard spectral methods, including Chebyshev and Legendre collocations.

Gottlieb, D.↗

Rainy Lake wrench zone: An example of an Archaean subprovince boundary in northwestern Ontario

The Superior Province of the Canadian Shield comprises an alternation of subprovinces with contrasting lithological, structural and metamorphic styles. Rocks of the Rainly Lake area form a fault bounded wedge between two of these subprovinces, the Wabigoon granite-greenstone terrain to the north and the Quetico metasedimentary terrain to the south. The Quetico and Seine River-Rainy Lake Faults bound this wedge within which interpretation of the stratigraphy has been historically contentious. In the eastern part of the wedge, volcanic rocks and coeval tonalitic sills are unconformably overlain by fluviatile conglomerate and arenite of the Seine Group; in the western part of the wedge, metamorphosed wacke and mudstone of the Coutchiching Group are cut by granodioritic plutons. The Coutchiching Group has previously been correlated with the Seine Group and with the turbiditic Quetico metasediments of the Quetico Subprovince and these correlations are the cornerstone of earlier tectonic models which relate the subprovinces. The structural geology of the Rainy Lake area is characterized by attributes which compare favourably with the known characteristics of dextral wrench or 'transpressive zones based both on experimental data and natural examples. Much of this deformation involved the Seine Group, the youngest stratigraphic unit in the area, and predates the emplacement of late-to-post-tectonic granodioritic plutons for which radiometric data indicate a Late Archean age.

Poulsen, K. H.↗

Theoretical and material studies on thin-film electroluminescent devices

A theoretical study of resonant tunneling in multilayered heterostructures is presented based on an exact solution of the Schroedinger equation under the application of a constant electric field. By use of the transfer matrix approach, the transmissivity of the structure is determined as a function of the incident electron energy. The approach presented is easily extended to many layer structures where it is more accurate than other existing transfer matrix or WKB models. The transmission resonances are compared to the bound state energies calculated for a finite square well under bias using either an asymmetric square well model or the exact solution of an infinite square well under the application of an electric field. The results show good agreement with other existing models as well as with the bound state energies. The calculations were then applied to a new superlattice structure, the variablly spaced superlattice energy filter, (VSSEP) which is designed such that under bias the spatial quantization levels fully align. Based on these calculations, a new class of resonant tunneling superlattice devices can be designed.

Summers, C. J.↗

Measurement of energy distribution in flowing hydrogen microwave plasmas

An electrothermal propulsion concept utilizing a microwave plasma system as the mechanism to convert electromagnetic energy into kinetic energy of a flowing gas is investigated. A calorimetry system enclosing a microwave plasma system has been developed to accurately measure the energy inputs and outputs of the microwave plasma system. The rate of energy transferred to the gas can be determined to within + or - 1.8 W from an energy balance around the microwave plasma system. The percentage of the power absorbed by the microwave plasma system transferred to the hydrogen gas as it flows through the system is found to increase with the increasing flow rate, to decrease with the increasing pressure, and to be independent of the absorbed power. An upper bound for the hydrogen gas temperature is estimated from the energy content, heat capacity, and flow rate of the gas stream. A lower bound for an overall heat-transfer coefficient is then calculated, characterizing the energy loss from the hydrogen gas stream to the air cooling of the plasma discharge tube wall. The heat-transfer coefficient is found to increase with the increasing flow rate and pressure and to be independent of the absorbed power. This result indicates that a convective-type mechanism is responsible for the energy transfer.

Chapman, R.↗

Transition metal-ligand bonding. II

The nature of the bonding of CO, H2O, and NH3 to transition metal atoms is analyzed using the constrained-space-orbital-variation (CSOV) technique. The cooperative effects for Ni(CO)2 are found to be different than those for Ni(H2O)2. The bonding between neutral systems and the positive ions is found to be quite different; NiCO(+) has little pi bonding, while NiCO has strong pi bonding. The positive ion of NiH2O is far more strongly bound than the neutral, while for NiCO the positive ion and neutral are bound by about the same energy.

Bauschlicher, C. W., Jr.↗

Software reliability modeling and analysis

A discrete and, as approximation to it, a continuous model for the software reliability growth process are examined. The discrete model is based on independent multinomial trials and concerns itself with the joint distribution of the first occurrence time of its underlying events (bugs). The continuous model is based on the order statistics of N independent nonidentically distributed exponential random variables. It is shown that the spacings between bugs are not necessarily independent or exponentially (geometrically) distributed. However, there is a statistical rationale for viewing them so conditionally. Some identifiability problems are pointed out and resolved. In particular, it appears that the number of bugs in a program is not identifiable. Estimated upper bounds and confidence bounds for the residual program eror content are given based on the spacings of the first k bugs removed.

Scholz, F.-W.↗

The SURE reliability analysis program

The SURE program is a new reliability tool for ultrareliable computer system architectures. The program is based on computational methods recently developed for the NASA Langley Research Center. These methods provide an efficient means for computing accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models. Once a semi-Markov model is described using a simple input language, the SURE program automatically computes the upper and lower bounds on the probability of system failure. A parameter of the model can be specified as a variable over a range of values directing the SURE program to perform a sensitivity analysis automatically. This feature, along with the speed of the program, makes it especially useful as a design tool.

Butler, R. W.↗

Comparison of various techniques for calibration of AIS data

The Airborne Imaging Spectrometer (AIS) samples a region which is strongly influenced by decreasing solar irradiance at longer wavelengths and strong atmospheric absorptions. Four techniques, the Log Residual, the Least Upper Bound Residual, the Flat Field Correction and calibration using field reflectance measurements were investigated as a means for removing these two features. Of the four techniques field reflectance calibration proved to be superior in terms of noise and normalization. Of the other three techniques, the Log Residual was superior when applied to areas which did not contain one dominant cover type. In heavily vegetated areas, the Log Residual proved to be ineffective. After removing anomalously bright data values, the Least Upper Bound Residual proved to be almost as effective as the Log Residual in sparsely vegetated areas and much more effective in heavily vegetated areas. Of all the techniques, the Flat Field Correction was the noisest.

Dar A. Roberts↗

Microwave dielectric behavior of vegetation material

The microwave dielectric behavior of vegetation was examined through the development of theoretical models involving dielectric dispersion by both bound and free water and supported by extensive dielectric measurements conducted over a wide range of conditions. The experimental data were acquired using an open-ended coaxial probe that was developed for sensing the dielectric constant of thin layers of materials, such as leaves, from measurements of the complex reflection coefficient using a network analyzer. The probe system was successfully used to record the spectral variation of the dielectric constant over a wide frequency range extending from 0.5 to 20.4 GHz at numerous temperatures between -40 to +40 C. The vegetation samples were measured over a wide range of moisture conditions. To model the dielectric spectrum of the bound water component of the water included in vegetation, dielectric measurements were made for several sucrose-water solutions as analogs for the situation in vegetation. The results were used in conjunction with the experimental data for leaves to determine some of the constant coefficients in the theoretical models. Two models, both of which provide good fit to the data, are proposed.

Elrayes, Mohamed A.↗

Cyclic unequal error protection codes constructed from cyclic codes of composite length

The distance structure of cyclic codes of composite length was investigated. A lower bound on the minimum distance for this class of codes is derived. In many cases, the lower bound gives the true minimum distance of a code. Then the distance structure of the direct sum of two cyclic codes of composite length were investigated. It was shown that, under certain conditions, the direct-sum code provides two levels of error correcting capability, and hence is a two-level unequal error protection (UEP) code. Finally, a class of two-level UEP cyclic direct-sum codes and a decoding algorithm for a subclass of these codes are presented.

Lin, Shu↗

Spacecraft ram glow and surface temperature

Space shuttle glow intensity measurements show large differences when the data from different missions are compared. In particular, on the 41-G mission the space shuttle ram glow was observed to display an unusually low intensity. Subsequent investigation of this measurement and earlier measurements suggest that there was a significant difference in temperature of the glow producing ram surfaces. The highly insulating properties coupled with the high emissivity of the shuttle tile results in surfaces that cool quickly when exposed to deep space on the night side of the orbit. The increased glow intensity is consistent with the hypothesis that the glow is emitted from excited NO2. The excited NO2 is likely formed through three body recombination (OI + NO + M = NO2*) where ramming of OI interacts with weakly surface bound NO. The NO is formed from atmospheric OI and NI which is scavenged by the spacecraft moving through the atmosphere. It is postulated that the colder surfaces retain a thicker layer of NO thereby increasing the probability of the reaction. It has been found from the glow intensity/temperature data that the bond energy of the surface bound precursor, leading to the chemical recombination producing the glow, is approximately 0.14 eV. A thermal analysis of material samples of STS-8 was made and the postulated temperature change of individual material samples prior to the time of glow measurements above respective samples are consistent with the thermal effect on glow found for the orbiter surface.

Swenson, G. R.↗

Collision detection for spacecraft proximity operations

Collision Detection for Spacecraft Proximity Operations This thesis describes the development of a new collision detection algorithm to be used when two spacecraft are operating in the same vicinity. The two spacecraft are modelled as unions of convex polyhedra, where the polyhedron resulting from the union may be either convex or nonconvex. The relative motion of the two spacecraft is assumed to be such that one vehicle is moving with constant linear and angular velocity with respect to the other. The algorithm determines if a collision is possible and, if so, predicts the time when the collision will take place. The theoretical basis for the new collision detection algorithm is the C-function formulation of the configuration space approach recently introduced by researchers in robotics. Three different types of C-functions are defined that model the contacts between the vertices, edges, and faces of the polyhedra representing the two spacecraft. These C-functions are used to formulate three "collision" conditions. The first of these conditions limits the points representing potential collisions to the zeros of the C-functions. The new algorithm is fundamentally a search for the smallest zero of any C-function that satisfies the second and third collision conditions. The C-functions are shown to be transcendental functions of time for the assumed trajectory of the moving spacecraft. The zeros of these functions cannot be expressed in dosed form. Therefore, numerical search procedures are developed to find aLl of the zeros of a C-function in specified bounded intervals of time. These bounded intervals of time are found by examining the second and third collision conditions. The capabilities of the new algorithm are demonstrated for several example cases. These include examples of collisions determined by zeros of each of the three different types of C-functions. In addition to predicting the time of first contact of the polyhedra, the algorithm identifies the features of the two polyhedra that are touching at this time. The new collision detection algorithm is the first such algorithm that is capable of solving the collision detection problem exactly for the case where the moving object has constant linear and angular velocities. This is a significant improvement on previous collision detection algorithms described in the literature. In particular, the ability to handle constant angular velocity represents a more realistic type of rotational motion than those which have been used in other algorithms.

Robin M Vaughan↗

Constructions for finite-state codes

A class of codes called finite-state (FS) codes is defined and investigated. These codes, which generalize both block and convolutional codes, are defined by their encoders, which are finite-state machines with parallel inputs and outputs. A family of upper bounds on the free distance of a given FS code is derived from known upper bounds on the minimum distance of block codes. A general construction for FS codes is then given, based on the idea of partitioning a given linear block into cosets of one of its subcodes, and it is shown that in many cases the FS codes constructed in this way have a d sub free which is as large as possible. These codes are found without the need for lengthy computer searches, and have potential applications for future deep-space coding systems. The issue of catastropic error propagation (CEP) for FS codes is also investigated.

Pollara, F.↗

Existence of the time optimal control for robotic manipulators

Using Filipov's Theorem, it is shown that the conditions oif nonfinite escape of trajectories, reachability, and convexity of the dynamics over all admissible controls are needed for the existence of a time optimal solution for the robotic equation. With a lower bound for the finite-escape time established using a Liapunov approach, and an upper bound for the time to reach the target established using the exact linearization idea, a single inequality is found which is closely related to the coriolis and the centrifugal terms, the absence of which implies that the domain of existence of the optimal solution can be made arbitrarily large with a large torque constraint. As the work space is finite, this is essentially a global result in practical situations.

Wen, J.↗

Theory of resonant tunneling in a variably spaced multiquantum well structure - An Airy function approach

A theoretical study of resonant tunneling in multilayered heterostructures is presented based on an exact solution of the Schroedinger equation under the application of a constant electric field. By use of the transfer matrix approach, the transmissivity of the structure is determined as a function of the incident electron energy. The approach presented herein is easily extended to many layer structures where it is more accurate than other existing transfer matrix or Wentzel-Kramers-Brillouin (WKB) models. The transmission resonances are compared to the bound-state energies calculated for a finite square well under bias using either an asymmetric square-well model or the exact solution of an infinite square well under the application of an electric field. The results show good agreement with other existing models as well as with the bound-state energies. The calculations were then applied to a new superlattice structure, the variably spaced superlattice energy filter, which is designed such that under bias the spatial quantization levels fully align. Based on these calculations, a new class of resonant tunneling superlattice devices can be designed.

Brennan, K. F.↗

Head-on binary collisions in globular clusters

Collision probabilities between identical binaries of three different binding energies are computed for binaries in the cores of globular clusters. The more tightly bound a binary is, the smaller the chance is that it suffers a collision. It is found that a given binary in a globular cluster core probably does not suffer more than a very few collisions. If it is not broken up into single stars, it will become so tightly bound that collisions involving it are very rare. Since it is found that head-on collisions are so rare, the collisions which are probably more important in affecting the evolution of the cluster core are the long-range (large impact parameter) encounters.

Hoffer, James B.↗

Apsidal advance in Vela X-1

An upper bound on the rate of apsidal advance in Vela X-1 is determined, taking into account the effect of the red noise in pulse frequency reported by Boynton et al. (1986). A new, more precise mean orbit is computed which provides substantially smaller upper bounds on both the rate of apsidal advance and the rate of change of the orbital period than previous solutions. A new, hybrid method for measuring the rate of apsidal advance is described that uses eclipse observations as well as pulse timing. The new method is potentially as useful as the direct measurement from pulse-timing alone for systems that allow more precise determinations of eclipse ingress and egress than does Vela X-1.

Deeter, J. E.↗