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.

Personality and goal orientation as predictors of performance in a learning context

The current study aimed to investigate and provide furthering evidence of individual differences as determinants of task performance. This research focused on the effects of the personality traits Openness to Experience and Neuroticism, and two goal orientation traits. Learning Orientation and Avoid Orientation, on task performance. The hypotheses addressed the predictability of the traits, the differential effects of personality and goal orientation traits, and the mediating effects of goal orientation on the relationship between personality and performance. The results were based on questionnaire responses completed by a sample of 103 students. Scores on a computerised Air Traffic Control (ATC) decision-making task were used as a measure of task performance. Learning Orientation was found to be a significant predictor of performance, whilst the effect of Neuroticism was 'approaching' significance. Results indicated strong support for the differential relationship between personality traits and corresponding goal orientation traits. The mediating relationship between Openness to Experience, Learning Orientation and performance was also found to be 'approaching' significance. Results were indicative of the influences of personality and goal orientation on consequent performance outcomes. Implications were discussed, as well as suggestions for possible future directions in research assessing the predictabilit)' of individual differences in learning contexts.

Goal orientation, ability and task performance: A moderated analysis

Achievement goal orientation represents an individual's general approach to an achievement situation, and has important implications for how individuals react to novel, challenging tasks. However, theorists such as Yeo and Neal (2004) have suggested that the effects of goal orientation may emerge over time. Bell and Kozlowski (2002) have further argued that these effects may be moderated by individual ability. The current study tested the dynamic effects of a new 2x2 model of goal orientation (mastery/performance x approach/avoidance) on performance on a simulated air traffic control (ATC) task, as moderated by dynamic spatial ability. One hundred and one first-year participants completed a self-report goal orientation measure and computerbased dynamic spatial ability test and performed 30 trials of an ATC task. Hypotheses were tested using a two-level hierarchical linear model. Mastery-approach orientation was positively related to task performance, although no interaction with ability was observed. Performance-avoidance orientation was negatively related to task performance; this association was weaker at high levels of ability. Theoretical and practical implications will be discussed.

Antecedents of task-specific goal orientation: An investigation of task practice, personality and global goal orientation

Goal orientation, a mental framework for understanding how individuals approach learning and achievement situations, has emerged as an important topic in organisational psychology. This study investigated the effects of task practice, personality (openness to experience and neuroticism), and global goal orientation (predisposition to adopt a certain response pattern across all domains) on participants’ task-specific goal orientation (response pattern adopted for a specific task). One hundred and three participants performed an air traffic control task and their task-specific goal orientation was measured prior to each of a total of thirty trials. Results revealed an effect of task practice such that individuals’ task-specific learning orientation decreased over time while their task-specific prove orientation increased over time. The results also showed that individuals’ personality can influence their task-specific goal orientation and further, that this relationship can be mediated by global goal orientation. Specifically, the positive relationship between openness to experience and task-specific prove orientation was mediated by global prove orientation. Similarly, the positive relationship between neuroticism and task-specific avoid orientation was mediated by global avoid orientation. Theoretical and practical implications of these findings are considered.

Spatial, temporal, and human dimensions of air pollution in Brisbane

Arriving in Brisbane some six years ago, I could not help being impressed by what may be prosaically described as its atmospheric amenity resources. Perhaps this in part was due to my recent experiences in major urban centres in North America, but since that time, that sparkling quality and the blue skies seem to have progressively diminished. Unfortunately, there is also objective evidence available to suggest that this apparent deterioration is not merely the result of habituation of the senses. Air pollution data for the city show trends of increasing concentrations of those very substances that have destroyed the attractiveness of major population centres elsewhere, with climates initially as salubrious. Indeed, present figures indicate that photochemical smog in unacceptably high concentrations is rapidly becoming endemic also over Brisbane. These regrettable developments should come as no surprise. The society at large has not been inclined to respond purposefully to warnings of impending environmental problems, despite the experiences and publicity from overseas and even from other cities within Australia. Nor, up to the present, have certain politicians and government officials displayed stances beyond those necessary for the maintenance of a decorum of concern. At this stage, there still exists the possibility for meaningful government action without the embarrassment of losing political favour with the electorate. To the contrary, there is every chance that such action may be turned to advantage with increased public enlightenment. It would be more than a pity to miss perhaps the final remaining opportunity: Queensland is one of the few remaining places in the world with sufficient resources to permit both rational development and high environmental quality. The choice appears to be one of making a relatively minor investment now for a large financial and social gain the near future, or, permitting Brisbane to degenerate gradually into just another stagnated Los Angeles or Sydney. The present monograph attempts to introduce the problem by reviewing the available research on air quality in the Brisbane area. It also tries to elucidate some seemingly obvious, but so far unapplied management approaches. By necessity, such a broad treatment needs to make inroads into extensive ranges of subject areas, including political and legal practices to public perceptions, scientific measurement and statistical analysis to dynamics of air flow. Clearly, it does not pretend to be definitive in any of these fields, but it does try to emphasize those adjustable facets of the human use system of natural resources, too often neglected in favour of air pollution control technology. The crossing of disciplinary boundaries, however, needs no apology: air quality problems are ubiquitous, touching upon space, time and human interaction.

The influence of memory for prior instances on performance in a conflict detection task

In 3 experiments, the authors examined the role of memory for prior instances for making relative judgments in conflict detection. Participants saw pairs of aircraft either repeatedly conflict with each other or pass safely before being tested on new aircraft pairs, which varied in similarity to the training pairs. Performance was influenced by the similarity between aircraft pairs. Detection time was faster when a conflict pair resembled a pair that had repeatedly conflicted. Detection time was slower, and participants missed conflicts, when a conflict pair resembled a pair that had repeatedly passed safely. The findings identify aircraft features that are used as inputs into the memory decision process and provide an indication of the processes involved in the use of memory for prior instances to make relative judgments.

Air target detection via bistatic radar based on LEOS communication signals

The paper discusses the bistatic radar parameters for the case when the transmitter is a satellite emitting communication signals. The model utilises signals from an Iridium-like low earth orbiting satellite system. The maximum detection range, when thermal noise-limited, is discussed at the theoretical level and these results are compared with experimentation. Satellite-radar signal levels and the power of ground reflections are evaluated.

Cardiovascular implications of exposure to traffic air pollution during exercise

Regular aerobic exercise is recommended by physicians to improve health and longevity. However, individuals exercising in urban regions are often in contact with air pollution, which includes particles and gases associated with respiratory disease and cancer. We describe the recent evidence on the cardiovascular effects of air pollution, and the implications of exercising in polluted environments, with a view to informing clinicians and other health professionals. There is now strong evidence that fine and ultra fine particulate matter present in air pollution increases cardiovascular morbidity and mortality. The main mechanisms of disease appear to be related to an increase in the pathogenic processes associated with atherosclerosis. People exercising in environments pervaded by air contaminants are probably at increased risk, due to an exercise-induced amplification in respiratory uptake, lung deposition and toxicity of inhaled pollutants. We make evidence-based recommendations for minimizing exposure to air-borne toxins while exercising, and suggest that this advice be passed on to patients where appropriate.

Control of nutrient solutions for studies at high pH

Little is known about factors effecting plant growth at high pH, with research often limited by the inability to separate nutritional deficiencies and HCO3- toxicity from the direct limitations imposed under high pH conditions. Various methods of controlling dilute nutrient solutions for studies at high pH were investigated. For short-term studies, it was found that a solution without Cu, Fe, Mn and Zn and aerated with CO2 depleted air, greatly reduced nutrient precipitation at high pH, thus eliminating nutritional differences between treatments. Manual pH adjustment and the use of ion exchange resins as pH buffers were unsuitable methods of pH control. However, pH control by automated titration had little effect on solution composition while maintaining constant pH. The system described is suitable for studies in which the pH of the bulk nutrient solution must be maintained. The system was used to examine OH- toxicity in mungbeans (Vigna radiata (L.) Wilczek cv. Emerald), with root length reduced at a bulk solution pH of 8.5 and greater.

Flush air data system calibration using numerical simulation

The use of computational fluid dynamics simulations for calibrating a flush air data system is described, In particular, the flush air data system of the HYFLEX hypersonic vehicle is used as a case study. The HYFLEX air data system consists of nine pressure ports located flush with the vehicle nose surface, connected to onboard pressure transducers, After appropriate processing, surface pressure measurements can he converted into useful air data parameters. The processing algorithm requires an accurate pressure model, which relates air data parameters to the measured pressures. In the past, such pressure models have been calibrated using combinations of flight data, ground-based experimental results, and numerical simulation. We perform a calibration of the HYFLEX flush air data system using computational fluid dynamics simulations exclusively, The simulations are used to build an empirical pressure model that accurately describes the HYFLEX nose pressure distribution ol cr a range of flight conditions. We believe that computational fluid dynamics provides a quick and inexpensive way to calibrate the air data system and is applicable to a broad range of flight conditions, When tested with HYFLEX flight data, the calibrated system is found to work well. It predicts vehicle angle of attack and angle of sideslip to accuracy levels that generally satisfy flight control requirements. Dynamic pressure is predicted to within the resolution of the onboard inertial measurement unit. We find that wind-tunnel experiments and flight data are not necessary to accurately calibrate the HYFLEX flush air data system for hypersonic flight.