The design of fault tolerant software for loosely coupled distributed systems

Requirements for systems to continue to operate satisfactorily in the presence of faults has led to the development of techniques for the construction of fault tolerant software. This thesis addresses the problem of error detection and recovery in distributed systems which consist of a set of communicating sequential processes. A method is presented for the `a priori' design of conversations for this class of distributed system. Petri nets are used to represent the state and to solve state reachability problems for concurrent systems. The dynamic behaviour of the system can be characterised by a state-change table derived from the state reachability tree. Systematic conversation generation is possible by defining a closed boundary on any branch of the state-change table. By relating the state-change table to process attributes it ensures all necessary processes are included in the conversation. The method also ensures properly nested conversations. An implementation of the conversation scheme using the concurrent language occam is proposed. The structure of the conversation is defined using the special features of occam. The proposed implementation gives a structure which is independent of the application and is independent of the number of processes involved. Finally, the integrity of inter-process communications is investigated. The basic communication primitives used in message passing systems are seen to have deficiencies when applied to systems with safety implications. Using a Petri net model a boundary for a time-out mechanism is proposed which will increase the integrity of a system which involves inter-process communications.

The relative performance of scalable load balancing algorithms in loosely-coupled distributed systems. Available in 2 volumes.

The computer systems of today are characterised by data and program control that are distributed functionally and geographically across a network. A major issue of concern in this environment is the operating system activity of resource management for different processors in the network. To ensure equity in load distribution and improved system performance, load balancing is often undertaken. The research conducted in this field so far, has been primarily concerned with a small set of algorithms operating on tightly-coupled distributed systems. More recent studies have investigated the performance of such algorithms in loosely-coupled architectures but using a small set of processors. This thesis describes a simulation model developed to study the behaviour and general performance characteristics of a range of dynamic load balancing algorithms. Further, the scalability of these algorithms are discussed and a range of regionalised load balancing algorithms developed. In particular, we examine the impact of network diameter and delay on the performance of such algorithms across a range of system workloads. The results produced seem to suggest that the performance of simple dynamic policies are scalable but lack the load stability of more complex global average algorithms.

Synchronization processes in nonlinear systems and their relation to cortical oscillatory dynamics

This thesis was focused on theoretical models of synchronization to cortical dynamics as measured by magnetoencephalography (MEG). Dynamical systems theory was used in both identifying relevant variables for brain coordination and also in devising methods for their quantification. We presented a method for studying interactions of linear and chaotic neuronal sources using MEG beamforming techniques. We showed that such sources can be accurately reconstructed in terms of their location, temporal dynamics and possible interactions. Synchronization in low-dimensional nonlinear systems was studied to explore specific correlates of functional integration and segregation. In the case of interacting dissimilar systems, relevant coordination phenomena involved generalized and phase synchronization, which were often intermittent. Spatially-extended systems were then studied. For locally-coupled dissimilar systems, as in the case of cortical columns, clustering behaviour occurred. Synchronized clusters emerged at different frequencies and their boundaries were marked through oscillation death. The macroscopic mean field revealed sharp spectral peaks at the frequencies of the clusters and broader spectral drops at their boundaries. These results question existing models of Event Related Synchronization and Desynchronization. We re-examined the concept of the steady-state evoked response following an AM stimulus. We showed that very little variability in the AM following response could be accounted by system noise. We presented a methodology for detecting local and global nonlinear interactions from MEG data in order to account for residual variability. We found crosshemispheric nonlinear interactions of ongoing cortical rhythms concurrent with the stimulus and interactions of these rhythms with the following AM responses. Finally, we hypothesized that holistic spatial stimuli would be accompanied by the emergence of clusters in primary visual cortex resulting in frequency-specific MEG oscillations. Indeed, we found different frequency distributions in induced gamma oscillations for different spatial stimuli, which was suggestive of temporal coding of these spatial stimuli. Further, we addressed the bursting character of these oscillations, which was suggestive of intermittent nonlinear dynamics. However, we did not observe the characteristic-3/2 power-law scaling in the distribution of interburst intervals. Further, this distribution was only seldom significantly different to the one obtained in surrogate data, where nonlinear structure was destroyed. In conclusion, the work presented in this thesis suggests that advances in dynamical systems theory in conjunction with developments in magnetoencephalography may facilitate a mapping between levels of description int he brain. this may potentially represent a major advancement in neuroscience.

Stimuli of varying spatial scale induce gamma activity with distinct temporal characteristics in human visual cortex

Gamma activity to stationary grating stimuli was studied non-invasively using MEG recordings in humans. Using a spatial filtering technique, we localized gamma activity to primary visual cortex. We tested the hypothesis that spatial frequency properties of visual stimuli may be related to the temporal frequency characteristics of the associated cortical responses. We devised a method to assess temporal frequency differences between stimulus-related responses that typically exhibit complex spectral shapes. We applied this methodology to either single-trial (induced) or time-averaged (evoked) responses in four frequency ranges (0-40, 20-60, 40-80 and 60-100 Hz) and two time windows (either the entire duration of stimulus presentation or the first second following stimulus onset). Our results suggest that stimuli of varying spatial frequency induce responses that exhibit significantly different temporal frequency characteristics. These effects were particularly accentuated for induced responses in the classical gamma frequency band (20-60 Hz) analyzed over the entire duration of stimulus presentation. Strikingly, examining the first second of the responses following stimulus onset resulted in significant loss in stimulus specificity, suggesting that late signal components contain functionally relevant information. These findings advocate a functional role of gamma activity in sensory representation. We suggest that stimulus specific frequency characteristics of MEG signals can be mapped to processes of neuronal synchronization within the framework of coupled dynamical systems.

On-off and multistate intermittencies in cascaded random distributed feedback fibre laser

A range of physical and engineering systems exhibit an irregular complex dynamics featuring alternation of quiet and burst time intervals called the intermittency. The intermittent dynamics most popular in laser science is the on-off intermittency [1]. The on-off intermittency can be understood as a conversion of the noise in a system close to an instability threshold into effective time-dependent fluctuations which result in the alternation of stable and unstable periods. The on-off intermittency has been recently demonstrated in semiconductor, Erbium doped and Raman lasers [2-5]. Recently demonstrated random distributed feedback (random DFB) fiber laser has an irregular dynamics near the generation threshold [6,7]. Here we show the intermittency in the cascaded random DFB fiber laser. We study intensity fluctuations in a random DFB fiber laser based on nitrogen doped fiber. The laser generates first and second Stokes components 1120 nm and 1180 nm respectively under an appropriate pumping. We study the intermittency in the radiation of the second Stokes wave. The typical time trace near the generation threshold of the second Stokes wave (Pth) is shown at Fig. 1a. From the number of long enough time-traces we calculate statistical distribution between major spikes in time dynamics, Fig. 1b. To eliminate contribution of high frequency components of spikes we use a low pass filter along with the reference value of the output power. Experimental data is fitted by power law, ~(P-Pth)y, where is a mean time between pikes. There are two different intermittency regimes. Just above Pth, the mean time is approximated by the -3/2 power law. The -3/2 power law is typical to the on-off intermittency with hopping between two states (first and second Stokes waves in our case) [7]. At higher power, the mean time is approximated by -4 power law, that indicates a change in intermittency type to multistate. Multistable dynamics is observed in erbium-doped fiber lasers [8]. The origin of multiples states in our system could be probably connected with polarization hopping or other reasons and should be further investigated. We have presented a first experimental statistical characterisation of the on-off and multistate intermittencies that occur in the generation of the second Stokes wave in nitrogen doped random DFB fiber laser. References [1] H. Fujisaka and T. Yamada, “A New Intermittency in Coupled Dynamical Systems,” Prog. Theor. Phys. 74, 918 (1985). [2] S. Osborne, A. Amann, D. Bitauld, and S. O’Brien, “On-off intermittency in an optically injected semiconductor laser,” Phys. Rev. E 85, 056204 (2012). [3] S. Sergeyev, K. O'Mahoney, S. Popov, and A. T. Friberg, “Coherence and anticoherence resonance in high-concentration erbium-doped fiber laser,” Opt. Lett. 35, 3736 (2010). [4] A.E. El-Taher, S.V. Sergeyev, E.G. Turitsyna, P. Harper, and S. K. Turitsyn, “Intermittent Self-Pulsing in a Fiber Raman Laser”, In proc. Conf. Nonlin. Photon., paper ID 1367139, Colorado Springs, USA, 2012 [5] S.K. Turitsyn, S.A. Babin, A.E. El-Taher, P. Harper, D.V. Churkin, S.I. Kablukov, J.D. Ania-Castañón, V. Karalekas, and E.V. Podivilov, “Random distributed feedback fibre laser”, Nat. Photon..4, 231 (2010). [6] I. D. Vatnik, D. V. Churkin, S. A. Babin, and S. K. Turitsyn, "Cascaded random distributed feedback Raman fiber laser operating at 1.2 μm," Opt. Express 19, 18486 (2011). [7] W. Feller, An introduction to probability theory and its applications, Vol. 1, 3rd ed. (Wiley, New-York, 1968). [8] G. Huerta-Cuellar, A.N. Pisarchik, and Y.O. Barmenkov, “Experimental characterization of hopping dynamics in a multistable fiber laser,” Phys. Rev. E 78, 035202(R) (2008).

Nonlinear dynamics of a periodically driven Duffing resonator coupled to a Van der Pol oscillator

We explore the dynamics of a periodically driven Duffing resonator coupled elastically to a van der Pol oscillator in the case of 1?:?1 internal resonance in the cases of weak and strong coupling. Whilst strong coupling leads to dominating synchronization, the weak coupling case leads to a multitude of complex behaviours. A two-time scales method is used to obtain the frequency-amplitude modulation. The internal resonance leads to an antiresonance response of the Duffing resonator and a stagnant response (a small shoulder in the curve) of the van der Pol oscillator. The stability of the dynamic motions is also analyzed. The coupled system shows a hysteretic response pattern and symmetry-breaking facets. Chaotic behaviour of the coupled system is also observed and the dependence of the system dynamics on the parameters are also studied using bifurcation analysis.

Statistics of noise-driven coupled nonlinear oscillators:applications to systems with Kerr nonlinearity

We present exact analytical results for the statistics of nonlinear coupled oscillators under the influence of additive white noise. We suggest a perturbative approach for analysing the statistics of such systems under the action of a deterministic perturbation, based on the exact expressions for probability density functions for noise-driven oscillators. Using our perturbation technique we show that our results can be applied to studying the optical signal propagation in noisy fibres at (nearly) zero dispersion as well as to weakly nonlinear lattice models with additive noise. The approach proposed can account for a wide spectrum of physically meaningful perturbations and is applicable to the case of large noise strength. © 2005 Elsevier B.V. All rights reserved.

Design and fabrication of a nonlinear micro impact oscillator

In this paper we describe the design and fabrication of a mechanical autonomous impact oscillator with a MEMS resonator as the frequency control element. The design has been developed with scalability to large 2-D arrays of coupled oscillators in mind. The dynamic behaviour of the impact oscillator was numerically studied and it was found that the geometry nonlinearity has an effect on the static pull-in voltage and equilibrium position. The external driving power can alter the frequency of the impact oscillator. The autonomous nature of the oscillator simplifies the complexity of the drive circuitry and is essential for large 2-D arrays.

Numerically optimized implementations, mitigation and simulations of polarisation mode dispersion in real-time transmission systems

The aim of this thesis is to present numerical investigations of the polarisation mode dispersion (PMD) effect. Outstanding issues on the side of the numerical implementations of PMD are resolved and the proposed methods are further optimized for computational efficiency and physical accuracy. Methods for the mitigation of the PMD effect are taken into account and simulations of transmission system with added PMD are presented. The basic outline of the work focusing on PMD can be divided as follows. At first the widely-used coarse-step method for simulating the PMD phenomenon as well as a method derived from the Manakov-PMD equation are implemented and investigated separately through the distribution of a state of polarisation on the Poincaré sphere, and the evolution of the dispersion of a signal. Next these two methods are statistically examined and compared to well-known analytical models of the probability distribution function (PDF) and the autocorrelation function (ACF) of the PMD phenomenon. Important optimisations are achieved, for each of the aforementioned implementations in the computational level. In addition the ACF of the coarse-step method is considered separately, based on the result which indicates that the numerically produced ACF, exaggerates the value of the correlation between different frequencies. Moreover the mitigation of the PMD phenomenon is considered, in the form of numerically implementing Low-PMD spun fibres. Finally, all the above are combined in simulations that demonstrate the impact of the PMD on the quality factor (Q=factor) of different transmission systems. For this a numerical solver based on the coupled nonlinear Schrödinger equation is created which is otherwise tested against the most important transmission impairments in the early chapters of this thesis.

Dispersion aspects of periodically amplified soliton transmission systems

This thesis presents improvements to optical transmission systems through the use of optical solitons as a digital transmission format, both theoretically and experimentally. An introduction to the main concepts and impairments of optical fibre on pulse transmission is included before introducing the concept of solitons in optically amplified communications and the problems of soliton system design. The theoretical work studies two fibre dispersion profiling schemes and a soliton launch improvement. The first provides superior pulse transmission by optimally tailoring the fibre dispersion to better follow the power, and hence nonlinearity, decay and thus allow soliton transmission for longer amplifier spacings and shorter pulse widths than normally possible. The second profiling scheme examines the use of dispersion compensating fibre in the context of soliton transmission over existing, standard fibre systems. The limits for solitons in uncompensated standard fibre are assessed, before the potential benefits of dispersion compensating fibre included as part of each amplifier are shown. The third theoretical investigation provides a simple improvement to the propagation of solitons in a highly perturbed system. By introducing a section of fibre of the correct length prior to the first system amplifier span, the soliton shape can be better coupled into the system thus providing an improved "average soliton" propagation model. The experimental work covers two areas. An important issue for soliton systems is pulse sources. Three potential lasers are studied, two ring laser configurations and one semiconductor device with external pulse shaping. The second area studies soliton transmission using a recalculating loop, reviewing the advantages and draw-backs of such an experiment in system testing and design. One particular example of employing the recirculating loop is also examined, using a novel method of pulse shape stabilisation over long distances with low jitter. The future for nonlinear optical communications is considered with the thesis conclusions.

The mechanochemical modification of polyolefins using reactive modifier systems

The principal objective of this work was to improve the mechanical properties of glass fibre reinforced polypropylene (PP) composites by the mechanochemical modification of the PP. The modification of the PP was carried out by reactive processing of the PP with a modifier in a Buss Ko-Kneader. Two main types of modifier were evaluated one type based on N-substituted maleimides the others based on 2-allylamino-4,6-dichloro-1,3,5-triazine (ACCT). The modification of the PP was carried out in two stages. Firstly the PP was reactively processed with the modifier and a free radical initiator. The objective of this stage was to bind the modifier to the PP. In the second stage the modified PP was reactively processed with the glass fibre. The objective in this stage was to form a chemical bond between the bound modifier and the silane coupling agent on the surface of the glass. Two silane coupling agents were evaluated these had a aliphatic chloro group and an aliphatic amino group respectively available for reaction with the modifier. The modifiers synthesised for this work had two main functional groups. The first was a double bond for free radical addition to the PP. The second was an organic group chosen for its potential reactivity to the silane coupling agent. A preliminary investigation was carried out using maleic anhydride (MA) as the modifier, this is reactive to the amino silane coupled glass. Studies of a commercially available system were also carried out for comparison purposes. During the work it was found that the amino silane coupled glass fibres produced, without any modification being made to the PP, mechanical properties comparable to the commercial system. Further any modification added to the amino silane system failed to improve the mechanical performance and in some cases acted in the opposite fashion. This failure was evident even when a chemical bond between glass fibre and PP could be shown. In the case of the chloro silane coupled glass fibres the mechanical properties of the composite without modification were poorer than those of the commercial system. It was found that the mechanical properties of these systems could be enhanced by the modifiers, however, no system tested significantly out performed the commercial system. Of the two modifier systems tested those based on the n-substituted maleimides were more successful at enhancing mechanical properties than those based on ACCT. This was attributed to the Poor chemical binding of the ACCT based modifiers to the PP. During the work it was found that several of the modifiers improved the properties of the PP when no glass fibres were present, particularly the % elongation and impact strength. It is possible that these modifiers could be used to improve the impact performance of PP, this may be of particular interest in recycling. These modifiers have only been tested for improving the properties of glass fibre composites. The N-substituted maleimide based modifiers could be used as compatibleisers for alloys of PP and other polymers. These could function by the formation of the bond with PP via the double bond whilst the group attached to the nitrogen atom could react with the alloying polymer.

Approximating differentiable relationships between delay embedded dynamical systems with radical basis functions

This thesis is about the study of relationships between experimental dynamical systems. The basic approach is to fit radial basis function maps between time delay embeddings of manifolds. We have shown that under certain conditions these maps are generically diffeomorphisms, and can be analysed to determine whether or not the manifolds in question are diffeomorphically related to each other. If not, a study of the distribution of errors may provide information about the lack of equivalence between the two. The method has applications wherever two or more sensors are used to measure a single system, or where a single sensor can respond on more than one time scale: their respective time series can be tested to determine whether or not they are coupled, and to what degree. One application which we have explored is the determination of a minimum embedding dimension for dynamical system reconstruction. In this special case the diffeomorphism in question is closely related to the predictor for the time series itself. Linear transformations of delay embedded manifolds can also be shown to have nonlinear inverses under the right conditions, and we have used radial basis functions to approximate these inverse maps in a variety of contexts. This method is particularly useful when the linear transformation corresponds to the delay embedding of a finite impulse response filtered time series. One application of fitting an inverse to this linear map is the detection of periodic orbits in chaotic attractors, using suitably tuned filters. This method has also been used to separate signals with known bandwidths from deterministic noise, by tuning a filter to stop the signal and then recovering the chaos with the nonlinear inverse. The method may have applications to the cancellation of noise generated by mechanical or electrical systems. In the course of this research a sophisticated piece of software has been developed. The program allows the construction of a hierarchy of delay embeddings from scalar and multi-valued time series. The embedded objects can be analysed graphically, and radial basis function maps can be fitted between them asynchronously, in parallel, on a multi-processor machine. In addition to a graphical user interface, the program can be driven by a batch mode command language, incorporating the concept of parallel and sequential instruction groups and enabling complex sequences of experiments to be performed in parallel in a resource-efficient manner.

Integrated manufacturing systems design in a multi-product company

Using a hydraulic equipment manufacturing plant as the case study, this work explores the problems of systems integration in manufacturing systems design, stressing the behavioural aspects of motivation and participation, and the constraints involved in the proper consideration of the human sub-system. The need for a simple manageable modular organisation structure is illustrated, where it is shown, by reference to systems theory, how a business can be split into semi-autonomous operating units. The theme is the development of a manufacturing system based on an analysis of the business, its market, product, technology and constraints, coupled with a critical survey of modern management literature to develop an integrated systems design to suit a specific company in the current social environment. Society currently moves through a socio-technical revolution with man seeking higher levels of motivation. The transitory environment from an autocratic/paternalistic to a participative operating mode demands systems parameters only found to a limited extent in manufacturing systems today. It is claimed, that modern manufacturing systems design needs to be based on group working, job enrichment, delegation of decision making and reduced job monotony. The analysis shows how negative aspects of cellular manufacture such as lack of flexibility and poor fixed asset utilisation are relatively irrelevant and misleading in the broader context of the need to come to terms with the social stresses imposed on a company operating in the industrial environment of the present and the immediate future.

Low-loss waveguides fabricated by femtosecond chirped-pulse oscillator

Recent results on direct femtosecond inscription of straight low-loss waveguides in borosilicate glass are presented. We also demonstrate lowest ever losses in curvilinear waveguides, which we use as main building blocks for integrated photonics circuits. Low-loss waveguides are of great importance to a variety of applications of integrated optics. We report on recent results of direct femtosecond fabrication of smooth low-loss waveguides in standard optical glass by means of femtosecond chirped-pulse oscillator only (Scientific XL, Femtolasers), operating at the repetition rate of 11 MHz, at the wavelength of 800 nm, with FWHM pulse duration of about 50 fs, and a spectral widths of 30 nm. The pulse energy on target was up to 70 nJ. In transverse inscription geometry, we inscribed waveguides at the depth from 10 to 300 micrometers beneath the surface in the samples of 50 x 50 x 1 mm dimensions made of pure BK7 borosilicate glass. The translation of the samples accomplished by 2D air-bearing stage (Aerotech) with sub-micrometer precision at a speed of up to 100 mm per second (hardware limit). Third direction of translation (Z-, along the inscribing beam or perpendicular to sample plane) allows truly 3D structures to be fabricated. The waveguides were characterized in terms of induced refractive index contrast, their dimensions and cross-sections, mode-field profiles, total insertion losses at both 633 nm and 1550 nm. There was almost no dependence on polarization for the laser inscription. The experimental conditions – depth, laser polarization, pulse energy, translation speed and others, were optimized for minimum insertion losses when coupled to a standard optical fibre SMF-28. We found coincidence of our optimal inscription conditions with recently published by other groups [1, 3] despite significant difference in practically all experimental parameters. Using optimum regime for straight waveguides fabrication, we inscribed a set of curvilinear tracks, which were arranged in a way to ensure the same propagation length (and thus losses) and coupling conditions, while radii of curvature varied from 3 to 10 mm. This allowed us to measure bend-losses – they less than or about 1 dB/cm at R=10 mm radius of curvature. We also demonstrate a possibility to fabricate periodical perturbations of the refractive index in such waveguides with the periods using the same set-up. We demonstrated periods of about 520 nm, which allowed us to fabricate wavelength-selective devices using the same set-up. This diversity as well as very short time for inscription (the optimum translation speed was found to be 40 mm/sec) makes our approach attractive for industrial applications, for example, in next generation high-speed telecom networks.