Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.

On the Dynamics of Mining Operations in Open Pit Mines

In this paper, mining dynamics is defined as the relationship between the mining rate and movement of mining operations conducted on the benches of a surface mine. This relationship describes the intensity of the pit development in space, in order to meet ore demand at the mill over time. Meeting the mill ore demand is a key factor in optimizing production scheduling in surface mines. Displacement velocity of mining operations within cutbacks, or independent pit units, is introduced in the context of long-term mine planning. Displacement velocity allows the place and time of transition of the mining operations from one independent pit unit to another to be determined as the condition for meeting the mill ore demand. An application using data from Mt Keith Nickel Operations in Western Australia is used to elaborate on the methods presented.

Increasing the efficacy of Judas goats by sterilisation and pregnancy termination

The use of Judas goats to locate remnant animals is a potentially powerful tool for enhancing goat-eradication efforts, which are especially important to island conservation. However, current Judas goat methodology falls short of its potential efficacy. Female Judas goats are often pregnant at the time of deployment or become impregnated in the field; pregnant females leave associated goats to give birth, causing downtime of Judas goat operations. Further, male Judas goats may inseminate remnant females. Sterilising Judas goats prior to deployment removes these inefficiencies. Here, we describe two methods (epididymectomy for males and tubal occlusion for females) that sterilise Judas goats while still maintaining sexual motivation and other behaviours associated with intact animals. These surgeries are straightforward, time efficient, and may be conducted in the field by staff with minimal training. Given the widespread and deleterious impacts of non-native herbivores to ecosystems and the importance of Judas operations in detecting animals at low densities, sterilisation and termination of pregnancy should be applied routinely in Judas goat (and possibly other species) programs to increase the efficacy of low-density control operations and eradication campaigns.

Effects of psychological contract breach on performance of IT employees: The mediating role of affective commitment

In this study, we investigated the relationships between psychological contract breach, affective commitment, and two types of employee performance (i.e. civic virtue behaviour and in-role performance). It was predicted that an experience of contract breach can severely hurt the affective commitment of the employees and this, in turn, results in poor in-role performance and less civic virtue behaviours. Results revealed that affective commitment had differential mediating effects on the two types of employee performance. That is, affective commitment mediated the relationship between breach and self-reported and supervisor-rated civic virtue, but not the relationship between breach and in-role performance.

Isolation of an imaginal disc growth factor homologue from Pieris rapae and its expression following parasitization by Cotesia rubecula

Endoparasitoid insects introduce maternal factors into the body of their host at oviposition to suppress cellular defences for the protection of the developing parasitoid. We have shown that transient expression of polydnavirus genes from a hymenopteran parasitoid Cotesia rubecula (CrPDV) is responsible for the inactivation of hemocytes from the lepidopteran host Pieris rapae. Since the observed downregulation of CrPDV genes in infected host tissues is not due to cis-regulatory elements at the CrV1 gene locus, we speculated that the termination of CrPDV gene expression may be due to cellular inactivation caused by the CrV1-mediated immune suppression of infected tissues. To test this assumption, we isolated an imaginal disc growth factor (IDGF) that is expressed in fat body and hemocytes, the target of viral infection and expression of CrPDV genes. Time-course experiments showed that the level of P. rapae IDGF is not affected by parasitization and polydnavirus infection. However, the amount of highly expressed genes, such as storage proteins, arylphorin and lipophorin, are significantly reduced following parasitization. (C) 2004 Elsevier Ltd. All rights reserved.

Canine model for investigating the impact of oral enrofloxacin on commensal coliforms and colonization with multidrug-resistant Escherichia coli

A model was developed in dogs to determine the impact of oral enrofloxacin administration on the indigenous coliform population in the gastrointestinal tract and subsequent disposition to colonization by a strain of multidrug-resistant Escherichia coli (MDREC). Dogs given a daily oral dose of 5 mg enrofloxacin kg(-1) for 21 consecutive days showed a significant decline in faecal coliforms to levels below detectable limits by 72 In of administration. Subsequently, faecal coliforms remained suppressed throughout the period of enrofloxacin dosing. Upon termination of antibiotic administration, the number of excreted faecal coliforms slowly returned over an 8-day period, to levels comparable to those seen prior to antibiotic treatment. Enrofloxacin-treated dogs were more effectively colonized by MDREC, evidenced by a significantly increased count of MDREC in the faeces (7.1 +/- 1.5 log(10) g(-1)) compared with non-antibiotic-treated dogs (5.2 +/- 1.2; P = 0.003). Furthermore, antibiotic treatment also sustained a significantly longer period of MDREC excretion in the faeces (26.8 +/- 10.5 days) compared with animals not treated with enrofloxacin (8.5 +/- 5.4 days; P = 0.0215). These results confirm the importance of sustained delivery of an antimicrobial agent to maintain and expand the colonization potential of drug-resistant bacteria in vivo, achieved in part by reducing the competing commensal coliforms in the gastrointestinal tract to below detectable levels in the faeces. Without in vivo antimicrobial selection pressure, commensal coliforms dominated the gastrointestinal tract at the expense of the MDREC population. Conceivably, the model developed could be used to test the efficacy of novel non-antibiotic strategies aimed at monitoring and controlling gastrointestinal colonization by multidrug-resistant members of the Enterobacteriaceae that cause nosocomial infections.

Modeling the development of acquired clinical immunity to Plasmodium falciparum malaria

Individuals living in regions where malaria is endemic develop an acquired immunity to malaria which enables them to remain asymptomatic while still carrying parasites. Field studies indicate that cumulative exposure to a variety of diverse Plasmodium parasites is required for the transition from symptomatic to asymptomatic malaria. This study used a simulation model of the within-host dynamics of P. falciparum to investigate the development of acquired clinical immunity under different transmission conditions and levels of parasite diversity. Antibodies developed to P. falciparum erythrocyte membrane protein 1 (PfEMP1), a clonally variant molecule, were assumed to be a key human immunological response to P. falciparum infection, along with responses to clonally conserved but polymorphic antigens. The time to the development of clinical immunity was found to be proportional to parasite diversity and inversely proportional to transmission intensity. The effect of early termination of symptomatic infections by chemotherapy was investigated and found not to inhibit the host's ability to develop acquired immunity. However, the time required to achieve this state was approximately double that compared to when no treatment was administered. This study demonstrates that an immune response primarily targeted against PfEMP1 has the ability to reduce clinical symptoms of infections irrespective of whether treatment is administered, supporting its role in the development of acquired clinical immunity. The results also illustrate a novel use for simulation models of P. falciparum infections, investigation of the influence of intervention strategies on the development of naturally acquired clinical immunity.

Extending choreography with business contract constraints

Business contracts play a central role in governing commercial interactions between organizations. It is increasingly recognized that business contract conditions need to be closely linked to internal and external business processes, both to reduce the risk of contract violations and to ensure compliance with legislative regimes. Recent research has proposed contract languages allowing the specification of obligations, permissions and prohibitions in business contracts. Business processes that cross-organizational boundaries can be specified in choreography and coordination languages but these do not provide appropriate abstractions for contract constraints. In this paper, we examine the transformation of contract constraints in a business contract language into expressions in a choreography language. An example cross-organizational process is presented, along with a specification of the process in a choreography language and a specification of a set of contract conditions for the process in a business contract language. The contract terms are then translated into choreography expressions that govern the process to ensure compliance. Subsequent discussion explores a number of business and technology issues related to the results. We conclude that cross-organizational business processes can be monitored and enforced according to business contract specifications through the transformation of a contract definition to constraints on process behavior.

Hydraulic properties of layered soils influence survival of Rhodes grass (Chloris gayana Kunth.) during water stress

Survival of vegetation on soil-capped mining wastes is often impaired during dry seasons due to the limited amount of water stored in the shallow soil capping. Growth and survival of Rhodes grass (Chloris gayana) during soil drying on various layered capping sequences constructed of combinations of topsoil, subsoil, seawater-neutralised residue sand and low grade bauxite was determined in a glasshouse. The aim was to describe the survival of Rhodes grass in terms of plant and soil water relationships. The soil water characteristic curve and soil texture analysis was a good predictor of plant survival. The combination of soil with a high water holding capacity and low soil water diffusivity (e.g. subsoil with high clay contents) with soil having a high water holding capacity and high diffusivity (e.g. residue sand) gave best survival during drying down (up to 88 days without water), whereas topsoil and low grade bauxite were unsuitable (plants died within 18-39 days). Clayey soil improved plant survival by triggering a water stress response during peak evaporative water demand once residue sand dried down and its diffusivity fell below a critical range. Thus, for revegetation in seasonally dry climates, soil capping should combine one soil with low diffusivity and one or more soils with high total water holding capacity and high diffusivity.

Revegetation strategies for bauxite refinery residue: A case study of Alcan Gove in Northern Territory, Australia

Alumina extraction from bauxite ore with strong alkali produces waste bauxite refinery residue consisting of residue sand and red mud. The amount and composition of refinery residue depend on the purity of the bauxite ore and extraction conditions, and differs between refineries. The refinery residue is usually stored in engineered disposal areas that eventually have to be revegetated. This is challenging because of the alkaline and sodic nature of the residue. At Alcan Gove's bauxite refinery in Gove, Northern Territory, Australia, research into revegetation of bauxite residue has been conducted since the mid-1970s. In this review, we discuss approaches taken by Alcan Gove to achieve revegetation outcomes (soil capping of refinery residue) on wet-slurry disposal areas. Problems encountered in the past include poor drainage and water logging during the wet season, and salt scalding and capillary rise during the dry season. The amount of available water in the soil capping is the most important determinant of vegetation survival in the seasonally dry climate. Vegetation cover was found to prevent deterioration of the soil cover by minimising capillary rise of alkalinity from the refinery residue. The sodicity and alkalinity of the residue in old impoundments has diminished slightly over the 25 years since it was deposited. However, development of a blocky structure in red mud, presumably due to desiccation, allows root penetration, thereby supplying additional water to salt and alkali-tolerant plant species. This has led to the establishment of an ecosystem that approaches a native woodland.