Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

The ethics of germ line gene manipulation - A five dimensional debate

Contributors to the debate surrounding the ethics of germ line gene manipulation have by and large concentrated their efforts on discussions of the potential risks that are associated with the use of this technology. Many international advisory committees have ruled out the acceptability of germ line gene manipulation at least for the time being. The purpose of this work is to generate much needed discussion on the many other ethical issues concerning the implementation of not only germ line gene manipulation but also other related biotechnologies. In this paper I systematically investigate and analyse the most salient issues put forward by proponents and opponents alike. I argue that if germ line manipulation proves to be a safe and effective procedure, then the principle of beneficence imposes on the medical profession a moral duty to pursue the technology.

Online conference case study: Creating a comfort zone within an emerging community of practice

This paper outlines the context and theoretical basis for the design, implementation and evaluation of an online conference conducted in 2003. The purpose of the conference was to provide postgraduate distance learners with an opportunity to interact with human factors and healthcare professionals, thereby providing them with exposure to this emerging community of practice. The conference was delivered through a WebCT site and stimulated various modes of interaction. The paper discusses the design and format of the conference and details an analysis of the online transcript that shows development of learning communities as “comfort zones” within which the participants could communicate in a common language and atmosphere of understanding over the 2 days that the conference ran.

The attentional demands of preferred and non-preferred gait patterns

The purpose of this study was to determine the attentional demands of natural and imposed gait, as well as the attentional costs of transitions between the walking and running co-ordination patterns. Seven healthy young men and four healthy young women undertook an auditory probe reaction time task concurrently with self-selected gait (Experiment 1) and imposed walking and running (Experiment 2) at different speeds on a motor-driven treadmill. In Experiment 1, where participants were free to choose their own movement pattern to match the speed of travel of the treadmill, normal gait control was shown to have a significant attentional cost, and hence not be automatic in the classical sense. However, this attentional cost did not differ between the two gait modes or at the transition point. In Experiment 2, where participants were required to maintain specific gait modes regardless of the treadmill speed, the maintenance of walking at speeds normally associated with running was found to have an attentional cost whereas this was not the case for running at normal walking speeds. Collectively the findings support a model of gait control in which the normal switching between gait modes is determined with minimal attention demand and in which it is possible to sustain non-preferred gait modes although, in the case of walking, only at a significant attentional/cognitive cost. © 2002 Elsevier Science B.V. All rights reserved.

Speech recognition in noise for cochlear implant listeners: Benefits of residual hearing

The purpose of this study was to explore the potential advantages, both theoretical and applied, of preserving low-frequency acoustic hearing in cochlear implant patients. Several hypotheses are presented that predict that residual low-frequency acoustic hearing along with electric stimulation for high frequencies will provide an advantage over traditional long-electrode cochlear implants for the recognition of speech in competing backgrounds. A simulation experiment in normal-hearing subjects demonstrated a clear advantage for preserving low-frequency residual acoustic hearing for speech recognition in a background of other talkers, but not in steady noise. Three subjects with an implanted "short-electrode" cochlear implant and preserved low-frequency acoustic hearing were also tested on speech recognition in the same competing backgrounds and compared to a larger group of traditional cochlear implant users. Each of the three short-electrode subjects performed better than any of the traditional long-electrode implant subjects for speech recognition in a background of other talkers, but not in steady noise, in general agreement with the simulation studies. When compared to a subgroup of traditional implant users matched according to speech recognition ability in quiet, the short-electrode patients showed a 9-dB advantage in the multitalker background. These experiments provide strong preliminary support for retaining residual low-frequency acoustic hearing in cochlear implant patients. The results are consistent with the idea that better perception of voice pitch, which can aid in separating voices in a background of other talkers, was responsible for this advantage.

Benefits of amplification for speech recognition in background noise

The purpose of the present study was to examine the benefits of providing audible speech to listeners with sensorineural hearing loss when the speech is presented in a background noise. Previous studies have shown that when listeners have a severe hearing loss in the higher frequencies, providing audible speech (in a quiet background) to these higher frequencies usually results in no improvement in speech recognition. In the present experiments, speech was presented in a background of multitalker babble to listeners with various severities of hearing loss. The signal was low-pass filtered at numerous cutoff frequencies and speech recognition was measured as additional high-frequency speech information was provided to the hearing-impaired listeners. It was found in all cases, regardless of hearing loss or frequency range, that providing audible speech resulted in an increase in recognition score. The change in recognition as the cutoff frequency was increased, along with the amount of audible speech information in each condition (articulation index), was used to calculate the "efficiency" of providing audible speech. Efficiencies were positive for all degrees of hearing loss. However, the gains in recognition were small, and the maximum score obtained by an listener was low, due to the noise background. An analysis of error patterns showed that due to the limited speech audibility in a noise background, even severely impaired listeners used additional speech audibility in the high frequencies to improve their perception of the "easier" features of speech including voicing

Coding Strategies of Indirect Reported Speech in Typological Perspective

The purpose of this paper is to provide a cross-linguistic survey of the variation of coding strategies that are available for the grammatical distinction between direct and indirect speech representation with a particular focus on the expression of indirect reported speech. Cross-linguistic data from a sample of 42 languages will be provided to illustrate the range of available grammatical coding strategies.

Project to investigate improving literacy and numeracy outcomes of distance education students in the early years of schooling

The project was commissioned to investigate and analyse the issue of effective support for distance education students in the early years of school to maximise literacy and numeracy outcomes. The scope of this project was limited to students living in rural and remote areas who are undertaking education at home and who are in their early years of schooling. For the purpose of this project, the early years are conceptualised as the first three years of formal compulsory schooling in each of the States and Territories. There were a number of key tasks for the project which included: 1. Examining of the role of home tutors/supervisors This included interviewing personnel from the State and Territory distance education providers as well as the principals, teachers, home tutors and children. 2. Describing literacy and numeracy teaching and learning, and the use of information and communication technologies (ICT) in distance education This aspect of the project involved a critical review and analysis of relevant literature and reports in the last five years, and a consideration of the new initiatives that had been implemented in the States and Territories in the last two years. 3. The development of resources Through examination of the role of home tutors/supervisors, and an examination of literacy and numeracy and the use of technology in distance education, three resources were developed: ● A guide for home tutors/supervisors and schools of distance education about effective intervention and assessment strategies to support students’ learning and to assist the home tutors/supervisors in implementing ICT to support the development of literacy and numeracy in the early years. ● A calendar of activities for literacy and numeracy that would act as a stimulus for integrated and authentic activity for young children. ● An embryonic website of resources for the stakeholders in rural and distance education that might act as a catalyst for future resource building and sharing. In this way the final key task of the project, which was to create a context for a strategic dissemination plan, was realised when a strategy to address effective dissemination of the findings of the project so as to maximise their usefulness for the relevant groups was achieved.

Effects of azadirachtin on Ctenocephalides felis in the dog and the cat

Azadirachtin-containing neem seed extract is a powerful insect growth regulator, a feeding deterrent and repellent with low toxicity. Unfortunately, azadirachtin degrades rapidly in light, excessive heat or alkalinity. Evaluations of azadirachtin on ectoparasites on animals have been scarce. The purpose of this work was to describe the effects of normal and potentiated azadirachtin on Ctenocephalides felis in the dog or cat. Groups of kennelled greyhounds and domestic cats infested with C. felis were sprayed once with azadirachtin containing neem seed extract with or without diethyltoluamide (Deer) and/or citronella. Methanolic extracts with 200, 1000 or 2400 ppm azadirachtin reduced fleas in a dose-dependent manner. Compared with fleas counted on treated dogs just before treatment and untreated infested dogs, 1000-2400 ppm azadirachtin reduced fleas 93-53% for 19 days. However, combined with 500 ppm Deet and 33% w/v citronella, only 500 ppm azadirachtin reduced fleas 95-62% for 20 days. On cats inoculated with 50 fleas 2 days before treatment, the combination reduced fleas and eggs 100% to day 6 and 83-51% from days 7 to 9. On petri dishes, the combination achieved 100% egg mortality up to day 7 and 80% to day 14 and 38-52% to to days 21-28. Deet, with or without neem seed extract or citronella, and citronella, with or without neem, did not reduce fleas significantly. The results show that azadirachtin reduced fleas in a dose-dependent manner in flea-contaminated environments. In cats, the combination killed most fleas within 24 h, providing effective flea control for 7 days. The results suggest that Deet with citronella potentiated the effect of azadirachtin on C. felis. (C) 1998 Elsevier Science B.V.

Ethanol inhibition of brain ornithine decarboxylase activity in the postnatal rat

The purpose of this study was to determine the relationship between ornithine decarboxylase activity (ODC; a marker for perturbed cell development), the blood alcohol level, and alcohol-induced microencephaly in the developing rat brain after binge treatment with ethanol vapour. By manipulating ethanol flow we were able to adjust vapour concentrations (24-65 mg ethanol/l air) such that an acute exposure of ethanol vapour for 3 h resulted in a range of blood alcohol levels (2.3-5.5 mg/ml). Acute studies showed that ethanol dose-dependently inhibited rat hippocampal and cerebellar ODC activity at PND4-PND10. There was a significant correlation between the blood alcohol level and degree of inhibition at all ages tested. Chronic treatment from PND4 to PND9 caused a significant decrease in both brain to body weight ratio and in hippocampal and cerebellar ODC activities at PND10. These results indicate that ethanol-induced disruption in ODC could play a significant role in ethanol's teratogenic effects during early postnatal development. (C) 1998 Elsevier Science Inc.

Cluster analysis of self-awareness levels in adults with traumatic brain injury and relationship to outcome

The purpose of this study was to investigate the relationship between self-awareness, emotional distress, motivation, and outcome in adults with severe traumatic brain injury. A sample of 55 patients were selected from 120 consecutive patients with severe traumatic brain injury admitted to the rehabilitation unit of a large metropolitan public hospital. Subjects received multidisciplinary inpatient rehabilitation and different types of outpatient rehabilitation and community-based services according to availability and need, Measures used in the cluster analysis were the Patient Competency Rating Scale, Self-Awareness of Deficits Interview, Head Injury Behavior Scale, Change Assessment Questionnaire, the Beck Depression Inventory, and Beck Anxiety Inventory; outcome measures were the Disability Rating Scale, Community Integration Questionnaire, and Sickness Impact Profile. A three-cluster solution was selected, with groups labeled as high self-awareness (n = 23), low self-awareness (n = 23), and good recovery (n = 8). The high self-awareness cluster had significantly higher levels of self-awareness, motivation, and emotional distress than the low self-awareness cluster but did not differ significantly in outcome. Self-awareness after brain injury is associated with greater motivation to change behavior and higher levels of depression and anxiety; however, it was not clear that this heightened motivation actually led to any improvement in outcome. Rehabilitation timing and approach may need to be tailored to match the individual's level of self-awareness, motivation, and emotional distress.