Analysis of Energy Consumption Performance towards Optimal Radioplanning of Wireless Sensor Networks in Heterogeneous Indoor Environments

In this paper the impact of complex indoor environment in the deployment and energy consumption of a wireless sensor network infrastructure is analyzed. The variable nature of the radio channel is analyzed by means of deterministic in-house 3D ray launching simulation of an indoor scenario, in which wireless sensors, based on an in-house CyFi implementation, typically used for environmental monitoring, are located. Received signal power and current consumption measurement results of the in-house designed wireless motes have been obtained, stating that adequate consideration of the network topology and morphology lead to optimal performance and power consumption reduction. The use of radioplanning techniques therefore aid in the deployment of more energy efficient elements, optimizing the overall performance of the variety of deployed wireless systems within the indoor scenario

X-Ray Spectral Variability of Extreme BL Lac AGN H1426+428

Between 7 March 2002 and 15 June 2002, intensive X-ray observations were carried out on the extreme BL Lac object H1426+428 with instruments on board the Rossi X-ray Timing Explorer (RXTE). These instruments provide measurements of H1426+428 in the crucial energy range that characterizes the first peak of its spectral energy distribution. This peak, which is almost certainly due to synchrotron emission, has previously been inferred to be in excess of 100 keV. By taking frequent observations over a four-month campaign, which included $\sim$450 ksec of RXTE time, studies of flux and spectral variability on multiple timescales were performed, along with studies of spectral hysteresis. The 3-24 keV X-ray flux and spectra exhibited significant variability, implying variability in the location of the first peak of the spectral energy distribution. Hysteresis patterns were observed, and their characteristics have been discussed within the context of emission models.Comment: accepted for publication in Astrophysical Journa

Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery

International audienceWe introduce runtime enforcement of specifications on component-based systems (CBS) modeled in the BIP (Behavior, Interaction and Priority) framework. Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ensure the correct runtime behavior (w.r.t. a formal specification) of a system using a so-called enforcement monitor. BIP is a powerful and expressive component-based framework for the formal construction of heterogeneous systems. Because of BIP expressiveness however , it is difficult to enforce complex behavioral properties at design-time. We first introduce a theoretical runtime enforcement framework for component-based systems where we delineate a hierarchy of enforceable properties (i.e., properties that can be enforced) according to the number of observational steps a system is allowed to deviate from the property (i.e., the notion of k-step enforceability). To ensure the observational equivalence between the correct executions of the initial system and the monitored system, we show that i) only stutter-invariant properties should be enforced on CBS with our monitors, and ii) safety properties are 1-step enforceable. Second, given an abstract enforcement monitor for some 1-step enforceable property, we define a series of formal transformations to instrument (at relevant locations) a CBS described in the BIP framework to integrate the monitor. At runtime, the monitor observes and automatically avoids any error in the behavior of the system w.r.t. the property. Third, our approach is fully implemented in RE-BIP, an available tool integrated in the BIP tool suite. Fourth, to validate our approach, we use RE-BIP to i) enforce deadlock-freedom on a dining philosophers benchmark, and ii) ensure the correct placement of robots on a map

Joint Astrophysics Nascent Universe Satellite:. utilizing GRBs as high redshift probes

The Joint Astrophysics Nascent Universe Satellite (JANUS) is a multiwavelength cosmology mission designed to address fundamental questions about the cosmic dawn. It has three primary science objectives: (1) measure the massive star formation rate over 5 ≤ z ≤ 12 by discovering and observing high-z gamma-ray bursts (GRBs) and their afterglows, (2) enable detailed studies of the history of reionization and metal enrichment in the early Universe, and (3) map the growth of the first supermassive black holes by discovering and observing the brightest quasars at z ≥ 6. A rapidly slewing spacecraft and three science instruments – the X-ray Coded Aperture Telescope (XCAT), the Near InfraRed Telescope (NIRT), and the GAmma-ray Transient Experiment for Students (GATES) – make-up the JANUS observatory and are responsible for realizing the three primary science objectives. The XCAT (0.5–20 keV) is a wide field of view instrument responsible for detecting and localizing ∼60 z ≥ 5 GRBs, including ∼8 z ≥ 8 GRBs, during a 2-year mission. The NIRT (0.7–1.7 µm) refines the GRB positions and provides rapid (≤ 30 min) redshift information to the astronomical community. Concurrently, the NIRT performs a 20, 000 deg2 survey of the extragalactic sky discovering and localizing ∼300 z ≥ 6 quasars, including ∼50 at z ≥ 7, over a two-year period. The GATES provides high-energy (15 keV −1.0 MeV) spectroscopy as well as 60–500 keV polarimetry of bright GRBs. Here we outline the JANUS instrumentation and the mission science motivations

Fermion masses and mixings in gauge theories

The recent evidence for neutrino oscillations stimulate us to discuss again the problem of fermion masses and mixings in gauge theories. In the standard model, several forms for quark mass matrices are equivalent. They become ansatze within most extensions of the standard model, where also relations between quark and lepton sectors may hold. In a seesaw framework, these relations can constrain the scale of heavy neutrino mass, which is often related to the scale of intermediate or unification gauge symmetry. As a consequence, two main scenarios arise. Hierarchies of masses and mixings may be explained by broken horizontal symmetries.Comment: 25 pages, RevTex, no figures. Few misprints corrected and two references adde

Electronic structure of warm dense copper studied by ultrafast x-ray absorption spectroscopy

We use time-resolved x-ray absorption spectroscopy to investigate the unoccupied electronic density of states of warm dense copper that is produced isochorically through the absorption of an ultrafast optical pulse. The temperature of the superheated electron-hole plasma, which ranges from 4000 to 10 000 K, was determined by comparing the measured x-ray absorption spectrum with a simulation. The electronic structure of warm dense copper is adequately described with the high temperature electronic density of state calculated by the density functional theory. The dynamics of the electron temperature is consistent with a two-temperature model, while a temperature-dependent electron-phonon coupling parameter is necessary

Seesaw mechanism, baryon asymmetry and neutrinoless double beta decay

A simplified but very instructive analysis of the seesaw mechanism is here performed. Assuming a nearly diagonal Dirac neutrino mass matrix, we study the forms of the Majorana mass matrix of right-handed neutrinos, which reproduce the effective mass matrix of left-handed neutrinos. As a further step, the important effect of a non diagonal Dirac neutrino mass matrix is explored. The corresponding implications for the baryogenesis via leptogenesis and for the neutrinoless double beta decay are reviewed. We propose two distinct models where the baryon asymmetry is enhanced.Comment: 21 pages, RevTex. Revise