Programming internet based DAI applications in Qu-Prolog

This paper presents the unique collection of additional features of Qu-Prolog, a variant of the Al programming language Prolog, and illustrates how they can be used for implementing DAI applications. By this we mean applications comprising communicating information servers, expert systems, or agents, with sophisticated reasoning capabilities and internal concurrency. Such an application exploits the key features of Qu-Prolog: support for the programming of sound non-clausal inference systems, multi-threading, and high level inter-thread message communication between Qu-Prolog query threads anywhere on the internet. The inter-thread communication uses email style symbolic names for threads, allowing easy construction of distributed applications using public names for threads. How threads react to received messages is specified by a disjunction of reaction rules which the thread periodically executes. A communications API allows smooth integration of components written in C, which to Qu-Prolog, look like remote query threads.

Tool support for executable documentation of Java class hierarchies

While object-oriented programming offers great solutions for today's software developers, this success has created difficult problems in class documentation and testing. In Java, two tools provide assistance: Javadoc allows class interface documentation to be embedded as code comments and JUnit supports unit testing by providing assert constructs and a test framework. This paper describes JUnitDoc, an integration of Javadoc and JUnit, which provides better support for class documentation and testing. With JUnitDoc, test cases are embedded in Javadoc comments and used as both examples for documentation and test cases for quality assurance. JUnitDoc extracts the test cases for use in HTML files serving as class documentation and in JUnit drivers for class testing. To address the difficult problem of testing inheritance hierarchies, JUnitDoc provides a novel solution in the form of a parallel test hierarchy. A small controlled experiment compares the readability of JUnitDoc documentation to formal documentation written in Object-Z. Copyright (c) 2005 John Wiley & Sons, Ltd.

Moomba - A collaborative environment for supporting distributed extreme programming in global software development

Global Software Development (GSD) is an emerging distributive software engineering practice, in which a higher communication overhead due to temporal and geographical separation among developers is traded with gains in reduced development cost, improved flexibility and mobility for developers, increased access to skilled resource-pools and convenience of customer involvements. However, due to its distributive nature, GSD faces many fresh challenges in aspects relating to project coordination, awareness, collaborative coding and effective communication. New software engineering methodologies and processes are required to address these issues. Research has shown that, with adequate support tools, Distributed Extreme Programming (DXP) – a distributive variant of an agile methodology – Extreme Programming (XP) can be both efficient and beneficial to GDS projects. In this paper, we present the design and realization of a collaborative environment, called Moomba, which assists a distributed team in both instantiation and execution of a DXP process in GSD projects.

Computer-aided programming using formally specificed design templates

This paper describes a formal component language, used to support automated component-based program development. The components, referred to as templates, are machine processable, meaning that appropriate tool support, such as retrieval support, can be developed. The templates are highly adaptable, meaning that they can be applied to a wide range of problems. Some of the main features of the language are described, including: higher-order parameters; state variable declarations; specification statements and conditionals; applicability conditions and theories; meta-level place holders; and abstract data structures.

Rough Notes on Programming AVR Microcontrollers in C

These notes follow on from the material that you studied in CSSE1000 Introduction to Computer Systems. There you studied details of logic gates, binary numbers and instruction set architectures using the Atmel AVR microcontroller family as an example. In your present course (METR2800 Team Project I), you need to get on to designing and building an application which will include such a microcontroller. These notes focus on programming an AVR microcontroller in C and provide a number of example programs to illustrate the use of some of the AVR peripheral devices.

Public support for sustainable commercial harvesting of wildlife: An Australian case study

This paper surveys a sample of 204 members of the Australian public to determine their attitude to the sustainable commercial harvesting of wildlife generally, and considers their specific support for the sustainable commercial harvesting of each of 24 Australian native species. The general attitude of the sample to wildlife harvesting is related to their attitude to nature conservation. The relationship between respondents’ support for the sustainable commercial harvesting of each of the species and their degree of endangerment based on IUCN Red List rankings is established and found to be an inverse one. Support for the commercial sustainable use of each of the species is compared with the willingness of respondents to pay for their conservation. Support for sustainable commercial harvesting of species is found to be inversely related to the willingness of respondents to pay is for a particular species’ conservation. In turn, this willingness to pay is found to rise with the degree of endangerment of species. While the likeability of a species has some influence on whether there is support or not for its commercial harvesting, it does not seem to be the predominant influence— the degree of endangerment of a species appears to be the major influence here. Even so, this does not imply majority support for the harvest of all species that are not threatened; rather, majority support for harvest was observed only for some species known to be abundant. None of the species that appear in the Red List have majority support for harvesting. Implications are outlined of the results for the policy of promoting wildlife conservation by means of sustainable use.

Comparative public support for conserving reptile species is high: Australian evidence and its implications

This paper investigates factors influencing the public’s support for conservation of tropical reptile species in a focal group drawing on Australian data and an experiment involving a sample of the Australian public. The influences of the likeability of the species, their degree of endangerment, ethical considerations as well as knowledge are examined and found to be important. Likeability is found to be much less important than the existing literature suggests. This is highlighted by comparing the likeability of the focal group of reptiles with that for a group of birds and a group of mammals with differences in willingness to pay for their conservation.

Dependence of public support for survival of wildlife species on their likeability

We surveyed a sample of 204 individuals selected from the public in Brisbane, Australia, to ascertain the extent to which they like or dislike 24 species of wildlife present in tropical Australia. The species belong to three classes: mammals, birds and reptiles. We calculated likeability indices for each of these species. We also asked respondents if they favoured the survival of each of these species and so the percentage of respondents favouring survival of each of these species could be calculated. Thus, using linear regression analysis, the percentage of respondents favouring survival of each of the species was related to their indices of likeability. In addition, the data enables the average likeability of species in the three classes (mammals, birds and reptiles) to be compared with the average support for survival of species in each of these three classes. As a result, we are able to assess how important stated likeability seems to be for preferences for survival of species, and to reconsider the hypothesis in the literature that there is likely to be more public support for the survival of mammals than for birds than for reptiles.

CO2 reforming of methane on Ni catalysts: Effects of the support phase and preparation technique

The effects of the support phase and catalyst preparation methods on catalytic activity and carbon deposition were systematically investigated over nickel catalysts supported on Al2O3, SiO2 and MgO for the reforming reaction of methane with carbon dioxide. It is found that the pore structure of the support and metal-support interaction significantly affected the catalytic activity and coking resistance. Catalyst with well-developed porosity exhibited higher catalytic activity. Strong interaction between metal and the support made the catalyst more resistant to sintering and coking, thus resulting in a longer time of catalyst stability. (C) 1998 Elsevier Science B.V.

Response (re-)programming in aging: A kinematic analysis

Background. Age-related motor slowing may reflect either motor programming deficits, poorer movement execution, or mere strategic preferences for online guidance of movement. We controlled such preferences, limiting the extent to which movements could be programmed. Methods. Twenty-four young and 24 older adults performed a line drawing task that allowed movements to he prepared in advance in one case (i.e., cue initially available indicating target location) and not in another (i.e., no cue initially available as to target location). Participants connected large or small targets illuminated by light-emitting diodes upon a graphics tablet that sampled pen tip position at 200 Hz. Results. Older adults had a disproportionate difficulty initiating movement when prevented from programming in advance. Older adults produced slower, less efficient movements, particularly when prevented from programming under greater precision requirements. Conclusions. The slower movements of older adults do not simply reflect a preference for online control, as older adults have less efficient movements when forced to reprogram their movements. Age-related motor slowing kinematically resembles that seen in patients with cerebellar dysfunction.

Effects of coping strategies, social support and work-nonwork conflict on shift worker's health

Objectives This study examines the direct and mediated effects of shift workers' coping strategies and social support on structural work-nonwork conflict and subjective health. Methods The participants were 172 registered female nurses, aged 21 to 40 years. They all worked full-time, on rapidly rotating, 8-hour shifts in metropolitan general hospitals. All the respondents completed a self-administered questionnaire requesting demographic information and data on sources of social support, work-nonwork conflict, and coping strategies. Results A path model with good fit (chi(2)=28.88, df=23, P>.23, CFI=0.97) demonstrated complex effects of social support and coping on structural work-nonwork conflict and health. Conclusions Structural work-nonwork conflict mediated the effects of social support from supervisors and emotionally expressive coping on psychological symptoms. Control of shifts mediated the effect of social support from supervisors on structural work-nonwork conflict. Disengagement coping had direct and mediated effects on psychological and physical health. However, it also had mediated effects, with the effect on psychological health being mediated by support from co-workers and the effect on physical symptoms being mediated by family support. Go-worker support mediated the effect of social support from supervisors on psychological symptoms. Overall, these findings support previous research and clarify the process by which coping strategies and social support affect structural work-nonwork conflict and health in shift work.

Flyash as support for Ni catalysts in carbon dioxide reforming of methane

A series of Ni catalysts supported on flyash treated by various chemical methods was tested for carbon dioxide reforming of methane. Ni catalyst on the flyash treated with CaO (Ni/Ash-CaO) shows high conversion and stability, being close to those of the well-reported Ni/Al2O3 and Ni/SiO2 catalysts with conversions approaching thermodynamic equilibrium levels.

Optimal release strategies for biological control agents: an application of stochastic dynamic programming to population management

1. Establishing biological control agents in the field is a major step in any classical biocontrol programme, yet there are few general guidelines to help the practitioner decide what factors might enhance the establishment of such agents. 2. A stochastic dynamic programming (SDP) approach, linked to a metapopulation model, was used to find optimal release strategies (number and size of releases), given constraints on time and the number of biocontrol agents available. By modelling within a decision-making framework we derived rules of thumb that will enable biocontrol workers to choose between management options, depending on the current state of the system. 3. When there are few well-established sites, making a few large releases is the optimal strategy. For other states of the system, the optimal strategy ranges from a few large releases, through a mixed strategy (a variety of release sizes), to many small releases, as the probability of establishment of smaller inocula increases. 4. Given that the probability of establishment is rarely a known entity, we also strongly recommend a mixed strategy in the early stages of a release programme, to accelerate learning and improve the chances of finding the optimal approach.