Which way is up? Grounded mental representations of space

Processing language is postulated to involve a mental simulation, or re-enactment of perceptual, motor, and introspective states that were acquired experientially (Barsalou, 1999, 2008). One such aspect that is mentally simulated during processing of certain concepts is spatial location. For example, upon processing the word “moon” the prominent spatial location of the concept (e.g. ‘upward’) is mentally simulated. In six eye-tracking experiments, we investigate how mental simulations of spatial location affect processing. We first address a conflict in previous literature whereby processing is shown to be impacted in both a facilitatory and inhibitory way. Two of our experiments showed that mental simulations of spatial association facilitate saccades launched toward compatible locations; however, a third experiment showed an inhibitory effect on saccades launched towards incompatible locations. We investigated these differences with further experiments, which led us to conclude that the nature of the effect (facilitatory or inhibitory) is dependent on the demands of the task and, in fitting with the theory of Grounded Cognition (Barsalou, 2008), that mental simulations impact processing in a dynamic way. Three further experiments explored the nature of verticality – specifically, whether ‘up’ is perceived as away from gravity, or above our head. Using similar eye-tracking methods, and by manipulating the position of participants, we were able to dissociate these two possible standpoints. The results showed that mental simulations of spatial location facilitated saccades to compatible locations, but only when verticality was dissociated from gravity (i.e. ‘up’ was above the participant’s head). We conclude that this is not due to an ‘embodied’ mental simulation, but rather a result of heavily ingrained visuo-motor association between vertical space and eye movements.

Patterns in the space use of the Bearded Reedling, Panurus biarmicus, on the Tay Reedbeds, Scotland

This thesis presents research into the space use of a specialist reedbed Passerine, the Bearded Reedling, or Bearded Tit, Panurus biarmicus, with a view to inform the conservation of this species and reedbeds as a whole. How a species uses space, and how space use changes between individuals or over time, can influence: the ability to forage and hunt effectively, breeding success, susceptibility to predation, genetic health, disease spread, robustness against environmental change and ultimately, colonisation or extinction. Thus, understanding the space use of animals can provide critical insight into ecological systems. Birds offer interesting models when studying animal space use, as, by being intrinsically mobile, many bird species can occupy multiple spatial scales. As a consequence of being completely dependent on patchy and ephemeral reedbed habitats, the Bearded Reedling, has a clustered, inhomogeneous distribution throughout its range. This drives the existence of distinct spatial scales upon which space use studies should be characterised. Distribution and movement within a single reedbed can be considered local-scale, while spatial processes between reedbeds can be considered wide-scale. Temporal processes may act upon both of these scales. For example, changing interactions with predators may influence nest positioning at a local-scale, while seasonal changes in resource requirements might drive processes such as migration at a wide-scale. The Bearded Reedling has a wide temperate breeding range, extending over much of Eurasia. On the IUCN’s red list, it is listed as ‘of least concern’, with an estimated European population between 240,000-480,000 breeding pairs. Despite its relatively favourable conservation status, its dependence on reedbed habitats drives a fragmented distribution, with populations being concentrated in small, isolated, stands. Over the last century reedbed wetlands have suffered rapid declines caused by drainage schemes undertaken to improve land for development or agriculture. Additionally, many remaining reed stands are subject to extensive commercial management to produce thatch or biofuel. Conversely, in other areas, management is driven by conservation motives which recognise the present threats to reedbeds, and aim to encourage the diversity of species associated with these habitats. As the Bearded Reedling is fundamentally linked to the quality and structure of a reed stand, understanding the space use of this species will offer information for the direct conservation of this specialist species, and for the effects of reedbed management as a whole. This thesis first presents studies of space use at a local-scale. All local-scale research is conducted at the Tay Reedbeds in eastern Scotland. Mist netting and bird ringing data are used within capture recapture models, which include an explicit spatial component, to gain insight into the abundance of the Bearded Reedling on the Tay. This abundance estimation approach suggests the Tay reedbeds are a stronghold for this species on the British Isles, and that, as a high latitude site, the Tay may have importance for range expansion. A combination of transect surveys and radio-tracking data are then used to establish the local-scale space use of this species during the breeding and autumnal seasons. These data are related to changes in the structure of reed caused by local management in the form of mosaic winter reed cutting. Results suggest that birds exploit young and cut patches of reed as foraging resources when they are available, and that old, unmanaged reed is critical for nesting and winter foraging. Further local-scale studies concern the spatial patterns in the nesting habits of this species. Mosaic reed cutting creates clear edges in a reedbed. Artificial nests placed in the Tay Reedbeds demonstrate increased nest predation rates closer to the edges of cut patches. Additionally, high predation rates become reduced as the cut reed re-grows, suggesting that reed cutting may increase accessibility of the stand to predators. As Bearded Reedling nests are uncommon and difficult to locate, the timing, site selection and structure of a sample of real nests from the Tay is then detailed. These demonstrate an early, and relatively rigid breeding onset in this species, the importance of dense, compacted reeds as nesting sites and a degree of flexibility in nest structure. Conservation efforts will also benefit from studies into wide-scale spatial processes. These may be important when establishing how colonisation events occur and when predicting the effects of climatic change. The Bearded Reedling has been traditionally considered a resident species which only occasionally undertakes wide-scale, between-reedbed, movements. Indeed, the ecology of this species suggests strict year round local residency to reedbeds, with distinct seasonal changes in diet allowing occupation of these habitats year round. The European ringing recoveries of this species, since the 1970s are investigated to better characterise the wider movements of specialist resident. These suggest residency in southern populations, but higher instances of movement than expected in more northerly regions. In these regions wide-scale movement patterns resemble those of partial regular migratory species. An understanding of local and wide-scale spatial processes can offer a strong foundation on which to build conservation strategies. This thesis aims to use studies of space use to provide this foundation for the Bearded Reedling and offer further insight into the ecology of reedbed habitats as a whole. The thesis concludes by proposing an effective strategy for the conservation management of reedbeds that will especially benefit the Bearded Reedling.

A deformation model of flexible, high area-to-mass ratio debris under perturbations and validation method

A new type of space debris was recently discovered by Schildknecht in near -geosynchronous orbit (GEO). These objects were later identified as exhibiting properties associated with High Area-to-Mass ratio (HAMR) objects. According to their brightness magnitudes (light curve), high rotation rates and composition properties (albedo, amount of specular and diffuse reflection, colour, etc), it is thought that these objects are multilayer insulation (MLI). Observations have shown that this debris type is very sensitive to environmental disturbances, particularly solar radiation pressure, due to the fact that their shapes are easily deformed leading to changes in the Area-to-Mass ratio (AMR) over time. This thesis proposes a simple effective flexible model of the thin, deformable membrane with two different methods. Firstly, this debris is modelled with Finite Element Analysis (FEA) by using Bernoulli-Euler theory called “Bernoulli model”. The Bernoulli model is constructed with beam elements consisting 2 nodes and each node has six degrees of freedom (DoF). The mass of membrane is distributed in beam elements. Secondly, the debris based on multibody dynamics theory call “Multibody model” is modelled as a series of lump masses, connected through flexible joints, representing the flexibility of the membrane itself. The mass of the membrane, albeit low, is taken into account with lump masses in the joints. The dynamic equations for the masses, including the constraints defined by the connecting rigid rod, are derived using fundamental Newtonian mechanics. The physical properties of both flexible models required by the models (membrane density, reflectivity, composition, etc.), are assumed to be those of multilayer insulation. Both flexible membrane models are then propagated together with classical orbital and attitude equations of motion near GEO region to predict the orbital evolution under the perturbations of solar radiation pressure, Earth’s gravity field, luni-solar gravitational fields and self-shadowing effect. These results are then compared to two rigid body models (cannonball and flat rigid plate). In this investigation, when comparing with a rigid model, the evolutions of orbital elements of the flexible models indicate the difference of inclination and secular eccentricity evolutions, rapid irregular attitude motion and unstable cross-section area due to a deformation over time. Then, the Monte Carlo simulations by varying initial attitude dynamics and deformed angle are investigated and compared with rigid models over 100 days. As the results of the simulations, the different initial conditions provide unique orbital motions, which is significantly different in term of orbital motions of both rigid models. Furthermore, this thesis presents a methodology to determine the material dynamic properties of thin membranes and validates the deformation of the multibody model with real MLI materials. Experiments are performed in a high vacuum chamber (10-4 mbar) replicating space environment. A thin membrane is hinged at one end but free at the other. The free motion experiment, the first experiment, is a free vibration test to determine the damping coefficient and natural frequency of the thin membrane. In this test, the membrane is allowed to fall freely in the chamber with the motion tracked and captured through high velocity video frames. A Kalman filter technique is implemented in the tracking algorithm to reduce noise and increase the tracking accuracy of the oscillating motion. The forced motion experiment, the last test, is performed to determine the deformation characteristics of the object. A high power spotlight (500-2000W) is used to illuminate the MLI and the displacements are measured by means of a high resolution laser sensor. Finite Element Analysis (FEA) and multibody dynamics of the experimental setups are used for the validation of the flexible model by comparing with the experimental results of displacements and natural frequencies.

Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.