Timing estimation and resynchronization for amplify-and-forward communication systems

This paper proposes a general framework to effectively estimate the unknown timing and channel parameters, as well as design efficient timing resynchronization algorithms for asynchronous amplify-and-forward (AF) cooperative communication systems. In order to obtain reliable timing and channel parameters, a least squares (LS) estimator is proposed for initial estimation and an iterative maximum-likelihood (ML) estimator is derived to refine the LS estimates. Furthermore, a timing and channel uncertainty analysis based on the CramrRao bounds (CRB) is presented to provide insights into the system uncertainties resulted from estimation. Using the parameter estimates and uncertainty information in our analysis, timing resynchronization algorithms that are robust to estimation errors are designed jointly at the relays and the destination. The proposed framework is developed for different AF systems with varying degrees of timing misalignment and channel uncertainties and is numerically shown to provide excellent performances that approach the synchronized case with perfect channel information. © 2006 IEEE.published_or_final_versio

Author's reply to "comments on 'timing estimation and resynchronization for amplify-and-forward communication systems'"

published_or_final_versio

Melatonin Alters Age-Related Changes in Transcription Factors and Kinase Activation

Male mice were fed 40 ppm melatonin for 2 months prior to sacrifice at age 26 months, and compared with both 26 and 4 month-old untreated controls. The nuclear translocation of NF-κB increased with age in both brain and spleen and this was reversed by melatonin only in brain. Another transcription factor, AP-1 was increased with age in the spleen and not in brain and this could be blocked by melatonin treatment. The fraction of the active relative to the inactive form of several enabling kinases was compared. The proportion of activated ERK was elevated with age in brain and spleen but this change was unresponsive to melatonin. A similar age-related increase in glial fibrillary acidic protein (GFAP) was also refractory to melatonin treatment. The cerebral melatonin M1 receptor decreased with age in brain but increased in spleen. The potentially beneficial nature of melatonin for the preservation of brain function with aging was suggested by the finding that an age-related decline in cortical synaptophysin levels was prevented by dietary melatonin

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Near-field examination of perovskite-based superlenses and superlens-enhanced probe-object coupling

A planar slab of negative index material works as a superlens with sub-diffraction-limited imaging resolution, since propagating waves are focused and, moreover, evanescent waves are reconstructed in the image plane. Here, we demonstrate a superlens for electric evanescent fields with low losses using perovskites in the mid-infrared regime. The combination of near-field microscopy with a tunable free-electron laser allows us to address precisely the polariton modes, which are critical for super-resolution imaging. We spectrally study the lateral and vertical distributions of evanescent waves around the image plane of such a lens, and achieve imaging resolution of wavelength/14 at the superlensing wavelength. Interestingly, at certain distances between the probe and sample surface, we observe a maximum of these evanescent fields. Comparisons with numerical simulations indicate that this maximum originates from an enhanced coupling between probe and object, which might be applicable for multifunctional circuits, infrared spectroscopy, and thermal sensors.Comment: 20 pages, 6 figures, published as open access article in Nature Communications (see http://www.nature.com/ncomms/

Preparation and characterization of in situ polymerized cyclic butylene terephthalate/graphene nanocomposites

Graphene reinforced cyclic butylene terephthalate (CBT) matrix nanocomposites were prepared and characterized by mechanical and thermal methods. These nanocomposites containing different amounts of graphene (up to 5 wt%) were prepared by melt mixing with CBT that was polymerized in situ during a subsequent hot pressing. The nanocomposites and the neat polymerized CBT (pCBT) as reference material were subjected to differential scanning calorimetry (DSC), dynamical mechanical analysis (DMA), thermogravimetrical analysis (TGA) and heat conductivity measurements. The dispersion of the grapheme nanoplatelets was characterized by transmission electron microscopy (TEM). It was established that the partly exfoliated graphene worked as nucleating agent for crystallization, acted as very efficient reinforcing agent (the storage modulus at room temperature was increased by 39 and 89% by incorporating 1 and 5 wt.% graphene, respectively). Graphene incorporation markedly enhanced the heat conductivity but did not influence the TGA behaviour due to the not proper exfoliation except the ash content

Bilateral Assessment of Functional Tasks for Robot-assisted Therapy Applications

This article presents a novel evaluation system along with methods to evaluate bilateral coordination of arm function on activities of daily living tasks before and after robot-assisted therapy. An affordable bilateral assessment system (BiAS) consisting of two mini-passive measuring units modeled as three degree of freedom robots is described. The process for evaluating functional tasks using the BiAS is presented and we demonstrate its ability to measure wrist kinematic trajectories. Three metrics, phase difference, movement overlap, and task completion time, are used to evaluate the BiAS system on a bilateral symmetric (bi-drink) and a bilateral asymmetric (bi-pour) functional task. Wrist position and velocity trajectories are evaluated using these metrics to provide insight into temporal and spatial bilateral deficits after stroke. The BiAS system quantified movements of the wrists during functional tasks and detected differences in impaired and unimpaired arm movements. Case studies showed that stroke patients compared to healthy subjects move slower and are less likely to use their arm simultaneously even when the functional task requires simultaneous movement. After robot-assisted therapy, interlimb coordination spatial deficits moved toward normal coordination on functional tasks

Growth factor restriction impedes progression of wound healing following cataract surgery: identification of VEGF as a putative therapeutic target

Secondary visual loss occurs in millions of patients due to a wound-healing response, known as posterior capsule opacification (PCO), following cataract surgery. An intraocular lens (IOL) is implanted into residual lens tissue, known as the capsular bag, following cataract removal. Standard IOLs allow the anterior and posterior capsules to become physically connected. This places pressure on the IOL and improves contact with the underlying posterior capsule. New open bag IOL designs separate the anterior capsule and posterior capsules and further reduce PCO incidence. It is hypothesised that this results from reduced cytokine availability due to greater irrigation of the bag. We therefore explored the role of growth factor restriction on PCO using human lens cell and tissue culture models. We demonstrate that cytokine dilution, by increasing medium volume, significantly reduced cell coverage in both closed and open capsular bag models. This coincided with reduced cell density and myofibroblast formation. A screen of 27 cytokines identified nine candidates whose expression profile correlated with growth. In particular, VEGF was found to regulate cell survival, growth and myofibroblast formation. VEGF provides a therapeutic target to further manage PCO development and will yield best results when used in conjunction with open bag IOL designs

Stability Analysis of Frame Slotted Aloha Protocol

Frame Slotted Aloha (FSA) protocol has been widely applied in Radio Frequency Identification (RFID) systems as the de facto standard in tag identification. However, very limited work has been done on the stability of FSA despite its fundamental importance both on the theoretical characterisation of FSA performance and its effective operation in practical systems. In order to bridge this gap, we devote this paper to investigating the stability properties of FSA by focusing on two physical layer models of practical importance, the models with single packet reception and multipacket reception capabilities. Technically, we model the FSA system backlog as a Markov chain with its states being backlog size at the beginning of each frame. The objective is to analyze the ergodicity of the Markov chain and demonstrate its properties in different regions, particularly the instability region. By employing drift analysis, we obtain the closed-form conditions for the stability of FSA and show that the stability region is maximised when the frame length equals the backlog size in the single packet reception model and when the ratio of the backlog size to frame length equals in order of magnitude the maximum multipacket reception capacity in the multipacket reception model. Furthermore, to characterise system behavior in the instability region, we mathematically demonstrate the existence of transience of the backlog Markov chain.Comment: 14 pages, submitted to IEEE Transaction on Information Theor

Genetic Background Can Result in a Marked or Minimal Effect of Gene Knockout (GPR55 and CB2 Receptor) in Experimental Autoimmune Encephalomyelitis Models of Multiple Sclerosis

PMCID: PMC379391