Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

The impact of cleaner processing on nutrient availability in the bleached kraft industry.

The pulp and paper industry has invested heavily over recent years in cleaner processing, to reduce losses and minimise its impact on the environment. Over the past fifteen years, a New Zealand integrated bleached kraft mill has undergone a comprehensive programme of upgrades to increase production, reduce water consumption and streamline its biological treatment process. Whilst the overall discharge of contaminants from the site decreased, the treatment system performance did not show a concurrent improvement as may have been expected. Reduced BOD removal, low dissolved oxygen levels, and poor solids settlability were symptomatic of phosphorus limitation in the aerated lagoon treatment system. The wastewater entering the system was found to be phosphorus limited at a BOD:P ratio of 100:0.2. Mono-ammonium-phosphate was supplemented, at approximately 30 kg P/d, to raise the phosphorus levels to a BOD:P ratio of 100:0.3. Treatment efficiencies improved very quickly after phosphorus dosage, with a 50% reduction in BOD and TSS discharge, a significant increase in dissolved oxygen levels, and improved BOD removal (85% to 93%). This case study demonstrates that whilst more closed operation can result in reduced discharge of organic loads, there may be negative impacts on the availability of nutrients for balanced biological growth.     

Ratings of Therapist Dynamic Activities and Alliance Early and Late in Psychotherapy.

The present study examines the concurrent and predictive relationships between therapist psychodynamic-interpersonal activity and therapist-rated alliance. Ratings from 45 patient and therapist dyads engaged in short term psychodynamic psychotherapy from a point early (3rd or 4th session) and late (the session at which 90% of the treatment was completed) in treatment were used. The results suggest that therapists who have positive views of the alliance early in treatment also have positive views of the alliance later in treatment. Therapists who used psychodynamic-interpersonal activities early in treatment also made use of psychodynamic-interpersonal activities later in treatment. Moreover, the use of psychodynamic-interpersonal activities early in treatment was positively related to both global and specific aspects of therapist-rated alliance late in treatment. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

On-demand Virtual Neonatal Intensive Care units supporting rural, remote and urban healthcare with Bush Babies Broadband

Premature and ill term babies born in regional Australia must be moved to another hospital with Neonatal Intensive Care Unit (NICU) facilities. Transferred pre-term and critically ill term babies have higher mortality rates and much higher rates of long term disability than similar babies born in hospitals with NICU facilities. This paper details the Bush Babies Broadband project that aims to significantly improve the quality of treatment for babies born in rural, remote as well as urban areas by providing the first on-demand virtual NICU architecture in Australia. Real-time data collected from medical monitors and ventilators attached to the baby, audiovisual streams and static physiological data such as X-ray images are transmitted to the consulting Neonatologist to gain a better picture of the patient's condition than is currently available. The key contribution of this significant research is the infrastructure providing a mechanism for Neonatologists to receive information directly from a regional hospital, thereby preventing, in some cases, the immediate need to move the baby. A key benefit of this framework is that it is available to link regional hospitals with the supporting NICU Neonatologist ‘on demand’ eliminating the need to establish permanent point to point connections. This paper further describes the application of that architecture to a specific pilot connecting the Bathurst regional hospital with Neonatologists within the NICU at Nepean Hospital, Penrith Australia.     

A Study of Integrated Document and Connection Caching in the WWW

Document caching and connection caching are extensively studied problems. In document caching, one has to maintain caches containing documents accessible in a network. In connection caching, one has to maintain a set of open network connections that handle data transfer. Previous work investigated these two problems separately while in practice the problems occur together: In order to load a document, one has to establish a connection between network nodes if the required connection is not already open. In this paper we present the first study that integrates document and connection caching. We first consider a very basic model in which all documents have the same size and the cost of loading a document or establishing a connection is equal to 1. We present deterministic and randomized online algorithms that achieve nearly optimal competitive ratios unless the size of the connection cache is extremely small. We then consider general settings where documents have varying sizes. We investigate a FAULT model in which the loading cost of a document is 1 as well as a BIT model in which the loading cost is equal to the size of the document.     

The concept of an endurance limit for adhesive joints

The effect of cyclic stressing on the strength of single lap adhesive joints has been studied and a considerable reduction in strength observed when the maximum stress exceeds about 40% of the ultimate tensile strength, but whether or not a true endurance limit exists is not proven. Fallacies are shown in some of the techniques which have been proposed for studying the fatigue behaviour of adhesive joints.