Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “BOUND STATE”

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 361 records · Page 20

Ionization induced damage in crystalline silicon

Close examination of the interaction of the energetic knock-on atoms with the local lattice environment reveals a damage mechanism which does satisfy the experimental data on proton irradiation of silicon. A proton-atom interaction with high energy transfer is considered where the proton path is delineated by a trail of ionization, and the silicon ion path is characterized by much heavier ionization terminating in a dense displacement cluster. At collision, many of the silicon electrons are stripped off, and the resulting energetic ion subsequently loses energy rapidly by Coulomb interaction with bound electrons. The rate of energy loss depends on the charge state and velocity of the knock-on ion. For ion energies in excess of 1 MeV, the intensity of ionization is sufficient to permit lattice atoms, stripped of their binding electrons, to reorient randomly before having an opportunity to recombine with electrons and re-establish the lattice. The path of a knock-on ion thus becomes a thin cylinder of amorphous material within the crystal. Amorphous silicon has a Fermi level closer to mid-band than does single crystal silicon, and a strong field therefore, results around this damaged region. The field produces a large depletion region, representing a very large capture cross section for minority carriers.

Meulenberg, A., Jr.↗

The effect of line damping, magneto-optics and parasitic light on the derivation of sunspot vector magnetic fields

The least square fitting of Stokes observations of sunspots using a Milne-Eddington-Unno model appears to lead, in many circumstances, to various inconsistencies such as anomalously large doppler widths and, hence, small magnetic fields which are significantly below those inferred solely from the Zeeman splitting in the intensity profile. It is found that the introduction of additional physics into the model such as the inclusion of damping wings and magneto-optic birefrigence significantly improves the fit to Stokes parameters. Model fits excluding the intensity profile, i.e., of both magnitude as well as spectral shape of the polarization parameters alone, suggest that parasitic light in the intensity profile may also be a source of inconsistencies. The consequences of the physical changes on the vector properties of the field derived from the Fe I lambda 6173 line for the 17 November 1975 spot as well as on the thermodynamic state are discussed. A Doppler width delta lambda (D) - 25mA is bound to be consistent with a low spot temperature and microturbulence, and a damping constant of a = 0.2.

Skumanich, A.↗

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.↗

Transmission of order in some unusual dilute systems

As a system is diluted, the critical temperature T may fall to zero at a concentration X sub c greater than the percolation concentration, because mere connectivity does not guarantee the transmission of order even at T = 0. Detailed results, including bounds on X sub c, are presented for the three-state Potts antiferromagnet on a triangular lattice and for quadrupolar models of (o-H2)x(p-H2)1-x mixtures on fcc and triangular lattices.

Adler, Joan↗

Analysis of plasma measurements for the Geotail mission

The first phase of the Geotail mission, an exploration of the distant magnetotail, was successfully concluded in October 1994. Geotail is currently engaged in a survey of plasmas at distances from Earth approximately 10 to 30 R(sub E). Throughout the mission the Comprehensive Plasma Instrumentation has functioned well with successful return of data. The analysis of the CPI measurements has resulted in a series of publications, and research efforts are ongoing. Research topics include interaction of the magnetotail with the fields and plasmas of the solar wind, steady-state magnetic reconnection in the distant magnetotail at a neutral line bounded by a pair of slow-mode magnetohydrodynamic shocks, development and evolution of plasmoids in magnetotail and magnetospheric substorms, and cold ion beams coexisting as distinct components in the presence of hot plasma-sheet plasmas.

Frank, Louis A.↗

Robust Controller Synthesis for Vision-based Spacecraft Guidance and Control

This work develops a method for Robust Controller for Vision-based Spacecraft (RCVS) guidance and control, integral to the robust autonomy framework for multi-spacecraft for- mation control and reconfiguration applications. The method is built around the use of a photo-realistic simulator, where a camera is deployed on a tracking spacecraft (ego) in order to observe an uncontrolled spacecraft (target) in a Low Earth Orbit (LEO). In this direction, the proposed approach performs the relative state (attitude and position) estimation of the target spacecraft using Convolutional Neural Network (CNN). The state estimation error is then modeled and the corresponding error-bounds are obtained around a nominal trajectory of the ego and target spacecraft. Next, this work proposes a linear matrix inequalities (LMIs) based approach to controller synthesis, guaranteed to be robust against both model uncertainties and measurement errors, resulting from vision-based estimation. This controller is comprised of two distinct components, one synthesized based on the nominal trajectory, while the “robust” component corrects for deviations from the nominal trajectory. Finally, a tracking scenario that directly utilize the image data for spacecraft guidance and control, is presented to showcase the performance of the proposed robust autonomy framework.

Rahmani, Amir↗

A Study of Strong Stability of Distributed Systems

The strong stability of distributed systems is studied and the problem of characterizing strongly stable semigroups of operators associated with distributed systems is addressed. Main emphasis is on contractive systems. Three different approaches to characterization of strongly stable contractive semigroups are developed. The first one is an operator theoretical approach. Using the theory of dilations, it is shown that every strongly stable contractive semigroup is related to the left shift semigroup on an L(exp 2) space. Then, a decomposition for the state space which identifies strongly stable and unstable states is introduced. Based on this decomposition, conditions for a contractive semigroup to be strongly stable are obtained. Finally, extensions of Lyapunov's equation for distributed parameter systems are investigated. Sufficient conditions for weak and strong stabilities of uniformly bounded semigroups are obtained by relaxing the equivalent norm condition on the right hand side of the Lyanupov equation. These characterizations are then applied to the problem of feedback stabilization. First, it is shown via the state space decomposition that under certain conditions a contractive system (A,B) can be strongly stabilized by the feedback -B(*). Then, application of the extensions of the Lyapunov equation results in sufficient conditions for weak, strong, and exponential stabilizations of contractive systems by the feedback -B(*). Finally, it is shown that for a contractive system, the first derivative of x with respect to time = Ax + Bu (where B is any linear bounded operator), there is a related linear quadratic regulator problem and a corresponding steady state Riccati equation which always has a bounded nonnegative solution.

Cataltepe, Tayfun↗

Rotating neutron star models and pulsars

Recently developed equations of state are used to construct fully relativistic models of rotating neutron stars. All of these stable neutron star models are bound. Consideration of binding energies suggests that very-low-mass neutron stars will not be formed in supernova explosions. Some criteria for equations of state are derived from a comparison with observations. Limits for the physical parameters of the Crab pulsar are obtained. In addition, we find that cosmic-ray protons cannot be produced by pulsars.

Boerner, G.↗

A Performance Prediction Model for a Fault-Tolerant Computer During Recovery and Restoration

The modeling and design of a fault-tolerant multiprocessor system is addressed. In particular, the behavior of the system during recovery and restoration after a fault has occurred is investigated. Given that a multicomputer system is designed using the Algorithm to Architecture to Mapping Model (ATAMM), and that a fault (death of a computing resource) occurs during its normal steady-state operation, a model is presented as a viable research tool for predicting the performance bounds of the system during its recovery and restoration phases. Furthermore, the bounds of the performance behavior of the system during this transient mode can be assessed. These bounds include: time to recover from the fault (t(sub rec)), time to restore the system (t(sub rec)) and whether there is a permanent delay in the system's Time Between Input and Output (TBIO) after the system has reached a steady state. An implementation of an ATAMM based computer was developed with the Generic VHSIC Spaceborne Computer (GVSC) as the target system. A simulation of the GVSC was also written based on the code used in ATAMM Multicomputer Operating System (AMOS). The simulation is in turn used to validate the new model in the usefulness and accuracy in tracking the propagation of the delay through the system and predicting the behavior in the transient state of recovery and restoration. The model is validated as an accurate method to predict the transient behavior of an ATAMM based multicomputer during recovery and restoration.

Stoughton, John W.↗

X-Ray Photoelectron Spectroscopy

The interaction of photon and the electron goes back to the early part of 19th century emanating from the photo-electric effect depicted by none other than Albert Einstein (Ref 1) described in 1905, and the redistribution of kinetic energy resulting from the interaction of x-ray and solids reported during early part of the century (Ref.2). The spectrum resolutions obtained at that time was not sufficient to observe distinct peaks in spectra for materials. Thus, these phenomena hardly attracted any attention for many years following these discoveries. The modern X-ray Photoelectron Spectroscopy (XPS) has been possible by the extensive and significant contribution from Kai Siegbahn and others (Ref.3, 4) of Uppsala University. Siegbahn developed and employed a high-resolution electron spectrometer that revealed electron peaks in a spectrum emerging from the interaction of x-rays and solids. Eventually, Kai Siegbahn received Nobel Prize in 1981 for his contributions to XPS. Around 1958, shifts in elemental peaks were realized in compounds when the same elements are bound to other but different elements. This discovery resulted in the chemical state identification in various chemicals as well as the oxidation states of atoms in compounds. Because of these useful physical effects, the Uppsala group named XPS with a synonymous name of ESCA (Electron Spectroscopy for Chemical Analysis) used widely today and will be used here alternatively. Therefore, XPS or ESCA not only identifies the element, but also the compound these elements form, from their chemical shifts. Compared to other micro-analytical techniques such as Energy Dispersive (EDS) or Wavelength Dispersive (WDS) techniques, XPS analyzes only few atomic layers present on the surface. This was discovered early in 1966 (Ref. 5). While this has awarded a merit to the analytical technique to analyze very thin layers such as films and coatings, it often analyzes the adsorbed superficial gases and contaminations on a sample introduced to its analytical chamber. This necessitates the surface is cleaned and the underlying material, material of interest, is exposed in a clean environment such that the material of interest is analyzed. The cleaning is accomplished by a scanning ion gun within the analytical chamber of the instrument. Ion gun uses an argon gas and is commonly attached in most modern machines. Reliable and efficient vacuum systems employed in modern machines does not allow adsorbed layers to rebuild after the surface is cleaned. Development of efficient and reliable vacuum pumps over these developmental years is yet another important step in the commercialization of XPS machines. Vacuum levels of better than 10-7 torr are essential to increase the mean free path of electrons released from the sample surface. Thus, modern machines are equipped with high capacity ion, turbo or cryogenic pumps in their analytical chambers. Today, XPS has advanced from an applied physics laboratory to industry for use in quality control as well as analysis of contaminants and has taken a dominant role in microanalysis. Its uniqueness arises from the fact that it is considered non-destructive compared to other common micro-analytical techniques using the electron and ion excitation sources. Polymers and plastics could be analyzed since the binding energies of saturated and unsaturated bonds in atoms could be separated. Extremely thin layers could be analyzed including materials with layered structures. The technique, though did not advance for many years, has now opened a new window for research as well as applications in industry due to its ability to separate and measure the chemical shifts in bound elements. Principles

Panda, Binayak↗

Robustness of reduced-order multivariable state-space self-tuning controller

In this paper, we present a quantitative analysis of the robustness of a reduced-order pole-assignment state-space self-tuning controller for a multivariable adaptive control system whose order of the real process is higher than that of the model used in the controller design. The result of stability analysis shows that, under a specific bounded modelling error, the adaptively controlled closed-loop real system via the reduced-order state-space self-tuner is BIBO stable in the presence of unmodelled dynamics.

Yuan, Zhuzhi↗

Robust control design with real parameter uncertainty using absolute stability theory

The purpose of this thesis is to investigate an extension of mu theory for robust control design by considering systems with linear and nonlinear real parameter uncertainties. In the process, explicit connections are made between mixed mu and absolute stability theory. In particular, it is shown that the upper bounds for mixed mu are a generalization of results from absolute stability theory. Both state space and frequency domain criteria are developed for several nonlinearities and stability multipliers using the wealth of literature on absolute stability theory and the concepts of supply rates and storage functions. The state space conditions are expressed in terms of Riccati equations and parameter-dependent Lyapunov functions. For controller synthesis, these stability conditions are used to form an overbound of the H2 performance objective. A geometric interpretation of the equivalent frequency domain criteria in terms of off-axis circles clarifies the important role of the multiplier and shows that both the magnitude and phase of the uncertainty are considered. A numerical algorithm is developed to design robust controllers that minimize the bound on an H2 cost functional and satisfy an analysis test based on the Popov stability multiplier. The controller and multiplier coefficients are optimized simultaneously, which avoids the iteration and curve-fitting procedures required by the D-K procedure of mu synthesis. Several benchmark problems and experiments on the Middeck Active Control Experiment at M.I.T. demonstrate that these controllers achieve good robust performance and guaranteed stability bounds.

How, Jonathan P.↗

Coding tradeoffs for improved performance of FH/MFSK systems in partial band noise

Partial band noise jamming can severely degrade the performance of frequency-hopped, M-ary frequency-shift keyed communciation systems. This paper illustrates the tradeoffs between channel coding, diversity, and block orthogonal (MFSK) modulation as a means of overcoming the advantage of worst case, non-adaptive (as opposed to repeat-back) partial band jamming. For ease of computation, the analysis relies on exponentially tight error bounds, and is based on a noncoherent detection metric that requires jamming state information for each hop. A more robust, less complex receiver structure which eliminates the jamming knowledge requirement is shown to degrade performance less than 2-1/2 dB. The coding tradeoffs discussed in this report are exemplified in the design of a hypothetical 32 kb/s military frequency-hopped communication link.

Levitt, B. K.↗

Verification of Numerical Algorithms

The following strategy is suggested for specification and proof: (1) Defer the construction of a formal program specification with respect to I/O assertions unit the correctness of the program with respect to an abstract mathematical model of program intent is demonstrated. (2) Prove that an abstract machine (using infinite precision arithmetic) would compute that object exactly. (3) Prove that the computational sequences of arithmetic operations that occur in the abstract machine must be precisely the same at every step as those occurring on an actual machine (with finite precision arithmetic), executing the same program. (4) Use a Verification Conditions VC-generator that knows about the semantics of arithmetic operations to annotate the program with assertions that bound (or in some circumstances estimate) the difference between the actual machine state variables and the corresponding ones of the abstract machine. Construct the formal program specification by combining the verification conditions into theorems about computational error that can be proved with mechanical assistance.

Source record↗

Semi-Markov Unreliability-Range Evaluator

Reconfigurable, fault-tolerant systems modeled. Semi-Markov unreliability-range evaluator (SURE) computer program is software tool for analysis of reliability of reconfigurable, fault-tolerant systems. Based on new method for computing death-state probabilities of semi-Markov model. Computes accurate upper and lower bounds on probability of failure of system. Written in PASCAL.

Butler, Ricky W.↗

A linear quadratic regulator approach to the stabilization of uncertain linear systems

This paper presents a linear quadratic regulator approach to the stabilization of uncertain linear systems. The uncertain systems under consideration are described by state equations with the presence of time-varying unknown-but-bounded uncertainty matrices. The method is based on linear quadratic regulator (LQR) theory and Liapunov stability theory. The robust stabilizing control law for a given uncertain system can be easily constructed from the symmetric positive-definite solution of the associated augmented Riccati equation. The proposed approach can be applied to matched and/or mismatched systems with uncertainty matrices in which only their matrix norms are bounded by some prescribed values and/or their entries are bounded by some prescribed constraint sets. Several numerical examples are presented to illustrate the results.

Shieh, L. S.↗

The vicinity of Jupiter: A region to look for comets

Low-relative velocity and long-lasting encounters can dramatically change the orbital elements of a comet; the object could be temporarily bound to Jupiter for a period of several years. It is well stated that most of the discoveries of comets occurred just after a close encounter with the planet and a decrease of the perihelion distance of the comet. So, why don't we look for comets during close encounters with Jupiter rather than waiting to find them afterwards? To estimate the feasibility of this proposal, dynamical computations and observational analysis of the Jupiter family of comets were made. A criterion to distinguish comets during an encounter from other moving objects in the field is discussed.

Tancredi, Gonzalo↗

Cold dissipationless collapse of spherical systems - Sensitivity to the initial density law

The collapse of cold, initially spherical systems with varying degrees of central condensation is investigated. The way in which the final shape of a collapsing system depends on the initial density law is examined. For an initial stellar number density rho varies as r exp -n, where n is in the range 0-2.5, the final, nearly prolate shape is given by a/c is approximately equal to 1.28(1 + 0.16 n), where a/c is the ratio of long to short axes of the inertia ellipsoid computed from the moment of inertia tensor of the most tightly bound 80 percent of the mass. The properties associated with the final states in the present computations are also studied. The collapsing systems develop an anisotropic halo dominated by radial orbits surrounding an isotropic core as predicted by Burkert (1990).

Cannizzo, John K.↗