There is a pressing need for creative new data analysis methods whichcan sift through scientific simulation data and produce meaningfulresults. The types of analyses and the amount of data handled by currentmethods are still quite restricted, and new methods could providescientists with a large productivity boost. New methods could be simpleto develop in big data processing systems such as Apache Spark, which isdesigned to process many input files in parallel while treating themlogically as one large dataset. This distributed model, combined withthe large number of analysis libraries created for the platform, makesSpark ideal for processing simulation output.Unfortunately, the filesystem becomes a major bottleneck in any workflowthat uses Spark in such a fashion. Faster transports are notintrinsically supported by Spark, and its interface almost denies thepossibility of maintainable third-party extensions. By leveraging thesemantics of Scala and Spark's recent scheduler upgrades, we forceco-location of Spark executors with simulation processes and enable fastlocal inter-process communication through shared memory. This provides apath for bulk data transfer into the Java Virtual Machine, removing thecurrent Spark ingestion bottleneck.Besides showing that our system makes this transfer feasible, we alsodemonstrate a proof-of-concept system integrating traditional HPC codeswith bleeding-edge analytics libraries. This provides scientists withguidance on how to apply our libraries to gain a new and powerful toolfor developing new analysis techniques in large scientific simulationpipelines.

The aim of this study was to understand the processing – structure – property relationships in spark plasma sintered (SPS) boron carbide (B4C) and B4C-titanium diboride (TiB2) ceramic composites. SPS allowed for consolidation of both B4C and B4C-TiB2 composites without sintering additives, residual phases, e.g., graphite, and excessive grain growth due to long sintering times. A selection of composite compositions in 20% TiB2 feedstock powder increments from 0% to 100%, was sintered at 1900°C for 25 minutes hold time. A homogeneous B4C-TiB2 composite microstructure was determined with excellent distribution of TiB2 phase, while achieving ~99.5% theoretical density. An optimum B4C-23 vol.% TiB2 composite composition with low density of ~3.0 g/cm3 was determined that exhibited ~30-35% increase in hardness, fracture toughness, and flexural bend strength compared to commercial armor-grade B4C. This is a result of a) no residual graphitic carbon in the composites, b) interfacial microcrack toughening due to thermal expansion coefficient differences placing the B4C matrix in compression and TiB2 phase in tension, and c) TiB2 phase aids in crack deflection thereby increasing the amount of intergranular fracture. Collectively, the addition of TiB2 serves as a strengthening and toughening agent, and SPS shows promise for the manufacture of hybrid ceramic composites.

No description available.

No description available.

The current work, through experimental and numerical investigations, analyses the process and cycle level deviations in engine response on fuelling multi-cylinder natural gas engines with producer gas. Producer gas is a low calorific value bio-derived alternative with composition of 19 ± 1% CO and H2, 2 ± 0.5 % CH4, 12 ± 1% CO2 and 46 ± 1% N2 and has thermo-physical properties significantly different from natural gas. Experimental investigations primarily address the energy balance (full cycle analysis) and in-cylinder response (process specific analysis) at various operating conditions covering naturally aspirated and turbocharged mode of operation with natural gas and producer gas. Numerical investigations are based on two thermodynamic scope mathematical models, a zero dimensional model (Wiebe function) and a quasi-dimensional model (propagating flame front heat release). A detailed diagnostic analysis on a six cylinder (E6) indicates, turbocharger mismatch, the first explicit impact of fuel thermo-physical property variation. Turbocharger matching and optimization resulted in a peak load of 72.8 kWe (BMEP 9.47) at a maximum brake torque ignition angles of 22 deg before TDC and compressor pressure ratio of 2.25. Engine energy distribution analysis indicates skewed energy balance with higher cooling load (in excess of 30%) as compared to fossil fuel operation. This is attributed to the presence of nearly 20% H2 which enhances the convective cooling through the higher thermal conductivity. Parametric variation of H2 fraction on a two cylinder engine (E2) with four different syngas compositions (mixture H2 varying from 7.1% to 14.2%) depicts enhanced cooling load from 33.5% to 37.7%. Process level comparison indicates significant deviations in the heat release profile compared to fossil fuels. It has been observed that with an increase in mixture hydrogen fraction (from 7.1% to 14.2%), the fast burn phase combustion duration reduces from 59.6% to 42.6% but the terminal stage duration increases from 25.5% to 48.9%. The enhanced cooling of the mixture (due to the presence of hydrogen), particularly in the vicinity of walls is argued to contribute towards the sluggish terminal phase combustion. Immediate implication of thermo-kinematic response variation is on the magnitude and sensitivity of combustion descriptors and the need for dependent control system calibration for producer gas fuelled operation is established. Descriptor analysis is extended to knocking pressure traces and a new simple methodology is proposed towards identifying the occurrence and regime of knock. Analysing the implications through numerical investigation, the influence of the altered thermo-kinematic response for producer gas fuelled operation impacts 0D simulations. Zero dimensional simulations fail with conventional coefficients requiring fuel specific coefficients. Based on fuel specific coefficients, the suitability of 0D model for the simulation of varying operating conditions ranging from naturally aspirated to turbo charged engines, compression ratios and different engine geometries is established. The analysis is extended to quasi-dimensional through the eddy entrainment and laminar burn up model. The choice of laminar flame speed and turbulent parameters is validated based on the assessment of the flame speed ratio (4.5 ± 0.5 for naturally aspirated operation, turbulent Reynolds number of 2500 ± 250 and 9.0 ± 1.0 for turbocharged operation, turbulent Reynolds number of 5250 ± 250). In the estimation of laminar flame speed, the limitation of GRIMech 3.0 mechanism for H2-CO-CH4 systems is explicitly established and GRIMech 2.11 is used to arrive at experimentally comparable results. In-cylinder engine simulation results covering parametric variation of load, ignition angle and mixture quality, for engine natural gas fuelled naturally aspirated operation and producer gas fuelled naturally aspirated and turbocharged after cooled are compared with experimental results. The quasi dimensional analysis is extended to simulate end gas auto-ignition and is validated by using experimental manifold conditions for turbocharged operation for which knock has been observed. Extending the model to a Waukesha cooperative fuels research engine, motor methane number of 110 is reported for standard composition producer gas. The use of quasi dimensional models with end gas reaction kinetics enabled for knock rating of fuels represents first of its kind initiative.

High hardness and good wear resistance have been revealed for the high-entropy alloy (HEA) system AlCoCrFeNiTi, confirming the potential for surface protection applications. Detailed studies to investigate the microstructure and phase formation have been carried out using different production routes. Powder metallurgical technologies allow for much higher flexibility in the customisation of materials compared to casting processes. Particularly, spark plasma sintering (SPS) enables the fast processing of the feedstock, the suppression of grain coarsening and the production of samples with a low porosity. Furthermore, solid lubricants can be incorporated for the improvement of wear resistance and the reduction of the coefficient of friction (COF). This study focuses on the production of AlCoCrFeNiTi composites comprising solid lubricants. Bulk materials with a MoS2 content of up to 15 wt % were produced. The wear resistance and COF were investigated in detail under sliding wear conditions in ball-on-disk tests at room temperature and elevated temperature. At least 10 wt % of MoS2 was required to improve the wear behaviour in both test conditions. Furthermore, the effects of the production route and the content of solid lubricant on microstructure formation and phase composition were investigated. Two major body-centred cubic (bcc) phases were detected in accordance with the feedstock. The formation of additional phases indicated the decomposition of MoS2.

This thesis is an investigation into the nature of the 'postmodern' narrative strategies and fictional methods in the work of two British Catholic writers. The work of David Lodge and Muriel Spark is here taken as an example ofthe 'Catholic novel'. In order to determine ifthe overlap ofpostmodern. and Christian-influenced narrative strategies constitutes more than a convergence or coincidence of formal concerns, narrative form in these novels is analyzed in the light of neo-Tho mist and Tho mist aesthetics, a traditional Catholic Christian theory of the arts. The 'postmodern' in these 'Christian' texts becomes largely a coincidence of terminology. Narrative forms which can be classified as 'postmodern' can also be categorized using the terminology of Thomas Aquinas. The apparent similarities betray radically divergent metaphysical presuppositions, however. The nature of the Catholic 'difference' lies in the way postmodern forms are used to challenge the metaphysical bases of those forms. / English Studies / M.A. (English)

This thesis is an investigation into the nature of the 'postmodern' narrative strategies and fictional methods in the work of two British Catholic writers. The work of David Lodge and Muriel Spark is here taken as an example ofthe 'Catholic novel'. In order to determine ifthe overlap ofpostmodern. and Christian-influenced narrative strategies constitutes more than a convergence or coincidence of formal concerns, narrative form in these novels is analyzed in the light of neo-Tho mist and Tho mist aesthetics, a traditional Catholic Christian theory of the arts. The 'postmodern' in these 'Christian' texts becomes largely a coincidence of terminology. Narrative forms which can be classified as 'postmodern' can also be categorized using the terminology of Thomas Aquinas. The apparent similarities betray radically divergent metaphysical presuppositions, however. The nature of the Catholic 'difference' lies in the way postmodern forms are used to challenge the metaphysical bases of those forms. / English Studies / M.A. (English)

Master of Science / Department of Computing and Information Sciences / John Hatcliff / Medical devices are safety-critical systems whose failure may put human life in danger. They are becoming more advanced and thus more complex. This leads to bigger and more complicated code-bases that are hard to maintain and verify. Model-driven development provides high-level and abstract description of the system in the form of models that omit details, which are not relevant during the design phase. This allows for certain types of verification and hazard analysis to be performed on the models. These models can then be translated into code. However, errors that do not exist in the models may be introduced during the implementation phase. Automated translation from verified models to code may prevent to some extent. This thesis proposes approach for model-driven development and verification of medical devices. Models are created in AADL (Architecture Analysis & Design Language), a language for software and hardware architecture modeling. AADL models are translated to SPARK Ada, contract-based programming language, which is suitable for software verification. Generated code base is further extended by developers to implement internals of specific devices. Created programs can be verified using SPARK tools. A PCA (Patient Controlled Analgesia) pump medical device is used to illustrate the primary artifacts and process steps. The foundation for this work is "Integrated Clinical Environment Patient-Controlled Analgesia Infusion Pump System Requirements" document and AADL Models created by Brian Larson. In addition to proposed model-driven development approach, a PCA pump prototype was created using the BeagleBoard-xM device as a platform. Some components of PCA pump prototype were verified by SPARK tools and Bakar Kiasan.

Call number: LD2668 .T4 1985 S335 / Master of Science