A novel spectral estimation method by using periodic nonuniform sampling

In this paper we present a method of estimating power spectrum density of random ergodic signals. The method allows use of arbitrarily low sampling rates to achieve the goal. We compare our method with similar schemes reported in research literature and argue superiority of our approach in terms of its suitability for practical implementations. The most visible difference between our approach and the previously reported ones consists in replacing Poisson additive random sampling with deterministic sampling. Comparing with the approaches based on the Poisson additive random sampling, where theoreticall infinitely large resources are needed to implement them accurately, our approach clearly relies on limited and well defined resources

Optimal periodic sampling sequences for nearly-alias-free digital signal processing

Alias-free DSP (DASP) is a methodology of processing signals digitally inside bandwidths that are wider than the famous Nyquist limit of half of the sampling requency. DASP is facilitated by suitable combination of nonuniform sampling and appropriate processing algorithms. In this paper we propose a new method of constructing sampling schemes for the needs of DASP. Unlike traditional approaches that rely on randomly selected sampling instants we use deterministic schemes. A method of optimizing such sequences aimed at minimization of aliasing is proposed. The approach is tested numerically in an experiment where an undersampled signal is processed using DASP; first to estimate the signal's spectrum support function and then the spectrum itself. We demonstrate advantages of the proposed approach over those that use random sampling

Micro-displacement sensors based on plastic photonic bandgap Bragg fibers

We demonstrate an amplitude-based micro-displacement sensor that uses a plastic photonic bandgap Bragg fiber with one end coated with a silver layer. The reflection intensity of the Bragg fiber is characterized in response to different displacements (or bending curvatures). We note that the Bragg reflector of the fiber acts as an efficient mode stripper for the wavelengths near the edge of the fiber bandgap, which makes the sensor extremely sensitive to bending or displacements at these wavelengths. Besides, by comparison of the Bragg fiber sensor to a sensor based on a regular multimode fiber with similar outer diameter and length, we find that the Bragg fiber sensor is more sensitive to bending due to presence of mode stripper in the form of the multilayer reflector. Experimental results show that the minimum detection limit of the Bragg fiber sensor can be smaller than 5 um for displacement sensing

Hot electrons in low-dimensional phonon systems

A simple bulk model of electron-phonon coupling in metals has been surprisingly successful in explaining experiments on metal films that actually involve surface- or other low-dimensional phonons. However, by an exact application of this standard model to a semi-infinite substrate with a free surface, making use of the actual vibrational modes of the substrate, we show that such agreement is fortuitous, and that the model actually predicts a low-temperature crossover from the familiar T^5 temperature dependence to a stronger T^6 log T scaling. Comparison with existing experiments suggests a widespread breakdown of the standard model of electron-phonon thermalization in metals

The Transcriptional Corepressor NAB2 Inhibits NGF-induced Differentiation of PC12 Cells

The PC12 pheochromocytoma cell line responds to NGF by undergoing growth arrest and proceeding to differentiate toward a neuronal phenotype. Among the early genetic events triggered by NGF in PC12 cells are the rapid activation of the zinc finger transcription factor Egr1/NGFI-A, and a slightly delayed induction of NAB2, a corepressor that inhibits Egr1 transcriptional activity. We found that stably transfected PC12 cells expressing high levels of NAB2 do not differentiate, but rather continue to proliferate in response to NGF. Inhibition of PC12 differentiation by NAB2 overexpression was confirmed using two additional experimental approaches, transient transfection, and adenoviral infection. Early events in the NGF signaling cascade, such as activation of MAP kinase and induction of immediate-early genes, were unaltered in the NAB2-overexpressing PC12 cell lines. However, induction of delayed NGF response genes such as TGF-beta 1 and MMP-3 was inhibited. Furthermore, NAB2 overexpression led to downregulation of p21WAF1, a molecule previously shown to play a pivotal role in the ability of PC12 cells to undergo growth arrest and commit to differentiation in response to NGF. Cotransfection with p21WAF1 restored the ability of NAB2-overexpressing PC12 cells to differentiate in response to NGF

MCMAS: an open-source model checker for the verification of multi-agent systems

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study