Gravity-based Local Clock Synchronization in Wireless Sensor Networks

Contention-based MAC protocols follow periodic listen/sleep cycles. These protocols face the problem of virtual clustering if different unsynchronized listen/sleep schedules occur in the network, which has been shown to happen in wireless sensor networks. To interconnect these virtual clusters, border nodes maintaining all respective listen/sleep schedules are required. However, this is a waste of energy, if locally a common schedule can be determined. We propose to achieve local synchronization with a mechanism that is similar to gravitation. Clusters represent the mass, whereas synchronization messages sent by each cluster represent the gravitation force of the according cluster. Due to the mutual attraction caused by the clusters, all clusters merge finally. The exchange of synchronization messages itself is not altered by LACAS. Accordingly, LACAS introduces no overhead. Only a not yet used property of synchronization mechanisms is exploited.

Quantum methods for clock synchronization: Beating the standard quantum limit without entanglement

We introduce methods for clock synchronization that make use of the adiabatic exchange of nondegenerate two-level quantum systems: ticking qubits. Schemes involving the exchange of N independent qubits with frequency omega give a synchronization accuracy that scales as (omega root N)(-1)-i.e., as the standard quantum limit. We introduce a protocol that makes use of N-c coherent exchanges of a single qubit at frequency omega, leading to an accuracy that scales as (omega N-c)(-1) ln N-c. This protocol beats the standard quantum limit without the use of entanglement, and we argue that this scaling is the fundamental limit for clock synchronization allowed by quantum mechanics. We analyze the performance of these protocols when used with a lossy channel.

Noninertial observers in special relativity and clock synchronization debates

Selleri's arguments that a consideration of noninertial reference frames in the framework of special relativity identify absolute simultaneity as being Nature's choice of synchronization are considered. In the case of rectilinearly accelerating rockets, it is argued by considering two rockets which maintain a fixed proper separation rather than a fixed separation relative to the inertial frame in which they start from rest, that what seems the most natural choice for a simultaneity convention is problem-dependent and that Einstein's definition is the most natural (though still conventional) choice in this case. In addition, the supposed problems special relativity has with treating a rotating disk, namely how a pulse of light traveling around the circumference of the disk can have a local speed of light equal to c everywhere but a global speed not equal to c, and how coordinate transformations to the disk can give the Lorentz transformations in the limit of large disk radius but small angular velocity, are addressed. It is shown that the theory of Fermi frames solves both of these problems. It is also argued that the question of defining simultaneity relative to a uniformly rotating disk does riot need to be resolved in order to resolve Ehrenfest's paradox.

Highly accurate evaluation of GPS synchronization for TDOA localization

Clock synchronization is critical for the operation of a distributed wireless network system. In this paper we investigate on a method able to evaluate in real time the synchronization offset between devices down to nanoseconds (as needed for positioning). The method is inspired by signal processing algorithms and relies on fine-grain time information obtained during the reconstruction of the signal at the receiver. Applying the method to a GPS-synchronized system show that GPS-based synchronization has high accuracy potential but still suffers from short-term clock drift, which limits the achievable localization error.

Methodology for GPS Synchronization Evaluation with High Accuracy

Clock synchronization in the order of nanoseconds is one of the critical factors for time-based localization. Currently used time synchronization methods are developed for the more relaxed needs of network operation. Their usability for positioning should be carefully evaluated. In this paper, we are particularly interested in GPS-based time synchronization. To judge its usability for localization we need a method that can evaluate the achieved time synchronization with nanosecond accuracy. Our method to evaluate the synchronization accuracy is inspired by signal processing algorithms and relies on fine grain time information. The method is able to calculate the clock offset and skew between devices with nanosecond accuracy in real time. It was implemented using software defined radio technology. We demonstrate that GPS-based synchronization suffers from remaining clock offset in the range of a few hundred of nanoseconds but the clock skew is negligible. Finally, we determine a corresponding lower bound on the expected positioning error.

Static-priority scheduling over wireless networks with multiple broadcast domains

We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multiple broadcast domains, resolves the wireless hidden terminal problem and allows for parallel transmissions across a mesh network. Arbitration of messages is achieved without the notion of a master coordinating node, global clock synchronization or out-of-band signaling. The protocol relies on bit-dominance similar to what is used in the CAN bus except that in order to operate on a wireless physical layer, nodes are not required to receive incoming bits while transmitting. The use of bit-dominance efficiently allows for a much larger number of priorities than would be possible using existing wireless solutions. A MAC protocol with these properties enables schedulability analysis of sporadic message streams in wireless multihop networks.

Lightweight monitoring of transactional memory programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Measurement of the neutrino velocity with the OPERA detector in the CNGS beam using the 2012 dedicated data

In spring 2012 CERN provided two weeks of a short bunch proton beam dedicated to the neutrino velocity measurement over a distance of 730 km. The OPERA neutrino experiment at the underground Gran Sasso Laboratory used an upgraded setup compared to the 2011 measurements, improving the measurement time accuracy. An independent timing system based on the Resistive Plate Chambers was exploited providing a time accuracy of ∼1 ns. Neutrino and anti-neutrino contributions were separated using the information provided by the OPERA magnetic spectrometers. The new analysis profited from the precision geodesy measurements of the neutrino baseline and of the CNGS/LNGS clock synchronization. The neutrino arrival time with respect to the one computed assuming the speed of light in vacuum is found to be δtν≡TOFc−TOFν=(0.6±0.4 (stat.)±3.0 (syst.)) ns and δtν¯≡TOFc−TOFν¯=(1.7±1.4 (stat.)±3.1 (syst.)) ns for νμ and ν¯μ, respectively. This corresponds to a limit on the muon neutrino velocity with respect to the speed of light of −1.8×10−6<(vν−c)/c<2.3×10−6 at 90% C.L. This new measurement confirms with higher accuracy the revised OPERA result.

Development of Embedded Linux Applications Using ZedBoard

The purpose of this document is to create a modest integration guide for embedding a Linux Operating System on ZedBoard development platform, based on Xilinx’s Zynq-7000 All Programmable System on Chip which contains a dual core ARM Cortex-A9 and a 7 Series FPGA Artix-7. The integration process has been structured in four chapters according to the logic generation of the different parts that compose the embedded system. With the intention of automating the generation process of a complete Linux distribution specific for ZedBoard platform, BuildRoot development platform it is used. Once the embedding process finished, it was decided to add to the system the required functionalities for adding support for IEEE1588 Standard for Precision Clock Synchronization Protocol for Networked Measurement and Control Systems, through a user space Linux program which implements the protocol. That PTP user space implementation program has been cross-compiled, executed on target and tested for evaluating the functionalities added. RESUMEN El propósito de este documento es crear una modesta guía de integración de un sistema operativo Linux para la plataforma de desarrollo ZedBoard, basada en un System on Chip del fabricante Xilinx llamado Zynq-7000. Este System on Chip está compuesto por un procesador de doble núcleo ARM Cortex-A9 y una FPGA de la Serie 7 equiparable a una Artix-7. El proceso de integración se ha estructurado en cuatro grandes capítulos que se rigen según el orden lógico de generación de las distintas partes por las que el sistema empotrado está compuesto. Con el ánimo de automatizar el proceso de creación de una distribución de Linux específica para la plataforma ZedBoard, se ha utilizado la plataforma de desarrollo BuildRoot. Una vez terminado el proceso de integración del sistema empotrado, se procedió a dar dotar al sistema de las funcionalidades necesarias para dar soporte al estándar de sincronización de relojes en redes de área local, PTP IEEE1588, a través de una implementación del mismo en un programa de lado de usuario el cual ha sido compilado, ejecutado y testeado para evaluar el correcto funcionamiento de las funcionalidades añadidas.

Relativistically invariant quantum information

We show that quantum information can be encoded into entangled states of multiple indistinguishable particles in such a way that any inertial observer can prepare, manipulate, or measure the encoded state independent of their Lorentz reference frame. Such relativistically invariant quantum information is free of the difficulties associated with encoding into spin or other degrees of freedom in a relativistic context.

Design constraints for third-order PLL nodes in master-slave clock distribution networks

Clock signal distribution in telecommunication commercial systems usually adopts a master-slave architecture, with a precise time basis generator as a master and phase-locked loops (PLLs) as slaves. In the majority of the networks, second-order PLLs are adopted due to their simplicity and stability. Nevertheless, in some applications better transient responses are necessary and, consequently, greater order PLLs need to be used, in spite of the possibility of bifurcations and chaotic attractors. Here a master-slave network with third-order PLLs is analyzed and conditions for the stability of the synchronous state are derived, providing design constraints for the node parameters, in order to guarantee stability and reachability of the synchronous state for the whole network. Numerical simulations are carried out in order to confirm the analytical results. (C) 2009 Elsevier B.V. All rights reserved.

Comparing lock-in ranges and transient responses of second- and third-order phase-locked loops in master-slave clock distribution networks

The distribution of clock signals throughout the nodes of a network is essential for several applications. in control and communication with the phase-locked loop (PLL) being the component for electronic synchronization process. In systems with master-slave (MS) strategies, the PLLs are the slave nodes responsible for providing reliable clocks in all nodes of the network. As PLLs have nonlinear phase detection, double-frequency terms appear and filtering becomes necessary. Imperfections in filtering process cause oscillations around the synchronous state worsening the performance of the clock distribution process. The behavior of one-way master-slave (OWMS) clock distribution networks is studied and performances of first- and second-order filter processes are compared, concerning lock-in ranges and responses to perturbations of the synchronous state. (c) 2007 Elsevier GmbH. All rights reserved.

Drosophila Ionotropic Receptor 25a mediates circadian clock resetting by temperature.

Circadian clocks are endogenous timers adjusting behaviour and physiology with the solar day. Synchronized circadian clocks improve fitness and are crucial for our physical and mental well-being. Visual and non-visual photoreceptors are responsible for synchronizing circadian clocks to light, but clock-resetting is also achieved by alternating day and night temperatures with only 2-4 °C difference. This temperature sensitivity is remarkable considering that the circadian clock period (~24 h) is largely independent of surrounding ambient temperatures. Here we show that Drosophila Ionotropic Receptor 25a (IR25a) is required for behavioural synchronization to low-amplitude temperature cycles. This channel is expressed in sensory neurons of internal stretch receptors previously implicated in temperature synchronization of the circadian clock. IR25a is required for temperature-synchronized clock protein oscillations in subsets of central clock neurons. Extracellular leg nerve recordings reveal temperature- and IR25a-dependent sensory responses, and IR25a misexpression confers temperature-dependent firing of heterologous neurons. We propose that IR25a is part of an input pathway to the circadian clock that detects small temperature differences. This pathway operates in the absence of known 'hot' and 'cold' sensors in the Drosophila antenna, revealing the existence of novel periphery-to-brain temperature signalling channels.

Clock Genes, Melanopsins, Melatonin, and Dopamine Key Enzymes and Their Modulation by Light and Glutamate in Chicken Embryonic Retinal Cells

The avian circadian system is composed of the retina, the mammalian homolog region of the suprachiasmatic nucleus (SNC), and the pineal gland. The retina, itself, displays many rhythmic physiological events, such as movements of photoreceptor cells, opsin expression, retinal reisomerization, and melatonin and dopamine production and secretion. Altogether, these rhythmic events are coordinated to predict environmental changes in light conditions during the day, optimizing retina function. The authors investigated the expression pattern of the melanopsin genes Opn4x and Opn4m, the clock genes Clock and Per2, and the genes for the key enzymes N-Acetyltransferase and Tyrosine Hidroxylase in chicken embryo dispersed retinal cells. Primary cultures of chicken retina from 8-day-old embryos were kept in constant dark (DD), in 12-h light/12-h dark (12L:12D), in 12L:12D followed by DD, or in DD in the absence or presence of 100 mu M glutamate for 12 h. Total RNA was extracted throughout a 24-h span, every 3 h starting at zeitgeber time 0 (ZT0) of the 6th day, and submitted to reverse transcriptase-polymerase chain reaction (RT-PCR) followed by quantitative PCR (qPCR) for mRNA quantification. The data showed no rhythmic pattern of transcription for any gene in cells kept in DD. However under a light-dark cycle, Clock, Per2, Opn4m, N-Acetyltransferase, and Tyrosine Hydroxylase exhibited rhythmic patterns of transcription. In DD, 100 mu M glutamate was able to induce rhythmic expression of Clock, strongly inhibited the expression of Tyrosine Hydroxylase, and, only at some ZTs, of Opn4x and Opn4m. The neurotransmitter had no effect on Per2 and N-Acetyltransferase transcription. The authors confirmed the expression of the protein OPN4x by immunocytochemistry. These results suggest that chicken embryonic retinal cells contain a functional circadian clock, whose synchronization requires light-dark cycle or glutamate stimuli. (Author correspondence: amdlcast@ib.usp.br).

Architectures, stability and optimization for clock distribution networks

Synchronous telecommunication networks, distributed control systems and integrated circuits have its accuracy of operation dependent on the existence of a reliable time basis signal extracted from the line data stream and acquirable to each node. In this sense, the existence of a sub-network (inside the main network) dedicated to the distribution of the clock signals is crucially important. There are different solutions for the architecture of the time distribution sub-network and choosing one of them depends on cost, precision, reliability and operational security. In this work we expose: (i) the possible time distribution networks and their usual topologies and arrangements. (ii) How parameters of the network nodes can affect the reachability and stability of the synchronous state of a network. (iii) Optimizations methods for synchronous networks which can provide low cost architectures with operational precision, reliability and security. (C) 2011 Elsevier B. V. All rights reserved.