Predicting landscape-genetic consequences of habitat loss, fragmentation and mobility for multiple species of woodland birds

Inference concerning the impact of habitat fragmentation on dispersal and gene flow is a key theme in landscape genetics. Recently, the ability of established approaches to identify reliably the differential effects of landscape structure (e.g. land-cover composition, remnant vegetation configuration and extent) on the mobility of organisms has been questioned. More explicit methods of predicting and testing for such effects must move beyond post hoc explanations for single landscapes and species. Here, we document a process for making a priori predictions, using existing spatial and ecological data and expert opinion, of the effects of landscape structure on genetic structure of multiple species across replicated landscape blocks. We compare the results of two common methods for estimating the influence of landscape structure on effective distance: least-cost path analysis and isolation-by-resistance. We present a series of alternative models of genetic connectivity in the study area, represented by different landscape resistance surfaces for calculating effective distance, and identify appropriate null models. The process is applied to ten species of sympatric woodland-dependant birds. For each species, we rank a priori the expectation of fit of genetic response to the models according to the expected response of birds to loss of structural connectivity and landscape-scale tree-cover. These rankings (our hypotheses) are presented for testing with empirical genetic data in a subsequent contribution. We propose that this replicated landscape, multi-species approach offers a robust method for identifying the likely effects of landscape fragmentation on dispersal.

Structured development of an asynchronous forth processor using trace theory

This thesis examines the use of a structured design methodology in the design of asynchronous circuits so that high level constructs can be specified purely in terms of signal exchanges and without the intrusion of lower level concepts. Trace theory is used to specify a multi-processor Forth machine at a high level then part of the design is further elaborated using trace theory operations to (insure that the behaviours of the lower level constructs will combine to give the high level specified behaviour without locking or other hazards. A novel form of threaded language to take advantage of the machine architecture is developed. At suitable points the design is tested by simulation. The stack element which is designed is reduced to an electric circuit which is itself tested by simulation to verify the design.