Non-deterministic transducer models of retransmission protocols over noisy channels

Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved.

QoS Performance Analysis of Routing Protocols in Vehicular Ad-hoc Networks

Vehicular Ad-hoc Networks (VANET), is a type of wireless ad-hoc network that aims to provide communication among vehicles. A key characteristic of VANETs is the very high mobility of nodes that result in a frequently changing topology along with the frequent breakage and linkage of the paths among the nodes involved. These characteristics make the Quality of Service (QoS) requirements in VANET a challenging issue. In this paper we characterize the performance available to applications in infrastructureless VANETs in terms of path holding time, path breakage probability and per session throughput as a function of various vehicle densities on road, data traffic rate and number of connections formed among vehicles by making use of table-driven and on-demand routing algorithms. Several QoS constraints in the applications of infrastructureless VANETs are observed in the results obtained.

Ancilla-assisted measurements on quantum ensembles: general protocols and applications in NMR quantum information processing

Quantum ensembles form easily accessible architectures for studying various phenomena in quantum physics, quantum information science and spectroscopy. Here we review some recent protocols for measurements in quantum ensembles by utilizing ancillary systems. We also illustrate these protocols experimentally via nuclear magnetic resonance techniques. In particular, we shall review noninvasive measurements, extracting expectation values of various operators, characterizations of quantum states and quantum processes, and finally quantum noise engineering.

CheepSync: A Time Synchronization Service for Resource Constrained Bluetooth LE Advertisers

Clock synchronization is highly desirable in distributed systems, including many applications in the Internet of Things and Humans. It improves the efficiency, modularity, and scalability of the system, and optimizes use of event triggers. For IoTH, BLE - a subset of the recent Bluetooth v4.0 stack - provides a low-power and loosely coupled mechanism for sensor data collection with ubiquitous units (e.g., smartphones and tablets) carried by humans. This fundamental design paradigm of BLE is enabled by a range of broadcast advertising modes. While its operational benefits are numerous, the lack of a common time reference in the broadcast mode of BLE has been a fundamental limitation. This article presents and describes CheepSync, a time synchronization service for BLE advertisers, especially tailored for applications requiring high time precision on resource constrained BLE platforms. Designed on top of the existing Bluetooth v4.0 standard, the CheepSync framework utilizes low-level time-stamping and comprehensive error compensation mechanisms for overcoming uncertainties in message transmission, clock drift, and other system-specific constraints. CheepSync was implemented on custom designed nRF24Cheep beacon platforms (as broadcasters) and commercial off-the-shelf Android ported smartphones (as passive listeners). We demonstrate the efficacy of CheepSync by numerous empirical evaluations in a variety of experimental setups, and show that its average (single-hop) time synchronization accuracy is in the 10 mu s range.

Synchronization of modified Chua's circuit with x vertical bar x vertical bar function

This paper considers the chaos synchronization of the modified Chua's circuit with x vertical bar x vertical bar function. We firstly show that a couple of the modified Chua systems with different parameters and initial conditions can be synchronized using active control when the values of parameters both in drive system and response system are known aforehand. Furthermore, based on Lyapunov stability theory we propose an adaptive active control approach to make the states of two identical Chua systems with unknown constant parameters asymptotically synchronized. Moreover the designed controller is independent of those unknown parameters. Numerical simulations are given to validate the proposed synchronization approach.

Is there chaotic synchronization in space extend systems

Based on coupled map lattice (CML), the chaotic synchronous pattern in space extend systems is discussed. Making use of the criterion for the existence and the conditions of stability, we find an important difference between chaotic and nonchaotic movements in synchronization. A few numerical results are presented.

Community structure in real-world networks from a non-parametrical synchronization-based dynamical approach

[EN]This work analyzes the problem of community structure in real-world networks based on the synchronization of nonidentical coupled chaotic Rössler oscillators each one characterized by a defined natural frequency, and coupled according to a predefined network topology. The interaction scheme contemplates an uniformly increasing coupling force to simulate a society in which the association between the agents grows in time. To enhance the stability of the correlated states that could emerge from the synchronization process, we propose a parameterless mechanism that adapts the characteristic frequencies of coupled oscillators according to a dynamic connectivity matrix deduced from correlated data. We show that the characteristic frequency vector that results from the adaptation mechanism reveals the underlying community structure present in the network.

Temporal synchronization in optical parametric chirped pulse amplification laser system

The effect of temporal synchronization between the chirped signal pulse and the pumping pulse in an optical parametric chirped pulse amplification laser system is researched theoretically and experimentally. The results show that the gain of optical parametric amplification is sensitive to the temporal synchronization. Therefore, accurate temporal synchronization between the chirped signal pulse and the pumping pulse is essential to obtain high optical parametric amplification gain and stable output from an optical parametric chirped pulse amplification laser. Based on our 16.7-TW/120-fs optical parametric chirped pulse amplification laser system with similar to1-ns pumping pulse duration and <10-ps time jitter between the signal and pumping pulse, the effect of the temporal synchronization on optical parametric chirped pulse amplification is demonstrated. The experimental results agree with the calculation. (C) 2004 Society of Photo-Optical Instrumentation Engineers.

Part I. Synchronization of the cell division cycle of HeLa cells in suspension cultures. Part II. Studies on chromosomal proteins of HeLa cells during the cell division cycle

Part I

These studies investigate the potential of single and double treatments with either 5-fluorodeoxyuridine of excess thymidine to induce cell division synchrony in suspension cultures of HeLa cells. The patterns of nucleic acid synthesis and cell proliferation have been analyzed in cultures thus synchronized. Several changes in cell population during long incubation with 5-fluorodeoxyuridine or excess thymidine are also described. These results are subjected to detailed evaluation in terms of the degree and quality of synchrony finally achieved.

Part II

Histones and non-histone proteins associated with interphase and metaphase chromosomes of HeLa cells have been qualitatively and quantitatively analyzed. Histones were fractionated by chromatography on Amberlite CG-50 and further characterized by analytical disc electrophoresis and amino acid analysis of each chromatographic fraction. It is concluded that histones of HeLa cells are comprised of only a small number of major components and that these components are homologous to those of other higher organisms. Of all the histones, arginine-rich histone III alone contains cysteine and can polymerize through formation of intermolecular disulfide bridges between histone III monomers.

A detailed comparison by chromatography and disc electrophoresis established that interphase and metaphase histones are made up of similar components. However, certain quantitative differences in proportions of different histones of interphase and metaphase cells are reported. Indirect evidence indicates that a certain proportion of metaphase histone III is polymerized through intermolecular disulfide links, whereas interphase histone III occurs mainly in the monomeric form.

Metaphase chromosomes are associated with an additional acid-soluble protein fraction which is absent from interphase chromosomes. All of these additional acid-soluble proteins of metaphase chromosomes are shown to be non-histones and it is concluded that the histone/DNA ratio is identical in interphase and metaphase chromosomes. The bulk of acid-soluble non-histone proteins of metaphase chromosomes were found to be polymerized through disulfide bridges; corresponding interphase non-histone proteins displayed no evidence of similar polymerization.

The factors responsible for the condensed configuration and metabolic inactivity of metaphase chromosomes are discussed in light of these findings.

The relationship between histone and DNA synthesis in nondividing differentiated chicken erythrocyte cells and in rapidly dividing undifferentiated HeLa cells is also investigated. Of all the histones, only arginine-rich histones are synthesized in mature erythrocytes. Histone synthesis in HeLa cells was studied in both unsynchronized and synchronized cultures. In HeLa cells, only part of the synthesis of all histone fractions is dependent on concurrent DNA synthesis, whereas all histones are synthesized in varying degrees even in the absence of DNA synthesis.