Bayesian framework and message passing for joint support and signal recovery of approximately sparse signals

In this paper, we develop a low-complexity message passing algorithm for joint support and signal recovery of approximately sparse signals. The problem of recovery of strictly sparse signals from noisy measurements can be viewed as a problem of recovery of approximately sparse signals from noiseless measurements, making the approach applicable to strictly sparse signal recovery from noisy measurements. The support recovery embedded in the approach makes it suitable for recovery of signals with same sparsity profiles, as in the problem of multiple measurement vectors (MMV). Simulation results show that the proposed algorithm, termed as JSSR-MP (joint support and signal recovery via message passing) algorithm, achieves performance comparable to that of sparse Bayesian learning (M-SBL) algorithm in the literature, at one order less complexity compared to the M-SBL algorithm.

On a programmable signal processor for VLSI

This paper presents a method of designing a programmable signal processor based on a bit parallel matrix vector matrix multiplier (linear transformer). The salient feature of this design is that the efficiency of the direct vector matrix multiplier is improved and VLSI design is made much simpler by trading off the more expensive arithematic operation (multiplication) for 'cheaper' manipulation (addition/subtraction) of the data.

A PPCA based non-parametric modeling and retrieval of PD signal buried in excessive noise

The problem of on-line recognition and retrieval of relatively weak industrial signals such as partial discharges (PD), buried in excessive noise, has been addressed in this paper. The major bottleneck being the recognition and suppression of stochastic pulsive interference (PI) due to the overlapping broad band frequency spectrum of PI and PD pulses. Therefore, on-line, onsite, PD measurement is hardly possible in conventional frequency based DSP techniques. The observed PD signal is modeled as a linear combination of systematic and random components employing probabilistic principal component analysis (PPCA) and the pdf of the underlying stochastic process is obtained. The PD/PI pulses are assumed as the mean of the process and modeled instituting non-parametric methods, based on smooth FIR filters, and a maximum aposteriori probability (MAP) procedure employed therein, to estimate the filter coefficients. The classification of the pulses is undertaken using a simple PCA classifier. The methods proposed by the authors were found to be effective in automatic retrieval of PD pulses completely rejecting PI.

A general construction of space-time trellis codes for PSK signal sets

The diversity order and coding gain are crucial for the performance of a multiple antenna communication system. It is known that space-time trellis codes (STTC) can be used to achieve these objectives. In particular, we can use STTCs to obtain large coding gains. Many attempts have been made to construct STTCs which achieve full-diversity and good coding gains, though a general method of construction does not exist. Delay diversity code (rate-1) is known to achieve full-diversity, for any number of transmit antennas and any signal set, but does not give a good coding gain. A product distance code based delay diversity scheme (Tarokh, V. et al., IEEE Trans. Inform. Theory, vol.44, p.744-65, 1998) enables one to improve the coding gain and construct STTCs for any given number of states using coding in conjunction with delay diversity; it was stated as an open problem. We achieve such a construction. We assume a shift register based model to construct an STTC for any state complexity. We derive a sufficient condition for this STTC to achieve full-diversity, based on the delay diversity scheme. This condition provides a framework to do coding in conjunction with delay diversity for any signal constellation. Using this condition, we provide a formal rate-1 STTC construction scheme for PSK signal sets, for any number of transmit antennas and any given number of states, which achieves full-diversity and gives a good coding gain.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Designing copper-zirconium based nanowires for improving yield strength and plasticity by configuring surface atoms

Epitaxial-Bain-Path and Uniaxial-Bain-Path studies reveal that a B2-CuZr nanowire with Zr atoms on the surface is energetically more stable compared to a B2-CuZr nanowire with Cu atoms on the surface. Nanowires of cross-sectional dimensions in the range of similar to 20-50 are considered. Such stability is also correlated with the initial state of stress in the nanowires. It is also demonstrated here that a more stable structure, i.e., B2-CuZr nanowire with Zr atoms at surface shows improved yield strength compared to B2-CuZr nanowire with Cu atoms at surface site, over range of temperature under both the tensile and the compressive loadings. Nearly 18% increase in the average yield strength under tensile loading and nearly 26% increase in the averaged yield strength under compressive loading are observed for nanowires with various cross-sectional dimensions and temperatures. It is also observed that the B2-CuZr nanowire with Cu atom at the surface site shows a decrease in failure/plastic strain with an increase in temperature. On the other hand, B2-CuZr nanowires with Zr at the surface site shows an improvement in failure/plastic strain, specially at higher temperature as compared to the B2-CuZr nanowires which are having Cu atoms at the surface site. Finally, a possible design methodology for an energetically stable nano-structure with improved thermo-mechanical properties via manipulating the surface atom configuration is proposed.

Studies on hydrogen-bonds .4. proposed working criteria for assessing qualitative strength of hydrogen-bonds

The data obtained in the earlier parts of this series for the donor and acceptor end parameters of N-H. O and O-H. O hydrogen bonds have been utilised to obtain a qualitative working criterion to classify the hydrogen bonds into three categories: “very good” (VG), “moderately good” (MG) and weak (W). The general distribution curves for all the four parameters are found to be nearly of the Gaussian type. Assuming that the VG hydrogen bonds lie between 0 and ± la, MG hydrogen bonds between ± 1s̀ and ± 2s̀, W hydrogen bonds beyond ± 2s̀ (where s̀ is the standard deviation), suitable cut-off limits for classifying the hydrogen bonds in the three categories have been derived. These limits are used to get VG and MG ranges for the four parameters 1 and θ (at the donor end) and ± and ± (at the acceptor end). The qualitative strength of a hydrogen bond is decided by the cumulative application of the criteria to all the four parameters. The criterion has been further applied to some practical examples in conformational studies such as α-helix and can be used for obtaining suitable location of hydrogen atoms to form good hydrogen bonds. An empirical approach to the energy of hydrogen bonds in the three categories has also been presented.

A Long Memory Process Based Parametric Modeling and Recognition of PD Signal

We address the problem of recognition and retrieval of relatively weak industrial signal such as Partial Discharges (PD) buried in excessive noise. The major bottleneck being the recognition and suppression of stochastic pulsive interference (PI) which has similar time-frequency characteristics as PD pulse. Therefore conventional frequency based DSP techniques are not useful in retrieving PD pulses. We employ statistical signal modeling based on combination of long-memory process and probabilistic principal component analysis (PPCA). An parametric analysis of the signal is exercised for extracting the features of desired pules. We incorporate a wavelet based bootstrap method for obtaining the noise training vectors from observed data. The procedure adopted in this work is completely different from the research work reported in the literature, which is generally based on deserved signal frequency and noise frequency.

Determining optimum subband edges for signal compression

The coding gain in subband coding, a popular technique for achieving signal compression, depends on how the input signal spectrum is decomposed into subbands. The optimality of such decomposition is conventionally addressed by designing appropriate filter banks. The issue of optimal decomposition of the input spectrum is addressed by choosing the set of band that, for a given number of bands, will achieve maximum coding gain. A set of necessary conditions for such optimality is derived, and an algorithm to determine the optimal band edges is then proposed. These band edges along with ideal filters, achieve the upper bound of coding gain for a given number of bands. It is shown that with ideal filters, as well as with realizable filters for some given effective length, such a decomposition system performs better than the conventional nonuniform binary tree-structured decomposition in some cases for AR sources as well as images

Effect of strength - Matric suction variations on stability of a natural slope

Stability analysis of residual soil slopes are now increasingly being performed with the incorporation of the matric suction component of strength. The matric suction (u(a)-u(w)) component of shear strength is known as apparent cohesion. The relation between matric suction and apparent cohesion (c(app)) may be linear or non-linear. The impact of type of apparent strength versus matric suction relationship on the stability of an unsaturated residual soil slope is examined in this study. Results of the study showed that the factor of safety values were unaffected by the nature of the strength versus matric suction relationship for the residual soil slope examined. This was so as contribution from the effective stress- strength component to the factor of safety predominated over the contribution made by the apparent strength component.

Residual strength of hot pressed zirconium diboride (ZrB2) after exposure to high temperatures

ZrB2 with different amounts of B4C additive (0-5 wt.%) has been hot pressed at 2000 degrees C and 25 MPa for 1 h. By addition of B4C, density as well as micro-hardness increased. For lower B4C content (0.5 and 1 wt.%), hot pressed ZrB2 shows considerable improvement in flexural strength after exposure in air at 1000 C for 5 h, while higher B4C content (3 and 5 wt.%) leads to marginal or no improvement. For any content of B4C, flexural strength after exposure in air at 1500 degrees C for 5 h is lower than as-hot pressed ZrB2. (C) 2011 Elsevier B.V. All rights reserved.

Design and performance analysis of a signal detector based on suprathreshold stochastic resonance

This paper presents the design and performance analysis of a detector based on suprathreshold stochastic resonance (SSR) for the detection of deterministic signals in heavy-tailed non-Gaussian noise. The detector consists of a matched filter preceded by an SSR system which acts as a preprocessor. The SSR system is composed of an array of 2-level quantizers with independent and identically distributed (i.i.d) noise added to the input of each quantizer. The standard deviation sigma of quantizer noise is chosen to maximize the detection probability for a given false alarm probability. In the case of a weak signal, the optimum sigma also minimizes the mean-square difference between the output of the quantizer array and the output of the nonlinear transformation of the locally optimum detector. The optimum sigma depends only on the probability density functions (pdfs) of input noise and quantizer noise for weak signals, and also on the signal amplitude and the false alarm probability for non-weak signals. Improvement in detector performance stems primarily from quantization and to a lesser extent from the optimization of quantizer noise. For most input noise pdfs, the performance of the SSR detector is very close to that of the optimum detector. (C) 2012 Elsevier B.V. All rights reserved.

Queen signal should be honest to be involved in maintenance of eusociality: chemical correlates of fertility in Ropalidia marginata

Queens of many social insect species are known to maintain reproductive monopoly by pheromonal signalling of fecundity. Queens of the primitively eusocial wasp Ropalidia marginata appear to do so using secretions from their Dufour's glands, whose hydrocarbon composition is correlated with fertility. Solitary nest foundresses of R. marginata are without nestmates; hence expressing a queen signal can be redundant, since there is no one to receive the signal. But if queen pheromone is an honest signal inextricably linked with fertility, it should correlate with fertility and be expressed irrespective of the presence or absence of receivers of the signal, by virtue of being a byproduct of the state of fertility. Hence we compared the Dufour's gland hydrocarbons and ovaries of solitary foundresses with queens and workers of post-emergence nests. Our results suggest that queen pheromone composition in R. marginata is a byproduct of fertility and hence can honestly signal fertility. This provides important new evidence for the honest signalling hypothesis.

Residual strength evaluation of concrete structural components under fatigue loading

This paper presents methodologies for residual strength evaluation of concrete structural components using linear elastic and nonlinear fracture mechanics principles. The effect of cohesive forces due to aggregate bridging has been represented mathematically by employing tension softening models. Various tension softening models such as linear, bilinear, trilinear, exponential and power curve have been described with appropriate expressions. These models have been validated by predicting the remaining life of concrete structural components and comparing with the corresponding experimental values available in the literature. It is observed that the predicted remaining life by using power model and modified bi-linear model is in good agreement with the corresponding experimental values. Residual strength has also been predicted using these tension softening models and observed that the predicted residual strength is in good agreement with the corresponding analytical values in the literature. In general, it is observed that the variation of predicted residual moment with the chosen tension softening model follows the similar trend as in the case of remaining life. Linear model predicts large residual moments followed by trilinear, bilinear and power models.