Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Delivering enhanced efficiency in the synthesis of α-diazosulfoxides by exploiting the process control enabled in flow

Continuous-flow generation of α-diazosulfoxides results in a two- to three-fold increase in yields and decreased reaction times compared to standard batch synthesis methods. These high yielding reactions are enabled by flowing through a bed of polystyrene-supported base (PS-DBU or PS-NMe2) with highly controlled residence times. This engineered solution allows the α-diazosulfoxides to be rapidly synthesized while limiting exposure of the products to basic reaction conditions, which have been found to cause rapid decomposition. In addition to improved yields, this work has the added advantage of ease of processing, increased safety profile, and scale-up potential.

Advanced polymer membrane development in pervaporation dehydration and lateral flow diagnostics

The work in this thesis concerns the advanced development of polymeric membranes of two types; pervaporation and lateral-flow. The former produced from a solution casting method and the latter from a phase separation. All membranes were produced from casting lacquers. Early research centred on the development of viable membranes. This led to a supported polymer blend pervaporation membrane. Selective layer: plasticized 4:1 mass ratio sodium-alginate: poly(vinyl-alcohol) polymer blend. Using this membrane, pervaporation separation of ethanol/water mixtures was carefully monitored as a function of film thickness and time. Contrary to literature expectations, these films showed increased selectivity and decreased flux as film thickness was reduced. It is argued that morphology and structure of the polymer blend changes with thickness and that these changes define membrane efficiency. Mixed matrix membrane development was done using spherical, discreet, size-monodisperse mesoporous silica particles of 1.8 - 2μm diameter, with pore diameters of ~1.8 nm were incorporated into a poly(vinyl alcohol) [PVA] matrix. Inclusion of silica benefitted pervaporation performance for the dehydration of ethanol, improving flux and selectivity throughout in all but the highest silica content samples. Early lateral-flow membrane research produced a membrane from a basic lacquer composition required for phase inversion; polymer, solvent and non-solvent. Results showed that bringing lacquers to cloud point benefits both the pore structure and skin layers of the membranes. Advancement of this work showed that incorporation of ethanol as a mesosolvent into the lacquer effectively enhances membrane pore structure resulting in an improvement in lateral flow rates of the final membranes. This project details the formation mechanics of pervaporation and lateral-flow membranes and how these can be controlled. The principle methods of control can be applied to the formation of any other flat sheet polymer membranes, opening many avenues of future membrane research and industrial application.

AuxAg1-x alloy seeds: A way to control growth, morphology and defect formation in Ge nanowires

Germanium (Ge) nanowires are of current research interest for high speed nanoelectronic devices due to the lower band gap and high carrier mobility compatible with high K-dielectrics and larger excitonic Bohr radius ensuing a more pronounced quantum confinement effect [1-6]. A general way for the growth of Ge nanowires is to use liquid or a solid growth promoters in a bottom-up approach which allow control of the aspect ratio, diameter, and structure of 1D crystals via external parameters, such as precursor feedstock, temperature, operating pressure, precursor flow rate etc [3, 7-11]. The Solid-phase seeding is preferred for more control processing of the nanomaterials and potential suppression of the unintentional incorporation of high dopant concentrations in semiconductor nanowires and unrequired compositional tailing of the seed-nanowire interface [2, 5, 9, 12]. There are therefore distinct features of the solid phase seeding mechanism that potentially offer opportunities for the controlled processing of nanomaterials with new physical properties. A superior control over the growth kinetics of nanowires could be achieved by controlling the inherent growth constraints instead of external parameters which always account for instrumental inaccuracy. The high dopant concentrations in semiconductor nanowires can result from unintentional incorporation of atoms from the metal seed material, as described for the Al catalyzed VLS growth of Si nanowires [13] which can in turn be depressed by solid-phase seeding. In addition, the creation of very sharp interfaces between group IV semiconductor segments has been achieved by solid seeds [14], whereas the traditionally used liquid Au particles often leads to compositional tailing of the interface [15] . Korgel et al. also described the superior size retention of metal seeds in a SFSS nanowire growth process, when compared to a SFLS process using Au colloids [12]. Here in this work we have used silver and alloy seed particle with different compositions to manipulate the growth of nanowires in sub-eutectic regime. The solid seeding approach also gives an opportunity to influence the crystallinity of the nanowires independent of the substrate. Taking advantage of the readily formation of stacking faults in metal nanoparticles, lamellar twins in nanowires could be formed.

Development of a continuous process for α-thio-β-chloroacrylamide synthesis with enhanced control of a cascade transformation

A continuous process strategy has been developed for the preparation of α-thio-β chloroacrylamides, a class of highly versatile synthetic intermediates. Flow platforms to generate the α-chloroamide and α-thioamide precursors were successfully adopted, progressing from the previously employed batch chemistry, and in both instances afford a readily scalable methodology. The implementation of the key α-thio-β-chloroacrylamide casade as a continuous flow reaction on a multi-gram scale is described, while the tuneable nature of the cascade, facilitated by continuous processing, is highlighted by selective generation of established intermediates and byproducts.