No description available.

This thesis examines experimentally options for optical fibre transmission over oceanic distances. Its format follows the chronological evolution of ultra-long haul optical systems, commencing with opto-electronic regenerators as repeaters, progressing to optically amplified NRZ systems and finally solitonic propagation. In each case recirculating loop techniques are deployed to simplify the transmission experiments. Advances in high speed electronics have allowed regenerators operating at 10 Gbit/s to become a practical reality. By augmenting such devices with optical amplifiers it is possible to greatly enhance the repeater spacing. Work detailed in this thesis has culminated in the propagation of 10 Gbit/s data over 400,000 km with a repeater spacing of 160 km. System reliability and robustness are enhanced by the use of a directly modulated DFB laser transmitter and total insensitivity of the system to the signal state of polarisation. Optically amplified ultra-long haul NRZ systems have taken on particular importance with the impending deployment of TAT 12/13 and TPC 5. The performance of these systems is demonstrated to be primarily limited by analogue impairments such as the accumulation of amplifier noise, polarisation effects and optical non-linearities. These degradations may be reduced by the use of appropriate dispersion maps and by scrambling the transmitted state of signal polarisation. A novel high speed optically passive polarisation scrambler is detailed for the first time. At bit rates in excess of 10 Gbit/s it is shown that these systems are severely limited and do not offer the advantages that might be expected over regenerated links. Propagation using solitons as the data bits appears particularly attractive since the dispersive and non-linear effects of the fibre allow distortion free transmission. However, the generation of pure solitons is difficult but must be achieved if the uncontrolled transmission distance is to be maximised

Hard real-time systems are a class of computer control systems that must react to demands of their environment by providing `correct' and timely responses. Since these systems are increasingly being used in systems with safety implications, it is crucial that they are designed and developed to operate in a correct manner. This thesis is concerned with developing formal techniques that allow the specification, verification and design of hard real-time systems. Formal techniques for hard real-time systems must be capable of capturing the system's functional and performance requirements, and previous work has proposed a number of techniques which range from the mathematically intensive to those with some mathematical content. This thesis develops formal techniques that contain both an informal and a formal component because it is considerd that the informality provides ease of understanding and the formality allows precise specification and verification. Specifically, the combination of Petri nets and temporal logic is considered for the specification and verification of hard real-time systems. Approaches that combine Petri nets and temporal logic by allowing a consistent translation between each formalism are examined. Previously, such techniques have been applied to the formal analysis of concurrent systems. This thesis adapts these techniques for use in the modelling, design and formal analysis of hard real-time systems. The techniques are applied to the problem of specifying a controller for a high-speed manufacturing system. It is shown that they can be used to prove liveness and safety properties, including qualitative aspects of system performance. The problem of verifying quantitative real-time properties is addressed by developing a further technique which combines the formalisms of timed Petri nets and real-time temporal logic. A unifying feature of these techniques is the common temporal description of the Petri net.

No description available.

High power pulses generation is one of the major topics discussed in the thesis. Although gain switching is the simplest way for ultrashort pulse generation, it proves to be quite effective to deliver high energy pulses on condition that the pumping pulses with extremely fast rising time and high enough amplitude are applied on specially designed pulse generators. In the experiment on a grating-coupled surface emitting laser (GCSEL), peak power as high as 1W was achieved even when its spectral bandwidth was controlled within 0.2nm. Another experiment shows violet picosecond pulses with peak power as high as 7W was achieved when the intensive electrical pulses were applied on optimised DC bias to pump on InGaN violet diode laser. The physical mechanism of this phenomenon, as we considered, may attributed to the self-organised quantum dots structure in the laser. Control of pulse quality, including spectral quality and temporal profile, is an important issue for high power pulse generation. The ways to control pulse quality described in the thesis are also based on simple and effective techniques. For instance, GCSEL used in our experiment has a specially designed air-grating structure for out-coupling of optical signals; hence, a tiny flat aluminium mirror was placed closed to the grating section and resulted in a wavelength tuning range over 100nm and the best side band suppression ratio of 40dB. Self-seeding, as an effective technique for spectral control of pulsed lasers, was demonstrated for the first time in a violet diode laser. In addition, control of temporal profile of the pulse is demonstrated in an overdriven DFB laser. Wavelength tuneable fibre Bragg gratings were used to tailor the huge energy tail of the high power pulse. The whole system was compact and robust. The ultimate purpose of our study is to design a new family of compact ultrafast diode lasers. Some practical ideas of laser design based on gain-switched and Q-switched devices are also provided in the end.

Surface compositional changes in GaAs due to RF plasmas of different gases have been investigated by XPS and etch rates were measured using AFM. Angular Resolved XPS (ARXPS) was also employed for depth analysis of the composition of the surface layers. An important role in this study was determination of oxide thickness using XPS data. The study of surface - plasma interaction was undertaken by correlating results of surface analysis with plasma diagnosis. Different experiments were designed to accurately measure the BEs associated with the Ga 3d, Ga 2P3/2 and LMM peaks using XPS analysis and propose identification in terms of the oxides of GaAs. Along with GaAs wafers, some reference compounds such as metallic Ga and Ga2O3 powder were used. A separate study aiming the identification of the GaAs surface oxides formed on the GaAs surface during and after plasma processing was undertaken. Surface compositional changes after plasma treatment, prior to surface analysis are considered, with particular reference to the oxides formed in the air on the activated surface. Samples exposed to ambient air for different periods of time and also to pure oxygen were analysed. Models of surface processes were proposed for explanation of the stoichiometry changes observed with the inert and reactive plasmas used. In order to help with the understanding of the mechanisms responsible for surface effects during plasma treatment, computer simulation using SRIM code was also undertaken. Based on simulation and experimental results, models of surface phenomena are proposed. Discussion of the experimental and simulated results is made in accordance with current theories and published results of different authors. The experimental errors introduced by impurities and also by data acquisition and processing are also evaluated.

There is an increasing emphasis on the use of software to control safety critical plants for a wide area of applications. The importance of ensuring the correct operation of such potentially hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many applications. A response to this is the use of formal methods for the specification and verification of safety critical control systems. These provide a mathematical representation of a system which permits reasoning about its properties. This thesis investigates the use of the formal method Communicating Sequential Processes (CSP) for the verification of a safety critical control application. CSP is a discrete event based process algebra which has a compositional axiomatic semantics that supports verification by formal proof. The application is an industrial case study which concerns the concurrent control of a real-time high speed mechanism. It is seen from the case study that the axiomatic verification method employed is complex. It requires the user to have a relatively comprehensive understanding of the nature of the proof system and the application. By making a series of observations the thesis notes that CSP possesses the scope to support a more procedural approach to verification in the form of testing. This thesis investigates the technique of testing and proposes the method of Ideal Test Sets. By exploiting the underlying structure of the CSP semantic model it is shown that for certain processes and specifications the obligation of verification can be reduced to that of testing the specification over a finite subset of the behaviours of the process.

The increasing demand for high capacity data storage requires decreasing the head-to-tape gap and reducing the track width. A problem very often encountered is the development of adhesive debris on the heads at low humidity and high temperatures that can lead to an increase of space between the head and media, and thus a decrease in the playback signal. The influence of stains on the playback signal of reading heads is studied using RAW (Read After Write) tests and their influence on the wear of the heads by using indentation technique. The playback signal has been found to vary and the errors to increase as stains form a patchy pattern and grow in size to form a continuous layer. The indentation technique shows that stains reduce the wear rate of the heads. In addition, the wear tends to be more pronounced at the leading edge of the head compared to the trailing one. Chemical analysis of the stains using ferrite samples in conjunction with MP (metal particulate) tapes shows that stains contain iron particles and polymeric binder transferred from the MP tape. The chemical anchors in the binder used to grip the iron particles now react with the ferrite surface to create strong chemical bonds. At high humidity, a thin layer of iron oxyhydroxide forms on the surface of the ferrite. This soft material increases the wear rate and so reduces the amount of stain present on the heads. The stability of the binder under high humidity and under high temperature as well as the chemical reactions that might occur on the ferrite poles of the heads influences the dynamic behaviour of stains. A model of stain formation taking into account the channels of binder degradation and evolution upon different environmental conditions is proposed.

Firstly, dispersion-managed (DM) solitons in fibre lines employing a weak dispersion map are analysed by means of a perturbation approach. In the case of small dispersion map strengths the average pulse dynamics is described by a perturbation approach (NLS) equation. Applying a perturbation theory, based on the Inverse Scattering Transform method, an analytic expression for the envelope of the DM soliton is derived. This expression correctly predicts the power enhancement arising from the dispersion management. Secondly, autosoliton transmission in DM fibre systems with periodical in-line deployment of nonlinear optical loop mirrors (NOLMs) is investigated. The use of in-line NOLMs is addressed as a general technique for all-optical passive 2R regeneration of return-to-zero data in high speed transmission system with strong dispersion management. By system optimisation, the feasibility of ultra-long single-channel and wavelength-division multiplexed data transmission at bit-rates ³ 40 Gbit s-1 in standard fibre-based systems is demonstrated. The tolerance limits of the results are defined. Thirdly, solutions of the NLS equation with gain and normal dispersion, that describes optical pulse propagation in an amplifying medium, are examined. A self-similar parabolic solution in the energy-containing core of the pulse is matched through Painlevé functions to the linear low-amplitude tails. The analysis provides a full description of the features of high-power pulses generated in an amplifying medium.

The development of reconfigurable antennas is considered to be very promising in modern and future communication systems. Reconfigurable antennas have made use of many reconfiguration techniques that are centred upon switching mechanisms such as p-i-n diodes or MEMS. Other techniques such as optical switches, mechanical structure changing or the ability to change the permeability or permittivity of smart substrate materials have also been used. Reconfigurable antennas have created new horizons for many types of applications especially in Cognitive Radio, Multiple Input Multiple Output Systems, personal communication systems, satellites and many other applications. Cognitive Radio is one of the potential wireless applications that may place severe demands on RF systems designers and particularly antenna designers, when it comes to providing exible radio front-ends capable of achieving the set objectives of the technology. The aim of this work is to investigate possible roles that different categories of reconfigurable antenna can play in cognitive and smart radio. Hence, the research described in this thesis focuses on investigating some novel methods to frequency-reconfigure compact ultra-wideband antennas to work in different bands; this will offer additional filtering to the radio front-end. In the ultra-wideband mode, the antenna senses the spectrum for available bands with less congestion and interference and hence decides on the most suitable part to be reconfigured to, allowing reliable and efficient communication links between the radio devices. Ultra-wideband antenna with reconfigurable integrated notch capability is also demonstrated to provide further enhancement to interference rejection and improve the overall communication link. Furthermore, the design of novel pattern and polarisation reconfigurable antennas will be also investigated to assist Cognitive Radio through spatial rather than frequency means. An ultimate target for this research is to combine different degrees of reconfiguration into one compact, state of the art antenna design that meets the growing demand of cognitive and smart radio devices for more intelligent and multi-functional wireless devices within the personal area network domains and beyond.