Functional analysis of a real-time protocol for networked control systems

Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.

Integrating spatial optimization and cellular automata for evaluating urban change

Urban growth and change presents numerous challenges for planners and policy makers. Effective and appropriate strategies for managing growth and change must address issues of social, environmental and economic sustainability. Doing so in practical terms is a difficult task given the uncertainty associated with likely growth trends not to mention the uncertainty associated with how social and environmental structures will respond to such change. An optimization based approach is developed for evaluating growth and change based upon spatial restrictions and impact thresholds. The spatial optimization model is integrated with a cellular automata growth simulation process. Application results are presented and discussed with respect to possible growth scenarios in south east Queensland, Australia.

Accelerating precursory activity within a class of earthquake analogue automata

A statistical fractal automaton model is described which displays two modes of dynamical behaviour. The first mode, termed recurrent criticality, is characterised by quasi-periodic, characteristic events that are preceded by accelerating precursory activity. The second mode is more reminiscent of SOC automata in which large events are not preceded by an acceleration in activity. Extending upon previous studies of statistical fractal automata, a redistribution law is introduced which incorporates two model parameters: a dissipation factor and a stress transfer ratio. Results from a parameter space investigation indicate that a straight line through parameter space marks a transition from recurrent criticality to unpredictable dynamics. Recurrent criticality only occurs for models within one corner of the parameter space. The location of the transition displays a simple dependence upon the fractal correlation dimension of the cell strength distribution. Analysis of stress field evolution indicates that recurrent criticality occurs in models with significant long-range stress correlations. A constant rate of activity is associated with a decorrelated stress field.

Testing java interrupts and timed waits

Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java components. In this paper, we extend that work by presenting and discussing techniques for testing Java thread interrupts and timed waits. Testing thread interrupts is important because every Java component that calls wait must have code dealing with these interrupts. For a component that uses interrupts and timed waits to provide its basic functionality, the ability to test these features is clearly even more important. We discuss the application of the techniques and tool support to one such component, which is a nontrivial implementation of the readers-writers problem.

Combining influence maps and cellular automata for reactive game agents

Agents make up an important part of game worlds, ranging from the characters and monsters that live in the world to the armies that the player controls. Despite their importance, agents in current games rarely display an awareness of their environment or react appropriately, which severely detracts from the believability of the game. Some games have included agents with a basic awareness of other agents, but they are still unaware of important game events or environmental conditions. This paper presents an agent design we have developed, which combines cellular automata for environmental modeling with influence maps for agent decision-making. The agents were implemented into a 3D game environment we have developed, the EmerGEnT system, and tuned through three experiments. The result is simple, flexible game agents that are able to respond to natural phenomena (e.g. rain or fire), while pursuing a goal.

Tennis, incidence of URTI and salivary IgA

Tennis played at an elite level requires intensive training characterized by repeated bouts of brief intermittent high intensity exercise over relatively long periods of time (1 - 3 h or more). Competition can place additional stress on players. The purpose of this study was to investigate the temporal association between specific components of tennis training and competition, the incidence of upper respiratory tract infections (URT1), and salivary IgA, in a cohort of seventeen elite female tennis players. Timed, whole unstimulated saliva samples were collected before and after selected 1-h training sessions at 2 weekly intervals, over 12 weeks. Salivary IgA concentration was measured by ELISA and IgA secretion rate calculated (mug IgA x ml(-1) x ml saliva x min(-1)). Players reported URTI symptoms and recorded training and competition in daily logs. Data analysis showed that higher incidence of URTI was significantly associated with increased training duration and load, and competition level, on a weekly basis. Salivary IgA secretion rate (S-IgA) dropped significantly after 1 hour of tennis play. Over the 12-week period, pre-exercise salivary IgA concentration and secretion rate were directly associated with the amount of training undertaken during the previous day and week (p < 0.05). However, the decline in S-IgA after 1 h of intense tennis play was also positively related to the duration and load of training undertaken during the previous day and week (p < 0.05). Although exercise-induced suppression of salivary IgA may be a risk factor, it could not accurately predict the occurrence of URTI in this cohort of athletes.

Normal values of balance tests in women aged 20-80

OBJECTIVES: To determine normal values for four commonly used clinical functional balance tests from community-dwelling women aged 20 to 80 and to identify any significant decline due to aging. DESIGN: A cross-sectional study was undertaken to provide normative values for four clinical balance tests across 6 decade cohorts. SETTING: The Betty Byrne-Henderson Center for Women and Aging, Royal Womens' Hospital, Brisbane, Australia. PARTICIPANTS: Four hundred fifty-six community-dwelling, independently ambulant women with no obvious neurological or musculoskeletal-related disability, aged 20 to 80, were randomly recruited from a large metropolitan region. MEASUREMENTS: The clinical balance measures/tests were the Timed Up and Go test, step test, Functional Reach test, and lateral reach test. Multivariate analysis was used to test the effect for age, height, and activity level. RESULTS: Normal data were produced for each test across each decade cohort. Gradual decline in balance performance was confirmed, with significant effect for age demonstrated. CONCLUSION: New normative data across the adult age decades are available for these clinical tests. Use of clinical balance tests could complement other balance tests and be used to screen women aged 40 to 60 whose performance is outside the normal values for age and to decrease later falls risk.