Mutation analysis to verify feature matrices for isolating errors in simulation models

Software simulation models are computer programs that need to be verified and debugged like any other software. In previous work, a method for error isolation in simulation models has been proposed. The method relies on a set of feature matrices that can be used to determine which part of the model implementation is responsible for deviations in the output of the model. Currrently these feature matrices have to be generated by hand from the model implementation, which is a tedious and error-prone task. In this paper, a method based on mutation analysis, as well as prototype tool support for the verification of the manually generated feature matrices is presented. The application of the method and tool to a model for wastewater treatment shows that the feature matrices can be verified effectively using a minimal number of mutants.

Excess in cardiovascular events on mondays: a meta-analysis analysis and prospective study

The aim of this paper was to summarise the reported excess in coronary events on Mondays, and examine the evidence for three competing explanations: stress, alcohol consumption, or registration errors. A review of the literature found 28 studies covering 16 countries and over 1.6 million coronary events. The overall Monday excess was small; in a population experiencing 100 coronary events per week there was one more event on Monday than other days. The excess was larger in men and in studies including sudden cardiac death or cardiac arrests. In a prospective study an increase in events on Mondays was associated with greater alcohol consumption, lower rainfall, and the month of January. The excess in coronary events on Mondays is a persistent phenomenon. The size of the effect varies widely between populations. There is some evidence of an association with alcohol consumption, but a definitive explanation remains elusive and is likely to remain so because of the smallness of the effect and the paucity of high quality data.

Performance comparison between uniformly and nonuniformly spaced adaptive antennas with respect to tolerance to pointing errors

The paper presents theoretical and experimental investigations into performances of narrowband uniformly and nonuniformly spaced adaptive linear dipole array antennas that are subjected to pointing errors. The analysis focuses on the array's output Signal to Interference plus Noise Ratio. The presence of mutual coupling between the array elements is taken into account. It is shown that the array's tolerance to pointing errors can be enhanced by controlling the interelement spacing. (c) 2006 Wiley Periodicals, Inc.

Longitudinal Genetic Analysis of Plasma Lipids

The consensus from published studies is that plasma lipids are each influenced by genetic factors, and that this contributes to genetic variation in risk of cardiovascular disease. Heritability estimates for lipids and lipoproteins are in the range .48 to .87, when measured once per study participant. However, this ignores the confounding effects of biological variation measurement error and ageing, and a truer assessment of genetic effects on cardiovascular risk may be obtained from analysis of longitudinal twin or family data. We have analyzed information on plasma high-density lipoprotein (HDL) and low-density lipoprotein (LDL) cholesterol, and triglycerides, from 415 adult twins who provided blood on two to five occasions over 10 to 17 years. Multivariate modeling of genetic and environmental contributions to variation within and across occasions was used to assess the extent to which genetic and environmental factors have long-term effects on plasma lipids. Results indicated that more than one genetic factor influenced HDL and LDL components of cholesterol, and triglycerides over time in all studies. Nonshared environmental factors did not have significant long-term effects except for HDL. We conclude that when heritability of lipid risk factors is estimated on only one occasion, the existence of biological variation and measurement errors leads to underestimation of the importance of genetic factors as a cause of variation in long-term risk within the population. In addition our data suggest that different genes may affect the risk profile at different ages.

Formal analysis of human-computer interaction using model checking

Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in human reliability assessment (HRA). This paper investigates an approach to task failure analysis based on patterns of behaviour, by contrast to more traditional event-based approaches. It considers, as a case study, a formal model of an air traffic control (ATC) system which incorporates controller behaviour. The cognitive model is formalised in the CSP process algebra. Patterns of behaviour are expressed as temporal logic properties. Then a model-checking technique is used to verify whether the decomposition of the operator's behaviour into patterns is sound and complete with respect to the cognitive model. The decomposition is shown to be incomplete and a new behavioural pattern is identified, which appears to have been overlooked in the analysis of the data provided by the experiments with the simulator. This illustrates how formal analysis of operator models can yield fresh insights into how failures may arise in interactive systems.