Silica membrane reactors for hydrogen production from water gas shift

This paper presents an analysis of membrane reactor (MR) operation and design for enhanced hydrogen production from the water gas shift (WGS) reaction. It has been established that membrane reactors can enhance an equilibrium limited reaction through product separation. However, the detailed effects of reactor setup, membrane configuration and catalyst volume have yet to be properly analysed for this reaction. This paper investigates new ideas for membrane reactors such as the development of new catalytic films, for improved interaction between the reaction and separation zones. Current membrane reactors utilise a packed bed of catalyst within the membrane tube, utilising a large volume of catalyst to drive reaction. This is still inefficient and provides only limited benefits over conventional WGS reactors. New reactor configurations look to optimise the interactive effects between reaction and separation to provide improved operation. In this paper, thin film catalysts were produced using dip coating and spray coating techniques. This technique produced catalyst coatings with good thickness, though the abrasion strength of the dip coated catalyst was quite low. The catalyst was tested in a packed bed reactor for temperature activity at low temperatures and catalyst activity at varying levels of excess water

On the relative complexity of labelled modal tableaux

We investigate the relative complexity of two free-variable labelled modal tableaux(KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM.

Minimum description length, regularisation and multi-modal data

Relationships between clustering, description length, and regularisation are pointed out, motivating the introduction of a cost function with a description length interpretation and the unusual and useful property of having its minimum approximated by the densest mode of a distribution. A simple inverse kinematics example is used to demonstrate that this property can be used to select and learn one branch of a multi-valued mapping. This property is also used to develop a method for setting regularisation parameters according to the scale on which structure is exhibited in the training data. The regularisation technique is demonstrated on two real data sets, a classification problem and a regression problem.

Spatially-multiplexed fibre-optic Bragg grating strain and temperature sensor system based on interferometric wavelength-shift detection

A prototype fibre-optic system using interferometric wavelength-shift detection, capable of multiplexing up to 32 fibre-optic Bragg grating strain and temperature sensors with identical characteristics, has been demonstrated. This system is based on a spatially multiplexed scheme for use with fibre-based low-coherence interferometric sensors, reported previously. Four fibre-optic Bragg grating channels using the same fibre grating have been demonstrated for measuring quasi-static strain and temperature.

Minimum description length, regularisation and multi-modal data

Conventional feed forward Neural Networks have used the sum-of-squares cost function for training. A new cost function is presented here with a description length interpretation based on Rissanen's Minimum Description Length principle. It is a heuristic that has a rough interpretation as the number of data points fit by the model. Not concerned with finding optimal descriptions, the cost function prefers to form minimum descriptions in a naive way for computational convenience. The cost function is called the Naive Description Length cost function. Finding minimum description models will be shown to be closely related to the identification of clusters in the data. As a consequence the minimum of this cost function approximates the most probable mode of the data rather than the sum-of-squares cost function that approximates the mean. The new cost function is shown to provide information about the structure of the data. This is done by inspecting the dependence of the error to the amount of regularisation. This structure provides a method of selecting regularisation parameters as an alternative or supplement to Bayesian methods. The new cost function is tested on a number of multi-valued problems such as a simple inverse kinematics problem. It is also tested on a number of classification and regression problems. The mode-seeking property of this cost function is shown to improve prediction in time series problems. Description length principles are used in a similar fashion to derive a regulariser to control network complexity.

Data transmission by frequency-hopped multilevel frequency shift keying

Spread spectrum systems make use of radio frequency bandwidths which far exceed the minimum bandwidth necessary to transmit the basic message information.These systems are designed to provide satisfactory communication of the message information under difficult transmission conditions. Frequency-hopped multilevel frequency shift keying (FH-MFSK) is one of the many techniques used in spread spectrum systems. It is a combination of frequency hopping and time hopping. In this system many users share a common frequency band using code division multiplexing. Each user is assigned an address and the message is modulated into the address. The receiver, knowing the address, decodes the received signal and extracts the message. This technique is suggested for digital mobile telephony. This thesis is concerned with an investigation of the possibility of utilising FH-MFSK for data transmission corrupted by additive white gaussian noise (A.W.G.N.). Work related to FH-MFSK has so far been mostly confined to its validity, and its performance in the presence of A.W.G.N. has not been reported before. An experimental system was therefore constructed which utilised combined hardware and software and operated under the supervision of a microprocessor system. The experimental system was used to develop an error-rate model for the system under investigation. The performance of FH-MFSK for data transmission was established in the presence of A.W.G.N. and with deleted and delayed sample effects. Its capability for multiuser applications was determined theoretically. The results show that FH-MFSK is a suitable technique for data transmission in the presence of A.W.G.N.