An Isochronous Testing Strategy for Hierarchical Adaptive Distributed System-Level Diagnosis

Distributed System-level diagnosis allows the fault-free components of a fault-tolerant distributed system to determine which components of the system are faulty and which are fault-free. The time it takes for nodes running the algorithm to diagnose a new event is called the algorithm's latency. In this paper we present a new distributed system-level diagnosis algorithm which presents a latency of O(log N) testing rounds, for a system of N nodes. A previous hierarchical distributed system-level diagnosis algorithm, Hi-ADSD, presents a latency of O(log ² N) testing rounds. Nodes are grouped in progressively larger logical clusters for the purpose of testing. The algorithm employs an isochronous testing strategy that forces all fault-free nodes to execute tests on clusters of the same size each testing round. This strategy is based on two main principles: a tested node must test its tester in the same round; a node only accepts tests according to a lexical priority order. We present formal proofs that the algorithm's latency is at most 2log N – 1 testing rounds and that the testing strategy of the algorithm leads to the execution of isochronous tests. Simulation results are shown for systems of up to 64 nodes.     

A multiscale framework for spatial gamut mapping.

Image reproduction devices, such as displays or printers, can reproduce only a limited set of colors, denoted the color gamut. The gamut depends on both theoretical and technical limitations. Reproduction device gamuts are significantly different from acquisition device gamuts. These facts raise the problem of reproducing similar color images across different devices. This is well known as the gamut mapping problem. Gamut mapping algorithms have been developed mainly using colorimetric pixel-wise principles, without considering the spatial properties of the image. The recently proposed multilevel gamut mapping approach takes spatial properties into account and has been demonstrated to outperform spatially invariant approaches. However, they have some important drawbacks. To analyze these drawbacks, we build a common framework that encompasses at least two important previous multilevel gamut mapping algorithms. Then, when the causes of the drawbacks are understood, we solve the typical problem of possible hue shifts. Next, we design appropriate operators and functions to strongly reduce both haloing and possible undesired over compression. We use challenging synthetic images, as well as real photographs, to practically show that the improvements give the expected results.     

Pressure‐Tunable Ambipolar Conduction and Hysteresis in Thin Palladium Diselenide Field Effect Transistors

Few‐layer palladium diselenide (PdSe₂) field effect transistors are studied under external stimuli such as electrical and optical fields, electron irradiation, and gas pressure. The ambipolar conduction and hysteresis are observed in the transfer curves of the as‐exfoliated and unprotected PdSe₂ material. The ambipolar conduction and its hysteretic behavior in the air and pure nitrogen environments are tuned. The prevailing p‐type transport observed at atmospheric pressure is reversibly turned into a dominant n‐type conduction by reducing the pressure, which can simultaneously suppress the hysteresis. The pressure control can be exploited to symmetrize and stabilize the transfer characteristics of the device as required in high‐performance logic circuits. The transistors are affected by trap states with characteristic times in the order of minutes. The channel conductance, dramatically reduced by the electron irradiation during scanning electron microscope imaging, is restored after an annealing of several minutes at room temperature. The work paves the way toward the exploitation of PdSe₂ in electronic devices by providing an experiment‐based and deep understanding of charge transport in PdSe₂ transistors subjected to electrical stress and other external agents.     

LTE‐based satellite communications in LEO mega‐constellations

The integration of satellite and terrestrial networks is a promising solution for extending broadband coverage to areas not connected to a terrestrial infrastructure, as also demonstrated by recent commercial and standardisation endeavours. However, the large delays and Doppler shifts over the satellite channel pose severe technical challenges to traditional terrestrial systems, as long‐term evolution (LTE) or 5G. In this paper, 2 architectures are proposed for a low Earth orbit mega‐constellation realising a satellite‐enabled LTE system, in which the on‐ground LTE entity is either an eNB (Sat‐eNB) or a relay node (Sat‐RN). The impact of satellite channel impairments as large delays and Doppler shifts on LTE PHY/MAC procedures is discussed and assessed. The proposed analysis shows that, while carrier spacings, random access and RN attach procedures do not pose specific issues and hybrid automatic repeat request requires substantial modifications. Moreover, advanced handover procedures will be also required due to the satellites' movement.     

Engineering DNA-Grafted Quatsomes as Stable Nucleic Acid-Responsive Fluorescent Nanovesicles

The development of artificial vesicles into responsive architectures capable of sensing the biological environment and simultaneously signaling the presence of a specific target molecule is a key challenge in a range of biomedical applications from drug delivery to diagnostic tools. Herein, the rational design of biomimetic DNA-grafted quatsome (QS) nanovesicles capable of translating the binding of a target molecule to amphiphilic DNA probes into an optical output is presented. QSs are synthetic lipid-based nanovesicles able to confine multiple organic dyes at the nanoscale, resulting in ultra-bright soft materials with attractiveness for sensing applications. Dye-loaded QS nanovesicles of different composition and surface charge are grafted with fluorescent amphiphilic nucleic acid-based probes to produce programmable FRET-active nanovesicles that operate as highly sensitive signal transducers. The photophysical properties of the DNA-grafted nanovesicles are characterized and the highly selective, ratiometric detection of clinically relevant microRNAs with sensitivity in the low nanomolar range are demonstrated. The potential applications of responsive QS nanovesicles for biosensing applications but also as functional nanodevices for targeted biomedical applications is envisaged.     

High‐capacity resource sharing schemes for broadband wireless networks

The unique capabilities of new cellular systems are expected to provide users with integrated multimedia services. Since the air interface still represents the system bottleneck, this paper proposes novel scheduling techniques to integrate efficiently the support of real‐time traffic (i.e. voice and video) and data bursty traffic under quality of service (QoS) guarantees. Prioritization among traffic classes is adopted and a polling service discipline is employed within a class, where the permission rights of each traffic source are determined on the basis of token bucket regulators. Two polling‐based approaches are compared to serve the sources of a class: (i) when a source is enabled to transmit, a burst of packets is sent at once; (ii) within the time interval destined to a traffic class, a cyclic service of the sources is allowed on a packet basis. With realistic assumptions on both radio channel conditions and protocol signaling overhead, this paper compares these two different approaches and the dynamic slot assignment++ (DSA++) scheme appeared in the literature. The obtained results highlight that our second scheme (case ii) allows increasing the number of supported video traffic sources of many units with respect to DSA++. Finally, an analytical approach has been proposed for our second polling scheme. Copyright © 2004 John Wiley & Sons, Ltd.     

A highly efficient receiver for satellite‐based automatic identification system signal detection

An innovative receiver architecture for the satellite‐based automatic identification system has been recently proposed. In this paper, we describe a few modifications that can be introduced on the algorithms for synchronization and detection, which provide an impressive performance improvement. The receiver architecture has been designed for an on‐board implementation, and a prototype has been implemented by the University of Parma and CGS S.p.A. Compagnia Generale per lo Spazio under the European Space Agency project FENICE (Flexible innovative AIS receiver prototype). A few modifications are also here described that could allow a further performance improvement in case of processing moved to ground‐based stations, based on a priori information there available. Copyright © 2014 John Wiley & Sons, Ltd.     

Gyroid‐Structured 3D ZnO Networks Made by Atomic Layer Deposition

3D continuous ZnO morphologies with characteristic feature sizes on the 10 nm length scale are attractive for electronic device manufacture. However, their synthesis remains a challenge because of the low crystallization temperature of ZnO. Here, we report a method for the robust and reliable synthesis of fully crystalline 3D mesoporous ZnO networks by means of atomic layer deposition (ALD) of ZnO into a self‐assembled block copolymer template. By carefully optimizing the processing conditions we are able to synthesize several‐micrometer‐thick layers of mesoporous ZnO networks with a strut width of 30 nm. Two 3D mesoporous morphologies are manufactured: a periodic gyroid structure and a random worm‐like morphology. Exploiting the ALD property to conformally coat complex surfaces of high aspect ratio, the channel network of a 3D continuous channel network of a self‐assembled block copolymer is replicated into ZnO. X‐ray photoemission spectroscopy and x‐ray diffraction measurements reveal that the chemical composition of the mesoporous structures is uniform and consists of wurtzite‐ZnO throughout the film. Scanning electron microscopy reveals an average pore dimension of 30 nm. The potential of this material for a hybrid photovoltaic application is demonstrated by the manufacture of a poly(3‐hexylthiophene)/ZnO solar cell.     

BETaaS: A Platform for Development and Execution of Machine-to-Machine Applications in the Internet of Things

Wireless Personal Communications - The integration of everyday objects into the Internet represents the foundation of the forthcoming Internet of Things (IoT). Smart objects will be the building...     

Applying SMT-based verification to hardware/software partitioning in embedded systems

When performing hardware/software co-design for embedded systems, the problem of which functions of the system should be implemented in hardware (HW) or in software (SW) emerges. This problem is known as HW/SW partitioning. Over the last 10 years, a significant research effort has been carried out in this area. In this paper, we present two new approaches to solve the HW/SW partitioning problem by using verification techniques based on satisfiability modulo theories (SMT). We compare the results using the traditional technique of integer linear programming, specifically binary integer programming and a modern method of optimization by genetic algorithm. The experimental results show that SMT-based verification techniques can be effective in particular cases to solve the HW/SW partition problem optimally using a state-of-the-art model checker based on SMT solvers, when compared against traditional techniques.