Phobos: The design and implementation of embedded software for a low cost radar warning receiver

This portfolio thesis describes work undertaken by the author under the Engineering Doctorate program of the Institute for System Level Integration. It was carried out in conjunction with the sponsor company Teledyne Defence Limited. A radar warning receiver is a device used to detect and identify the emissions of radars. They were originally developed during the Second World War and are found today on a variety of military platforms as part of the platform’s defensive systems. Teledyne Defence has designed and built components and electronic subsystems for the defence industry since the 1970s. This thesis documents part of the work carried out to create Phobos, Teledyne Defence’s first complete radar warning receiver. Phobos was designed to be the first low cost radar warning receiver. This was made possible by the reuse of existing Teledyne Defence products, commercial off the shelf hardware and advanced UK government algorithms. The challenges of this integration are described and discussed, with detail given of the software architecture and the development of the embedded application. Performance of the embedded system as a whole is described and qualified within the context of a low cost system.

Close encounters: international exhibitions and the material culture of the British Empire, c.1880-1940

Apparitions of empire and imperial ideologies were deeply embedded in the International Exhibition, a distinct exhibitionary paradigm that came to prominence in the mid-nineteenth century. Exhibitions were platforms for the display of objects, the movement of people, and the dissemination of ideas across and between regions of the British Empire, thereby facilitating contact between its different cultures and societies. This thesis aims to disrupt a dominant understanding of International Exhibitions, which forwards the notion that all exhibitions, irrespective of when or where they were staged, upheld a singular imperial discourse (i.e. Greenhalgh 1988, Rydell 1984). Rather, this thesis suggests International Exhibitions responded to and reflected the unique social, political and economic circumstances in which they took place, functioning as cultural environments in which pressing concerns of the day were worked through. Understood thus, the International Exhibition becomes a space for self-presentation, serving as a stage from which a multitude of interests and identities were constructed, performed and projected. This thesis looks to the visual and material culture of the International Exhibition in order to uncover this more nuanced history, and foregrounds an analysis of the intersections between practices of exhibition-making and identity-making. The primary focus is a set of exhibitions held in Glasgow in the late-1880s and early-1900s, which extends the geographic and temporal boundaries of the existing scholarship. What is more, it looks at representations of Canada at these events, another party whose involvement in the International Exhibition tradition has gone largely unnoticed. Consequently, this thesis is a thematic investigation of the links between a municipality routinely deemed the ‘Second City of the Empire’ and a Dominion settler colony, two types of geographic setting rarely brought into dialogue. It analyses three key elements of the exhibition-making process, exploring how iconographies of ‘quasi-nationhood’ were expressed through an exhibition’s planning and negotiation, its architecture and its displays. This original research framework deliberately cuts across strata that continue to define conceptions of the British Empire, and pushes beyond a conceptual model defined by metropole and colony. Through examining International Exhibitions held in Glasgow in the late-Victorian and Edwardian periods, and visions of Canada in evidence at these events, the goal is to offer a novel intervention into the existing literature concerning the cultural history of empire, one that emphasises fluidity rather than fixity and which muddles the boundaries between centre and periphery.

Methods matter: computational modelling in public health policy and planning

This work is aimed at understanding and unifying information on epidemiological modelling methods and how those methods relate to public policy addressing human health, specifically in the context of infectious disease prevention, pandemic planning, and health behaviour change. This thesis employs multiple qualitative and quantitative methods, and presents as a manuscript of several individual, data-driven projects that are combined in a narrative arc. The first chapter introduces the scope and complexity of this interdisciplinary undertaking, describing several topical intersections of importance. The second chapter begins the presentation of original data, and describes in detail two exercises in computational epidemiological modelling pertinent to pandemic influenza planning and policy, and progresses in the next chapter to present additional original data on how the confidence of the public in modelling methodology may have an effect on their planned health behaviour change as recommended in public health policy. The thesis narrative continues in the final data-driven chapter to describe how health policymakers use modelling methods and scientific evidence to inform and construct health policies for the prevention of infectious diseases, and concludes with a narrative chapter that evaluates the breadth of this data and recommends strategies for the optimal use of modelling methodologies when informing public health policy in applied public health scenarios.

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.

Sonic arts portfolio and commentary

This research investigates the process of “opening out” spaces with sound as an approach to sonic arts practice, investigating the spaces that sounds articulate, reveal and imply in our encounter with them. It positions spatial aesthetics as a key consideration at each stage of the creative process and connects approaches to spatiality in sonic arts practices with contextual considerations drawn from, for example, phenomenological accounts of spatial and sonic experience, human geography, architecture and acoustic ecology. The portfolio consists of seven sonic artworks and two collaborative projects that each engage with these ideas from a different perspective, exploring a number of applications, contexts and outcomes in the investigation. This accompanying commentary discusses these works, providing an introduction to the portfolio followed by a discussion, in the subsequent chapters, of the practices explored and developed in the research process.