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.     

Analysis of electrocardiograms during atrial fibrillation

The research discussed in this article is motivated by the search for an optimal classification of the different types of atrial fibrillation (AF) on the basis of recorded atrial signals. This would facilitate the selection of an optimal therapy. This article focuses on the biophysical models of the genesis of ECG waveforms during AF. The model of the electric activity of the atria was found to have sufficient realism to be used to describe the electric sources during AF. The inclusion of the volume conduction model resulted in electrocardiographic signals that are in all aspects similar to those observed clinically. The model is currently applied to solve various problems related to optimal signal preprocessing and extraction of features in AF signals for the classification of AF abnormalities. The biophysical model of the atrial activity is an essential element in this research, since it is capable of describing the electric source specifications derived from different hypotheses relating to the etiology of AF     

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.     

Modeling Power Supply Noise in Delay Testing

Excessive power supply noise during test can cause overkill. This article discusses two models for supply noise in delay testing and their application to test compaction. The proposed noise models avoid complicated power network analysis, making them much faster than existing power noise analysis tools. can cause performance degradation and     

A RKHS interpolator-based graph matching algorithm

We present an algorithm for performing attributed graph matching. This algorithm is derived from a generalized framework for describing functionally expanded interpolators which is based on the theory of reproducing kernel Hilbert spaces (RKHS). The algorithm incorporates a general approach to a wide class of graph matching problems based on attributed graphs, allowing the structure of the graphs to be based on multiple sets of attributes. No assumption is made about the adjacency structure of the graphs to be matched