LHC main dipole magnet circuits: sustaining near-nominal beam energies

Crossing the Franco-Swiss border, the Large Hadron Collider (LHC), designed to collide 7 TeV proton beams, is the world's largest and most powerful particle accelerator the operation of which was originally intended to commence in 2008. Unfortunately, due to an interconnect discontinuity in one of the main dipole circuit's 13 kA superconducting busbars, a catastrophic quench event occurred during initial magnet training, causing significant physical system damage. Furthermore, investigation into the cause found that such discontinuities were not only present in the circuit in question, but throughout the entire LHC. This prevented further magnet training and ultimately resulted in the maximum sustainable beam energy being limited to approximately half that of the design nominal, 3.5-4 TeV, for the first three years of operation (Run 1, 2009-2012) and a major consolidation campaign being scheduled for the first long shutdown (LS 1, 2012-2014). Throughout Run 1, a series of studies attempted to predict the amount of post-installation training quenches still required to qualify each circuit to nominal-energy current levels. With predictions in excess of 80 quenches (each having a recovery time of 8-12+ hours) just to achieve 6.5 TeV and close to 1000 quenches for 7 TeV, it was decided that for Run 2, all systems be at least qualified for 6.5 TeV operation. However, even with all interconnect discontinuities scheduled to be repaired during LS 1, numerous other concerns regarding circuit stability arose. In particular, observations of an erratic behaviour of magnet bypass diodes and the degradation of other potentially weak busbar sections, as well as observations of seemingly random millisecond spikes in beam losses, known as unidentified falling object (UFO) events, which, if persist at 6.5 TeV, may eventually deposit sufficient energy to quench adjacent magnets. In light of the above, the thesis hypothesis states that, even with the observed issues, the LHC main dipole circuits can safely support and sustain near-nominal proton beam energies of at least 6.5 TeV. Research into minimising the risk of magnet training led to the development and implementation of a new qualification method, capable of providing conclusive evidence that all aspects of all circuits, other than the magnets and their internal joints, can safely withstand a quench event at near-nominal current levels, allowing for magnet training to be carried out both systematically and without risk. This method has become known as the Copper Stabiliser Continuity Measurement (CSCM). Results were a success, with all circuits eventually being subject to a full current decay from 6.5 TeV equivalent current levels, with no measurable damage occurring. Research into UFO events led to the development of a numerical model capable of simulating typical UFO events, reproducing entire Run 1 measured event data sets and extrapolating to 6.5 TeV, predicting the likelihood of UFO-induced magnet quenches. Results provided interesting insights into the involved phenomena as well as confirming the possibility of UFO-induced magnet quenches. The model was also capable of predicting that such events, if left unaccounted for, are likely to be commonplace or not, resulting in significant long-term issues for 6.5+ TeV operation. Addressing the thesis hypothesis, the following written works detail the development and results of all CSCM qualification tests and subsequent magnet training as well as the development and simulation results of both 4 TeV and 6.5 TeV UFO event modelling. The thesis concludes, post-LS 1, with the LHC successfully sustaining 6.5 TeV proton beams, but with UFO events, as predicted, resulting in otherwise uninitiated magnet quenches and being at the forefront of system availability issues.

Metabolomics as a tool to explore the staphylococcal biofilm

Orthopaedic infections can be polymicrobial existing as a microbiome. Infections often incorporate staphylococcal species, including Staphylococcus aureus. Such infections can lead to life threatening illness and implant failure. Furthermore, biofilm formation on the implant surface can occur, increasing pathogenicity, exacerbating antibiotic resistance and altering antimicrobial mechanism of action. Bacteria change dramatically during the transition to a biofilm growth state: phenotypically; transcriptionally; and metabolically, highlighting the need for research into molecular mechanisms involved in biofilm formation. Metabolomics can provide a tool to analyse metabolic changes which are directly related to the expressed phenotype. Here, we aimed to provide greater understanding of orthopaedic infection caused by S. aureus and biofilm formation on the implant surface. Through metagenome analysis by employing: implant material extraction; DNA extraction; microbial enrichment; and whole genome sequencing, we present a microbiome study of the infected prosthesis to resolve the causative species of orthopaedic hip infection. Results highlight the presence of S. aureus as a primary cause of orthopaedic infection along with Enterococcus faecium and the presence of secondary pathogen Clostridium difficile. Although results were hindered by the presence of host contaminating DNA even after microbial enrichment, conclusions could be made over the potential increased pathogenicity caused by the presence of a secondary pathogen and highlight method and sample preparation considerations when undertaking such a study. Following this finding, studies were focused on an orthopaedic clinical isolate of S. aureus and a metabolome extraction method for staphylococcal biofilms was developed using cell lysis through bead beating and solvent metabolome extraction. The method was found to be reproducible when coupled with liquid chromatography-mass spectrometry (LC-MS) and bioinformatics, allowing for the detection of significant changes in metabolism between planktonic and biofilm cultures to be identified and drug mechanism of actions (MOA) to be studied. Metabolomics results highlight significant changes in a number of metabolic pathways including arginine biosynthesis and purine metabolism between the two cell populations, evidence of S. aureus responding to their changing environment, including oxygen availability and a decrease in pH. Focused investigations on purine metabolism looking for biofilm modulation effects were carried out. Modulation of the S. aureus biofilm phenotype was observed through the addition of exogenous metabolites. Inosine increased biofilm biomass while formycin B, an inosine analogue, showed a dispersal effect and a potential synergistic effect in biofilm dispersal when coupled with gentamycin. Changes in metabolism between planktonic cells and biofilms highlight the requirement for antimicrobial testing to be carried out against planktonic cells and biofilms. Untargeted metabolomics was used to study the MOA of triclosan in S. aureus. The triclosan target and MOA in bacteria has already been characterised, however, questions remain over its effects in bacteria. Although the use of triclosan has come under increasing speculation, its full effects are still largely unknown. Results show that triclosan can induce a cascade of detrimental events in the cell metabolism including significant changes in amino acid metabolism, affecting planktonic cells and biofilms. Results and conclusions provide greater understanding of orthopaedic infections and specifically focus on the S. aureus biofilm, confirming S. aureus as a primary cause of orthopaedic infection and using metabolomic analysis to look at the changing state of metabolism between the different growth states. Metabolomics is a valuable tool for biofilm and drug MOA studies, helping understand orthopaedic infection and implant failure, providing crucial insight into the biochemistry of bacteria for the potential for inferences to be gained, such as the MOA of antimicrobials and the identification of novel metabolic drug targets.

Data structures for SIMD logic simulation

Due to the growth of design size and complexity, design verification is an important aspect of the Logic Circuit development process. The purpose of verification is to validate that the design meets the system requirements and specification. This is done by either functional or formal verification. The most popular approach to functional verification is the use of simulation based techniques. Using models to replicate the behaviour of an actual system is called simulation. In this thesis, a software/data structure architecture without explicit locks is proposed to accelerate logic gate circuit simulation. We call thus system ZSIM. The ZSIM software architecture simulator targets low cost SIMD multi-core machines. Its performance is evaluated on the Intel Xeon Phi and 2 other machines (Intel Xeon and AMD Opteron). The aim of these experiments is to: • Verify that the data structure used allows SIMD acceleration, particularly on machines with gather instructions ( section 5.3.1). • Verify that, on sufficiently large circuits, substantial gains could be made from multicore parallelism ( section 5.3.2 ). • Show that a simulator using this approach out-performs an existing commercial simulator on a standard workstation ( section 5.3.3 ). • Show that the performance on a cheap Xeon Phi card is competitive with results reported elsewhere on much more expensive super-computers ( section 5.3.5 ). To evaluate the ZSIM, two types of test circuits were used: 1. Circuits from the IWLS benchmark suit [1] which allow direct comparison with other published studies of parallel simulators.2. Circuits generated by a parametrised circuit synthesizer. The synthesizer used an algorithm that has been shown to generate circuits that are statistically representative of real logic circuits. The synthesizer allowed testing of a range of very large circuits, larger than the ones for which it was possible to obtain open source files. The experimental results show that with SIMD acceleration and multicore, ZSIM gained a peak parallelisation factor of 300 on Intel Xeon Phi and 11 on Intel Xeon. With only SIMD enabled, ZSIM achieved a maximum parallelistion gain of 10 on Intel Xeon Phi and 4 on Intel Xeon. Furthermore, it was shown that this software architecture simulator running on a SIMD machine is much faster than, and can handle much bigger circuits than a widely used commercial simulator (Xilinx) running on a workstation. The performance achieved by ZSIM was also compared with similar pre-existing work on logic simulation targeting GPUs and supercomputers. It was shown that ZSIM simulator running on a Xeon Phi machine gives comparable simulation performance to the IBM Blue Gene supercomputer at very much lower cost. The experimental results have shown that the Xeon Phi is competitive with simulation on GPUs and allows the handling of much larger circuits than have been reported for GPU simulation. When targeting Xeon Phi architecture, the automatic cache management of the Xeon Phi, handles and manages the on-chip local store without any explicit mention of the local store being made in the architecture of the simulator itself. However, targeting GPUs, explicit cache management in program increases the complexity of the software architecture. Furthermore, one of the strongest points of the ZSIM simulator is its portability. Note that the same code was tested on both AMD and Xeon Phi machines. The same architecture that efficiently performs on Xeon Phi, was ported into a 64 core NUMA AMD Opteron. To conclude, the two main achievements are restated as following: The primary achievement of this work was proving that the ZSIM architecture was faster than previously published logic simulators on low cost platforms. The secondary achievement was the development of a synthetic testing suite that went beyond the scale range that was previously publicly available, based on prior work that showed the synthesis technique is valid.