Sex allocation in the sexually monomorphic fairy martin

Offspring sex ratios were examined at the population and family level in the sexually monomorphic, socially monogamous fairy martin Petrochelidon ariel at five colony sites over a 4-year period (1993 1996). The sex of 465 nestlings from 169 broods % as determined using sex-specific PCR at the CHD locus. In accordance with predicted sex allocation patterns, population sex ratios at hatching and fledging did not differ from parity in an), year and the variance in brood sex ratios did not deviate from the binomial distribution, Further, brood sex ratio did not vary with hatching date during the season, brood number, brood size or colony size, The sex ratio or broods with extra-pair young did not differ from those without, while the sex ratio of broods fathered by males that gained extra-pair fertilizations did not differ from broods fathered by other males. Extra-pair chicks were as likely to be male as female. Neither the total number of feeding visits to the brood nor the relative feeding contribution by the sexes varied significantly with brood sex ratio. Brood sex ratios were also unrelated to paternal size, condition and breeding experience or maternal condition and breeding experience, However, contrary to our prediction, brood sex ratio was negatively correlated with maternal size. Generally, these results were consistent with our expectations that brood sex ratios would not vary with environmental factors or parental characteristics, and would not influence the level of parental provisioning. However, the finding that females with longer tarsi produced an excess of daughters is difficult to reconcile with our current understanding or fairy martin life history and breeding ecology.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.