Robust automatic mapping algorithms in a network monitoring scenario

Automatically generating maps of a measured variable of interest can be problematic. In this work we focus on the monitoring network context where observations are collected and reported by a network of sensors, and are then transformed into interpolated maps for use in decision making. Using traditional geostatistical methods, estimating the covariance structure of data collected in an emergency situation can be difficult. Variogram determination, whether by method-of-moment estimators or by maximum likelihood, is very sensitive to extreme values. Even when a monitoring network is in a routine mode of operation, sensors can sporadically malfunction and report extreme values. If this extreme data destabilises the model, causing the covariance structure of the observed data to be incorrectly estimated, the generated maps will be of little value, and the uncertainty estimates in particular will be misleading. Marchant and Lark [2007] propose a REML estimator for the covariance, which is shown to work on small data sets with a manual selection of the damping parameter in the robust likelihood. We show how this can be extended to allow treatment of large data sets together with an automated approach to all parameter estimation. The projected process kriging framework of Ingram et al. [2007] is extended to allow the use of robust likelihood functions, including the two component Gaussian and the Huber function. We show how our algorithm is further refined to reduce the computational complexity while at the same time minimising any loss of information. To show the benefits of this method, we use data collected from radiation monitoring networks across Europe. We compare our results to those obtained from traditional kriging methodologies and include comparisons with Box-Cox transformations of the data. We discuss the issue of whether to treat or ignore extreme values, making the distinction between the robust methods which ignore outliers and transformation methods which treat them as part of the (transformed) process. Using a case study, based on an extreme radiological events over a large area, we show how radiation data collected from monitoring networks can be analysed automatically and then used to generate reliable maps to inform decision making. We show the limitations of the methods and discuss potential extensions to remedy these.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

Development of an electrically tuneable Bragg grating filter in polymer optical fibre operating at 1.55 µm

We present a thorough study on the development of a polymer optical fibre-based tuneable filter utilizing an intra-core Bragg grating that is electrically tuneable, operating at 1.55 µm. The Bragg grating is made tuneable using a thin-film resistive heater deposited on the surface of the fibre. The polymer fibre was coated via the photochemical deposition of a Pd/Cu metallic layer with the procedure induced by VUV radiation at room temperature. The resulting device, when wavelength tuned via Joule heating, underwent a wavelength shift of 2 nm for a moderate input power of 160 mW, a wavelength to input power coefficient of -13.4 pm mW-1 and time constant of 1.7 s-1. A basic theoretical study verified that for this fibre type one can treat the device as a one-dimensional system. The model was extended to include the effect of input electrical power changes on the refractive index of the fibre and subsequently to changes in the Bragg wavelength of the grating, showing excellent agreement with the experimental measurements.

Extended range interferometry using a coherence tuned synthesised dual wavelength technique with multimode fibres

We describe in the letter a technique for making extended-range interferometric measurements with a coherence multiplexed system by means of a variation on the dual-wavelength technique. The interferometer is illuminated with a single source and the two wavelengths are synthesised at the output by means of an interference filter.

All-fiber-integrated soliton-similariton laser with in-line fiber filter

We demonstrate an all-fiber-integrated Er-doped fiber laser operating in the soliton-similariton mode-locking regime. In the similariton part of the cavity, a self-similarly evolving parabolic pulse with highly linear chirp propagates in the presence of normal dispersion. Following an in-line fiber-based birefringent filter, the pulse evolves into a soliton in the part of the cavity with anomalous dispersion. The similariton and the soliton pulses are dechirped to 75.5 and 167.2 fs, respectively, outside of the cavity. Mode-locked operation is very robust, owing to the influence of the two similariton and soliton attractors that predominate each half of the laser cavity. The experimental results are supported with numerical simulations, which provide good agreement.

Development of an electrically tuneable Bragg grating filter in polymer optical fibre operating at 1.55 νm

We present a thorough study on the development of a polymer optical fibre-based tuneable filter utilizing an intra-core Bragg grating that is electrically tuneable, operating at 1.55 νm. The Bragg grating is made tuneable using a thin-film resistive heater deposited on the surface of the fibre. The polymer fibre was coated via the photochemical deposition of a Pd/Cu metallic layer with the procedure induced by VUV radiation at room temperature. The resulting device, when wavelength tuned via Joule heating, underwent a wavelength shift of 2 nm for a moderate input power of 160 mW, a wavelength to input power coefficient of -13.4 pm mW-1 and time constant of 1.7 s-1. A basic theoretical study verified that for this fibre type one can treat the device as a one-dimensional system. The model was extended to include the effect of input electrical power changes on the refractive index of the fibre and subsequently to changes in the Bragg wavelength of the grating, showing excellent agreement with the experimental measurements. © 2007 IOP Publishing Ltd.