Overview of the Lost Meteorites of Antarctica field campaigns

The Lost Meteorites of Antarctica project was the first UK-led Antarctic meteorite recovery expedition. The project has successfully confirmed two new high-density meteorite stranding zones in the Hutchison Icefield and Outer Recovery Icefields areas and investigated the geology of three previously unvisited Antarctic nunataks (Turner Nunatak, Pillinger Nunatak, Halliday Nunatak). The project undertook meteorite searching on the ice surface via skidoo reconnaissance and systematic searching and developed a novel pulse induction metal detection system to search for englacial iron-rich meteorites trapped within the upper one meter of ice. In total, 121 meteorites have been recovered from the ice surface searching activities, which are now curated in the United Kingdom at the Natural History Museum London and are available for scientific analysis

Handlers of Algebraic Effects

Abstract. We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include nondeterminism, interactive input/output, concurrency, state, time, and their combinations; in all cases the computation monad is the free-model monad of the theory. Each such handler corresponds to a model of the theory for the effects at hand. The handling construct, which applies a handler to a computation, is based on the one introduced by Benton and Kennedy, and is interpreted using the homomorphism induced by the universal property of the free model. This general construct can be used to describe previously unrelated concepts from both theory and practice.

The application of parametric 3D finite element modelling techniques to evaluate the performance of a magnetic sensor system

This paper describes the application of parametric three-dimensional (3D) finite element analysis techniques to accurately model the response of a new industrial electromagnetic sensing system. The study focuses on a magnetic transformation detector for hot steel strip, which is capable of measuring the austenite-to-ferrite phase transformation fraction of hot steel on-line as the material cools below the Curie temperature. This sensor presents several challenges with regard to modelling its response. First, small changes (0.3 mT) in the measured magnetic field must be detected against a much larger background value (160 mT). Second, the response of the sensor to variation in lift-off must be accurately determined so that changes in lift-off could be subsequently rejected using an appropriate compensation algorithm. Finally, an accurate model (error <0.2%) of the sensor was essential to avoid the need for extensive laboratory testing. The paper describes a number of approaches to address these issues. The paper presents an overview of the sensor and its application, together with a summary of the models used. A number of different approaches were used to improve the accuracy of the modelling process including, mesh configurations, model definition and output calibration, which are also described. Outputs from the model are then compared with the measurement values. This study demonstrates the feasibility of using calibrated simulations to describe the response of the sensor to the required accuracy and repeatability for symmetrical geometries. Further work is needed to assess the feasibility of the calibration method for more complex systems