Passive nonlinear pulse shaping in normally dispersive fiber systems

We propose a novel approach to characterize the parabolically-shaped pulses that can be generated from more conventional pulses via nonlinear propagation in cascaded sections of commercially available normally dispersive (ND) fibers. The impact of the initial pulse chirp on the passive pulse reshaping is examined. We furthermore demonstrate that the combination of pulse pre-chirping and propagation in a single ND fiber yields a simple, passive method for generating various temporal waveforms of practical interest.

Planning and implementing safety management systems

This thesis describes a study of the content and applicability of BS8800:1996 Guide to occupational health and safety management systems. The research is presented chronologically, with literature review and content analysis of SMS related guides and standards interwoven with two elements of qualitative empirical work. The first of these was carried out shortly after publication of BS8800 in 1996, a 'before-the-event' investigation of how organisations were intending to approach SMS implementation. The challenges faced by these organisations are reviewed against standard management theory, suggesting that the initial motivation for SMS implementation governs the approach organisations will adopt to guidance such as BS8800. The second phase of empirical work was undertaken in the context of OHSAS 18001, an auditable protocol based on BS8800, which allows organisations to certify their safety management systems. A discussion of the evolution of certifiable safety management system is presented, highlighting the similarities and differences between this, BS8800, SMS and wider management system standards. A case study then reviews the experiences of a catering company that implemented 18001, motivated by the opportunity for certification as a business benefit. The empirical work is used to comment on the guidance provided by BS8800, within its evolved role as guidance organisations may use for implementation of a SMS to be certified according to the specifications of OHSAS 18001. It is suggested that optimal implementation is facilitated by initial status review, continual improvement and the use of annexes, where there are used to make changes to the existing safety management system. This thesis concludes with a discussion of these elements, highlighting pertinent areas within BS8800 where revision or amendment may be appropriate.

The Evaluation of health and safety auditing systems

The specific objective of the research was to evaluate proprietary audit systems. Proprietary audit systems comprise question sets containing approximately 500 questions dealing with selected aspects of health and safety management. Each question is allotted a number of points and an organisation seeks to judge its health and safety performance by the overall score achieved in the audit. Initially it was considered that the evaluation method might involve comparing the proprietary audit scores with other methods of measuring safety performance. However, what appeared to be missing in the first instance was information that organisations could use to compare the contrast question set content against their own needs. A technique was developed using the computer database FileMaker Pro. This enables questions in an audit to be sorted into categories using a process of searching for key words. Questions that are not categorised by word searching can be identified and sorted manually. The process can be completed in 2-3 hours which is considerably faster than manual categorisation of questions which typically takes about 10 days. The technique was used to compare and contrast three proprietary audits: ISRS, CHASE and QSA. Differences and similarities between these audits were successfully identified. It was concluded that in general proprietary audits need to focus to a greater extent on identifying strengths and weaknesses in occupational health and safety management systems. To do this requires the inclusion of more probing questions which consider whether risk control measures are likely to be successful.

The evolution and design of safety management systems

Research in safety management has been inhibited by lack of consensus as to the definitions of the terms with which it is concerned and, in general, the lack of an agreed theoretical framework within which to collate and contrast empirical findings. This thesis sets out definitions of key terms (hazard, risk, accident, incident and safety) and provides a theoretical framework. This framework has been informed by many sources but especially the Management Oversight and Risk Tree (MORT), cybernetics and the Viable System Model (VSM). Fieldwork designs are proposed for the empirical development of an analytical framework and its use to assist study of the development of safety management in organisations.

All-optical passive quasi-regeneration in transoceanic 40 Gbit/s return-to-zero transmission systems with strong dispersion management

A method of all-optical passive quasi-regeneration in transoceanic 40 Gbit/s return-to-zero transmission systems with strong dispersion management was described. The use of in-line nonlinear optical loop mirrors (NOLM) by the method was demonstrated. The quasi-regeneration of signals performed by NOLMs was found to improve the systems's performance.

Passive regeneration in 40 Gbit/s-based WDM dispersion-managed RZ transmission systems by in-line NOLMs

All-optical passive regeneration in 40 Gbit/s-based wavelength-division-multiplexed (WDM) dispersion-managed return-to-zero (RZ) transmission system was discussed. In-line nonlinear optical loop mirrors (NOLM) were used. A feasibility of 300 GHz-spaced two channel unlimited transmission and 150 GHz-spaced two channel 25000 km transmission over the standard fiber were found.

The design of contact lens based ocular drug delivery systems for single-day use:part (I) structural factors, surrogate ophthalmic dyes and passive diffusion studies

The poor retention and efficacy of instilled drops as a means of delivering drugs to the ophthalmic environment is well-recognised. The potential value of contact lenses as a means of ophthalmic drug delivery, and consequent improvement of pre-corneal retention is one obvious route to the development of a more effective ocular delivery system. Furthermore, the increasing availability and clinical use of daily disposable contact lenses provides the platform for the development of viable single-day use drug delivery devices based on existing materials and lenses. In order to provide a basis for the effective design of such devices, a systematic understanding of the factors affecting the interaction of individual drugs with the lens matrix is required. Because a large number of potential structural variables are involved, it is necessary to achieve some rationalisation of the parameters and physicochemical properties (such as molecular weight, charge, partition coefficients) that influence drug interactions. Ophthalmic dyes and structurally related compounds based on the same core structure were used to investigate these various factors and the way in which they can be used in concert to design effective release systems for structurally different drugs. Initial studies of passive diffusional release form a necessary precursor to the investigation of the features of the ocular environment that over-ride this simple behaviour. Commercially available contact lenses of differing structural classifications were used to study factors affecting the uptake of the surrogate actives and their release under 'passive' conditions. The interaction between active and lens material shows considerable and complex structure dependence, which is not simply related to equilibrium water content. The structure of the polymer matrix itself was found to have the dominant controlling influence on active uptake; hydrophobic interaction with the ophthalmic dye playing a major role. © The Author(s) 2014 Reprints and permissions: sagepub.co.uk/journalsPermissions.nav.

InP-based active and passive components for communication systems at 2 μm

Progress on advanced active and passive photonic components that are required for high-speed optical communications over hollow-core photonic bandgap fiber at wavelengths around 2 μm is described in this paper. Single-frequency lasers capable of operating at 10 Gb/s and covering a wide spectral range are realized. A comparison is made between waveguide and surface normal photodiodes with the latter showing good sensitivity up to 15 Gb/s. Passive waveguides, 90° optical hybrids, and arrayed waveguide grating with 100-GHz channel spacing are demonstrated on a large spot-size waveguide platform. Finally, a strong electro-optic effect using the quantum confined Stark effect in strain-balanced multiple quantum wells is demonstrated and used in a Mach-Zehnder modulator capable of operating at 10 Gb/s.

The development of hard real-time systems using a formal approach

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 considered 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. A common problem with Petri net based techniques is the complexity problems associated with generating the reachability graph. This thesis addresses this problem by using concurrency sets to generate a partial reachability graph pertaining to a particular state. These sets also allows each state to be checked for the presence of inconsistencies and hazards. The problem of designing a controller for the high-speed manufacturing system is also considered. The approach adopted mvolves the use of a model-based controller: This type of controller uses the Petri net models developed, thus preservIng the properties already proven of the controller. It. also contains a model of the physical system which is synchronised to the real application to provide timely responses. The various way of forming the synchronization between these processes is considered and the resulting nets are analysed using concurrency sets.

Ultra-long haul optical fibre transmission systems

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. This thesis presents a new technique for the stabilisation of an erbium fibre ring laser that has aUowed propagation of 2.5 Gbit/s solitons to the theoretical limit of ~ 18,000 km. At higher bit rates temporal jitter becomes a significant impairment and to aUow an increase in the aggregate line rate multiplexing in both time and polarisation domains has been proposed. These techniques are shown to be of only limited benefit in practical systems and ultimately some form of soliton transmission control is required. The thesis demonstrates synchronous retiming by amplitude modulation that has allowed 20 Gbit/s data to propagate 125,000 km error free with an amplifier spacing approaching the soliton period. Ultimately the speed of operation of such systems is limited by the electronics used and, thus, a new form of soliton control is demonstrated using all optical techniques to achieve synchronous phase modulation.

A formal methodology for the verification of concurrent systems

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.

An expert system for the development of a health and safety policy/risk assessment in the plastics industry

Health and safety policies may be regarded as the cornerstone for positive prevention of occupational accidents and diseases. The Health and Safety at Work, etc Act 1974 makes it a legal duty for employers to prepare and revise a written statement of a general policy with respect to the health and safety at work of employees as well as the organisation and arrangements for carrying out that policy. Despite their importance and the legal equipment to prepare them, health and safety policies have been found, in a large number of plastics processing companies (particularly small companies), to be poorly prepared, inadequately implemented and monitored. An important cause of these inadequacies is the lack of necessary health and safety knowledge and expertise to prepare, implement and monitor policies. One possible way of remedying this problem is to investigate the feasibility of using computers to develop expert system programs to simulate the health and safety (HS) experts' task of preparing the policies and assisting companies implement and monitor them. Such programs use artificial intelligence (AI) techniques to solve this sort of problems which are heuristic in nature and require symbolic reasoning. Expert systems have been used successfully in a variety of fields such as medicine and engineering. An important phase in the feasibility of development of such systems is the engineering of knowledge which consists of identifying the knowledge required, eliciting, structuring and representing it in an appropriate computer programming language.

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 interaction between the implementation of an occupational health and safety management system and safety culture:a case study in the rubber industry

A prominent theme emerging in Occupational Health and Safety (OSH) is the development of management systems. A range of interventions, according to a prescribed route detailed by one of the management systems, can be introduced into an organisation with some expectation of improved OSH performance. This thesis attempts to identify the key influencing factors that may impact upon the process of introducing interventions, (according to B88800: 1996, Guide to Implementing Occupational Health and Safety Management Systems) into an organisation. To help identify these influencing factors a review of possible models from the sphere of Total Quality Management (TQM) was undertaken and the most suitable TQM model selected for development and use in aSH. By anchoring the aSH model's development in the reviewed literature a range ofeare, medium and low level influencing factors were identified. This model was developed in conjunction with the research data generated within the case study organisation (rubber manufacturer) and applied to the organisation. The key finding was that the implementation of an OSH intervention was dependant upon three broad vectors of influence. These are the Incentive to introduce change within an organisation which refers to the drivers or motivators for OSH. Secondly the Ability within the management team to actually implement the changes refers to aspects, amongst others, such as leadership, commitment and perceptions of OSH. Ability is in turn itself influenced by the environment within which change is being introduced. TItis aspect of Receptivity refers to the history of the plant and characteristics of the workforce. Aspects within Receptivity include workforce profile and organisational policies amongst others. It was found that the TQM model selected and developed for an OSH management system intervention did explain the core influencing factors and their impact upon OSH performance. It was found that within the organisation the results that may have been expected from implementation of BS8800:1996 were not realised. The OSH model highlighted that given the organisation's starting point, a poor appreciation of the human factors of OSH, gave little reward for implementation of an OSH management system. In addition it was found that general organisational culture can effectively suffocate any attempts to generate a proactive safety culture.