The properties of advanced alumimium alloy systems

2XXX and 7XXX series aluminium alloys have been the accepted materials for airframe construction for many decades. However, only minor improvements in properties have been possible by the development of these alloys since the early 1970's. The constant need to reduce weight in aircraft has therefore led to a resurgence in the research for higher performance aluminium alloys. The reason for this investigation was to evaluate possible alternatives for the existing conventional aluminium alloy 2014 for aircraft wheel applications. Three new technologies in alloy development were considered: a metal matrix composite, an aluminium-lithium alloy and a powder metallurgical alloy. The basic mechanical properties of these advanced materials have already been established to an extent, but their fatigue behaviour has yet to be fully understood. The purpose of this work was to investigate the fatigue properties of the materials concerned, in both air and an aerated 3.5% NaCl solution, and compare these properties to 2014-T6. As well as the basic mechanical properties, fatigue crack propagation data is presented for all of the materials concerned. Additionally, fatigue crack initiation data is presented for the aluminium-lithium alloy and 2014. The D.C. electrical potential method was used to monitor crack growth. Of the materials investigated, the most promising was the aluminium-lithium alloy. However, short transverse properties need to be increased and the commercial cost of the material needs to be decreased before it can be considered as a direct replacement for 2014 for aircraft structural applications. It was considered that the cost of the powder metallurgical alloy would limit its further use. The metal matrix composite material proved to be unsuitable for most ambient temperature applications

A predictive in vitro model of the impact of drugs with anticholinergic properties on human neuronal and astrocytic systems

The link between off-target anticholinergic effects of medications and acute cognitive impairment in older adults requires urgent investigation. We aimed to determine whether a relevant in vitro model may aid the identification of anticholinergic responses to drugs and the prediction of anticholinergic risk during polypharmacy. In this preliminary study we employed a co-culture of human-derived neurons and astrocytes (NT2.N/A) derived from the NT2 cell line. NT2.N/A cells possess much of the functionality of mature neurons and astrocytes, key cholinergic phenotypic markers and muscarinic acetylcholine receptors (mAChRs). The cholinergic response of NT2 astrocytes to the mAChR agonist oxotremorine was examined using the fluorescent dye fluo-4 to quantitate increases in intracellular calcium [Ca2+]i. Inhibition of this response by drugs classified as severe (dicycloverine, amitriptyline), moderate (cyclobenzaprine) and possible (cimetidine) on the Anticholinergic Cognitive Burden (ACB) scale, was examined after exposure to individual and pairs of compounds. Individually, dicycloverine had the most significant effect regarding inhibition of the astrocytic cholinergic response to oxotremorine, followed by amitriptyline then cyclobenzaprine and cimetidine, in agreement with the ACB scale. In combination, dicycloverine with cyclobenzaprine had the most significant effect, followed by dicycloverine with amitriptyline. The order of potency of the drugs in combination frequently disagreed with predicted ACB scores derived from summation of the individual drug scores, suggesting current scales may underestimate the effect of polypharmacy. Overall, this NT2.N/A model may be appropriate for further investigation of adverse anticholinergic effects of multiple medications, in order to inform clinical choices of suitable drug use in the elderly.

Robust control of nonlinear stochastic systems by modelling conditional distributions of control signals

We introduce a novel inversion-based neuro-controller for solving control problems involving uncertain nonlinear systems that could also compensate for multi-valued systems. The approach uses recent developments in neural networks, especially in the context of modelling statistical distributions, which are applied to forward and inverse plant models. Provided that certain conditions are met, an estimate of the intrinsic uncertainty for the outputs of neural networks can be obtained using the statistical properties of networks. More generally, multicomponent distributions can be modelled by the mixture density network. In this work a novel robust inverse control approach is obtained based on importance sampling from these distributions. This importance sampling provides a structured and principled approach to constrain the complexity of the search space for the ideal control law. The performance of the new algorithm is illustrated through simulations with example systems.

The influence of formulation components on the aerosolisation properties of spray-dried powders

Dry powders suitable for inhalation containing β-estradiol, leucine as a dispersibility enhancer and lactose as a bulking agent were prepared by spray-drying from aqueous ethanol formulations. The influence of formulation components on the characteristics of the resultant spray-dried powders was examined through the use of a range of ethanol concentrations (10-50% v/v) in the solvent used to prepare the initial formulations. Additionally, the amount of leucine required to act as a dispersibility enhancer was investigated by varying the amount of leucine added to the formulation prior to spray-drying. Following spray-drying, resultant powders were characterised using scanning electron microscopy, laser diffraction and tapped density measurements, and the aerosolisation performance determined using Twin Stage Impinger and Andersen Cascade Impactor analysis. We demonstrate that selection of appropriate solvent systems and leucine concentration allows the preparation of spray-dried powders that display enhanced aerosolisation properties, and would be predicted to exhibit high deposition in the lower regions of the respiratory tract. © 2005 Elsevier B.V. All rights reserved.

Dispersion managed soliton systems

Dispersion managed solitons have been discovered to have some remarkable properties which indicate an outstanding opportunity for exploitation in transmission systems. This paper will review and interpret these discoveries and discuss the potential for WDM of these solitons for both long distance systems and for the upgrade of the installed fibre base.

Properties of sparse random matrices over finite fields

Typical properties of sparse random matrices over finite (Galois) fields are studied, in the limit of large matrices, using techniques from the physics of disordered systems. For the case of a finite field GF(q) with prime order q, we present results for the average kernel dimension, average dimension of the eigenvector spaces and the distribution of the eigenvalues. The number of matrices for a given distribution of entries is also calculated for the general case. The significance of these results to error-correcting codes and random graphs is also discussed.

Fibre-based devices for next generation photonics communication systems

The future broadband information network will undoubtedly integrate the mobility and flexibility of wireless access systems with the huge bandwidth capacity of photonics solutions to enable a communication system capable of handling the anticipated demand for interactive services. Towards wide coverage and low cost implementations of such broadband wireless photonics communication networks, various aspects of the enabling technologies are continuingly generating intense research interest. Among the core technologies, the optical generation and distribution of radio frequency signals over fibres, and the fibre optic signal processing of optical and radio frequency signals, have been the subjects for study in this thesis. Based on the intrinsic properties of single-mode optical fibres, and in conjunction with the concepts of optical fibre delay line filters and fibre Bragg gratings, a number of novel fibre-based devices, potentially suitable for applications in the future wireless photonics communication systems, have been realised. Special single-mode fibres, namely, the high birefringence (Hi-Bi) fibre and the Er/Yb doped fibre have been employed so as to exploit their merits to achieve practical and cost-effective all-fibre architectures. A number of fibre-based complex signal processors for optical and radio frequencies using novel Hi-Bi fibre delay line filter architectures have been illustrated. In particular, operations such as multichannel flattop bandpass filtering, simultaneous complementary outputs and bidirectional nonreciprocal wavelength interleaving, have been demonstrated. The proposed configurations featured greatly reduced environmental sensitivity typical of coherent fibre delay line filter schemes, reconfigurable transfer functions, negligible chromatic dispersions, and ease of implementation, not easily achievable based on other techniques. A number of unique fibre grating devices for signal filtering and fibre laser applications have been realised. The concept of the superimposed fibre Bragg gratings has been extended to non-uniform grating structures and into Hi-Bi fibres to achieve highly useful grating devices such as overwritten phase-shifted fibre grating structure and widely/narrowly spaced polarization-discriminating filters that are not limited by the intrinsic fibre properties. In terms of the-fibre-based optical millimetre wave transmitters, unique approaches based on fibre laser configurations have been proposed and demonstrated. The ability of the dual-mode distributed feedback (DFB) fibre lasers to generate high spectral purity, narrow linewidth heterodyne signals without complex feedback mechanisms has been illustrated. A novel co-located dual DFB fibre laser configuration, based on the proposed superimposed phase-shifted fibre grating structure, has been further realised with highly desired operation characteristics without the need for costly high frequency synthesizers and complex feedback controls. Lastly, a novel cavity mode condition monitoring and optimisation scheme for short length, linear-cavity fibre lasers has been proposed and achieved. Based on the concept and simplicity of the superimposed fibre laser cavities structure, in conjunction with feedback controls, enhanced output performances from the fibre lasers have been achieved. The importance of such cavity mode assessment and feedback control for optimised fibre laser output performance has been illustrated.

A methodology for analysis and control of discrete event dynamic systems

The rapid developments in computer technology have resulted in a widespread use of discrete event dynamic systems (DEDSs). This type of system is complex because it exhibits properties such as concurrency, conflict and non-determinism. It is therefore important to model and analyse such systems before implementation to ensure safe, deadlock free and optimal operation. This thesis investigates current modelling techniques and describes Petri net theory in more detail. It reviews top down, bottom up and hybrid Petri net synthesis techniques that are used to model large systems and introduces on object oriented methodology to enable modelling of larger and more complex systems. Designs obtained by this methodology are modular, easy to understand and allow re-use of designs. Control is the next logical step in the design process. This thesis reviews recent developments in control DEDSs and investigates the use of Petri nets in the design of supervisory controllers. The scheduling of exclusive use of resources is investigated and an efficient Petri net based scheduling algorithm is designed and a re-configurable controller is proposed. To enable the analysis and control of large and complex DEDSs, an object oriented C++ software tool kit was developed and used to implement a Petri net analysis tool, Petri net scheduling and control algorithms. Finally, the methodology was applied to two industrial DEDSs: a prototype can sorting machine developed by Eurotherm Controls Ltd., and a semiconductor testing plant belonging to SGS Thomson Microelectronics Ltd.

Sulphide ore minerals:surface chemical properties

The surfaces of iron-containing sulphide minerals were oxidised by a range of inorganic oxidants, and the resultant surface alteration products studied using various spectroscopic techniques. The characterisation of surface oxidation is relevant to the alteration of ores in nature and their behaviour during flotation and leaching, of importance to the metallurgical industry. The sulphides investigated included pyrite (FeS2), hexagonal pyrrhotine (Fe9S10), monoclinic pyrrhotine (Fe7Se), violarite (FeNi2S4), pentlandite ((FeiNi)9Se), chalcopyrite (CuFeS2) and arsenopyrite (FeAsS). The surfaces were oxidised by various methods including acid (sulphuric), alkali (ammonium hydroxide), hydrogen peroxide, steam, electrochemical and air/oxygen (in a low-temperature (150ºC) furnace), The surfaces were examined using surface sensitive chemical spectroscopic methods including x-ray photoelectron spectroscopy (ms), Auger electron spectroscopy (LES) and conversion electron Mössbauer spectroscopy (CEKS). Physical characterisation of the surfaces was undertaken using scanning electron microscopy (SM), spectral reflectance measurements and optical microscopy. Bulk characterisation of the sulphide minerals was undertaken using x-ray diffraction and electron microprobe techniques. Observed phases suggested to form in most of the sulphide surfaces include Fe204, Fe1-x0, Fe202, Fe00H, Fe(OH)3, with iron II & III oxy-sulphates. The iron sulphides show variable extents of oxidation, indicating pyrite to be the most stable. Violarite shows stability to oxidation, suggested to result from both its stable spinel crystal structure, and from the rapid formation of sulphur at the surface protecting the sub-surface from further oxidation. The phenomenon of sub-surface enrichment (in metals), forming secondary sulphides, is exhibited by pentlandite and chalcopyrite, forming violarite and copper sulphides respectively. The consequences of this enrichment with regard to processing and leaching are discussed. Arsenopyrite, often a hindrance in ore processing, exhibits the formation of arsenic compounds at the surface, the dissolution of which is discussed in view of the possible environmental hazard caused by the local pollution of water systems. The results obtained allow a characterisation of the sulphides in terms of their relative stability to oxidation, and an order of stability of the sulphide surfaces is proposed. Models were constructed to explain the chemical compositions of the surfaces, and the inter-relationships between the phases determined at the surface and in the sub-surface. These were compared to the thermo-chemically predicted phases shown in Eh/pH and partial pressure diagrams! The results are discussed, both in terms of the mineralogy and geochemistry of natural ores, and the implications for extraction and processing of these ore minerals.

The design of robust protocols for distributed real-time systems

Modern distributed control systems comprise of a set of processors which are interconnected using a suitable communication network. For use in real-time control environments, such systems must be deterministic and generate specified responses within critical timing constraints. Also, they should be sufficiently robust to survive predictable events such as communication or processor faults. This thesis considers the problem of coordinating and synchronizing a distributed real-time control system under normal and abnormal conditions. Distributed control systems need to periodically coordinate the actions of several autonomous sites. Often the type of coordination required is the all or nothing property of an atomic action. Atomic commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed which is suitable for real-time applications. The thesis also addresses the problem of ensuring that atomicity is provided even if processor or communication failures occur. Previous work has considered the design of atomic commit protocols for use in non time critical distributed database systems. However, in a distributed real-time control system a fault must not allow stringent timing constraints to be violated. This thesis proposes commit protocols using synchronous communications which can be made resilient to a single processor or communication failure and still satisfy deadlines. Previous formal models used to design commit protocols have had adequate state coverability but have omitted timing properties. They also assumed that sites communicated asynchronously and omitted the communications from the model. Timed Petri nets are used in this thesis to specify and design the proposed protocols which are analysed for consistency and timeliness. Also the communication system is mcxielled within the Petri net specifications so that communication failures can be included in the analysis. Analysis of the Timed Petri net and the associated reachability tree is used to show the proposed protocols always terminate consistently and satisfy timing constraints. Finally the applications of this work are described. Two different types of applications are considered, real-time databases and real-time control systems. It is shown that it may be advantageous to use synchronous communications in distributed database systems, especially if predictable response times are required. Emphasis is given to the application of the developed commit protocols to real-time control systems. Using the same analysis techniques as those used for the design of the protocols it can be shown that the overall system performs as expected both functionally and temporally.

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.

Dark solitons in optical communication systems

This thesis presents experimental and theoretical work on the use of dark optical solitons as data carriers in communications systems. The background chapters provide an introduction to nonlinear optics, and to dark solitons, described as intensity dips in a bright background, with an asymmetrical phase profile. The motivation for the work is explained, considering both the superior stability of dark solitons and the need for a soliton solution suitable for the normal, rather than the anomalous (bright soliton) dispersion regime. The first chapters present two generation techniques, producing packets of dark solitons via bright pulse interaction, and generating continuous trains of dark pulses using a fibre laser. The latter were not dark solitons, but were suitable for imposition of the required phase shift by virtue of their extreme stability. The later chapters focus on the propagation and control of dark solitons. Their response to periodic loss and gain is shown to result in the exponential growth of spectral sidebands. This may be suppressed by reducing the periodicity of the loss/gain cycle or using periodic filtering. A general study of the response of dark solitons to spectral filtering is undertaken, showing dramatic differences in the behaviour of black and 99.9% grey solitons. The importance of this result is highlighted by simulations of propagation in noisy systems, where the timing jitter resulting from random noise is actually enhanced by filtering. The results of using sinusoidal phase modulation to control pulse position are presented, showing that the control is at the expense of serious modulation of the bright background. It is concluded that in almost every case, dark and bright solitons have very different properties, and to continue to make comparisons would not be so productive as to develop a deeper understanding of the interactions between the dark soliton and its bright background.

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.

Identification of nonlinear systems by correlation using pseudorandom signals

This thesis is concerned with the measurement of the characteristics of nonlinear systems by crosscorrelation, using pseudorandom input signals based on m sequences. The systems are characterised by Volterra series, and analytical expressions relating the rth order Volterra kernel to r-dimensional crosscorrelation measurements are derived. It is shown that the two-dimensional crosscorrelation measurements are related to the corresponding second order kernel values by a set of equations which may be structured into a number of independent subsets. The m sequence properties determine how the maximum order of the subsets for off-diagonal values is related to the upper bound of the arguments for nonzero kernel values. The upper bound of the arguments is used as a performance index, and the performance of antisymmetric pseudorandom binary, ternary and quinary signals is investigated. The performance indices obtained above are small in relation to the periods of the corresponding signals. To achieve higher performance with ternary signals, a method is proposed for combining the estimates of the second order kernel values so that the effects of some of the undesirable nonzero values in the fourth order autocorrelation function of the input signal are removed. The identification of the dynamics of two-input, single-output systems with multiplicative nonlinearity is investigated. It is shown that the characteristics of such a system may be determined by crosscorrelation experiments using phase-shifted versions of a common signal as inputs. The effects of nonlinearities on the estimates of system weighting functions obtained by crosscorrelation are also investigated. Results obtained by correlation testing of an industrial process are presented, and the differences between theoretical and experimental results discussed for this case;

Cryptographic techniques for personal communication systems security

The advent of personal communication systems within the last decade has depended upon the utilization of advanced digital schemes for source and channel coding and for modulation. The inherent digital nature of the communications processing has allowed the convenient incorporation of cryptographic techniques to implement security in these communications systems. There are various security requirements, of both the service provider and the mobile subscriber, which may be provided for in a personal communications system. Such security provisions include the privacy of user data, the authentication of communicating parties, the provision for data integrity, and the provision for both location confidentiality and party anonymity. This thesis is concerned with an investigation of the private-key and public-key cryptographic techniques pertinent to the security requirements of personal communication systems and an analysis of the security provisions of Second-Generation personal communication systems is presented. Particular attention has been paid to the properties of the cryptographic protocols which have been employed in current Second-Generation systems. It has been found that certain security-related protocols implemented in the Second-Generation systems have specific weaknesses. A theoretical evaluation of these protocols has been performed using formal analysis techniques and certain assumptions made during the development of the systems are shown to contribute to the security weaknesses. Various attack scenarios which exploit these protocol weaknesses are presented. The Fiat-Sharmir zero-knowledge cryptosystem is presented as an example of how asymmetric algorithm cryptography may be employed as part of an improved security solution. Various modifications to this cryptosystem have been evaluated and their critical parameters are shown to be capable of being optimized to suit a particular applications. The implementation of such a system using current smart card technology has been evaluated.