Architecture Optimization of Aerospace Computing Systems

Simultaneous consideration of both performance and reliability issues is important in the choice of computer architectures for real-time aerospace applications. One of the requirements for such a fault-tolerant computer system is the characteristic of graceful degradation. A shared and replicated resources computing system represents such an architecture. In this paper, a combinatorial model is used for the evaluation of the instruction execution rate of a degradable, replicated resources computing system such as a modular multiprocessor system. Next, a method is presented to evaluate the computation reliability of such a system utilizing a reliability graph model and the instruction execution rate. Finally, this computation reliability measure, which simultaneously describes both performance and reliability, is applied as a constraint in an architecture optimization model for such computing systems. Index Terms-Architecture optimization, computation

Hydrodynamic Pressure on a Dam During Earthquakes

A straightforward analysis involving Fourier cosine transforms and the theory of Fourier seies is presented for the approximate calculation of the hydrodynamic pressure exerted on the vertical upstream face of a dam due to constant earthquake ground acceleration. The analysis uses the “Parseval relation” on the Fourier coefficients of square integrable functions, and directly brings out the mathematical nature of the approximate theory involved.

Carrier mobility in polycrystalline semiconductors

This letter presents a modified version of the grain boundary barrier model for polycrystalline semiconductors which takes into account the carrier transport in the bulk of the grain and the dynamic process of capture and release of free carriers by the grain boundary traps.

Some aspects of multilevel load-frequency control of a power system

The application of multilevel control strategies for load-frequency control of interconnected power systems is assuming importance. A large multiarea power system may be viewed as an interconnection of several lower-order subsystems, with possible change of interconnection pattern during operation. The solution of the control problem involves the design of a set of local optimal controllers for the individual areas, in a completely decentralised environment, plus a global controller to provide the corrective signal to account for interconnection effects. A global controller, based on the least-square-error principle suggested by Siljak and Sundareshan, has been applied for the LFC problem. A more recent work utilises certain possible beneficial aspects of interconnection to permit more desirable system performances. The paper reports the application of the latter strategy to LFC of a two-area power system. The power-system model studied includes the effects of excitation system and governor controls. A comparison of the two strategies is also made.

Co-2-Ions In A Low-Pressure Glow-Discharge Of Carbon-Dioxide

$CO_2^{-}$ ions have been detected in the gas phase and measured by a mass spectrometer with a flight time of 30 µs in the positive column of carbondioxide glow discharge.

Practical Algorithms For Mean Velocity Estimation In Pulse Doppler Weather Radars Using A Small Number Of Samples

Doppler weather radars with fast scanning rates must estimate spectral moments based on a small number of echo samples. This paper concerns the estimation of mean Doppler velocity in a coherent radar using a short complex time series. Specific results are presented based on 16 samples. A wide range of signal-to-noise ratios are considered, and attention is given to ease of implementation. It is shown that FFT estimators fare poorly in low SNR and/or high spectrum-width situations. Several variants of a vector pulse-pair processor are postulated and an algorithm is developed for the resolution of phase angle ambiguity. This processor is found to be better than conventional processors at very low SNR values. A feasible approximation to the maximum entropy estimator is derived as well as a technique utilizing the maximization of the periodogram. It is found that a vector pulse-pair processor operating with four lags for clear air observation and a single lag (pulse-pair mode) for storm observation may be a good way to estimate Doppler velocities over the entire gamut of weather phenomena.

Influence of Filler Loading on Dielectric Properties of Epoxy-ZnO Nanocomposites

Experimental investigations into the dielectric properties of epoxy-ZnO nanocomposites at different filler loadings reveal few unique behaviors (at certain filler loadings) and also advantageous characteristics in contrast to the properties obtained for the corresponding microcomposites. Results demonstrate that in nanocomposites, it is possible to achieve lower values of permittivity and tan delta with respect to unfilled epoxy over a wide frequency range. Analysis of the results attributes this interesting observation to the interaction dynamics between the epoxy chains and the ZnO nanoparticles at the interfacial area. The dc volume resistivities and ac dielectric strengths of nanocomposites were also experimentally determined in the present study and the obtained characteristics are found to be different as compared to the results obtained for microcomposites. The volume fraction and nature of the interfaces in the bulk of the composites seem to influence this difference in the examined dielectric properties of the nanocomposites.

Novel ultrahigh resolution silverless photothermal imaging in obliquely deposited amorphous Se-Ge films

A new photothermal imaging process which utilizes no silver has been demonstrated in obliquely deposited Se-Ge films. Band-gap irradiation of Se-Ge films has been found to give rise to phases of the type SeOx, GeO, and Se as borne by x-ray initiated Auger electron spectroscopy and x-ray photoelectron spectroscopy. Annealing of SeOx leads to the formation of SeO2. The large (several orders of magnitude) difference in vapor pressures of SeO2 and Se-Ge films results in differential evaporation of the films when annealed around 200 °C, thereby leading to imaging. Such a large contrast in evaporation rates between the exposed and unexposed regions has great potential applications in high resolution image storage and phase holography. Applied Physics Letters is copyrighted by The American Institute of Physics.

Smooth stabilisation of nonholonomic robots subject to disturbances

In this paper, we address the problem of stabilisation of robots subject to nonholonommic constraints and external disturbances using port-Hamiltonian theory and smooth time-invariant control laws. This should be contrasted with the commonly used switched or time-varying laws. We propose a control design that provides asymptotic stability of an manifold (also called relative equilibria)-due to the Brockett condition this is the only type of stabilisation possible using smooth time-invariant control laws. The equilibrium manifold can be shaped to certain extent to satisfy specific control objectives. The proposed control law also incorporates integral action, and thus the closed-loop system is robust to unknown constant disturbances. A key step in the proposed design is a change of coordinates not only in the momentum, but also in the position vector, which differs from coordinate transformations previously proposed in the literature for the control of nonholonomic systems. The theoretical properties of the control law are verified via numerical simulation based on a robotic ground vehicle model with differential traction wheels and non co-axial centre of mass and point of contact.

A Pattern Recognition Model of Voice-Based Personal Verification Systems for Forensic Applications

Abstract-The success of automatic speaker recognition in laboratory environments suggests applications in forensic science for establishing the Identity of individuals on the basis of features extracted from speech. A theoretical model for such a verification scheme for continuous normaliy distributed featureIss developed. The three cases of using a) single feature, b)multipliendependent measurements of a single feature, and c)multpleindependent features are explored.The number iofndependent features needed for areliable personal identification is computed based on the theoretcal model and an expklatory study of some speech featues.

High-Pressure Low-Temperature Locknut Cell For Both Electron-Paramagnetic-Res And Nmr-Studies To 10 Kilobars And 77-K

A locked high-pressure cell with working pressure range up to 10 kbars suitable for low-temperature studies to 77 K has been described. It can be used for both EPR and NMR studies of single crystals (and other solid samples). The high-pressure seal and all other aspects of the cell remain the same for either application. Only a change of the bottom plug is required for a switch from a nuclear-magnetic-resonance (NMR) to an electron-paramagnetic-resonance (EPR) experiment. Details of the procedure for the calibration of pressure inside the cell at various temperatures are discussed. The performance of the cell in EPR (Cr3+ion) and NMR (27Al nucleus) studies is reported.

Periodic Rayleigh waves of finite amplitude on an isotropic solid

Existence of a periodic progressive wave solution to the nonlinear boundary value problem for Rayleigh surface waves of finite amplitude is demonstrated using an extension of the method of strained coordinates. The solution, obtained as a second-order perturbation of the linearized monochromatic Rayleigh wave solution, contains harmonics of all orders of the fundamental frequency. It is shown that the higher harmonic content of the wave increases with amplitude, but the slope of the waveform remains finite so long as the amplitude is less than a critical value.

Critical-Behavior Of The Diameters Of Liquid-Liquid Coexistence Curves

We have analyzed the diameters of the liquid–liquid coexistence curves of several binary liquid mixtures in search of the critical anomaly predicted by current theories. We find that while the data are consistent with the predicted functional form, the evidence for such an anomaly is not compelling.

State of Charge of Lead Acid Battery

Lead acid batteries are used in hybrid vehicles and telecommunications power supply. For reliable operation of these systems, an indication of state of charge of battery is essential. To determine the state of charge of battery, current integration method combined with open circuit voltage, is being implemented. To reduce the error in the current integration method the dependence of available capacity as a function of discharge current is determined. The current integration method is modified to incorporate this factor. The experimental setup built to obtain the discharge characterstics of the battery is presented

An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

Abstract-To detect errors in decision tables one needs to decide whether a given set of constraints is feasible or not. This paper describes an algorithm to do so when the constraints are linear in variables that take only integer values. Decision tables with such constraints occur frequently in business data processing and in nonnumeric applications. The aim of the algorithm is to exploit. the abundance of very simple constraints that occur in typical decision table contexts. Essentially, the algorithm is a backtrack procedure where the the solution space is pruned by using the set of simple constrains. After some simplications, the simple constraints are captured in an acyclic directed graph with weighted edges. Further, only those partial vectors are considered from extension which can be extended to assignments that will at least satisfy the simple constraints. This is how pruning of the solution space is achieved. For every partial assignment considered, the graph representation of the simple constraints provides a lower bound for each variable which is not yet assigned a value. These lower bounds play a vital role in the algorithm and they are obtained in an efficient manner by updating older lower bounds. Our present algorithm also incorporates an idea by which it can be checked whether or not an (m - 2)-ary vector can be extended to a solution vector of m components, thereby backtracking is reduced by one component.