Time complexity and convergence analysis of domain theoretic Picard method

We present an implementation of the domain-theoretic Picard method for solving initial value problems (IVPs) introduced by Edalat and Pattinson [1]. Compared to Edalat and Pattinson's implementation, our algorithm uses a more efficient arithmetic based on an arbitrary precision floating-point library. Despite the additional overestimations due to floating-point rounding, we obtain a similar bound on the convergence rate of the produced approximations. Moreover, our convergence analysis is detailed enough to allow a static optimisation in the growth of the precision used in successive Picard iterations. Such optimisation greatly improves the efficiency of the solving process. Although a similar optimisation could be performed dynamically without our analysis, a static one gives us a significant advantage: we are able to predict the time it will take the solver to obtain an approximation of a certain (arbitrarily high) quality.

Technical and economic simulation of biomass pyrolysis processes for fuels and electricity

There is considerable concern over the increased effect of fossil fuel usage on the environment and this concern has resulted in an effort to find alternative, environmentally friendly energy sources. Biomass is an available alternative resource which may be converted by flash pyrolysis to produce a crude liquid product that can be used directly to substitute for conventional fossil fuels or upgraded to a higher quality fuel. Both the crude and upgraded products may be utilised for power generation. A computer program, BLUNT, has been developed to model the flash pyrolysis of biomass with subsequent upgrading, refining or power production. The program assesses and compares the economic and technical opportunities for biomass thermochemical conversion on the same basis. BLUNT works by building up a selected processing route from a number of process steps through which the material passes sequentially. Each process step has a step model that calculates the mass and energy balances, the utilities usage and the capital cost for that step of the process. The results of the step models are combined to determine the performance of the whole conversion route. Sample results from the modelling are presented in this thesis. Due to the large number of possible combinations of feeds, conversion processes, products and sensitivity analyses a complete set of results is impractical to present in a single publication. Variation of the production costs for the available products have been illustrated based on the cost of a wood feedstock. The effect of selected macroeconomic factors on the production costs of bio-diesel and gasoline are also given.

Investigation of some critical aspects of on-line surface measurement by a wavelength-division-multiplexing technique

Some critical aspects of a new kind of on-line measurement technique for micro and nanoscale surface measurements are described. This attempts to use spatial light-wave scanning to replace mechanical stylus scanning, and an optical fibre interferometer to replace optically bulky interferometers for measuring the surfaces. The basic principle is based on measuring the phase shift of a reflected optical signal. Wavelength-division-multiplexing and fibre Bragg grating techniques are used to carry out wavelength-to-field transformation and phase-to-depth detection, allowing a large dynamic measurement ratio (range/resolution) and high signal-to-noise ratio with remote access. In effect the paper consists of two parts: multiplexed fibre interferometry and remote on-machine surface detection sensor (an optical dispersive probe). This paper aims to investigate the metrology properties of a multiplexed fibre interferometer and to verify its feasibility by both theoretical and experimental studies. Two types of optical probes, using a dispersive prism and a blazed grating, respectively, are introduced to realize wavelength-to-spatial scanning.

Fatigue of commercial aluminium alloys

Fatigue crack propagation has been observed for a number of commercial aluminium alloys. Comparable data was obtained for a variety of crack and specimen geometries over a range of crack lengths for a given alloy. Where crack propagation only was of interest the initiation event has been excluded by pre-cracking the specimen using a fin of material adjacent to the crack face. By this method a controlled defect size is introduced in to the specimen. By modification of the D.C. potential drop method it has been shown possible to measure the growth of cracking from 0.12mm by this method. Crack growth from defects greater than 0.6mm have been shown to give conventional crack propagation deduced by principle of similitude. Fatigue fracture surface analysis has been conducted for cracking from both free surfaces and from blunt notches. A `quasi cleavage' feature has been identified and is shown to be prominent when the fatigue stress intensity range is below 10 MNm-3/2.

The effects of metallurgical variables on the mechanical properties of high-chromium cast irons

The.use of high-chromium cast irons for abrasive wear resistance is restricted due to their poor fracture toughness properties. An.attempt was made to improve the fracture characteristics by altering the distribution, size and.shape of the eutectic carbide phase without sacrificing their excellent wear resistance. This was achieved by additions of molybdenum or tungsten followed by high temperature heat treatments. The absence of these alloying elements or replacement of them with vanadium or manganese did not show any significant effect and the continuous eutectic carbide morphology remained the same after application of high temperature heat treatments. The fracture characteristics of the alloys with these metallurgical variables were evaluated for both sharp-cracks and blunt notches. The results were used in conjunction with metallographic and fractographic observations to establish possible failure mechanisms. The fracture mechanism of the austenitic alloys was found to be controlled not only by the volume percent but was also greatly influenced by the size and distribution of the eutectic carbides. On the other hand, the fracture mechanism of martensitic alloys was independent of the eutectic carbide morphology. The uniformity of the secondary carbide precipitation during hardening heat treatments was shown to be a reason for consistant fracture toughness results being obtained with this series of alloys although their eutectic carbide morphologies were different. The collected data were applied to a model which incorporated the microstructural parameters and correlated them with the experimentally obtained valid stress intensity factors. The stress intensity coefficients of different short-bar fracture toughness test specimens were evaluated from analytical and experimental compliance studies. The.validity and applicability of this non-standard testing technique for determination of the fracture toughness of high-chromium cast irons were investigated. The results obtained correlated well with the valid results obtained from standard fracture toughness tests.

Autonomic dysfunction and systemic oxidative stress associated with glaucomatous optic neuropathy

There were four principal sections to the work: 1. Investigation of ocular and systemic vascular risk factors in POAG. The principal findings of this work were: a). Glaucoma patients exhibit an anticipatory reaction to the physical stress, similar to subjects at risk for cardiovascular diseases; a blunted BP response and a reduction in ONH blood flow in response to cold provocation was also recorded. b). Silent myocardial ischaemic episodes occurred during peaks in systemic BP and HR. c). Independent of a positive history for cardiovascular diseases, patients suffering from POAG demonstrate a blunt circadian rhythm of the ANS. 2. Assessment of the relationship between vascular and systemic vascular risk factors in GON. The principal findings of this work were: a). POAG patients demonstrate a high sympathetic tonus over a 24-h period. b). POAG patients with lower OBF demonstrate both 24-h systemic BP and HRV abnormalities. c). OBF alterations observed in some glaucoma patients could be either primary or secondary to systemic haemodynamic disturbances and not a consequence of ONH damage. 3. Assessment of the level of systemic anti-oxidant defence in POAG patients. The principal finding of this work was: Patients suffering from POAG demonstrated significantly lower GSH and t-GSH levels than normal controls. 4. Investigation of the effect of treatment with latanoprost 0.005% on visual function and OBF. The findings of this work were: a). Treatment with latanoprost 0.005% resulted in a significant decrease in IOP and increase in OPP. VF damage progression has also been stopped. b). Treatment with latanoprost 0.005% resulted in a significant increase in the OBF parameters measured at the ONH and peripapillary retina levels. Finally, the importance of a clear protocol for managing new POAG cases is highlighted and a clinical conduit is proposed.

Investigation of some critical aspects of on-line surface measurement by a wavelength-division-multiplexing technique

Some critical aspects of a new kind of on-line measurement technique for micro and nanoscale surface measurements are described. This attempts to use spatial light-wave scanning to replace mechanical stylus scanning, and an optical fibre interferometer to replace optically bulky interferometers for measuring the surfaces. The basic principle is based on measuring the phase shift of a reflected optical signal. Wavelength-division-multiplexing and fibre Bragg grating techniques are used to carry out wavelength-to-field transformation and phase-to-depth detection, allowing a large dynamic measurement ratio (range/resolution) and high signal-to-noise ratio with remote access. In effect the paper consists of two parts: multiplexed fibre interferometry and remote on-machine surface detection sensor (an optical dispersive probe). This paper aims to investigate the metrology properties of a multiplexed fibre interferometer and to verify its feasibility by both theoretical and experimental studies. Two types of optical probes, using a dispersive prism and a blazed grating, respectively, are introduced to realize wavelength-to-spatial scanning.

ProxiMAX Randomisation:a new technology for non-degenerate saturation mutagenesis of contiguous codons

ProxiMAX randomisation achieves saturation mutagenesis of contiguous codons without degeneracy or bias. Offering an alternative to trinucleotide phosphoramidite chemistry, it uses nothing more sophisticated than unmodified oligonucleotides and standard molecular biology reagents and as such, requires no specialised chemistry, reagents nor equipment. When particular residues are known to affect protein activity/specificity, their combinatorial replacement with all 20 amino acids, or a subset thereof, can provide a rapid route to generating proteins with desirable characteristics. Conventionally, saturation mutagenesis replaced key codons with degenerate ones. Although simple to perform, that procedure resulted in unnecessarily large libraries, termination codons and inherent uneven amino acid representation. ProxiMAX randomisation is an enzyme-based technique that can encode unbiased representation of all or selected amino acids or else can provide required codons in pre-defined ratios. Each saturated position can be defined independently of the others. ProxiMAX randomisation is achieved via saturation cycling: an iterative process comprising blunt end ligation, amplification and digestion with a Type IIS restriction enzyme. We demonstrate both unbiased saturation of a short 6-mer peptide and saturation of a hypervariable region of a scfv antibody fragment, where 11 contiguous codons are saturated with selected codons, in pre-defined ratios. As such, ProxiMAX randomisation is particularly relevant to antibody engineering. The development of ProxiMAX randomisation from concept to reality is described.

Cleavage initiation in the intercritically reheated coarse-grained heat-affected zone:Part I. Fractographic evidence

Tensile, crack opening displacement (COD), blunt notch, and Charpy impact tests were used to investigate cleavage initiation in the intercritically reheated coarse-grained heat-affected zone (IC CG HAZ) of three steels. The steels were chosen to provide different distributions and morphologies of MA (high-carbon martensite with some retained austenite) particles within the IC CG HAZ structure. Observation of minimum impact toughness values for the IC CG HAZ was found to be associated with a particular microstructure containing a near-connected grain boundary network of blocky MA particles, the MA particles being significantly harder than the internal grain microstructure. The initiation mechanism for this structure was determined to be from a combination of an overlap of residual transformational induced stress fields, due to the formation of the MA particles, between two closely spaced particles and stress concentration effects resulting from debonding of the particles. © 1994 The Minerals, Metals and Materials Society, and ASM International.

Cleavage initiation in the intercritically reheated coarse-grained heat affected zone:Part II. Failure criteria and statistical effects

In part 1 of this article, cleavage initiation in the intercritically reheated coarse-grained heat affected zone (IC CG HAZ) of high-strength low-alloy (HSLA) steels was determined to occur between two closely spaced blocky MA particles. Blunt notch, crack tip opening displacement (CTOD), and precracked Charpy testing were used in this investigation to determine the failure criteria required for cleavage initiation to occur by this mechanism in the IC CG HAZ. It was found that the attainment of a critical level of strain was required in addition to a critical level of stress. This does not occur in the case of high strain rate testing, for example, during precracked Charpy testing. A different cleavage initiation mechanism is then found to operate. The precise fracture criteria and microstructural requirements (described in part I of this article) result in competition between potential cleavage initiation mechanisms in the IC CG HAZ.

Codon-precise, synthetic, antibody fragment libraries built using automated hexamer codon additions and validated through next generation sequencing

We have previously described ProxiMAX, a technology that enables the fabrication of precise, combinatorial gene libraries via codon-by-codon saturation mutagenesis. ProxiMAX was originally performed using manual, enzymatic transfer of codons via blunt-end ligation. Here we present Colibra™: an automated, proprietary version of ProxiMAX used specifically for antibody library generation, in which double-codon hexamers are transferred during the saturation cycling process. The reduction in process complexity, resulting library quality and an unprecedented saturation of up to 24 contiguous codons are described. Utility of the method is demonstrated via fabrication of complementarity determining regions (CDR) in antibody fragment libraries and next generation sequencing (NGS) analysis of their quality and diversity.