Achieving completeness: from constructive set theory to large cardinals

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems. The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

A mathematical model for assembly line balancing model to consider disordering sequence of workstations

Purpose – A binary integer programming model for the simple assembly line balancing problem (SALBP), which is well known as SALBP-1, was formulated more than 30 years ago. Since then, a number of researchers have extended the model for the variants of assembly line balancing problem.The model is still prevalent nowadays mainly because of the lower and upper bounds on task assignment. These properties avoid significant increase of decision variables. The purpose of this paper is to use an example to show that the model may lead to a confusing solution. Design/methodology/approach – The paper provides a remedial constraint set for the model to rectify the disordered sequence problem. Findings – The paper presents proof that the assembly line balancing model formulated by Patterson and Albracht may lead to a confusing solution. Originality/value – No one previously has found that the commonly used model is incorrect.

Variation in Miscanthus chemical composition and implications for conversion by pyrolysis and thermo-chemical bio-refining for fuels and chemicals

Different species and genotypes of Miscanthus were analysed to determine the influence of genotypic variation and harvest time on cell wall composition and the products which may be refined via pyrolysis. Wet chemical, thermo-gravimetric (TGA) and pyrolysis-gas chromatography–mass spectrometry (Py-GC–MS) methods were used to identify the main pyrolysis products and determine the extent to which genotypic differences in cell wall composition influence the range and yield of pyrolysis products. Significant genotypic variation in composition was identified between species and genotypes, and a clear relationship was observed between the biomass composition, yields of pyrolysis products, and the composition of the volatile fraction. Results indicated that genotypes other than the commercially cultivated Miscanthus x giganteus may have greater potential for use in bio-refining of fuels and chemicals and several genotypes were identified as excellent candidates for the generation of genetic mapping families and the breeding of new genotypes with improved conversion quality characteristics.

Continuous chromatographic biochemical reaction-separation

Combined bioreaction separation studies have been carried out for the first time on a moving port semi-continuous counter-current chromatographic reactor-separator (SCCR-S1) consisting of twelve 5.4cm id x 75cm long columns packed with calcium charged cross-linked polystyrene resin (KORELA V07C). The inversion of sucrose to glucose and fructose in the presence of the enzyme invertase and the biochemIcal synthesis of dextran and fructose from sucrose in the presence of the enzyme dextransucrase were investigated. A dilute stream of the appropriate enzyme in deionised water was used as the eluent stream. The effect of switch time, feed concentration, enzyme activity, eluent rate and enzyme to feed concentration ratio on the combined bioreaction-separation were investigated. For the invertase reaction, at 20.77% w/v sucrose feed concentrations complete conversions were achieved. The enzyme usage was 34% of the theoretical enzyme amount needed to convert an equivalent amount of sucrose over the same time period when using a conventional fermenter. The fructose rich (FRP) and glucose rich (GRP) product purities obtained were over 90%. By operating at 35% w/v sucrose feed concentration and employing the product splitting and recycling techniques, the total concentration and purity of the GRP increased from 32% w/v to 4.6% and from 92.3% to 95% respectively. The FRP concentration also increased from 1.82% w/v to 2.88% w/v. A mathematical model was developed for the combined reaction-separation and used to simulate the continuous inversion of sucrose and product separation using the SCCR-S1. In the biosynthesis of dextran studies, 52% conversion of a 2% w/v sucrose concentration feed was achieved. An average dextran molecular weight of 4 millIon was obtained in the dextran rich (DRP) product stream. The enzyme dextransucrase was purifed successfully using centrifugation and ultrafiltration techniques.

Disruption prediction at JET [Joint European Torus]

The sudden loss of the plasma magnetic confinement, known as disruption, is one of the major issue in a nuclear fusion machine as JET (Joint European Torus), Disruptions pose very serious problems to the safety of the machine. The energy stored in the plasma is released to the machine structure in few milliseconds resulting in forces that at JET reach several Mega Newtons. The problem is even more severe in the nuclear fusion power station where the forces are in the order of one hundred Mega Newtons. The events that occur during a disruption are still not well understood even if some mechanisms that can lead to a disruption have been identified and can be used to predict them. Unfortunately it is always a combination of these events that generates a disruption and therefore it is not possible to use simple algorithms to predict it. This thesis analyses the possibility of using neural network algorithms to predict plasma disruptions in real time. This involves the determination of plasma parameters every few milliseconds. A plasma boundary reconstruction algorithm, XLOC, has been developed in collaboration with Dr. D. Ollrien and Dr. J. Ellis capable of determining the plasma wall/distance every 2 milliseconds. The XLOC output has been used to develop a multilayer perceptron network to determine plasma parameters as ?i and q? with which a machine operational space has been experimentally defined. If the limits of this operational space are breached the disruption probability increases considerably. Another approach for prediction disruptions is to use neural network classification methods to define the JET operational space. Two methods have been studied. The first method uses a multilayer perceptron network with softmax activation function for the output layer. This method can be used for classifying the input patterns in various classes. In this case the plasma input patterns have been divided between disrupting and safe patterns, giving the possibility of assigning a disruption probability to every plasma input pattern. The second method determines the novelty of an input pattern by calculating the probability density distribution of successful plasma patterns that have been run at JET. The density distribution is represented as a mixture distribution, and its parameters arc determined using the Expectation-Maximisation method. If the dataset, used to determine the distribution parameters, covers sufficiently well the machine operational space. Then, the patterns flagged as novel can be regarded as patterns belonging to a disrupting plasma. Together with these methods, a network has been designed to predict the vertical forces, that a disruption can cause, in order to avoid that too dangerous plasma configurations are run. This network can be run before the pulse using the pre-programmed plasma configuration or on line becoming a tool that allows to stop dangerous plasma configuration. All these methods have been implemented in real time on a dual Pentium Pro based machine. The Disruption Prediction and Prevention System has shown that internal plasma parameters can be determined on-line with a good accuracy. Also the disruption detection algorithms showed promising results considering the fact that JET is an experimental machine where always new plasma configurations are tested trying to improve its performances.

An examination of adverse drug reaction reporting to the yellow card scheme

Chief pharmacists in 209 hospitals were surveyed about ADR reporting schemes, the priority given to ADR reporting, and attitudes towards ADR reporting. ADR reporting had a low managerial priority. Local reporting schemes were found to be operating in 37% trusts, but there were few plans to start new schemes. Few problems were discovered by the introduction of pharmacist ADR reporting. Chief pharmacists had concerns about the competence of hospital pharmacists to detect ADRs and were in favour of increased training. Lack of time on wards, and recruitment difficulties were suggested as reasons for hospital pharmacist under-reporting. Teaching hospitals appeared to have an increased interest in ADR reporting. A retrospective analysis of reporting trends within the West Midlands region from 1994, showed increasing or stable reporting rates for most sectors of reporters, except for general practitioners (GPs). The West Midlands region maintained higher ADR reporting rates than the rest of the UK. National reporting figures showed a worrying decline in ADR reports from healthcare professionals. Variation was found in the ADR reporting rates of Acute NHS Hospital Trusts and Primary Care Trusts (PCTs) in the West Midlands region, including correlations with prescribing rates and other PCT characteristics. Qualitative research into attitudes of GPs towards the Yellow Card scheme was undertaken. A series of qualitative interviews with GPs discovered barriers and positive motivators for their involvement in the Yellow Card scheme. A grounded theory of GP involvement in the Yellow Card scheme was developed to explain GP behaviour, and which could be used to inform potential solutions to halt declining rates of reporting. Under-reporting of ADRs continues to be a major concern to those who administer spontaneous reporting schemes.

Nations and organizations:a comparative study of English and Indian work-related attitudes and values in matched manufacturing firms

This thesis reports a cross-national study carried out in England and India in an attempt to clarify the association of certain cultural and non-cultural characteristics with people's work-related attitudes and values, and with the structure of their work organizations. Three perspectives are considered to be relevant to the objectives of the study. The contingency perspective suggests that a 'fit' between an organization's context and its structural arrangements will be fundamentally necessary for achieving success and survival. The political economy perspective argues for the determining role of the social and economic structures within which the organization operates. The culturalist perspective looks to cultural attitudes and values of organizational members for an explanation for their organization's structure. The empirical investigation was carried out in three stages in each of the two countries involved by means of surveys of cultural attitudes, work-related attitudes and organizational structures and systems. The cultural surveys suggested that Indian and English people were different from one another with regard to fear of, and respect and obedience to, their seniors, ability to cope with ambiguity, honesty, independence, expression of emotions, fatalism, reserve, and care for others; they were similar with regard to tolerance, friendliness, attitude to change, attitude to law, self-control and self-confidence, and attitude to social differentiation. The second stage of the study, involving the employees of fourteen organizations, found that the English ones perceived themselves to have more power at work, expressed more tolerance for ambiguity, and had different expectations from their job than did the Indian equivalents. The two samples were similar with respect to commitment to their company and trust in their colleagues. The findings also suggested that employees' occupations, education and age had some influences on their work-related attitudes. The final stage of the research was a study of structures, control systems, and reward and punishment policies of the same fourteen organizations which were matched almost completely on their contextual factors across the two countries. English and Indian organizations were found to be similar in terms of centralization, specialization, chief executive's span of control, height and management control strategies. English organizations, however, were far more formalized, spent more time on consultation and their managers delegated authority lower down the hierarchy than Indian organizations. The major finding of the study was the multiple association that cultural, national and contingency factors had with the structural characteristics of the organizations and with the work-related attitudes of their members. On the basis of this finding, a multi-perspective model for understanding organizational structures and systems is proposed in which the contributions made by contingency, political economy and cultural perspectives are recognized and incorporated.

Development of a computerised library system in the construction industry

This thesis examines the ways that libraries have employed computers to assist with housekeeping operations. It considers the relevance of such applications to company libraries in the construction industry, and describes more specifically the development of an integrated cataloguing and loan system. A review of the main features in the development of computerised ordering, cataloguing and circulation control systems shows that fully integrated packages are beginning to be completed, and that some libraries are introducing second generation programs. Cataloguing is the most common activity to be computerised, both at national and company level. Results from a sample of libraries in the construction industry suggest that the only computerised housekeeping system is at Taylor Woodrow. Most of the firms have access to an in-house computer, and some of the libraries, particularly those in firms of consulting engineers, might benefit from computerisation, but there are differing attitudes amongst the librarians towards the computer. A detailed study of the library at Taylor Woodrow resulted in a feasibility report covering all the areas of its activities. One of the main suggestions was the possible use of a computerised loans and cataloguing system. An integrated system to cover these two areas was programmed in Fortran and implemented. This new system provides certain benefits and saves staff time, but at the cost of time on the computer. Some improvements could be made by reprogramming, but it provides a general system for small technical libraries. A general equation comparing costs for manual and computerised operations is progressively simplified to a form where the annual saving from the computerised system is expressed in terms of staff and computer costs and the size of the library. This equation gives any library an indication of the savings or extra cost which would result from using the computerised system.

Theoretic analysis of IEEE 802.11 rate adaptation algorithm SampleRate

In this paper we investigate rate adaptation algorithm SampleRate, which spends a fixed time on bit-rates other than the currently measured best bit-rate. A simple but effective analytic model is proposed to study the steady-state behavior of the algorithm. Impacts of link condition, channel congestion and multi-rate retry on the algorithm performance are modeled. Simulations validate the model. It is also observed there is still a large performance gap between SampleRate and optimal scheme in case of high frame collision probability.

Nonlinear penalties in dynamic optical networks employing autonomous transponders

We report for the first time on the limitations in the operational power range of network traffic in the presence of heterogeneous 28-Gbaud polarization-multiplexed quadrature amplitude modulation (PM-mQAM) channels in a nine-channel dynamic optical mesh network. In particular, we demonstrate that transponders which autonomously select a modulation order and launch power to optimize their own performance will have a severe impact on copropagating network traffic. Our results also suggest that altruistic transponder operation may offer even lower penalties than fixed launch power operation.

Impact of power allocation strategies in long-haul few-mode fiber transmission systems

We report for the first time on the limitations in the operational power range of few-mode fiber based transmission systems, employing 28Gbaud quadrature phase shift keying transponders, over 1,600km. It is demonstrated that if an additional mode is used on a preexisting few-mode transmission link, and allowed to optimize its performance, it will have a significant impact on the pre-existing mode. In particular, we show that for low mode coupling strengths (weak coupling regime), the newly added variable power mode does not considerably impact the fixed power existing mode, with performance penalties less than 2dB (in Q-factor). On the other hand, as mode coupling strength is increased (strong coupling regime), the individual launch power optimization significantly degrades the system performance, with penalties up to ∼6dB. Our results further suggest that mutual power optimization, of both fixed power and variable power modes, reduces power allocation related penalties to less than 3dB, for any given coupling strength, for both high and low differential mode delays. © 2013 Optical Society of America.

Breakage model development and application with CFD for predicting breakage of whey protein precipitate particles

Particle breakage due to fluid flow through various geometries can have a major influence on the performance of particle/fluid processes and on the product quality characteristics of particle/fluid products. In this study, whey protein precipitate dispersions were used as a case study to investigate the effect of flow intensity and exposure time on the breakage of these precipitate particles. Computational fluid dynamic (CFD) simulations were performed to evaluate the turbulent eddy dissipation rate (TED) and associated exposure time along various flow geometries. The focus of this work is on the predictive modelling of particle breakage in particle/fluid systems. A number of breakage models were developed to relate TED and exposure time to particle breakage. The suitability of these breakage models was evaluated for their ability to predict the experimentally determined breakage of the whey protein precipitate particles. A "power-law threshold" breakage model was found to provide a satisfactory capability for predicting the breakage of the whey protein precipitate particles. The whey protein precipitate dispersions were propelled through a number of different geometries such as bends, tees and elbows, and the model accurately predicted the mean particle size attained after flow through these geometries. © 2005 Elsevier Ltd. All rights reserved.

An Optimal Distributed Algorithm for All-Pairs Shortest-Path

In this paper the network problem of determining all-pairs shortest-path is examined. A distributed algorithm which runs in O(n) time on a network of n nodes is presented. The number of messages of the algorithm is O(e+n log n) where e is the number of communication links of the network. We prove that this algorithm is time optimal.

A comparison of denoising methods for X-ray fluoroscopic images

Fluoroscopic images exhibit severe signal-dependent quantum noise, due to the reduced X-ray dose involved in image formation, that is generally modelled as Poisson-distributed. However, image gray-level transformations, commonly applied by fluoroscopic device to enhance contrast, modify the noise statistics and the relationship between image noise variance and expected pixel intensity. Image denoising is essential to improve quality of fluoroscopic images and their clinical information content. Simple average filters are commonly employed in real-time processing, but they tend to blur edges and details. An extensive comparison of advanced denoising algorithms specifically designed for both signal-dependent noise (AAS, BM3Dc, HHM, TLS) and independent additive noise (AV, BM3D, K-SVD) was presented. Simulated test images degraded by various levels of Poisson quantum noise and real clinical fluoroscopic images were considered. Typical gray-level transformations (e.g. white compression) were also applied in order to evaluate their effect on the denoising algorithms. Performances of the algorithms were evaluated in terms of peak-signal-to-noise ratio (PSNR), signal-to-noise ratio (SNR), mean square error (MSE), structural similarity index (SSIM) and computational time. On average, the filters designed for signal-dependent noise provided better image restorations than those assuming additive white Gaussian noise (AWGN). Collaborative denoising strategy was found to be the most effective in denoising of both simulated and real data, also in the presence of image gray-level transformations. White compression, by inherently reducing the greater noise variance of brighter pixels, appeared to support denoising algorithms in performing more effectively. © 2012 Elsevier Ltd. All rights reserved.

Application of staged O2 feeding in the oxidative dehydrogenation of ethylbenzene to styrene over Al2O3 and P2O5/SiO2 catalysts

Drastic improvements in styrene yield and selectivity were achieved in the oxidative dehydrogenation of ethylbenzene by staged feeding of O2. Six isothermal packed bed reactors were used in series with intermediate feeding of O2, while all EB was fed to the first reactor, diluted with helium or CO2 (1:5 molar ratio), resulting in total O2:EB molar feed ratios of 0.2-0.6. The two catalyst samples, γ-Al 2O3 and 5P/SiO2, that were applied both benefitted from this operation mode. The ethylbenzene conversion per stage and the selectivity to styrene were significantly improved. The production of COX was effectively reduced, while the selectivity to other side products remained unchanged. Compared with co-feeding at a total O 2:EB molar feed ratio of 0.6, by staged feeding the EB conversion (+15% points for both catalysts), ST selectivity (+4% points for both samples) and O2 (ST) selectivity (+9% points for γ-Al2O 3 and +17% points for 5P/SiO2) all improved. The ethylbenzene conversion over 5P/SiO2 can be increased from 18% to 70% by increasing the number of reactors from 1 to 6 with each reactor a total amount of O2 of 0.1 without the loss of ST selectivity (93%). For 5P/SiO2 a higher temperature (500 C vs. 450 C for Al 2O3) is required. Essentially more catalyst (5P/SiO 2) was required to achieve full O2 conversion in each reactor. Staged feeding of O2 does not eliminate the existing issues of the catalyst stability both in time-on stream and as a function of the number of catalyst regenerations (5P/SiO2), or the relatively moderate performance (relatively low styrene selectivity for γ-Al2O 3). © 2014 Elsevier B.V.